1 Introduction

In recent years many nonlinear evolution equations (NLEEs) have been used to model many real world problems in various fields of science and engineering. Thus, finding exact explicit solutions of NLEEs is a very important endeavor. It is also true that finding solutions of NLEEs is a difficult task, and only in few special cases one can write down the explicit solutions. However, despite of this fact, various methods of solving NLEEs have been proposed in the literature recently. Some of the most important methods found in the literature include the ansatz method [1], [2], the Weierstrass elliptic function expansion method [3], the Darboux transformation [4], Hirota’s bilinear method [5], the ( G /G)-expansion method [6], the Jacobi elliptic function expansion method [7], [8], the inverse scattering transform method [9], the homogeneous balance method [10], the Bäcklund transformation [11], the F-expansion method [12], the exp-function method [13], the multiple exp-function method [14], the variable separation approach [15], the sine-cosine method [16], the tri-function method [17], [18], and the Lie symmetry method [19]–[25].

In this paper we study the coupled Drinfeld-Sokolov-Satsuma-Hirota (DSSH) system

u t 6 u u x + u x x x 6 v x = 0 , v t 2 v x x x + 6 u v x = 0 .
(1)

This system was introduced independently by Drinfeld and Sokolov [26], and by Satsuma and Hirota [27]. The coupled DSSH system [26] was given as one of numerous examples of nonlinear equations possessing Lax pairs of a special form. Also, the coupled DSSH system [27] was found as a special case of the four-reduction of the KP hierarchy, and its explicit one-soliton solution was constructed. Gürses and Karasu [28] found a recursion operator and a bi-Hamiltonian structure for (1). Wazwaz [29] used three distinct methods, namely the Cole-Hopf transformation, Hirota’s bilinear and the exp-function methods, and obtained solitons, multiple soliton solutions, multiple singular soliton solutions, and plane periodic solutions. Zheng [30] used the ( G /G)-expansion method and obtained traveling wave solutions of (1).

In this paper we firstly perform symmetry reductions of (1) using Lie group analysis [19]–[24], which are based on the optimal systems of one-dimensional subalgebras. The simplest equation method [31] and the Jacobi elliptic function method [32] are later employed to obtain some exact solutions of (1). In addition to this, conservation laws are derived for (1) using the new conservation theorem [33] and the multiplier method [34].

It is well known that the conservation laws play a very important role in the solution process of differential equations. Also, one can safely say that the existence of a large number of conservation laws of a system of partial differential equations is a strong indication of its integrability [19]. Recently, conservation laws have been used to find exact solutions of certain partial differential equations [35], [36].

2 Symmetry analysis of (1)

The symmetry group of the coupled DSSH system (1) will be generated by the vector field of the form

X= ξ 1 (t,x,u,v) t + ξ 2 (t,x,u,v) x + η 1 (t,x,u,v) u + η 2 (t,x,u,v) v .

The application of the third prolongation pr ( 3 ) X to (1) results in an overdetermined system of linear partial differential equations. The general solution of these equations with the aid of Maple is given by

ξ 1 ( t , x , u , v ) = C 1 + 3 t C 4 , ξ 2 ( t , x , u , v ) = C 2 + x C 4 , η 1 ( t , x , u , v ) = 2 C 4 u , η 2 ( t , x , u , v ) = C 3 4 v C 4 ,

where C i , i=1,,4, are arbitrary constants. The above general solution contains four arbitrary constants, and hence the infinitesimal symmetries of (1) form the four-dimensional Lie algebra spanned by the following linearly independent operators:

X 1 = t , X 2 = x , X 3 = v , X 4 =3t t +x x 2u u 4v v .

2.1 Optimal system of one-dimensional subalgebras

In this subsection we present the optimal system of one-dimensional subalgebras for equation (1) to obtain the optimal system of group-invariant solutions. The method which we use here for obtaining the optimal system of one-dimensional subalgebras is given in [20]. The adjoint transformations are given by

Ad ( exp ( ε X i ) ) X j = X j ε[ X i , X j ]+ 1 2 ε 2 [ X i , [ X i , X j ] ] .

The commutator table of the Lie point symmetries of equation (1) and the adjoint representations of the symmetry group of (1) on its Lie algebra are given in Table 1 and Table 2, respectively. Table 1 and Table 2 are then used to construct the optimal system of one-dimensional subalgebras for equation (1).

Table 1 Commutator table of the Lie algebra of equation ( 1 )
Table 2 Adjoint table of the Lie algebra of equation ( 1 )

From Tables 1 and 2 and following [20], one can obtain an optimal system of one-dimensional subalgebras given by { X 4 ,b X 1 +c X 2 +d X 3 }, where b,c,d=0,±1.

2.2 Symmetry reductions of (1)

In this subsection we use the optimal system of one-dimensional subalgebras calculated above to obtain symmetry reductions.

Case 1. X 4

The operator X 4 gives rise to the group-invariant solution

u= t 2 3 F(z),v= t 4 3 G(z),
(2)

where z=x t 1 / 3 is an invariant of the symmetry X 4 . Substitution of (2) into (1) results in the system of ordinary differential equations (ODEs), where F and G satisfy

4 G ( z ) + 6 G ( z ) 18 F ( z ) G ( z ) + z G ( z ) = 0 , 2 F ( z ) 3 F ( z ) + z F ( z ) + 18 F ( z ) F ( z ) + 18 G ( z ) = 0 .

Case 2. b X 1 +c X 2 +d X 3 ; b,c,d=0,±1

The symmetry b X 1 +c X 2 +d X 3 gives rise to the group-invariant solution

u=F(z),v=G(z)+td/b,
(3)

where z=(bxct)/b is an invariant of the symmetry b X 1 +c X 2 +d X 3 . The insertion of (3) into (1) results in the system of ODEs

6 b F ( z ) F ( z ) + c F ( z ) b F ( z ) + 6 b G ( z ) = 0 , c G ( z ) 6 b F ( z ) G ( z ) + 2 b G ( z ) d = 0 .

3 Exact solutions of (1) using the simplest equation method

Taking the linear combination of the translation symmetries, viz. X 1 +λ X 2 , and solving the corresponding Lagrange system for the symmetry X 1 +λ X 2 , one obtains an invariant z=xλt and the group-invariant solution of the form

u=F(z),v=G(z),
(4)

where the functions F and G satisfy

F (z)λ F (z)6F(z) F (z)6 G (z)=0,
(5a)
6F(z) G (z)2 G (z)λ G (z)=0.
(5b)

Now we use the simplest equation method [25], [31] to solve system (5a)-(5b); and as a result, we obtain the exact solutions of our coupled DSSH system (1). Bernoulli and Riccati equations will be used as the simplest equations.

Let us consider the solutions of (5a)-(5b) in the form

F(z)= i = 0 M A i ( H ( z ) ) i ,G(z)= i = 0 N B i ( H ( z ) ) i ,
(6)

where H(z) satisfies the Bernoulli or Riccati equation, M and N are positive integers that can be determined by a balancing procedure and A i ’s and B i ’s are parameters to be determined.

3.1 Solutions of (1) using the Bernoulli equation as the simplest equation

The balancing procedure gives M=2 and N=4, and hence the solutions of (5a)-(5b) are of the form

F(z)= A 0 + A 1 H+ A 2 H 2 ,
(7a)
G(z)= B 0 + B 1 H+ B 2 H 2 + B 3 H 3 + B 4 H 4 .
(7b)

Substituting (7a)-(7b) into (5a)-(5b) and making use of the Bernoulli equation [25] and then equating the coefficients of the functions H i to zero, we obtain an algebraic system of equations in terms of A i (i=0,1,2) and B i (i=0,1,2,3,4). Solving the resultant system of algebraic equations with the aid of Maple, one possible set of values of A i and B i is as follows:

λ = 7 2 a 2 , A 0 = 11 12 a 2 , A 1 = 10 a b , A 2 = 10 b 2 , B 1 = 40 3 a 3 b , B 2 = 160 3 a 2 b 2 , B 3 = 80 b 3 a , B 4 = 40 b 4 .

As a result, a solution of (1) is

u ( t , x ) = A 0 + A 1 a { cosh [ a ( z + C ) ] + sinh [ a ( z + C ) ] 1 b cosh [ a ( z + C ) ] b sinh [ a ( z + C ) ] } + A 2 a 2 { cosh [ a ( z + C ) ] + sinh [ a ( z + C ) ] 1 b cosh [ a ( z + C ) ] b sinh [ a ( z + C ) ] } 2 ,
(8a)
v ( t , x ) = B 0 + B 1 a { cosh [ a ( z + C ) ] + sinh [ a ( z + C ) ] 1 b cosh [ a ( z + C ) ] b sinh [ a ( z + C ) ] } + B 2 a 2 { cosh [ a ( z + C ) ] + sinh [ a ( z + C ) ] 1 b cosh [ a ( z + C ) ] b sinh [ a ( z + C ) ] } 2 + B 3 a 3 { cosh [ a ( z + C ) ] + sinh [ a ( z + C ) ] 1 b cosh [ a ( z + C ) ] b sinh [ a ( z + C ) ] } 3 + B 4 a 4 { cosh [ a ( z + C ) ] + sinh [ a ( z + C ) ] 1 b cosh [ a ( z + C ) ] b sinh [ a ( z + C ) ] } 4 ,
(8b)

where z=xλt. The profile of solution (8a)-(8b) is given in Figure 1.

Figure 1
figure 1

Profile of ( 8a )-( 8b ).

3.2 Solutions of (1) using the Riccati equation as the simplest equation

In this case the balancing procedure also gives the same values of M and N, i.e., M=2 and N=4. Thus the solutions of (5a)-(5b) are of the form

F(z)= A 0 + A 1 H+ A 2 H 2 ,
(9a)
G(z)= B 0 + B 1 H+ B 2 H 2 + B 3 H 3 + B 4 H 4 .
(9b)

Substituting (9a)-(9b) into (5a)-(5b) and making use of the Riccati equation [25], we obtain an algebraic system of equations in terms of A i and B i . Solving the resultant system, one possible set of values is as follows:

λ = 7 200 ( 400 a 3 c A 1 2 a 2 ) , A 0 = 7 , 600 a 3 c + 11 A 1 2 1 , 200 a 2 , A 1 = 10 a b , A 2 = 10 a 2 , B 1 = A 1 ( 200 a 3 c + A 1 2 ) 75 a 2 , B 2 = 8 15 A 1 2 80 3 a 3 c , B 3 = 8 a 2 A 1 , B 4 = 40 a 4 .

Hence solutions of (1) are

u ( t , x ) = A 0 + A 1 { b 2 a θ 2 a tanh [ 1 2 θ ( z + C ) ] } + A 2 { b 2 a θ 2 a tanh [ 1 2 θ ( z + C ) ] } 2 ,
(10a)
v ( t , x ) = B 0 + B 1 { b 2 a θ 2 a tanh [ 1 2 θ ( z + C ) ] } + B 2 { b 2 a θ 2 a tanh [ 1 2 θ ( z + C ) ] } 2 + B 3 { b 2 a θ 2 a tanh [ 1 2 θ ( z + C ) ] } 3 + B 4 { b 2 a θ 2 a tanh [ 1 2 θ ( z + C ) ] } 4
(10b)

and

u ( t , x ) = A 0 + A 1 { b 2 a θ 2 a tanh ( 1 2 θ z ) + sech ( θ z 2 ) C cosh ( θ z 2 ) 2 a θ sinh ( θ z 2 ) } + A 2 { b 2 a θ 2 a tanh ( 1 2 θ z ) + sech ( θ z 2 ) C cosh ( θ z 2 ) 2 a θ sinh ( θ z 2 ) } 2 ,
(11a)
v ( t , x ) = B 0 + B 1 { b 2 a θ 2 a tanh ( 1 2 θ z ) + sech ( θ z 2 ) C cosh ( θ z 2 ) 2 a θ sinh ( θ z 2 ) } + B 2 { b 2 a θ 2 a tanh ( 1 2 θ z ) + sech ( θ z 2 ) C cosh ( θ z 2 ) 2 a θ sinh ( θ z 2 ) } 2 + B 3 { b 2 a θ 2 a tanh ( 1 2 θ z ) + sech ( θ z 2 ) C cosh ( θ z 2 ) 2 a θ sinh ( θ z 2 ) } 3 + B 4 { b 2 a θ 2 a tanh ( 1 2 θ z ) + sech ( θ z 2 ) C cosh ( θ z 2 ) 2 a θ sinh ( θ z 2 ) } 4 ,
(11b)

where z=xλt.

3.3 Solutions of (1) in terms of Jacobi elliptic functions

We now present exact solutions of the coupled DSSH system (1) that are expressed in Jacobi elliptic functions. The cosine-amplitude function cn(z|ω) and the sine-amplitude function sn(z|ω) satisfy the first-order differential equations

H (z)= { ( 1 H 2 ( z ) ) ( 1 ω + ω H 2 ( z ) ) } 1 2
(12)

and

H (z)= { ( 1 H 2 ( z ) ) ( 1 ω H 2 ( z ) ) } 1 2 ,
(13)

respectively [32], [37].

Treating the above first-order ODEs as our simplest equations and then proceeding as before, we obtain the cnoidal and snoidal wave solutions that are given by

u(t,x)= A 0 + A 1 cn(z|ω)+ A 2 cn 2 (z|ω),
(14a)
v(t,x)= B 0 + B 1 cn(z|ω)+ B 2 cn 2 (z|ω)+ B 3 cn 3 (z|ω)+ B 4 cn 4 (z|ω),
(14b)

where

λ = 42 k 280 ω + 140 , A 0 = k , A 1 = 10 ω , A 2 = 0 , B 1 = 0 , B 2 = 80 k ω 480 ω 2 + 240 ω , B 3 = 0 , B 4 = 40 ω 2 , k  is any root of  3 k 2 + ( 40 ω + 20 ) k + 133 ω 2 133 ω + 33 ω = 0

and

u ( t , x ) = A 0 + A 1 sn ( z | ω ) + A 2 sn 2 ( z | ω ) , v ( t , x ) = B 0 + B 1 sn ( z | ω ) + B 2 sn 2 ( z | ω ) + B 3 sn 3 ( z | ω ) + B 4 sn 4 ( z | ω ) ,

where

λ = 42 k + 140 ω + 140 , A 0 = k ( ν + 4 ω + 4 ) , A 1 = 0 , A 2 = 10 ω , B 1 = 0 , B 2 = 80 k ω 240 ω 2 240 ω , B 3 = 0 , B 4 = 40 ω 2 , k  is any root of  3 k 2 + ( 20 ω + 20 ) k + 33 ω 2 + 67 ω + 33 = 0 ,

and z=xνt. The profile of solution (14a)-(14b) is given in Figure 2.

Figure 2
figure 2

Profile of cniodal waves ( 14a )-( 14b ).

4 Conservation laws

In this section we construct conservation laws for the coupled Drinfeld-Sokolov-Satsuma-Hirota system (1). The new conservation theorem due to Ibragimov [33] and the multiplier method [34] will be used. For the notations used in this section, the reader is referred to [33].

4.1 Construction of conservation laws using the new conservation theorem

In this subsection we construct conservation laws for (1) by applying the new conservation theorem [33].

The coupled DSSH system together with its adjoint equation is given by

E α 1 u t 6 u u x + u x x x 6 v x = 0 , E α 2 v t 2 v x x x + 6 u v x = 0 ,
(15)
E α 1 p t + 6 u p x p x x x + 6 q v x = 0 , E α 2 q t 6 u q x + 2 q x x x + 6 p x 6 q u x = 0 .
(16)

One can easily verify that the third-order Lagrangian for the system of equations (15) and (16) is given by

L=p( u t 6u u x + u x x x 6 v x )+q( v t 2 v x x x +6u v x ).
(17)

We recall that the coupled DSSH system admits the following four Lie point symmetries:

X 1 = t , X 2 = x , X 3 = v , X 4 =3t t +x x 2u u 4v v .

Thus we have the following four cases:

  1. (i)

    For the Lie point symmetry X 1 = t , the corresponding Lie characteristic functions are W 1 = u t and W 2 = v t . Thus, by using Ibragimov’s theorem [33], the components of the conserved vector are given by

    T 1 t = 6 p u x u + p u x x x 6 p v x + 6 q u v x 2 q v x x x , T 1 x = 6 p u u t p u t x x + 6 p v t 6 q u v t + 2 q v t x x u t p x x + p x u t x + 2 v t q x x 2 q x v t x .
  1. (ii)

    The Lie point symmetry X 2 = x has the Lie characteristic functions that are given by W 1 = u x and W 2 = v x . Hence, by the application of Ibragimov’s theorem [33], the conserved vector ( T 2 t , T 2 x ) is given by

    T 2 t = p u x q v x , T 2 x = p u t + q v t u x p x x + p x u x x + 2 v x q x x 2 q x v x x .
  1. (iii)

    The symmetry generator X 3 = v has the Lie characteristic functions given by W 1 =0 and W 2 =1, and hence in this case one can obtain the conserved vector whose components are

    T 3 t = q , T 3 x = 6 p + 6 u q 2 q x x .
  1. (iv)

    Finally, we consider the symmetry generator X 4 =3t t x x +2u u +4v v , which has the Lie characteristic functions W 1 =2u+3t u t +x u x and W 2 =4v+3t v t +x v x . By invoking Ibragimov’s theorem [33], the components of the conserved vector are given by

    T 4 t = 18 t p u u x + x p u x 3 t p u x x x + 18 t p v x 18 t q u v x + x q v x + 6 t q v x x x + 2 p u + 4 q v , T 4 x = 2 u p x x 18 t p u u t + 4 p u x x x p u t + 3 t p u t x x 18 t p v t + 18 t q u v t 8 v q x x 12 q v x x x q v t 6 t q v t x x 12 u 2 p 24 p v + 24 q u v + 3 t u t p x x 3 t p x u t x 3 p x u x + x u x p x x x p x u x x 6 t v t q x x + 6 t q x v t x + 10 q x v x 2 x v x q x x + 2 x q x v x x .

4.2 Construction of conservation laws using the multiplier method

Here we use the multiplier method [34] to construct conservation laws for the coupled DSSH system (1). The second-order multipliers Λ 1 = Λ 1 (t,x,u,v, u x , v x , u x x , v x x ) and Λ 2 = Λ 2 (t,x,u,v, u x , v x , u x x , v x x ) are given by

Λ 1 = 1 2 ( 3 u 2 u x x + 2 v ) C 2 + C 1 t u + C 3 u + 1 6 C 1 x , Λ 2 = C 2 u + C 1 t + C 3 ,

where C i , i=1,,3, are arbitrary constants. Corresponding to the above multipliers, we obtain the following three local conserved vectors of (1):

T 1 t = 1 6 { 3 t u 2 + x u + 6 t v } , T 1 x = 1 6 { 6 t u x x u 12 t u 3 3 x u 2 6 x v 3 t u x 2 12 t v x x u x + x u x x } ; T 2 t = 1 4 { u x x u + 4 u v + 2 u 3 } , T 2 x = 1 4 { 8 v x x u + 4 u x x v + 6 u x x u 2 + u u t x 12 u 2 v 9 u 4 12 v 2 u t u x + 8 u x v x u x x 2 } ;

and

T 3 t = 1 2 { u 2 + 2 v } , T 3 x = 1 2 { 2 u x x u 4 u 3 u x 2 4 v x x } .

Remark

It should be noted that higher-order conservation laws of (1) can be computed by increasing the order of the multipliers.

5 Concluding remarks

In this paper firstly we obtained the solutions of the Drinfeld-Sokolov-Satsuma-Hirota equation by employing Lie group analysis together with the simplest and Jacobi elliptic equation methods. Also symmetry reductions were obtained based on the optimal systems of one-dimensional subalgebras. The exact solutions obtained were traveling wave solutions, cnoidal and snoidal wave solutions. Furthermore, the conservation laws for the underlying equation were derived by using two different approaches, namely the new conservation theorem and the multiplier method. The importance of the conservation laws was explained in the introduction.