We study a two-dimensional integrable generalization of the Kaup-Kupershmidt equation, which arises in various problems in mathematical physics. Exact solutions are obtained using the Lie symmetry method in conjunction with the extended tanh method and the extended Jacobi elliptic function method. In addition to exact solutions we also present conservation laws which are derived using the multiplier approach.
1. Introduction
The theory of nonlinear evolution equations (NLEEs) has made a substantial progress in the last few decades. Aspects of integrability of these equations have been studied in detail as it is evident from many research papers published in the literature. In many cases, exact solutions are required as numerical methods are not appropriate. Exact solutions of NLEEs arising in fluid dynamics, continuum mechanics, and general relativity are of considerable importance for the light they shed into extreme cases which are not susceptible to numerical treatments. However, finding exact solutions of NLEEs is a difficult task. In spite of this, many new methods have been developed recently that are being used to integrate the NLEEs. Among them are the inverse scattering transform [1], the Hirota’s bilinear method [2], the homogeneous balance method [3], the auxiliary ordinary differential equation method [4], the He’s variational iteration method [5], the sine-cosine method [6], the extended tanh method [7], the Lie symmetry method [8], and so forth.
In this paper we study a two-dimensional integrable generalization of the Kaup-Kupershmidt equation [9, 10]
(1)ut+uxxxxx+252uxuxx+5uuxxx+5u2ux+5uxxy-5∂x-1uyy+5uuy+5ux∂x-1uy=0,
which arises in various problems in many areas of theoretical physics. The above equation arises as special reduction of integrable nonlinear systems [11, 12]. It should be noted that the Zakharov-Manakov delta dressing method was used to obtain soliton and periodic solutions of (1) [11, 12]. The purpose of this paper is twofold. Firstly, we will use Lie symmetry method along with the extended tanh method and the extended Jacobi elliptic function method to obtain new exact solutions of (1). Secondly, conservation laws will be derived for the two-dimensional integrable generalization of the Kaup-Kupershmidt equation (1).
In the past few decades, the Lie symmetry method has proved to be a versatile tool for solving nonlinear problems described by the differential equations arising in mathematics, physics, and in many other scientific fields of study. For the theory and application of the Lie symmetry method see, for example, [8, 13, 14].
In the study of the solution process of differential equations (DEs), conservation laws play a central role. It is a well known fact that finding the conservation laws of DEs is often the first step towards finding the solution [14] of the DEs. Extensive use of conservation laws has appeared in the literature, for example, in studying the existence, uniqueness, and stability of solutions to nonlinear partial differential equations [15–17], the use of numerical methods [18, 19], and finding exact solutions of some nonlinear partial differential equations [20–22].
To study the two-dimensional integrable generalization of the Kaup-Kupershmidt equation (1) we first introduce a new dependent variable v and set v=∂x-1uy=∫uydx. This allows us to remove the integral terms from the equation and replace (1) by a system
(2a)ut+uxxxxx+252uxuxx+5uuxxx+5u2ux+5uxxy-5vy+5uvx+5uxv=0,(2b)uy-vx=0.
The outline of the paper is as follows. In Section 2, we first find the Lie point symmetries of the system (2a) and (2b) using the Lie algorithm. These Lie point symmetries are then used to transform the system (2a) and (2b) to a system of ordinary differential equations (ODEs). The extended tanh method and extended Jacobi elliptic function method are applied to the system of ordinary differential equations and as a result we obtain the exact explicit solutions of our two-dimensional integrable generalization of the Kaup-Kupershmidt equation (1). In Section 3, we construct conservation laws for (1) using the multiplier method [23]. Finally, concluding remarks are presented in Section 4.
2. Exact Solutions of (2a) and (2b)
The symmetry group of the system (2a) and (2b) will be generated by the vector field of the form
(2)X=ξ1(t,x,y,u,v)∂∂t+ξ2(t,x,y,u,v)∂∂x+ξ3(t,x,y,u,v)∂∂y+η1(t,x,y,u,v)∂∂u+η2(t,x,y,u,v)∂∂v.
Applying the fifth prolongation, prX(5), [8] to (2a) and (2b) results in an overdetermined system of linear partial differential equations. The general solution of the overdetermined system of linear partial differential equations is given by
(3)ξ1=5F2(t)+5yF3′(t)+5y2F1′′(t)+50xF1′(t),ξ2=150yF1′(t)+75F3(t),ξ3=250F1(t),η1=5F3′(t)+10yF1′′(t)-100uF1′(t),η2=-5uF3′(t)+yF3′′(t)+F2′(t)-200vF1′(t)+(10x-10yu)F1′′(t)+y2F1′′′(t),
where F1(t), F2(t), and F3(t) are arbitrary functions of t. We confine the arbitrary functions to be of the form F1(t)=C1t+C2,F2(t)=C3t+C4,F3(t)=C5t+C6, where C1,…,C6 are arbitrary constants. Consequently, we have the six-dimensional Lie algebra spanned by the following linearly independent operators:
(4)Γ1=∂∂t,Γ2=∂∂x,Γ3=∂∂y,Γ4=5t∂∂x+∂∂v,Γ5=y∂∂x+15t∂∂y+∂∂u-u∂∂v,Γ6=x∂∂x+3y∂∂y+5t∂∂t-2u∂∂u-4v∂∂v.
2.1. Symmetry Reduction of (2a) and (2b)
One of the main reasons for calculating symmetries of a differential equation is to use them for obtaining symmetry reductions and finding exact solutions. This can be achieved with the use of Lie point symmetries admitted by (2a) and (2b). It is well known fact that the reduction of a partial differential equation with respect to r-dimensional (solvable) subalgebra of its Lie symmetry algebra leads to reducing the number of independent variables by r.
Consider the first three translation symmetries and let Γ=Γ1+Γ2+Γ3. We use Γ to reduce (2a) and (2b) to a system of partial differential equations (PDEs) in two independent variables. The symmetry Γ yields the following invariants:
(5)f=t-y,g=x-y,ϕ=u,ψ=v.
Considering ϕ, ψ as the new dependent variables and f and g as new independent variables, (2a) and (2b) transforms to
(6)ϕggggg+5ϕgϕ2-5ϕfgg+5ϕgψ+5ψf+ϕf+5ψgϕ+252ϕgϕgg+5ψg+5ϕgggϕ-5ϕggg=0,(7)ϕf+ϕg+ψg=0,
which is a system of nonlinear PDEs in two independent variables f and g. We now further reduce this system using its symmetries. This system has the two translation symmetries, namely,
(8)Υ1=∂∂f,Υ2=∂∂g.
By taking a linear combination ρΥ1+Υ2 of the above symmetries, we see that it yields the invariants
(9)z=f-ρg,ϕ=F,ψ=G.
Now treating F and G as new dependent variables and z as the new independent variable the above system transforms to the following system of nonlinear coupled ODEs:
(10a)ρ5F′′′′′(z)+5ρ3F(z)F′′′(z)-5ρ3F′′′(z)+5ρ2F′′′(z)+5ρG(z)F′(z)+5ρF(z)2F′(z)-F′(z)+252ρ3F′(z)F′′(z)+5ρF(z)G′(z)+5ρG′(z)-5G′(z)=0,(10b)ρF′(z)-F′(z)+ρG′(z)=0.
2.2. Exact Solutions Using the Extended tanh Method
In this section we use the extended tanh function method which was introduced by Wazwaz [7]. The basic idea in this method is to assume that the solution of (10a) and (10b) can be written in the form
(10)F(z)=∑i=-MMAiH(z)i,G(z)=∑i=-MMBiH(z)i,
where H(z) satisfies an auxiliary equation, say for example the Riccati equation
(11)H′(z)=1-H2(z),
whose solution is given by
(12)H(z)=tanh(z).
The positive integer M will be determined by the homogeneous balance method between the highest order derivative and highest order nonlinear term appearing in (10a) and (10b). Ai, Bi are parameters to be determined.
In our case, the balancing procedure gives M=2 and so the solutions of (10a) and (10b) are of the form
(13a)F(z)=A-2H-2+A-1H-1+A0+A1H+A2H2,(13b)G(z)=B-2H-2+B-1H-1+B0+B1H+B2H2.
Substituting (13a) and (13b) into (10a) and (10b) and making use of the Riccati equation (11) and then equating the coefficients of the functions Hi to zero, we obtain an algebraic system of equations in terms of Ai and Bi(i=-2,-1,0,1,2).
Solving the resultant system of algebraic equations, with the aid of Mathematica, one possible set of values of Ai and Bi(i=-2,-1,0,1,2) is
(13)A-2=-24ρ2,A-1=0,A0=-1+ρ+16ρ3ρ,A1=0,A2=-24ρ2,B-2=24ρ(-1+ρ),B-1=0,B0=--5+9ρ-80ρ3-5ρ2+80ρ4+2816ρ65ρ2,B1=0,B2=24ρ(-1+ρ),
where ρ is any root of 2816ρ6+320ρ4-320ρ3-5ρ2+9ρ-5. As a result, a solution of (1) is
(14)u(t,x,y)=A-2coth2(z)+A-1coth(z)+A0+A1tanh(z)+A2tanh2(z),
where z=t-ρx+(ρ-1)y.
A profile of the solution (14) is given in Figure 1.
Evolution of travelling wave solution (14) with parameters y=0,ρ=0.42.
2.3. Exact Solutions Using Extended Jacobi Elliptic Function Method
In this subsection we obtain exact solutions of (1) in terms of the Jacobi elliptic functions. We note that the cosine-amplitude function, cn(z∣ω), and the sine-amplitude function, sn(z∣ω) are solutions of the first-order differential equations
(15)H′(z)=-{(1-H2(z))(1-ω+ωH2(z))}1/2,(16)H′(z)={(1-H2(z))(1-ωH2(z))}1/2,
respectively [24]. We recall the following facts.
When ω→1, the Jacobi elliptic functions degenerate to the hyperbolic functions, cn(z∣ω)→sech(z),sn(z∣ω)→tanh(z).
When ω→0, the Jacobi elliptic functions degenerate to the trigonometric functions, cn(z∣ω)→cos(z),sn(z∣ω)→sin(z).
nc(z∣ω)=1/cn(z∣ω),ns(z∣ω)=1/sn(z∣ω).
We now treat the above ODEs as our auxillary equations and apply the procedure of the previous subsection to system (10a) and (10b). Leaving out the details, we obtain two solutions, the cnoidal and snoidal wave solutions, corresponding to the two equations (15) and (16) given by, respectively,
(17)u(t,x,y)=A-2nc2(z∣ω)+A-1nc(z∣ω)+A0+A1cn(z∣ω)+A2cn2(z∣ω),
where
(18)A-2=-3ρ2+3ρ2ω,A-1=0,A0=-2ρ3ω+1-ρ-ρ3ρ,A1=0,A2=3ρ2ω,B-2=-3ρ(ω-1)(ρ-1),B-1=0,B0=--5+9ρ-5ρ2-5ρ3+ρ6-10ρ4ω5ρ2+16ρ6ω2-16ρ6ω+10ρ3ω+5ρ45ρ2,B1=0,B2=-3ρω(ρ-1),
with ρ as any root of (16ω2-16ω+1)ρ6+(5-10ω)ρ4+(10ω-5)ρ3-5ρ2+9ρ-5 and
(19)u(t,x,y)=A-2ns2(z∣ω)+A-1ns(z∣ω)+A0+A1sn(z∣ω)+A2sn2(z∣ω),
with
(20)A-2=-3ρ2,A-1=0,A0=-1+ρ+ρ3+ρ3ωρ,A1=0,A2=-3ωρ2,B-2=3ρ(-1+ρ),B-1=0,B0=--5+9ρ-5ρ2-5ρ3+ρ6ω25ρ2+14ρ6ω-5ρ3ω+5ρ4ω+5ρ4+ρ65ρ2,B1=0,B2=3ωρ(-1+ρ),
where ρ is any root of (ω2+14ω+1)ρ6+(5ω+5)ρ4-(5ω+5)ρ3-5ρ2+9ρ-5 and z=t-ρx+(ρ-1)y.
A profile of solutions (17), (19) is given in Figures 2 and 3.
Evolution of travelling wave solution (17) with parameters t=0,ω=0.1,ρ=-1.53.
Evolution of travelling wave solution (19) with parameters t=0,ω=0.2,ρ=-1.12.
3. Conservation Laws
In this section we construct conservation laws for (2a) and (2b). The multiplier method will be used [23]. We first recall some basic results that will be used later in this section.
Consider a kth-order system of PDEs of n independent variables x=(x1,x2,…,xn) and m dependent variables u=(u1,u2,…,um), namely,
(21)Eα(x,u,u(1),…,u(k))=0,α=1,…,m,
where u(1),u(2),…,u(k) denote the collections of all first, second,…, kth-order partial derivatives, that is, uiα=Di(uα),uijα=DjDi(uα),…, respectively, with the total derivative operator with respect to xi given by
(22)Di=∂∂xi+uiα∂∂uα+uijα∂∂ujα+⋯,i=1,…,n,
where the summation convention is used whenever appropriate [13]. We recall that the Euler-Lagrange operator, for each α, is given by
(23)δδuα=∂∂uα+∑s≥1(-1)sDi1⋯Dis∂∂ui1i2⋯isα,α=1,…,m.
The n-tuple vector T=(T1,T2,…,Tn),Tj∈𝒜, (space of differential functions) j=1,…,n, is a conserved vector of (21) if Ti satisfies
(24)DiTi|(3.1)=0.
A multiplier Λα(x,u,u(1),…) has the property that
(25)ΛαEα=DiTi
hold identically. Here we will consider multipliers of the zeroth order, that is, Λα=Λα(t,x,y,u,v). The right hand side of (25) is a divergence expression. The determining equation for the multiplier Λα is given by
(26)δ(ΛαEα)δuα=0.
After calculating the multipliers one can obtain the conserved vectors via a homotopy formula [23].
3.1. Conservation Laws of (1)
We now construct conservation laws for the two-dimensional integrable generalization of the Kaup-Kupershmidt equation (1) using the multiplier approach. For the coupled system (2a) and (2b), we obtain multipliers of the form, Λ1=Λ1(t,x,y,u,v) and Λ2=Λ2(t,x,y,u,v) that are given by
(27)Λ1=yf2(t)+f1(t),Λ2=-5xf2(t)+f3(t)-12y(yf2′(t)+2f1′(t)),
where fi, i=1,2,3 are arbitrary functions of t. Corresponding to the above multipliers we obtain the following nonlocal conserved vector of (1):
(28)Tt=f1(t)u+yf2(t)u,Tx=112{60f1(t)uxxu+60yf2(t)uxxu+60f1(t)u∫uydx+60yf2(t)u∫uydx+20f1(t)u3+20yf2(t)u3+45yf2(t)ux2+40f1(t)uxy+40yf2(t)uxy+12yf2(t)uxxxx+60xf2(t)∫uydx-12f3(t)∫uydx+45f1(t)ux2-20f2(t)ux+12f1(t)uxxxx+6y2f2′(t)∫uydx+12yf1′(t)∫uydx},Ty=16{-3y2f2′(t)u-6yf1′(t)u-30xf2(t)u+6f3(t)u+10yf2(t)uxx-30yf2(t)∫uydx-30f1(t)∫uydx+10f1(t)uxx}.
Remark 1.
Due to the presence of the arbitrary functions, fi, i=1,2,3, in the multipliers, one can obtain an infinitely many nonlocal conservation laws.
4. Concluding Remarks
In this paper we studied the two-dimensional generalization of the Kaup-Kupershmidt equation (1). Lie point symmetries of this equation were obtained and the three translation symmetries were used to transform the equation into a system of ODEs. Then the extended tanh method and the extended Jacobi elliptic function method were employed to solve this ODEs system to obtain exact solutions of (1). Furthermore, conservation laws of (1) were also computed using the multiplier approach. The conservation laws consisted of an infinite number of nonlocal conserved vectors.
Acknowledgments
A. R. Adem and C. M. Khalique would like to thank the Organizing Committee of “Symmetries, Differential Equations, and Applications: Galois Bicentenary” (SDEA2012) Conference for their kind hospitality during the conference.
AblowitzM. J.ClarksonP. A.1991Cambridge, UKCambridge University Press10.1017/CBO9780511623998MR1149378ZBL0900.65350HirotaR.Exact solution of the korteweg-de vries equation for multiple collisions of solitons19712718119211942-s2.0-3594904054110.1103/PhysRevLett.27.1192WangM. L.Solitary wave solutions for variant Boussinesq equations19951993-416917210.1016/0375-9601(95)00092-HMR1322452SirendaorejiJiongS.Auxiliary equation method for solving nonlinear partial differential equations20033095-638739610.1016/S0375-9601(03)00196-8MR1973036ZBL1011.35035ZhengG. B.LiuB.WangZ. J.ZhengS. K.Variational principle for nonlinear magneto-electroe-lastodynamics with finite displacement by He's semi-inverse method20091011-12152315262-s2.0-77950433476WazwazA. M.The tanh and the sine-cosine methods for compact and noncompact solutions of the nonlinear Klein-Gordon equation200516721179119510.1016/j.amc.2004.08.006MR2169760ZBL1082.65584WazwazA. M.New solitary wave solutions to the Kuramoto-Sivashinsky and the Kawahara equations200618221642165010.1016/j.amc.2006.06.002MR2282604ZBL1107.65094OlverP. J.19931072ndBerlin, GermanySpringerGraduate Texts in Mathematics10.1007/978-1-4612-4350-2MR1240056JimboM.MiwaT.Solitons and infinite dimensional lie algebras1983193943100110.2977/prims/1195182017KonopelchenkoB. G.DubrovskyV. G.Some new integrable nonlinear evolution equations in (2+1) dimensions19841021-2151710.1016/0375-9601(84)90442-0MR743722DubrovskyV. G.LisitsynY. V.The construction of exact solutions of two-dimensional integrable generalizations of Kaup-Kuperschmidt and Sawada-Kotera equations via ∂-dressing method2002295419820710.1016/S0375-9601(02)00154-8MR1926740DubrovskyV. G.TopovskyA. V.BasalaevM. Y.New exact solutions of two-dimensional integrable equations using the ∂-dressing method201116737257392-s2.0-7996010463910.1007/s11232-011-0057-3IbragimovN. H.1994–19961–3Boca Raton, Fla,USACRC PressBlumanG. W.KumeiS.198981New York, NY, USASpringerApplied Mathematical SciencesMR1006433LaxP. D.Integrals of nonlinear equations of evolution and solitary waves196821467490MR023531010.1002/cpa.3160210503ZBL0162.41103BenjaminT. B.The stability of solitary waves19723281573153183MR033858410.1098/rspa.1972.0074KnopsR. J.StuartC. A.Quasiconvexity and uniqueness of equilibrium solutions in nonlinear elasticity198486323324910.1007/BF00281557MR751508ZBL0589.73017LeVequeR. J.1992Basel, SwitzerlandBirkhäuser10.1007/978-3-0348-8629-1MR1153252GodlewskiE.RaviartP. A.1996Berlin, GermanySpringerMR1410987SjöbergA.Double reduction of PDEs from the association of symmetries with conservation laws with applications2007184260861610.1016/j.amc.2006.06.059MR2294874ZBL1116.35004BokhariA. H.Al-DweikA. Y.KaraA. H.MahomedF. M.ZamanF. D.Double reduction of a nonlinear (2+1) wave equation via conservation laws20111631244125310.1016/j.cnsns.2010.07.007MR2736631ZBL1221.35244CaraffiniG. L.GalvaniM.Symmetries and exact solutions via conservation laws for some partial differential equations of mathematical physics201221941474148410.1016/j.amc.2012.07.050MR2983857AncoS. C.BlumanG. W.Direct construction method for conservation laws of partial differential equations. Part I: examples of conservation law classifications200213554556610.1017/S0956792501004661MR1939160ZBL1034.35070GradshteynI. S.RyzhikI. M.20077thNew York, NY, USAAcademic PressMR2360010