 Research
 Open access
 Published:
Exact solutions of two nonlinear partial differential equations by using the first integral method
Boundary Value Problems volume 2013, Article number: 117 (2013)
Abstract
In recent years, many approaches have been utilized for finding the exact solutions of nonlinear partial differential equations. One such method is known as the first integral method and was proposed by Feng. In this paper, we utilize this method and obtain exact solutions of two nonlinear partial differential equations, namely double sineGordon and Burgers equations. It is found that the method by Feng is a very efficient method which can be used to obtain exact solutions of a large number of nonlinear partial differential equations.
1 Introduction
With the availability of symbolic computation packages like Maple or Mathematica, the search for obtaining exact solutions of nonlinear partial differential equations (PDEs) has become more and more stimulating for mathematicians and scientists. Having exact solutions of nonlinear PDEs makes it possible to study nonlinear physical phenomena thoroughly and facilitates testing the numerical solvers as well as aiding the stability analysis of solutions. In recent years, many approaches to solve nonlinear PDEs such as the extended tanh function method [1–6], the modified extended tanh function method [7, 8], the expfunction method [9–11], the Weierstrass elliptic function method [12], the Laplace decomposition method [13, 14] and so on have been employed.
Among these, the first integral method, which is based on the ring theory of commutative algebra, due to Feng [15–19] has been applied by many authors to solve different types of nonlinear equations in science and engineering [20–23]. Therefore, in the present article, the first integral method is applied to analytic treatment of some important nonlinear of partial differential equations.
The rest of this article is arranged as follows. In Section 2, the basic ideas of the first integral method are expressed. In Section 3, the method is employed for obtaining the exact solutions of double sineGordon (SG) and Burgers equations, and finally conclusions are presented in Section 4.
2 The first integral method
Let
be a nonlinear partial differential equation (PDE) with u(x,t) as its solution. We introduce the transformation
where c is constant. Then we have
Thus PDE (1) is then transformed to the ordinary differential equation (ODE)
We now introduce a new transformation, namely
and this gives us the system of ODEs
If we can find the integrals of (6) under the same conditions, the qualitative theory of differential equations [24] tells us that the general solutions of (6) can be obtained directly. But in general, it is very difficult even for a single first integral. Since for a plane autonomous system, there is no methodical theory which gives us first integrals, we will therefore apply the division theorem to find one first integral (6), which will reduce (4) to a firstorder integral for an ordinary differential equation. By solving this equation, exact solutions of (1) will be obtained. We recall the division theorem.
Theorem 2.1 (Division theorem, see [25])
Let P(x,y) and Q(x,y) be polynomials of two variables x and y in \mathbf{C}[x,y], and let P(x,y) be irreducible in \mathbf{C}[x,y]. If Q(x,y) vanishes at all zero points of P(x,y), then there exists a polynomial G(x,y) in \mathbf{C}[x,y] such that Q(x,y)=P(x,y)G(x,y).
The division theorem follows immediately from the HilbertNullstellensatz theorem [26].
Theorem 2.2 (HilbertNullstellensatz theorem)
Let K be a field and L be an algebraic closure of K. Then:

(i)
Every ideal γ of K[{X}_{1},\dots ,{X}_{n}] not containing 1 admits at least one zero in {L}^{n}.

(ii)
Let x=({x}_{1},\dots ,{x}_{n}), y=({y}_{1},\dots ,{y}_{n}) be two elements of {L}^{n}; for the set of polynomials of K[{X}_{1},\dots ,{X}_{n}] zero at x to be identical with the set of polynomials of K[{X}_{1},\dots ,{X}_{n}] zero at y, it is necessary and sufficient that there exists a Kautomorphism S of L such that {y}_{i}=S({x}_{i}) for 1\le i\le n.

(iii)
For an ideal α of K[{X}_{1},\dots ,{X}_{n}] to be maximal, it is necessary and sufficient that there exists an x in {L}^{n} such that α is the set of polynomials of K[{X}_{1},\dots ,{X}_{n}] zero at x.

(iv)
For a polynomial Q of K[{X}_{1},\dots ,{X}_{n}] to be zero on the set of zeros in {L}^{n} of an ideal γ of K[{X}_{1},\dots ,{X}_{n}], it is necessary and sufficient that there exists an integer m>0 such that {Q}^{m}\in \gamma.
3 Applications
3.1 Exact solutions to the double sineGordon equation
Consider the double sineGordon (SG) equation [27, 28]
In order to apply the first integral method described in Section 2, we first introduce the transformations
Using (2) and (3), Eq. (7) becomes
We next use the transformation
We obtain
Next, we introduce new independent variables X=v, Y=\frac{dv}{d\xi} which change (11) to the system of ODEs
Assume that d\xi =X\phantom{\rule{0.2em}{0ex}}d\tau, then (12) becomes
where a=\frac{1}{2c}.
According to the first integral method, we suppose that X=X(\tau ) and Y=Y(\tau ) are nontrivial solutions of Eq. (13) and
is an irreducible polynomial in the complex domain \mathbf{C}[X,Y] such that
where {a}_{i}(X) (i=0,1,\dots ,m) are polynomials in X and {a}_{m}(X)\ne 0. Equation (14) is called the first integral to Eq. (13). Applying the division theorem, one sees that there exists a polynomial H(X,Y)=h(X)+g(X)Y in the complex domain \mathbf{C}[X,Y] such that
Suppose that m=1 in (14), and then, by comparing with the coefficients of {Y}^{i} (i=2,1,0) on both sides of (15), we have
Since {a}_{1}(X) is a polynomial in X, from (16) we conclude that {a}_{1}(X) is a constant and g(X)=1. For simplicity, we take {a}_{1}(X)=1. Then Eq. (17) indicates that degh(X)\le deg{a}_{0}(X). Thus, from Eq. (18) we conclude that degh(X)=deg{a}_{0}(X)=2. Now suppose that
where {A}_{2}, {A}_{1}, {A}_{0}, {B}_{2}, {B}_{1}, {B}_{0} are all constants to be determined. Substituting Eq. (19) into Eq. (17), we obtain
Then
Substituting {a}_{0}(X), {a}_{1}(X) and h(X) in (18) and setting all the coefficients of powers X to be zero, we obtain a system of nonlinear algebraic equations, and by solving it, we obtain
Substituting (20) in (14), we obtain
Combining Eq. (21) with (13), secondorder differential Eq. (11) can be reduced to
Solving Eq. (22) directly and changing to the original variables, we obtain the exact solutions to Eq. (7):
where {c}_{1} is an arbitrary constant and a=\frac{1}{2c}.
Therefore, the exact solutions to the double sineGordon (SG) equation can be written as
where {c}_{1} is an arbitrary constant.
3.2 Exact solutions to the Burgers equation
The Burgers equation [29]
is one of the most famous nonlinear diffusion equations. The positive parameter a refers to a dissipative effect.
Using (2) and (3), Eq. (27) becomes
We rewrite (28) as follows:
By introducing new variables X=u and Y={u}_{\xi}, Eq. (29) changes into a system of ODEs
Now, the division theorem is employed to seek the first integral to (30). Suppose that X=X(\xi ) and Y=Y(\xi ) are nontrivial solutions to (30), and P(X,Y)={\sum}_{i=0}^{m}{a}_{i}(X){Y}^{i} is an irreducible polynomial in \mathbf{C}[X,Y] such that
where {a}_{i}(X) (i=0,1,\dots ,m) are polynomials in X and {a}_{m}(X)\ne 0. Equation (31) is called the first integral to Eq. (30). Due to the division theorem, there exists a polynomial H(X,Y)=h(X)+g(X)Y in \mathbf{C}[X,Y] such that
Suppose that m=1 in (31). By comparing the coefficients of {Y}^{i} (i=2,1,0) on both sides of (32), we have
Since {a}_{1}(X) is a polynomial in X, from (33) we conclude that {a}_{1}(X) is a constant and g(X)=0. For simplicity, we take {a}_{1}(X)=1, and balancing the degrees of h(X) and {a}_{0}(X), we conclude that degh(X)=0 or 1. If degh(X)=0, suppose that h(X)=A, then from (34), we find
where B is an arbitrary integration constant.
Substituting {a}_{0}(X) and h(X) in (35) and setting all the coefficients of powers X to be zero, we obtain a system of nonlinear algebraic equations, and by solving it, we obtain
Using (36) in (31), we obtain
Combining Eq. (37) with the first part of (30), we obtain the exact solutions of Eq. (29) as follows:
where {\xi}_{0} is an arbitrary constant.
Therefore, the exact solutions to the Burgers equation can be written as
where {\xi}_{0} is an arbitrary constant and a>0.
Now suppose that m=2. By an application of the division theorem, we can conclude that there exists a polynomial H(X,Y)=h(X)+g(X)Y in \mathbf{C}[X,Y] such that
Comparing the coefficients of {Y}^{i} (i=3,2,1,0) of both sides of (40) yields
Since {a}_{2}(X) is a polynomial of X, from (41) we conclude that {a}_{2}(X) is a constant and g(X)=0. For simplicity, we take {a}_{2}(X)=1, and balancing the degrees of h(X), {a}_{0}(X) and {a}_{1}(X), we conclude that degh(X)=0 or 1. If degh(X)=0, suppose that h(X)=A. Then from (42), we find
where B is an arbitrary constant of integration. From (43) we have
where D is an arbitrary constant of integration. Substituting {a}_{0}(X) and h(X) in (44) and setting all the coefficients of powers of X to zero, we obtain a system of nonlinear algebraic equations. Solving these equations, we obtain
Now using (45) in (31), we get
Combining Eq. (46) with the first part of (30), we obtain the exact solutions to Eq. (29) in the form
where {\xi}_{0} is an arbitrary constant of integration. Therefore, the exact solutions to the Burgers equation can be written as
where {\xi}_{0} is an arbitrary constant and a>0.
4 Conclusions
The first integral method was employed successfully to solve some important nonlinear partial differential equations, including the double sineGordon and Burgers equations, analytically. Some exact solutions for these equations were formally obtained by applying the first integral method. Due to the good performance of the first integral method, we feel that it is a powerful technique in handling a wide variety of nonlinear partial differential equations. Also, this method is computerizable, which permits us to accomplish difficult and tiresome algebraic calculations on a computer with ease.
References
Wazwaz AM:New solitary wave and periodic wave solutions to the (2+1)dimensional NizhnikNovikovVeselov system. Appl. Math. Comput. 2007, 187: 15841591. 10.1016/j.amc.2006.09.069
Abdou MA: The extended tanh method and its applications for solving nonlinear physical models. Appl. Math. Comput. 2007, 190: 988996. 10.1016/j.amc.2007.01.070
Shukri S, AlKhaled K: The extended tanh method for solving systems of nonlinear wave equations. Appl. Math. Comput. 2010, 217(5):19972006. 10.1016/j.amc.2010.06.058
Malfliet W: The tanh method: a tool for solving certain classes of nonlinear evolution and wave equations. J. Comput. Appl. Math. 2004, 164: 529541.
Malfliet W, Hereman W: The tanh method: I. Exact solutions of nonlinear evolution and wave equations. Phys. Scr. 1996, 54: 563568. 10.1088/00318949/54/6/003
Malfliet W, Hereman W: The tanh method: II. Perturbation technique for conservative systems. Phys. Scr. 1996, 54: 569575. 10.1088/00318949/54/6/004
Soliman AA: The modified extended tanhfunction method for solving Burgerstype equations. Physica A 2006, 361: 394404. 10.1016/j.physa.2005.07.008
Abdou MA, Soliman AA: Modified extended tanhfunction method and its application on nonlinear physical equations. Phys. Lett. A 2006, 353: 487492. 10.1016/j.physleta.2006.01.013
Wazwaz AM:Single and multiplesoliton and solutions for the (2+1)dimensional KdV equation. Appl. Math. Comput. 2008, 204: 2026. 10.1016/j.amc.2008.05.126
Wazwaz AM, Mehanna MS:A variety of exact travelling wave solutions for the (2+1)dimensional BoitiLeonPempinelli equation. Appl. Math. Comput. 2010, 217(4):14841490. 10.1016/j.amc.2009.06.024
Zhang S, Zhang HQ: An expfunction method for new N soliton solutions with arbitrary functions of a (2+1) dimensional vcBK system. Comput. Math. Appl. 2011, 61(8):19231930. 10.1016/j.camwa.2010.07.042
Deng X, Cao J, Li X:Travelling wave solutions for the nonlinear dispersion DrinfeldSokolov (D(m,n)) system. Commun. Nonlinear Sci. Numer. Simul. 2010, 15: 281290. 10.1016/j.cnsns.2009.03.023
Khan Y, Austin F: Application of the Laplace decomposition method to nonlinear. homogeneous and nonhomogenous advection equations. Z. Naturforsch. 2010, 65a: 849853.
Baleanu D, Diethelm K, Scalas E, Trujillo JJ Series on Complexity, Nonlinearity and Chaos. In Fractional Calculus Models and Numerical Methods. World Scientific, Singapore; 2012.
Lu B, Zhang HQ, Xie FD: Travelling wave solutions of nonlinear partial equations by using the first integral method. Appl. Math. Comput. 2010, 216: 13291336. 10.1016/j.amc.2010.02.028
Feng Z: On explicit exact solutions to the compound BurgersKdV equation. Phys. Lett. A 2002, 293: 5766. 10.1016/S03759601(01)008258
Feng Z:Exact solution to an approximate sineGordon equation in (n+1)dimensional space. Phys. Lett. A 2002, 302: 6476. 10.1016/S03759601(02)011143
Feng Z, Wang X: The first integral method to the twodimensional BurgersKortewegde Vries equation. Phys. Lett. A 2003, 308: 173178. 10.1016/S03759601(03)000161
Feng Z: Traveling wave behavior for a generalized Fisher equation. Chaos Solitons Fractals 2008, 38: 481488. 10.1016/j.chaos.2006.11.031
Tascan F, Bekir A: Travelling wave solutions of the CahnAllen equation by using first integral method. Appl. Math. Comput. 2009, 207: 279282. 10.1016/j.amc.2008.10.031
Raslan KR: The first integral method for solving some important nonlinear partial differential equations. Nonlinear Dyn. 2008, 53(4):281286. 10.1007/s110710079262x
Taghizadeh N, Mirzazadeh M, Farahrooz F: Exact solutions of the nonlinear Schrodinger equation by the first integral method. J. Math. Anal. Appl. 2011, 374: 549553. 10.1016/j.jmaa.2010.08.050
Jafari H, Sooraki A, Talebi Y, Biswas A: The first integral method and traveling wave solutions to DaveyStewartson equation. Nonlinear Anal., Model. Control 2012, 17(2):182193.
Ding TR, Li CZ: Ordinary Differential Equations. Peking University Press, Peking; 1996.
Zhang TS: Expfunction method for solving Maccari’s system. Phys. Lett. A 2007, 371(12):6571. 10.1016/j.physleta.2007.05.091
Bourbaki N: Commutative Algebra. AddisonWesley, Paris; 1972.
Fan E, Hon YC: Generalized tanh method extended to special types of nonlinear equations. Z. Naturforsch. 2002, 57a: 692700.
Jiang Z: The construction of the scattering data for a class of multidimensional scattering operators. Inverse Probl. 1989, 5: 349374. 10.1088/02665611/5/3/009
Hereman W, Malfliet W: The tanh method: a tool to solve nonlinear partial differential equations with symbolic software. Phys. Scr. 1996, 54: 563568. 10.1088/00318949/54/6/003
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
The authors declare that the manuscript was realized in collaboration with the same responsibility. All authors read and approved the final version of the manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Jafari, H., Soltani, R., Khalique, C.M. et al. Exact solutions of two nonlinear partial differential equations by using the first integral method. Bound Value Probl 2013, 117 (2013). https://doi.org/10.1186/168727702013117
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/168727702013117