Introduction

In the recent decade, the study of nonlinear partial differential equations in modelling physical phenomena has become an important tool. Nonlinear phenomena play a fundamental role in applied mathematics and physics. Also, the investigation of the travelling wave solutions plays an important role in nonlinear sciences. A variety of powerful methods has been presented, such as the inverse scattering transform [1], Hirota’s bilinear method [2], sine-cosine method [3], homotopy perturbation method [4], homotopy analysis method [5, 6], variational iteration method [7, 8], tanh-function method [9, 10], Bäcklund transformation [11], and ( G G )-expansion method [12, 13]. Here we use an effective method for constructing a range of exact solutions for the following nonlinear partial differential equations which was first presented by He [14]. A new method called the Exp-function method (EFM) is presented to look for travelling wave solutions of nonlinear evolution equations. The EFM has successfully been applied to many situations. For example, He and Wu [15] have solved the nonlinear wave equations by EFM. He and Abdou [16] have used EFM to give new periodic solutions for nonlinear evolution equations. By applying EFM, generalized solitary solution and compacton-like solution of the Jaulent-Miodek equations have been obtained by He [17]. Abdou [18] has solved the generalized solitonary and periodic solutions for nonlinear partial differential equations by EFM. Manafian and Bagheri [19] have applied EFM for the modified KdV and the generalized KdV equations. Authors of [20] have studied the periodic solutions and compacton-like solutions using EFM. The EFM has been applied to nonlinear equations by Wu and He [21]. Zhu [22] also examined the hybrid-lattice system by using EFM. The EFM has recently been used by Zhang [23] in the high-dimensional nonlinear evolution equation. The positive and negative models of the Gardner equation [24, 25], or the combined KdV-mKdV equations, are given by

u t +6u u x ±6 u 2 u x + u xxx =0,
(1.1)

which describe internal solitary waves in shallow seas. Those two models will be classified as positive Gardner equation and negative Gardner equation depending on the sign of the cubic nonlinear term. The Gardner equation (Equation 1.1), like the KdV and the mKdV equation, is completely integrable with a Lax pair and inverse scattering transform [26]. Kadomtsov and Petviashivilli extended the KdV equation to obtain the Kadomtsov-Petviashivilli (KP) equation

( u t + 6 u u x + u xxx ) x + u yy =0.
(1.2)

Kadomtsov and Petviashivilli relaxed the restriction that the waves be strictly one-dimensional [26], namely, the x-direction of the KdV equation, to derive the completely integrable KP in Equation 1.2. In this article, we used EFM to investigate the Gardner-KP (GKP) equations [26] given by

( u t + 6 u u x ± 6 u 2 u x + u xxx ) x + u yy =0
(1.3)

that will be shown to be completely integrable. We want to obtain the analytical solutions of nonlinear combined KdV-mKdV and GKP equations and to determine the accuracy of the EFM in solving these kinds of problems. The article is organized as follows: in the section ‘Basic idea of Exp-function method’, first we briefly give the steps of the method and apply the method to solve nonlinear partial differential equations; in sections ‘The combined KdV-mKdV equations’ and ‘The Gardner-KP equations’, we examine the combined KdV-mKdV equations and the GKP equations, respectively; and a conclusion is given in the ‘Conclusions’ section.

Methods

Basic idea of Exp-function method

We first consider the nonlinear equation of the form

N(u, u t , u x , u xx ,, u yy , u tt , u tx , u ty ,..)=0,
(2.1)

and introduce the transformation

u(x,y,t)=u(η),η=x+yct,
(2.2)

where c is constant to be determined later. Therefore Equation 2.1 is reduced to an ordinary differential equation (ODE) as

M(u,c u , u , u , u ,)=0.
(2.3)

EFM is based on the assumption that the travelling wave solutions in [15] can be expressed in the form

u(η)= n = c d a n exp ( n η ) m = p q b m exp ( m η ) ,
(2.4)

where c, d, p, and q are positive integers which could be freely chosen, a n and b m are unknown constants to be determined. To determine the values of c and p, we balance the linear term of highest order in Equation 2.3 with the highest-order nonlinear term. Also, to determine the values of d and q, we balance the linear term of lowest order in Equation 2.3 with the lowest-order nonlinear term.

The combined KdV-mKdV equations

In this section, we employ the Exp-function method to the combined KdV-mKdV equation

u t +6u u x ±6 u 2 u x + u xxx =0
(3.1)

and we use the transformation u=v 1 2 to convert the model 3.1 into the modified KdV equations as

v t 3 2 v x ±6 v 2 v x + v xxx =0.
(3.2)

This shows that the Gardner equation, like the modified KdV equation, is completely integrable. The Gardner equation was first derived rigorously within the asymptotic theory for long internal waves in a two-layer fluid with a density jump at the interface. The competition among dispersion, quadratic, and cubic nonlinearities constitutes the main interest of this equation [26]. The Gardner equation has been investigated in the literature because it is used to model a variety of nonlinear phenomena.

Case 1: positive Gardner equation

We use the equation

u t +6u u x +6 u 2 u x + u xxx =0,
(3.3)

and we use transformation

u=v 1 2
(3.4)

to convert the model 3.3 into the modified KdV equation of

v t 3 2 v x +6 v 2 v x + v xxx =0,
(3.5)

and by using the wave variable η = xct reduces it to an ODE

c + 3 2 v+2 v 3 + v =0,
(3.6)

in which Equation 3.6 is obtained by integrating and neglecting the constant of integration. In order to the determine values of c and p, we balance the linear term of the highest order v′′ with the highest order nonlinear term v3 in Equation 3.6 to get

v = c 1 exp ( ( c + 3 p ) η ) + c 2 exp ( 4 p η ) +
(3.7)

and

v 3 = c 3 exp ( 3 c η ) + c 4 exp ( 3 p η ) + = c 3 exp ( ( 3 c + p ) η ) + c 4 exp ( 4 p η ) + ,
(3.8)

respectively. Balancing the highest order of the Exp-function in 3.7 and 3.8 and getting c + 3p = 3c + p lead to the result of c = p. Similarly, to determine the values of d and q for the terms v′′and v3 in Equation 3.6 by simple calculation, we obtain

v = + d 1 exp ( ( d + 3 q ) η ) + d 2 exp ( 4 q η )
(3.9)

and

v 3 = + d 3 exp ( 3 d η ) + d 4 exp ( 3 q η ) = + d 3 exp ( ( 3 d + q ) η ) + d 4 exp ( 4 q η ) ,
(3.10)

respectively. By balancing the highest order of EFM in 3.9 and 3.10 gives us −(d + 3q) = − (3d + q), which leads to the result d = q. For simplicity, we set p = c = 1 and d = q = 1. Then Equation 2.4 reduces to

v(η)= a 1 exp ( η ) + a 0 + a 1 exp ( η ) b 1 exp ( η ) + b 0 + b 1 exp ( η ) .
(3.11)

By substituting Equation 3.11 into Equation 3.6 and by using the well-known Maple software, we will have

1 A C 3 exp ( 3 η ) + C 2 exp ( 2 η ) + C 1 exp ( η ) + C 0 + C 1 exp ( η ) + C 2 exp ( 2 η ) + C 3 exp ( 3 η ) = 0 ,
(3.12)

where

A= [ b 1 exp ( η ) + b 0 + b 1 exp ( η ) ] 3 ,
(3.13)

and C n s are coefficients of exp()s. By equating the coefficients of exp() to zero, we obtain the following set of algebraic equations for a1,a0,a−1,b1,b0,b−1, and c, as

C 3 = 0 , C 2 = 0 , C 1 = 0 , C 0 = 0 , C 3 = 0 , C 2 = 0 , C 1 = 0 .
(3.14)

Solving this system of algebraic equations with the help of Maple gives the following sets of non-trivial solutions:

  1. (I)

    The first set is

    a 1 = 0 , a 1 = 0 , a 0 = a 0 , b 0 = 0 , b 1 = b 1 , b 1 = a 0 2 4 b 1 , c = 1 2 ,
    (3.15)
    v 1 (x,t)= a 0 b 1 exp ( x 1 2 t ) + a 0 2 4 b 1 exp ( x + 1 2 t ) .
    (3.16)

If we choose a0 = 2 b− 1, then by using 3.4, we would get

v 1 , 1 ( x , t ) = sech x + 1 2 t , u 1 , 1 ( x , t ) = 1 2 + sech x + 1 2 t .
(3.17)
  1. (II)

    The second set is

    a 1 = ± 1 2 i b 1 , a 1 = 0 , a 0 = a 0 , b 0 = ± 2 i a 0 , b 1 = b 1 , b 1 = 0 , c = 2 ,
    (3.18)
    v 2 (x,t)=± i 2 b 1 exp ( x 2 t ) 2 i a 0 b 1 exp ( x 2 t ) ± 2 i a 0 .
    (3.19)

If we choose b−1 = 2i a0, then by using 3.4, we would get

v 2 , 1 ( x , t ) = i 2 tanh x + 2 t 2 , v 2 , 2 ( x , t ) = i 2 coth x + 2 t 2 ,
(3.20)
u 2 , 1 ( x , t ) = 1 2 i 2 tanh x + 2 t 2 , u 2 , 2 ( x , t ) = 1 2 + i 2 coth x + 2 t 2 .
(3.21)
  1. (III)

    The third set is

    a 1 = ± i b 1 , a 1 = a 1 , a 0 = 0 , b 0 = 0 , b 1 = ± i a 1 , b 1 = b 1 , c = 7 2 ,
    (3.22)
    v 3 (x,t)=±i b 1 exp ( x ct ) i a 1 b 1 exp ( x ct ) ± i a 1 .
    (3.23)

If we choose b1 = i a−1, then by using 3.4, we would get

v 3 , 1 ( x , t ) = i tanh x + 7 2 t , v 3 , 2 ( x , t ) = i coth x + 7 2 t ,
(3.24)
u 3 , 1 ( x , t ) = 1 2 + i tanh x + 7 2 t , u 3 , 2 ( x , t ) = 1 2 i coth x + 7 2 t .
(3.25)
  1. (IV)

    The forth set is

    a 1 = 1 16 b 0 2 + 4 a 0 2 a 1 , a 1 = a 1 , a 0 = a 0 , b 0 = b 0 , b 1 = ± 2 i a 1 , c = 2 ,
    (3.26)
    b 1 = 1 8 b 0 2 + 4 a 0 2 a 1 i , v 5 ( x , t ) = a 1 exp ( x + ct ) + a 0 + 1 16 b 0 2 + 4 a 0 2 a 1 exp ( x ct ) ± 2 i a 1 exp ( x + ct ) + b 0 1 8 b 0 2 + 4 a 0 2 a 1 i exp ( x ct ) .

Notice that if u(x,t)=v(x,t) 1 2 , we would have

u 5 ( x , t ) = 1 2 + a 1 exp ( x 2 t ) + a 0 + 1 16 b 0 2 + 4 a 0 2 a 1 exp ( x + 2 t ) ± 2 i a 1 exp ( x 2 t ) + b 0 1 8 b 0 2 + 4 a 0 2 a 1 i exp ( x + 2 t ) .
(3.27)

Case 2: negative Gardner equation

Let

u t +6u u x 6 u 2 u x + u xxx =0
(3.28)

and use the transformation

u=v+ 1 2 ,
(3.29)

which converts the model 3.28 into the modified KdV equation

v t + 3 2 v x 6 v 2 v x + v xxx =0
(3.30)

and by using the wave variable η = xct reduces it to an ODE

c 3 2 v2 v 3 + v =0,
(3.31)

in which Equation 3.31 is obtained by integrating and neglecting the constant term of integration. By manipulating the above procedure, we get the following sets.

  1. (I)

    The first set is

    a 1 = 0 , a 1 = a 1 , a 0 = a 0 , b 0 = 2 a 0 , b 1 = 2 a 1 , b 1 = 0 , c = 1 ,
    (3.32)
    v 1 (x,t)= a 1 exp ( x + t ) + a 0 2 a 1 exp ( x + t ) + 2 a 0 .
    (3.33)

If we choose a0 = a−1, then by using 3.29, we would get

v 1 , 1 ( x , t ) = 1 2 coth x t 2 , u 1 , 1 ( x , t ) = 1 2 + 1 2 coth x t 2 .
(3.34)
  1. (II)

    The second set is

    a 1 = 0 , a 1 = 0 , a 0 = a 0 , b 0 = 0 , b 1 = b 1 , b 1 = 1 4 a 0 2 b 1 , c = 5 2 ,
    (3.35)
    v 2 ( x , t ) = a 0 b 1 exp ( x + 5 2 t ) 1 4 a 0 2 b 1 exp ( x 5 2 t ) .
    (3.36)

If we choose 2b−1 = a0, then by using 3.29, we would get

v 2 , 1 ( x , t ) = csch x 5 2 t , u 2 , 1 ( x , t ) = 1 2 csch x 5 2 t .
(3.37)
  1. (III)

    The third set is

    a 1 = 1 16 b 0 2 4 a 0 a 1 , a 1 = a 1 , a 0 = a 0 , b 0 = b 0 , b 1 = 1 8 b 0 2 4 a 0 a 1 ,
    (3.38)
    b 1 = 2 a 1 , c = 1 , v 3 ( x , t ) = 1 16 b 0 2 4 a 0 a 1 exp ( x + t ) + a 0 + a 1 exp ( x t ) 1 8 b 0 2 4 a 0 a 1 exp ( x + t ) + b 0 2 a 1 exp ( x t ) .

Notice that if u(x,t)=v(x,t)+ 1 2 , we would obtain

u 3 ( x , t ) = 1 2 + 1 16 b 0 2 4 a 0 a 1 exp ( x + t ) + a 0 + a 1 exp ( x t ) 1 8 b 0 2 4 a 0 a 1 exp ( x + t ) + b 0 2 a 1 exp ( x t ) .
(3.39)
  1. (IV)

    The fourth set is

    a 1 = a 1 , a 1 = a 1 , a 0 =0, b 0 =0, b 1 = a 1 ,c= 1 2 ,
    (3.40)
    b 1 = a 1 , v 4 ( x , t ) = a 1 exp ( x 1 2 t ) + a 1 exp ( x + 1 2 t ) a 1 exp ( x 1 2 t ) a 1 exp ( x + 1 2 t ) .

If we choose a−1 = a1, then by using 3.29, we would get

v 4 ( x , t ) = coth x + 1 2 t , u 4 ( x , t ) = 1 2 coth x + 1 2 t ,
(3.41)

which are the exact solutions of the combined KdV-mKdV equation. We obtain solitary wave and complex wave solutions for the combined KdV-mKdV equation. It can be seen that the results are the same as the results in [26].

Results and discussion

The Gardner-KP equations

In this section, we study the Gardner-KP equations with EFM as

( u t + 6 u u x ± 6 u 2 u x + u xxx ) x + u yy =0,
(4.1)

and we use transformation u=v 1 2 to convert the model 4.1 into the Gardner-KP equation

( v t 3 2 v x ± 6 v 2 v x + v xxx ) x + v yy =0.
(4.2)

This shows that the positive GKP equation is completely integrable like the modified KdV equation.

Case 1:positive Gardner-KP equation

Consider

( u t + 6 u u x + 6 u 2 u x + u xxx ) x + u yy =0,
(4.3)

and we use the transformation

u=v 1 2
(4.4)

to reduce to the model 4.3 into the Gardner-KP equation as

( v t 3 2 v x + 6 v 2 v x + v xxx ) x + v yy =0
(4.5)

and by using the wave variable η = x + yct reduces it to an ODE of

c + 1 2 v+2 v 3 + v =0,
(4.6)

in which Equation 4.6 is obtained by integrating and neglecting the constant term of integration. In order to the determine values of c and p, we balance v′′with v3 in Equation 4.6 to get

v ′′ = c 1 exp ( ( c + 3 p ) η ) + c 2 exp ( 4 p η ) +
(4.7)

and

v 3 = c 3 exp ( 3 c η ) + c 4 exp ( 3 p η ) + = c 3 exp ( ( 3 c + p ) η ) + c 4 exp ( 4 p η ) + ,
(4.8)

respectively. By balancing the highest order of EFM in 4.7 and 4.8, we will have c + 3p = 3 c + p which leads to the result c = p. Similarly, to determine values of d and q for the terms v′′and v3 in Equation 4.6, by simple calculation we obtain

v = + d 1 exp ( ( d + 3 q ) η ) + d 2 exp ( 4 q η )
(4.9)

and

v 3 = + d 3 exp ( 3 d η ) + d 4 exp ( 3 q η ) = + d 3 exp ( ( 3 d + q ) η ) + d 4 exp ( 4 q η ) ,
(4.10)

respectively. By balancing the highest order of EFM in 4.9 and 4.10, we have −(d + 3q) = −(3d + q) which leads to the result d = q. Moreover, by substituting Equation 3.11 into Equation 4.6, using the well-known Maple software, and applying the same manipulation as illustrated above, we have the following set of solutions.

  1. (I)

    The first set is

    a 1 = 0 , a 1 = 0 , a 0 = a 0 , b 0 = 0 , b 1 = b 1 , b 1 = a 0 2 4 b 1 , c = 1 2 ,
    (4.11)
    v 1 ( x , y , t ) = a 0 b 1 exp ( x y + 1 2 t ) + a 0 2 4 b 1 exp ( x + y 1 2 t ) .
    (4.12)

If we choose a0 = 2b−1, then by using 4.4, we would get

v 1 , 1 ( x , y , t ) = sech x + y 1 2 t , u 1 , 1 ( x , y , t ) = 1 2 + sech x + y 1 2 t .
(4.13)
  1. (II)

    The second set is

    a 1 = ± 1 2 i b 1 , a 1 = 0 , a 0 = a 0 , b 0 = ± 2 i a 0 , b 1 = b 1 , b 1 = 0 , c = 1 ,
    (4.14)
    v 2 (x,y,t)=± i 2 b 1 exp ( x y t ) 2 i a 0 b 1 exp ( x y t ) ± 2 i a 0 .
    (4.15)

If we choose b− 1 = 2i a0, then by using 4.4, we would get

v 2 , 1 ( x , y , t ) = i 2 tanh x + y + t 2 , u 2 , 1 ( x , y , t ) = 1 2 i 2 tanh x + y + t 2 ,
(4.16)
v 2 , 2 ( x , y , t ) = i 2 coth x + y + t 2 , u 2 , 2 ( x , y , t ) = 1 2 + i 2 coth x + y + t 2 .
(4.17)
  1. (III)

    The third set is

    a 1 = ± i b 1 , a 1 = a 1 , a 0 = 0 , b 0 = 0 , b 1 = ± i a 1 , b 1 = b 1 , c = 5 2 ,
    (4.18)
    v 3 (x,y,t)=±i b 1 exp ( x + y ct ) i a 1 b 1 exp ( x + y ct ) ± i a 1 .
    (4.19)

If we choose b1 = i a−1, then by using 4.4, we would get

v 3 , 1 ( x , y , t ) = i tanh x + y + 5 2 t , u 3 , 1 ( x , y , t ) = 1 2 + i tanh x + y + 5 2 t ,
(4.20)
v 3 , 2 ( x , y , t ) = i coth x + y + 5 2 t , u 3 , 2 ( x , y , t ) = 1 2 i coth x + y + 5 2 t .
(4.21)
  1. (IV)

    The fourth set is

    a 1 = 1 16 b 0 2 + 4 a 0 2 a 1 , a 1 = a 1 , a 0 = a 0 , b 0 = b 0 , b 1 = ± 2 i a 1 , c = 1 ,
    (4.22)
    b 1 = 1 8 b 0 2 + 4 a 0 2 a 1 i ,
    v 4 ( x , y , t ) = a 1 exp ( x y t ) + a 0 + 1 16 b 0 2 + 4 a 0 2 a 1 exp ( x + y + t ) ± 2 i a 1 exp ( x y t ) + b 0 1 8 b 0 2 + 4 a 0 2 a 1 i exp ( x + y + t ) .

Notice that u(x,y,t)=v(x,y,t) 1 2 , we would have

u 4 ( x , y , t ) = 1 2 + a 1 exp ( x y t ) + a 0 + 1 16 b 0 2 + 4 a 0 2 a 1 exp ( x + y + t ) ± 2 i a 1 exp ( x y t ) + b 0 1 8 b 0 2 + 4 a 0 2 a 1 i exp ( x + y + t ) .
(4.23)

Case 2: negative Gardner-KP equation

Consider

( u t + 6 u u x 6 u 2 u x + u xxx ) x + u yy =0,
(4.24)

and we use transformation

u=v+ 1 2 ,
(4.25)

to convert the model 4.24 into the Gardner-KP equation

( v t + 3 2 v x 6 v 2 v x + v xxx ) x + v yy =0
(4.26)

and by using the wave variable η = x + yct reduces it to an ODE

c 5 2 v2 v 3 + v ′′ =0,
(4.27)

in which Equation 4.27 is obtained by integrating and neglecting the constant of integration. By manipulating above procedure we get the following sets.

  1. (I)

    The first set is

    a 1 = 0 , a 1 = a 1 , a 0 = a 0 , b 0 = 2 a 0 , b 1 = 2 a 1 , b 1 = 0 , c = 2 ,
    (4.28)
    v 1 (x,y,t)= a 1 exp ( x y + ct ) + a 0 2 a 1 exp ( x y + ct ) + 2 a 0 .
    (4.29)

If we choose a0 = a− 1, then by using Equation 4.25, we would get

v 1 , 1 ( x , y , t ) = 1 2 coth x + y 2 t 2 , u 1 , 1 ( x , y , t ) = 1 2 + 1 2 coth x + y 2 t 2 .
(4.30)
  1. (II)

    The second set is

    a 1 = 0 , a 1 = 0 , a 0 = a 0 , b 0 = 0 , b 1 = b 1 , b 1 = 1 4 a 0 2 b 1 , c = 7 2 ,
    (4.31)
    v 2 ( x , y , t ) = a 0 b 1 exp ( x y + ct ) 1 4 a 0 2 b 1 exp ( x + y ct ) .
    (4.32)

If we choose 2b−1 = a0, then by using Equation 4.25, we would get

v 2 , 1 ( x , y , t ) = csch x + y 7 2 t , u 2 , 1 ( x , y , t ) = 1 2 csch x + y 7 2 t .
(4.33)
  1. (III)

    The third set is

    a 1 = 1 16 b 0 2 4 a 0 a 1 , a 1 = a 1 , a 0 = a 0 , b 0 = b 0 , b 1 = 1 8 b 0 2 4 a 0 a 1 ,
    (4.34)
    b 1 = 2 a 1 , c = 2 ,
    v 3 ( x , y , t ) = 1 16 b 0 2 4 a 0 a 1 exp ( x y + 2 t ) + a 0 + a 1 exp ( x + y 2 t ) 1 8 b 0 2 4 a 0 a 1 exp ( x y + 2 t ) + b 0 2 a 1 exp ( x + y 2 t ) .
    (4.35)

Notice that in u(x,y,t)=v(x,y,t)+ 1 2 , we would obtain

u 3 ( x , y , t ) = 1 2 + 1 16 b 0 2 4 a 0 a 1 exp ( x y + 2 t ) + a 0 + a 1 exp ( x + y 2 t ) 1 8 b 0 2 4 a 0 a 1 exp ( x y + 2 t ) + b 0 2 a 1 exp ( x + y 2 t ) .
(4.36)
  1. (IV)

    The fourth set is

    a 1 = a 1 , a 1 = a 1 , a 0 = 0 , b 0 = 0 , b 1 = a 1 , c = 1 2 , b 1 = a 1 ,
    (4.37)
    v 4 ( x , y , t ) = a 1 exp ( x y + ct ) + a 1 exp ( x + y ct ) a 1 exp ( x y + ct ) a 1 exp ( x + y ct ) .
    (4.38)

If we choose a−1 = a1, then by using Equation 4.25, we would get

v 4 ( x , y , t ) = coth x + y 1 2 t , u 4 ( x , y , t ) = 1 2 coth x + y 1 2 t ,
(4.39)

which are the exact solutions of the Gardner-KP equation. We obtain solitary wave and complex wave solutions for the combined KdV-mKdV equation. It can be seen that the results are the same when compared to the results in [26].

Conclusions

In this article, we obtained the exact solutions for the combined KdV-mKdV and Gardner-KP equations by Exp-function method. EFM is a useful method for finding travelling wave solutions of nonlinear evolution equations. This method has been successfully applied to obtain some new solitary wave solutions to the combined KdV-mKdV and Gardner-KP equations. Some of these results are in agreement with the results reported in the literature. Also, new results are formally developed in this article considerably. It can be concluded that this method is a very powerful and efficient technique to find the exact solutions for a large class of problems.