Exact Solutions of Two Nonlinear Partial Differential Equations by the First Integral Method ()
1. Introduction
Over the past few decades, finding the exact solutions of nonlinear partial differential equations (PDEs) has become an attractive topic in physical science and nonlinear science. The nonlinear PDE is an important model for describing the problems of fluid mechanics, chemical physics, kinematics, atmosphere and ocean phenomena and so on. In order to find the exact solutions of nonlinear PDEs, pioneers presented the following these methods, such as
-expansion method [1], tanh-sech function method [2], Darboux and Backlund transform [3], bifurcation theory method of dynamic systems [4], Jacobi elliptic function expansion method [5], F expansion method [6], exp-function method [7], Hirota bilinear method [8] and so on.
Since Feng [9] proposed solving nonlinear PDEs by the first integral method. The theory has been applied to handle various PDEs by many scholars in science and engineering. such as S. Ibrahim et al. [10] used the first integral method to obtain the exact solutions of three nonlinear schrodinger equations. S. S. Singh [11] employed the first integral method to solve the exact solutions of Kudryashov-Sinelshchikov equation and generalized Radhakrishnan-Kundu-Lakshmanan equation. A. Seadawy et al. [12] obtain the solitary wave solutions of Cubic-Quintic Nonlinear Schrödinger and Variant Boussinesq Equations by the first integral method. N. Taghizadeh et al. [13] used the first integral method to study the exact solutions of three nonlinear PDEs, etc.
For the Non-Boussinesq wavepacket model, H. Wang et al. [14] obtain the solitary wave solutions, kink and anti-kink wave solutions, periodic travelling wave solutions of the Non-Boussinesq wavepacket model by dynamical systems and bifurcation theories, and the travelling wave solutions are expressed by the hyperbolic functions and Jacobian elliptic functions. P. Robin et al. [15] introduced in this Boussinesq-type model a forcing term and the present numerical results are compared with experiments conducted in the large air/sea facility of IRPHE at Marseille. Furthermore, for the (2 + 1)-dimensional Zoomeron equation, Q.S. Liu and X.Q. Zhou [16] investigated the (2 + 1)-dimensional Zoomeron equation by using the generalized algebraic method, and the Jacobi elliptic function solutions, the hyperbolic function solutions and the trigonometric function solutions are obtained. K. Khan et al. [17] applied an enhanced
-expansion method to find the traveling wave solutions of the (2 + 1)-dimensional Zoomeron equation. As a result, the hyperbolic and trigonometric functions involving several parameters are derived, and so on.
The rest of this paper is structured as follows. In Section 2, we introduce the basic idea of the first integral method briefly. In Section 3, we use this method to solve two partial differential equations in detail. Finally, a conclusion is given in Section 4.
2. The First Integral Method
Consider the general nonlinear PDE in the form
(1)
where P is a polynomial in its arguments.
We use the transformations
(2)
where c is a constant, then
(3)
Step 1: We use the Equation (3) to transform the nonlinear PDE (1) into nonlinear ordinary differential equations (ODEs)
(4)
where the subscript denotes the derivation with respect to
.
Step 2: Suppose the solution of nonlinear ODE (4) can be translated as
(5)
Step 3: We introduce a new independent variable
(6)
which leads to the system of ODEs
(7)
Step 4: According the qualitative theory of ODEs [18], if we can find the first integrals to Equation (7) under the same conditions, then the general solutions to Equation (7) can be found directly. However, there is no systematic theory that can tell us how to find its first integrals, nor we know what these first integrals are. Fortunately, for some equations we can apply the Division Theorem to reduces Equation (4) to a first order integrable ordinary differential equation. An exact solution to Equation (1) is obtained by solving this equation. Now, let us review the Division Theorem [19].
Division Theorem: Suppose that
and
are polynomials in
, and make
is irreducible in
. If
vanishes at all zero points of
, then there exists a polynomial
in
, such that
(8)
3. Application
In this section, we apply the first integral method based on the Division Theorem to solve the two nonlinear PDEs.
Firstly, we consider the following nonlinear Boussinesq wavepacket model
(9)
where
,
,
,
, and
(10)
(11)
Here
,
, let
, we also can get
and
. The Boussinesq limit in Equation (9) is to let
that is let
and retain N.
Now let’s introduce the following scalings
(12)
where
.
Substituting Equation (12) into Equation (9) and dropping the mark 1, we get
(13)
where
(14)
(15)
Then the Boussinesq limit in Equation (13) corresponds to
and Equation (13) can be written to
(16)
or
(17)
Suppose the from of solution to Equation (17) is as following:
(18)
where
. And
are real parameters,
is real functions.
Substituting Equation (18) into Equation (17), and making imaginary and real part are zero respectively:
(19)
(20)
Integrating Equation (19) once, and substituting the resultant equation into Equation (20), we have
(21)
For simplicity, we denote
and
. Putting Equation (6) in Equation (21), we get
(22)
Secondly, we consider the following (2 + 1)-dimensional Zoomeron equation
(23)
Suppose the form of solution to Equation (23) is as following:
(24)
where
are real parameters,
is real functions.
Substituting Equation (24) into Equation (23), and integrating the resultant equation twice for Equation (23), we obtain
(25)
where p is the integration constant.
Taking Equation (6) in Equation (25), we get
(26)
If we let again
,
then Equations (22) and (26) is equivalent to the first integral. In order to obtain their exact solution, we just need to talk about system Equation (22).
Now, according to the first integral method. We assume the
and
are the nontrivial solutions of Equation (22), and
(27)
is an irreducible polynomial in the complex domain C[X,Y] such that
(28)
where
are polynomial of X and
. Equation (28) is called the first integral of the Equation (22). Note that
is a polynomial in X and Y, and
implies
. According the Division Theorem, there exists a polynomial
in
, such that
(29)
In this example, we make two different cases, suppose that n = 1 and n = 2 in Equation (28).
Case I
Assume that
, and then from Equation (29) we have
(30)
where prime denotes differentiating with respect to the variable X. By comparing with the coefficient of
on both sides of Equation (30), we get
(31)
(32)
(33)
Since
are polynomials, then from Equation (31) we obtain that
is constant and
. For simplicity, make
. Balancing the degrees of
and
, we get that
only. Assume that
, where
, then
(34)
where f is an arbitrary integration constant.
Substituting
,
and
into Equation (33) and setting all the coefficient of powers of X to be zero, then we obtain a system of nonlinear algebraic equations, that is,
(35)
and using Maple solving them, we have
(36)
Taking the conditions (36) in Equation (28), we get
(37)
and combining Equation (37) with Equation (22), we can obtain the exact solutions of Non-Boussinesq wavepacket model (9) as
(38)
where
is an arbitrary constant. And the travelling wave solutions of Non-Boussinesq wavepacket model (9) can be written as
(39)
Case II
Suppose that
, by comparing with the coefficient of
on both sides of Equation (28), we obtain
(40)
(41)
(42)
(43)
Since
are polynomials, then from Equation (40) we obtain
is a constant and
. For simplicity, make
. Balancing the degrees of
,
and
, we get
,
,
only. Assume
, where
, then
(44)
where g is an arbitrary integration constant. Substituting
,
,
and
into Equation (43), setting all the coefficient of powers of X equal to zero, then we obtain a system of nonlinear algebraic equation, that is,
(45)
and using Maple solving them, we get
(46)
Taking the conditions (46) in Equation (28), we get
(47)
and combining Equation (47) with Equation (22), we can obtain the exact solutions of Non-Boussinesq wavepacket model (9) as
(48)
where
is an arbitrary constant. And the travelling wave solutions of Non-Boussinesq wavepacket model (9) can be written as
(49)
4. Conclusion
In conclusion, we have studied the exact travelling wave solutions of the non-Boussinesq wavepacket model and the (2 + 1)-dimensional Zoomeron equation by the first integral method. By introducing the travelling wave transformations, two nonlinear PDEs have been transformed into ODEs. Then according to the Division Theorem of polynomial, exact travelling wave solutions of two nonlinear PDEs are obtained. Compared with other methods, it is an effective method to solve the exact traveling wave solutions; that is, it avoids complex calculation process by using mathematical software. Therefore, this method can be extended to solve the exact traveling wave solutions of other nonlinear PDEs.