Abstract

We study the exact traveling wave solutions of a general fifth-order nonlinear wave equation and a generalized sixth-order KdV equation. We find the solvable lower-order subequations of a general related fourth-order ordinary differential equation involving only even order derivatives and polynomial functions of the dependent variable. It is shown that the exact solitary wave and periodic wave solutions of some high-order nonlinear wave equations can be obtained easily by using this algorithm. As examples, we derive some solitary wave and periodic wave solutions of the Lax equation, the Ito equation, and a general sixth-order KdV equation.

1. Introduction

In this paper we study a well-known general fifth-order nonlinear wave equation [15]where , and are real-valued constants, and the general sixth-order KdV equation [6]where , and are arbitrary constants.

Equation (1) includes many important nonlinear equations that have been studied in the literature. For example, the Lax equation, the Sawada-Kortera (SK) equation, the Caudrey-Dodd-Gibbon (CDG) equation, the Ito equation, and the Kaup-Kupershmidt (KK) equation are all expressed by (1) in terms of different special values of , and . Indeed, scaling analysis (by rescaling to ) shows that only the ratios and matter. The Lax equation [3, 7] arises when and . The KK equation [2, 810] corresponds to and . The SK equation [2, 911] and CDG equation [12] are obtained when and . The Ito equation arises when and . It has been shown in the literature that the properties of (1) drastically change as , and take different values. For instance, the Lax equation and the SK equation are completely integrable and possess -soliton solution. The KK equation is integrable and has bilinear representation. However, the Ito equation is not completely integrable but has a finite number of conservation laws. For more details, see [14, 911, 13] and the references in them.

We investigate the traveling wave solutions of the nonlinear wave equation (1) in the form , where is the wave speed and . Under the traveling wave coordinates, the nonlinear wave equation (1) can be reduced to a nonlinear ordinary differential equation (ODE) of the independent variable . Integrating the reduced ODE once with respect to giveswhere is a constant of integration. Clearly, is a traveling wave solution of (1) if and only if satisfies (3) with the wave speed and any constant . The equilibrium points and linearized system of (3) were studied in [7, 14, 15]. By using the method of dynamical systems and Cosgrove’s results [16], Li [7, 14, 15] obtained some exact solitary wave and quasiperiodic wave solutions of the CDG equation.

Generally, we have to study the dynamical behavior of the fourth-order ODE (3) in the 4-dimensional phase space, for which it is usually very difficult to obtain the orbits. However, for the case when the first integrals of this equation can be found, this problem can be reduced to the one in the lower dimensional space which might be easier to handle. It has been a successful idea to find exact solutions of nonlinear PDEs by reducing them into ODEs, especially for some solvable ODEs. A lot of methods in the literatures use this idea, for instance, the tanh-function method and extended tanh-function method [3, 4, 17], simple transformation method [18], the Riccati equation method [19], the Jacobi elliptic function method [20], the exp-function method [21], the homogeneous balance method [22], the -expansion method [23], and subequation method [24]. Also a direct and systematical approach to find exact solutions of nonlinear equations was proposed by using rational function transformations and thus was named as the transformed rational function method by Ma [25]. However, if the dynamics and bifurcation of these ODEs are not investigated, some solutions obtained by different methods, which are presented in different forms, can easily be misunderstood as different solutions [26, 27]. For example, a solution in the form obtained by the tanh-method can be expressed as or , which also can be derived by the sech-method and the Exp-function method.

Notice that (3) contains the terms , , , and polynomial of . Suppose that satisfies the equationwhere is a polynomial function of degree ; thenwhich are both polynomials of . This observation motivates us to try to find some possible integer and undetermined coefficients of the polynomial such that solves higher-order equation (3) if is a solution of (4) which is obviously easier to study.

Following the idea we mentioned above, in Section 2, we derive the subequation of a more general fourth-order ODEfirstly and then investigate the bifurcations and bounded solutions of (7) through the obtained subequations. By the formulas presented in Section 2 and with the help of computer algebra and symbolic computation, we study the bounded traveling wave solutions of the Lax equation and the Ito equation as examples in Section 3. In Section 4, we extend the formulas obtained in Section 2 to study the exact traveling wave solutions of a generalized sixth-order KdV equation.

2. Subequations and Exact Solutions of the Fourth-Order Equation (7)

Suppose that satisfies (4); then the first three terms of the left-hand side of (7) are all polynomials of and their degrees are , and , respectively. Consequently, we assume () to find the possible polynomial such that it solves (7) if solves (4).

Definition 1. We say that equation A is a subequation of equation B if any solutions of equation A are also solutions of equation B.

We now prove that 4th-order ODE (7) possesses a class of lower-order solvable subequations.

Theorem 2. Suppose that . Then ODE (7) has the following subequation:whereThat is, the function solves the fourth-order differential equation (7) if it solves (8).

Proof. By differentiating (8) with respect to once and three times, we obtain and which are (5) and (6) with , respectively. Inserting (8), (5), and (6) with into (7) and comparing the coefficients of like powers of , we haveSolving system (10) gives us (9).

Remark 3. Note that all the denominators in (9) are supposed to be nonzero. If some of them are zero, we have to go back to the algebraic equations (10) to find the possible solutions.

According to the conclusion of Theorem 2, we know that the fourth-order ODE (7) can be reduced into the first-order nonlinear ODE (8) provided that , which is really an inspiring result because the bifurcation and the exact solutions of the first-order nonlinear ODE (8) have been presented in [8]. We recall the theorem below to derive the exact solutions of (7) and thus obtain the exact traveling wave solutions of the fifth-order nonlinear wave equation (1) and the sixth-order KdV equation (2).

Theorem 4. Let and , where ; then the following conclusions hold.
(1) For , (8) has a bounded solution approaching as goes to infinity given bya constant solutionand an unbounded solution where is an arbitrary constant.
(2) Suppose that .
Case  (a). If , then, for any ,is a family of smooth periodic solutions of (8). Here , , , and represents the Jacobian elliptic sine-amplitude function.
Case  (b). If , then, for any ,is a family of smooth periodic solutions of (8). Here and and .
(3) For , (8) has no nontrivial bounded solutions. When , an unbounded solution is given byand a constant solution is given by

Remark 5. From Theorem 4, we conclude that (11)–(17) are solutions of the second-order ODE .

Inserting , , , , ,  , and into (7) gives (3). Consequently, in terms of Theorem 2, we get the subequation of (3).

Theorem 6. Suppose that and . Then ODE (3) admits the subequation (8) with

From the proof of Theorem 2, one can easily find that the undetermined coefficients of the subequation (8) are determined by the equations corresponding to (10). Thus we may find more solutions for the case when the denominators of (18) are 0. If and , then . Then the determining equations of , and will have unique solutions for the determined . However, for the case when and thus , can be arbitrary constant; for the case when and thus , can be arbitrary constant if is chosen to be zero; for and thus , can be arbitrary constant if is chosen to be zero.

3. Exact Traveling Wave Solutions of a Class of 5th-Order Nonlinear Wave Equations

In Section 2, we derived some subequations of the fourth-order ODE (3) which determines the traveling wave solutions of the fifth-order nonlinear wave equation (1). Therefore, one can derive the exact traveling wave solutions of (1) through Theorems 4 and 6. Note that is determined by an arbitrary integration constant , so is also an arbitrary constant. Clearly,According to Theorem 4, if , the bounded solutions of (4) can be obtained from (11)–(17).

We now study the Lax equation and the Ito equation as examples of the application of the approach we proposed in this paper.

3.1. Exact Traveling Wave Solutions of the Lax Equation

The Lax equation which has been studied in [3, 7] is given byThis is (1) with , and .

Theorem 7. The Lax equation (20) has the following four families of bounded traveling wave solutions.
(1) The Lax equation (20) has a peak-form solitary wave solution (see Figure 1)where the wave speed .
(2) For any arbitrary constant , the Lax equation (20) has a family of peak-form solitary wave solutionswhere .
(3) For any arbitrary and ,is a family of smooth periodic traveling wave solutions of the Lax equation (20). Here , , and .
(4) For any arbitrary and ,is a family of smooth periodic traveling wave solutions of the Lax equation (20) (see Figure 2). Here , , and .

Proof. Inserting , , and into the first equation of (18) gives and . Note that . Using these values with , (18) and (19) give , , , and and so from (11), we obtain (21) which is a peak-form solitary wave solution of the Lax equation.
Further, since is an arbitrary constant, we suppose that for certain value of , where . Then by the relationship between coefficients and roots of a polynomial, we haveObviously, . By letting , from (25), we obtainInserting (26) into (15) gives (23).
For the second value of , we note that the denominator and numerator of in (9) are both zero for , , and . Thus we have to go back to the algebraic equations (10). Clearly, , , , and when , , and . Substituting into (10) givesSolving (27) for , , and gives and and can be an arbitrary constant. Inserting these results into (11) and (14) gives (22) and (24), respectively.

Remark 8. We note that we recover the solutions of the Lax equation obtained in [3] as special cases of our solutions. The solitary wave solutions (22) are consistent with the solutions in [3], but the solution (21) and other two families of periodic wave solutions are new.

3.2. Exact Traveling Wave Solutions of the Ito Equation

The Ito equation [13] is given byand can be retrieved from (1) by letting , , and .

Theorem 9. The Ito equation (28) has the following four families of bounded traveling wave solutions.
(1) It has a peak-form solitary wave solutionwhere the wave speed .
(2) For any arbitrary constant , the Ito equation (28) has a family of peak-form solitary wave solutionsThe wave speed of this family of waves is zero; that is, these are standing waves.
(3) For any arbitrary and ,is a family of smooth periodic traveling wave solutions of the Ito equation. Here , , and .
(4) For any arbitrary and ,is a family of smooth periodic traveling wave solutions of the (28). Here , , and .

Proof. Inserting , , and into the first equation of (19) gives or . Using the values of , and with , (19) gives and . Thus . Inserting these results into (11) gives (29) which is a peak-form solitary wave solution of the Ito equation.
Further, we suppose that for certain value of , where . Using the relationship between coefficients and roots of a polynomial, we haveClearly, . Letting , from (33), we obtainInserting (34) into (15) gives (31).
Now, for , the denominator of in (9) is zero when , , and , so we have to go back to the algebraic equations (10). Clearly, , , , , and when , , and . From the second equation of (10), we obtain . Clearly, when and , any arbitrary solves the third equation of (10) if ; that is, . Then from the last equation of (10), we obtain . Using these values into (11) and (15) we obtain (30) and (32), respectively.

Remark 10. The solitary wave solutions (29) and (30) are consistent with the solutions and in [3], respectively. However, the periodic solutions (31) and (32) are new.

4. Application to the General Sixth-Order KdV Equation (2)

We now generalize this approach to study a new sixth-order nonlinear wave equation (2) which was derived by Karasu-Kalkanli et al. [6] in 2008. Letting , setting , and integrating it once with respect to , we havewhere is an integration constant.

Obviously, the traveling wave solutions of the sixth-order KdV equation (2) are given by , where solves ODE (35) which is similar to (7). By letting , , , , , , and in (9), we have the following lemma.

Lemma 11. Suppose . If solves (35), then it solves (8), where

Remark 12. If any denominators of , or are zero, we need to go back to the equationsto find possible solutions.

Note that here can be arbitrary number because is an arbitrary integration constant. From Lemma 11 and Theorem 4, it is easy to see that the traveling wave solutions of the six-order KdV equations (2) can be obtained by detecting the relationship between the coefficients , , which are determined by (36). The two families of exact solutions exist if , and defined by (36) satisfy , because is an integration constant. With the help of Maple, we can obtain the traveling waves of the six-order KdV equation (2) automatically.

Equation (2) with , , , , , , and , namely,was studied in [28]. According to (36) and Theorem 4, we obtain , , , , or , , and , and is an arbitrary constant.

Note that is an arbitrary integration constant. Consequently, from Theorem 4, we obtain the exact solutions of (38) as , where and is defined as follows.

(1) Consider

(2) For arbitrary ,

(3) For any arbitrary and ,where , , and .

(4) For any arbitrary , , and ,where , , and .

Remark 13. Obviously, this algorithm also can be used to study the sixth-order KdV equation (2) with other coefficients values.

5. Conclusion and Discussion

The exact traveling wave solutions of a general fifth-order nonlinear wave equation and a generalized sixth-order KdV equation were studied in this paper. A systematic algorithm was proposed to study the exact solutions of an associated fourth-order ODE possessing even order derivatives. By using this algorithm, with the help of symbolic computation, the exact solitary wave and periodic wave solutions of a very general class of higher-order nonlinear wave equations can be obtained systematically. Here we obtained two families of solitary wave and periodic wave solutions of the Lax equation, the Ito equation, and a generalized sixth-order KdV equation. From the results of this paper, it is easy to see that this method can be used to find the traveling wave solutions of higher-order wave equations which can be reduced to the ODEs in the form , where is a polynomial function.

It has been shown that the equations with nonlinear dispersion, usually related to singular dynamical systems, possess nonsmooth singular wave solutions, such as compacton and peakon, by using the dynamical system method and other methods [14, 2932]. However, as far as we know, the dynamical system method has been well used to investigate the nonlinear wave equations which can be reduced to planar dynamical systems. Can we find the subequations of the higher-order wave equations with nonlinear dispersion in the form ? Here is a rational function. How the theorems of planar singular dynamical systems [14, 33, 34] can be applied to find the singular wave solutions to higher-order nonlinear wave equations will be considered in our future work.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

Lijun Zhang thanks the North-West University for the postdoctoral fellowship and DST-NRF Centre of Excellence in Mathematical and Statistical Sciences (CoE-MaSS). This work is partially supported by the Nature Science Foundation of China (nos. 11101371 and 11422214) and the Nature Science Foundation of Zhejiang (LY15A010021). The authors are also grateful to the referees for their valuable comments, which have led to several improvements.