Volume 2012, Issue 1 716719

Research Article

Open Access

Symbolic Computation and the Extended Hyperbolic Function Method for Constructing Exact Traveling Solutions of Nonlinear PDEs

Huang Yong,

Huang Yong

School of Computer Science and Educational Software, Guangzhou University, Guangzhou 510006, China gzhu.edu.cn

Search for more papers by this author

Shang Yadong,

Corresponding Author

Shang Yadong

[email protected]

School of Mathematics and Information Science, Guangzhou University, Guangzhou 510006, China gzhu.edu.cn

Key Laboratory of Mathematics and Interdisciplinary Sciences of Guangdong Higher Education Institutes, Guangzhou University, Guangzhou 510006, China gzhu.edu.cn

Search for more papers by this author

Yuan Wenjun,

Corresponding Author

Yuan Wenjun

[email protected]

School of Mathematics and Information Science, Guangzhou University, Guangzhou 510006, China gzhu.edu.cn

Key Laboratory of Mathematics and Interdisciplinary Sciences of Guangdong Higher Education Institutes, Guangzhou University, Guangzhou 510006, China gzhu.edu.cn

Search for more papers by this author

Huang Yong,

Huang Yong

School of Computer Science and Educational Software, Guangzhou University, Guangzhou 510006, China gzhu.edu.cn

Search for more papers by this author

Shang Yadong,

Corresponding Author

Shang Yadong

[email protected]

School of Mathematics and Information Science, Guangzhou University, Guangzhou 510006, China gzhu.edu.cn

Key Laboratory of Mathematics and Interdisciplinary Sciences of Guangdong Higher Education Institutes, Guangzhou University, Guangzhou 510006, China gzhu.edu.cn

Search for more papers by this author

Yuan Wenjun,

Corresponding Author

Yuan Wenjun

[email protected]

School of Mathematics and Information Science, Guangzhou University, Guangzhou 510006, China gzhu.edu.cn

Key Laboratory of Mathematics and Interdisciplinary Sciences of Guangdong Higher Education Institutes, Guangzhou University, Guangzhou 510006, China gzhu.edu.cn

Search for more papers by this author

First published: 11 October 2012

https://doi.org/10.1155/2012/716719

Citations: 3

Academic Editor: Renat Zhdanov

Share a link

Email
Wechat
Bluesky

Abstract

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.

1. Introduction

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 [1], the Bäcklund and Darboux transformation method [2, 3], the Hirota bilinear method [4], the Lie group reduction method [5], the tanh method [6], the tanh-coth method [7], 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 [21]. For illustration, we apply the presented method to two variant Boussinesq equations

()

where H(x, t), u(x, t) are the unknown functions depending on the temporal variable t and the spatial variable x. These two equations were introduced as models for water waves and called variant Boussinesq equations I and II, respectively [25]. 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 [8], the homogeneous balance method [10], the extended tanh method [16], and the the F-expansion method [17], 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 ε = ±1 or 0, r is a constant. When ε ≠ 0, we can obtain the following first integral as given:

()

Step 1. Consider a system of N nonlinear evolution equations (N ≥ 1) with n independent variables x = (x₁, x₂, …, x_n) and m dependent variables u = (u₁, u₂, …, u_m), given by

()

where P_i, i = 1,2, …, N, are in general nonlinear functions of their arguments, ∂^ju denotes the coordinates with components

, for j = 1,2, …, k, corresponding to all jth-order partial derivatives of u with respect to x.

We seek the following formal traveling wave solutions which are of important physical significance:

()

where k_i 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 d/dξ.

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 ε = ±1 in (2.1), (2.2),
()
where the coefficients a_l,i (i = 0,1, 2 … , l_n) and b_l,j (j = 1,2, …, l_n) are constants to be determined latter.
(b)
When ε = 0 in (2.1),
()
where g′(ξ) = −g²(ξ) and the coefficients a_l,i (i = 0,1, 2 … , l_n) are constants to be determined.

Step 3. Balancing the highest-order derivative term and the nonlinear terms in (2.5), we get balance powers l_n (usually positive integer). If some one of l_n is a fraction or a negative integer, say s_n is negative, we make the following transformation:

()

then return to determine balance power n again.

Step 4. (a) When ε ≠ 0, substituting (2.6) along with the conditions (2.1) and (2.2) into (2.5).

(b) When ε = 0, substituting (2.7) along with the condition g′(ξ) = −g²(ξ) into (2.5).

Then eliminating any derivative of (f, g) and any power of g higher than one and setting the coefficients of powers f_i (i = 0,1, …; ) and f_jg (j = 0,1, …) in the case (a) (setting the coefficients of the different powers g in the case (b)) to zero yield a set of overdetermined nonlinear algebraic equations with respect to the unknown variables k_i, i = 1,2, …, n, a_l,i (i = 0,1, 2 … , l_n), b_l,j (j = 1,2, …, l_n), r, C. With the aid of Maple, we apply the Wu-elimination method [26] to solve the above overdetermined system of nonlinear algebraic equations, that yields the values of k_i, i = 1,2, …, n, a_l,i (i = 0,1, 2 … , l_n), b_l,j (j = 1,2, …, l_n), r, C.

Step 5. We know that the coupled Riccati equations (2.1) admit the following special solutions.

(a)
When ε = 1,
()
and then g²(ξ) = 1 − 2rf(ξ)+(b² − a² + r²)f²(ξ).
(b)
When ε = −1,
()
and then g²(ξ) = −1 + 2rf(ξ)+(b² + a² − r²)f²(ξ).
(c)
When ε = 0,
()
where C 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 1/ξ can be obtained by considering the different values of a, b in (2.9), (2.10). Our proposed method is a generalization of the tanh method [6], the extended tanh method, the tanh-coth method [7, 15], the extended tanh-function method [27], the extended improved tanh-function method [21], 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).

According to the above method, to seek traveling wave solutions of (1.1), we make the transformation

()

and thus (1.1) becomes

()

Firstly we assume that the solutions of (3.1) are of the form

()

where a_1,i, b_1,j, i = 0,1, 2, …, m, j = 1,2, …, m, and a_2,i, b_2,j, i = 0,1, 2, …, m, j = 1,2, …, m, are constants to be determined latter, f and g satisfy (2.1), (2.2), and ε = ±1. We can get the balancing powers m = 2, n = 1. So we have

()

where a_1,0, a_1,1, a_1,2, b_1,1, b_1,2, a_2,0, a_2,1, b_2,1 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 fⁱ(ξ)g^j(ξ). Setting the coefficients of these terms fⁱ(ξ)g^j(ξ) to zero yields a set of overdetermined nonlinear algebraic equations with respect to a_1,0, a_1,1, a_1,2, b_1,1, b_1,2, a_2,0, a_2,1, b_2,1, k, ω, and r:

()

To get a nontrivial solution of (1.1), we assume that k ≠ 0 and . By making use of the Maple software package “PDESolver” which is based on the Wu-elimination method [26], we solve (3.5) and get the following nontrivial solutions with the aid of the computer program Maple 12.

Set ξ = kx + ωt + ξ₀, and k(≠0), ω, r are real constants.

When ε = 1.

Case 1. r = r, a_1,0 = 0, a_1,1 = k²r, a_1,2 = −k², a_2,0 = −(ω/k), a_2,1 = k, b_1,1 = 0, b_1,2 = k², b_2,1 = −k. By applying these to (3.4), one gets a solution of (1.1):

()

Case 2. r = r, a_1,0 = 0, a_1,1 = k²r, a_1,2 = −k², a_2,0 = −(ω/k), a_2,1 = k, b_1,1 = 0, b_1,2 = −k², b_2,1 = k. By applying these to (3.4), one gets a solution of (1.1):

()

Case 3. r = r, a_1,0 = 0, a_1,1 = k²r, a_1,2 = −k², a_2,0 = −(ω/k), a_2,1 = −k, b_1,1 = 0, b_1,2 = k², b_2,1 = k. By applying these to (3.4), one gets a solution of (1.1):

()

Case 4. r = r, a_1,0 = 0, a_1,1 = k²r, a_1,2 = −k², a_2,0 = −(ω/k), a_2,1 = −k, b_1,1 = 0, b_1,2 = −k², b_2,1 = −k. By applying these to (3.4), one gets a solution of (1.1):

()

Case 5. r = (ω + ka_2,0)/k², , a_1,1 = 2ω + 2ka_2,0, a_1,2 = −2k², a_2,0 = a_2,0, a_2,1 = −2k, b_1,1 = 0, b_1,2 = 0, b_2,1 = 0. By applying these to (3.4), one gets a solution of (1.1):

()

where a_2,0 is an arbitrary real constant.

Case 6. r = −((ω + ka_2,0)/k²), , a_1,1 = −2ω − 2ka_2,0, a_1,2 = −2k², a_2,0 = a_2,0, a_2,1 = 2k, b_1,1 = 0, b_1,2 = 0, b_2,1 = 0. By applying these to (3.4), one gets a solution of (1.1):

()

Case 7. r = 0, a_1,0 = 0, a_1,1 = 0, a_1,2 = −2k², a_2,0 = −(ω/k), a_2,1 = 0, b_1,1 = 0, b_1,2 = 0, b_2,1 = 2k. By applying these to (3.4), one gets a solution of (1.1):

()

Case 8. r = 0, a_1,0 = 0, a_1,1 = 0, a_1,2 = −2k², a_2,0 = −(ω/k), a_2,1 = 0, b_1,1 = 0, b_1,2 = 0, b_2,1 = −2k. By applying these to (3.4), one gets a solution of (1.1):

()

While taking a = 1, b = 0 in solutions H₇, u₇ (3.12) and H₈, u₈ (3.13), we can obtain the exact soliton solutions obtained in [10] by homogeneous balance method. While taking a = 0, b = 1 in solutions H₇, u₇ (3.12) and H₈, u₈ (3.13), we obtain singular traveling wave solutions of csch²ξ, coth ξ type corresponding to the soliton solutions of sech²ξ, tanhξ type. Thus the results obtained in [10] are special cases of this paper. We would like to emphasize that the solutions H₅, u₅ and H₆, u₆ are solutions that have an entirely new form and proposed firstly in this paper. It should be pointed out that the solutions H₁, u₁(3.6) to H₄, u₄ (3.9) have a more general form than those that appeared in previous literatures. While setting a = 1, b = 0 (or a = 0, b = 1, 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.

When ε = −1.

Case 9. r = r, a_1,0 = 0, a_1,1 = −k²r, a_1,2 = −k², a_2,0 = −(ω/k), a_2,1 = k, b_1,1 = 0, b_1,2 = k², b_2,1 = −k. By applying these to (3.4), one gets a solution of (1.1):

()

Case 10. r = r, a_1,0 = 0, a_1,1 = −k²r, a_1,2 = −k², a_2,0 = −(ω/k), a_2,1 = k, b_1,1 = 0, b_1,2 = −k², b_2,1 = k. By applying these to (3.4), one gets a solution of (1.1):

()

Case 11. r = r, a_1,0 = 0, a_1,1 = −k²r, a_1,2 = −k², a_2,0 = −(ω/k), a_2,1 = −k, b_1,1 = 0, b_1,2 = k², b_2,1 = k. By applying these to (3.4), one gets a solution of (1.1):

()

Case 12. r = r, a_1,0 = 0, a_1,1 = −k²r, a_1,2 = −k², a_2,0 = −(ω/k), a_2,1 = −k, b_1,1 = 0, b_1,2 = −k², b_2,1 = −k. By applying these to (3.4), one gets a solution of (1.1):

()

Case 13. r = (ka_2,0 + ω)/k², , a_1,1 = −2ka_2,0 − 2ω, a_1,2 = −2k², a_2,0 = a_2,0, a_2,1 = 2k, b_1,1 = 0, b_1,2 = 0, b_2,1 = 0. By applying these to (3.4), one gets a solution of (1.1):

()

where a_2,0 is an arbitrary real constant.

Case 14. r = −((ka_2,0 + ω)/k²), , a_1,1 = 2ka_2,0 + 2ω, a_1,2 = −2k², a_2,0 = a_2,0, a_2,1 = −2k, b_1,1 = 0, b_1,2 = 0, b_2,1 = 0. By applying these to (3.4), one gets a solution of (1.1):

()

where a_2,0 is an arbitrary real constant.

Case 15. r = 0, a_1,0 = 0, a_1,1 = 0, a_1,2 = −2k², a_2,0 = −(ω/k), a_2,1 = 0, b_1,1 = 0, b_1,2 = 0, b_2,1 = 2k. By applying these to (3.4), one gets a solution of (1.1):

()

Case 16. r = 0, a_1,0 = 0, a_1,1 = 0, a_1,2 = −2k², a_2,0 = −(ω/k), a_2,1 = 0, b_1,1 = 0, b_1,2 = 0, b_2,1 = −2k. By applying these to (3.4), one gets a solution of (1.1):

()

When ε = 0.

Balancing the highest-order derivative term and the nonlinear terms in (2.5), we get balance powers m = 2, n = 1. By the method described in Section 2 Step 4(b), we get a set of overdetermined nonlinear algebraic equations with respect to a_1,0, a_1,1, a_1,2, a_2,0, a_2,1, k, ω, and r:

()

Solving (3.22), we get the following.

Case 17. a_1,0 = 0, a_1,1 = 0, a_1,2 = −2k², a_2,0 = −(ω/k), a_2,1 = 2k. By applying these to (2.7), one gets a solution of (1.1):

()

Case 18. a_1,0 = 0, a_1,1 = 0, a_1,2 = −2k², a_2,0 = −(ω/k), a_2,1 = −2k. By applying these to (2.7), one gets a solution of (1.1):

()

The periodic wave solutions of triangle function types H₉, u₉ (3.14) to H₁₆, u₁₆ (3.21) and the solitary wave solutions of rational function form H₁₇, u₁₇ (3.23), H₁₈, u₁₈ (3.24) have not been appeared in [10]. The periodic wave solutions H₁₃, u₁₃ (3.18) and H₁₄, u₁₄ (3.19) have the entirely new form and proposed firstly in this paper. The periodic wave solutions of triangle function types H₉, u₉ (3.14) to H₁₂, u₁₂ (3.17) have more general form than those obtained in literatures [8, 16]. While taking a = 1, b = 0 (or a = 0, b = 1, 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 f and g satisfying (2.1), (2.2), and ε = ±1. We can get the balancing powers m = 2, n = 2. So we have

()

where ξ = kx + ωt + ξ₀, and a_1,0, a_1,1, a_1,2, a_2,0, a_2,1, a_2,2, b_1,1, b_1,2, b_2,1, b_2,2 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 [26]; solving (3.27), one gets the following nontrivial solutions.

Set ξ = kx + ωt + ξ₀, and k(≠0), ω, r are real constants.

For ε = 1, there are 7 solutions.

Case 1. ε = 1, r = r, a_1,0 = (−36ω² + 18αω²k² + k²)/36ω², a_1,1 = −3k²αr, a_1,2 = 3αk², a_2,0 = (−k² + 18αω²k² − 6ω²)/6ωk, a_2,1 = −18kαωr, a_2,2 = 18αωk, b_1,1 = 0, b_1,2 = 3αk², b_2,1 = 0, b_2,2 = 18αωk. By applying these to (3.26), one gets a solution of the PDEs (1.2):

()

Case 2. ε = 1,r = r, a_1,0 = (−36ω² + 18αω²k² + k²)/36ω², a_1,1 = −3k²αr, a_1,2 = 3αk², a_2,0 = (−k² + 18γω²k² − 6ω²)/6ωk, a_2,1 = −18kαωr, a_2,2 = 18αωk, b_1,1 = 0, b_1,2 = −3αk², b_2,1 = 0, b_2,2 = −18αωk. By applying these to (3.26), one gets a solution of the PDEs (1.2):

()

Case 3. ε = 1, r = 0, a_1,0 = (−36ω² + 18αω²k² + k²)/36ω², a_1,1 = 0, a_1,2 = 3αk², a_2,0 = (−k² + 18αω²k² − 6ω²)/6ωk, a_2,1 = 0, a_2,2 = 18αωk, b_1,1 = 0, b_1,2 = 3αk², b_2,1 = 0, b_2,2 = 18αωk. By applying these to (3.26), one gets a solution of the PDEs (1.2):

()

Case 4. ε = 1, r = 0, a_1,0 = (−36ω² + 18αω²k² + k²)/36ω², a_1,1 = 0, a_1,2 = 3αk², a_2,0 = (−k² + 18αω²k² − 6ω²)/6ωk, a_2,1 = 0, a_2,2 = 18αωk, b_1,1 = 0, b_1,2 = −3αk², b_2,1 = 0, b_2,2 = −18αωk. By applying these to (3.26), one gets a solution of the PDEs (1.2):

()

Case 5. ε = 1, r = 0, a_1,0 = (−36ω² + 72αω²k² + k²)/36ω², a_1,1 = 0, a_1,2 = 6αk², a_2,0 = (−k² − 6ω² + 72αω²k²)/6ωk, a_2,1 = 0, a_2,2 = 36αωk, b_1,1 = 0, b_1,2 = 0, b_2,1 = 0, b_2,2 = 0. By applying these to (3.26), one gets a solution of the PDEs (1.2):

()

Case 6. ε = 1, r = 1, a_1,0 = (−36ω² + 18αω²k² + k²)/36ω², a_1,1 = −6αk², a_1,2 = 6αk², a_2,0 = (−k² + 18αω²k² − 6ω²)/6ωk, a_2,1 = −36αωk, a_2,2 = 36αωk, b_1,1 = 0, b_1,2 = 0, b_2,1 = 0, b_2,2 = 0. By applying these to (3.26), one gets a solution of the PDEs (1.2):

()

Case 7. ε = 1, r = −1, a_1,0 = (−36ω² + 18αω²k² + k²)/36ω², a_1,1 = 6αk², a_1,2 = 6αk², a_2,0 = (−k² + 18αω²k² − 6ω²)/6ωk, a_2,1 = 36αωk, a_2,2 = 36αωk, b_1,1 = 0, b_1,2 = 0, b_2,1 = 0, b_2,2 = 0. By applying these to (3.26), one gets a solution of the PDEs (1.2):

()

While taking a = 1, b = 0 in solutions H₅, u₅ (3.32), we can get the soliton solutions in sech²ξ, sech²ξ form obtained in [10] by homogeneous balance method. While taking a = 1, b = 0 in solutions H₅, u₅ (3.32), we can get the singular traveling soliton-like solutions in csch²ξ, csch²ξ form. It should be emphasized that the solutions H₁, u₁ (3.28) and H₂, u₂ (3.29) are entirely new solutions that have not been proposed in previous literatures. We also should point out that H₃, u₃ (3.30), H₄, u₄ (3.31), H₇, u₇ (3.33), H₈, u₈ (3.34) include all soliton solutions in hyperbolic function form obtained in [8, 16]. Because there are some parameters that can take different values, these solutions possess more new information.

For ε = −1.

Case 8. ε = −1, r = r, a_1,0 = −((36ω² + 18αω²k² − k²)/36ω²), a_1,1 = 3k²αr, a_1,2 = 3αk², a_2,0 = −(k² + 18αω²k² + 6ω²)/6ωk, a_2,1 = 18kαωr, a_2,2 = 18αωk, b_1,1 = 0, b_1,2 = 3αk², b_2,1 = 0, b_2,2 = 18αωk. By applying these to (3.26), one gets a solution of the PDEs (1.2):

()

Case 9. ε = −1, r = r, a_1,0 = −((36ω² + 18αω²k² − k²)/36ω²), a_1,1 = 3k²αr, a_1,2 = 3αk², a_2,0 = −((k² + 18αω²k² + 6ω²)/6ωk), a_2,1 = 18kαωr, a_2,2 = 18αωk, b_1,1 = 0, b_1,2 = −3αk², b_2,1 = 0, b_2,2 = −18αωk. By applying these to (3.26), one gets a solution of the PDEs (1.1):

()

Case 10. ε = −1, r = 0, a_1,0 = −((36ω² + 18αω²k² − k²)/36ω²), a_1,1 = 0, a_1,2 = 3αk², a_2,0 = −((k² + 18αω²k² + 6ω²)/6ωk), a_2,1 = 0, a_2,2 = 18αωk, b_1,1 = 0, b_1,2 = 3αk², b_2,1 = 0, b_2,2 = 18αωk. By applying these to (3.26), one gets a solution of the PDEs (1.2):

()

Case 11. ε = −1, r = 0, a_1,0 = −((36ω² + 18αω²k² − k²)/36ω²), a_1,1 = 0, a_1,2 = 3αk², a_2,0 = −((k² + 18αω²k² + 6ω²)/6ωk), a_2,1 = 0, a_2,2 = 18αωk, b_1,1 = 0, b_1,2 = −3αk², b_2,1 = 0, b_2,2 = −18αωk. By applying these to (3.26), one gets a solution of the PDEs (1.2):

()

Case 12. ε = −1, r = 0, a_1,0 = −((36ω² + 72αω²k² − k²)/36ω²), a_1,1 = 0, a_1,2 = 6αk², a_2,0 = −((k² + 72αω²k² + 6ω²)/6ωk), a_2,1 = 0, a_2,2 = 36αωk, b_1,1 = 0, b_1,2 = 0, b_2,1 = 0, b_2,2 = 0. By applying these to (3.26), one gets a solution of the PDEs (1.2):

()

The periodic wave solutions of triangle function H₈, u₈ (3.35) and H₉, u₉ (3.36) are entirely new periodic wave solutions that have not been obtained in other literatures. The periodic wave solutions of triangle function H₁₀, u₁₀ (3.37) to H₁₂, u₁₂ have more general form than those obtained in literatures [8, 16]. All of the above periodic wave solutions have not been obtained in literature [10].

For R = 0, we can deduce that the solution of (3.25) is of the form

()

where ξ = kx + ωt + ξ₀ and a_1,0, a_1,1, a_1,2, a_2,0, a_2,1, a_2,2 are constants to be determined later.

Substituting (3.40) along with the condition g′(ξ) = −g²(ξ) into (3.25) yields a set of nonlinear algebraic equations:

()

With the aid of the computer program Maple 12, make use of the Maple software package PDESolver by the authors, which is based on the Wu-elimination method [26]; solving (3.41), one gets the following nontrivial solutions.

Case 13. ε = 0, r = r, a_1,0 = (−36ω² + k²)/36ω², a_1,1 = 0, a_1,2 = 6αk², a_2,0 = −((k² + 6ω²)/6ωk), a_2,1 = 0, a_2,2 = 36αωk. By applying these to (3.40), one gets a solution of the PDEs (1.2):

()

The solitary wave solutions H₁₃, u₁₃ are in rational function form and have not been obtained in literatures [8, 10, 16].

4. Summary and Conclusions

In summary, we propose an effective and a readily computerizable method to uniformly construct a series of traveling wave solutions for nonlinear evolution partial differential equations in mathematical physic, and develop a symbolic computational software package “PDESolver.” As an application of the proposed method, we deal with two types of variant Boussinesq equations. Some more general forms of exact explicit traveling wave solutions for two variant Boussinesq equations are obtained. We not only obtain all known exact solitary wave solutions, periodic wave solutions, and singular traveling wave solutions but also find abundant new exact solitary wave solutions, singular traveling wave solutions, and periodic traveling wave solutions of triangle function. Since there are some parameters that can take different values, these solutions admit abundant new information. Because these two variant Boussinesq equations are integrable, all solitary wave solutions are stable. All known results in [8, 10, 16, 17] are improved and completed. Although the procedure has many advantages than other methods such as the tanh method [6], the extended tanh method, the tanh-coth method [7, 15], the extended tanh-function method [27], the extended improved tanh-function method [21], and the recent method proposed by Wazwaz [23, 24], there exist some limitations in our procedure. We cannot obtain nontraveling wave solution by using the method presented in this paper. Comparing with the Jacobi elliptic function method, the F-expansion method, and the improved F-expansion method, our method failed to obtain elliptic function doubly periodic wave solutions.

Acknowledgments

This work is supported by the NSF of China (10771041, 40890153, 11271090), Doctorial Point Fund of National Education Ministry of China (200810780002) and NSF of Guangdong (S2012010010121). It is also supported by the Visiting Scholar Program of Chern Institute of Mathematics at Nankai University when the authors worked as visiting scholars. The authors would like to express their hearty thanks to Chern Institute of Mathematics that provided very comfortable research environments to them. The authors would like to thank Professor Wang Mingliang for his helpful suggestions. The authors wish to thank the referee for his or her very helpful comments and useful suggestions.

References

1 Ablowitz M. J. and Clarkson P. A., Solitons, Nonlinear Evolution Equations and Inverse Scattering, 1991, 149, Cambridge University Press, Cambridge, UK, https://doi.org/10.1017/CBO9780511623998, 1149378, ZBL0900.65350.
10.1017/CBO9780511623998
Google Scholar
2 Gu C. H., Hu H. S., and Zhou Z. X., Darboux Transformations in Integrable Systems: Theory and Their Applications to Geometry, 2005, 26, Springer, Dordrecht, The Netherlands, 2174988, ZBL1228.05210.
10.1007/1-4020-3088-6
Google Scholar
3 Rogers C. and Schief W. K., Bäcklund and Darboux Transformations, 2002, Cambridge University Press, Cambridge, UK, https://doi.org/10.1017/CBO9780511606359, 1908706, ZBL1237.93129.
10.1017/CBO9780511606359
Google Scholar
4 Hirota R., Direct Method in Soliton Theory, 1992, Iwannmi Shoten Publishers.
Google Scholar
5 Bluman G. W. and Anco S. C., Symmetry and Integration Methods for Differential Equations, 2002, 154, Springer, New York, NY, USA, 1914342, ZBL1196.68338.
Google Scholar
6 Parkes E. J. and Duffy B. R., An automated tanh-function method for finding solitary wave solutions to nonlinear evolution equations, Computer Physics Communications. (1996) 98, no. 3, 288–300.
10.1016/0010-4655(96)00104-X
CAS Web of Science® Google Scholar
7 Wazwaz A.-M., The tanh-coth method for solitons and kink solutions for nonlinear parabolic equations, Applied Mathematics and Computation. (2007) 188, no. 2, 1467–1475, https://doi.org/10.1016/j.amc.2006.11.013, 2335643, ZBL1119.65100.
10.1016/j.amc.2006.11.013
Web of Science® Google Scholar
8 Yan Z. Y. and Zhang H. Q., New explicit and exact travelling wave solutions for a system of variant Boussinesq equations in mathematical physics, Physics Letters A. (1999) 252, no. 6, 291–296, https://doi.org/10.1016/S0375%2D9601(98)00956%2D6, 1669336, ZBL0938.35130.
10.1016/S0375-9601(98)00956-6
CAS Web of Science® Google Scholar
9 Yusufoğlu E. and Bekir A., Solitons and periodic solutions of coupled nonlinear evolution equations by using the sine-cosine method, International Journal of Computer Mathematics. (2006) 83, no. 12, 915–924, https://doi.org/10.1080/00207160601138756, 2304960, ZBL1115.35117.
10.1080/00207160601138756
Web of Science® Google Scholar
10 Wang M. L., Solitary wave solutions for variant Boussinesq equations, Physics Letters A. (1995) 199, no. 3-4, 169–172, https://doi.org/10.1016/0375%2D9601(95)00092%2DH, 1322452.
10.1016/0375-9601(95)00092-H
CAS Web of Science® Google Scholar
11 Senthilvelan M., On the extended applications of homogeneous balance method, Applied Mathematics and Computation. (2001) 123, no. 3, 381–388, https://doi.org/10.1016/S0096%2D3003(00)00076%2DX, 1849512, ZBL1032.35159.
10.1016/S0096-3003(00)00076-X
Web of Science® Google Scholar
12 Fan E., Two new applications of the homogeneous balance method, Physics Letters A. (2000) 265, no. 5-6, 353–357, https://doi.org/10.1016/S0375%2D9601(00)00010%2D4, 1742560, ZBL0947.35012.
10.1016/S0375-9601(00)00010-4
CAS Web of Science® Google Scholar
13 Dai C. and Zhang J., Jacobian elliptic function method for nonlinear differential-difference equations, Chaos, Solitons & Fractals. (2006) 27, no. 4, 1042–1047, https://doi.org/10.1016/j.chaos.2005.04.071, 2166686, ZBL1091.34538.
10.1016/j.chaos.2005.04.071
Web of Science® Google Scholar
14 Fan E. and Zhang J., Applications of the Jacobi elliptic function method to special-type nonlinear equations, Physics Letters A. (2002) 305, no. 6, 383–392, https://doi.org/10.1016/S0375%2D9601(02)01516%2D5, 1952420, ZBL1005.35063.
10.1016/S0375-9601(02)01516-5
CAS Web of Science® Google Scholar
15 Fan E., Extended tanh-function method and its applications to nonlinear equations, Physics Letters A. (2000) 277, no. 4-5, 212–218, https://doi.org/10.1016/S0375%2D9601(00)00725%2D8, 1827770, ZBL1167.35331.
10.1016/S0375-9601(00)00725-8
CAS Web of Science® Google Scholar
16 Fan E. and Hon Y. C., A series of travelling wave solutions for two variant Boussinesq equations in shallow water waves, Chaos, Solitons & Fractals. (2003) 15, no. 3, 559–566, https://doi.org/10.1016/S0960%2D0779(02)00144%2D3, 1932473, ZBL1031.76008.
10.1016/S0960-0779(02)00144-3
Web of Science® Google Scholar
17 Wang Y.-M., Li X.-Z., Yang S., and Wang M.-L., Applications of F-expansion to periodic wave solutions for variant Boussinesq equations, Communications in Theoretical Physics. (2005) 44, no. 3, 396–400, https://doi.org/10.1088/6102/44/3/396, 2200384.
10.1088/6102/44/3/396
Web of Science® Google Scholar
18 Zhang J. L., Wang M.-L., Wang Y.-M., and Fang Z.-D., The improved F-expansion method and its applications, Physics Letters. (2006) 350A, no. 1-2, 103–109.
10.1016/j.physleta.2005.10.099
Google Scholar
19 Yan Z., New explicit travelling wave solutions for two new integrable coupled nonlinear evolution equations, Physics Letters A. (2001) 292, no. 1-2, 100–106, https://doi.org/10.1016/S0375%2D9601(01)00772%2D1, 1916507, ZBL1092.35524.
10.1016/S0375-9601(01)00772-1
CAS Web of Science® Google Scholar
20 Chen Y.-Z. and Ding X.-W., Exact travelling wave solutions of nonlinear evolution equations in (1 + 1) and (2 + 1) dimensions, Nonlinear Analysis A. (2005) 61, no. 6, 1005–1013, https://doi.org/10.1016/j.na.2005.01.090, 2131790, ZBL1086.34501.
10.1016/j.na.2005.01.090
Web of Science® Google Scholar
21 Soliman A. A., Extended improved tanh-function method for solving the nonlinear physical problems, Acta Applicandae Mathematicae. (2008) 104, no. 3, 367–383, https://doi.org/10.1007/s10440%2D008%2D9262%2Dy, 2453432, ZBL1165.35046.
10.1007/s10440-008-9262-y
Web of Science® Google Scholar
22 Zhi H. and Zhang H., Symbolic computation and a uniform direct ansätze method for constructing travelling wave solutions of nonlinear evolution equations, Nonlinear Analysis A. (2008) 69, no. 8, 2748–2760, https://doi.org/10.1016/j.na.2007.04.041, 2446368, ZBL1163.34004.
10.1016/j.na.2007.04.041
Web of Science® Google Scholar
23 Wazwaz A.-M., New solitary wave solutions to the modified forms of Degasperis-Procesi and Camassa-Holm equations, Applied Mathematics and Computation. (2007) 186, no. 1, 130–141, https://doi.org/10.1016/j.amc.2006.07.092, 2316499, ZBL1114.65124.
10.1016/j.amc.2006.07.092
Web of Science® Google Scholar
24 Wazwaz A.-M., New solitons and kinks solutions to the Sharma-Tasso-Olver equation, Applied Mathematics and Computation. (2007) 188, no. 2, 1205–1213, https://doi.org/10.1016/j.amc.2006.10.075, 2335621, ZBL1118.65113.
10.1016/j.amc.2006.10.075
Web of Science® Google Scholar
25 Sachs R. L., On the integrable variant of the Boussinesq system: Painlevé property, rational solutions, a related many-body system, and equivalence with the AKNS hierarchy, Physica D. (1988) 30, no. 1-2, 1–27, https://doi.org/10.1016/0167%2D2789(88)90095%2D4, 939264, ZBL0694.35207.
10.1016/0167-2789(88)90095-4
Web of Science® Google Scholar
26 Wu W. J., Polynomials Equation-Solving and Its Application. Algorithms and Computation, 1994, Springer, Berlin, Germany.
Google Scholar
27 Shang Y. D., Qin J., Huang Y., and Yuan W., Abundant exact and explicit solitary wave and periodic wave solutions to the Sharma-Tasso-Olver equation, Applied Mathematics and Computation. (2008) 202, no. 2, 532–538, https://doi.org/10.1016/j.amc.2008.02.034, 2435687, ZBL1151.65076.
10.1016/j.amc.2008.02.034
Web of Science® Google Scholar

Citing Literature

All articles

Symbolic Computation and the Extended Hyperbolic Function Method for Constructing Exact Traveling Solutions of Nonlinear PDEs

Abstract

1. Introduction

2. The Extended Hyperbolic Function Method

3. Exact Solutions of the Variant Boussinesq Equations

4. Summary and Conclusions

Acknowledgments

References

Citing Literature

References

Information

About Wiley Online Library

Help & Support

Opportunities

Connect with Wiley

Symbolic Computation and the Extended Hyperbolic Function Method for Constructing Exact Traveling Solutions of Nonlinear PDEs

Abstract

1. Introduction

2. The Extended Hyperbolic Function Method

3. Exact Solutions of the Variant Boussinesq Equations

4. Summary and Conclusions

Acknowledgments

References

Citing Literature

References

Related

Information