Research Article | Open Access
Huang Yong, Shang Yadong, Yuan Wenjun, "Symbolic Computation and the Extended Hyperbolic Function Method for Constructing Exact Traveling Solutions of Nonlinear PDEs", Journal of Applied Mathematics, vol. 2012, Article ID 716719, 19 pages, 2012. https://doi.org/10.1155/2012/716719
Symbolic Computation and the Extended Hyperbolic Function Method for Constructing Exact Traveling Solutions of Nonlinear PDEs
On the basis of the computer symbolic system Maple and the extended hyperbolic function method, we develop a more mathematically rigorous and systematic procedure for constructing exact solitary wave solutions and exact periodic traveling wave solutions in triangle form of various nonlinear partial differential equations that are with physical backgrounds. Compared with the existing methods, the proposed method gives new and more general solutions. More importantly, the method provides a straightforward and effective algorithm to obtain abundant explicit and exact particular solutions for large nonlinear mathematical physics equations. We apply the presented method to two variant Boussinesq equations and give a series of exact explicit traveling wave solutions that have some more general forms. So consequently, the efficiency and the generality of the proposed method are demonstrated.
The nonlinear phenomena are very important in a variety of scientific fields, especially in fluid dynamics, solid-state physics, hydrodynamics, plasma physics, elastic dynamics, acoustics, chemical physics, and nonlinear optics. Nonlinear evolution partial differential equations are widely used as models to describe complex physical phenomena in various fields of sciences, especially in fluid mechanics, solid-state mechanics, atmospheric physics, chemical reaction-diffusion dynamics, ion acoustics, and nonlinear vibration. The investigation of exact traveling wave solutions to nonlinear evolution partial differential equations plays an important role in the study of nonlinear science. The exact solution, if available, of those nonlinear equations facilitates the verification of numerical solvers and aids in the stability analysis of solutions. It can also provide much physical information and more insights into the physical aspects of the nonlinear physical problem. During the past decades, much effort has been spent on the subject of obtaining the exact analytical solutions to the nonlinear evolution PDEs. Many powerful methods have been proposed such as the inverse scattering transformation method , the Bäcklund and Darboux transformation method [2, 3], the Hirota bilinear method , the Lie group reduction method , the tanh method , the tanh-coth method , the sine-cosine method [8, 9], the homogeneous balance method [10–12], the Jacobi elliptic function method [13, 14], the extended tanh method [15, 16], the F-expansion method and its extension [17, 18], the Riccati method [19, 20], and extended improved tanh-function method [21, 22]. With the development of symbolic computation, the tanh method, the F-expansion method, the sine-Gordon equation expansion method, and all kinds of auxiliary equation methods attract more and more researchers. In this paper, we present an effective extension to the projective Riccati equation method [19, 20] and extended improved tanh-function method [21, 22] and develop an effective Maple software package “PDESolver” to uniformly construct a series of traveling wave solutions including solitary wave solutions, singular traveling, rational, triangular periodic solitons for general nonlinear evolution equations. Our method can be regarded as an extension of the works by Wazwaz [23, 24] and Soliman . For illustration, we apply the presented method to two variant Boussinesq equations where , are the unknown functions depending on the temporal variable and the spatial variable . These two equations were introduced as models for water waves and called variant Boussinesq equations I and II, respectively . Their symmetries, conservation laws, and inverse scattering transformation, and soliton solutions have been investigated by many authors (see [8, 16] and references therein). Many exact solutions have been obtained by many researchers using the sine-cosine method , the homogeneous balance method , the extended tanh method , and the the F-expansion method , respectively. We will give a series of new traveling wave solutions for the two equations. Some entirely new exact solitary wave solutions and periodic wave solutions of the equations are obtained.
The paper is organized as follows: in Section 2, we briefly describe what is the extended hyperbolic function method and how to use it to derive the traveling solutions of nonlinear PDEs. In Section 3, we apply the extended hyperbolic function method to (1.1) and (1.2) and establish many rational form solitary wave, rational form triangular periodic wave solutions. In Section 4, we briefly make a summary to the results that we have obtained.
2. The Extended Hyperbolic Function Method
Now we would like to outline the main steps of our method for solving nonlinear PDEs.
Consider the coupled Riccati equations where or is a constant. When , we can obtain the following first integral as given:
Step 1. Consider a system of nonlinear evolution equations with independent variables and dependent variables , given by
where , , are in general nonlinear functions of their arguments, denotes the coordinates with components , for , corresponding to all th-order partial derivatives of with respect to .
We seek the following formal traveling wave solutions which are of important physical significance: where are constants to be determined later and is an arbitrary constant.
Then the nonlinear partial differential equations (2.3) reduce to a nonlinear ordinary differential equations where denotes .
Step 2. To seek the exact solutions of nonlinear partial differential equations (2.3), we assume that the solution of the ODEs (2.5) is of the following form.(a)When in (2.1), (2.2), where the coefficients and are constants to be determined latter.(b)When in (2.1), where and the coefficients are constants to be determined.
Step 3. Balancing the highest-order derivative term and the nonlinear terms in (2.5), we get balance powers (usually positive integer). If some one of is a fraction or a negative integer, say is negative, we make the following transformation: then return to determine balance power again.
Step 4. (a) When , substituting (2.6) along with the conditions (2.1) and (2.2) into (2.5).
(b) When , substituting (2.7) along with the condition into (2.5).
Then eliminating any derivative of and any power of higher than one and setting the coefficients of powers and in the case (a) (setting the coefficients of the different powers in the case (b)) to zero yield a set of overdetermined nonlinear algebraic equations with respect to the unknown variables , , , , , . With the aid of Maple, we apply the Wu-elimination method  to solve the above overdetermined system of nonlinear algebraic equations, that yields the values of , , , , , .
Step 5. We know that the coupled Riccati equations (2.1) admit the following special solutions.(a)When ,
and then .(b)When ,
and then .(c)When ,
where is constant.
Thus according to (2.4), (2.6), (2.9), (2.10) (or (2.4), (2.7), (2.11)) and the conclusions in Step 4, we can obtain the multiple more general exact explicit traveling wave solutions of nonlinear partial differential equations (2.3).
Remark 2.1. Many types of traveling wave solutions such as tanh , coth , sech , cosech , tan , cot , sec , cosec , and can be obtained by considering the different values of in (2.9), (2.10). Our proposed method is a generalization of the tanh method , the extended tanh method, the tanh-coth method [7, 15], the extended tanh-function method , the extended improved tanh-function method , and the recent works of Wazwaz [23, 24].
The proposed method supplies a unified formulation to construct abundant traveling wave solutions to nonlinear evolution partial differential equations of special physical significance. Furthermore, the presented method is readily computerizable by using symbolic software Maple. Based on the extended hyperbolic function method and computer symbolic software, we develop a Maple software package “PDESolver.” Compared with packages RATH, ERATH, AJFM, TRWS, and RAEEM, “PDESolver” is more effective. “PDESolver” can obtain more exact traveling wave solutions.
3. Exact Solutions of the Variant Boussinesq Equations
As an example of the use of Maple software package “PDESolver,” we first consider the variant Boussinesq equations (1.1).
Firstly we assume that the solutions of (3.1) are of the form where , , , , and , , , , are constants to be determined latter, and satisfy (2.1), (2.2), and . We can get the balancing powers , . So we have where , , , , , , , are constants to be determined later.
With the aid of Maple, substituting (3.4) along with (2.1) and (2.2) into (3.2), yields a set of algebraic equations for . Setting the coefficients of these terms to zero yields a set of overdetermined nonlinear algebraic equations with respect to , , , , , , , , , , and :
To get a nontrivial solution of (1.1), we assume that and . By making use of the Maple software package “PDESolver” which is based on the Wu-elimination method , we solve (3.5) and get the following nontrivial solutions with the aid of the computer program Maple 12.
Set , and , , are real constants.
Case 8. , , , , , , , , . By applying these to (3.4), one gets a solution of (1.1):
While taking , in solutions , (3.12) and , (3.13), we can obtain the exact soliton solutions obtained in  by homogeneous balance method. While taking , in solutions , (3.12) and , (3.13), we obtain singular traveling wave solutions of , type corresponding to the soliton solutions of , type. Thus the results obtained in  are special cases of this paper. We would like to emphasize that the solutions , and , are solutions that have an entirely new form and proposed firstly in this paper. It should be pointed out that the solutions , (3.6) to , (3.9) have a more general form than those that appeared in previous literatures. While setting , (or , , resp.) in some of these solutions, we can obtain all solutions in hyperbolic function form presented in literatures [8, 16]. Since there are some parameters that can take different values, these solutions include abundant new information.
Case 16. , , , , , , , , . By applying these to (3.4), one gets a solution of (1.1):
Balancing the highest-order derivative term and the nonlinear terms in (2.5), we get balance powers , . By the method described in Section 2 Step 4(b), we get a set of overdetermined nonlinear algebraic equations with respect to , , , , , , , and :
Solving (3.22), we get the following.
Case 18. , , , , . By applying these to (2.7), one gets a solution of (1.1):
The periodic wave solutions of triangle function types , (3.14) to , (3.21) and the solitary wave solutions of rational function form , (3.23), , (3.24) have not been appeared in . The periodic wave solutions (3.18) and , (3.19) have the entirely new form and proposed firstly in this paper. The periodic wave solutions of triangle function types , (3.14) to , (3.17) have more general form than those obtained in literatures [8, 16]. While taking , (or , , resp.) in some of these solutions, we will obtain all the periodic wave solutions in triangle function form that have been obtained in literatures [8, 16, 17].
We next deal with the variant Boussinesq equation (1.2) in a similar way to (1.1).
Using transformation (3.1), we reduce (1.2) to a system of nonlinear ODEs:
Firstly we assume that the solutions of (3.25) are of the form (3.3) with and satisfying (2.1), (2.2), and . We can get the balancing powers , . So we have where , and , , , , , , , , , are constants to be determined later.
Substituting (3.26) with (2.1) and (2.2) into (3.25) and using the Maple yield
With the aid of the computer program Maple 12, make use of the Maple software package PDESolver developed by the authors, which is based on the Wu-elimination method ; solving (3.27), one gets the following nontrivial solutions.
Set , and , , are real constants.
For , there are 7 solutions.
Case 4. , , , , ,