Abstract

Consideration in this paper is the Cauchy problem of a generalized hyperelastic-rod wave equation. We first derive a wave-breaking mechanism for strong solutions, which occurs in finite time for certain initial profiles. In addition, we determine the existence of some new peaked solitary wave solutions.

1. Introduction

Consideration herein is the following generalized hyperelastic-rod wave equation: where is a given -function and the real number with is a given parameter. In general, the constant is given in terms of the material constants and the prestress of the rod. In fact, the authors [1, 2] studied the special compressible materials which lead to values of ranging from to .

When , , (1) becomes the classical Camassa-Holm (CH) equation [3] with initial data . While for and , (1) becomes the Benjamin-Bona-Mahony equation [4]. And when , , (1) is so-called the hyperelastic-rod wave equation [2].

The classical CH equation (2) was originally proposed as a model for surface waves [3] and has been studied extensively in the last twenty years because of its many remarkable properties: infinity of conservation laws and complete integrability [3], existence of peaked solitons and multipeakons [3, 5, 6] (with ), well-posedness and breaking waves, and meaning solutions that remain bounded, while its slope becomes unbounded in finite time [7, 8]. On the other hand, if , the CH equation (2) admits peaked solitary wave solutions (called peakons) which possess the form with speed ,  , and their stability was studied in [9]. Recently, Gui et al. [10] proved that there exist some peaked functions which are global weak solutions to a modified Camassa-Holm equation. We should mention that the solutions to the CH equation (2) can be uniquely continued after wave-breaking as either a global conservative or global dissipative weak solution [1114]. It is worth pointing out that there exists a global-in-time weak solution to the CH equation in the energy space [15].

For , , (1) serves as a model equation for mechanical vibrations in a hyperelastic rod [1, 2]. Similar to CH equation, stability of solitary wave solutions has been studied in [16]. In addition, the solutions to the hyperelastic-rod wave equation can be uniquely continued after wave breaking as a global conservative weak solution [17]. Moreover, there exists a global-in-time weak solution to the hyperelastic-rod wave equation in the energy space [18].

Motivated by the approaches in [9, 10], our goals in this paper are concerned with the wave-breaking phenomena and the existence of some new peakons of (1) with   ,  . In this case, (1) may be read as Introducing the momentum , we get from (3) that Note that if , then for all and , where denotes convolution with respect to the spatial variable . Therefore, (3) can also be rewritten as the following equivalent form

We are now in a position to give the notions of strong and weak solutions.

Definition 1. If with and some satisfies (5), then is called a strong solution on . If is a strong solution on for every , then it is called a global strong solution.

Definition 2. Given initial data , the function ;   is said to be a weak solution to the initial-value problem (5) if it satisfies the following identity: for any smooth test function . If is a weak solution on for every , then it is called a global weak solution.

Our main results of the present paper are Theorem 9 (wave breaking) and Theorem 10 (existence of peakons).

The remainder of the paper is organized as follows. In Section 2, the results of blow-up to strong solutions are presented in detail. It is shown that the solutions of (3) can only have singularities which correspond to wave breaking (Theorems 9). In Section 3, the existence of some new peaked solutions of (3) is verified. From this, we know that there exist some peaked solitary wave solutions for the case (compared to the case in the Camassa-Holm equation; see Remark 11).

NotationAs above and henceforth, we denote the norm of the Lebesgue space    by and the norm of the Sobolev space    by . We denote by the spatial convolution on .

2. Wave-Breaking Phenomena

By using the Kato's method [19], we may easily get the following results about the local well-posedness and blow-up criterion of strong solutions to (5), of which proofs are similar to the one as in the CH equation in [7] (up to a slight modification) and we omit it here.

Theorem 3. Let with . Then there exists a time such that the initial-value problem (5) has a unique strong solution and the map is continuous from a neighborhood of in into .

We are now in a position to state a blow-up criterion for (5).

Theorem 4. Let be as in Theorem 3 with . Let be the corresponding solution to (5). Assume that is the maximum time of existence. Then

Remark 5. The blow-up criterion (7) implies that the lifespan does not depend on the regularity index of the initial data . Indeed, let be in for some and consider some . Denote by (resp., ) the corresponding maximal (resp., ) solution given by the above theorem. Denote by (resp., ) the lifespan of (resp., ). Since , uniqueness ensures that and that on . Now, if , then we must have in . Hence, , which contradicts the above blow-up criterion (7). Therefore, .

Remark 6. For a strong solution in Theorem 3, the Hamiltonian functionals are conserved; that is for all .

The following blow-up criterion shows that the wave-breaking depends only on the infimum of .

Theorem 7. Let be as in Theorem 3 with . Then the corresponding solution to (5) blows up in finite time if and only if

Proof. Since, in view of Remark 5, the existence time is independent of the choice of , we need only to consider the case , which relies on a simple density argument.
Multiplying (3) by and integrating over with respect to and then integration by parts produce We next differentiate (3) with respect to to get Multiplying by then integrating over with respect to lead to Therefore, If is bounded from below on , that is, there exists a positive constant such that on , then the above estimate implies where we used (8) so that . Applying Gronwall's inequality then yields for , which ensures that the solution does not blow up in finite time.
On the other hand, if by Theorem 3 for the existence of local strong solutions and the Sobolev embedding theorem, we infer that the solution will blow up in finite time. The proof of Theorem 7 is then complete.

For , we define where is the sign function of , and set . Then, thanks to Theorem 3, for every there exists at least one point with . Just as the proof given in [8], one can show the following property of .

Lemma 8. Let be the solution to (5) on with initial data , as given by Theorem 3. Then the function is almost everywhere differentiable on , with

With Lemma 8 in hand, we may get the following result about the wave-breaking phenomena of solutions to the generalized hyperelastic-rod wave equation (3).

Theorem 9. Let ,  , and   with . Assume that where with for . Then the corresponding solution to (5) blows up in finite time. Moreover, the maximal time of existence is estimated above by

Proof. Let be the maximal existence time of the solution to (5) with initial data as stated in Theorem 3. Applying Theorem 3, Remark 5, and a simple density argument, we need only to show that Theorem 9 holds with some . Here we assume to prove the theorem.
Firstly, thanks to Lemma 8 and the definition of , there are and such that , (18) holds, and
Differentiating (5) with respect to and using the identity , we obtain which along with (22) implies
For the case , thanks to the Young's inequality and the Sobolev inequality, we get from Remark 6 that, for all , Note that and , we infer that Set ; we have
We now claim that if , then for all .
In fact, assuming that the contrary would, in view of being continuous, ensure the existence of some , such that in and . Combining this with (27) would give . Since is absolutely continuous on , an integration of this inequality would give the following inequality and we get the contradiction . This proves the previous claim.
Therefore it follows from (27) that      which implies that is strictly decreasing on .
Set . Then we have , that is, . Therefore it follows that which leads to This implies that the maximal time of existence satisfies In consequence, we have which along with Theorem 7 applied completes the proof of Theorem 9 for the case .
Next, to deal with the case , we need first to verify the following inequality for any positive real number : Indeed, observe that the inequality yields Whereas the inequality leads to which along with (34) gives rise to (32).
Notice that is the only positive root of ; we get from (32) that which together with (24) implies that Thanks to the Sobolev inequality and Remark 6, we get that, for any ,  , which along with (38) implies that (27) holds for Repeating the above argument in the proof of (31) for the case leads to (31), and then the proof of Theorem 9 is complete for the case .
Let us now consider the case . It follows from (24) that
where we used Young's inequality so that, for all , Therefore, set ; we may get Repeating the above argument in the proof of (31) for the case again ends the proof of Theorem 9.

3. Peaked Solitary Wave Solution

In this section we consider the existence of peaked solitary wave solutions of (3) in the case of ( and ), which can be understood as global weak solutions.

Theorem 10. For any , , and , the peaked function of the form is a global weak solution to (3) in the sense of Definition (2).

Remark 11. It is known that for the Camassa-Holm equation (that is, (5) with and ), for any , the peaked function of the form is a global weak solution to the Camassa-Holm equation with the case in the sense of Definition (2), and if , the Camassa-Holm equation has no peaked solution. Here Theorem 10 implies that, if , (5) still has some peaked solutions, as long as and .

Proof of Theorem 10. The proof of the theorem is motivated by the method in [10]. First, we can reduce the result to the one with the case . In fact, multiplying with (1) and setting , (1) become the following form:
We claim that, for all , in the sense of distribution .
Indeed, for any test function , we may get by using integration by parts that which along with the fact that ends the proof of the claim.
Let us now set for . Then we have Similar to the proof of (46), we get that, for all , Therefore, from (46), (48), (49), and and , together with integration by parts applied, we obtain that, for every test function , Notice from (46) that for ; we have When , we split the right hand side of (52) into the following three parts: We directly compute as follows: Similarly, we have and . From this, we deduce that, for , And for the case , we spilt the right hand side of (51) into the following three parts: We compute Similarly, we have and , which along with (57) and (58) implies that, for , From (56) and (60), we obtain On the other hand, by using the form of , we get from (50) that Therefore, for every test function , we conclude that which completes the proof of Theorem 10.

Conflict of Interests

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

Acknowledgments

The work of Ai is partially supported by the NSF of China under Grant 11001111. The authors would like to thank the referees for constructive suggestions and comments.