Lie Symmetries, One-Dimensional Optimal System and Optimal Reduction of (2 + 1)-Coupled nonlinear Schrödinger Equations

For a class of (1 + 2)-dimensional nonlinear Schrödinger equations, the infinite dimensional Lie algebra of the classical symmetry group is found and the one-dimensional optimal system of an 8-dimensional subalgebra of the infinite Lie algebra is constructed. The reduced equations of the equations with respect to the optimal system are derived. Furthermore, the one-dimensional optimal systems of the Lie algebra admitted by the reduced equations are also constructed. Consequently, the classification of the twice optimal symmetry reductions of the equations with respect to the optimal systems is presented. The reductions show that the (1 + 2)-dimensional nonlinear Schrödinger equations can be reduced to a group of ordinary differential equations which is useful for solving the related problems of the equations.


Introduction
We plan to consider the (1 + 2)-dimensional coupled nonlinear Schrödinger (2D-CNLS) equations with cubic nonlinearity ( ) where u , v are complex-valued functions.The 2D-CNLS equations which describes the evolution of the wave packet on a two-dimensional water surface under gravity was derived by Benny and Roskes [1] and Davey and Stewartson [2].The solutions of the equation have been studied by several authors [3]- [12].The multisoliton solutions were obtained by Anker and Freeman [8].They showed that the two-soliton resonant interaction occurs and a triple soliton structure is produced.A similarity reductions of the 2D-CNLS equation is also studied in [9].Nakamura [10] found explode-decay mode solutions by using the bilinear method.However, the algebra properties of the Lie algebra admitted by (1) has not been studied so far.The optimal system of the Lie algebra yields the optimal classification of the invariant solutions set to the 2D-CNLS which is essential to distinguish the inequivalent classes of the invariant solutions of the equation.
In this paper, we show the optimal reduction classifications of the 2D-CNLS equations (1) through studying one-dimensional optimal system of the Lie algebra of the equations.
Outline of the paper is following.In §2, the complete infinite-dimensional Lie algebra ∞  of the Lie sym- metry group of the 2D-CNLS equations is derived which covered the results obtained in [9].In §3, the onedimensional optimal system of an 8-dimensional subalgebra 8   , presented in [9], of the ∞  is constructed.In §4 the first reductions of the 2D-CNLS Equation (1) with respect to the optimal system obtained in §3 are given.In §5 we construct one-dimensional optimal systems of Lie algebras of the reduced equations obtained in §4 which yields the second reductions of (1).Consequently, the 2D-CNLS Equation (1) can be reduced to a group of scale ordinary differential equations, which is essential to solve different exact solutions of the 2D-NLS Equation (1).

The Lie Algebra of the 2D-CNLS Equations (1)
In this section, we present the Lie algebra of point symmetries of 2D-CNLS (1).To obtain the Lie algebra, we consider the one parameter Lie symmetry group of infinitesimal transformations in ( ) , , , , t x y u v given by ( ) ( ) where ε is the group parameter.Hence the corresponding generator of the Lie algebra of the symmetry group is

X t x y u v t x y u v t x y u v t x y u v t x y u v
, where U , u , V and v are real functions, one has real form of the 2D-CNLS equations (1) in four unknown functions , , U u V and v .
Assuming that the 2D-CNLS equations ( 1) is invariant under the transformations (2), then its real form transformed system is invariant under the Lie symmetry group with generator . By invariance criterion in [11]- [13], we have the DTEs of the Lie symmetry group as follows 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, for functions , , , , , , τ ξ ζ η φ ψ ω .Solving this system by characteristic set algorithm given in [14] [15], we obtain the infinitesimal functions of generator X , i.e., where ( ) are arbitrary functions of their argument.Hence the 2D-CNLS (1) admits infinite dimensional Lie algebra ∞  .It is notice that in [9] only a special subset of (3) were found.Namely, if taking here a linear independent representatives of the vectors we recover the basis of the 8-dimensional Lie algebra 8   given in [9] as follows If taking other linear independents case of vector , we obtain other subalgebras of ∞  .In this paper, we take the case (4) as example to show the investigation procedure for finite sub-algebras properties of the infinite dimensional algebra ∞  .The commutators of the generators (4) are given in the Table 1, where the entry in the th i row and th j column is defined as , The table is fundamental for our constructing the optimal system of the 8   with basis (4).

One-Dimensional Optimal System of  8
In this section, we give an one-dimensional optimal system of the Lie algebra 8  spaned by (4).Finding one-dimensional optimal system of one-dimensional subalgebras of a Lie algebra is a subalgebra classification problem.It is essentially the same as the problem of classifying the orbit of the adjoint representation, since each one-dimensional subalgebra is determined by nonzero vector in the Lie algebra.Hence it is equivalent to classification of subalgebras under the adjoint representation of the Lie algebra.The adjoint representation is given by the Lie series  is the commutator given in Table 1, ε is a parameter, and , 1, 2, ,8 i j =  .This yields following adjoint commutator Table 2 for (4) in which the ( ) The following is the deduction procedure of one-dimensional optimal system of (4) by using the method given in [15]- [20]. Let  spanned by ( 4), which we shall try to simplify using suitable adjoint maps and find its equivalent representative.A key observation here is that the function is an invariant of the full adjoint action, that means (the corresponding symmetry group of the Lie algebra 8   ).The detection of such an invariant is important since it places restrictions on how far we can expect to simplify X .For example, if ( ) 0 X η ≠ , then we cannot simultaneously make 3 7 , k k and 4 k all zero through adjoint maps; if ( ) 0 X η < , we cannot make either 3 k To begin the classification process, we first concentrate on the coefficients 3 4 7 , , k k k of X .Acting simul- taneously adjoints of 3 X and 7 X , one has ( ) ( ) Table 1.The commutators of (4). , The adjoint commutator of (4).
There are now three cases, depending on the sign of the invariant η .( ) . Acting further by adjoint maps generated respectively by 1 2 5 , , X X X and 6 X we can arrange that the coefficients of 1 2 5 , , X X X and 6 X in X  vanish.Therefore, every element X with ( ) 0

X aX
+ for some a ∈  .No further simplifications are possible.
Acting on X by the group generated by 4 X , we can make the coefficients of 3 X and 7 X agree, so X is equivalent to a scalar multiple of ( ) . Further use of the groups generated by 5 6 1 , , X X X and 2 X show that X  is equivalent to a scalar multiple of 3 7 8 X X aX + + for some a ∈  .
Case 3. If ( ) 0 X η = , there are two subcases.If not all of the coefficients 3 4 7 , , k k k vanish, then we can choose α and β in (5) , so X is equivalent to a multiple of Then we can make the coefficients of 1 2 , X X and 8 X zero using the groups generated by 5 6 , X X and 2 X , while the group generated by 4 X independ- ently scales the coefficients of 3 X and 5 X .Thus such a X is equivalent to a multiple of either 3 6 5 Then we can make the coefficients of 1 2 , X X and 8 X zero using the groups generated by 5 6 , X X , and 1 X , while the group generated by 4 X independently scales the coefficients of 3 X and 5 X .Thus such a X is equivalent to a multiple of either 3 5 , 1 , then the group generated by 5 X and 6 X can be reduce X to a vector of the form 3 8 X aX + , for some a ∈  .
The last remaining case occurs when 3 4 7 0 k k k = = = , for which our earlier simplifications were unneces- sary.If 1 0 k ≠ , then using groups generated by 5 X and 7 X we can arrange X to become a multiple of 1 2 6

X aX bX
, then we can make the coefficients of 8 X and 6 X zero using the groups generated by 6 X and 7 X , while X is equivalent to a multiple of X aX k ≠ , we can first act by ( ) ( ) and get a nonzero coefficients in front of 1 2 , X X which is reduced to the previous case.If X k X k X = + then we can arrange X to become multiple of 8

6
X aX + for some a ∈  .The only remaining vectors are the multiple of 6 X .In summary, an optimal system of one-dimensional subalgebras of 8   with base ( 4) is provided by gene- rators
Since the similarity, we will introduce the details of computation for 6) and directly give the computation results without showing the details of the procedure for the remaining cases in (6).
The differential invariants (and hence the similarity variables) for the generator The system yields the similarity variables as follows ( ) ( ) Hence we let , , and substitute them into the Equations ( 1), then the equations are reduced to ( ) Using the rest elements in (6), we can obtain the rest reductions of 2D-CNLS Equations ( 1) presented in following Table 3.Here

Further Optimal Reductions of (1) through Reductions of the Equations in Table 3
In fact, the equations in Table 3 can be reduced further in the similar way which results in the second time reductions of 2D-CNLS (1).We take the second case in Table 3 as example to show the procedure of the second time reduction of the Equation (1).Using characteristic set algorithm given in [14] [15], the symmetry algebra generators of the second Equations (9) with similarity variables of case B in Table 3 is determined as follows ( ) Using the same procedure in last section, we can also find an one-dimensional optimal system of one-dimensional subalgebras of the Lie algebra spanned by (10).The optimal system consists of where c , d are arbitrary constants.We take ( ) as example to show the further 0.
reduction procedure.
The characteristic system ( ) yields the corresponding similarity variables Hence we let ( ) ( ) and substitute them into the underline equations, then the second equation in Table 3 is reduced to This is a result of twice reductions of (1) by ( ) sively.In the same manner, we can obtain the other reductions of the equation with using the other elements in (11) which are listed in the following Table 4.In fact, ( 13) and ( 14) are listed as second case in Table 4.
Solving the second equation in ( 14), we have where 1 2 , k k are arbitrary constants.Substituting this into the first equation of ( 14), we get a scale reduction of 2D-CNLS (1) as follows The second reductions of the 2D-CNLS (1) with X 2 . No.
Generators in (11) The second time reductions of 2D-CNLS (1) Invariance variables  , X X and 5 X , we also have optimal systems and the corresponding reductions which are given in Table 5, Table 6, Table 7 and Table 8 respectively.

Conclusion
In this paper, the infinite dimensional Lie algebra of 2D-NLS Equations ( 1) is determined.The optimal system of a sub-algebra 8   of the infinite dimensional Lie algebra is constructed using method given in [12]- [14].As a result, the first reductions of the 2D-NLS Equation ( 1) is presented by infinitesimal invariant method [14] [15].The corresponding optimal systems of the Lie algebras admitted by the first reduced equations are also constructed.Consequently, the second time reductions classifications of the 2D-NLS Equations ( 1) are obtained by these optimal systems.The twice reduction procedure shows that the 2D-NLS Equation (1) can be reduced to a group of ordinary differential equations, which is helpful to explicitly solve the 2D-NLS Equations (1).No.

Case 1 .
If ( ) 0 X η> , then we choose β to be either real root of the quadratic equation D w F z w G z z z z z w z G z z z z B w F z w G z z cz dz c C w F z w G z z z cz D w F z w G( )