Reductions for Kundu-Eckhaus equation via Lie symmetry analysis

In this paper, using Lie symmetry method, we find classical symmetry operators for Kundu-Eckhaus equation (KE). Also, we obtain one-dimensional optimal system and reduction Lie invariants corresponding to infinitesimal symmetries of the KE equation. Finally, differential invariants of the KE equation are presented.


Introduction
Kundu [1] and Eckhaus [2,3] [4] show that the complex Burgers and the Kundu-Eckhaus equations are related by a Miura transformation, and they use this relation to discretize the Kundu-Eckhaus equation. One of the most important discoveries of Sophus Lie in differential equation is to show that it is possible to transform non-linear conditions in a system to linear conditions by infinitesimal invariants, corresponding to the symmetry group generators of the system [5,6]. In this article, our aim is to obtain a set of symmetries of KE equation: Which, in that complex equation, we assume that By substituting (2) in the KE equation, we have The real and imaginary parts of the equation are The classic Lie symmetries are obtained using the Lie symmetry method. This requires the utilization of computer softwares because working with continuous groups involves computations that follow from the algorithmic process. Having the symmetry group of a system of equations has a lot of advantages, one of which is the classification of the solutions of the system. This classification is to consider two solutions in one class if they can be converted to each other, by an element of the symmetry group. If we have an ordinary system, the symmetry group will help us obtain the exact solution. If the equation is order 1, it is possible to get the general solution, but it is not the case for PDE, unless the system is convertible to a linear system. Another application of the symmetry group is the probable reduction of the number of independent variables, and the ideal condition is converting to ODE.

Lie symmetry of KE equation
We used a general method for the determination of the symmetries of a system of PDE based on [7] and [8]. In general case, let us have a non-linear PDE system: that has l equations of order n, each of which involving p-independent and q-dependent variables, where x = (x 1 , . . . , x p ), u = (u 1 , . . . , u q ) and u (n) derivation of u with respect to x of order n. Now, let us suppose that we have a one-parametric Lie group of infinitesimal transformations that acts on independent and dependent variables (t, x, u, v) ∈ M = J 0 t,x,u,v ∼ = R 3 as follows: © Toomanian and Asadi; licensee Springer. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
where s is the group parameter and ξ 1 , ξ 2 , and φ 1 , φ 2 are the infinitesimals parts of transformations. To calculate the Lie symmetry group for KE equation, let us suppose in the general case is the infinitesimal transformation group of (3). Now, we prolong the vector field v to order 2, using the following formula: with coefficients The solution of which yields the system of PDE as the functions of ξ 1 , ξ 2 , and φ 1 , φ 2 . Here, KE equation is a manifold in the jet space J 2 t,x;u,v ∼ = R 9 , and Pr (2) v is the prolongation of v up to the order 2. As a result, we have the PDE system: By solving the above system, we will have the following theorem: where c i , (i = 1, 2, 3) are arbitrary constants.

Theorem 2. The infinitesimal generators from the Lie oneparameter group of the symmetries of the KE equation are as follows
: These vector fields produce a Lie algebra space G with the following commutator table (Table 1):

Group invariant solutions of KE equation
To obtain the group of transformations which are generated by infinitesimal generators v i for i = 1, 2, 3, we should solve the first-order system involving first-order equations in correspondence to each of the generators simultaneously. By solving this system, the one parameter group of g k (s) : M → M generated by v i for i = 1, 2, 3 involved in Theorem (2) is obtained in the following way: Therefore, we have: x) is one of the solutions of KE equation, then the following functions that have been produced through acting g k (s) on u = f (t, x) and v = g(t, x) will also be the solution of KE equation:

Optimal system of KE equation
Now, we want to obtain one-dimensional optimal system of the KE equation using its symmetry group. The optimal system is in fact a standard method for the classification of one-dimensional sub-algebras in which each class involves conjugate equivalent members [10]. Also, they involve the Table 1 Commutator table 0 0 2013, 7:50 http://www.iaumath.com/content/7/1/50 group adjoint representation which establishes an equivalent relation among all conjugate sub-algebra elements. In fact, the classification problem for one-dimensional subalgebra is the same as the problem of the classification of the representation of its adjoint orbits. In this way, the optimal system is constructed. The set of invariant solutions corresponding to a one-dimensional sub-algebra is a list of minimal solutions where all the other invariant solutions can be obtained by transformations. To calculate the adjoint representation, we consider the following Lie series: is the Lie algebra communicator, s is the group parameter, i, j = 1, 2, 3 [7]. Now, we consider an optional member from G of the form and for the simplicity, we write a = (a 1 , a 2 , a 3 ) ∈ R 3 ; therefore, the adjoint action can be considered as a type of linear transformation group of vectors, so we have the following theorem: Theorem 4. The one-dimensional optimal system of Lie algebra G for the KE equation is In it, a, b ∈ R is arbitrary constant.
Proof. We define F s i : G → G by v → Ad(exp(sv i )v) as a linear map, for i = 1, 2, 3. So, the matrices M s i corresponding to each of the F s i , i = 1, 2, 3, with respect to the basis {v 1 , v 2 , v 3 } will be as follows: and E ij s are 3 × 3 elementary matrices for i, j = 1, 2, 3, where (i; j) entry of E ij is 1, and those of others are zero.
Suppose v = a 1 v 1 +a 2 v 2 +a 3 v 3 , we have the combination: If a 1 = 0, then by substituting s = − a 2 a 1 and s = − 2a 3 a 1 using F s 2 and F s 3 , we can vanish the coefficient of v 2 and v 3 , and by scaling of v, we can suppose a 1 = 1. In this case, v is reduced to form (i), and if a 1 = 0, then v is reduced to form (ii).

Similarity reduction of KE equation
The KE equation has been stated in the (t, x; u, v) coordinate, but we are looking for a new coordinate that the equation will reduce to ODE. For example, the first element of the optimal system is v 1 . It has the determining equation in the form: Solving this equation will result in two invariants y = x √ t , f = ut 1/4 , g = vt 1/4 . Now, if we consider u(x, t) = f (y)t −1/4 , and v(x, t) = g(y)t −1/4 as a function of y = x √ t , we can state the derivatives of u and v with respect to x and t in the form of f, g, and y, and the derivatives of f , g with respect to y. Substituting it in the KE equation, we get an ODE as follows: If we assume the φ(y) = f (y)+g(y)i in complex manner, we have For the rest of the optimal system elements and symmetry group, the reduced equations will be as the following Table 2:

Characterization of differential invariants
Suppose that G is a transformation group. It is well known that a smooth real differential function I : J n −→ R, where J n is the corresponding n-th jet space, is a differential invariant for G if and only if for all v ∈ G, its nth prolongation annihilates I, i.e., v (n) (I) = 0. To obtain the differential invariant of the KE equation, up to order 2, we solve the following system:  x √ t , ut 1/4 , vt 1/4 * , u t t 5/4 u x t 3/4 , * , * * , u tt t 9/4 , u tx t 7/4 , , v tt * and * * refer back to ordinary and first-order invariants, respectively.
where, I is a smooth function of (x, t, u, v), and where I 1 is a smooth function of (x, t, u, v, u x , u t , v x , v t ), where I 2 is a smooth function of (x, t, u, v, · · · , u xx , u xt , u tt , v xx , v xt , v tt ). The solution of Equations (16) up to (18) are listed in Table 3:

Conclusion
In this paper, by applying the criterion of invariance of the equation under the infinitesimal prolonged infinitesimal generators, we find the most general Lie point symmetries group of the Kundu-Eckhaus equation. Also, we have constructed the optimal system of one-dimensional subalgebras of Kundu-Eckhaus equation. The latter, creates the preliminary classification of group invariant solutions. The Lie invariants and similarity reduced equations corresponding to infinitesimal symmetries are obtained.