On the Study of Local Solutions for a Generalized Camassa-Holm Equation
Meng Wu1
Academic Editor: Yong Hong Wu
Received23 May 2012
Revised30 Jun 2012
Accepted18 Jul 2012
Published28 Aug 2012
Abstract
The pseudoparabolic regularization technique is employed to study the local well-posedness of strong solutions for a nonlinear dispersive model, which includes the famous Camassa-Holm equation. The local well-posedness is established in the Sobolev space with via a limiting procedure.
1. Introduction
In recent years, extensive research has been carried out worldwide to study highly nonlinear equations including the Camassa-Holm (CH) equation and its various generalizations [1โ6]. It is shown in [7โ9] that the inverse spectral or scattering approach is a powerful technique to handle the Camassa-Holm equation and analyze its dynamics. It is pointed out in [10โ12] that the CH equation gives rise to geodesic flow of a certain invariant metric on the Bott-Virasoro group, and this geometric illustration leads to a proof that the Least Action Principle holds. Li and Olver [13] established the local well-posedness to the CH model in the Sobolev space with and gave conditions on the initial data that lead to finite time blow-up of certain solutions. Constantin and Escher [14] proved that the blow-up occurs in the form of breaking waves, namely, the solution remains bounded but its slope becomes unbounded in finite time. Hakkaev and Kirchev [15] investigated a generalized form of the Camassa-Holm equation with high order nonlinear terms and obtained the orbit stability of the traveling wave solutions under certain assumptions. Lai and Wu [16] discussed a generalized Camassa-Holm model and acquired its local existence and uniqueness. Recently, Li et al. [17] investigated the generalized Camassa-Holm equation
where is a natural number and . The authors in [17] assume that the initial value satisfies the sign condition and establish the global existence of solutions for (1.1).
In this paper, we will study the following generalization of (1.1):
where is a natural number, , and is a constant.
The objective of this paper is to study the local well-posedness of (1.2). Its local well-posedness of strong solutions in the Sobolev space with is investigated by using the pseudoparabolic regularization method. Comparing with the work by Li et al. [17], (1.2) considered in this paper possesses a conservation law different to that in [17] (see Lemma 3.2 in Section 3). Also (1.2) contains a dissipative term , which causes difficulty to establish its local and global existence in the Sobolev space. It should be mentioned that the existence and uniqueness of local strong solutions for the generalized nonlinear Camassa-Holm models like (1.2) have never been investigated in the literatures.
The organization of this work is as follows. The main result is given in Section 2. Section 3 establishes several lemmas, and the last section gives the proof of the main result.
2. Main Result
Firstly, we introduce several notations.
is the space of all measurable functions such that . We define with the standard norm . For any real number , denotes the Sobolev space with the norm defined by
where .
For and nonnegative number , denotes the Frechet space of all continuous -valued functions on . We set . For simplicity, throughout this paper, we let denote any positive constant that is independent of parameter .
Now, we give our main results for problem of (2.2).
Theorem 2.1. Suppose that the initial function belongs to the Sobolev space with and is a constant. Then, there is a , which depends on , such that problem (2.2) has a unique solution satisfying
3. Local Well-Posedness
In order to prove Theorem 2.1, we consider the associated regularized problem
where the parameter satisfies .
Lemma 3.1. For and and letting be an integer such that , are uniformly continuous bounded functions that converge to 0 at .
The proof of Lemma 3.1 was stated on page 559 by Bona and Smith [18].
Lemma 3.2. If is a solution to problem (3.1), it holds that
Proof. Using Lemma 3.1, we have . The integration by parts results in
Direct calculation and integration by parts give rise to
in which we have used (3.3). From (3.4), we obtain the conservation law (3.2).
Lemma 3.3. Let . The function is a solution of problem (3.1) and the initial value . Then, the following inequality holds:
For , there is a constant independent of such that
For , there is a constant independent of such that
The proof of this lemma is similar to that of Lemmaโโ3.5 in [17]. Here we omit it.
Lemma 3.4. Let and be real numbers such that . Then,
Lemma 3.5. Let with . Then, the Cauchy problem (3.1) has a unique solution , where depends on . If , the solution exists for all time.
Proof. Letting , we know that is a bounded linear operator. Applying the operator on both sides of the first equation of system (3.1) and then integrating the resultant equation with respect to over the interval , we get
Suppose that both and are in the closed ball of radius about the zero function in and is the operator in the right-hand side of (3.9). For any fixed , we obtain
where may depend on . The algebraic property of with derives
Using the first inequality of Lemma 3.4 gives rise to
where may depend on . From (3.11)-(3.12), we obtain
where and is independent of . Choosing sufficiently small such that , we know that is a contraction. Similarly, it follows from (3.10) that
Choosing sufficiently small such that , we deduce that maps to itself. It follows from the contraction-mapping principle that the mapping has a unique fixed point in . It completes the proof.
From the above and Lemma 3.2, we have
Therefore,
which together with Lemma 3.3 completes the proof of the global existence.
Setting with and , we know that for any . From Lemma 3.5, it derives that the Cauchy problem
has a unique solution .
Furthermore, we have the following.
Lemma 3.6. For , it holds that
where is a constant independent of .
Remark 3.7. For , using , , (3.5), (3.19), and (3.20), we know that,
where is independent of and .
Lemma 3.8. Suppose with such that . Let be defined as in system (3.17). Then, there exist two positive constants and , which are independent of , such that the solution of problem (3.17) satisfies for any .
Here we omit the proof of Lemma 3.8 since it is similar to Lemmaโโ3.9 presented in [17].
Lemma 3.9 (see Li and Olver [13]). If and are functions in , then
Lemma 3.10 (see Lai and Wu [16]). For with , , and a natural number , it holds that
Lemma 3.11 (see Lai and Wu [16]). If and , then for any functions defined on , it holds that
Lemma 3.12. For problem (3.17), , and , there exist two positive constants and , which are independent of , such that the following inequalities hold for any sufficiently small and :
Slightly modifying the methods presented in [16] can complete the proof of Lemma 3.12.
Our next step is to demonstrate that is a Cauchy sequence. Let and be solutions of problem (3.17), corresponding to the parameters and , respectively, with , and let . Then, satisfies the problem
Lemma 3.13. For , , there exists such that the solution of (3.17) is a Cauchy sequence in .
Proof. For with , multiplying both sides of (3.29) by and then integrating with respect to give rise to
It follows from the Schwarz inequality that
Using the first inequality in Lemma 3.9, we have
where . For the last three terms in (3.32), using Lemmas 3.4 and 3.12, , , the algebra property of with , and (3.23), we have
Using (3.26), we derive that the inequality
holds for some constant , where . Using the algebra property of with , and Lemma 3.11, we have for . Then, it follows from (3.28) and (3.33)โ(3.37) that there is a constant depending on such that the estimate
holds for any , where if and if . Integrating (3.38) with respect to , one obtains the estimate
Applying the Gronwall inequality and using (3.20) and (3.22) yield
for any . Multiplying both sides of (3.29) by and integrating the resultant equation with respect to , one obtains
From Lemma 3.12, we have
From Lemma 3.10, it holds that
Using the Cauchy-Schwartz inequality and the algebra property of with , for , we have
in which we have used Lemma 3.4 and the bounded property of and (see Remark 3.7). It follows from (3.41)โ(3.46) and the inequalities (3.28) and (3.40) that there exists a constant depending on such that
where . Integrating (3.47) with respect to leads to the estimate
It follows from the Gronwall inequality and (3.48) that
where is independent of and . Then, (3.22) and the above inequality show that
Next, we consider the convergence of the sequence . Multiplying both sides of (3.29) by and integrating the resultant equation with respect to , we obtain
It follows from inequalities (3.28) and the Schwartz inequality that there is a constant depending on and such that
Hence
which results in
It follows from (3.40) and (3.50) that as , in the norm. This implies that is a Cauchy sequence in the spaces and , respectively. The proof is completed.
4. Proof of the Main Result
We consider the problem
Letting be the limit of the sequence and taking the limit in problem (4.1) as , from Lemma 3.13, we know that is a solution of the problem
and hence is a solution of problem (4.2) in the sense of distribution. In particular, if , is also a classical solution. Let and be two solutions of (4.2) corresponding to the same initial value such that , . Then, satisfies the Cauchy problem
For any , applying the operator to both sides of (4.3) and integrating the resultant equation with respect to , we obtain the equality
By the similar estimates presented in Lemma 3.13, we have
Using the Gronwall inequality leads to the conclusion that
for . This completes the proof.
Acknowledgments
Thanks are given to the referees whose suggestions were very helpful in improving the paper. This work is supported by the Fundamental Research Funds for the Central Universities (JBK120504).
References
R. Camassa and D. D. Holm, โAn integrable shallow water equation with peaked solitons,โ Physical Review Letters, vol. 71, no. 11, pp. 1661โ1664, 1993.
S. Y. Lai and Y. H. Wu, โA model containing both the Camassa-Holm and Degasperis-Procesi equations,โ Journal of Mathematical Analysis and Applications, vol. 374, no. 2, pp. 458โ469, 2011.
S. Y. Lai, Q. C. Xie, Y. X. Guo, and Y. H. Wu, โThe existence of weak solutions for a generalized Camassa-Holm equation,โ Communications on Pure and Applied Analysis, vol. 10, no. 1, pp. 45โ57, 2011.
S. Y. Lai and Y. H. Wu, โExistence of weak solutions in lower order Sobolev space for a Camassa-Holm-type equation,โ Journal of Physics A, vol. 43, no. 9, Article ID 095205, 13 pages, 2010.
X. G. Li, Y. H. Wu, and S. Y. Lai, โA sharp threshold of blow-up for coupled nonlinear Schrödinger equations,โ Journal of Physics A, vol. 43, no. 16, Article ID 165205, 11 pages, 2010.
J. Zhang, X. G. Li, and Y. H. Wu, โRemarks on the blow-up rate for critical nonlinear Schrödinger equation with harmonic potential,โ Applied Mathematics and Computation, vol. 208, no. 2, pp. 389โ396, 2009.
A. Constantin and H. P. McKean, โA shallow water equation on the circle,โ Communications on Pure and Applied Mathematics, vol. 52, no. 8, pp. 949โ982, 1999.
A. Constantin, โOn the inverse spectral problem for the Camassa-Holm equation,โ Journal of Functional Analysis, vol. 155, no. 2, pp. 352โ363, 1998.
A. Constantin, V. S. Gerdjikov, and R. I. Ivanov, โInverse scattering transform for the Camassa-Holm equation,โ Inverse Problems, vol. 22, no. 6, pp. 2197โ2207, 2006.
H. P. McKean, โIntegrable systems and algebraic curves,โ in Global Analysis (Proceedings of the Biennial Seminar of the Canadian Mathematical Congress, University of Calgary, Calgary, Alberta, 1978), vol. 755 of Lecture Notes in Mathematics, pp. 83โ200, Springer, Berlin, Germany, 1979.
A. Constantin, T. Kappeler, B. Kolev, and P. Topalov, โOn geodesic exponential maps of the Virasoro group,โ Annals of Global Analysis and Geometry, vol. 31, no. 2, pp. 155โ180, 2007.
G. A. Misiołek, โA shallow water equation as a geodesic flow on the Bott-Virasoro group,โ Journal of Geometry and Physics, vol. 24, no. 3, pp. 203โ208, 1998.
Y. A. Li and P. J. Olver, โWell-posedness and blow-up solutions for an integrable nonlinearly dispersive model wave equation,โ Journal of Differential Equations, vol. 162, no. 1, pp. 27โ63, 2000.
A. Constantin and J. Escher, โWave breaking for nonlinear nonlocal shallow water equations,โ Acta Mathematica, vol. 181, no. 2, pp. 229โ243, 1998.
S. Hakkaev and K. Kirchev, โLocal well-posedness and orbital stability of solitary wave solutions for the generalized Camassa-Holm equation,โ Communications in Partial Differential Equations, vol. 30, no. 4–6, pp. 761โ781, 2005.
S. Y. Lai and Y. H. Wu, โThe local well-posedness and existence of weak solutions for a generalized Camassa-Holm equation,โ Journal of Differential Equations, vol. 248, no. 8, pp. 2038โ2063, 2010.
N. Li, S. Y. Lai, S. Li, and M. Wu, โThe local and global existence of solutions for a generalized Camassa-Holm equation,โ Abstract and Applied Analysis, vol. 2012, Article ID 532369, 27 pages, 2012.
J. L. Bona and R. Smith, โThe initial-value problem for the Korteweg-de Vries equation,โ Philosophical Transactions of the Royal Society of London, Series A, vol. 278, no. 1287, pp. 555โ601, 1975.
G. Rodríguez-Blanco, โOn the Cauchy problem for the Camassa-Holm equation,โ Nonlinear Analysis. Theory, Methods & Applications, vol. 46, no. 3, pp. 309โ327, 2001.
T. Kato, โQuasi-linear equations of evolution, with applications to partial differential equations,โ in Spectral Theory and Differential Equations, Lecture Notes in Mathematics, Springer, Berlin, Germany, 1975.