Abstract

We consider the orbital stability of solitary traveling wave solutions of an equation describing the free surface waves of moderate amplitude in the shallow water regime. Firstly, we rewrite this equation in Hamiltonian form and construct two invariants of motion. Then using the abstract stability theorem of solitary waves proposed by Grillakis et al. (1987), we prove that the solitary traveling waves of the equation under consideration are orbital stable.

1. Introduction

In this paper, we consider an equation for surface waves of moderate amplitude in the shallow water regime as follows: where the parameters and denote amplitude and shallowness. The nonlinear evolution equation (1) arises as an approximation of the Euler equations [1, 2]. Based on an equation first derived by Johnson [3], on the one hand, one can derive a Camassa-Holm equation at a certain depth below the fluid surface for small amplitude waves [4], on the other hand, for the free surface, a corresponding equation (1) can be derived for waves of moderate amplitude in the shallow water regime. The Camassa-Holm (CH) equation is completely integrable and bi-Hamiltonian, which possesses soliton, peakon, and compacton solutions [512], especially breaking waves; that is, the solution remains bounded but its slope becomes unbounded [13]. Besides, the solutions of CH equation also include global weak solutions [11, 14, 15]. The stability problems of the solutions for the CH equation and its generalized forms were investigated [1621], orbital stability of smooth solitary waves, peaked solitary waves and multisolitons were proved. As described the above, many results for waves of small amplitude have been obtained via the CH equation and its generalized forms. However, it is interesting and necessary to study waves of moderate amplitude. Therefore, the moderate amplitude wave equation (1) was investigated and some results were obtained. For instance, the problems of local well-posedness were considered and the existence and uniqueness of solutions were proved [2]. Only in the special case of parameters and , the orbital stability of solitary traveling waves was proved by a method proposed by Grillakis et al. [22, 23]. Nevertheless, the stability problems of solutions for (1) are not solved yet when parameters and take any values.

In this letter, by a solitary wave we mean a localized traveling wave. The notion of stability is orbital stability, which is the appropriate notion for model equations whose solitary waves are such that the height is proportional to the speed. Indeed, in this case the only type of stability is that of the shape of the wave, a fact that is captured by the notion of orbital stability, as pioneered by considerations made in celestial mechanics. Set a solitary wave , , where is wave speed. Substituting into (1), we have By integration with respect to , we obtain from (2) that where is an integration constant. Due to the solutions considered which satisfy the property that they are localized and that and its derivatives decay at infinity, in (3) the constant of integration .

2. Preliminaries

In (1), the so called amplitude and shallowness parameters and relate the average length , amplitude , and water depth satisfying , (see Figure 1).

Let us now give the appropriate notion of solitary waves of (1) and their orbital stability.

The following two quantities and are critically important to the proof of the stability: these are constants of the motion; that is, along solutions these expressions are independent of time. The role of these integrals of motion in stability considerations was pioneered in [16].

Definition 1. Let . A function is called a solution to (1) if it satisfies (1) in the distribution sense on and the quantities and are conserved.

Definition 2. A solitary wave solution of (1) is called orbital stable if for every there exists such that the following holds: if is a solution of (1) for some with , then for every we have Otherwise, the solution is called unstable.

Equation (1) can be rewritten as the following Hamiltonian form: where is a skew-symmetry operator and is the Fréchet derivative of .

Using a theorem of Grillakis et al. [22], we deduce the stability problem of solitary waves for (1) from the the convexity of a scalar function, which is relative to the conserved quantities and . The method used in [22] is described as follows.

Firstly, the following sufficient conditions (C1)–(C3) are presented.(C1)For every , , there exists a solution of (1) in such that , where . Furthermore, there exist functionals and which are conserved for solutions of (1).(C2)For every , there exists a traveling wave solution of (1), where and . The mapping is . Moreover , where and are the variational derivatives of and , respectively.(C3)For every , the linearized Hamiltonian operator around defined by has exactly one negative simple eigenvalue, its kernel is spanned by , and the rest of its spectrum is positive and bounded away from zero.

Then under conditions (C1)–(C3), the relative theorem of stability is as follows.

Theorem 3. If the conditions (C1)–(C3) hold, then solitary waves of (1) are orbital stable if and only if the scalar function is convex in a neighborhood of .

3. Stability of Solitary Waves

In this section, we show that the conditions (C1)–(C3) of Theorem 3 hold for (1) and then give the result of this paper.

Lemma 4. The quantities and are invariants of motion.

Proof. Multiplying both sides of (1) by and integrating over the real line, we have proving is an invariant.
To prove that is conserved, the Hamiltonian structure of (1) and the skew-symmetry of is used: that is, proving Lemma 4.
For (C1) holds due to Lemma 4 and the existence is proved in [24].
For (C2), by virtue of the existence in [2] and by direct calculation of the variational derivatives of and , which is (2) can be rewritten as proving (C2).
For (C3), by direct calculation, we get the second order variational derivatives of invariants and as follows: Substituting and into we have
In order to prove (C3) holds, we consider the spectral problem of . We show that, for every , the operator has exactly one negative simple eigenvalue while the rest of the spectrum is positive and bounded away from zero.
The spectral equation can be transformed to the Sturm-Liouville problem where , .
The linearized Hamiltonian operator is a self-adjoint, second order differential operator. So its eigenvalues are real and simple, and its essential spectrum is given by by virtue of the fact that . Moreover, it can be directly shown that (2) is equivalent to . Due to the fact that the solitary wave solutions of (1) have a unique maximum, has only one zero. By Sturm-Liouville Theorem, zero is the second eigenvalue of , the operator has exactly one negative simple eigenvalue, and the rest of the spectrum is positive and bounded away from zero.

Under the conditions (C1)–(C3), the stability problem of solitary waves for (1) can be transformed to the problem of convex of the scalar function . We have the following theorem.

Theorem 5. For each wave speed , the scalar function is convex in a neighborhood of . Therefore, all solitary wave solutions of (1) are orbital stable.

4. Proof of Stability

Equation (3) can be rewritten as the following plane system: The first integral of the above plane system is where is the integral constant. Since , (or ) as , so the integral constant . From (18), we can get that solitary traveling wave solutions of (1) satisfy Due to the symmetry of solitary wave solutions with respect to the crest, on we have and where and .

Lemma 6. Let and let denote the maximum of ; then has only one zero point for each wave speed .

Proof. For each given wave speed , differentiating with respect to yields thus is monotonic. Moreover, for any given wave speed , we have when takes the maximum . It is implied from (19) that namely, . Lemma 6 is proved.

By direct calculation, we have In the last equality, we use the transformation and employ the fact that takes a unique maximum , which corresponds to the unique real root of in Lemma 6. Unfortunately precludes a straightforward differentiation of . To prove , another way is to show the existence of and then is an increasing function.

Lemma 7. For any wave speed , the derivative of exists.

Proof. It was presented in [2] that the function is bijective and strictly monotonically increasing; and . Let ; by (22) we have
Substituting and into (23) yields where we have made a transformation . The integrand in the above integral is singular only when according to the transformation made; thus the integral is well defined on .
Let denote the integrand in (25). For any interval with , can be regarded as a parameter integral. It is observed that for all and for all . By direct calculation, we have where and the expression of can be shown as follows:
Therefore, there exists a positive constant related to , and such that Denote ; then . By the theorem on differentiation of parameter integrals, we have note that for all , by virtue of the arbitrary of and , which ensures the existence of derivative of and Lemma 7 is proved.

It is not easy to prove directly, so we turn to show the following Lemma.

Lemma 8. For wave speed , is an increasing function with respect to .

Proof. The function is bijective and strictly monotonically increasing [2]; therefore, for any wave speeds , the corresponding height of waves , we show that .
Combining Lemmas 7 and 8, we obtain . The proof of Theorem 5 is completed.

Conflict of Interests

The author declares that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

This work is supported by the National Natural Science Foundations of China (Grant nos. 11326123 and 11401096) and Guangdong Provence (no. GDJG20141204). The authors thank the editors for their hard work and also gratefully acknowledge helpful comments and suggestions by reviewers.