Abstract and Applied Analysis

Volume 2014, Article ID 476025, 7 pages

http://dx.doi.org/10.1155/2014/476025

## Analysis of the Symmetries and Conservation Laws of the Nonlinear Jaulent-Miodek Equation

Department of Mathematics, Islamic Azad University, Karaj Branch, Karaj 31485-313, Iran

Received 11 February 2014; Revised 12 April 2014; Accepted 16 April 2014; Published 6 May 2014

Academic Editor: Mariano Torrisi

Copyright © 2014 Mehdi Nadjafikhah and Mostafa Hesamiarshad. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

#### Abstract

Lie symmetry method is performed for the nonlinear Jaulent-Miodek equation. We will find the symmetry group and optimal systems of Lie subalgebras. The Lie invariants associated with the symmetry generators as well as the corresponding similarity reduced equations are also pointed out. And conservation laws of the J-M equation are presented with two steps: firstly, finding multipliers for computation of conservation laws and, secondly, symbolic computation of conservation laws will be applied.

#### 1. Introduction

The Jaulent-Miodek equation (J-M) is given by

The coupled system of (1) is associated with the J-M spectral problem [1]. The relation between this system and Euler-Darboux equation was found by Matsuno [2]. In recent years, much work associated with the J-M equation has been done [3–5]. The symmetry group method plays a fundamental role in the analysis of differential equations. The theory of Lie symmetry groups of differential equations called classical Lie method was first developed by Lie [6] at the end of the nineteenth century. Nowadays, the application of Lie transformations group theory for constructing the solutions of nonlinear partial differential equations (PDEs) is regarded as one of the most active fields of research in the theory of nonlinear PDEs and applications.

Many PDEs in the applied sciences and engineering are continuity equations which express conservation of mass, momentum, energy, or electric charge. Such equations occur in, for example, fluid mechanics, particle and quantum physics, plasma physics, elasticity, gas dynamics, electromagnetism, magnetohydrodynamics, nonlinear optics, and so forth. In the study of PDEs, conservation laws are important for investigating integrability and linearization mappings and for establishing existence and uniqueness of solutions. They are also used in the analysis of stability and global behavior of solutions [7–10].

The present paper is organized as follows. In Section 1, we obtain the symmetry of (1) and Lie symmetry groups of J-M equation are found. In Section 2, we construct the optimal system of one-dimensional subalgebras of (1). Lie invariants and similarity reduced equations corresponding to the infinitesimal symmetries of (1) are obtained in Section 3. In Section 4, the conservation laws of (1) are obtained with finding multipliers, and finally some new conservation laws of (1) are obtained with symbolic computation of conservation laws.

#### 2. Lie Symmetries of the J-M Equation

In this section, we draw your attention to the general procedure for determining symmetries for J-M equation; see [11–13]. We consider the one parameter Lie group of infinitesimal transformations on , where is the group parameter and , , , and are the infinitesimals of the transformations for the independent and dependent variables, respectively. The associated vector field is in the following form: The Lie algebra of infinitesimal symmetry of (1) is spanned by three vector fields: The commutation relations of the 3-dimensional Lie algebra spanned by the vector fields are shown in Table 1.

Theorem 1. *If and are a solution of (1), then so are the functions
*

#### 3. Optimal System of the Jaulent-Miodek Equation

In this section, we obtain the optimal system and reduced forms of (1) by using symmetry group properties obtained in previous section. Since the original partial differential equation has two independent variables, this partial differential equation transforms into the ordinary differential equation after reduction.

A well-known standard procedure [11] allows us to classify all the one-dimensional subalgebras into subsets of conjugate subalgebras. This involves constructing the adjoint representation group, which introduces a conjugate relation in the set of all one-dimensional subalgebras. In fact, for one-dimensional subalgebras, the classification problem is essentially the same as the problem of classifying the orbits of the adjoint representation. Since each one-dimensional subalgebra is determined by nonzero vector in , this problem is attacked by the naive approach of taking a general element in and subjecting it to various adjoint transformations so as to “simplify” it as much as possible. Thus, we will deal with the construction of the optimal system of subalgebras of . To compute the adjoint representation, we use the Lie series where is the commutator for the Lie algebra, is a parameter, and . Then we have Table 2.

Theorem 2. *An optimal system of one-dimensional Lie algebras of the J-M equation is provided by (1) , (2) , and (3) , where and .*

* Proof. *Let be the symmetry group of (1), with adjoint representation determined in Table 2, and
is a nonzero vector field of . We will simplify as many of the coefficients of , , as possible through judicious applications of adjoint maps to . *Case **1.* Suppose first that . Scaling if necessary, we can assume that . Referring to Table 2, if we act on such a by and , respectively, we can make the coefficients of and vanish. Thus, every one-dimensional subalgebra generated by a with is equivalent to the subalgebra spanned by . *Case **2*. The remaining one-dimensional subalgebras are spanned by vectors of the above form with . If , we can scale to make . Referring to Table 2, we cannot do anything in this case. Thus, every one-dimensional subalgebra generated by a with and is equivalent to the subalgebra spanned by , where is arbitrary constant. *Case **3. *Consider , and . Thus, every one-dimensional subalgebra generated by is equivalent to the subalgebra spanned by .

#### 4. Symmetry Reduction of the J-M Equation

We can now compute the invariants associated with the symmetry operators by integrating the characteristic equations. For example, for the operator characteristic equation , The corresponding invariants are , , and . Therefore, solution of our equation in this case is . Substituting derivatives of and in terms of , , and into (1), the coupled system of ordinary differential equation is obtained as follows: And for the operator , we have and the corresponding invariants associated with the above operator are , , and .

#### 5. Conservation Laws for the J-M Equation

To deal with the conservation laws, many methods, such as the method based on the Noethers theorem and the multiplier method, are derived by the relationship between the conserved vector of the PDE and the Lie-Bäcklund symmetry generators of the PDE, the direct method, and so forth [7, 8, 11].

*Definition 3. *A local conservation law of the PDE system
involving , and the derivatives of with respect to up to , where represents all the derivatives of of all orders from 0 to , is a divergence expression
holding for all solutions of the system (11). , , are called fluxes of the conservation law, and the highest-order derivative () present in the fluxes is called the order of a conservation law [8].

*Remark 4. *If one of the independent variables of (11) is time , the conservation law (12) takes the form
where is a spatial divergence and are spatial variables. Here is referred to as a density, and as spatial fluxes of the conservation law (13).

##### 5.1. Computation of Conservation Laws with Finding Multiplier

In this study, we derive the conservation law from the multiplier method. In particular, a set of multipliers yields a divergence expression for the system (11) if the identity holds identically for arbitrary functions . Then, on the solutions of the system (11), if is nonsingular, one has local conservation law .

*Definition 5. *The Euler operator with respect to is the operator defined by
for [8].

Theorem 6. *A set of nonsingular local multipliers yields a local conservation law for the system if and only if the set of identities
**
holds for arbitrary functions (Theorem , [8]).*

The set of (16) yields the set of linear determining equations to find all sets of local conservation law multipliers of the system (11). Now, we consider all local conservation law multipliers of the forms and of (1). The determining equation (16) for J-M equation is where and are arbitrary functions. Equation (17) splits with respect to third order derivatives of to yield the determining PDE system whose solutions are the sets of local multipliers of all nontrivial local conservation laws of the J-M equation.

The solution of the determining system (17) for J-M equation is given by where , and are arbitrary constants. So local multipliers are given by Multipliers and determine a nontrivial local conservation law with the characteristic form The total divergence operator must be inverted to calculate the conserved quantities and . To do this, we need to integrate (by parts) one of the expressions in multidimensions involving arbitrary functions and its derivatives, which is a difficult task. The homotopy operator [14] is a powerful and useful algorithmic tool (explicit formula) that originates from homological algebra and variational bicomplexes.

*Definition 7. *The 2-dimensional homotopy operator is a vector operator with two components, , where
The -integrand, , is given by
where are the order of in to and , respectively, with combinatorial coefficient , where
Similarly, -integrand, , defined as
where .

We apply homotopy operator to find conserved quantities and which yield multipliers and . We have The integrands (22) and (24) are Apply (21) to the integrands (26); therefore So, we have the conservation law of the J-M equation with respect to multipliers and : And similarly, conservation laws with respect to other multipliers are given as follows: (1) and : (2) and : (3) and : (4) and : (5) and :

##### 5.2. Symbolic Computation for Finding Conservation Laws Equation

This subsection covers the application of the homotopy operator to the computation of conservation laws of J-M equation. Finding a conservation law needs computing the density first, followed by computing of the flux . Computing flux will require using homotopy operator. Following the approach by Hereman et al. [9, 14, 15], a candidate density is built as a linear combination (with undetermined coefficients of differential terms) which is invariant under the scaling symmetry of the given PDE. By determining we can compute and remove all time derivatives; must be a divergence. Thus, using Theorem 4.4 of [10], one requires that This leads to a linear system for the undetermined coefficients. Substituting its solution into the candidate for gives the actual density. Finally, the is computed with the homotopy operator.

Jaulent-Miodek equation is invariant under the scaling (dilation) symmetry (4): Conservation law (13) must hold on solutions of (1). Therefore, we search for polynomial conservation laws that obey the scaling symmetry of the PDE. Indeed, we have to find a polynomial conservation law that does not adhere to the scaling symmetry. We choose a scaling factor for one of the components of (13). The selected scaling factor will be called the rank () of that component. Then, we construct a candidate for that component as a linear combination of monomial terms (all of rank ) with undetermined coefficients. If we remove divergence and divergence-equivalent terms dynamically that candidate will be shorted and of low order.

For J-M equation we will compute the density of a fixed rank; for example, . We construct a list of differential terms which contains all powers of dependent variables and their derivatives and products of them of rank : By removing all terms that are divergences or divergence-equivalent to other terms in , we have Now, by forming a candidate density combining the terms in linearly with undetermined coefficients , Compute the total derivative with respect to of (38), and set After replacing with and by , (39) must be a divergence, use (34), and require

The solution of system (40) is where , , , and is arbitrary.

*Case **1.* Substitute (41) and , , , and into (38) and (39) given and
Since , the flux can be computed with the 1D homotopy operator which inverts divergences. Applying 1D homotopy operator formulas in (21) and removing curl term of flux yield

*Case **2*. Substitute, , , and into (38), given

*Case **3. *Substitute *, **, **, *,
And finally, , , , ,

#### 6. Conclusion

In this paper, we studied Jaulent-Miodek equation using the Lie symmetry group of infinitesimal transformations of the equation. We found that the underlying equation admits a three-dimensional Lie algebra. We obtained the optimal system of one-dimensional subalgebras of the Lie algebra of the equation. These subalgebras were then used to reduce the underlying equation to nonlinear third order ordinary system of differential equations. Further conservation laws are constructed for this equation in two methods. First, conservation laws of the equation are obtained by finding multipliers; then some other conservation laws of J-M equation are obtained with symbolic computation of conservation laws.

#### Conflict of Interests

The authors declare that there is no conflict of interests regarding the publishing of this paper.

#### References

- M. Jaulent and I. Miodek, “Nonlinear evolution equations associated with ‘energy-dependent Schrödinger potentials’,”
*Letters in Mathematical Physics*, vol. 1, no. 3, pp. 243–250, 1976. View at Google Scholar · View at MathSciNet - Y. Matsuno, “Reduction of dispersionless coupled Korteweg-de Vries equations to the Euler-Darboux equation,”
*Journal of Mathematical Physics*, vol. 42, no. 4, pp. 1744–1760, 2001. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - E. Fan, “Uniformly constructing a series of explicit exact solutions to nonlinear equations in mathematical physics,”
*Chaos, Solitons and Fractals*, vol. 16, no. 5, pp. 819–839, 2003. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - A. Mohebbi, Z. Asgari, and M. Dehghan, “Numerical solution of nonlinear Jaulent-Miodek and Whitham-Broer-Kaup equations,”
*Communications in Nonlinear Science and Numerical Simulation*, vol. 17, no. 12, pp. 4602–4610, 2012. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. Biazar and M. Eslami, “Homotopy analysis method for nonlinear Jaulent-Miodek equation,”
*Journal of Information and Computing Science*, vol. 5, no. 2, pp. 083–088, 2010. View at Google Scholar - S. Lie, “On integration of a class of linear partial differential equations by means of definite integrals,”
*Archiv der Mathematik*, vol. 6, p. 328, 1881, Translation by N. H. Ibragimov. View at Google Scholar - G. Bluman, “New conservation laws obtained directly from symmetry action on a known conservation law,”
*Journal of Mathematical Analysis and Applications*, vol. 322, no. 1, pp. 233–250, 2006. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - G. W. Bluman, A. F. Cheviakov, and S. C. Anco,
*Applications of Symmetry Methods to Partial Differential Equations*, vol. 168 of*Applied Mathematical Sciences*, Springer, New York, NY, USA, 2010. View at Publisher · View at Google Scholar · View at MathSciNet - W. Hereman, “Symbolic computation of conservation laws of nonlinear partial differential equations in multi-dimensions,”
*International Journal of Quantum Chemistry*, vol. 106, pp. 278–299, 2006. View at Google Scholar - D. Poole and W. Hereman, “The homotopy operator method for symbolic integration by parts and inversion of divergences with applications,”
*Applicable Analysis*, vol. 89, no. 4, pp. 433–455, 2010. View at Publisher · View at Google Scholar · View at MathSciNet - P. J. Olver,
*Applications of Lie Groups to Differential Equations*, vol. 107 of*Graduate Texts in Mathematics*, Springer, New York, NY, USA, 2nd edition, 1993. View at Publisher · View at Google Scholar · View at MathSciNet - G. W. Bluman and J. D. Cole,
*Similarity Methods for Differential Equations*, vol. 13 of*Applied Mathematical Sciences*, Springer, New York, NY, USA, 1974. View at MathSciNet - G. W. Bluman and S. Kumei,
*Symmetries and Differential Equations*, vol. 81 of*Applied Mathematical Sciences*, Springer, New York, NY, USA, 1989. View at MathSciNet - W. Hereman, M. Colagrosso, R. Sayers et al., “Continuous and discrete homotopy operators and the computation of conservation laws,” in
*Differential Equations with Symbolic Computation*, D. Wang and Z. Zheng, Eds., pp. 249–285, Birkhäuser, Basel, Switzerland, 2005. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - L. D. Poole,
*Symbolic computation of conservation laws of nonlinear partial differential equations using homotopy operators [Ph.D. thesis]*, Colorado School of Mines, 2009.