- Research
- Open access
- Published:
Symmetries and conservation laws of the Yao–Zeng two-component short-pulse equation
Boundary Value Problems volume 2019, Article number: 45 (2019)
Abstract
This paper uses the Lie group method to analyze the symmetries of the Yao–Zeng two-component short-pulse equation which describes the propagation of polarized ultrashort light pulses in cubically nonlinear anisotropic optical fibers. Similarity reductions and exact solutions are obtained by constructing an optimal system of one-dimensional subalgebras. Moreover, the explicit solutions are constructed by the power series method and the convergence of power series solutions is proved. In addition, nonlinear self-adjointness and conservation laws of this system are discussed.
1 Introduction
In the last decades, the short pulse equation has attracted much attention. It was introduced as a model equation to describe the propagation of ultrashort optical pules in silica optical fibers [1] which has the form
where u represents the magnitude of the electric field, subscripts denote partial differentiation. In order to obtain more information to study Eq. (1), a number of works have been presented. For instance, its integrability in [2,3,4], solitary wave solutions in [5], periodic and traveling wave solutions in [6], two-loop soliton solutions in [7], periodic and multiloop solitons in [8].
To describe the propagation of polarized ultra-short pulses, the short pulse equation has been generalized to the multi-component integrable systems. Among them, Matsuno presented the two-component system [9]
which is addressed from its multi-component model.
Another integrable coupled short-pulse equation is given by Feng [10] as follows:
Let \(u=v\), Eq. (2) degenerates to Eq. (1); \(v=0\), Eq. (3) recasts to Eq. (1).
In this paper, we consider the Yao–Zeng two-component short-pulse equation [11]
which describes the propagation of polarized ultrashort light pulses in cubically nonlinear anisotropic optical fibers. The Hamiltonian structure of Eq. (4) was established in [11], the zero-curvature representation of Eq. (4) was analyzed in [12]. For the sake of getting more information about Eq. (4), the goal of the present paper is to analyze symmetries, invariant solutions, and conservation laws of Eq. (4). The Lie group method [13,14,15] is considered to be one of the most effective methods to obtain exact solutions for lots of nonlinear partial differential equations(PDEs). Another important research topic is related to conservation laws of PDEs. For the PDEs which do not admit a Lagrangian, based on symmetries [16], Ibragimov presented the concept of an adjoint equation to investigate conservation laws by using the conservation law theorem in [17]. There has been a lot of success in this direction to construct conservation laws for PDEs [16, 18, 19]. By means of conservation laws, one can determine exact solutions of PDEs [20, 21].
The rest of the paper is arranged as follows. In Sect. 2, we present the Lie point symmetries of Eq. (4). In Sect. 3, the similarity reductions are made, exact solutions are considered by means of the Lie group method. In Sect. 4, the explicit solutions for the reduced equations are presented via the power series method, and the detailed proof for the convergence of the power series solutions is provided. In Sect. 5, we prove that Eq. (4) is nonlinearly self-adjoint and construct its conservation laws by applying Ibragimov’s method. Finally, we have a summary of the paper.
2 Lie point symmetries
In this section, we apply the Lie point symmetry method to Eq. (4) and determine its infinitesimal generators and the commutation table of Lie algebras.
First of all, let us consider a one-parameter Lie group admitted by Eq. (4) with a generator of the Lie algebras of the form
where ξ, τ, ϕ, φ are functions of x, t, u, v and are described as infinitesimals of the symmetry groups.
The invariance criterion for Eq. (4) with respect to operator (5) is read as [13, 22]
The symbol \(\operatorname{pr}X^{(2)}\) is the usual 2th-order prolongation of the operator [13, 22]. In this case,
where
and \(D_{x}\), \(D_{t}\) are the total derivative operators, e.g.,
Substituting \(\operatorname{pr}X^{(2)}\) into Eq. (4) yields the following over-determining equations for the unknown functions ξ, τ, ϕ, and φ:
Solving Eq. (6), we get
where \(c_{1}\), \(c_{2}\), \(c_{3}\), \(c_{4}\), and \(c_{5}\) are arbitrary constants. The Lie algebra of infinitesimal symmetry of Eq. (4) is spanned by the following vector fields:
Furthermore, in order to classify all the group-invariant solutions, we determine an optimal system of one-dimensional subalgebras of Eq. (4) by using the method in [23, 24], which only relies on the commutator table.
First, the commutator relations of \(X_{1}\), \(X_{2}\), \(X_{3}\), \(X_{4}\), \(X_{5}\) are represented in Table 1 by applying the commutator operator \([X_{m}, X _{n}]=X_{m}X_{n}-X_{n}X_{m}\).
An arbitrary operator \(X\in L_{5}\) is written as
To discuss the linear transformations of the vector \(l=(l_{1},l_{2},l _{3},l_{4},l_{5})\), we apply the following generator:
where \(c_{ij}^{k}\) is defined by the formula \([ X_{i},X_{j}]=c_{ij} ^{k}X_{k}\). Based on Eq. (7) and Table 1, \(E_{1}\), \(E_{2}\), \(E_{3}\), \(E_{4}\), \(E _{5}\) can be represented as
For \(E_{1}\), \(E_{2}\), \(E_{3}\), \(E_{4}\), \(E_{5}\), the Lie equations with parameters \(a _{1}\), \(a_{2}\), \(a_{3}\), \(a_{4}\), \(a_{5}\) and the initial condition \(\tilde{l}|_{a _{i}=0}=l\), \(i=1,2,3,4,5\) are shown as follows:
The solutions of these equations give the transformations
The determination of the optimal system demands a simplification of the vector
by using the transformations \(T_{1}-T_{5}\). We will obtain the simplest representative of each class of similar vectors (8). Take two cases into account.
Case 2.1 \(l_{1}\neq 0\)
Let \(a_{2}=-\frac{l_{2}}{l_{1}}\) and \(a_{3}=\frac{l_{3}}{l_{1}}\) in the transformations \(T_{2}\) and \(T_{3}\), we have \(\tilde{l_{2}}= \tilde{l_{3}}=0\). Vector (8) is simplified as the form
-
2.1.1
\(l_{1}+l_{5}\neq 0\)
By taking \(a_{4}=-\frac{l_{4}}{l_{1}+l_{5}}\) in the transformation \(T _{4}\), we have \(\tilde{l_{4}}=0\). Vector (9) is hence reduced to the form
We get the following representatives:
-
2.1.2
\(l_{1}+l_{5}=0\)
We get the following representatives:
Case 2.2 \(l_{1}=0\)
We obtain vector (8) of the form
-
2.2.1
\(l_{5}\neq 0\)
Let \(a_{4}=-\frac{l_{4}}{l_{5}}\) in the transformations \(T_{4}\), we have \(\tilde{l_{4}}=0\). Vector (13) is simplified as the form
As a result, we get the following representatives:
-
2.2.2
\(l_{5}=0\)
We obtain vector (13) of the form
Considering all the possible combinations, we get the following representatives:
Finally, by putting together all the operators (11), (12), (15), and (17), we achieve the following theorem.
Theorem 2.1
The operators in \(\{X_{1},X_{2},X_{3},X_{4},X_{5}\}\) create an optimal system:
3 Similarity reductions and exact solutions
Based on Theorem 2.1, we will discuss the reductions and exact solutions of Eq. (4) in this section.
Case 3.1 Reduction by \(X_{1}\).
Solving the characteristic equation for \(X_{1}\), we get similarity variables
and the group-invariant solution is \(p=f(z)\), \(q=g(z)\), i.e.,
Using Eq. (18) in Eq. (4), we have
where \(f'=\frac{df}{dz}\), \(g'=\frac{dg}{dz}\).
Case 3.2 Reduction by \(X_{2}+X_{5}\).
Similarly, we have \(z=x\), \(u=f(z)\), \(v=g(z)e^{t}\). The corresponding reduction equation is
where \(f'=\frac{df}{dz}\), \(g'=\frac{dg}{dz}\). Therefore, Eq. (4) has a solution \(u=0\), \(v=c _{1}e^{x+t}\), where \(c_{1}\) is an arbitrary constant.
Case 3.3 Reduction by \(X_{2}+X_{3}+X_{5}\).
We have \(u=f(z)\), \(v=g(z)e^{x}\) in which \(z=x-t\). Substituting group invariant solution into Eq. (4), we get
where \(f'=\frac{df}{dz}\), \(g'=\frac{dg}{dz}\).
Case 3.4 Reduction by \(X_{3}+X_{4}\).
We have \(u=f(z)\), \(v=g(z)+xf(z)\) in which \(z=t\). Substituting group invariant solution into Eq. (4), we get
Therefore, Eq. (4) has a solution \(u=0\), \(v=0\). Obviously, the solution is not meaningful.
Some of the similarity reductions for the optimal system of one-dimensional subalgebra are represented in Table 2.
4 The explicit power series solutions
In Sect. 3, we obtained the reduction equations by using symmetry analysis. The power series can be used to treat differential equations, including many complicated differential equations with nonconstant coefficients [25]. In this section, we solve the nonlinear ODE (19) by the power series method. For other reduction equations, power series solutions can also be obtained similarly. For more details on power series solutions, see [15, 26].
Now, we seek a solution of Eq. (19) in a power series of the form
where the coefficients \(p_{n}\) and \(q_{n}\) are all constants to be determined.
Substituting (23) into (19), we have
From (24), comparing coefficients, we obtain
Generally, for \(n\geq 0\), we have
In view of Eq. (26), we can obtain all the coefficients \(p_{i}\), \(q_{i}\) (\(i \geq 3\)) of the power series (23), e.g.,
Therefore, for arbitrary chosen constant numbers \(p_{0}\) and \(q_{0}\), the other terms of the sequence \(\{p_{n}\}_{n=0}^{\infty }\) and \(\{q _{n}\}_{n=0}^{\infty }\) can be determined by (25) and (26). This implies that for Eq. (19), there is a power series solution (23) with the coefficients constructed by (25) and (26).
Now we show the convergence of the power series solution (23) of Eq. (19). In fact, from (26), we have
where \(M=\max\{1,\frac{1}{2},3,p_{0}\}\). Similarly, from (26), we have
where \(N=\max\{1,\frac{1}{2},q_{1}\}\).
Now, we define two power series \(R=R(z)=\sum_{n=0}^{\infty }r_{n}z ^{n}\) and \(S=S(z)=\sum_{n=0}^{\infty }s_{n}z^{n}\) by
and
where \(n=0,1,\ldots \) . Then, it is easily seen that
Thus, the two series \(R=R(z)=\sum_{n=0}^{\infty }r_{n}z^{n}\) and \(S=S(z)= \sum_{n=0}^{\infty }s_{n}z^{n}\) are majorant series of (23), respectively. Next, we show that the series \(R = R(z)\) and \(S = S(z)\) have positive radius of convergence.
and
Consider now the implicit functional system with respect to the independent variable z:
Since F, G are analytic in the neighborhood of \((0,r_{0}, s_{0})\) and \(F(0,r_{0}, s_{0}) = 0\), \(G(0,r_{0}, s_{0}) = 0\). Furthermore, the Jacobian determinant
if we choose the parameters \(r_{0} = |p_{0}|\) and \(s_{0} = |q_{0}|\) properly. By the implicit function theorem [27], we see that \(R=R(z)\) and \(S=S(z)\) are analytic in a neighborhood of the point \((0,r_{0},s_{0})\) and with the positive radius. This implies that the two power series (23) converge in a neighborhood of the point \((0,r_{0},s_{0})\). This completes the proof.
Hence, the power series solution (23) for Eq. (19) is an analytic solution. The power series solution of Eq. (19) can be written as the following:
Thus, the explicit power series solution of Eq. (4) is
where \(p_{0}\) and \(q_{0}\) are arbitrary constants, the other coefficients \(p _{n}\), \(q_{n}\) (\(n\geq 1\)) depend on (25) and (26) completely.
Remark 4.1
The power series solutions can greatly enrich the solutions of Eq. (4) and converge quickly, so it is convenient for computations in both theory and applications.
5 Nonlinear self-adjointness and conservation law
In this section, we prove the nonlinear self-adjointness of Eq. (4) and determine its conservation laws.
5.1 Preliminaries
Consider the rth-order system of m PDEs:
where \(x=(x^{1},\dots ,x^{n})\), \(u=(u^{1},\dots ,u^{m})\), \(u^{\alpha } _{i}=\partial u^{\alpha }/\partial x^{i}\), \(u^{\alpha }_{ij}=\partial ^{2} u^{\alpha }/\partial x^{i}\partial x^{j}\), and \(u_{(i)}\) denotes the collection of all ith-order partial derivatives of u with respect to x.
The adjoint equations of Eq. (30) are defined by [28]
where \(v=(v^{1},\dots ,v^{m})\), \(\mathcal{L}=v^{\beta }E_{\beta }(x,u,u _{(1)},\ldots ,u_{(r)})\) is the formal Lagrangian, and \(\delta / \delta u^{\sigma }\) is the Euler–Lagrange operator defined by [28]
where \(D_{i}\) denotes the total derivative operators with respect to \(x_{i}\).
Definition 5.1
([16])
System (30) is said to be nonlinearly self-adjoint if the adjoint system (31) is satisfied for all solutions u of Eq. (30) upon a substitution
such that \(\varphi (x,u)=(\varphi ^{1},\dots ,\varphi ^{m})\neq 0\).
Definition 5.1 is identical to the following identities:
where \(\lambda _{\alpha }^{\beta }\) is a certain function.
The following theorem will be used to obtain conservation laws [17].
Theorem 5.2
Any infinitesimal symmetry (local and nonlocal)
admitted by Eq. (30) gives rise to a conservation law \(D_{i}(C^{i})=0\), where \(C^{i}\) is constructed by the formula
with \(W^{\alpha }=\eta ^{\alpha }-\xi ^{j}u_{j}^{\alpha }\). The Lagrangian \(\mathcal{L}\) should be written in the symmetric form with respect to all mixed derivatives \(u_{ij}^{\alpha },u_{ijk}^{\alpha },\dots \).
5.2 Nonlinear self-adjointness
Following Definition 5.1 and Theorem 5.2, we can prove the nonlinear self-adjointness of Eq. (4) and thus obtain its conservation laws.
Theorem 5.3
Equation (4) is nonlinearly self-adjoint under the substitution
where \(c_{1}\) is an arbitrary constant.
Proof
Let the formal Lagrangian of Eq. (4) be of the form
where \(\varLambda _{1}\), \(\varLambda _{2}\) are two new dependent variables.
Using the equivalent formula (33) of the definition of nonlinear self-adjointness, the identities
are established under the substitution \(\varLambda _{1}=\varLambda _{1}(x,t,u,v)\), \(\varLambda _{2}=\varLambda _{2}(x,t,u,v)\).
By splitting Eq. (35) with respect to the coefficients of different order derivatives of u and v, we obtain a system in the unknown variables \(\varLambda _{1}\), \(\varLambda _{2}\) whose solutions are
where \(c_{1}\) is an arbitrary constant. This completes the proof. □
5.3 Construction of conservation laws
For the infinitesimal operator \(X=\xi \partial _{x}+\tau \partial _{t}+\phi \partial _{u}+\varphi \partial _{v}\), by Theorem 5.2, the conservation law of Eq. (4) is represented in the form \(D_{x} C^{x}+D _{t} C^{t}=0\). Moreover, we have
where \(W^{u}=\phi -\xi u_{x}-\tau u_{t}\), \(W^{v}=\varphi -\xi v_{x}- \tau v_{t}\), the Lagrangian \(\mathcal{L}=\varLambda _{1}(u_{xt}-u- \frac{1}{6}(u^{3})_{xx})+\varLambda _{2}(v_{xt}-v-\frac{1}{2}(u^{2}v_{x})_{x})=c _{1}v(u_{xt}-u-\frac{1}{6}(u^{3})_{xx})-c_{1}u(v_{xt}-v-\frac{1}{2}(u ^{2}v_{x})_{x})\).
By simplifying \(C^{x}\), \(C^{t}\), we have
Case 5.1 For the generator \(X_{1}=-x\partial _{x}+t\partial _{t}-u\partial _{u}\), we obtain \(W^{u}=-u+xu_{x}-t u_{t}\), \(W^{v}=xv_{x}-t v_{t}\). According to Eqs. (36) and (37), we have
Case 5.2 For the generator \(X_{2}=\partial _{t}\), we obtain \(W ^{u}=-u_{t}\), \(W^{v}=-v_{t}\). According to Eqs. (36) and (37), we have
Case 5.3 For the generator \(X_{3}=\partial _{x}\), we obtain \(W ^{u}=-u_{x}\), \(W^{v}=-v_{x}\). According to Eqs. (36) and (37), we have
Case 5.4 For the generator \(X_{4}=u\partial _{v}\), we obtain \(W ^{u}=0\), \(W^{v}=u\). According to Eqs. (36) and (37), we have
Case 5.5 For the generator \(X_{5}=v\partial _{v}\), we obtain \(W ^{u}=0\), \(W^{v}=u\). According to Eqs. (36) and (37), we have
6 Conclusions
In this paper, the Lie symmetry analysis is applied for the Yao–Zeng two-component short-pulse equation. New invariant solutions are constructed based on the optimal system. Moreover, we use the properties of nonlinear self-adjointness of Eq. (4) to obtain general formulae of conservation law. Our results can be applied to describe the propagation of polarized ultrashort light pulses in cubically nonlinear anisotropic optical fibers.
References
Schäfer, T., Wayne, C.E.: Propagation of ultra-short optical pulses in cubic nonlinear media. Phys. D: Nonlinear Phenom. 196, 90–105 (2004)
Sakovich, A., Sakovich, S.: The short pulse equation is integrable. J. Phys. Soc. Jpn. 74, 239–241 (2005)
Brunelli, J.C.: The short pulse hierarchy. J. Math. Phys. 46, 123507 (2005)
Brunelli, J.C.: The bi-Hamiltonian structure of the short pulse equation. Phys. Lett. A 353, 475–478 (2006)
Sakovich, A., Sakovich, S.: Solitary wave solutions of the short pulse equation. J. Phys. A 39, L361–L367 (2006)
Parkes, E.J.: Some periodic and solitary travelling-wave solutions of the short-pulse equation. Chaos Solitons Fractals 38, 154–159 (2008)
Kuetche, V.K., Bouetou, T.B., Kofane, T.C.: On Two-loop soliton solution of the Schäfer-Wayne short-pulse equation using Hirota’s method and Hodnett–Moloney approach. J. Phys. Soc. Jpn. 76, 024004 (2007)
Matsuno, Y.: Multisoliton and multibreather solutions of the short pulse model equation. J. Phys. Soc. Jpn. 76, 084003 (2007)
Matsuno, Y.: A novel multi-component generalization of the short pulse equation and its multisoliton solutions. J. Math. Phys. 52, 123702 (2011)
Feng, B.F.: An integrable coupled short pulse equation. J. Phys. A, Math. Theor. 45, 085202 (2012)
Yao, Y., Zeng, Y.: Coupled short pulse hierarchy and its Hamiltonian structure. J. Phys. Soc. Jpn. 80, 064004 (2011)
Brunelli, J.C., Sakovich, S.: On integrability of the Yao–Zeng two-component short-pulse equation. Phys. Lett. A 377, 80–82 (2012)
Olver, P.J.: Applications of Lie Groups to Differential Equations. Graduate Texts in Mathematics. Springer, New York (1993)
Bluman, G.W., Kumei, S.: Symmetries and Differential Equations. Springer, Berlin (1989)
Gao, B., He, C.: Analysis of a coupled short pulse system via symmetry method. Nonlinear Dyn. 90, 2627–2636 (2017)
Ibragimov, N.H.: Nonlinear self-adjointness and conservation laws. J. Phys. A, Math. Theor. 44, 432002 (2011)
Ibragimov, N.H.: A new conservation theorem. J. Math. Anal. Appl. 333, 311–328 (2007)
Ibragimov, N.H., Torrisi, M., Tracinà, R.: Self-adjointness and conservation laws of a generalized Burgers equation. J. Phys. A, Math. Theor. 44, 145201 (2011)
Gandarias, M.L.: Weak self-adjoint differential equations. J. Phys. A, Math. Theor. 44, 262001 (2011)
Berg, A.: On double reductions from symmetries and conservation laws. Nonlinear Anal., Real World Appl. 10, 3472–3477 (2009)
Muatjetjeja, B., Khalique, C.M.: Lie group classification for a generalised coupled Lane–Emden system in dimension one. East Asian J. Appl. Math. 4, 301–311 (2014)
Bluman, G.W., Anco, S.C.: Symmetry and Integration Methods for Differential Equations. Springer, New York (2004)
Grigoriev, Y.N., Kovalev, V.F., Meleshko, S.V.: Symmetries of Integro-Differential Equations: With Applications in Mechanics and Plasma Physics. Springer, New York (2010)
Zhao, Z.Z., Han, B.: Lie symmetry analysis of the Heisenberg equation. Commun. Nonlinear Sci. Numer. Simul. 45, 220–234 (2017)
Asmar, N.H.: Partial Differential Equations with Fourier Series and Boundary Value Problems. China Machine Press, Beijing (2005)
Liu, H.Z., Li, J.B.: Lie symmetry analysis and exact solutions for the short pulse equation. Nonlinear Anal. 71, 2126–2133 (2009)
Rudin, W.: Principles of Mathematical Analysis. China Machine Press, Beijing (2004)
Ganghoffer, J.F., Mladenov, I.M.: Similarity and Symmetry Methods. Springer, New York (2014)
Acknowledgements
The authors would like to thank the editors and reviewers for their suggestions and comments.
Availability of data and materials
Data sharing not applicable to this article as no datasets were generated or analyzed during the current study.
Funding
The authors are supported by the Natural Science Foundation of Shanxi (No. 201801D121018) and the Scientific and Technological Innovation Programs of Higher Education Institutions in Shanxi (No. 2017116).
Author information
Authors and Affiliations
Contributions
Both authors have equally contributed to this article and read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Gao, B., Zhang, Y. Symmetries and conservation laws of the Yao–Zeng two-component short-pulse equation. Bound Value Probl 2019, 45 (2019). https://doi.org/10.1186/s13661-019-1156-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-019-1156-6