Loading [MathJax]/jax/element/mml/optable/GeneralPunctuation.js
Research article

Conservation laws analysis of nonlinear partial differential equations and their linear soliton solutions and Hamiltonian structures

  • Received: 29 November 2022 Revised: 21 February 2023 Accepted: 02 March 2023 Published: 07 March 2023
  • Primary: 05.45.Yv, Secondary: 02.30.Jr, 02.30.Ik

  • 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

    Related Papers:

    [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=ujt+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α=gjuαVα+gjuαiDiVα++gjuαi1imDi1imVα (2.2)

    and we can let (Lg) denote the adjoint operator defined by

    (Lg)jαWj=gjuαVαDi(gjuαiWj)++(1)mDi1im(gjuαi1imWj) (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=ηjuj 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+(Lg)α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αηα=ηjt(ηjuαgj+ηjuαiDigα++ηjuαi1imDi1Dimgα)+gαuαηα++gjuαi1imDi1Dimηα,j=1,,N (2.7)

    for ηj(t,x,u,xu,,pxu) and

    0=Dtωj+(Lg)αjωα=ωjt+(ωjuαgj+ωjuαiDigα++ηjuαi1imDi1Dimgα)+gαuαωα++gjuαi1imDi1Dimωα,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,,k1xu) 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=ϕtt+ϕtujujt+ϕtujiujti++ϕtuji1ikujti1ik=tϕt+Lϕtujt

    where (Lϕt)j=(ϕtuj)+(ϕtujt)Di++(ϕtuji1ikDi1Dik) 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=ujDiuji+DiDjujik+ (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=ujDiujiDtujt+DiDkujik+DtDkujik+.

    Then this yeilds

    0=Euj((ujt+gj)λj)=DtΛj+(Lg)αjΛα+(LΛ)jα(uαt+gα),j=1,,N, (2.16)

    where

    (LΛ)jαVα=ΛjuαVα+ΛjuαiDiVα++Λjuαi1ipDi1DipVα (2.17)

    and

    (LΛ)jαWj=ΛjuαWjDi(ΛjuαiWj)++(1)pDi1Dip(Λjuαi1ipWj) (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+(Lg)αjΛα=Λjt+(Λjuαgj+ΛjuαiDigα++Λjuαi1imDi1Dipgα)+gαuαΛα++gjuαi1imDi1DimΛα,j=1,,N. (2.19)

    Then by comparing the coefficients of Gj,DiGj,,Di1DipGj, we can get the corresponding determining equations:

    0=(1)p+1Λjuji1ip+Λαuji1ip, (2.20)
    0=(1)q+1Λjuji1iq+Λαuji1iqCqq+1Diq+1Λαuji1iq+1++(1)pqCqpDiq+1DipΛαuji1ip,q=1,,p1, (2.21)
    0=Λjuj+ΛαujDiΛαuji++(1)pDi1DipΛαuji1ip, (2.22)
    j=1,,N;α=1,,N;q=1,,p1

    where Cqr=r!q!(rq)!. 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λ]+t10dλK(λt,λx), (2.23)
    ϕi=xi10dλλ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]=m1l=0ml1k=0(1)k(Di1DilVρ)Dj1Djk(Wjgjujii1ikj1jl),Si[V,W;Λ]=p1l=0pl1k=0(1)k(Di1DilVρ)Dj1Djk(WjΛjujii1ikj1jl).

    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+utu+utxux+uttut+ and Dx=x+uxu+uxxux+utxut+ 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)Λ,Λ=Λ0DxΛ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Λ+ΛuGDx(Λ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=ΛuxDxΛ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=buxauuxax. (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

    3uxbuu3bxu+3(αa+2βuabuu)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βu2b2xub1tb2xxx+ux3attαu26atαub2x=0. (3.19)

    Then by comparing the coefficients of u and u2, we can obtain

    b2t=b2xxx,b1t13xatt=α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βαtuxx3βtu22β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,)=106βαtuuxxλ3βtu3λ22β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βu36u2βtuxx+uβuxαxβu2xα3uβtuxxxxα+3uxβtuxxxα3β2tu2xu2ααutuxx3βtu2xxα+αxu22+αtu2x2+2uxβuxxα+xuxxux. (3.26)

    We can simply verify that

    Dxϕx1+Dtϕt1=(2β2u3tαtαtu+2xβuα3u2βt+xαtu3βtuxxα+αu2)G3uβ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+u2xx2uxuxxx2+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+β4u4u2x2+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:

    uttuxx+α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((uttuxx+αu+βu3)Λ)=D2tΛD2xΛ+αΛ+3βu2Λ+Λu(uttuxx+αu+βu3)Dx(Λux(uttuxx+αu+βu3))Dt(Λut(uttuxx+α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ΛutDxΛ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ΛxuxuxΛuuxuxxΛ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ΛxuxuxΛ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Λuux2Λxux+2Λtut+2utΛuut2αuΛutut2β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(tx)+(ut+ux)f2(t+x)+c1ut+d(x,t) (3.44)

    where f1(tx) is any function related to tx, 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

    2f1αu+2f1βu3+3u2dβdxx+αd2u3f2β2uf2α+dtt=0. (3.45)

    We can obtain

    f1=f2,d=0.

    We can take their simplest form for f1 and f2,

    f1=c2(tx)+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(tx)+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λ(uju0)Λj[uλ],ϕi=10dλ(Si[uu0,Λ[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]+(u0u)DtΛ[λu+(1λu0)]dλ=10utλut+(u0u)Dtλut dλ=12u2t12(uu0)(uxxαuβu3),ϕx1=uu02uxtuxut2 (3.50)

    for multiplier Λ1.

    ϕt2=10ut(2tλux+2xλut)(uu0)Dt(2λtux+2xλut) dλ=tuxut+xu2t(uu0)(tuxt+ux+xuxxαxuβxu3),ϕx2=u0u3βt+tuαu0αtu20t2βu40tβ2u4+tuxx(uu0)+xuxt(uu0)uxxut+uutu0uttu2x (3.51)

    for multiplier Λ2.

    ϕt3=10ut(λut+λux)(uu0)Dt(λut+λux) dλ=12u2t+12uxut(uu0)(12uxx+12αxu+β2xu3+12uxt),ϕx3=u32βu0+u2αu0+uxx2(uu0)uxt2(uu0)u2x2+uxut2β6(u4+u40)αu202 (3.52)

    for multiplier Λ3.

    ϕt4=10ut(λut+λux)(uu0)Dt(λut+λux) dλ=12u2t+12uxut(uu0)(12uxx12αxuβ2xu3+12uxt),ϕx4=u32βu0+u2αu0+uxx2(uu0)+uxt2(uu0)u2x2uxut2β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:

    {ut14uxxx3uux+6vvx3ω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=3uxv13uDxv114D3xv1,(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ω23uDxω23uxω2,(L)31ω3=3ωxω3,(L)32ω1=0,(L)33ω3=12D3xω33uDxω33uxω3. (3.56)

    We set Dt=t(g1u+g2v+g3ω)+, where g1=14uxxx3uux+6vvx3ω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+(Lg)ρ1Λρ+(LΛ)1ρ(uρt+gρ). (3.57)

    The specific forms are

    DtΛ1+14D3xΛ1+3uDxΛ1+3vxΛ2+3ωxΛ3+(Λ1uG1Dx(Λ1uxG1)+D2x(Λ1uxxG1)) (3.58)
    +(Λ2uG2Dx(Λ2uxxG2)+D2x(Λ2uxxG2))+(Λ3uG3Dx(Λ3uxxG3)+D2x(Λ3uxxG3))=0,DtΛ26vDxΛ112D3xΛ23uxDxΛ23uxΛ2+(Λ1vG1Dx(Λ1vxG1)+D2x(Λ1vxxG1)) (3.59)
    +(Λ2vG2Dx(Λ2vxxG2)+D2x(Λ2vxxG2))+(Λ3vG3Dx(Λ3vxxG3)+D2x(Λ3vxxG3))=0,DtΛ3+3DxΛ112D3xΛ33uxDxΛ33uxΛ3+(Λ1ωG1Dx(Λ1ωxG1)+D2x(Λ1ωxxG1))+(Λ2ωG2Dx(Λ2ωxxG2)+D2x(Λ2ωxxG2))+(Λ3ωG3Dx(Λ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Λ26vDxΛ112D3xΛ23uDxΛ23uxΛ2=0, (3.62)
    DtΛ3+3vxDxΛ112D3xΛ33uDxΛ33uxΛ3=0, (3.63)
    Λ1vxx+Λ2uxx=0,Λ1ωxx+Λ3uxx=0,Λ3vxx+Λ2ωxx=0, (3.64)
    2Λ1ux2DxΛ1uxx=0,2Λ2vx2DxΛ2vxx=0,2Λ3ωx2DxΛ3ωxx=0, (3.65)
    Λ1vx+Λ2ux2DxΛ2uxx,Λ1ωx+Λ3ux2DxΛ3uxx=0,Λ2ωx+Λ3vx2DxΛ3vxx=0, (3.66)
    Λ2ux+Λ1vx2DxΛ1vxx=0,Λ3ux+Λ1ωx2DxΛ1ωxx=0,Λ3vx+Λ2ωx2DxΛ2ωxx=0, (3.67)
    DxΛ1ux+D2xΛ1uxx=0,DxΛ2vx+D2xΛ2vxx=0,DxΛ3ωx+D2xΛ3ωxx=0, (3.68)
    Λ1v+Λ2uDxΛ2ux+D2xΛ2uxx=0,Λ1ω+Λ3uDxΛ3ux+D2xΛ3uxx=0, (3.69)
    Λ2u+Λ1vDxΛ1vx+D2xΛ1vxx=0,Λ3u+Λ1ωDxΛ1ωx+D2xΛ1ωxx=0, (3.70)
    Λ2ω+Λ3vDxΛ3vx+D2xΛ3vxx=0,Λ3v+Λ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 Λ1vxx=Λ2uxx.

    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 3Dxa1a2uxvxxa3uxω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 3ua13ua1+14bu14bu=0, and the coefficient of uxx is

    14(3buω+3uxbuu+3vxbuv+3bxu)+3vxa2+3ωxa3a(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,34buu9a1=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=6a1u28a2uv8a3uω+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)3uxa4a4(t)+18vxa2+6uxa4. (3.81)

    It yeilds that

    32b2vv+18a2=0,b2vω=0,32b2uv+3a4=0,32b2xv=a4(t). (3.82)

    We can calculate the expression

    b2=6a2v2+2a4uv23a4xv+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ω=a6(t). (3.85)

    Then we can calculate the expression

    b3=2a6uω23a6xω+r1(t)ω+r2(x,t,u,v). (3.86)

    Then the general forms become

    Λ1=a1(t)uxx+a2(t)vxx+a3(t)ωxx+6a1u28a2uv8a3uω+(43a1tx+p1(t))u+p2(x,t,v,ω),Λ2=a2(t)uxx+a4(t)vxx+a5(t)ωxx6a2v2+2a4uv23a4xv+q1(t)v+q2(x,t,u,ω),Λ3=a3(t)uxx+a5(t)vxx+a6(t)ωxx+2a6uω23a6xω+r1(t)ω+r2(x,t,u,v). (3.87)

    And according to the formula (3.61), the coefficient of vxxxxx is (1412)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ω)a1(t)9a1ux=0, (3.88)

    and it yeilds that

    buv=0,buω=0,34bxu=a1(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

    16a1x+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,3r23p12a6xω12a1u+3r1ω=0. (3.90)

    They yeild that

    c=p2t+p2xxx4,q2=4a1uvq1v2p1v,r2=p1+23a6xω+4a1ur1ω. (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

    {3p2xp1t=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=4a1vxx8a1uv2(3c1t+c3)v,Λ3=3c1t+c3+4a1u. (3.94)

    They yeild that

    Λ11=uxx+6u2+4ω4v2,Λ12=4vxx8uv,Λ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λvxx8λ2uv)+ω(4λu) dλ=12u2x+2u3+2ωu43v2u2v2x83uv2+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Λ1112vxDxΛ1212ωxDxΛ1314uxxΛ11+12vxxDxΛ12+12ωxxΛ13uDx(g1[λu]λg1[u])+4vDx(g2[λu]λg2[u])+ux(g1[λu]λg1[u])4vxg2[λu]λg2[u]=6ω26v47vxxuv+ωxux+ωu+vxvxxx7uxvvx3+3uxxuux83uxxvvx4+3uωx2v2xx+uuxxxx8vvxx3ωuxx2+uxuxxx8+uxxuxxx32+3uxxωx83uxω2+6u2v2u2uxx26u2ω+2uu2x+2v2uxx+12v2ω4v2u3+11v2xu392u4 (3.96)

    for Λ11,Λ12,Λ13.

    ϕ2t=32u2t+ux3tv2+3ωt,ϕ2x=9u3t23u2x2+3xv29ωtu2+uxxuxxx32+3uxxuux83uxxvvx4+3uxxωx8+3utuxx43tv23xω+3ωt2+3tu2x4+ux43tvvxx+3ωxxt2 (3.97)

    for Λ21,Λ22,Λ23.

    ϕ3t=u,ϕ3x=3u22+3v2+uxxuxxx32+3uxxuux83uxxvvx4+3uxxωx83ω (3.98)

    for Λ31,Λ32,Λ33.

    ϕ4t=u22v2+ω,ϕ3x=3u323ωu2+uxxuxxx32+3uxxuux8+3uxxωx8+uuxx4v2+ω2+u2x4+v2xvvxx+ωxx23uxxvvx4 (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α[LuαiDj(Luαij)+DjDj(Luαijk)]+Dj(Wα)[LuαijDk(Luαijk)+]+DjDk(Wα)[Luαijk]+ (4.1)

    where

    L=mi=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+tt+(2βuα6β)u.  (4.2)

    We choose X=(x3α2t6β)x+tt+(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β)uxtut.

    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+2vxux3vuxxαu2v2βu3v3αvxx6βuxxvxx3tutvxx+vxuxxx3+vxtuxtvtuxxt+vxut3α2uv6β+α2uxtvxx6βαtutuvβtutu2vα2vxxuxxt6β,Ct=tL+Wv=αtuxuv+βuxtu2v+vtuxxxuv3α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=tx+xt (4.5)

    and we choose X=tx+xt as the symmetry to compute conservation law.

    Cx=tL+W(vx)+DxWv=vtutt2uxxvt+αtuv+βvtu3+tuxvx+xutvxvutvxuxt,Ct=xL+W(vt)+vDxW=βxvu3+αxuvxvuxxvutxt+tvtux+xutvtvux (4.6)

    where L=v(uttuxx+αu+βu3),W=tuxxut.

    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ω+12v,X5=x3x+tt4ω3ω2u3u2v3v (4.7)

    and we choose X=x3x+tt4ω3ω2u3u2v3v as the symmetry to compute conservation law. We can calculate that

    L=v1(ut14uxxx3uux+6vvx3ωx)+v2(vt+3uvx+12vxxx)+v3(ωt+3uωx+12ωxxx),W1=2u3xux3tut,W2=2v3xvx3tvt,W3=4ω3xωx3tωt. (4.8)

    Then the conservation law is

    Cx=x3L+W1(3uv114v1xx)+W2(6vv1+3uv2+12v2xx)+W3(3v1+3uv3+12v3xx)+14DxW1v1x12DxW2v2x12DxW3v3x14D2xW1v1+12D2xW2v2+12D2xW3v3=ωtv3x3v3xxxωx6v3xxtωt2v1xxuxx12v1xtuxt4+v1tuxxt4v3tωxxt2v1xxxux12+v1xxtut42uv2vv2xxxvx6v2xxtvt2+3tv1ωt4uv3ω+v2xxvxx6+v2xtvxt22v2vxx3+3v1utut6vv1tvt3uv2tvt3uv3tωt+utv1x3+v3xxωxx6+v3xtωxt2v2tvxxt2+vtv2x3v3ωxx+2u2v1+v1xxu64v2v1v2xxv3+4v1ω2v3xxω3v1xxux4+v2xvx2+5v3xωx6+v1uxx3,Ct=tL+W1v1+W2v2+W3v3=tv1uxxx43tv1uux+6tv1vvx3tv1ωx+2tv2uvx+tv2vxxx2+3tv3uωx+tv3ωxxx22uv13v1xux32v2xvx34v3ω3v3xω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+β12u412u2xdx 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 D1x 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=D1x(ut)=vt,Q2=D1xux=u,Q3=D1x(2βuα6β(x3α2t6β))uxtut=α6βx+α26βtuxu3+α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=(0110) (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.

    Figure 1.  3D plot of the given by Eq. (5.11) for parameters .
    Figure 2.  3D plot of the given by Eq. (5.12) for parameters .
    Figure 3.  Density plot of the given by Eq. (5.11) for parameters .
    Figure 4.  Density plot of the given by Eq. (5.12) for parameters .

    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
  • This article has been cited by:

    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
  • Reader Comments
  • © 2023 the Author(s), licensee AIMS Press. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0)
通讯作者: 陈斌, bchen63@163.com
  • 1. 

    沈阳化工大学材料科学与工程学院 沈阳 110142

  1. 本站搜索
  2. 百度学术搜索
  3. 万方数据库搜索
  4. CNKI搜索

Metrics

Article views(2783) PDF downloads(231) Cited by(5)

Figures and Tables

Figures(4)

Other Articles By Authors

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog