Lie symmetry analysis,optimal system and conservation laws of a new(2+1)-dimensional KdV system

Mengmeng Wang,Shoufeng Shen and Lizhen Wang

1 Department of Applied Mathematics,Zhejiang University of Technology,Hangzhou 310023,China

2 Center for Nonlinear Studies,School of Mathematics,Northwest University,Xi’an 710127,China

Abstract In this paper,Lie point symmetries of a new(2+1)-dimensional KdV system are constructed by using the symbolic computation software Maple.Then,the one-dimensional optimal system,associated with corresponding Lie algebra,is obtained.Moreover,the reduction equations and some explicit solutions based on the optimal system are presented.Finally,the nonlinear selfadjointness is provided and conservation laws of this KdV system are constructed.

Keywords:Lie point symmetry,optimal system,symmetry reduction,exact solution,conservation law

1.Introduction

Integrable systems are widely used to describe the complex natural phenomena in fluid physics,quantum physics,condensed matter physics,biology and mathematical physics etc.Some important models such as the KdV equation,KP equation,nonlinear Schr?dinger equation,NNV equation and Sine-Godon equation have been discovered and then investigated extensively by many researchers.By observing the fact that all the known(2+1)-dimensional integrable systems have the centerless Virasoro type subaglebrawherefi,i=1,2are two arbitrary functions with one independent variable andσ(fi),i=1,2are the symmetries of the given system and there are no known nonintegrable systems possessing such Virasoro symmetry algebra.Lou and Hu introduced an idea that if an f-independent model owns the Virasoro symmetry algebra,the model is Virasoro integrable.Utilizing this theory,some new(2+1)-dimensional and(3+1)-dimensional Virasoro integrable systems[1–4]have been constructed.In this paper,we are interested in the new(2+1)-dimensional KdV system

which has the same centerless Virasoro type subalgebra as the coupled KdV system.

An important task of studying integrable systems is to find their exact solutions.Many powerful methods also have been found,such as the inverse scattering transformation(IST),Darboux transformation,Hirota’s bilinear method,classical and non-classical Lie symmetry analysis methods and Clarkson-Kruskal’s direct method etc.Lie symmetry analysis,an effective algebra method playing an essential role in constructing exact solutions,were originally derived by Sophus Lie.It is also used to solve nonlinear partial differential equations with variable coefficients[18–20]and to obtain the numerical solutions[21].Classification of all group invariant solutions is an important step in Lie group analysis.To classify group invariant solutions,one should classify the subalgebra of the Lie algebra generated by Lie point symmetries,so the definition of one-dimensional optimal system was came up with by Ovsiannikov[5,9,10]using a global matrix for the adjoint transformation,and then Olver[6,16]introduced one method,which was used invariants and adjoint operators to simplify a general element in Lie algebra as much as possible.In 2010,Ibragimov([11–13]and references there in)put forward a different method based onthe structural constants of Lie algebra.In 2015,a direct algorithm of one-dimensional optimal system was presented by Hu et al[14,15,17]who obtained new invariant never addressed by Killing form in the example of heat equation.Moreover,another important task of studying nonlinear evolution equations is to analyze its integrability,which always can be implied by the existence of conservation laws.Noether’s theorem presents a connection between symmetries and conservation laws,but it is so strict that it is not applicable to evolution equations,to different equations of odd order,etc.In order to overcome its restrictions,Ibragimov generalized Noether’s theorem in[7,8].

The plan of this article is as follows:section 2 performs Lie point symmetry method on the(2+1)-dimensional KdV system,and obtains the one-dimensional optimal system combining the Ovsiannikov’s global matrix method and Ibragimov’s method.Section 3 is devoted to getting reduction equations by reducing the associated Lagrange characteristic equations of one-dimensional optimal operators.Section 4 proves the nonlinear self-adjointness of(2+1)-dimensional KdV system and constructs the conservation laws.In section 5 we make some brief comments.

2.Lie Symmetry and Optimal System of Subalgebras

Let us begin with a one-parameter Lie group of point transformation:

The corresponding generator of Lie algebra has the form:

Ifpr(3)Vis the third order prolongation,the invariant condition

yields the following determining equations:

By solving these equations,we obtain the following Lie point symmetry generators:

Because of the arbitrariness of the functionsf3,f5,f6,we can obtain an infinite-dimensional Lie algebra expanded byV1,V2,…,V6.Letf3(t)=t,f5(t)=1,f6(y)=1,the following six Lie point symmetries operators are obtained:

By means of linear transformation,this six Lie point symmetries can be rewritten in a simpler form:

The corresponding one-parameter Lie transformation group can be obtained by solving the initial problem for the system of ordinary differential equations

Hence,we obtain the following six one-parameter groups H6of symmetries:

Since any linear combination of infinitesimal generator is also an infinitesimal generator,there are infinitely many different symmetry subgroups for the differential equation.Therefore it is necessary and significant to find a way to determine which subgroups can produce the essentially different types of group invariant solutions.To this end,utilizing Ovsiannikov’s global matrix method[5,9,10]combining the Ibragimov’s method[11–13],one can construct the optimal system of one-dimensional subalgebras.An arbitrary operator of Lie algebra L6is written as

Based on six Lie point symmetries,we can compute the nonzero commutation relations which are listed as follows

Using equation(4)and following formula for the adjoint representation

the adjoint action of the Lie group H6on the Lie algebra L6has been obtained and listed in table 1.

Applying the adjoint action of V1toV=a1V1+a2V2+a3V3+…+a6V6and with the help of adjoint representation table,we have

with

Similarly,

Then,the general adjoint transformation matrix A is constructed by

Adjoint transformation equation for the(2+1)-dimensional KdV system is

namely

Table 1.The Adjoint Action of the Lie Group H6 on the Lie Algebra L6.

The transformation A maps the vector V to the vector

V is equivalent to V*if and only if equation(8)has the nonzero solution.

Theorem 1The following operators provide a oneparameter optimal system to the Lie algebra L6.

Proof.the construction of the optimal system of onedimensional subalgebras will be divided into four cases.

The corresponding representatives for the optimal system are obtained,namely

The corresponding representatives for the optimal system are obtained,namely

The corresponding representatives for the optimal system are obtained,namely

Case 4.a5=0,a3=0.The vectorb=(b1,b2,…,b6)Tis reduced to the form

The corresponding representatives for the optimal system are obtained,namely

3.Similarity Reductions and the Invariant Solutions

In this section,we mainly lay emphasis on the similarity reductions of the(2+1)-dimensional KdV equation(1)on the basis of the optimal system of the one-dimensional subalgebras.Meanwhile,we give four examples of general invariant solutions that can be obtained directly by solving the reduced equations.In addition,table 2 has listed the other reduced equations,which are nonlinear partial differential equations(NLPDEs).To obtain the invariant solutions of this reduced NLPDEs,we need use the Lie point symmetry method again.

Example 1Ω1The characteristic equation of Ω1=is

Solving equation(9)leads to the following group invariants

Table 2.Reductions of the(2+1)-dimensional KdV system.

Substituting(10)into(1)we obtain reduced(1+1)-dimensional PDEs as follows.

Then,one group invariant solution for system(1)is given by

whereF1(t)is an arbitrary function with respect to t andF2(y),F3(y)are arbitrary functions with respect to y.

Solving equation(13)leads to the following group invariants

Substituting(14)into(1)we obtain reduced(1+1)-dimensional PDEs as

Then,one group invariant solution for system(1)is given by

whereF4(t),F5(t),F6(t)andF7(t)are an arbitrary functions with respect to t and H denotes the equation

Solving equation(17)leads to the following group invariants

Substituting(18)into(1)we obtain the same reduced(1+1)-dimensional PDEs as equation(15),so the corresponding invariant solution is the same as equation(16).

Solving equation(19)leads to the following group invariants

Substituting(20)into(1)we obtain reduced the(1+1)-dimensional PDEs as

Then,one group invariant solution for system(1)is given by

whereF8(t)is an arbitrary function with respect to t andF9(y),F10(y)are arbitrary functions with respect to y.

4.Nonlinear Self-adjointness and Conservation Laws

In this section,we prove the nonlinear self-adjointness of(2+1)-dimensional KdV system and find the conservation laws provided by the symmetry(3)using Ibragimov’s method[7,8].

Definition 1[8].The system ofdeferential equations

with m dependent variablesu=(u1,…,u m)is said to be nonlinearly self-adjoint if the adjoint equations

upon a substitution

satisfy

v and φ are the m-dimensional vectors

undetermined coefficients andφ(σ)are derivatives of(24)

and equation(24)means that not all componentsof φ vanish simultaneously.

Theorem 2equation(1)

is nonlinear self-adjoint.

ProofThe formal Lagrangian for this equation is

where z and w are new dependent variables,equations(25)are written as

By using equation(24),we substitutez(x,t,y)andw(x,t,y)toφ1(x,t,y,u,v)andφ2(x,t,y,u,v)respectively.Correspondingly,their derivatives are substituted

where Diis total differentiations operator.Then we obtain the equations

Equating the coefficients for vtand uyton both sides of equations(27)and equations(28),we obtain

Now we calculate the coefficients for the derivative of u and v with respect to x,t and y,taking into account equations(29)and arrive at the following equations:

Solving these equations,we obtain

whereGi(y),i=1,2andGi(t),i=3,4,5are arbitrary functions respectively respect to y and t.Moreover,φα≠0,α=1,2 satisfy the definition of nonlinear selfadjointness.

Theorem 3[8]Let the system of differential equations(22)be nonlinearly self-adjoint.Specifically,let the adjoint system(23)to(22)be satisfied for all solutions of equations(22)upon a substitution(24)

Then any Lie point,contact or Lie-B?cklund symmetry

as well as a nonlocal symmetry of equations(22)leads to a conservation law

constructed by the following formula:

where

and L is the formal Lagrangian for the system(22)

Above we have proved the nonlinear self-adjointness of the(2+1)-dimensional KdV system.According to this theorem,we can find the conservation laws.Consider the Lie point symmetry

and the formal Lagrangian

The corresponding conserved vector can be written as

where

Here z and w are two arbitrary solutions of the adjoint equation(27)and(28),hence provide an infinite number of conservation laws.

5.Conclusion

In this paper,we obtain the Lie point symmetry of the(2+1)-dimensional KdV system applying invariant analysis and construct a one-dimensional optimal system combining the Ovsiannikov’s global matrix method and Ibragimov’s method.Then the symmetry reductions are performed and some group invariant solutions are obtained based on the onedimensional optimal system most of which are listed in table 2.Furthermore,it is proved that the(2+1)-dimensional KdV system embraces nonlinear self-adjointness and infinite number of conservation laws using Ibragimov’s method.We believe that these results could be useful for the investigation of the phenomenon in which the(2+1)-dimensional KdV system is derived.Meanwhile,there also exist many interesting properties of the(2+1)-dimensional KdV system to be discovered in the future.

Acknowledgments

The authors would like to thank the editors and referees for their useful suggestions which have significantly improved this paper.This work is supported by the National Natural Science Foundation of China(Grant No.11 771 352,11 871 396),the Natural Science Foundation of Shaanxi Province(Grant No.2020JM-431).