Research  Open  Published:
The exact solutions and approximate analytic solutions of the (2 + 1)dimensional KP equation based on symmetry method
SpringerPlusvolume 5, Article number: 1267 (2016)
Abstract
In this paper, we successfully obtained the exact solutions and the approximate analytic solutions of the (2 + 1)dimensional KP equation based on the Lie symmetry, the extended tanh method and the homotopy perturbation method. In first part, we obtained the symmetries of the (2 + 1)dimensional KP equation based on the Wudifferential characteristic set algorithm and reduced it. In the second part, we constructed the abundant exact travelling wave solutions by using the extended tanh method. These solutions are expressed by the hyperbolic functions, the trigonometric functions and the rational functions respectively. It should be noted that when the parameters are taken as special values, some solitary wave solutions are derived from the hyperbolic function solutions. Finally, we apply the homotopy perturbation method to obtain the approximate analytic solutions based on four kinds of initial conditions.
Background
Recently, the nonlinear phenomenon has been extensively appeared in the fields of mathematical physics and engineering technology. A multitude of research focuses have been changed from linear problems to nonlinear ones. These problems can be ascribed to the research of nonlinear partial differential equations (NLPDE), as the complexity of equation, it becomes hard to get the exact solutions. Hence, the investigation of solving NLPDE has important theoretical and practical significance. In recent decades, a growing number of scholars established effective methods and these methods have obtained comprehensive applications. Such as the symmetry method (Lie 1881), the CK direct method (Clarkson and Kruskal 1989), the homogeneous balance method (Wang and Li 1996), the tanhfunction method (Fan 2000; Akbar et al. 2013; Xie et al. 2005), the Fexpansion method (Wang and Li 2005), subODE method (Zhang et al. 2006), the simplest equation method (Kudryashov 2005; Sudao and Temuer 2010), the \((G^{\prime }/G)\)expansion method (Wang et al. 2008; Alam and Akbar 2013), the homotopy perturbation method (He 1999; Narayanamoorthy and Sathiyapriya 2016; FilobelloNino et al. 2016) and so on. However, a unified and systemic method, which can be applied to solve all kinds of equations, is still inexistence, and the abovementioned methods all have individual range of applications. Therefore, summarizing and concluding, adopting the advantages and abandoning the disadvantages have been regarded as the effective approaches to investigate these existing methods. At the same time, it is worth obtaining more new solutions of NLPDE by using Lie symmetry and other methods.
As we all know, the symmetry method is the most universal method, and many traditional methods become its special cases. During the end of the nineteenth century, in order to unify and expand the methods used in solving the ordinary differential equations(ODE), Norwegian mathematician Sophus Lie (1842–1899) firstly proposed the symmetry theory of differential equations (Lie 1881). The investigations of the symmetry theory and approach have important theoretical and practical significance in modern mathematics, physics, mechanics and so on, at the same time, many successful applications have emerged in those fields (Bluman and Kumei 1989; Bluman et al. 2009; Noether 1918; Ma 1990; Clarkson and Kruskal 1989; Lou and Tang 2001; Ma and Chen 2009; Ma 2013). At present, using the symmetry method and others, such as the analytic solutions method, the approximate analytic solutions method and the numerical method with the aid of thorough considering mutual complementarity and availability to solve NLPDE are the new research subjects.
The premise of applying the symmetry method is to determine the all kinds of symmetries of the partial differential equations (PDEs). The main approach of determining the symmetries is the infinitesimal transform method which is proposed and constructed by Lie, called Lie’s algorithm. Lie’s algorithm, which is the major method with respect to determining symmetries, transforms the problem of determining symmetries into that of determining corresponding infinitesimal vectors whose infinitesimal functions are found as solutions of some overdetermined system of PDEs, called the determining equations (Lie 1881). In determining symmetries, tedious, mechanical computations are involved and the order relation of unknown quantities have not been considered in conventional Lie’s algorithm, which result many problems, such as infinite loops on computers, a mass of work and so on. According to the investigations, differential form Wu’s method is one of effective methods to get rid of the defects of Lie’s algorithm. Therefore, Wudifferential characteristic set algorithm extended and constructed by Temuer Chaolu can partially solve the abovementioned problems (Temuer 1999; Temuer and Bai 2010). This algorithm has been successfully applied to classical symmetries, nonclassical symmetries, highorder symmetries, approximate symmetries, potential symmetries, conservation laws and symmetry classification of PDEs, which has promoted the investigations of symmetry theory of PDEs (Bluman and Temuer 2006; Temuer et al. 2007; Temuer and Bai 2009; Temuer and Pang 2010; Sudao et al. 2014). Recently, we investigate the applications of the symmetry method in the boundary value problem of the nonlinear PDEs based on Wudifferential characteristic set algorithm and use the symmetry method and the homotopy analytic method to solve the boundary value problem (Sudao et al. 2014; Sudao 2011). Some other investigators use the symmetry method, the variational iterative method and the homotopy perturbation method to solve the boundary value problem based on Wudifferential characteristic set algorithm (Lu and Temuer 2011a, b; EerDun and Temuer 2012).
In this paper, we will construct the exact solutions and the approximate analytic solutions of the (2 + 1)dimensional KP equation by using the Lie symmetry, the extended tanh method and the homotopy perturbation method. The Wudifferential characteristic set algorithm plays an important role in calculating the symmetries of the (2 + 1)dimensional KP equation. This investigation will explore a new approaches of Lie symmetry in application of NLPDE. In addition, it will also effectively popularize the range of application and advance the efficiency of using method.
The symmetries and symmetry reduction of the (2 + 1)dimensional KP equation
We consider the (2 + 1)dimensional KP equation (Ding and Ji 2008) as follow:
it is applied to describe the law of motion of water waves in (2 + 1)dimensional spaces as well as plasmas in magnetic fields. Next, we will give the process of calculating the symmetry and reduction of Eq. (1).
The symmetries of the (2 + 1)dimensional KP equation
The symmetry group of Eq. (1) will be generated by the vector field of the form
where \(\xi \), \(\mu \), \(\tau \), \(\eta \) are the infinitesimal generated functions of the symmetry. According to the Lie algorithm, we obtain the determining equations of symmetry (2), but it is too difficult to get its solutions. However, we can obtain the followig system of equations corresponding to the characteristic set which is equivalent to the determining equations by using Wudifferential characteristic set algorithm (Temuer 1999).
By solving the above PDEs, we get the infinitesimal functions
where \(c_1\), \(c_2\), \(c_3\), \(c_4, c_5\) are arbitrary constants, then the corresponding infinitesimal vector is the following form
Obviously, X has five oneparameter point symmetries, then the corresponding infinitesimal vectors are as follow:
The reduction of Eq. (1)
To facilitate solve the Eq. (1), we will reduce it by using the invariant form method. The resulting reduced PDE is fewer independent variable than Eq. (1).
Case 1
When \(\chi _1\) = \(X_1\), we obtain \(u(x,t,y)=U[\xi _1,\xi _2]/x^2\) by solving the characteristic equation \({\frac{dx}{x}}={ \frac{dt}{3t}}={\frac{dy}{2y}}={ \frac{du}{2u}}\), where \(\xi _1=x^3/t\), \(\xi _2=x^2/y\) are the invariants, then the reduction of Eq. (1) is
By the same token, we will get the following reductions.
Case 2
When \(\chi _2\) = \(X_2+X_3\), we reduce to Eq. (1) by using the invariant form method as follow:
where \(u(x,t,y)=U[\xi _1,\xi _2]\), and \(\xi _1=x\), \(\xi _2=yt\) are the invariants.
Case 3
When \(\chi _3\) = \(X_2+X_5\), we reduce to Eq. (1) as follow:
where \(u(x,t,y)=U[\xi _1,\xi _2],\) and \(\xi _1=xt\), \(\xi _2=y\) are the invariants.
Case 4
When \(\chi _4\) = \(X_2+X_4\), we reduce to Eq. (1) as follow:
where \(u(x,t,y)=U[\xi _1,\xi _2]+t^2/2\), and \(\xi _1=x+t^3\), \(\xi _2=y\) are the invariants.
Case 5
When \(\chi _5\) = \(X_3+X_5\), we reduce to Eq. (1) as follow:
where \(u(x,t,y)=U[\xi _1,\xi _2]\), and \(\xi _1=t\), \(\xi _2=xy\) are the invariants.
Case 6
When \(\chi _6\) = \(X_3+X_4+X_5\), we reduce to Eq. (1) as follow:
where \(u(x,t,y)=U[\xi _1,\xi _2]\), and \(\xi _1=xt\), \(\xi _2=yt\) are the invariants.
In all above, \(U_i=\frac{\partial U}{\partial \xi _i}\), \(U_{ij}=\frac{\partial U^2}{\partial \xi _i\partial \xi _j}\), \((i, j=1, 2)\), such as \(U_{11}=\frac{\partial U^2}{\partial \xi _1\partial \xi _1}\), \(U_{12}=\frac{\partial U^2}{\partial \xi _1\partial \xi _2}\), \(U_{112}=\frac{\partial U^3}{\partial \xi _1\partial \xi _1\partial \xi _2}\) \(\ldots \) and so on. From the above Eqs. (6) to (11), it is not difficult to find that Eq. (1) is reduced into the variable coefficient equations by using the symmetry \(\chi _1\) and the constant coefficient equations by using the symmetries \(\chi _2\)–\(\chi _6,\) respectively.
The exact travelling wave solutions of (8) based on the extended tanh method
Recently, as an effective approach, the extended tanh method is introduced to seek the exact solutions of the nonlinear evolution equations by Xie et al. (2005). This method is further improved by the generalized Riccati equation and introducing its twenty seven new solutions, these solutions are expressed by the hyperbolic functions, the trigonometric functions and the rational functions, respectively. When the parameters are taken as special values, some solitary wave solutions are derived from the hyperbolic function solutions.
Taking Eq. (8) for example from the symmetry reduction equations, we will get its exact travelling wave solutions by the extended tanh method and the process is composed of the following four steps.
Step 1
Doing the travelling wave transformations. In order to look for the travelling wave solutions of Eq. (8), we introduce the travelling wave transformation as follows:
where k, c are constants and \(\xi _1=xt, \xi _2=y\). Then we reduce Eq. (8) into ODE for \(U(\xi )\), namely
Step 2
Choosing the expression of solution. By considering the homogeneous balance between the highest order derivatives \(U^{(4)}\) and nonlinear terms \(UU^{\prime \prime }\) appearing in Eq. (13), we choose the following expression of solution:
where \(\alpha _0\), \(\alpha _1\), \(\alpha _2\) are undetermined coefficients. The function \(\phi =\phi (\xi )\) satisfies the secondorder linear ODE
where \(\lambda \), \(\delta \), \(\nu \) are constants. The ODE (15) has four cases of solutions as follows.
Case 1
When \(\delta ^24\lambda \nu >0\) and \(\delta \nu \ne 0\) (or \(\nu \lambda \ne 0\)),
where A and B are two nonzero constants and satisfies \(B^2A^2>0,\)
Case 2
When \(\delta ^24\lambda \nu <0\) and \(\delta \nu \ne 0\) (or \(\nu \lambda \ne 0\)),
where A and B are two nonzero constants and satisfies \(A^2B^2>0,\)
for the above \(\phi _{1}\)–\(\phi _{24}\), setting \(\theta =\delta ^{2}4\lambda \nu \).
Case 3
When \(\lambda =0\) and \(\delta \nu \ne 0,\)
where, \(\omega \) is an arbitrary constant.
Case 4
When \(\nu \ne 0\) and \(\lambda =\delta =0,\)
where c is an arbitrary constant, and for the above \(\phi _1\)–\(\phi _{27}\), setting \(\xi =k\xi _1c\xi _2.\)
Step 3
Determining the coefficients. By substituting (14) into Eq. (13) and using ODE (15), collecting all terms with the same order of \( \phi ^i\) together, the lefthand side of Eq. (13) is converted into another polynomial in \( \phi ^i\). Equating each coefficient of this different power terms to zero yields a set of nonlinear algebraic equations for \(\alpha _i (i=0,1,2), k, c, \lambda , \delta \) and \(\nu \). With the aid of mathematica, we get the solutions as follows:
By analyzing (16), these solutions are suitable to all cases of the general solutions \(\phi _1\)–\(\phi _{27}\) to ODE (15).
Step 4
Acquiring the exact travelling wave solutions. By substituting (16) and the general solutions \(\phi _1\)–\(\phi _{27}\) of ODE (15) into (14) respectively, we obtain the exact travelling wave solutions as follows:
the solutions (17) have 27 different cases, which are expressed by the hyperbolic functions, the trigonometric functions and the rational functions, respectively. The solitary wave solutions can be obtained (see Fig. 1) when the parameters are taken as special values.
The approximate analytic solutions of Eq. (8) based on the homotopy perturbation method
The homotopy perturbation method is proposed by He (1999), and it has successfully been applied to solve many types of linear and nonlinear functional equations. This method, which is a combination of homotopy in topology and classic perturbation techniques, provides us with a convenient way to obtain analytic or approximate solutions for a wide variety of problems arising indifferent fields. In recent years, the application of the homotopy perturbation method in nonlinear problems has been developed by scientists and engineers (He 2003, 2006; Olga 2011; Ebaid 2014; Najafi and Edalatpanah 2014).
Next, we construct the approximate analytic solutions of Eq. (8) by using the homotopy perturbation method. The \(U_j(\xi )\) is a function of \(\xi \) in (17), and \(\xi =k\xi _1c\xi _2\). Based on the solutions (17), we substitute \(\xi =k\xi _1c\xi _2\) into (17) and take \(\xi _2=0\), then the following initial conditions of the homotopy perturbation method can be obtained.
According to the homotopy perturbation method (He 1999), we construct the following homotopy
Equation (19) has the following form of solutions
where p is an embedding parameter, and \(V_1(\xi _1,\xi _2), V_2(\xi _1,\xi _2),\ldots \) are undetermined. In order to be convenient for computing, we choose the following initial value approximation
By substituting (20) and (21) into Eq. (19) and collecting parameters \(p^i(i=1,2,\ldots )\) with the aid of expansion as follows:
where \(V_{m,n}\) donates that \(V_m(m=1,2,\ldots )\) takes derivative with respect to the \(n(n=1,2)\) variant. We choose the initial conditions as follows:
and construct the approximate analytic solutions of Eq. (8) based on the following four cases.
Case 1
When \(j=1\), satisfying the initial conditions as follows:
the solutions can be obtained by (22) and (24) as follows:
Remark
Two variables \(\xi _1=xt\), \(\xi _2=y\) have are substituted in (25) and (26).
Then the secondorder approximate solutions of Eq. (8) can be achieved by (25) and (26)
Case 2
When \(j=13\), satisfying the initial conditions as follows:
the solutions can be obtained by (22) and (28) as follows:
Then the secondorder approximate solutions of Eq. (8) can also be achieved by (29) and (30)
Case 3
When \(j=25,\) satisfying the initial conditions as follows:
the solutions can be obtained by (22) and (32) as follows:
Then the secondorder approximate solutions of Eq. (8) can also be achieved by (33) and (34)
Case 4
When \(j=27\), satisfying the initial conditions as follows:
the solutions can be obtained by (22) and (36) as follows:
Then the secondorder approximate solutions of Eq. (8) can also be achieved by (37) and (38)
Figures 2 and 3 show the exact solutions (17) (\(j=13\)) and the secondorder approximate solutions (31) based on the homotopy perturbation method of Eq. (8) respectively when the parameters are regarded as proper values. Table 1 shows the error comparison between the solutions (17) (\(j=1\)) and (27) when \(k=0.1\), \(c=0.2\), \(\delta =3\), \(\lambda =1\), \(\nu =2\). According to the figure and table, the exact property of the homotopy perturbation method has been showed successfully.
Conclusion
In this paper, we studied that construct the exact solutions and the approximate analytic solutions of NLPDE by using the Lie symmetry, the extended tanh method and the homotopy perturbation method. Specifically, we have constructed the abundant exact travelling wave solutions and approximate analytic solutions of the (2 + 1)dimensional KP equation by using the abovementioned three methods and obtained the highprecision approximate solutions by error analysis.
Lie symmetry, the extended tanh method and the homotopy perturbation method are effective methods which applied to solve PDEs. Hence, comprehensive use of them will advance their availability. The Wudifferential characteristic set algorithm is a key factor which influence the calculating the symmetry of PDEs. At present, combining the Wudifferential characteristic set algorithm, symmetry method and others to solve NLPDE has been regarded as a hot research topic and widened the application of symmetry and the Wudifferential characteristic set algorithm. This investigation is valuable in advanced research and development.
Abbreviations
 NLPDE:

nonlinear partial differential equations
 PDEs:

the partial differential equations
 ODE:

ordinary differential equation
References
Akbar MA, Ali NHM, MohyudDin ST (2013) Assessment of the further improved (G\(^{\prime }\)/G)expansion method and the extended tanhmethod in probing exact solutions of nonlinear PDEs. SpringerPlus. doi:10.1186/219318012326
Alam MN, Akbar MA (2013) Exact traveling wave solutions of the KPBBM equation by using the new approach of generalized (G\(^{\prime }\)/G)expansion method. SpringerPlus. doi:10.1186/219318012617
Bluman GW, Cheviakov AF, Anco SC (2009) Applications of symmetry methods to partial differential. Spring, New York
Bluman GW, Kumei S (1989) Symmetries and differential equations. Spring, New York
Bluman G, Temuer C (2006) New conservation laws obtained directly from symmetry action on a known conservation law. J Math Anal Appl 322:233–250
Clarkson PA, Kruskal MD (1989) New similarity reductions of the Boussinesq. J Math Phys 30:2201–2213
Ding YM, Ji XM (2008) J Southwest Univ Natl Nat Sci Edn 34(6):1106–1110
Ebaid Abdelhalim (2014) Remarks on the homotopy perturbation method for the peristaltic flow of Jeffrey fluid with nanoparticles in an asymmetric channel. Comput Math Appl 68:77–85
EerDun B, Temuer C (2012) Approximate solution of the magnetohydrodynamic flow over a nonlinear stretching sheet. Chin Phys B 21:035201
Fan EG (2000) Extended tanhfunction method and its applications to nonlinear equations. Phys Lett A 277:212–218
FilobelloNino U, VazquezLeal H, Rashidi MM, Sedighi HM, PerezSesma A, SandovalHernandez M, SarmientoReyes A, ContrerasHernandez AD, PereyraDiaz D, HoyosReyes C, JimenezFernandez VM (2016) Laplace transform homotopy perturbation method for the approximation of variational problems. SpringerPlus. doi:10.1186/s400640161755y
He JH (1999) Homotopy perturbation technique. Comp Methods Appl Mech Eng 178:257–262
He JH (2003) A simple perturbation approach to Blasius equation. Appl Math Comput 140:217–222
He JH (2006) Some asymptotic methods for strongly nonlinear equations. Int J Mod Phys B 20(10):1141–1199
Kudryashov NA (2005) Simplest equation method to look for exact solutions of nonlinear differential equations. Chaos Solitons Fractals 24:1217–1231
Lie S (1881) Uber die integration durch bestimmte integration von einer classe linear partieller differentialgleichungen. Areh fur Math 6:328–368
Lou SY, Tang XY (2001) Conditional similarity reduction approach: Jimbo–Miwa equation. Chin Phys B 10(10):897–901
Lu L, Temuer C (2011) A new method for solving boundary value problems for partial differential equations. Comput Math Appl 61:2164–2167
Lu L, Temuer C (2011) A symmetryhomotopy hybrid algorithm for solving boundary value problems of partial differential equations. Int J Nonlinear Sci Numer Simul 11:967–972
Ma WX (1990) Ksymmetries and \(\tau \)symmetries of evolution equations and their Lie algebras. J Phys A Math Gen 23(13):2707–2716
Ma WX (2013) A soliton hierarchy associated with so (3, R). Appl Math Comput 220:117–122
Ma WX, Chen M (2009) Direct search for exact solutions to the nonlinear Schr\(\ddot{o}\)dinger equation. Appl Math Comput 215:2835–2842
Najafi HSaberi, Edalatpanah SA (2014) Homotopy perturbation method for linear programming problems. Appl Math Model 38:1607–1611
Narayanamoorthy S, Sathiyapriya SP (2016) Homotopy perturbation method: a versatile tool to evaluate linear and nonlinear fuzzy Volterra integral equations of the second kind. SpringerPlus. doi:10.1186/s4006401620383
Noether AE (1918) Invariante variations problem. Nachr Akad Wiss Göttingen Math Phys KI 2:235–257
Olga M (2011) A homotopy perturbation method for solving a neutron transport equation. Appl Math Comput 217:8567–8574
Sudao B (2011) The study on some methods to solve analytical solutions of partial differential equations. Ph.D. dissertation, Inner Mongolia University of Technology, Hohhot (in Chinese)
Sudao B, Wang XM, Wuyun M (2014) Application of the symmetry classification to the boundary value problem of nonlinear partial differential equations. Acta Phys Sin 63(4):040201 (in Chinese)
Sudao B, Temuer C (2010) An extended simplest equation method and its application to several forms of the fifthorder KdV equation. Appl Math Comput 216:3146–3153
Temuer C (1999) Wuwentsumdifferential characteristic algorithm of symmetry vectors of partial differential equations. Acta Math Sci 19(3):326–332 (in Chinese)
Temuer C, EerDun B, Zheng L (2007) Auxiliary equation(s) method to determine extended conservation laws and symmetries for partial differential equation(s) and applications of differential Wu’s method. Acta Math Appl Sin 30(5):910–927 (in Chinese)
Temuer C, Bai Y (2009) Differential characteristic set algorithm for the complete symmetry classification of partial differential equations. Appl Math Mech 30(5):595–606
Temuer C, Bai Y (2010) A new algorithmic theory for determining and classifying classical and nonclassical symmetries of partial differential equations. Sci Sin Math 40(4):331–348 (in Chinese)
Temuer C, Pang J (2010) An algorithm for the complete symmetry classification of differential equations based on Wu’s method. J Eng Math 66:181–199
Wang ML, Li XZ, Zhang JL (2008) The (G\(^{\prime }\)/G)expansion method and travelling wave solutions of nonlinear evolution equations in mathematical physics. J Phys Lett A 372:417–423
Wang ML, Li XZ (1996) Applications of a homogeneous balance method to exact solutions of nonlinear equations in mathematical physics. Phys Lett A 216:67–75
Wang ML, Li XZ (2005) Applications of Fexpansion to periodic wave solutions for a new Hamiltonian amplitude equation. Chaos Solitons Fractals 24:1257–1268
Xie FD, Chen J, Lü ZS (2005) Using symbolic computation to exactly solve the integrable Broer–Kaup equations in (2 + 1)dimensional spaces. Commun Theor Phys 43:585–590 (in Chinese)
Zhang JL, Wang ML, Li XZ (2006) The subsidiary ordinary differential equations and the exact solutions of the higher order dispersive nonlinear Schrödinger equation. Phys Lett A 357:188–195
Authors' contributions
All authors contributed extensively in the development and completion of this article. All authors read and approved the final manuscript.
Acknowledgements
This work is supported by the National Natural Science Foundation of China (11571008, 11561051), Natural Science Foundation of Inner Mongolia Autonomous Region of China (2014MS0114). The authors would like to thank the Editor and anonymous referees for their helpful suggestions and valuable comments.
Competing interests
The authors declare that they have no competing interests.
Author information
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Received
Accepted
Published
DOI
Keywords
 Symmetry
 Wudifferential characteristic set algorithm
 The extended tanh method
 The homotopy perturbation method