
This article mainly uses two methods of solving the conservation laws of two partial differential equations and a system of equations. The first method is to construct the conservation law directly and the second method is to apply the Ibragimov method to solve the conservation laws of the target equation systems, which are constructed based on the symmetric rows of the target equation system. In this paper, we select two equations and an equation system, and we try to apply these two methods to the combined KdV-MKdV equation, the Klein-Gordon equation and the generalized coupled KdV equation, and simply verify them. The combined KdV-MKdV equation describes the wave propagation of bound particles, sound waves and thermal pulses. The Klein-Gordon equation describes the nonlinear sine-KG equation that simulates the motion of the Josephson junction, the rigid pendulum connected to the stretched wire, and the dislocations in the crystal. And the coupled KdV equation has also attracted a lot of research due to its importance in theoretical physics and many scientific applications. In the last part of the article, we try to briefly analyze the Hamiltonian structures and adjoint symmetries of the target equations, and calculate their linear soliton solutions.
Citation: Long Ju, Jian Zhou, Yufeng Zhang. Conservation laws analysis of nonlinear partial differential equations and their linear soliton solutions and Hamiltonian structures[J]. Communications in Analysis and Mechanics, 2023, 15(2): 24-49. doi: 10.3934/cam.2023002
[1] | Sixing Tao . Lie symmetry analysis, particular solutions and conservation laws for the dissipative (2 + 1)- dimensional AKNS equation. Communications in Analysis and Mechanics, 2023, 15(3): 494-514. doi: 10.3934/cam.2023024 |
[2] | Antoine Bendimerad-Hohl, Ghislain Haine, Laurent Lefèvre, Denis Matignon . Stokes-Lagrange and Stokes-Dirac representations of $ N $-dimensional port-Hamiltonian systems for modeling and control. Communications in Analysis and Mechanics, 2025, 17(2): 474-519. doi: 10.3934/cam.2025020 |
[3] | Sergey A. Rashkovskiy . Quantization of Hamiltonian and non-Hamiltonian systems. Communications in Analysis and Mechanics, 2023, 15(2): 267-288. doi: 10.3934/cam.2023014 |
[4] | Cheng Yang . On the Hamiltonian and geometric structure of Langmuir circulation. Communications in Analysis and Mechanics, 2023, 15(2): 58-69. doi: 10.3934/cam.2023004 |
[5] | Andrea Brugnoli, Ghislain Haine, Denis Matignon . Stokes-Dirac structures for distributed parameter port-Hamiltonian systems: An analytical viewpoint. Communications in Analysis and Mechanics, 2023, 15(3): 362-387. doi: 10.3934/cam.2023018 |
[6] | Jinli Yang, Jiajing Miao . Algebraic Schouten solitons of Lorentzian Lie groups with Yano connections. Communications in Analysis and Mechanics, 2023, 15(4): 763-791. doi: 10.3934/cam.2023037 |
[7] | Tianfang Wang, Wen Zhang . Existence and concentration of homoclinic orbits for first order Hamiltonian systems. Communications in Analysis and Mechanics, 2024, 16(1): 121-146. doi: 10.3934/cam.2024006 |
[8] | Wang Xiao, Xuehua Yang, Ziyi Zhou . Pointwise-in-time $ \alpha $-robust error estimate of the ADI difference scheme for three-dimensional fractional subdiffusion equations with variable coefficients. Communications in Analysis and Mechanics, 2024, 16(1): 53-70. doi: 10.3934/cam.2024003 |
[9] | Henryk Żoła̧dek . An example in Hamiltonian dynamics. Communications in Analysis and Mechanics, 2024, 16(2): 431-447. doi: 10.3934/cam.2024020 |
[10] | Michal Fečkan, Shan Li, JinRong Wang . Discontinuous differential equation for modelling the Antarctic Circumpolar Current. Communications in Analysis and Mechanics, 2024, 16(4): 836-857. doi: 10.3934/cam.2024036 |
This article mainly uses two methods of solving the conservation laws of two partial differential equations and a system of equations. The first method is to construct the conservation law directly and the second method is to apply the Ibragimov method to solve the conservation laws of the target equation systems, which are constructed based on the symmetric rows of the target equation system. In this paper, we select two equations and an equation system, and we try to apply these two methods to the combined KdV-MKdV equation, the Klein-Gordon equation and the generalized coupled KdV equation, and simply verify them. The combined KdV-MKdV equation describes the wave propagation of bound particles, sound waves and thermal pulses. The Klein-Gordon equation describes the nonlinear sine-KG equation that simulates the motion of the Josephson junction, the rigid pendulum connected to the stretched wire, and the dislocations in the crystal. And the coupled KdV equation has also attracted a lot of research due to its importance in theoretical physics and many scientific applications. In the last part of the article, we try to briefly analyze the Hamiltonian structures and adjoint symmetries of the target equations, and calculate their linear soliton solutions.
In the study of differential equations in the past, the conservation law is undoubtedly a very important part, especially in terms of integrability and linearization. How to solve the conservation law of the equation has become a first problem to be faced [1,2,3,4,5]. Hence in this paper, we select three different types of differential equations and apply two different methods to solve the conservation laws of the partial differential equations.
The first method of calculating conservation laws does not require the equation to have variational conditions [6,7,8,9]. Its principle is to replace symmetry with the adjoint symmetry of a partial differential equation. Then the invariance condition on symmetry is replaced by the invariance condition on adjoint symmetry, and there is a direct explicit formula to calculate the multiplier and obtain the corresponding conservation law. In the calculation process, the adjoint invariance condition is replaced by an additional deterministic equation, and the determinant equation of the adjoint equation is expanded by writing an additional equation, thereby obtaining a linear deterministic equation system. If the adjoint symmetry of the equation is solved by this system, the multiplier that can be used to solve the conservation law is found.
The second part is to use a method to solve the conservation law of partial differential equations, which is actually a derivation of Norther's theorem [10,11,12,13,14]. In theory, Any Lie point, Lie-Bäcklund, and nonlocal symmetry can derive the corresponding conservation laws. In the last part of this paper, we briefly analyze the Hamiltonian structures and adjoint symmetries [15,16,17,18,19] of the selected equations, and calculate their linear soliton solutions by traveling wave transformation [20,21].
In this paper, we apply these methods to three nonlinear partial differential equations: the combined KdV-MKdV equation [22,23,24,25,26], the Klein-Gordon equation [27] and the generalized coupled KdV equations [28,29].
First we consider a system of partial differential equations with N independent variables u=(u1,…,uN) and n+1 independent variables (t,x), the forms are as follows:
Gi=∂uj∂t+gj(t,x,u,∂xu,…,∂mxu)=0,j=1,…,N | (2.1) |
with x derivatives of u up to some order m. And we can use ∂xu,∂2xu, etc. to represent all the derivatives of uj with respect to xi. We denote partial derivatives ∂∂t and ∂∂xi with x derivatives of u up to some order m. We denote partial derivatives ∂∂t and ∂∂xi by subscripts t and i respectively. And likewise, Dt and Di represent the total derivatives with respect to xi and t. We set
(Lg)jαVα=∂gj∂uαVα+∂gj∂uαiDiVα+⋯+∂gj∂uαi1⋯imDi1⋯imVα | (2.2) |
and we can let (L∗g) denote the adjoint operator defined by
(L∗g)jαWj=∂gj∂uαVα−Di(∂gj∂uαiWj)+⋯+(−1)mDi1⋯im(∂gj∂uαi1⋯imWj) | (2.3) |
acting on arbitrary functions Vα,Wj respectively. It is well known that the determining equation of the system (2.1) with respect to symmetric X=ηj∂∂uj is
Dtηj+(Lg)jαηα=0,j=1, ⋯,N | (2.4) |
for all solutions u(t,x) of Eqs. (2.1). The above decision equation can also be used to solve the higher order symmetry of the Eqs. (2.1), such as ηj(t,x,u,∂u,…,∂pu), where ∂ku denotes all kth order derivatives of u with respect to all independent variables t,x. And the adjoint of Eq. (2.4) is given by
−Dtωj+(L∗g)αjωα=0, j=1,⋯,N | (2.5) |
which is the determining equation for the adjoint symmetries ωj(t,x,u,∂u,…,∂pu) of the Eqs. (2.1). In general, solutions of the adjoint symmetry Eq. (2.5) are not solutions of the symmetry Eq. (2.4), and there is no interpretation of adjoint symmetries in terms of an infinitesimal generator leaving anything invariant. Then Let
Dt=∂t−((gj)∂uj+(Digj)∂uji+⋯) | (2.6) |
which is the total derivative with respect to t on the solution space of Eqs. (2.1) (In particular, Dt=Dt when acting on all solutions u(t,x).) Then the determining equations explicitly become
0=Dtηj+(Lg)jαηα=∂ηj∂t−(∂ηj∂uαgj+∂ηj∂uαiDigα+⋯+∂ηj∂uαi1⋯imDi1⋯Dimgα)+∂gα∂uαηα+⋯+∂gj∂uαi1⋯imDi1⋯Dimηα,j=1,…,N | (2.7) |
for ηj(t,x,u,∂xu,…,∂pxu) and
0=−Dtωj+(L∗g)αjωα=−∂ωj∂t+(∂ωj∂uαgj+∂ωj∂uαiDigα+⋯+∂ηj∂uαi1⋯imDi1⋯Dimgα)+∂gα∂uαωα+⋯+∂gj∂uαi1⋯imDi1⋯Dimωα,j=1,…,N | (2.8) |
for ωj(t,x,u,∂xu,…,∂pxu). The solutions of Eqs. (2.7) and (2.8) yield all symmetries and adjoint symmetries up to any given order p.
Definition 1 A local conservation law of PDE system (2.1) is a divergence expression
Dtϕt(t,x,u,∂xu,…,∂kxu)+Diϕi(t,x,u,∂xu,…,∂kxu)=0 |
for all solutions u(t,x) of Eqs. (2.1); ϕt and ϕi are called the conserved densities.
Definition 2 Multipliers for PDE system (2.1) are a set of expressions
λ1(t,x,u,∂xu,…,∂qxu),⋯,λN(t,x,u,∂xu,…,∂qxu) |
satisfying
(ujt+gj)λj=Dtϕt+Diϕi | (2.9) |
for some expression ϕt(t,x,u,∂xu,…,∂kxu) and ϕi(t,x,u,∂xu,…,∂kxu) for all functions u(t,x).
Obviously ϕt=Diθi and ϕi=−Dtθi+Djψij are trivial conservation laws of the system, for some erpressions θi(t,x,u,∂xu,…,∂k−1xu) and ψij(t,x,u,∂xu,…,∂qxu) with ψij=−ψji, i.e. satisfying
Dtϕt+Diϕi=Dt(Diθi)+(−Dtθi+Djψij)=0. | (2.10) |
The purpose of the following article is to calculate the corresponding conservation law multipliers based on differential equations. Next we consider Dtϕt+Diϕi and it is well konwn that
Dtϕt=∂ϕt∂t+∂ϕt∂ujujt+∂ϕt∂ujiujti+⋯+∂ϕt∂uji1⋯ikujti1…ik=∂tϕt+Lϕtujt |
where (Lϕt)j=(∂ϕt∂uj)+(∂ϕt∂ujt)Di+⋯+(∂ϕt∂uji1⋯ikDi1⋯Dik) denotes the linearization operator of ϕt. Then we can obtain
(Lϕt)jujt=(Lϕt)j(ujt+gj)−(Lϕt)jgj=(ujt+gj)ˆEuj−(Lϕt)jgj+DiΓi |
where Γi is given by an expression proportional to ujt+gj and where
ˆEuj=∂uj−Di∂uji+DiDj∂ujik+⋯ | (2.11) |
is a restricted Euler operator. So we have
Dtϕt=∂tϕt−(Lϕt)jgj+DiΓ+(ujt+gj)ˆEuj(ϕt). | (2.12) |
Then in order to ensure that the Eq. (2.10) holds, ∂tϕt−(Lϕt)jgj which involes ujt+gj must cancel Diϕi, so we have
Diϕi=−(∂tϕt−(Lϕt)jgj). | (2.13) |
Then after combining the expressions (2.12) and (2.13) we obtain
Dtϕt+Di(ϕi−Γi)=(ujt+gj)Λj | (2.14) |
with
Λj=ˆEuj(ϕt),j=1,⋯,N. |
Next, by solving the determination equation
Euj((ujt+gj)λj)=Euj(Dtϕt+Diϕi)=0 | (2.15) |
where
Euj=∂uj−Di∂uji−Dt∂ujt+DiDk∂ujik+DtDk∂ujik+⋯. |
Then this yeilds
0=Euj((ujt+gj)λj)=−DtΛj+(L∗g)αjΛα+(L∗Λ)jα(uαt+gα),j=1,…,N, | (2.16) |
where
(LΛ)jαVα=∂Λj∂uαVα+∂Λj∂uαiDiVα+⋯+∂Λj∂uαi1⋯ipDi1⋯DipVα | (2.17) |
and
(L∗Λ)jαWj=∂Λj∂uαWj−Di(∂Λj∂uαiWj)+⋯+(−1)pDi1⋯Dip(∂Λj∂uαi1⋯ipWj) | (2.18) |
acting on arbitrary functions Vα,Wj. And we know
Dt=Dt+(uαt+gα)∂uj+(uαti+Digα)∂upi+⋯ |
which yeilds DtΛj=DtΛj+(LΛ)jαGα. So by expansion (2.16), we can get
0=−DtΛj+(L∗g)αjΛα=−∂Λj∂t+(∂Λj∂uαgj+∂Λj∂uαiDigα+⋯+∂Λj∂uαi1⋯imDi1⋯Dipgα)+∂gα∂uαΛα+⋯+∂gj∂uαi1⋯imDi1⋯DimΛα,j=1,…,N. | (2.19) |
Then by comparing the coefficients of Gj,DiGj,…,Di1⋯DipGj, we can get the corresponding determining equations:
0=(−1)p+1∂Λj∂uji1⋯ip+∂Λα∂uji1⋯ip, | (2.20) |
0=(−1)q+1∂Λj∂uji1⋯iq+∂Λα∂uji1⋯iq−Cqq+1Diq+1∂Λα∂uji1⋯iq+1+⋯+(−1)p−qCqpDiq+1⋯Dip∂Λα∂uji1⋯ip,q=1,⋯,p−1, | (2.21) |
0=−∂Λj∂uj+∂Λα∂uj−Di∂Λα∂uji+⋯+(−1)pDi1⋯Dip∂Λα∂uji1⋯ip, | (2.22) |
j=1,⋯,N;α=1,⋯,N;q=1,⋯,p−1 |
where Cqr=r!q!(r−q)!. Then the expression of the corresponding multiplier Λj is obtained by solving the above decision equations. After obtaining the multiplier, we can solve the corresponding conservation law. Next, we introduce the theorem:
Theorem 2: For the differential equation system (2.1), the conserved densities of any nontrivial conservation law in normal form are given in terms of the multipliers by
ϕt=∫10dλ(uj−˜uj)Λj[uλ]+t∫10dλK(λt,λx), | (2.23) |
ϕi=xi∫10dλλnK(λt,λx)+∫10dλ(Si[u−˜u,Λ[uλ];g[uλ]]+Si[u−˜u,g[uλ−λg[u]+(1−λ)˜ut;Λ[uλ]]]) | (2.24) |
where
ujλ=λu+(1−λ)˜u,K(t,x)=(˜ujt+gj[˜u])Λj[˜u], |
Si[V,W;g]=m−1∑l=0m−l−1∑k=0(−1)k(Di1⋯DilVρ)Dj1⋯Djk(Wj∂gj∂ujii1⋯ikj1⋯jl),Si[V,W;Λ]=p−1∑l=0p−l−1∑k=0(−1)k(Di1⋯DilVρ)Dj1⋯Djk(Wj∂Λj∂ujii1⋯ikj1⋯jl). |
Firstly, we choose an equation named the combined KdV-MKdV equation and its form is as follows:
G=ut+αuux+βu2ux+uxxx=0 | (3.1) |
where α and β are arbitrary constants. And its symmetries with infinitesimal genertor Xu=η satisfies the determining equation
Dtη+αuxη+αuDxη+βu2Dxη+2βuuxη+D3xη=0 | (3.2) |
where Dt=∂t+ut∂u+utx∂ux+utt∂ut+⋯ and Dx=∂x+ux∂u+uxx∂ux+utx∂ut+⋯ are total derivative operators with respect to t and x. And the adjoint of Eq. (3.1) is given by
−Dtω−αuDxω−βu2Dxω−D3xω=0 | (3.3) |
when G=0, which is the determining equation for the adjoint symmetries ω of the cKMK(the combined KdV-MKdV equation) equation. Next, we calculate the conservation law multiplier of the equation, namely finding Λ, which satisfies
Dtϕt+Dxϕx=(ut+αuux+βu2ux+uxxx)Λ0+Dx(ut+αuux+βu2ux+uxxx)Λ1+⋯ | (3.4) |
with no dependence on ut and its differential consequences. This yields the multiplier
Dtϕt+Dx(ϕx−Γ)=(ut+αuux+βu2ux+uxxx)Λ,Λ=Λ0−DxΛ1+⋯ | (3.5) |
where Γ=0 when u is restricted to be a cKMK solution. Next we set Λ to be related to x,t,u,ux,uxx, the determing equation becomes
Eu(GΛ)=−DtΛ−αuDxΛ−βu2DxΛ−D3xΛ+ΛuG−Dx(ΛuxG)+D2x(ΛuxxG)=0. | (3.6) |
Then by comparing the coefficients of G and DiG, we can get the equation
0=−DxΛux+D2xΛux, | (3.7) |
0=Λux−DxΛuxx | (3.8) |
and we can notice that (3.7) is a differential consequence of (3.8). The highest coefficient in formula (3.8) is Λuxxuxxuxxx, and we know that Λ is not related to uxx. It yeilds Λuxxuxx=0, then Λ has the following form:
Λ=a(t,x,u,ux)uxx+b(t,x,u,ux). | (3.9) |
Then the remaining terms in formular (3.8), after some cancellations, are of first order
0=bux−auux−ax. | (3.10) |
Next we extract the coefficient of uxxxx in (3.6) and these yeild
Dxa=ax+auux+auxuxx=0 | (3.11) |
and a is not related with uxx, so we can obtain aux=0, namely a(t,x,u). Similarly, we can easily get
au=ax=0. | (3.12) |
According to (3.10), we can deduce that bux=0. We replace (3.9) into (3.6), then we can find the coefficient of uxxx, i.e.
−bu−αua−βu2a+bu+αua−βu2a=0 | (3.13) |
and the coefficient of uxx is
−3uxbuu−3bxu+3(αa+2βua−buu)ux=0. | (3.14) |
It yeilds that buu=αa+2βua, at=−3bxu. Hence we have
b=αa(t)2u2+13βa(t)u3+c(x,t)u+b2(x,t) | (3.15) |
from (3.14) and
bxu=c′=−13at. | (3.16) |
We can obtain the form of b(x,t,u):
b=α2au2+13βau3+(b1(t)−13atx)u+b2(x,t). | (3.17) |
Then Λ has the form:
Λ=a(t)uxxx+b(t,x,u)=a(t)uxx+α2au2+13βau3+(b1(t)−13atx)u+b2(x,t). | (3.18) |
Then after taking (3.18) back into the decision Eq. (3.6), we can get
−b2t−βu2b2x−ub1t−b2xxx+ux3att−αu26at−αub2x=0. | (3.19) |
Then by comparing the coefficients of u and u2, we can obtain
b2t=−b2xxx,b1t−13xatt=αb2x,βb2x=−α6at, | (3.20) |
then solve them. We get the general forms of a(t),b1(t) and b2(x,t)
a=−6βc1αt+c3,b1=−αc1t+c4,b2=c1x+c2. | (3.21) |
So the general form of Λ is
Λ=(−6βc1αt+c3)uxx+α2(−6βc1αt+c3)+13βu3(−6βc1αt+c3)+(−αc1t+c4+2βc1αx)u+c1x+c2, | (3.22) |
where ci(i=1,2,3,4) are arbitrary constants. It yields that
Λ1=−6βαtuxx−3βtu2−2β2tu3α−αtu+2x2βuα,Λ2=1,Λ3=uxx+α2u2+β3u3,Λ4=u. | (3.23) |
Next, we find the conservation law ϕxi,ϕti according to Λi.
According to the Theorem.1, we can take ˜u=0 so that K=0. So we have
ϕt=∫10dλ(uj)Λj[λu],ϕi=∫10dλ(Si[u,Λ[λu];g[λu]]+Si[u,g[λu]−λg[u];Λ[λu]]). | (3.24) |
Firstly, for Λ1,
ϕt1=∫10dλuΛ(t,x,λx,λ∂xu,λ∂2xx,…)=∫10−6βαtuuxxλ−3βtu3λ2−2β2tu4αλ3−αtu+2x2βu2αλ dλ=−β2u4t2α−βu3t+12(−6βtuuxxα−αtu2+2xβu2α)+xu | (3.25) |
and similarly, the ϕx1 has the following form:
ϕx1=∫10dλ(Sx[u,Λ[λu];g[λu]]+Sx[u;g[λu]−λg[u];Λ[λu]])=∫10uΛ[λu](αλu+βλ2u2)+uD2xΛ[λu]−uxDxΛ[λu]+uxxΛ[λu]+ux(g[λu]−λg[u])(−6βtα)−uDx((g[λu]−λg[u])(−6βtα))=−β3tu63α−β2tu5+xβ2u42α−βtu4α−5u3β2tu33+xβu3−6u2βtuxx+uβuxα−xβu2xα−3uβtuxxxxα+3uxβtuxxxα−3β2tu2xu2α−αutuxx−3βtu2xxα+αxu22+αtu2x2+2uxβuxxα+xuxx−ux. | (3.26) |
We can simply verify that
Dxϕx1+Dtϕt1=(−2β2u3tαt−αtu+2xβuα−3u2βt+x−αtu−3βtuxxα+αu2)G−3uβtαD2xG=0 | (3.27) |
when u is a solution of G.
And for Λ2=1, the we can easily obtain
ϕt2=∫10dλuΛ(t,x,λx,λ∂xu,λ∂2xx,…)=∫10udλ=u,ϕx2=∫10dλ(Sx[u,Λ[λu];g[λu]]+Sx[u;g[λu]−λg[u];Λ[λu]])=∫10λαu2+βλ2u3+uxx dλ=α2u2+β3u3+uxx. | (3.28) |
We can also verify that
Dxϕx2+Dtϕt2=G=0 | (3.29) |
when u is a solution of G. Identically
ϕt3=∫10λuuxx+α2u3λ2+β3u4λ3 dλ=12uuxx+α6u3+β12u4,ϕx3=∫10dλ(Sx[u,Λ[λu];g[λu]]+Sx[u;g[λu]−λg[u];Λ[λu]])=β218u6+αβ6u5+5β6u3uxx+α2u48+u2uxxα+u2u2xβ2+u2xx2−uxuxxx2+uuxxxx2 | (3.30) |
for Λ3=uxx+α2u2+β3u3. We can verify it by
Dxϕx3+Dtϕt3=(u2)D2xG+(β3u3+uxx2+α2u2)G=0 | (3.31) |
when u is a solution of G.
The last one is Λ4=u,
ϕt4=∫10λu2dλ=u22,ϕx4=∫10λu2(αλu+βλ2u2)+u(λuxx)−uxλux+uxxλu dλ=α3u3+β4u4−u2x2+uuxx. | (3.32) |
Then we can easily obtain
Dxϕx4+Dtϕt4=uG=0 |
when u is a solution of G.
We choose the Klein-Gordon equation as the second equation to study and it has the following form:
utt−uxx+αu+βu3=0. | (3.33) |
It is obvious that its self-adjoint and the determing equation for its symmetries with infinitesimal generator Xu=η and the adjoint of it is all
D2tη−D2xη+αη+3βu2η=0. | (3.34) |
We set the Λ has the expression Λ(t,x,u,ux,ut). Then the determining equation for the conservation law multiplier is
0=Eu((utt−uxx+αu+βu3)Λ)=D2tΛ−D2xΛ+αΛ+3βu2Λ+Λu(utt−uxx+αu+βu3)−Dx(Λux(utt−uxx+αu+βu3))−Dt(Λut(utt−uxx+αu+βu3)). | (3.35) |
By comparing the coefficient of G, we can sort out two determining equations:
D2tΛ−D2xΛ+αΛ+3βu2Λ=0, | (3.36) |
2Λu+DtΛut−DxΛux=0 | (3.37) |
where Dt=Λt+utΛu+uxtΛux+(uxx−αu−βu3)Λut. We start from the Eq. (3.37) and it yeilds
2Λu+Λtut+utΛuut+(uxx−αu−βu3)Λutut−Λxux−uxΛuux−uxxΛuxux=0 | (3.38) |
and since Λ does not contain uxx, we can seperat it from Eq.(3.38)
Λutut=Λuxux, | (3.39) |
2Λu+Λtut+utΛuut+(−αu−βu3)Λutut−Λxux−uxΛuux=0. | (3.40) |
Then we deal with (3.36). It is easy to verify that the coefficients of uxxx and uxxt are 0. So we consider the coefficient of the second order uxx and uxt, i.e.
−2uxΛuux−2Λxux+2Λtut+2utΛuut−2αuΛutut−2βu3Λutut=0 | (3.41) |
and from (3.36) we can get
−4Λu=0 | (3.42) |
and the coefficient of uxt is
−2Λxut+2Λtut+2(−α−βu3)Λutux=0. | (3.43) |
Then by solving the four equations (3.39), (3.40), (3.42) and (3.43) simultaneously, we can obtain the general form of the multiplier
Λ=(−ut+ux)f1(t−x)+(ut+ux)f2(t+x)+c1ut+d(x,t) | (3.44) |
where f1(t−x) is any function related to t−x, f2(t+x) is any function related to t+x, c1 is an arbitrary constant and d(x,t) is any function related to x,t. Next, we substitute the multiplier into (3.38), and compare the coefficients of uxx,uxt. We can get
2f′1αu+2f′1βu3+3u2dβ−dxx+αd−2u3f′2β−2uf′2α+dtt=0. | (3.45) |
We can obtain
f′1=f′2,d=0. |
We can take their simplest form for f1 and f2,
f1=c2(t−x)+c3,f2=c2(t+x)+c4 | (3.46) |
where ci(i=1,2,3,4) are arbitary constants. Therefore, the general form of multiplier is
Λ=(−ut+ux)(c2(t−x)+c3)+(ut+ux)(c2(t+x)+c4)+c1ut. | (3.47) |
It yeilds that
Λ1=ut,Λ2=2tux+2xut,Λ3=−ut+ux,Λ4=ut+ux. | (3.48) |
Next we solve the conservation law with the formula
ϕt=∫10dλ(uj−u0)Λj[uλ],ϕi=∫10dλ(Si[u−u0,Λ[uλ];g[uλ]]+Si[u,g[uλ]−λg[u];Λ[uλ]]) | (3.49) |
and we choose ˜u=u0 which is a constant and K=0. Then we can obtain that
ϕt1=∫10utΛ[λu+(1−λ)u0]+(u0−u)DtΛ[λu+(1−λu0)]dλ=∫10utλut+(u0−u)Dtλut dλ=12u2t−12(u−u0)(uxx−αu−βu3),ϕx1=u−u02uxt−uxut2 | (3.50) |
for multiplier Λ1.
ϕt2=∫10ut(2tλux+2xλut)−(u−u0)Dt(2λtux+2xλut) dλ=tuxut+xu2t−(u−u0)(tuxt+ux+xuxx−αxu−βxu3),ϕx2=u0u3βt+tuαu0−αtu20−t2βu40−tβ2u4+tuxx(u−u0)+xuxt(u−u0)−uxxut+uut−u0ut−tu2x | (3.51) |
for multiplier Λ2.
ϕt3=∫10ut(−λut+λux)−(u−u0)Dt(−λut+λux) dλ=−12u2t+12uxut−(u−u0)(−12uxx+12αxu+β2xu3+12uxt),ϕx3=u32βu0+u2αu0+uxx2(u−u0)−uxt2(u−u0)−u2x2+uxut2−β6(u4+u40)−αu202 | (3.52) |
for multiplier Λ3.
ϕt4=∫10ut(λut+λux)−(u−u0)Dt(λut+λux) dλ=12u2t+12uxut−(u−u0)(12uxx−12αxu−β2xu3+12uxt),ϕx4=u32βu0+u2αu0+uxx2(u−u0)+uxt2(u−u0)−u2x2−uxut2−β6(u4+u40)−αu202 | (3.53) |
for multiplier Λ4.
In the third example we try to apply to a multi-potential differential equation system and we choose the generalized coupled KdV equation. It has the form as follows:
{ut−14uxxx−3uux+6vvx−3ωx=0,vt+3uvx+12vxxx=0,ωt+3uωx+12ωxxx=0. | (3.54) |
The famous KdV equation is considered to be one of the most important equations in the theory of integrable systems. It gives multiple soliton solutions with infinite number of conservation laws, double Hamiltonian structures, Lax pairs and many other physical properties. The coupled KdV equation has attracted a lot of research due to its importance in theoretical physics and many scientific applications. According to the formula (2.2) and (2.3), we can obtain by calculation
(L)11v1=−3uxv1−3uDxv1−14D3xv1,(L)12v2=6vvxv2+6vxv2,(L)13v3=−3Dxv3,(L)21v1=3vxv1,(L)22v2=3uDxv2+12D3xv2,(L)23v3=0,(L)31v1=3ωxv1,(L)32v2=0,(L)33v3=3uDxv3+12D3xv3 | (3.55) |
and we can also obtain the adjoint form of them
(L∗)11ω1=14D3xω1+3uDxω1,(L∗)12ω1=−6vDxω1,(L∗)13ω1=3Dxω1,(L∗)21ω2=3vxω2,(L∗)22ω2=−12D3xω2−3uDxω2−3uxω2,(L∗)31ω3=3ωxω3,(L∗)32ω1=0,(L∗)33ω3=−12D3xω3−3uDxω3−3uxω3. | (3.56) |
We set Dt=∂t−(g1∂u+g2∂v+g3∂ω)+⋯, where g1=−14uxxx−3uux+6vvx−3ωx,g2=3uvx+12vxxx,g3=3uωx+12ωxxx. Then we will try to calculate the form Λ(t,x,u,ux,uxx), and u means u,v,ω. The determing equations according to (2.16) become
0=Eu(utΛ1+g1Λ1+vtΛ2+g2Λ2+ωtΛ3+g3Λ3)=−DtΛ1+(L∗g)ρ1Λρ+(L∗Λ)1ρ(uρt+gρ). | (3.57) |
The specific forms are
−DtΛ1+14D3xΛ1+3uDxΛ1+3vxΛ2+3ωxΛ3+(∂Λ1∂uG1−Dx(∂Λ1∂uxG1)+D2x(∂Λ1∂uxxG1)) | (3.58) |
+(∂Λ2∂uG2−Dx(∂Λ2∂uxxG2)+D2x(∂Λ2∂uxxG2))+(∂Λ3∂uG3−Dx(∂Λ3∂uxxG3)+D2x(∂Λ3∂uxxG3))=0,−DtΛ2−6vDxΛ1−12D3xΛ2−3uxDxΛ2−3uxΛ2+(∂Λ1∂vG1−Dx(∂Λ1∂vxG1)+D2x(∂Λ1∂vxxG1)) | (3.59) |
+(∂Λ2∂vG2−Dx(∂Λ2∂vxxG2)+D2x(∂Λ2∂vxxG2))+(∂Λ3∂vG3−Dx(∂Λ3∂vxxG3)+D2x(∂Λ3∂vxxG3))=0,−DtΛ3+3DxΛ1−12D3xΛ3−3uxDxΛ3−3uxΛ3+(∂Λ1∂ωG1−Dx(∂Λ1∂ωxG1)+D2x(∂Λ1∂ωxxG1))+(∂Λ2∂ωG2−Dx(∂Λ2∂ωxxG2)+D2x(∂Λ2∂ωxxG2))+(∂Λ3∂ωG3−Dx(∂Λ3∂ωxxG3)+D2x(∂Λ3∂ωxxG3))=0. | (3.60) |
Then by comparing the coefficients of the derivative of G, we can separate the following determining equations:
−DtΛ1+14D3xΛ1+3uDxΛ1+3vxΛ2+3ωxΛ3=0, | (3.61) |
−DtΛ2−6vDxΛ1−12D3xΛ2−3uDxΛ2−3uxΛ2=0, | (3.62) |
−DtΛ3+3vxDxΛ1−12D3xΛ3−3uDxΛ3−3uxΛ3=0, | (3.63) |
−∂Λ1∂vxx+∂Λ2∂uxx=0,−∂Λ1∂ωxx+∂Λ3∂uxx=0,−∂Λ3∂vxx+∂Λ2∂ωxx=0, | (3.64) |
2∂Λ1∂ux−2Dx∂Λ1∂uxx=0,2∂Λ2∂vx−2Dx∂Λ2∂vxx=0,2∂Λ3∂ωx−2Dx∂Λ3∂ωxx=0, | (3.65) |
∂Λ1∂vx+∂Λ2∂ux−2Dx∂Λ2∂uxx,∂Λ1∂ωx+∂Λ3∂ux−2Dx∂Λ3∂uxx=0,∂Λ2∂ωx+∂Λ3∂vx−2Dx∂Λ3∂vxx=0, | (3.66) |
∂Λ2∂ux+∂Λ1∂vx−2Dx∂Λ1∂vxx=0,∂Λ3∂ux+∂Λ1∂ωx−2Dx∂Λ1∂ωxx=0,∂Λ3∂vx+∂Λ2∂ωx−2Dx∂Λ2∂ωxx=0, | (3.67) |
−Dx∂Λ1∂ux+D2x∂Λ1∂uxx=0,−Dx∂Λ2∂vx+D2x∂Λ2∂vxx=0,−Dx∂Λ3∂ωx+D2x∂Λ3∂ωxx=0, | (3.68) |
−∂Λ1∂v+Λ2∂u−DxΛ2∂ux+D2x∂Λ2∂uxx=0,−∂Λ1∂ω+Λ3∂u−DxΛ3∂ux+D2x∂Λ3∂uxx=0, | (3.69) |
−∂Λ2∂u+Λ1∂v−DxΛ1∂vx+D2x∂Λ1∂vxx=0,−∂Λ3∂u+Λ1∂ω−DxΛ1∂ωx+D2x∂Λ1∂ωxx=0, | (3.70) |
−∂Λ2∂ω+Λ3∂v−DxΛ3∂vx+D2x∂Λ3∂vxx=0,−∂Λ3∂v+Λ2∂ω−DxΛ2∂ωx+D2x∂Λ2∂ωxx=0. | (3.71) |
By the formula (3.65) we can know that the hignest coefficient of it is Λ1uxxuxxuxxx, and Λ1 is not related with uxxx, so we obtain Λ1uxxuxx=0,
Λ1=k1(t,x,u,ux,vxx,ωxx)uxx+b1(t,x,u,ux,vxx,ωxx). | (3.72) |
Similarly, we can get
Λ2=k2(t,x,u,ux,uxx,ωxx)vxx+b2(t,x,u,ux,uxx,ωxx),Λ3=k3(t,x,u,ux,uxx,vxx)ωxx+b3(t,x,u,ux,uxx,vxx) | (3.73) |
and accoring to the formula (3.66), we can obtain
Λ2uxxuxx=0,Λ3uxxuxx=0,Λ1vxxvxx=0,Λ1ωxxωxx=0,⋯ |
and since the formula (3.64), we have ∂Λ1∂vxx=∂Λ2∂uxx.
Then the genreal forms of the multiplicators become
Λ1=a1(x,t,u,ux)uxx+a2(x,t,u,ux)vxx+a3(x,t,u,ux)ωxx+b1(x,t,u,ux),Λ2=a2(x,t,u,ux)uxx+a4(x,t,u,ux)vxx+a5(x,t,u,ux)ωxx+b2(x,t,u,ux),Λ3=a3(x,t,u,ux)uxx+a5(x,t,u,ux)vxx+a6(x,t,u,ux)ωxx+b3(x,t,u,ux). | (3.74) |
Then we start from formula (3.65), and according to the remaining items we can get
a1uxuxx+a2uxvxx+a3uxωxx+b1ux−(a1x+a1uux+a1uxuxx)=0. | (3.75) |
According to its uxxxx coefficient of the formula (3.61), we have
14(3uxa1u+3a1x+bux+4uxxa1ux−Λ1ux)=0, | (3.76) |
then it yeilds 3Dxa1−a2uxvxx−a3uxωxx=0, so we get a2ux=a3ux=a1ux=a1u=a1x=0. Similiarly according to the forlumas (3.62) and (3.63), finally we obtain the expressions ai(t),i=1,⋯,6. Then we calculate from formula (3.75), we have b1ux=0, similarly, b2vx=b3ωx=0. Accoring to the formula (3.66), we get
b1vx+b2ux=0,b2ωx+b3vx=0,b1ωx+b3ux=0,b3vx+b2ωx=0,b2ux+b1vx=0,b3ux+b1ωx=0. | (3.77) |
We can take the simplest forms, i.e. b1, b2, b3 are not related with ux. Then let us start with the formula (3.58). The coefficient of uxxx is 3ua1−3ua1+14bu−14bu=0, and the coefficient of uxx is
14(3buω+3uxbuu+3vxbuv+3bxu)+3vxa2+3ωxa3−a′(t)−9a1ux+3a2vx+3a3ωx=0. | (3.78) |
Since a1,a2,a3 don't contain ux,vx,ωx, we obtain
34buω+6a3=0,34buv+6a2=0,34buu−9a1=0,34bxu=a′(t). | (3.79) |
So we have
b1=6a1u2+cu+d(x,t,v,ω) |
and since b1uv=−8a2, we get cv=−8ax. It yeilds c=−8a2v+d′, since ∂d∂ω=−8a3.
We can denote it by
b1=6a1u2−8a2uv−8a3uω+43a1tx+p1(t)u+p2(x,t,v,ω). | (3.80) |
And according to the formula (3.62), the coefficient of vxx is
−12(3b2xv+3vxb2vv+3ωxb2vω+3uxb2uv)−3uxa4−a′4(t)+18vxa2+6uxa4. | (3.81) |
It yeilds that
−32b2vv+18a2=0,b2vω=0,−32b2uv+3a4=0,−32b2xv=a′4(t). | (3.82) |
We can calculate the expression
b2=−6a2v2+2a4uv−23a′4xv+q1(t)+q2(x,t,u,ω). | (3.83) |
Similarly, in the formula (3.63), the coffecient of ωxx is
−12(3b3xω+3vxb3ωω+3uxb3uω)−3uxa6. | (3.84) |
It yeilds that
b3vω=0,−32b3uω+3a6=0,b3ωω=0,−32bxω=a′6(t). | (3.85) |
Then we can calculate the expression
b3=2a6uω−23a′6xω+r1(t)ω+r2(x,t,u,v). | (3.86) |
Then the general forms become
Λ1=a1(t)uxx+a2(t)vxx+a3(t)ωxx+6a1u2−8a2uv−8a3uω+(43a1tx+p1(t))u+p2(x,t,v,ω),Λ2=a2(t)uxx+a4(t)vxx+a5(t)ωxx−6a2v2+2a4uv−23a′4xv+q1(t)v+q2(x,t,u,ω),Λ3=a3(t)uxx+a5(t)vxx+a6(t)ωxx+2a6uω−23a′6xω+r1(t)ω+r2(x,t,u,v). | (3.87) |
And according to the formula (3.61), the coefficient of vxxxxx is (14−12)a2=0, so we obtain a2=0. Similarly, we also get a3=0. Then we separated the coefficient of uxx of the formula (3.61):
14(3bxu+3uxbuu+3vxbuv+3ωxbuω)−a′1(t)−9a1ux=0, | (3.88) |
and it yeilds that
buv=0,buω=0,34bxu=a′1(t),34buu=9a1(t). |
According to the coefficients of ωxxx:34p2ω=3a1(t)=0, vxxx:34p2v=−6a1(t)v=0, vxvxx:3a4+12a1=0, vxωxx:3a5=0, ωxvxx:3a5=0, ωxωxx:3a6=0. We obtain that p2=4a1(t)ω, p2=−4a1(t)v2, a5=a6=0, a4=−4a1(t). And the coefficient of vvx is
16a′1x+12ua1+3q1+6p1=0. | (3.89) |
It yeilds that a1(t)=0. The remaining coefficients of the formula (3.61) can be separated into three equations for the coefficients of vx and ωx:
−p1t+3p2x=0,3q2+12ua1v+3q1v+6p1v=0,3r2−3p1−2a′6xω−12a1u+3r1ω=0. | (3.90) |
They yeild that
c=−p2t+p2xxx4,q2=−4a1uv−q1v−2p1v,r2=p1+23a′6xω+4a1u−r1ω. | (3.91) |
Let us bring back them into the formulas (3.61), (3.62), (3.63), the remaining items of them can be separated into four equations
{3p2x−p1t=0,−p2t+p2xxx4=0,2p1t=6p2x,−p1t+3p2x=0. | (3.92) |
By solving the equations, we can get
p1(t)=3c1t+c3,p2(x,t)=c1x+c2. | (3.93) |
Then we get the genreal form of Λi,i=1,2,3.
Λ1=a1uxx+6a1u2+(3c1t+c3)u+4a1ω−4a1v2+c1x+c2,Λ2=−4a1vxx−8a1uv−2(3c1t+c3)v,Λ3=3c1t+c3+4a1u. | (3.94) |
They yeild that
Λ11=uxx+6u2+4ω−4v2,Λ12=−4vxx−8uv,Λ13=4u.Λ21=3ut+x,Λ22=−6tv,Λ23=3t.Λ31=1,Λ32=0,Λ33=0.Λ41=u,Λ42=−2v,Λ43=1. | (3.95) |
Then we can solve the conservation laws ϕt,ϕx by multipliers according to (2.23), (2.24)
ϕt1=∫10uΛ11[λu]+vΛ12[λu]+ωΛ13[λu] dλ=∫10u(λuxx+6u2λ12+4ωλ−4v2λ2)+v(−4λvxx−8λ2uv)+ω(4λu) dλ=−12u2x+2u3+2ωu−43v2u−2v2x−83uv2+2ωu,ϕx1=∫10dλ(Sx[u,Λ[λu];g[λu]]+Sx[u;g[λu]−λg[u];Λ[λu]])=u(Λ11(−3λu))+u4D2xΛ1+v(6λvΛ11+3λuΛ22)+vΛ122+ω(−3Λ11+3λuΛ13)+ωΛ132+14uxDxΛ11−12vxDxΛ12−12ωxDxΛ13−14uxxΛ11+12vxxDxΛ12+12ωxxΛ13−uDx(g1[λu]−λg1[u])+4vDx(g2[λu]−λg2[u])+ux(g1[λu]−λg1[u])−4vxg2[λu]−λg2[u]=−6ω2−6v4−7vxxuv+ωxux+ωu+vxvxxx−7uxvvx3+3uxxuux8−3uxxvvx4+3uωx2−v2xx+uuxxxx8−vvxx−3ωuxx2+uxuxxx8+uxxuxxx32+3uxxωx8−3uxω2+6u2v2−u2uxx2−6u2ω+2uu2x+2v2uxx+12v2ω−4v2u3+11v2xu3−92u4 | (3.96) |
for Λ11,Λ12,Λ13.
ϕ2t=32u2t+ux−3tv2+3ωt,ϕ2x=−9u3t2−3u2x2+3xv2−9ωtu2+uxxuxxx32+3uxxuux8−3uxxvvx4+3uxxωx8+3utuxx4−3tv2−3xω+3ωt2+3tu2x4+ux4−3tvvxx+3ωxxt2 | (3.97) |
for Λ21,Λ22,Λ23.
ϕ3t=u,ϕ3x=−3u22+3v2+uxxuxxx32+3uxxuux8−3uxxvvx4+3uxxωx8−3ω | (3.98) |
for Λ31,Λ32,Λ33.
ϕ4t=u22−v2+ω,ϕ3x=−3u32−3ωu2+uxxuxxx32+3uxxuux8+3uxxωx8+uuxx4−v2+ω2+u2x4+v2x−vvxx+ωxx2−3uxxvvx4 | (3.99) |
for Λ41,Λ42,Λ43.
In this part we try to solve the equation by Ibragimov method to obtain the conservation laws. Firstly, we introduce a theorem:
Theorem 2. Any Lie point, Lie-Bäcklund, and nonlocal symmetry
X=ξi(x,u,u(1),…)∂∂xi+ηα(x,u,u(1),…)∂∂uα |
leads to the conservation law Di(Ci)=0, i.e.
Ci=ξiL+Wα[∂L∂uαi−Dj(∂L∂uαij)+DjDj(∂L∂uαijk)−⋯]+Dj(Wα)[∂L∂uαij−Dk(∂L∂uαijk)+⋯]+DjDk(Wα)[∂L∂uαijk−⋯]+⋯ | (4.1) |
where
L=m∑i=1viFi(x,u,u(1),…,u(s)),Wα=ηα−ξjuαj,α=1,...,m. |
By using maple, we can obtain some symmetries of the target equations. Firstly, for the combined KdV-MKdV equation (3.1), it has
X1=∂∂t,X2=∂∂x,X3=(x3−α2t6β)∂∂x+t∂∂t+(−2βu−α6β)∂∂u. | (4.2) |
We choose X=(x3−α2t6β)∂∂x+t∂∂t+(−2βu−α6β)∂∂u as the symmetry used to calculate the conservation laws. According to the formula (4.1), we have
W=−2βu−α6β−(x3−α2t6β)ux−tut. |
And we note L=v(ut+αuux+βu2ux+uxxx). Then the conservation laws calculated directly become
Cx=(x3−α26βt)L+W(αuv+βu2v+vxx)+DxW(−vx)+D2xW(v)=−α2vtut6β−uvxx3+2vxux3−vuxx−αu2v2−βu3v3−αvxx6β−uxxvxx3−tutvxx+vxuxxx3+vxtuxt−vtuxxt+vxut3−α2uv6β+α2uxtvxx6β−αtutuv−βtutu2v−α2vxxuxxt6β,Ct=tL+Wv=αtuxuv+βuxtu2v+vtuxxx−uv3−αv6β−vxux3+α2vuxt6β. | (4.3) |
We can simply verify it:
DxCx+DtCt=(−α6β−u3)(ut+αuux+βu2ux+uxxx)=0 | (4.4) |
when u is a solution of Eq. (3.1) and v=−u.
Similarly, for the Klein-Gordon equation (3.33), it has symmetries which are as follows:
X1=∂∂t,X2=∂∂x,X3=t∂∂x+x∂∂t | (4.5) |
and we choose X=t∂∂x+x∂∂t as the symmetry to compute conservation law.
Cx=tL+W(−vx)+DxWv=vtutt−2uxxvt+αtuv+βvtu3+tuxvx+xutvx−vut−vxuxt,Ct=xL+W(−vt)+vDxW=βxvu3+αxuv−xvuxx−vutxt+tvtux+xutvt−vux | (4.6) |
where L=v(utt−uxx+αu+βu3),W=−tux−xut.
At last, we consider the generalized coupled KdV equation (3.54), it has the symmetries which are as follows:
X1=∂∂t,X2=∂∂x,X3=∂∂ω,X4=v∂∂ω+12∂∂v,X5=x3∂∂x+t∂∂t−4ω3∂∂ω−2u3∂∂u−2v3∂∂v | (4.7) |
and we choose X=x3∂∂x+t∂∂t−4ω3∂∂ω−2u3∂∂u−2v3∂∂v as the symmetry to compute conservation law. We can calculate that
L=v1(ut−14uxxx−3uux+6vvx−3ωx)+v2(vt+3uvx+12vxxx)+v3(ωt+3uωx+12ωxxx),W1=−2u3−xux3−tut,W2=−2v3−xvx3−tvt,W3=−4ω3−xωx3−tωt. | (4.8) |
Then the conservation law is
Cx=x3L+W1(−3uv1−14v1xx)+W2(6vv1+3uv2+12v2xx)+W3(−3v1+3uv3+12v3xx)+14DxW1v1x−12DxW2v2x−12DxW3v3x−14D2xW1v1+12D2xW2v2+12D2xW3v3=ωtv3x3−v3xxxωx6−v3xxtωt2−v1xxuxx12−v1xtuxt4+v1tuxxt4−v3tωxxt2v1xxxux12+v1xxtut4−2uv2v−v2xxxvx6−v2xxtvt2+3tv1ωt−4uv3ω+v2xxvxx6+v2xtvxt2−2v2vxx3+3v1utut−6vv1tvt−3uv2tvt−3uv3tωt+utv1x3+v3xxωxx6+v3xtωxt2−v2tvxxt2+vtv2x3−v3ωxx+2u2v1+v1xxu6−4v2v1−v2xxv3+4v1ω−2v3xxω3−v1xxux4+v2xvx2+5v3xωx6+v1uxx3,Ct=tL+W1v1+W2v2+W3v3=−tv1uxxx4−3tv1uux+6tv1vvx−3tv1ωx+2tv2uvx+tv2vxxx2+3tv3uωx+tv3ωxxx2−2uv13−v1xux3−2v2xvx3−4v3ω3−v3xωx3. | (4.9) |
For the combined KdV and MKdV equation, We notice that it has a Hamiltonian formulation ut=−D(δHδu), where H=∫αu36+β12u4−12u2xdx is the Hamiltonian functional, and D=Dx is a Hamiltonian operator. Then since Dx is a Hamiltonian operator, it can map adjoint-symmetries into symmetries, so D−1x can map symmetries into adjoint-symmetries. And we can use the above symmetry to get the adjoint symmetry of some objective equations. Applying this latter operator to the scaling symmetries, we obtain the adjoint-symmetries:
Q1=D−1x(ut)=vt,Q2=D−1xux=u,Q3=D−1x(−2βu−α6β−(x3−α2t6β))ux−tut=−α6βx+α26βtu−xu3+αtu22+βtu33+tuxx | (5.1) |
where u=vx. In fact, the multiplier Λ calculated earlier in this paper is the adjoint symmetry of the variation of the objective equation.
Then for the Klein-Gordon equation, to obtain the Hamiltonian formulation, we transform the Eq. (3.33) into an equation system:
ut=v,vt=uxx−αu−βu3. | (5.2) |
The associated Hamiltonian formulation for this system is then given by
(uv)t=J(δHδuδHδω),J=(01−10) | (5.3) |
where H=∫v22+u2x2+α2u2+β4u4dx. We note that the determining equation of the objective equation and its self-adjoint determining equation is consistent:
D2tη−D2xη+αu+βu3=0. | (5.4) |
Hence, the symmetry of the equation is consistent with the adjoint symmetry.
A line soliton is a solitary travelling wave u=U(x−μt) in one dimension where the parameter μ means the speed of the wave. Then we study the conservation laws of the combined KdV and MKdV equation and the Klein-Gordon equation ϕt, ϕx which doesn't contain the variables t,x. Then the conservation law is obtained by reduction
Dt|u=U(ξ)=−μddξ,Dx|u=U(ξ)=ddξ,ξ=x−μt | (5.5) |
yielding
ddξ((ϕx−μϕt))=0. | (5.6) |
So (ϕx−μϕt)=C. Then we begin with the combined KdV and MKdV equation. Using the transformation u(x,t)=U(ξ), we can obtain the nonlinear ordinary differential equation:
−μU′+αUU′+βU2U′+U‴ | (5.7) |
for . Conservation laws (3.28), (3, 30), (3.32) do not contain the variables . When the first integral formula is applied to these three conservation laws, we obtain
(5.8) |
(5.9) |
(5.10) |
We impose the asymptotic conditions as Then we combine the formulas (5.8), (5.9) and (5.10), then we can calculate its general line soliton solutions:
(5.11) |
(5.12) |
where is an arbitrary constant.
Figure 1 and Figure 2 display the kinds of 3D plots of and determined by (5.11) and (5.12), and Figure 3 and Figure 4 display the kinds of density plots of them.
Then for the Klein Gordon equation, we make the transformation , we obtain an ODE:
(5.13) |
And we study the related conservation laws (3.50)-(3.53), only the formula (3.50) does not contain variables . We can obtain
(5.14) |
By calculating (5.14), we can get its soliton solution
(5.15) |
and the roots of where is arbitrary constant.
It is well known that the study of conservation laws is very important for studying the integrability of optimal systems. In this paper, two methods are used to solve three different types of partial differential equations and systems, namely the conservation laws of the combined KdV-MKdV equation, the Klein-Gordon equation and the generalized coupled KdV equation. And these two methods are widely applicable. It can be applied not only to the case of multiple independent variables, but also to the case of multiple dependent variables and differential equation systems. In fact, the multipliers obtained in this part of the direct construction of conservation laws are actually some adjoint symmetries of the equation with variational properties. And the linear soliton solutions of the equations can be analyzed by the obtained conservation law.
In fact, the two methods used in this paper to calculate the conservation law of equations have different advantages. The adjoint equation method proposed by Ibragimov can use the symmetry of the equation to calculate the conservation law through the explicit formula. It is convenient to calculate and does not require complex analysis. It has a wide range of applications, but the results are directly affected by the symmetry of the equation. The advantage of constructing conservation laws directly is that it is not necessary to use the variational symmetry of the equation. For a partial differential equation without variational symmetry, the adjoint symmetry of the equation is used to replace the symmetry. At this time, the adjoint symmetry satisfies the linear adjoint symmetry determining equations. The symmetry invariant condition is replaced by the adjoint symmetry invariant condition, and a formula using adjoint symmetry is given. However, this method is computationally complex and does not apply to any type of equation and equation system. Both methods can be naturally applied to higher dimensional differential equations and differential equation systems. This paper mainly integrates the two methods and applies them to different types of equations and equation systems. The examples in Anco's paper [6,7] basically apply the direct construction method to the (1+1) dimensional differential equations, and this paper attempts to apply the method to the equation system.
This work is supported by the National Natural Science Foundation of China (Grant No. 11971475).
The authors declare that they have no known competing financial interests.
[1] | G. Bluman, S. Kumei, Symmetries and Differential Equations, Springer New York, (1989). https://doi.org/10.1137/1032114 |
[2] |
G.Z. Tu, The trace identity, a powerful tool for constructing the hamiltonian structure of integrable systems, J. Math. Phys., 30 (1989), 330–338. https://doi.org/10.1063/1.528449 doi: 10.1063/1.528449
![]() |
[3] | P. J. Olver, Applications of Lie Groups to Differential Equations, Springer Science and Business Media New York, NY, (2012). https://doi.org/10.1016/0001-8708(88)90053-9 |
[4] |
S. San, A. Akbulut, Ö. Ünsal, F. Tascan, Conservation laws and double reduction of (2+1) dimensional Calogero-Bogoyavlenskii-Schiff equation, Math. Methods Appl. Sci., 40 (2017), 1703–1710. https://doi.org/10.1002/mma.4091 doi: 10.1002/mma.4091
![]() |
[5] |
F. Tascan, Ö. Ünsal, A. Akbulut, S. San, Nonlinear self adjointness and exact solution of fokas.olver.rosenau.qiao (forq) eqation, Commun. Fac. Sci. Univ. Ank. Ser. A1 Math. Stat., 67 (2018), 317–326. https://doi.org/10.1037/h0047923 doi: 10.1037/h0047923
![]() |
[6] |
S.C. Anco, G. Bluman, Direct construction method for conservation laws of partial differential equations Part I: Examples of conservation law classifications, Eur. J. Appl. Math., 13 (2002), 545–566. https://doi.org/10.1017/S095679250100465X doi: 10.1017/S095679250100465X
![]() |
[7] |
S.C. Anco, G. Bluman, Direct construction method for conservation laws of partial differential equations Part II: General treatment, Eur. J. Appl. Math., 13 (2002), 567–585. https://doi.org/10.1017/S0956792501004661 doi: 10.1017/S0956792501004661
![]() |
[8] |
S.C. Anco, G.Bluman, Direct construction of conservation laws from field equations, Phys. Rev. Lett., 78 (1997), 2869. https://doi.org/10.1103/PhysRevLett.78.2869 doi: 10.1103/PhysRevLett.78.2869
![]() |
[9] |
S.C. Anco, G. Bluman, Integrating factors and first integrals for ordinary differential equations, Eur. J. Appl. Math., 9 (1998), 245–259. https://doi.org/10.1017/S0956792598003477 doi: 10.1017/S0956792598003477
![]() |
[10] | N.H. Ibragimov, Nonlinear self-adjointness in constructing conservation laws, arXiv preprint arXiv, 1109.1728(2011). https://doi.org/10.1088/1751-8113/44/43/432002 |
[11] |
H.F. Wang, Y.F. Zhang, Self-adjointness and conservation laws of Burgers-type equations, Mod. Phys. Lett. B, 35 (2021), 2150161. https://doi.org/10.1142/S021798492150161X doi: 10.1142/S021798492150161X
![]() |
[12] |
N. H. Ibragimov, Integrating factors, adjoint equations and Lagrangians, J. Math. Anal. Appl, 318 (2006), 742–757. https://doi.org/10.1016/j.jmaa.2005.11.012 doi: 10.1016/j.jmaa.2005.11.012
![]() |
[13] |
N. H. Ibragimov, A new conservation theorem, J. Math. Anal. Appl., 333 (2007), 311. https://doi.org/10.1016/j.jmaa.2006.10.078 doi: 10.1016/j.jmaa.2006.10.078
![]() |
[14] |
N. H. Ibragimov, Conservation laws and non-invariant solutions of anisotropic wave equations with a source, Nonlinear Anal. Real World Appl., 40 (2018), 82. https://doi.org/10.1016/j.nonrwa.2017.08.005 doi: 10.1016/j.nonrwa.2017.08.005
![]() |
[15] |
S.C. Anco, B. Wang, A formula for symmetry recursion operators from non-variational symmetries of partial differential equations, Lett. Math. Phys., 111 (2021), 1–33. https://doi.org/10.1007/s11005-021-01413-1 doi: 10.1007/s11005-021-01413-1
![]() |
[16] |
S.C. Anco, Symmetry properties of conservation laws, Int. J. Mod. Phys. B, 30 (2016), 28–29. https://doi.org/10.1142/S0217979216400038 doi: 10.1142/S0217979216400038
![]() |
[17] |
X. Gu, W.X. Ma, On a class of coupled Hamiltonian operators and their integrable hierarchies with two potentials, Math. Methods Appl. Sci., 41 (2018), 3779–3789. https://doi.org/10.1002/mma.4864 doi: 10.1002/mma.4864
![]() |
[18] |
S. Manukure, Finite-dimensional Liouville integrable Hamiltonian systems generated from Lax pairs of a bi-Hamiltonian soliton hierarchy by symmetry constraints, Commun. Nonlinear Sci. Numer. Simul., 57 (2018), 125–135. https://doi.org/10.1016/j.cnsns.2017.09.016 doi: 10.1016/j.cnsns.2017.09.016
![]() |
[19] |
J.B. Zhang, Y. Gongye, W.X. Ma, The relationship between the conservation laws and multi-Hamiltonian structures of the Kundu equation, Math. Methods Appl. Sci., 45 (2022), 9006–9020. https://doi.org/10.1002/mma.8288 doi: 10.1002/mma.8288
![]() |
[20] |
S.C. Anco, M.L. Gandarias, E. Recio, Conservation laws, symmetries, and line soliton solutions of generalized KP and Boussinesq equations with p-power nonlinearities in two dimensions, Theor. Math. Phys., 197 (2018), 1393–1411. https://doi.org/10.1134/S004057791810001X doi: 10.1134/S004057791810001X
![]() |
[21] | A.P. Marquez, M.L. Gandarias, S.C. Anco, Conservation laws, symmetries, and line solitons of a Kawahara-KP equation, arXiv preprint arXiv, preprint, arXiv: 2211.03904. |
[22] |
C. Chen, Y.L. Jiang, Lie Group Analysis, Exact Solutions and New Conservation Laws for Combined KdV-mKdV Equation, Differ. Equ. Dyn. Syst., 28 (2020), 827–840. https://doi.org/10.1007/s12591-017-0351-0 doi: 10.1007/s12591-017-0351-0
![]() |
[23] |
T. Ak, S.B.G. Karakoc, A. Biswas, Application of Petrov-Galerkin finite element method to shallow water waves model: Modified Korteweg-de Vries equation, Sci. Iran., 24 (2017), 1148–1159. https://doi.org/10.24200/sci.2017.4096 doi: 10.24200/sci.2017.4096
![]() |
[24] |
S. B. G. Karakoc, A Quartic Subdomain Finite Element Method for the Modified KdV Equation, Stat. Optim. Inf. Comput., 6 (2018), 609–618. https://doi.org/10.19139/soic.v6i4.485 doi: 10.19139/soic.v6i4.485
![]() |
[25] | S. Battal, G. Karakoc, Numerical solutions of the modified KdV Equation with collocation method, Malaya J. Mat., (2018). https://doi.org/10.26637/MJM0604/0020 |
[26] |
T. Ak, S. B. G. Karakoc, A. Biswas, A New Approach for Numerical Solution of Modified Korteweg-de Vries Equation, Iran. J. Sci. Technol. Trans. Sci., 41 (2017), 1109–1121. https://doi.org/10.1007/s40995-017-0238-5 doi: 10.1007/s40995-017-0238-5
![]() |
[27] |
F. Mohammadizadeh, S. Rashidi, S.R. Hejazi, Space-time fractional Klein-Gordon equation: Symmetry analysis, conservation laws and numerical approximations, Math. Comput. Simul., 188 (2021), 476–497. https://doi.org/10.1016/j.matcom.2021.04.015 doi: 10.1016/j.matcom.2021.04.015
![]() |
[28] |
J. Satsuma, R.A. Hirota, A coupled KdV equation is one case of the four-reduction of the KP hierarchy, J. Phys. Soc. Jpn., 51 (1982), 3390–3397. https://doi.org/10.1143/JPSJ.51.3390 doi: 10.1143/JPSJ.51.3390
![]() |
[29] |
S.B.G. Karakoc, A. Saha, D. Sucu, A novel implementation of Petrov-Galerkin method to shallow water solitary wave pattern and superperiodic traveling wave and its multistability: Generalized Korteweg-de Vries equation, Chin. J. Phys., 68 (2020), 605-617. https://doi.org/10.1016/j.cjph.2020.10.010 doi: 10.1016/j.cjph.2020.10.010
![]() |
[30] |
Y.F. Zhang, Z. Han, H.W. Tam, An integrable hierarchy and Darboux transformations, bilinear Bäcklund transformations of a reduced equation, Appl. Math. Comput., 219 (2013), 5837–5848. https://doi.org/10.1016/j.amc.2012.11.086 doi: 10.1016/j.amc.2012.11.086
![]() |
[31] |
M.J. Ablowitz, P.A. Clarkson, Solitons, nonlinear evolution equations and inverse scattering, Cambridge university press, 149 (1991), 28–29. https://doi.org/10.1017/CBO9780511623998 doi: 10.1017/CBO9780511623998
![]() |
[32] |
H.W. Tam, Y.F. Zhang, An integrable system and associated integrable models as well as Hamiltonian structures, J. Math. Phys., 53 (2012), 103508. https://doi.org/10.1063/1.4752721 doi: 10.1063/1.4752721
![]() |
[33] |
A.V. Mikhailov, The reduction problem and the inverse scattering method, Phys. D, 3 (1981), 73–117. https://doi.org/10.1016/0167-2789(81)90120-2 doi: 10.1016/0167-2789(81)90120-2
![]() |
[34] |
H.Y. Zhang, Y.F. Zhang, Spectral analysis and long-time asymptotics of complex mkdv equation, J. Math. Phys, 63 (2022), 021509. https://doi.org/10.1063/5.0073909 doi: 10.1063/5.0073909
![]() |
[35] |
H.F. Wang, Y.F. Zhang, Two nonisospectral integrable hierarchies and its integrable coupling, Int. J. Theor. Phys., 59 (2020), 2529–2539. https://doi.org/10.1007/s10773-020-04519-9 doi: 10.1007/s10773-020-04519-9
![]() |
[36] |
X.N. Gao, S.Y. Lou, X.Y. Tang, Bosonization, singularity analysis, nonlocal symmetry reductions and exact solutions of supersymmetric kdv equation, J. High. Energ. Phys., 29 (2013), 1–29. https://doi.org/10.1007/JHEP05(2013)029 doi: 10.1007/JHEP05(2013)029
![]() |
[37] |
X.R. Hu, S.Y. Lou, Y. Chen, Explicit solutions from eigenfunction symmetry of the korteweg-de vries equation, Phys. Rev. E, 85 (2012), 056607. https://doi.org/10.1103/PhysRevE.85.056607 doi: 10.1103/PhysRevE.85.056607
![]() |
[38] |
S.Y. Lou, X.R. Hu, Y. Chen, Nonlocal symmetries related to bäcklund transformation and their applications, J. Phys. A: Math. Theor., 45 (2012), 155209. https://doi.org/10.1088/1751-8113/45/15/155209 doi: 10.1088/1751-8113/45/15/155209
![]() |
[39] |
S.Y. Lou, X.B. Hu, Infinitely many Lax pairs and symmetry constraints of the KP equation, J.Math. Phys., 38 (1997), 6401–6427. https://doi.org/10.1063/1.532219 doi: 10.1063/1.532219
![]() |
[40] |
R.K. Gazizov, N.H. Ibragimov, S.Y. Lukashchuk, Nonlinear self-adjointness, conservation laws and exact solutions of time-fractional Kompaneets equations, Commun. Nonlinear Sci. Numer. Simul., 23 (2015), 153–163. https://doi.org/10.1016/j.cnsns.2014.11.010 doi: 10.1016/j.cnsns.2014.11.010
![]() |
[41] |
C. Chen, J. Zhou, S.Y. Zhao, B.L. Feng, Integrable Coupling of Expanded Isospectral and Non-Isospectral Dirac Hierarchy and Its Reduction, Symmetry, 14 (2022), 2489. https://doi.org/10.3390/sym14122489 doi: 10.3390/sym14122489
![]() |
1. | Waqas Ali Faridi, Muhammad Abu Bakar, Muhammad Bilal Riaz, Zhaidary Myrzakulova, Ratbay Myrzakulov, Almetwally M. Mostafa, Exploring the optical soliton solutions of Heisenberg ferromagnet-type of Akbota equation arising in surface geometry by explicit approach, 2024, 56, 1572-817X, 10.1007/s11082-024-06904-8 | |
2. | Jian Zhou, Shiyin Zhao, A Vector-Product Lie Algebra of a Reductive Homogeneous Space and Its Applications, 2024, 12, 2227-7390, 3322, 10.3390/math12213322 | |
3. | Sixing Tao, Lie symmetry analysis, particular solutions and conservation laws of a (2+1)-dimensional KdV4 equation, 2023, 20, 1551-0018, 11978, 10.3934/mbe.2023532 | |
4. | Jinli Yang, Jiajing Miao, Algebraic Schouten solitons of Lorentzian Lie groups with Yano connections, 2023, 15, 2836-3310, 763, 10.3934/cam.2023037 | |
5. | Waqas Ali Faridi, Muhammad Abu Bakar, Adil Jhangeer, Ferdous Tawfiq, Ratbay Myrzakulov, Akgul Naizagarayeva, Dynamical visualization and propagation of soliton solutions of Akbota equation arising in surface geometry, 2024, 0217-9849, 10.1142/S0217984925500186 |