Exact Solutions of Two Nonlinear Partial Differential Equations by the First Integral Method

Abstract

In recent years, many methods have been used to find the exact solutions of nonlinear partial differential equations. One of them is called the first integral method, which is based on the ring theory of commutative algebra. In this paper, exact travelling wave solutions of the Non-Boussinesq wavepacket model and the (2 + 1)-dimensional Zoomeron equation are studied by using the first integral method. From the solving process and results, the first integral method has the characteristics of simplicity, directness and effectiveness about solving the exact travelling wave solutions of nonlinear partial differential equations. In other words, tedious calculations can be avoided by Maple software; the solutions of more accurate and richer travelling wave solutions are obtained. Therefore, this method is an effective method for solving exact solutions of nonlinear partial differential equations.

Share and Cite:

Zhang, Q. , Xiong, M. and Chen, L. (2020) Exact Solutions of Two Nonlinear Partial Differential Equations by the First Integral Method. Advances in Pure Mathematics, 10, 12-20. doi: 10.4236/apm.2020.101002.

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 ( G / G ) -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 ( G / G ) -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

P ( u , u t , u x , u x x , u t t , u x t , u x x x , ) = 0. (1)

where P is a polynomial in its arguments.

We use the transformations

u ( x , t ) = u ( ξ ) , ξ = x c t . (2)

where c is a constant, then

t ( ) = c ξ ( ) , x ( ) = ξ ( ) , 2 t 2 ( ) = c 2 2 ξ 2 ( ) , . (3)

Step 1: We use the Equation (3) to transform the nonlinear PDE (1) into nonlinear ordinary differential equations (ODEs)

Q ( u , u ξ , u ξ ξ , ) = 0. (4)

where the subscript denotes the derivation with respect to ξ .

Step 2: Suppose the solution of nonlinear ODE (4) can be translated as

u ( x , t ) = u ( ξ ) . (5)

Step 3: We introduce a new independent variable

X ( ξ ) = u ( ξ ) , Y ( ξ ) = u ξ ( ξ ) . (6)

which leads to the system of ODEs

{ X ξ ( ξ ) = Y ( ξ ) , Y ξ ( ξ ) = F ( X ( ξ ) , Y ( ξ ) ) . (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 P ( x , y ) and Q ( x , y ) are polynomials in C ( x , y ) , and make P ( x , y ) is irreducible in C ( x , y ) . If Q ( x , y ) vanishes at all zero points of P ( x , y ) , then there exists a polynomial F ( x , y ) in C ( x , y ) , such that

Q ( x , y ) = P ( x , y ) F ( x , y ) . (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

i ( t + c g z ) A + ω 2 A z z N 2 k 2 e z H 2 ω A | A | 2 i [ ω 6 A z z z + ω 4 ( m + i H ) A ( e z H | A | 2 ) z ] = 0, (9)

where N > 0 , z > 0 , H > 0 , H 1 = N 2 g , and

ω 2 = N 2 k 2 k 2 + m 2 + H 2 / 4 , c g = ω = ω m = ω m k 2 + m 2 + H 2 / 4 , (10)

ω = 2 ω m 2 = ω ( 2 m 2 k 2 H 2 / 4 ) ( k 2 + m 2 + H 2 / 4 ) 2 , ω = 3 ω m 3 = 3 ω m ( 2 m 2 3 k 2 3 H 2 / 4 ) ( k 2 + m 2 + H 2 / 4 ) 3 . (11)

Here k > 0 , m > 0 , let ω > 0 , we also can get c p = ω m k 2 + m 2 > 0 and c g < 0 . The Boussinesq limit in Equation (9) is to let H that is let N 2 g 0 and retain N.

Now let’s introduce the following scalings

t = ( L / | c g | ) t 1 , z = L x 1 , ( k , m ) = ( k 1 , m 1 ) / L , A = 2 | c g | / ( ω m ) u 1 , (12)

where L = ω 2 | c g | .

Substituting Equation (12) into Equation (9) and dropping the mark 1, we get

i ( t x ) u + u x x 2 σ β e ϵ σ χ u | u | 2 + i [ α u x x x ( 1 + i ϵ σ / m ) u ( e ϵ σ x | u | 2 ) x ] = 0, (13)

where

σ = s g n ( ω ) = s g n ( α ) = ± 1, ϵ = | L | / H > 0, (14)

α = 2 m 2 ( 2 m 2 3 k 2 3 ϵ 2 / 4 ) ( 2 m 2 k 2 ϵ 2 / 4 ) 2 , β = | 2 m 2 k 2 ϵ 2 / 4 | 2 m 2 0. (15)

Then the Boussinesq limit in Equation (13) corresponds to ϵ = 0 and Equation (13) can be written to

i ( t x ) u + u x x 2 σ β u | u | 2 + i [ α u x x x u ( | u | 2 ) x ] = 0, (16)

or

i u t i u x + u x x 2 σ β u | u | 2 + i α u x x x i u ( | u | 2 ) x = 0, (17)

Suppose the from of solution to Equation (17) is as following:

u ( x , t ) = φ ( ξ ) e i ( p x q t ) . (18)

where ξ = β x λ t . And β , λ , p , q are real parameters, φ ( ξ ) is real functions.

Substituting Equation (18) into Equation (17), and making imaginary and real part are zero respectively:

α β 3 φ + ( 2 p β λ β 3 p 2 β α ) φ 2 φ 2 φ = 0, (19)

( β 2 3 α p β 2 ) φ + ( q + α p 3 p p 2 ) φ 2 σ β φ 3 = 0. (20)

Integrating Equation (19) once, and substituting the resultant equation into Equation (20), we have

φ + q + α p 3 p p 2 + 2 p β λ β 3 p 2 β α β 2 3 α p β 2 + α β 3 φ 2 σ β + 2 3 β 2 3 α p β 2 + α β 3 φ 3 = 0. (21)

For simplicity, we denote δ 1 = q + α p 3 p p 2 + 2 p β λ β 3 p 2 β α β 2 3 α p β 2 + α β 3 and δ 2 = 2 σ β + 2 3 β 2 3 α p β 2 + α β 3 . Putting Equation (6) in Equation (21), we get

{ X ( ξ ) = Y ( ξ ) , Y ( ξ ) = δ 1 X ( ξ ) + δ 2 X ( ξ ) 3 . (22)

Secondly, we consider the following (2 + 1)-dimensional Zoomeron equation

( u x y u ) t t ( u x y u ) x x + ( 2 u 2 ) x t = 0. (23)

Suppose the form of solution to Equation (23) is as following:

u ( x , y , t ) = ϕ ( ξ ) , ξ = k x + l y λ t . (24)

where k , l , λ are real parameters, ϕ ( ξ ) is real functions.

Substituting Equation (24) into Equation (23), and integrating the resultant equation twice for Equation (23), we obtain

( λ 2 k l k 2 l 2 ) ϕ 2 k λ ϕ 3 + p ϕ = 0 , (25)

where p is the integration constant.

Taking Equation (6) in Equation (25), we get

{ X ( ξ ) = Y ( ξ ) , Y ( ξ ) = p λ 2 k l k 2 l 2 X ( ξ ) + 2 k λ λ 2 k l k 2 l 2 X ( ξ ) 3 . (26)

If we let again δ 1 = p λ 2 k l k 2 l 2 , δ 2 = 2 k λ λ 2 k l k 2 l 2 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 X = X ( ξ ) and Y = Y ( ξ ) are the nontrivial solutions of Equation (22), and

Q ( X , Y ) = i = 0 n a i ( X ) Y i . (27)

is an irreducible polynomial in the complex domain C[X,Y] such that

Q ( X ( ξ ) , Y ( ξ ) ) = i = 0 n a i ( X ( ξ ) ) Y ( ξ ) i = 0. (28)

where a i ( X ) ( i = 0 , 1 , , n ) are polynomial of X and a n ( X ) 0 . Equation (28) is called the first integral of the Equation (22). Note that Q [ X ( ξ ) , Y ( ξ ) ] is a polynomial in X and Y, and d Q d ξ implies d Q d ξ | ( 27 ) = 0 . According the Division Theorem, there exists a polynomial H ( X , Y ) = h ( X ) + g ( X ) Y in C ( X , Y ) , such that

d Q d ξ | ( 19 ) = ( d Q d X d X d ξ + d Q d Y d Y d ξ ) | ( 27 ) = ( h ( X ) + g ( X ) Y ) ( i = 0 N a i ( X ) Y i ) . (29)

In this example, we make two different cases, suppose that n = 1 and n = 2 in Equation (28).

Case I

Assume that n = 1 , and then from Equation (29) we have

i = 0 1 a i ( X ) Y i + 1 + i = 0 1 i a i ( X ) Y i 1 ( Y ( ξ ) ) = ( h ( X ) + g ( X ) Y ) ( i = 0 1 a i ( X ) Y i ) . (30)

where prime denotes differentiating with respect to the variable X. By comparing with the coefficient of Y i ( i = 2,1,0 ) on both sides of Equation (30), we get

a 1 ( X ) = g ( X ) a 1 ( X ) , (31)

a 0 ( X ) = h ( X ) a 1 ( X ) + g ( X ) a 0 ( X ) , (32)

a 1 ( X ) ( δ 1 X + δ 2 X 3 ) = h ( X ) a 0 ( X ) . (33)

Since a i ( X ) ( i = 0 , 1 ) are polynomials, then from Equation (31) we obtain that a 1 ( X ) is constant and g ( X ) = 0 . For simplicity, make a 1 ( X ) = 1 . Balancing the degrees of h ( X ) and a 0 ( X ) , we get that d e g ( h ( X ) ) = 1 only. Assume that h ( X ) = A 0 X + A 1 , where A 0 0 , then

a 0 ( X ) = 1 2 A 0 X 2 + A 1 X + f . (34)

where f is an arbitrary integration constant.

Substituting a 0 ( X ) , a 1 ( X ) and h ( X ) 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,

{ 1 2 A 0 2 = δ 2 3 2 A 0 A 1 = 0 A 0 f + A 1 2 = δ 1 A 1 f = 0 , (35)

and using Maple solving them, we have

A 1 = 0 , A 0 = ± 2 δ 2 , f = ± δ 1 2 δ 2 , (36)

Taking the conditions (36) in Equation (28), we get

Y ( ξ ) = ( 1 2 2 δ 2 X 2 + δ 1 2 δ 2 ) , (37)

and combining Equation (37) with Equation (22), we can obtain the exact solutions of Non-Boussinesq wavepacket model (9) as

u ( ξ ) = δ 1 δ 2 δ 2 tanh ( δ 1 2 ξ + ξ 0 ) . (38)

where ξ 0 is an arbitrary constant. And the travelling wave solutions of Non-Boussinesq wavepacket model (9) can be written as

u ( x , t ) = δ 1 δ 2 δ 2 e ( p x q t ) tanh [ δ 1 2 ( β x λ t ) + ξ 0 ] . (39)

Case II

Suppose that n = 2 , by comparing with the coefficient of Y i ( i = 3 , 2 , 1 , 0 ) on both sides of Equation (28), we obtain

a 2 ( X ) = g ( X ) a 2 ( X ) , (40)

a 1 ( X ) = h ( X ) a 2 ( X ) + g ( X ) a 1 ( X ) , (41)

a 0 ( X ) + 2 a 2 ( X ) ( δ 1 X + δ 2 X 3 ) = h ( X ) a 1 ( X ) + g ( X ) a 0 ( X ) , (42)

a 1 ( X ) ( δ 1 X + δ 1 X 3 ) = h ( X ) a 0 ( X ) . (43)

Since a i ( X ) ( i = 2 , 1 , 0 ) = 0 are polynomials, then from Equation (40) we obtain a 2 ( X ) is a constant and g ( X ) = 0 . For simplicity, make a 2 ( X ) = 1 . Balancing the degrees of h ( X ) , a 1 ( X ) and a 0 ( X ) , we get d e g ( h ( X ) ) = 1 , d e g ( a 1 ( X ) ) = 2 , d e g ( a 0 ( X ) ) = 4 only. Assume h ( X ) = A 0 X + A 1 , where A 0 0 , then

a 1 ( X ) = 1 2 A 0 X 2 + A 1 X + f , a 0 ( X ) = ( 1 8 A 0 2 1 2 δ 2 ) X 4 + 1 2 A 0 A 1 X 3 + ( 1 2 A 0 f + 1 2 A 1 2 δ 1 ) X 2 + A 1 f X + g . (44)

where g is an arbitrary integration constant. Substituting a 0 ( X ) , a 1 ( X ) , a 2 ( X ) and h ( X ) 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,

{ 1 8 A 0 3 = A 0 δ 2 5 12 A 0 2 A 1 = A 1 δ 2 A 0 2 f + 2 A 0 A 1 2 = 3 A 0 δ 1 + 2 f δ 2 A 0 A 1 f + A 1 3 = 4 A 1 δ 1 A 1 2 f + A 0 g = f δ 1 A 1 g = 0 , (45)

and using Maple solving them, we get

g = 0 , f = 0 , A 1 = O , A 0 = ± 2 2 δ 2 , (46)

Taking the conditions (46) in Equation (28), we get

Y ( ξ ) = 2 2 δ 2 X 2 , (47)

and combining Equation (47) with Equation (22), we can obtain the exact solutions of Non-Boussinesq wavepacket model (9) as

u ( ξ ) = ± 2 δ 2 ξ + ξ 0 . (48)

where ξ 0 is an arbitrary constant. And the travelling wave solutions of Non-Boussinesq wavepacket model (9) can be written as

u ( x , t ) = ± 2 δ 2 ( β x λ t ) + ξ 0 e ( p x q t ) . (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.

Conflicts of Interest

The authors declare no conflicts of interest regarding the publication of this paper.

References

[1] Wang, M., Li, X. and Zhang, J. (2008) The (G’/G)-Expansion Method and Travelling Wave Solutions of Nonlinear Evolution Equations in Mathematical Physics. Physics Letters A, 372, 417-423.
https://doi.org/10.1016/j.physleta.2007.07.051
[2] Ma, W.X. (1993) Travelling Wave Solutions to a Seventh Order Generalized KdV Equation. Physics Letters A, 180, 221-224.
https://doi.org/10.1016/0375-9601(93)90699-Z
[3] Matveev, V.B. and Salle, M.A. (1991) Darboux Transformation and Solitons. Journal of Neurochemistry, 42, 1667-1676.
https://doi.org/10.1007/978-3-662-00922-2
[4] Li, Y., Shan, W.R., Shuai, T.P. and Rao, K. (2015) Bifurcation Analysis and Solutions of a Higher Order Nonlinear Schrödinger Equation. Mathematical Problems in Engineering, 22, 121-125.
https://doi.org/10.1155/2015/408586
[5] Liu, S., Fu, Z., Liu, S.D. and Zhao, Q. (2001) Jacobi Elliptic Function Expansion Method and Periodic Wave Solutions of Nonlinear Wave Equations. Physics Letters A, 289, 69-74.
https://doi.org/10.1016/S0375-9601(01)00580-1
[6] Zhang, S. (2006) The Periodic Wave Solutions for the (2 + 1) Dimensional Konopelchenko Dubrovsky Equations. Chaos, Solitons & Fractals, 30, 1213-1220.
https://doi.org/10.1016/j.chaos.2005.08.201
[7] He, J.H. and Zhang, L.N. (2008) Generalized Solitary Solution and Compacton-Like Solution of the Jaulent-Miodek Equations Using the Exp-Function Method. Physics Letters A, 372, 1044-1047.
https://doi.org/10.1016/j.physleta.2007.08.059
[8] Wang, D.S. (2009) A Systematic Method to Construct Hirotas Transformations of Continuous Soliton Equations and Its Applications. Computers and Mathematics with Applications, 58, 146-153.
https://doi.org/10.1016/j.camwa.2009.03.077
[9] Feng, Z.S. (2002) The First Integral Method to Study the Burgers Korteweg-de Vries Equation. Journal of Physics A, 25, 343-349.
https://doi.org/10.1088/0305-4470/35/2/312
[10] Ibrahim, S. and El-Ganaini, A. (2007) The First Integral Method to the Nonlinear Schrödinger Equations in Higher Dimensions. Abstract and Applied Analysis, 18, 1187-1197.
[11] Singh, S.S. (2006) Solutions of Kudryashov-Sinelshchikov Equation and Generalized Radhakrishnan-Kundu-Lakshmanan Equation by the First Integral Method. International Journal of Physical Research, 4, 37-42.
https://doi.org/10.14419/ijpr.v4i2.6202
[12] Seadawy, A. and Sayed, A. (2017) Soliton Solutions of Cubic-Quintic Nonlinear Schrödinger and Variant Boussinesq Equations by the First Integral Method. Faculty of Sciences and Mathematics, 214, 4199-4208.
https://doi.org/10.2298/FIL1713199S
[13] Taghizadeh, N., Mirzazadeh, M. and Samiei Paghaleh, A. (2012) The First Integral Method to Nonlinear Partial Differential Equations. Applications and Applied Mathematics, Iran, 102, 117-132.
[14] Wang, H., Chen, L.W. and Liu, H.J. (2015) Nonlinear Dynamics and Exact Travelling Wave Solutions in the Non-Boussinesq Wavepacket Model. International Conference on Fuzzy Systems and Knowledge Discovery, Zhangjiajie, 15-17 August 2015, 2587-2591.
[15] Robin, P., Kimmoun, O. and Kharif, C. (2011) Influence of Wind on Focusing Waves Packet Using a Boussinesq-Type Model.
[16] Liu, Q.S. and Zhou, X.Q. (2014) New Exact Solutions of (2 + 1)-Dimensional Zoomeron Equation. Natural Science Edition of Hebei Normal University, 3.
[17] Khana, K., Akbar, M.A., Salam, M.A. and Islam, M.H. (2014) A Note on Enhanced (G’/G)-Expansion Method in Nonlinear Physics. Ain Shams Engineering, 5, 877-884.
https://doi.org/10.1016/j.asej.2013.12.013
[18] Ding, T.R. and Li, C.Z. (1996) Ordinary Differential Equations. Peking University Press, Beijing.
[19] Feng, Z.S. (2002) The First Integral Method to Study the Burgers-Korteweg-de Vries Equation. Journal of Physics A: Mathematical and General, 35, 343-349.
https://doi.org/10.1088/0305-4470/35/2/312

Copyright © 2024 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.