Next Article in Journal
FGeo-SSS: A Search-Based Symbolic Solver for Human-like Automated Geometric Reasoning
Previous Article in Journal
An Introduction to Single-Valued Neutrosophic Primal Theory
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Optimal System, Symmetry Reductions and Exact Solutions of the (2 + 1)-Dimensional Seventh-Order Caudrey–Dodd–Gibbon–KP Equation

1
School of Science, Shanghai Maritime University, Shanghai 201306, China
2
Department of Mathematics and Information Technology, The Education University of Hong Kong, 10 Po Ling Road, Tai Po, New Territories, Hong Kong, China
*
Author to whom correspondence should be addressed.
Symmetry 2024, 16(4), 403; https://doi.org/10.3390/sym16040403
Submission received: 7 March 2024 / Revised: 22 March 2024 / Accepted: 25 March 2024 / Published: 30 March 2024
(This article belongs to the Section Mathematics)

Abstract

:
In this paper, the  ( 2 + 1 ) -dimensional seventh-order Caudrey–Dodd–Gibbon–KP equation is investigated through the Lie group method. The Lie algebra of infinitesimal symmetries, commutative and adjoint tables, and one-dimensional optimal systems is presented. Then, the seventh-order Caudrey–Dodd–Gibbon–KP equation is reduced to nine types of  ( 1 + 1 ) -dimensional equations with the help of symmetry subalgebras. Finally, the unified algebra method is used to obtain the soliton solutions, trigonometric function solutions, and Jacobi elliptic function solutions of the seventh-order Caudrey–Dodd–Gibbon–KP equation.

1. Introduction

Nonlinear partial differential equations (NPDEs) have a wide range of applications in the natural sciences and engineering. In these fields, it is common to search for exact solutions to NPDEs, as these solutions provide precise descriptions of complex phenomena such as heat conduction and wave propagation. There are currently several powerful methods available for constructing exact solutions of NPDEs. These methods include the Bäcklund transformation method [1], Darboux transformation method [2,3], Lie group method [4,5,6], Hirota bilinear method [7], unified algebraic method [8], and so on.
The Lie group method is well known as a powerful tool for reducing high-dimensional equations into low-dimensional ones, or simplifying equations with a high number of variables into simpler ones. Furthermore, this method enables the discovery of similar solutions through symmetry reduction [9,10,11,12,13,14,15,16,17,18,19,20]. Therefore, it has become a commonly used technique in the field of differential equations research due to its widespread applicability.
The Korteweg–de Vries (KdV) equation, a fundamental equation in the field of integrable systems, is commonly used to describe weakly nonlinear shallow water waves [21],
u t + 6 u u x + u 3 x = 0 ,
where  u n x  represents the nth order partial derivative with respect to x.
As a  ( 2 + 1 ) -dimensional extension of the KdV equation, the Kadomtsev–Petviashvili (KP) equation can be used to describe the evolution of nonlinear, long waves of small amplitude with slow dependence on the transverse coordinates [22],
( u t + 6 u u x + u 3 x ) x + 3 σ 2 u 2 y = 0 ,
where  u 2 y  represents the 2nd order partial derivative with respect to y.
Due to the inability of the KdV Equation (1) to provide the detailed description of many important features observed in laboratory experiments, such as the non-monotonic relationship between solitary wave speed and amplitude, it becomes necessary to consider higher-order forms of the KdV equation such as the fifth-order KdV (fKdV) equation [23],
u t + p 1 u 2 u x + p 2 u x u 2 x + p 3 u u 3 x + u 5 x = 0 ,
and the seventh-order KdV (sKdV) equation [24],
u t + h 1 u 3 u x + h 2 u x 3 + h 3 u u x u 2 x + h 4 u 2 u 3 x + h 5 u 2 x u 3 x + h 6 u x u 4 x + h 7 u u 5 x + u 7 x = 0 ,
where  p i ( i = 1 , , 3 )  and  h j ( j = 1 , 2 , , 7 )  are arbitrary constants. Due to the arbitrariness of parameters  p 1 p 2  and  p 3 , fKdV Equation (3) often manifests in several distinct representations, such as the Sawada–Kotera (SK) equation, the Caudrey–Dodd–Gibbon (CDG) equation, the Lax equation, the Kaup–Kuperschmidt (KP) equation, and the Ito equation. The fKdV Equation (3) is an essential model for many physical phenomena in fluid dynamics and magneto-acoustic waves. Similarly, the sKdV equation also has various forms including the Sawada–Kotera–Ito equation and the CDG equation, and these higher-order KdV equations play an important role in mathematical physics, engineering and applied sciences.
In this paper, our main focus is on the  ( 2 + 1 ) -dimensional seventh-order Caudrey–Dodd–Gibbon–KP (sCDG-KP) equation, which is formed by combining the seventh-order CDG equation and the KP equation,
Δ = ( u t + 420 u 3 u x + 210 u 2 u 3 x + 420 u u x u 2 x + 28 u u 5 x + 28 u x u 4 x + 70 u 2 x u 3 x + u 7 x ) x + α u 2 y = 0 , α = ± 1 .
The one and two soliton solutions of sCDG-KP Equation (5) are obtained using the simplified Hirota bilinear method [25].
Because of the complexity of the sCDG-KP Equation (5), there is currently limited research on it. The Lie group method is extremely effective for studying integrable or non-integrable NPDEs. Particularly for high-dimensional NPDEs, the application of the Lie group method can reduce the dimensionality of the given NPDEs, thereby enabling the possibility of obtaining exact solutions to the given NPDEs further. This paper employs the Lie group method and the unified algebraic method to investigate the optimal system of one-dimensional subalgebras, group-invariant solutions, symmetry reduction, and exact solutions of sCDG-KP Equation (5).
The structure of this paper is as follows. Section 2 presents the infinitesimal generators and vector fields that represent the symmetries of sCDG-KP Equation (5). Section 3 derives commutator relations for the infinitesimal generators and uses adjoint relations to construct a one-dimensional optimal system. Section 4 obtains some  ( 1 + 1 ) -dimensional equations by means of the symmetry reduction. Finally, exact solutions of sCDG-KP Equation (5) are obtained with the help of the unified algebra method.

2. Lie Point Symmetries

The construction of the symmetric algebras of the given NPEDs is a crucial step in the Lie group method. In this section, we first construct the infinitesimals of Equation (5). Based on the Lie group method, the one-parameter Lie group of point transformations in  ( x , y , t , u )  is defined as follows:
x = x + ϵ ξ ( x , y , t , u ) + O ( ϵ 2 ) , y = y + ϵ η ( x , y , t , u ) + O ( ϵ 2 ) , t = t + ϵ τ ( x , y , t , u ) + O ( ϵ 2 ) , u = u + ϵ ϕ ( x , y , t , u ) + O ( ϵ 2 ) ,
where  ξ ξ ( x , y , t , u ) η η ( x , y , t , u ) τ τ ( x , y , t , u ) ϕ ϕ ( x , y , t , u )  are infinitesimals, and  ϵ  is a group parameter. The vector field associated with the transformation group is
V = ξ x + η y + τ t + ϕ u .
To obtain the Lie point symmetries for sCDG-KP Equation (5), the associated vector fields must satisfy the following invariant condition:
Pr ( 8 ) V ( Δ ) | Δ = 0 = 0 ,
where  Pr ( 8 ) V  represents the 8th order prolongation of vector field  V ,
Pr ( 8 ) V = V + ϕ x u x + ϕ y u y + ϕ t u t + ϕ 2 x u 2 x + ϕ 2 y u 2 y + ϕ x t u x t + ϕ 3 x u 3 x + ϕ 4 x u 4 x + ϕ 5 x u 5 x + ϕ 8 x u 8 x ,
and  ϕ y ϕ t ϕ x t ϕ 2 y ϕ k x ( k = 1 , 2 , 8 )  are defined as follows:
ϕ y = D y ϕ u x D y ξ u y D y η u t D y τ , ϕ t = D t ϕ u x D t ξ u y D t η u t D t τ , ϕ x t = D t ϕ x u 2 x D t ξ u x y D t η u x t D t τ , ϕ 2 y = D y ϕ y u x y D y ξ u 2 y D t η u y t D t τ , ϕ k x = D x k x ( ϕ ξ u x η u y τ u t ) + ξ u ( k + 1 ) x + η u k x y + τ u k x t ,
and  D x D y D t  are the total derivatives of x, y, t D x k x  represents the k-order total derivative of x u ( k + 1 ) x = k + 1 u x k + 1 , u k x y = k + 1 u x k y , u k x t = k + 1 u x k t .
Thus, invariant Equation (8) can be explicitly written as follows:
420 u 3 ϕ 2 x + 210 u 2 ϕ 4 x + 420 ( u x ) 2 ϕ 2 x + 420 u 2 x ϕ + 56 ϕ x u 5 x + 56 u x ϕ 5 x + 28 u 6 x ϕ + 98 u 4 x ϕ 4 x + 98 u 2 x ϕ 4 x + 140 u 3 x ϕ 3 x + α ϕ 2 y + ϕ x t + ϕ 8 x + 1260 u 2 u 2 x ϕ + 840 u x u 3 x ϕ + 840 u u x ϕ 3 x + 840 u u 3 x ϕ x + 420 u u 4 x ϕ + 840 u x u 2 x ϕ x + 840 u u 2 x ϕ 2 x + 2520 u ( u x ) 2 ϕ + 2520 u 2 u x ϕ x = 0 .
Substituting (10) into (11) and collecting coefficients of u and its various partial derivatives yields a set of determinant equations. The solutions of these determining equations provide the following infinitesimals for Equation (5):
ξ = 2 11 c 1 x + c 2 y + c 3 , η = 8 11 c 1 y 2 α c 2 t + c 4 , τ = 14 11 c 1 t + c 5 , ϕ = 4 11 c 1 u ,
where  c i ( i = 1 , 2 , , 5 )  are arbitrary constants.
Thus, the Lie algebra of infinitesimal symmetries of Equation (5) is spanned by the five vector fields
V 1 = x , V 2 = y , V 3 = t , V 4 = y x 2 α t y , V 5 = 2 11 ( x x + 4 y y + 7 t t 2 u y ) .
One of the most significant applications of symmetry theory is the construction of group-invariant solutions. For each subgroup within the symmetry group, there exists a corresponding set of group-invariant solutions. Given that any linear combination of arbitrary infinitesimal quantities remains infinitesimal, this implies that a differential equation possesses infinitely many different symmetry subgroups. Consequently, enumerating all potential group-invariant solutions is virtually an impossible task. This gives rise to the classification problem of group-invariant solutions, also known as the optimal system. Constructing optimal systems of subgroups is equivalent to constructing optimal systems of subalgebras. For one-dimensional subalgebras, we only need to take the most general form of the Lie algebra, and then apply various adjoint transformations on it to simplify the algebraic form as much as possible. Next, we use this method to construct a one-dimensional optimal system of Lie algebra (13).

3. One-Dimensional Optimal System

In this section, we use the Hu–Li–Chen algorithm to construct the optimal system of the sCDG-KP Equation (5) [26,27]. In order to obtain the one-dimensional optimal system of Lie algebra, we first calculate the commutation relations of the Lie algebra (13). Via using these commutation relationships, the infinitesimals shown in (13) can be written as linear combination of  V i :
V = a 1 V 1 + a 2 V 2 + a 3 V 3 + a 4 V 4 + a 5 V 5 .
Moreover, we derive the adjoint relations and obtain the symmetry subalgebras of the sCDG-KP equation.

3.1. Invariants of Lie Algebra

The Lie bracket for the infinitesimal generators is defined as
[ V i , V j ] = V i V j V j V i .
Hence, the commutation relations among the Lie algebra (13) can be derived, as shown in Table 1, the entry in row i and the column j representing  [ V i , V j ] .
Applying the following Lie series formula in conjunction with commutator Table 1, we have
A d e x p ( ϵ W ) ( V ) = V ϵ [ W , V ] + 1 2 ! ϵ 2 [ W , [ W , V ] ] = ( a 1 V 1 + + a 5 V 5 ) ϵ [ b 1 V 1 + + b 5 V 5 , a 1 V 1 + + a 5 V 5 ] + O ( ϵ 2 ) = ( a 1 V 1 + + a 5 V 5 ) ϵ ( Θ 1 V 1 + + Θ 5 V 5 ) + O ( ϵ 2 ) ,
where
Θ 1 = 2 11 b 1 a 5 + 2 11 b 5 a 1 + b 2 a 4 b 4 a 2 , Θ 2 = 8 11 b 2 a 5 + 8 11 b 5 a 2 2 α b 3 a 4 + 2 α b 4 a 3 , Θ 3 = 4 11 b 3 a 5 + 4 11 b 5 a 3 , Θ 4 = 6 11 b 4 a 5 6 11 b 5 a 4 , Θ 5 = 0 ,
and
V = i = 1 5 a i V i , W = j = 1 5 b j V j , a i , b j = constants .
From Equation (16), for any  b j ( j = 1 , 2 , , 5 ) , the following condition holds:
Θ 1 ψ a 1 + Θ 2 ψ a 2 + Θ 3 ψ a 3 + Θ 4 ψ a 4 + Θ 5 ψ a 5 = 0 ,
where  ψ ψ ( a 1 , a 2 , a 3 , a 4 , a 5 ) .
Collecting the coefficients of  b j  in Equation (17), we obtain
ψ a 1 = 0 , a 4 ψ a 1 8 11 a 5 ψ a 2 = 0 , α a 4 ψ a 2 + 2 11 a 5 ψ a 3 = 0 , a 2 ψ a 1 2 α a 3 ψ a 2 6 11 a 5 ψ a 4 = 0 , a 1 ψ a 1 + 4 a 2 ψ a 2 + 2 a 3 ψ a 3 3 a 4 ψ a 4 = 0 .
From system (18), it is obvious that  ψ ( a 1 , a 2 , a 3 , a 4 , a 5 ) = ψ ( a 5 ) .

3.2. Adjoint Matrix

With the help of Formula (16) and Table 1, the adjoint table is given in Table 2.
The adjoint action of  V i ( i = 1 , 2 , , 5 )  on V is given by
A d e x p ( ϵ V i ) ( V ) = ( a 1 V 1 + a 2 V 2 + a 3 V 3 + a 4 V 4 + a 5 V 5 ) ϵ [ V i , a 1 V 1 + a 2 V 2 + a 3 V 3 + a 4 V 4 + a 5 V 5 ] 1 2 ! ϵ 2 [ V i , [ V i , a 1 V 1 + a 2 V 2 + a 3 V 3 + a 4 V 4 + a 5 V 5 ] ] = ( a 1 , a 2 , a 3 , a 4 , a 5 ) A i ( V 1 , V 2 , V 3 , V 4 , V 5 ) ,
and therefore we have
A 1   =   1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 2 11 ϵ 1 0 0 0 1 ,   A 2   =   1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 ϵ 2 0 0 1 0 0 8 11 ϵ 2 0 0 1 , A 3   =   1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 2 α ϵ 3 0 1 0 0 0 4 11 ϵ 3 0 1 ,   A 4   =   1 0 0 0 0 ϵ 4 1 0 0 0 α ϵ 4 2 2 α ϵ 4 1 0 0 0 0 0 1 0 0 0 0 6 11 ϵ 4 1 , A 5   =   e 2 11 ϵ 5 0 0 0 0 0 e 8 11 ϵ 5 0 0 0 0 0 e 4 11 ϵ 5 0 0 0 0 0 e 6 11 ϵ 5 0 0 0 0 0 1 .
Thus, the general adjoint transformation matrix A is derived as
A = A 1 A 2 A 3 A 4 A 5 = e 2 11 ϵ 5 0 0 0 0 ϵ 4 e 2 11 ϵ 5 e 8 11 ϵ 5 0 0 0 α ϵ 4 2 e 2 11 ϵ 5 2 α ϵ 4 e 8 11 ϵ 5 e 4 11 ϵ 5 0 0 A 41 2 α ϵ 3 e 8 11 ϵ 5 0 e 6 11 ϵ 5 0 A 51 A 52 A 53 A 54 1 ,
where
A 41 = ( 2 α ϵ 3 ϵ 4 ) e 2 11 ϵ 5 , A 51 = 2 11 e 2 11 ϵ 5 ( ϵ 1 + 4 ϵ 2 ϵ 4 2 α ϵ 3 ϵ 4 2 ) , A 52 = 8 11 e 8 11 ϵ 5 ( ϵ 2 α ϵ 3 ϵ 4 ) , A 53 = 4 11 ϵ 3 e 5 11 ϵ 5 , A 54 = 6 11 ϵ 4 e 6 11 ϵ 5 .

3.3. Classification of Symmetry Algebra

The adjoint transformation equation of sCDG-KP Equation (5) is given by
( a ˜ 1 , a ˜ 2 , a ˜ 3 , a ˜ 4 , a ˜ 5 ) = ( a 1 , a 2 , a 3 , a 4 , a 5 ) A ,
where A is the adjoint transformation matrix (21). Direct calculation yields
a ˜ 1 = a 1 e 2 11 ϵ 5 + a 2 ϵ 4 e 2 11 ϵ 5 a 3 α ϵ 4 2 e 2 11 ϵ 5 + a 4 ( 2 α ϵ 3 ϵ 4 ϵ 2 ) e 2 11 ϵ 5 + 2 11 a 5 ( ϵ 1 + 4 ϵ 2 ϵ 4 2 α ϵ 3 ϵ 4 2 ) e 2 11 ϵ 5 , a ˜ 2 = a 2 e 8 11 ϵ 5 2 a 3 α ϵ 4 e 8 11 ϵ 5 + 2 a 4 α ϵ 3 e 8 11 ϵ 5 + 8 11 a 5 ( ϵ 2 α ϵ 3 ϵ 4 ) e 8 11 ϵ 5 , a ˜ 3 = a 3 e 4 11 ϵ 5 + 4 11 a 5 ϵ 3 e 5 11 ϵ 5 , a ˜ 4 = a 4 e 6 11 ϵ 5 6 11 a 5 ϵ 4 e 6 11 ϵ 5 , a ˜ 5 = a 5 .
According to the Hu–Li–Chen algorithm, there are two cases:  a 5 = 1  and  a 5 = 0 .
Case 1: For  a 5 = 1 , we select a representative element,  V ˜ = V 5 ; then, substituting  a ˜ i = 0 i = 1 , 2 , 3 , 4  and  a ˜ 5 = 1  into (23), we have
ϵ 1 = 1331 32 α a 3 a 4 2 121 16 a 2 a 4 11 2 a 1 , ϵ 2 = 121 56 α a 3 a 4 11 8 a 2 , ϵ 3 = 11 14 a 3 , ϵ 4 = 11 6 a 4 .
Case 2: For  a 5 = 0 , substituting  a ˜ i = 0 i = 1 , 2 , , 5  into (18), we obtain a new invariant  Δ 1 = a 3 3 a 4 7 . Here are the three cases:  Δ 1 = 1 Δ 1 = 1 , and  Δ 1 = 0 .
Case 2.1:  Δ 1 = 1 .  Evidently,  a 3 > 0 , a 4 > 0  or  a 3 < 0 , a 4 < 0 .
Case 2.1.1: For  a 3 > 0 , a 4 > 0 , we let the representative element be  V ˜ = V 3 + V 4 . Then, by substituting  a ˜ 3 = 1 , a ˜ 4 = 1  and  a ˜ i = 0 i = 1 , 2 , 5  into (23), we obtain
ϵ 2 = a 1 + α a 3 ϵ 4 2 a 4 , ϵ 3 = 2 α a 3 ϵ 4 + a 2 2 α a 4 , ϵ 5 = 11 6 ln a 4 .
Case 2.1.2: For  a 3 < 0 , a 4 < 0 , we let the representative element be  V ˜ = V 3 V 4 ; by substituting  a ˜ 3 = 1 , a ˜ 4 = 1  and  a ˜ i = 0 i = 1 , 2 , 5  into (23), we obtain
ϵ 2 = a 1 + α a 3 ϵ 4 2 a 4 , ϵ 3 = 2 α a 3 ϵ 4 + a 2 2 α a 4 , ϵ 5 = 11 6 ln ( 1 a 4 ) .
Essentially,  V 3 + V 4  is equivalent to  V 3 V 4 .
Case 2.2:  Δ 1 = 1 . In this case,  a 3 > 0 , a 4 < 0  or  a 3 < 0 , a 3 > 0 .
Case 2.2.1: For  a 3 > 0 , a 4 < 0 , we let the representative element be  V ˜ = V 3 V 4 ; by associating with (23), we obtain
ϵ 2 = a 1 + α a 3 ϵ 4 2 a 4 , ϵ 3 = 2 α a 3 ϵ 4 a 2 2 α a 4 , ϵ 5 = 11 14 ln a 3 .
Case 2.2.2: For  a 3 < 0 , a 4 > 0 , we select the representative element as  V ˜ = V 3 + V 4 .
Substituting  a ˜ 3 = 1 , a ˜ 4 = 1 , a ˜ i = 0 , i = 1 , 2 , 5  to (23), we obtain
ϵ 2 = a 1 + α a 3 ϵ 4 2 a 4 , ϵ 3 = 2 α a 3 ϵ 4 a 2 2 α a 4 , ϵ 5 = 11 14 ln ( 1 a 3 ) .
Case 2.3:  Δ 1 = 0 . In this case, there are three cases:  a 3 = 0 , a 4 0 a 3 0 , a 4 = 0 a 3 = a 4 = 0 .
Case 2.3.1:  a 3 = 0 , a 4 0 .
For  a 3 = 0 , a 4 > 0  and  V ˜ = V 4 , by substituting  a ˜ 4 = 1  and  a ˜ i = 0 i = 1 , 2 , 3 , 5  into (23), we have
ϵ 2 = a 1 a 4 , ϵ 3 = a 2 2 α a 4 , ϵ 5 = 11 6 ln a 4 .
For  a 3 = 0 , a 4 < 0  and  V ˜ = V 4 , by substituting  a ˜ 4 = 1  and  a ˜ i = 0 i = 1 , 2 , 3 , 5  into (23), we have
ϵ 2 = a 1 a 4 , ϵ 3 = a 2 2 α a 4 , ϵ 5 = 11 6 ln ( 1 a 4 ) .
Case 2.3.2:  a 3 0 , a 4 = 0 .
Substituting  a 4 = 0 , a 5 = 0  into (18), we obtain a new invariant
Δ 2 = ( 4 α a 1 a 3 + a 2 2 ) 7 a 3 8 ,
which includes the following three cases:  Δ 2 = 1 Δ 2 = 1 Δ 2 = 0 .
When  Δ 2 = 1 , a 3 > 0  and  V ˜ = V 2 + V 3 , by substituting  a ˜ 2 = 1 , a ˜ 3 = 1  and  a ˜ i = 0 i = 1 , 4 , 5  into (23), we obtain
ϵ 4 = a 2 a 3 4 7 2 α a 3 , ϵ 5 = 11 14 ln a 3 .
When  Δ 2 = 1 , a 3 < 0  and  V ˜ = V 2 V 3 , by substituting  a ˜ 2 = 1 , a ˜ 3 = 1  and  a ˜ i = 0 i = 1 , 4 , 5  into (23), we obtain
ϵ 4 = a 2 ( 1 a 3 ) 4 7 2 α a 3 , ϵ 5 = 11 14 ln ( 1 a 3 ) .
When  Δ 2 = 1  and  V ˜ = 1 4 α V 1 + V 3 , V ˜ = 1 4 α V 1 V 3 , by substituting  a ˜ 3 = 1 a ˜ i = 0 i = 2 , 4 , 5  and  a ˜ 3 = 1 a ˜ i = 0 i = 2 , 4 , 5  into (23), we obtain
ϵ 4 = a 2 2 α a 3 , ϵ 5 = 11 14 ln a 3 , a 3 > 0 ,
and
ϵ 4 = a 2 2 α a 3 , ϵ 5 = 11 14 ln ( 1 a 3 ) , a 3 < 0 .
When  Δ 2 = 0 , we obtain  V ˜ = V 3 , by substituting  a ˜ 3 = 1  and  a ˜ i = 0 i = 1 , 2 , 4 , 5  into (23); the solution is
ϵ 4 = a 2 2 α a 3 , ϵ 5 = 11 14 ln a 3 , a 3 > 0 .
Similar to case 2.1.1, when  a 3 > 0  and  a 3 < 0 , the results are essentially the same; thus, we select the result corresponding to  a 3 > 0  as the essential element.
Case 2.3.3:  a 3 = a 4 = 0 . We select  V ˜ = V 1 + V 2  and  V ˜ = V 1 V 2  as the representative element.
The solutions for (23) are
ϵ 4 = a 2 1 4 a 1 a 2 , ϵ 5 = 11 8 ln a 2 , a 2 > 0 ,
and
ϵ 4 = 1 a 2 a 2 1 4 a 1 a 2 , ϵ 5 = 11 8 ln ( 1 a 2 ) , a 2 < 0 .
Eventually, the symmetry subalgebras of the one-dimensional optimal system for the sCDG-KP Equation (5) are as follows:
V ˜ 1 = V 5 , V ˜ 2 = V 3 + V 4 , V ˜ 3 = V 3 V 4 , V ˜ 4 = V 4 , V ˜ 5 = V 2 + V 3 , V ˜ 6 = V 2 V 3 , V ˜ 7 = 1 4 α V 1 V 3 , V ˜ 8 = V 3 , V ˜ 9 = V 1 + V 2 , V ˜ 10 = V 1 V 2 .

4. Similarity Reductions

In this section, we apply the results of the one-dimensional optimal system discussed earlier to perform various symmetry reductions on sCDG-KP Equation (5). On the basis of (7), its corresponding characteristic equation is
d x ξ = d y η = d t τ = d u ϕ .

4.1. Subalgebra  V ˜ 1 = V 5

Based on vector field  V 5 = 2 11 ( x x + 4 y y + 7 t t 2 u y ) , Equation (25) becomes
d x x = d y 4 y = d t 7 t = d u 2 u .
Equation (26) provides the invariant functions of Equation (5),
u ( x , y , t ) = t 2 7 F ( X , Y ) with X = x t 1 7 , Y = y t 4 7 .
and reduction equation
2940 F 3 F 2 X + 8820 F 2 F X 2 + 2940 F F 2 X 2 + 2940 F X 2 F 2 X + 5880 F F X F 3 X + 1470 F 2 F 4 X + 686 F 2 X F 4 X X F 2 X + 392 F X F 5 X 4 Y F X Y + 490 F 3 X 2 + 7 α F Y Y + 196 F F 6 X 3 F X + 7 F 8 X = 0 .
Since the calculation process is exactly the same as that of Case 1, we only list the results hereafter.

4.2. Subalgebra  V ˜ 2 = V 3 + V 4

The vector field is  V ˜ 2 = t + y x 2 α t y  and the characteristic equation is
d x y = d y 2 α t = d t 1 = d u 0 .
Similarity solutions are given by
u ( x , y , t ) = F ( X , Y ) with X = x 2 3 α t 3 y t , Y = y + α t 2 .
The reduction equation is given by
420 F 3 F 2 X + 1260 F 2 F X 2 + 840 F F X F 3 X + 210 F 2 F 4 X + 420 F F 2 X 2 + 420 F X 2 F 2 X + 70 F 3 X 2 + α F 2 Y + 56 F X F 5 X + 98 F 2 X F 4 X Y F 2 X + 28 F F 6 X + F 8 X = 0 .

4.3. Subalgebra  V ˜ 3 = V 3 V 4

The vector field is  V ˜ 3 = t y x + 2 α t y  and the characteristic equation is
d x y = d y 2 α t = d t 1 = d u 0 .
Similarity solutions are given by
u ( x , y , t ) = F ( X , Y ) with X = x 2 3 α t 3 + y t , Y = y + α t 2 .
The reduction equation is given by
420 F 3 F 2 X + 1260 F 2 F X 2 + 840 F F X F 3 X + 210 F 2 F 4 X + 420 F F 2 X 2 + 420 F X 2 F 2 X + 70 F 3 X 2 + α F 2 Y + 56 F X F 5 X + 98 F 2 X F 4 X + Y F 2 X + 28 F F 6 X + F 8 X = 0 .

4.4. Subalgebra  V ˜ 4 = V 4

The vector field is  V ˜ 4 = y x 2 α t y  and the characteristic equation is
d x y = d y 2 α t = d t 0 = d u 0 .
Similarity solutions are given by
u ( x , y , t ) = F ( X , T ) with X = x + y 2 4 α t , T = t .
The reduction equation is given by
2 T F 8 X + 56 T F F 6 X + 112 T F X F 5 X + 420 T ( F 2 + 7 15 F 2 X ) F 4 X + 140 T F 3 X 2 + 1680 T F F X F 3 X + 840 T F F 2 X 2 + 840 T ( F 3 + F X 2 ) F 2 X + 2520 T F 2 F X 2 + 2 T F T X + F X = 0 .

4.5. Subalgebra  V ˜ 5 = V 2 + V 3

The vector field is  V ˜ 5 = y + t  and the characteristic equation is
d x 0 = d y 1 = d t 1 = d u 0 .
Similarity solutions are given by
u ( x , y , t ) = F ( X , T ) with X = x , T = y t .
The reduction equation is given by
F 8 X + 28 F F 6 X + 56 F X F 5 X + ( 210 F 2 + 98 F 2 X ) F 4 X + 70 F 3 X 2 + 840 F F X F 3 X + 420 F F 2 X 2 + ( 420 F 3 + 420 F X 2 ) F 2 X + 1260 F 2 F X 2 + 1260 F 2 F X 2 + α F 2 T F X T = 0 .

4.6. Subalgebra  V ˜ 6 = V 2 V 3

The vector field is  V ˜ 6 = y t  and the characteristic equation is
d x 0 = d y 1 = d t 1 = d u 0 .
Similarity solutions are given by
u ( x , y , t ) = F ( X , T ) with X = x , T = t + y .
The reduction equation is given by
F 8 X + 28 F F 6 X + 56 F X F 5 X + ( 210 F 2 + 98 F 2 X ) F 4 X + 70 F 3 X 2 + 840 F F X F 3 X + ( 420 F 3 + 420 F X 2 ) F 2 X + 420 F F 2 X 2 + 1260 F 2 F X 2 + α F 2 T + F X T = 0 .

4.7. Subalgebra  V ˜ 7 = 1 4 α V 1 V 3

The vector field is  V ˜ 7 = 1 4 α x t  and the characteristic equation is
d x 1 4 α = d y 0 = d t 1 = d u 0 .
Similarity solutions are given by
u ( x , y , t ) = F ( X , T ) with X = x + t 4 α , T = y .
The reduction equation is given by
4 α F 8 X + 112 α F F 6 X + 224 α F X F 5 X + 280 α F 3 X 2 + 840 α ( F 2 + 7 15 F 2 X ) F 4 X + 3360 α F F X F 3 X + ( 1680 α F 3 + 1680 α F X 2 + 1 ) F 2 X + 1680 α F F 2 X 2 + 5040 α F 2 F X 2 + 4 α 2 F 2 T = 0 .

4.8. Subalgebra  V ˜ 8 = V 3

The vector field is  V ˜ 8 = t  and the characteristic equation is
d x 0 = d y 0 = d t 1 = d u 0 .
Similarity solutions are given by
u ( x , y , t ) = F ( X , Y ) with X = x , Y = y .
The reduction equation is given by
F 8 X + 28 F F 6 X + 56 F X F 5 X + ( 210 F 2 + 98 F 2 X ) F 4 X + 70 F 3 X 2 + 840 F F X F 3 X + 420 F F 2 X 2 + ( 420 F 3 + 420 F X 2 ) F 2 X + 1260 F 2 F X 2 + α F 2 Y = 0 .

4.9. Subalgebra  V ˜ 9 = V 1 + V 2

The vector field is  V ˜ 9 = x + y  and the characteristic equation is
d x 1 = d y 1 = d t 0 = d u 0 .
Similarity solutions are given by
u ( x , y , t ) = F ( X , T ) with X = x y , T = t .
The reduction equation is given by
F 8 X + 28 F F 6 X + 56 F X F 5 X + ( 210 F 2 + 98 F 2 X ) F 4 X + 70 F 3 X 2 + 840 F F X F 3 X + 420 F F 2 X 2 + ( 420 F 3 + 420 F X 2 + α ) F 2 X + 1260 F 2 F X 2 + F T X = 0 .

4.10. Subalgebra  V ˜ 10 = V 1 V 2

The vector field is  V ˜ 10 = x y  and the characteristic equation is
d x 1 = d y 1 = d t 0 = d u 0 .
Similarity solutions are given by
u ( x , y , t ) = F ( X , T ) with X = x + y , T = t .
The reduction equation is given by
F 8 X + 28 F F 6 X + 56 F X F 5 X + ( 210 F 2 + 98 F 2 X ) F 4 X + 70 F 3 X 2 + 840 F F X F 3 X + 420 F F 2 X 2 + ( 420 F 3 + 420 F X 2 + α ) F 2 X + 1260 F 2 F X 2 + F T X = 0 .
One can observe that the  ( 1 + 1 ) -dimensional equation resulting from the reduction using  V ˜ 9  and  V ˜ 10  is identical.

5. Exact Solution

The unified algebraic method, which is one of the effective approaches for solving NPDEs, is employed in this section to derive solutions for sCDG-KP Equation (5).
For sCDG-KP Equation (5), we consider its solution to be of the following form:
u = a 0 + a 1 ϕ + a 2 ϕ 2 , ϕ = ϵ c 0 + c 1 ϕ + c 2 ϕ 2 + c 3 ϕ 3 + c 4 ϕ 4 ,
where  ϕ ϕ ( ξ ) , ξ = k x + η y + τ t . By substituting (56) into Equation (5), we obtain the single soliton solution and the trigonometric solution
u 1 = a 0 a 2 c 2 c 4 sech 2 c 2 ξ , c 2 > 0 , c 4 < 0 ,
u 2 = a 0 a 2 c 2 c 4 sec 2 c 2 ξ , c 2 < 0 , c 4 > 0 ,
as well as three Jacobi periodic solutions
u 3 = a 0 a 2 c 2 m 2 c 4 ( 2 m 2 1 ) cn 2 c 2 2 m 2 1 ξ , c 2 > 0 ,
u 4 = a 0 a 2 c 2 m 2 c 4 ( m 2 + 1 ) sn 2 c 2 m 2 + 1 ξ , c 2 < 0 ,
u 5 = a 0 a 2 c 2 c 4 ( 2 m 2 ) dn 2 c 2 2 m 2 ξ , c 2 > 0 ,
where
a 0 = 5 [ 370881 ( η 2 α + τ k ) k ] 1 3 1218 k , c 2 = [ 370881 ( η 2 α + τ k ) k ] 1 3 116 k 3 , c 4 = a 2 2 k 2 .
The physical characteristics of the exact solutions of sCDG-KP Equation (5) can be seen more clearly via Figure 1, Figure 2 and Figure 3. As is well known, soliton solutions are a type of localized and stable solution with broad applications in fields such as fiber optics, material physics, and nuclear physics. The Jacobi elliptic function solutions can degenerate into soliton solutions as  m 1 .

6. Conclusions

The exact solutions of high-dimensional NPDEs have always been a hot topic in the field of mathematical physics. In this paper, the Lie group method is employed to derive four infinitesimals along with their corresponding symmetry algebras for sCDG-KP Equation (5). With the help of the one-dimensional optimal system and similarity reduction, sCDG-KP Equation (5) is reduced to nine classes of  ( 1 + 1 ) -dimensional NPDEs. Furthermore, by applying the unified algebraic method, various types of exact solutions are obtained, including soliton solutions, trigonometric function solutions, and Jacobi elliptic function solutions for sCDG-KP Equation (5).

Author Contributions

Conceptualization, M.Q. and M.Y.; methodology, M.Q. and Y.W.; software, M.Q.; validation, Y.W. and M.Y.; formal analysis, M.Q.; investigation, M.Q.; resources, Y.W. and M.Y.; data curation, M.Q.; writing—original draft preparation, M.Q.; writing—review and editing, Y.W. and M.Y.; visualization, M.Q.; supervision, Y.W.; project administration, Y.W. and M.Y.; funding acquisition, M.Y. All authors have read and agreed to the published version of the manuscript.

Funding

This work was partially supported by The National Natural Science Foundation of China (Nos. 12275172 and 11905124) and the Departmental Research Grant 2023-24 (MIT/DRG04/23-24) from the Education University of Hong Kong.

Data Availability Statement

No new data were created or analyzed in this study.

Conflicts of Interest

The authors declare that there are no conflicts of interest in relation to the publication of this work.

References

  1. Rogers, C.; Schief, W.K. Bäcklund and Darboux Transformations: Geometry and Modern Applications in Soliton Theory; Cambridge University Press: Cambridge, UK, 2002. [Google Scholar]
  2. Matveev, V.B.; Salle, M.A. Darboux Transformations and Solitons; Springer: Berlin, German, 1991. [Google Scholar]
  3. Gu, C.H.; Hu, H.S.; Zhou, Z.X. Darboux Transformations in Integrable Systems: Theory and Their Applications to Geometry; Springer Science & Business Media: New York, NY, USA, 2004. [Google Scholar]
  4. Olver, P.J. Equivalence, Invariants and Symmetry; Cambridge University Press: Cambridge, UK, 1995. [Google Scholar]
  5. Hydon, P.E. Symmetry Methods for Differential Equations: A Beginner’s Guide; Cambridge University Press: Cambridge, UK, 2000. [Google Scholar]
  6. Bluman, G.W.; Cheviakov, A.F.; Anco, S.C. Applications of Symmetry Methods to Partial Differential Equations; Springer Science & Business Media: New York, NY, USA, 2010. [Google Scholar]
  7. Hirota, R. The Direct Method in Soliton Theory; Cambridge University Press: Cambridge, UK, 2004. [Google Scholar]
  8. Fan, E.G. Multiple travelling wave solutions of nonlinear evolution equations using a unified algebraic method. J. Phys. A Math. Gen. 2002, 35, 6853. [Google Scholar] [CrossRef]
  9. Lou, S.Y. Symmetries of the Kadomtsev-Petviashvili equation. J. Phys. A Math. Gen. 1993, 26, 4387. [Google Scholar] [CrossRef]
  10. Hu, X.R.; Chen, Y.; Huang, F. Symmetry analysis and explicit solutions of the (3+1)-dimensional baroclinic potential vorticity equation. Chin. Phys. B 2010, 19, 080203. [Google Scholar]
  11. Wang, G.W.; Liu, X.Q.; Zhang, Y.Y. Lie symmetry analysis to the time fractional generalized fifth-order KdV equation. Commun. Nonlinear Sci. Numer. Simul. 2013, 18, 2321–2326. [Google Scholar] [CrossRef]
  12. Sahoo, S.; Garai, G.; Saha Ray, S. Lie symmetry analysis for similarity reduction and exact solutions of modified KdV–Zakharov–Kuznetsov equation. Nonlinear Dyn. 2017, 87, 1995–2000. [Google Scholar] [CrossRef]
  13. Bansal, A.; Biswas, A.; Zhou, Q.; Babatin, M.M. Lie symmetry analysis for cubic–quartic nonlinear Schrödinger’s equation. Optik 2018, 169, 12–15. [Google Scholar] [CrossRef]
  14. Kumar, M.; Tiwari, A.K. Soliton solutions of BLMP equation by Lie symmetry approach. Comput. Math. Appl. 2018, 75, 1434–1442. [Google Scholar] [CrossRef]
  15. Biswas, A.; Vega-Guzman, J.; Bansal, A.; Kara, A.H.; Alzahrani, A.K.; Zhou, Q.; Belic, M.R. Optical dromions, domain walls and conservation laws with Kundu–Mukherjee–Naskar equation via traveling waves and Lie symmetry. Results Phys. 2020, 16, 102850. [Google Scholar] [CrossRef]
  16. Liu, F.Y.; Gao, Y.T.; Yu, X.; Li, L.Q.; Ding, C.C.; Wang, D. Lie group analysis and analytic solutions for a (2+1)-dimensional generalized Bogoyavlensky–Konopelchenko equation in fluid mechanics and plasma physics. Eur. Phys. J. Plus 2021, 136, 656. [Google Scholar] [CrossRef]
  17. Kumar, S.; Dhiman, S.K. Lie symmetry analysis, optimal system, exact solutions and dynamics of solitons of a (3+1)-dimensional generalised BKP–Boussinesq equation. Pramana-J. Phys. 2022, 96, 31. [Google Scholar] [CrossRef]
  18. Ali, M.R.; Ma, W.X.; Sadat, R. Lie symmetry analysis and invariant solutions for (2+ 1) dimensional Bogoyavlensky-Konopelchenko equation with variable-coefficient in wave propagation. J. Ocean Eng. Sci. 2022, 7, 248–254. [Google Scholar] [CrossRef]
  19. Paliathanasis, A. Symmetry analysis for the 2D aw-rascle traffic-flow model of multi-lane motorways in the Euler and Lagrange variables. Symmetry 2023, 15, 1525. [Google Scholar] [CrossRef]
  20. Rafiq, M.H.; Jhangeer, A.; Raza, N. Symmetry and complexity: A Lie symmetry approach to bifurcation, chaos, stability and travelling wave solutions of the (3+1)-dimensional Kadomtsev-Petviashvili equation. Phys. Scr. 2023, 98, 115239. [Google Scholar] [CrossRef]
  21. Wazwaz, A.M. Partial Differential Equations and Solitary Waves Theory; Springer Science & Business Media: New York, NY, USA, 2010. [Google Scholar]
  22. Kadomtsev, B.B.; Petviashvili, V.I. On the stability of solitary waves in weakly dispersing media. In Doklady Akademii Nauk; Russian Academy of Sciences: Moscow, Russia, 1970; Volume 192, pp. 753–756. [Google Scholar]
  23. Abbasbandy, S.; Zakaria, F.S. Soliton solutions for the fifth-order KdV equation with the homotopy analysis method. Nonlinear Dyn. 2008, 51, 83–87. [Google Scholar] [CrossRef]
  24. Salas, A.H.; Gómez S, C.A. Application of the Cole-Hopf transformation for finding exact solutions to several forms of the seventh-order KdV equation. Math. Probl. Eng. 2010, 2010, 194329. [Google Scholar] [CrossRef]
  25. Wazwaz, A.M. One and two soliton solutions for seventh-order Caudrey-Dodd-Gibbon and Caudrey-Dodd-Gibbon-KP equations. Open Phys. 2012, 10, 1013–1017. [Google Scholar] [CrossRef]
  26. Hu, X.R.; Li, Y.Q.; Chen, Y. A direct algorithm of one-dimensional optimal system for the group invariant solutions. J. Math. Phys. 2015, 56, 053504. [Google Scholar] [CrossRef]
  27. Miao, Q.; Hu, X.R.; Chen, Y. ONEOptimal: A Maple package for generating one-dimensional optimal system of finite dimensional Lie algebra. Commun. Theor. Phys. 2014, 61, 160. [Google Scholar] [CrossRef]
Figure 1. Single soliton solution (57a): 3D graph with  y = 1 ; 2D graph with  y = 1 , t = 0 . The parameters are selected as  k = 1 , η = 1 , τ = 1 , α = 1 , a 2 = 1 .
Figure 1. Single soliton solution (57a): 3D graph with  y = 1 ; 2D graph with  y = 1 , t = 0 . The parameters are selected as  k = 1 , η = 1 , τ = 1 , α = 1 , a 2 = 1 .
Symmetry 16 00403 g001
Figure 2. Jacobi periodic solution (58a): 3D graph with  y = 1 ; 2D graph with  y = 1 , t = 0 . The parameters are selected as  k = 1 , η = 1 , τ = 1 , α = 1 a 2 = 1 , m = 2 .
Figure 2. Jacobi periodic solution (58a): 3D graph with  y = 1 ; 2D graph with  y = 1 , t = 0 . The parameters are selected as  k = 1 , η = 1 , τ = 1 , α = 1 a 2 = 1 , m = 2 .
Symmetry 16 00403 g002
Figure 3. The modulus of the Jacobi periodic solution (58b): 3D graph with  y = 0 ; 2D graph with  y = 0 , t = 1 . The parameters are selected as  k = 1 η = 0.1 , τ = 0.2 , α = 1 , a 2 = 1 , m = 1 .
Figure 3. The modulus of the Jacobi periodic solution (58b): 3D graph with  y = 0 ; 2D graph with  y = 0 , t = 1 . The parameters are selected as  k = 1 η = 0.1 , τ = 0.2 , α = 1 , a 2 = 1 , m = 1 .
Symmetry 16 00403 g003
Table 1. Commutator table.
Table 1. Commutator table.
V 1 V 2 V 3 V 4 V 5
V 1 0000 2 11 V 1
V 2 000 V 1 8 11 V 2
V 3 000 2 α V 2 4 11 V 3
V 4 0 V 1 2 α V 2 0 6 11 V 4
V 5 2 11 V 1 8 11 V 2 4 11 V 3 6 11 V 4 0
Table 2. Adjoint table.
Table 2. Adjoint table.
V 1 V 2 V 3 V 4 V 5
V 1 V 1 V 2 V 3 V 4 2 11 ϵ V 1 + V 5
V 2 V 1 V 2 V 3 ϵ V 1 + V 4 8 11 ϵ V 2 + V 5
V 3 V 1 V 2 V 3 2 ϵ α V 2 + V 4 4 11 ϵ V 3 + V 5
V 4 V 1 ϵ V 1 + V 2 γ V 4 6 11 ϵ V 4 + V 5
V 5 e 2 11 ϵ V 1 e 8 11 ϵ V 2 e 4 11 ϵ V 3 e 6 11 ϵ V 4 0
γ = α ϵ 2 V 1 2 α ϵ V 2 + V 3 .
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Qin, M.; Wang, Y.; Yuen, M. Optimal System, Symmetry Reductions and Exact Solutions of the (2 + 1)-Dimensional Seventh-Order Caudrey–Dodd–Gibbon–KP Equation. Symmetry 2024, 16, 403. https://doi.org/10.3390/sym16040403

AMA Style

Qin M, Wang Y, Yuen M. Optimal System, Symmetry Reductions and Exact Solutions of the (2 + 1)-Dimensional Seventh-Order Caudrey–Dodd–Gibbon–KP Equation. Symmetry. 2024; 16(4):403. https://doi.org/10.3390/sym16040403

Chicago/Turabian Style

Qin, Mengyao, Yunhu Wang, and Manwai Yuen. 2024. "Optimal System, Symmetry Reductions and Exact Solutions of the (2 + 1)-Dimensional Seventh-Order Caudrey–Dodd–Gibbon–KP Equation" Symmetry 16, no. 4: 403. https://doi.org/10.3390/sym16040403

APA Style

Qin, M., Wang, Y., & Yuen, M. (2024). Optimal System, Symmetry Reductions and Exact Solutions of the (2 + 1)-Dimensional Seventh-Order Caudrey–Dodd–Gibbon–KP Equation. Symmetry, 16(4), 403. https://doi.org/10.3390/sym16040403

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop