Research Article  Open Access
Lie Symmetry Analysis of KudryashovSinelshchikov Equation
Abstract
The Lie symmetry method is performed for the fifthorder nonlinear evolution KudryashovSinelshchikov equation. We will find ones and twodimensional optimal systems of Lie subalgebras. Furthermore, preliminary classification of its groupinvariant solutions is investigated.
1. Introduction
The theory of Lie symmetry groups of differential equations was developed by Lie [1]. Such Lie groups are invertible point transformations of both the dependent and independent variables of the differential equations. The symmetry group methods provide an ultimate arsenal for analysis of differential equations and are of great importance to understand and to construct solutions of differential equations. Several applications of Lie groups in the theory of differential equations were discussed in the literature, and the most important ones are reduction of order of ordinary differential equations, construction of invariant solutions, mapping solutions to other solutions, and the detection of linearizing transformations (for many other applications of Lie symmetries, see [2–4]).
In the present paper, we study the following fifthorder nonlinear evolution equation: where , , , , and are positive constants. This equation was introduced recently by Kudryashov and Sinelshchikov [5], which is the generalization of the famous Kawahara equation. By using the reductive perturbation method, they obtained (1.1). Kudryashov and Demina found some exact solutions of the generalized nonlinear evolution equations such as (1.1); see [6]. The study of nonlinear wave processes in viscoelastic tube is the important problem in such tubes similar to large arteries (see [7–9]).
In this paper, by using the Lie point symmetry method, we will investigate (1.1), looking at the representation of the obtained symmetry group on its Lie algebra. We will find the preliminary classification of groupinvariant solutions, and then we can reduce (1.1) to an ordinary differential equation.
This work is organized as follows. In Section 2, we recall some results needed to construct Lie point symmetries of a given system of differential equations. In Section 3, we give the general form of an infinitesimal generator admitted by (1.1) and find transformed solutions. Section 4 is devoted to the construction of the groupinvariant solutions and its classification which provides in each case reduced forms of (1.1).
2. Method of Lie Symmetries
In this section, we recall the general procedure for determining symmetries for any system of partial differential equations (see [2, 3, 10]). To begin, let us consider that the general case of a nonlinear system of partial differential equations of order th in independent and dependent variables is given as a system of equations involving , and the derivatives of with respect to up to , where represents all the derivatives of of all orders from 0 to . We consider a oneparameter Lie group of infinitesimal transformations acting on the independent and dependent variables of the system (2.1), where is the parameter of the transformation and , are the infinitesimals of the transformations for the independent and dependent variables, respectively. The infinitesimal generator associated with the above group of transformations can be written as A symmetry of a differential equation is a transformation, which maps solutions of the equation to other solutions. The invariance of the system (2.1) under the infinitesimal transformations leads to the invariance conditions (Theorem 2.36 of [2]) where is called the thorder prolongation of the infinitesimal generator given by where , , , and the sum is over all ^{'}s of order . If , the coefficient of will only depend on th and lowerorder derivatives of , where and .
One of the most important properties of these infinitesimal symmetries is that they form a Lie algebra under the usual Lie bracket.
3. Lie Symmetries of (1.1)
We consider the oneparameter Lie group of infinitesimal transformations on, where is the group parameter, and and , and are the infinitesimals of the transformations for the independent and dependent variables, respectively. The associated vector field is of the form By (2.5), its fifth prolongation is where, for instance, by (2.6) we have where and are the total derivatives with respect to and respectively. By (2.4), the vector field generates a oneparameter symmetry group of (1.1) if and only if The condition (3.5) is equivalent to
Substituting (3.4) into (3.6), and equating the coefficients of the various monomials in partial derivatives with respect to and various power of , we can find the determining equations for the symmetry group of (1.1). Solving this equation, we get the following forms of the coefficient functions: where , , and are arbitrary constants. Thus, the Lie algebra of infinitesimal symmetry of (1.1) is spanned by the three vector fields: The commutation relations between these vector fields are given in Table 1.

Theorem 3.1. The Lie algebra £_{3} spanned by is second Bianchi class type and it is solvable and Nilpotent [11].
To obtain the group transformation which is generated by the infinitesimal generators for , we need to solve the three systems of firstorder ordinary differential equations Exponentiating the infinitesimal symmetries of (1.1), we get the oneparameter groups generated by for , Consequently, we have the following.
Theorem 3.2. If is a solution of (1.1), so are the functions
4. Optimal System and Invariant Solution of (1.1)
In this section, we obtain the optimal system and reduced forms of (1.1) by using symmetry group properties obtained in the previous section. Since the original partial differential equation has two independent variables, then this partial differential equation transforms into the ordinary differential equation after reduction.
Definition 4.1. Let be a Lie group with Lie algebra . An optimal system of parameter subgroups is a list of conjugacy inequivalent parameter subalgebras with the property that any other subgroup is conjugate to precisely one subgroup in the list. Similarly, a list of parameter subalgebras form an optimal system if every parameter subalgebra of is equivalent to a unique member of the list under some element of the adjoint representation [2].
Theorem 4.2. Let and be connected dimensional Lie subgroups of the Lie group with corresponding Lie subalgebras and of the Lie algebra of , then are conjugate subgroups if and only if are conjugate subalgebras [2].
By Theorem 4.2, the problem of finding an optimal system of subgroups is equivalent to that of finding an optimal system of subalgebras. For onedimensional subalgebras, this classification problem is essentially the same as the problem of classifying the orbits of the adjoint representation, since each onedimensional subalgebra is determined by nonzero vector in . This problem is attacked by the naïve approach of taking a general element in and subjecting it to various adjoint transformation so as to “simplify” it as much as possible. Thus, we will deal with th 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 4.3. An optimal system of onedimensional Lie algebras of (1.1) is provided by (1) , and (2) .
Proof. Consider the symmetry algebra of (1.1) whose adjoint representation was determined in Table 2, and
is a nonzero vector field in . We will simplify as many of the coefficients as possible through judicious applications of adjoint maps to . Suppose first that . Scaling if necessary, we can assume that . Referring to Table 2, if we act on such a by , we can make the coefficient of vanish, and the vector field takes the form
for certain scalar . So, depending on the sign of , we can make the coefficient of either , , or 0. In other words, every onedimensional subalgebra generated by a with is equivalent to one spanned by either , , or .
The remaining onedimensional subalgebras are spanned by vectors of the above form with . If , we scale to make , and then the vector field takes the form
for certain scalar . Similarly, we can vanish , so every onedimensional subalgebra generated by a with is equivalent to the subalgebra spanned by .
Theorem 4.4. An optimal system of twodimensional Lie algebras of (1.1) is provided by
Symmetry group method will be applied to (1.1) to be connected directly to some order differential equations. To do this, a particular linear combinations of infinitesimals are considered and their corresponding invariants are determined.
Equation (1.1) is expressed in the coordinates , so to reduce this equation is to search for its form in specific coordinates. Those coordinates will be constructed by searching for independent invariants corresponding to the infinitesimal generator. So using the chain rule, the expression of the equation in the new coordinate allows us to get the reduced equation.
In what follows, we begin the reduction process of (1.1); note that the reduced form does not allow us to have the selfsimilar solutions.
4.1. GalileanInvariant Solutions
First, consider . To determine independent invariants , we need to solve the first partial differential equations , that is, invariants and can be found by integrating the corresponding characteristic system, which is The obtained solution is given by Therefore, a solution of our equation in this case is The derivatives of are given in terms of and as Substituting (4.9) into (1.1), we obtain the order ordinary differential equation The solution of this equation is . Consequently, we obtain that
4.2. Travelling Wave Solutions
The invariants of are and , so the reduced form of (1.1) is The family of the periodic solution for (4.12) when takes the following form (see [5]): where is Jacobi elliptic function.
The invariants of are and , so the reduced form of (1.1) is
The invariants of are and , then the reduced form of (1.1) is
The invariants of are and then the reduced form of (1.1) is , then the solution of this equation is .
Acknowledgments
This research was supported by Islamic Azad University of Karaj branch. The authors are grateful to the referee for careful reading and useful suggestions.
References
 S. Lie, Theories der Tranformationgruppen, Dritter und Letzter Abschnitt, Teubner, Leipzig, Germany, 1893.
 P. J. Olver, Applications of Lie Groups to Differential Equations, vol. 107, Springer, New York, NY, USA, 2nd edition, 1993.
 G. W. Bluman and S. Kumei, Symmetries and Differential Equations, vol. 81, Springer, New York, NY, USA, 1989. View at: Zentralblatt MATH
 G. W. Bluman and J. D. Cole, Similarity Methods for Differential Equations, Springer, New York, NY, USA, 1974. View at: Zentralblatt MATH
 N. A. Kudryashov and D. I. Sinelshchikov, “Nonlinear evolution equation for describing waves in a viscoelastic tube,” Communications in Nonlinear Science and Numerical Simulation, vol. 16, no. 6, pp. 2390–2396, 2011. View at: Publisher Site  Google Scholar
 N. A. Kudryashov and M. V. Demina, “Traveling wave solutions of the generalized nonlinear evolution equations,” Applied Mathematics and Computation, vol. 210, no. 2, pp. 551–557, 2009. View at: Publisher Site  Google Scholar  Zentralblatt MATH
 Y. C. Fung, Biomechanics: Mechanical Properties of Living Tissues, Springer, New York, NY, USA, 1993.
 N. A. Kudryashov and I. L. Chernyavskii, “Nonlinear waves in fluid flow through a viscoelastic tube,” Fluid Dynamics, vol. 41, no. 1, pp. 49–62, 2006. View at: Google Scholar
 C. G. Caro, T. J. Pedly, R. C. Schroter, and W. A. Seed, The Mechanics of the Circulation, Oxford University Press, Oxford, UK, 1978.
 M. Nadjafikhah, “Lie symmetries of inviscid Burgers' equation,” Advances in Applied Clifford Algebras, vol. 19, no. 1, pp. 101–112, 2009. View at: Publisher Site  Google Scholar  Zentralblatt MATH
 S. V. Khabirov, “Classification of threedimensional Lie algebras in ${R}^{3}$ and their secondorder differential invariants,” Lobachevskii Journal of Mathematics, vol. 31, no. 2, pp. 152–156, 2010. View at: Publisher Site  Google Scholar
Copyright
Copyright © 2011 Mehdi Nadjafikhah and Vahid ShirvaniSh. 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.