Jian-wen Wu,Yue-jin Cai and Ji Lin
Department of Physics,Zhejiang Normal University,Jinhua,Zhejiang 321004,China
Abstract The nonlocal symmetry of the Sawada–Kotera(SK)equation is constructed with the known Lax pair.By introducing suitable and simple auxiliary variables,the nonlocal symmetry is localized and the finite transformation and some new solutions are obtained further.On the other hand,the group invariant solutions of the SK equation are constructed with the classic Lie group method.In particular,by a Galileo transformation some analytical soliton-cnoidal interaction solutions of a asymptotically integrable equation are discussed in graphical ways.
Keywords:Sawada–Kotera equation,nonlocal symmetry,interaction solutions
It is well known that certain nonlinear integrable evolution equations,like the Korteweg–de Vries equation,have been widely used in various natural science fields such as nonlinear optics[1,2],plasma physics[3],ferrimagnetics[4],Bose–Einstein condensation[5]and fluid mechanics[6].Surface and internal waves in some fields such as fluid can be described by a class of physically important asymptotically integrable equations,like as
The asymptotically integrable equation was derived by many authors[7,8].It was shown in[9]that by constructing a canonical map φ:v→u,one can transform the model(1)into a system with same order∊.Further,due to Kodama’s idea[10]by a canonical transformation
where a and b are arbitrary constants.In[11],by making a Galileo transformation u→-β2/(5aαβ1∊)+u(x+β2t/(5aβ1∊),β1∊t),the terms αu2and βuxxin equation(3)can be eliminated.Thus,equation(3)just is the Sawada–Kotera(SK)equation
for the suitable parameters a=1,b=1.
The SK equation(4)is one of the most important and high order integrable models in mathematical physics,which is firstly derived by Sawada and Kotera[12].After that,a variety of fruitful algorithmic methods,such as Hirota’s bilinear method[13,14],recursion operator[15–17],bi-Hamiltonian formulation[18],classical Lie group approach[19–21],inverse recursion operator[22]and function expansion method[23,24],were used to study abundant properties of equation(4).In addition,abundant traveling wave structures and interaction waves had been separately studied in[25].
Recently,the study of interaction waves between solitons and other nonlinear waves have attracted great attention of many mathematical physicists[26].So,to search for some interaction waves there were a wealth of approaches,such as the consistent Riccati expansion method[27–29]and the consistent tanh expansion method[30–32].In addition,Lou and his cooperators produced the localization of the nonlocal symmetry,which can be used to construct much more abundant interaction waves,such as the soliton-PainleveII waves and the soliton-cnoidal waves[33–37].On the basis of the remarkable method,many new interaction waves for various integrable models have been discussed in detail[38–41].For instance,by the truncated Painleve analysis and the Lie point symmetry the nonlocal symmetry and its interaction waves for the modified Boussineq equation are studied in the[42].The motivation of the present paper also stems from the observation of interaction waves in laboratory experiments[43].In this paper,we employ the nonlocal symmetry for Lax pair to obtain the auto Bäcklund transformation and group invariant solutions.Especially,the analytic soliton-cnoidal wave solution is obtained,which can describe soliton moving on a cnoidal wave background.
The layout of this paper is as follows.Section 2 is devoted to obtain the nonlocal symmetry for the lax pair of equation(4).In section 3 the vector field and the Schwartzian form of equation(4)are composed by the localization of the nonlocal symmetry.In the next section,the auto Bäcklund transformation is found out via solving the initial value problem,while some types of symmetry reduction equations and its group invariant solutions can be given with the help of the standard Lie group approach.The last section contains a conclusion and discussion.
The Lie’s symmetry analysis theory[44]of differential equation(DE)have been widely applied to explore the exact solution,which is based on the algebraic symmetry of DE.Furthermore,abundant new explicit exact solutions can be constructed with using a nonlocal symmetry.Thus,how to construct a new nonlocal symmetry of equation(4)is interesting problem.Previously,the Lie point symmetries of the potential system,namely the nonlocal symmetries,were derived by the conservation law[20].In recent years,various nonlocal symmetries were constructed by Bäcklund transformation and Darboux transformation(Lax pair)[45,33].For instance,starting from a known Lax pair,one can get some infinitely many coupled Lax pairs and infinitely many nonlocal symmetries[46].In[47],the nonlocal symmetry and some interaction solutions are studied by a Lax pair.However,it is known that for an integrable model,its Lax pair is not unique.The SK equation has another Lax pair[45]
with spectral function ψ and arbitrary parameter λ.Fortunately,when λ=0 the compatibility condition ψxxxt=ψtxxxof Lax pair(5)and(6)is just the SK equation(4).
A symmetry σuof the SK equation(4)is as a solution of its linearized equation
which means equation(4)is form invariant under the transform u→u+∊σu.The symmetry can be written in the form[20]
where X,T,U are the functions of the variables(x,t,u,ψ,ψx,ψxx).Substituting equation(8)into(7)and eliminating ut,ψxxxand ψtthrough equation(4)and the Lax pair(5)–(6)with λ=0,we get the symmetry determining equations for the functions X,T,U.Then,after solving this symmetry determining equations,the symmetry is given
Theorem 1.If we setC1=C2=C3=0andC4=-1in equation(9),equation(4)will have a simple nonlocal symmetry
with ψ being the solution of equations(5)and(6)withλ=0.
Utilizing the standard Lie algebra theory,the homologous finite transformation will be obtained by working out the solution of the initial value problem
It is known that for general point symmetry the initial value problem can be solved,but in this paper the symmetry is a nonlocal symmetry which cannot be solved.However,recent study[33]presents that the general Lie point symmetry can be obtained by the localization procedure.The original system is extended to a suitable prolonged system as follow
by introducing the auxiliary functions g and h which are functions of x and t.The symmetries σk(k=u,ψ,g,h)are the solutions of the linearized equations of the prolonged system(12)
and these localized symmetries are constructed
Consequently,the corresponding vector field of the prolonged system(12)is
Fortunately,the auxiliary spectral function ψ satisfies the Schwartzian form of equation(4):
Thanks to the Lie’s first fundamental theorem[48],by solving the following initial value problem for the prolonged system(12)
the finite symmetry transformation is obtained.
Theorem 2.If{u,ψ,g,h}is a solution of the prolonged system(12),another solutionwill be obtained via the following finite symmetry transformation.
In fact,the transformation(18)is just the auto Bäcklund transformation.As a example,taking the solutionu=-2k2of equation(4),we obtain the corresponding special solutions for the auxiliary variables from equation(12):
whereκ1,κ2,κ3and k are arbitrary constants,andSubstituting equation(19)into(18),the new solution of the SK equation(4)is constructed
Not only the finite transformation but also the symmetry reduction can be applied to get the explicit solutions by reducing dimensions of a partial DE.Firstly,to obtain the Lie point symmetries of the whole prolonged system(12),we assume that the prolonged system(12)is invariant under the infinitesimal transformations
with
Now substituting the formula(22)into the symmetry definition equations(13)and collecting together the coefficients of partial differential of dependent variables,a set of overdetermined linear equations for the infinitesimals X,T,U,Ψ,G and H are obtained.Fortunately,by solving the overdetermined linear equations with Maple the corresponding solutions can be obtained as
where ci(i=1,2,..,6)are arbitrary constants.Obviously the finite symmetry transformation(14)is a very special case of the general infinitesimal operator(23)when ci=0(i=1,2,4,5,6)and c3=-1.To find the symmetry reduction equations,we will solve equation(22)with(23)by the symmetry constraint situations σk=0(k=u,ψ,g,h).Namely,by explicitly solving the corresponding characteristic equations[48]
the symmetry reductions of the prolong system are given.Here,we focus on c3≠0,corresponding to the nonlocal symmetry circumstance.Without loss of generality,we rewrite the parameterand there are four cases to consider.
Case I:c1≠0,Δ≠0
After solving the characteristic equations(24),the similarity solution is obtained as follow:
Here,U(ξ),Ψ(ξ),G(ξ)and H(ξ)represent four group invariant functions.The ξ is the similarity variable.By substituting equations(25)into the prolonged system(12)we have the reduced equations
where Ψ(ξ)satisfies a five-order ordinary differential equation(ODE)
It is obvious that U,Ψ,G,H can been solved from equation(26),and the exact solution of the SK equation will be obtained by equation(25).
Case II:c1≠0,Δ=0
If Ψ≡Ψ(η)is a solution of the ODE
the solution of the SK equation(4)is given
Case III:c1=0,Δ≠0
By solving equation(24),we obtain
Substituting equation(30)into the prolonged system(13),the reduced equations are obtained as follows:
where W(τ)satisfies
Then summarizing the above expressions,we obtain the explicit solution of the SK equation(4):
where W(τ)satisfies equation(32).
We know that the general solution of equation(32)can be written in terms of Jacobi elliptic functions.In order to show more detail for this kind of solution,we offer two special case of equation(33)by solving equation(32).
Type 1:The solution of the equation(32)is given as
wheresn(Kτ,m)is the usual Jacobi elliptic sine function.Substituting equation(34)into(32)and vanishing the coefficients ofdn(τ,m),sn(τ,m),the solution of equation(3)are constructed
where
and
Figure 1(a)shows the interaction of a soliton with cnoidal wave solution(35)by fixing parameters
Figure 1.The type of a bright soliton on a cnoidal wave background expressed by equation(35)with equations(36)and(37).(a)The evolution of u,(b)t=-10,(c)t=0,(d)t=10.
figures 1(b)–(d)clearly display the evolutions of the solitoncnoidal wave solution(35)along the time with t=-10,t=0 and t=10,respectively.
Type 2:Another special solution of equation(32)reads
which yields the interaction solution of the equation(3)
where
Case IV:c1=0,Δ=0
The explicit solution of the SK equation(4)is given as
with the arbitrary constants c2and c4.
In this paper,we have studied the nonlocal symmetry of the SK equation(4)by using a symmetry assumption method with the Lax pair.The nonlocal symmetry can be localized by introducing the three potential functions,namely,the spectral function ψ,the x-derivatives of the spectral function g=ψxand h=ψxx.On the one hand,considering to the Lie’s first fundamental theorem,the initial value problem have been solved,which lead to a finite symmetry transformation,and with the help of the finite symmetry transform one can find some new solutions from the given ones.On the other hand,by the means of the symmetry reductions,several classes of new interaction solutions are obtained.Especially,the interaction solutions for soliton-cnoidal wave are unearthed,which can be explicitly constructed by the Jacobi elliptic functions.
Using the Lax pair to search for nonlocal symmetries of integrable systems and then considering the nonlocal symmetries to come out the explicit solutions could be of particular interest.To get interaction solutions among different waves,one has to treat the method to more nonlinear evolution equations and it needs further investigate in the future.
Acknowledgments
The authors extend their gratitude to Professors S Y Lou for helpful discussions.This work was supported by the National Natural Science Foundation of China,Grant No.11835011 and Grant No.11675146.
ORCID iDs
Communications in Theoretical Physics2021年6期