Abstract
The existence of global weak solutions to the Cauchy problem for a weakly dissipative CamassaHolm equation is established in the space under the assumption that the initial value only belongs to the space . The limit of viscous approximations, a onesided super bound estimate and a spacetime highernorm estimate for the equation are established to prove the existence of the global weak solution.
MSC: 35G25, 35L05.
Keywords:
global weak solution; CamassaHolm type equation; existence1 Introduction
In this work, we investigate the Cauchy problem for the nonlinear model
where , , is a polynomial with order n, N and m are nonnegative integers. When , , , Eq. (1) is the standard CamassaHolm equation [13]. In fact, the nonlinear term can be regarded as a weakly dissipative term for the CamassaHolm model (see [4,5]). Here we coin (1) a weakly dissipative CamassaHolm equation.
To link with previous works, we review several works on global weak solutions for the CamassaHolm and DegasperisProcesi equations. The existence and uniqueness results for global weak solutions of the standard CamassaHolm equation have been proved by Constantin and Escher [6], Constantin and Molinet [7] and Danchin [8,9] under the sign condition imposing on the initial value. Xin and Zhang [10] established the global existence of a weak solution for the CamassaHolm equation in the energy space without imposing the sign conditions on the initial value, and the uniqueness of the weak solution was obtained under certain conditions on the solution [11]. Under the sign condition for the initial value, Yin and Lai [12] proved the existence and uniqueness results of a global weak solution for a nonlinear shallow water equation, which includes the famous CamassaHolm and DegasperisProcesi equations as special cases. Lai and Wu [13] obtained the existence of a local weak solution for Eq. (1) in the lowerorder Sobolev space with . For other meaningful methods to handle the problems relating to dynamic properties of the CamassaHolm equation and other partial differential equations, the reader is referred to [1419]. Coclite et al.[20] used the analysis presented in [10,11] and investigated global weak solutions for a generalized hyperelasticrod wave equation (or a generalized CamassaHolm equation), namely, , in Eq. (1). The existence of a strongly continuous semigroup of global weak solutions for the generalized hyperelasticrod equation with any initial value in the space was established in [20]. Up to now, the existence result of the global weak solution for the weakly dissipative CamassaHolm equation (1) has not been found in the literature. This constitutes the motivation of this work.
The objective of this work is to study the existence of global weak solutions for the Eq. (1) in the space under the assumption . The key elements in our analysis include some new a priori onesided upper bound and spacetime highernorm estimates on the firstorder derivatives of the solution. Also, the limit of viscous approximations for the equation is used to establish the existence of the global weak solution. Here we should mention that the approaches used in this work come from Xin and Zhang [10] and Coclite et al.[20].
The rest of this paper is as follows. The main result is given in Section 2. In Section 3, we present a viscous problem of Eq. (1) and give a corresponding wellposedness result. An upper bound, a higher integrability estimate and some basic compactness properties for the viscous approximations are also established in Section 3. Strong compactness of the derivative of the viscous approximations is obtained in Section 4, where the main result for the existence of Eq. (1) is proved.
2 Main result
Consider the Cauchy problem for Eq. (1)
which is equivalent to
where the operator . For a fixed , one has
In fact, as proved in [13], problem (2) satisfies the following conservation law:
Now we introduce the definition of a weak solution to Cauchy problem (2) or (3).
Definition 1 A continuous function is said to be a global weak solution to Cauchy problem (3) if
(iii) satisfies (3) in the sense of distributions and takes on the initial value pointwise.
The main result of this paper is stated as follows.
Theorem 1 Assume . Then Cauchy problem (2) or (3) has a global weak solution in the sense of Definition 1. Furthermore, the weak solution satisfies the following properties.
(a) There exists a positive constant depending on and the coefficients of Eq. (1) such that the following onesided norm estimate on the firstorder spatial derivative holds:
(b) Let , and , . Then there exists a positive constant depending only on , γ, T, a, b and the coefficients of Eq. (1) such that the following space higher integrability estimate holds:
3 Viscous approximations
Defining
and setting the mollifier with and , we know that for any , (see Lai and Wu [13]). In fact, choosing the mollifier properly, we have
The existence of a weak solution to Cauchy problem (3) will be established by proving the compactness of a sequence of smooth functions solving the following viscous problem:
Now we start our analysis by establishing the following wellposedness result for problem (9).
Lemma 3.1Provided that, for any, there exists a unique solutionto Cauchy problem (9). Moreover, for any, it holds that
or
Proof For any and , we have . From Theorem 2.3 in [21], we conclude that problem (9) has a unique solution for an arbitrary .
We know that the first equation in system (9) is equivalent to the form
from which we derive that
which completes the proof. □
From Lemma 3.1 and (8), we have
Differentiating the first equation of problem (9) with respect to x and writing , we obtain
Lemma 3.2Let, and, . Then there exists a positive constantdepending only on, γ, T, a, band the coefficients of Eq. (1), but independent of ε, such that the space higher integrability estimate holds
whereis the unique solution of problem (9).
The proof is similar to that of Proposition 3.2 presented in Xin and Zhang [10] (also see Coclite et al.[20]). Here we omit it.
Lemma 3.3There exists a positive constantCdepending only onand the coefficients of Eq. (1) such that
whereis the unique solution of system (9).
Due to strong similarities with the proof of Lemma 5.1 presented in Coclite et al.[20], we do not prove Lemma 3.3 here.
Lemma 3.4Assume thatis the unique solution of (9). For an arbitrary, there exists a positive constantCdepending only onand the coefficients of Eq. (1) such that the following onesidednorm estimate on the firstorder spatial derivative holds:
Proof From (15) and Lemma 3.3, we know that there exists a positive constant C depending only on and the coefficients of Eq. (1) such that . Therefore,
where is the value of when . From the comparison principle for parabolic equations, we get
Using (14) and , we derive that
where and . Setting , we obtain
Letting , we have . From the comparison principle for ordinary differential equations, we get for all . Therefore, by this and (22), the estimate (19) is proved. □
Lemma 3.5For, there exists a sequencetending to zero and a functionsuch that, for each, it holds that
whereis the unique solution of (9).
Lemma 3.6There exists a sequencetending to zero and a functionsuch that for each,
The proofs of Lemmas 3.5 and 3.6 are similar to those of Lemmas 5.2 and 5.3 in [20]. Here we omit their proofs.
Throughout this paper, we use overbars to denote weak limits (the space in which these weak limits are taken is with ).
Lemma 3.7There exists a sequencetending to zero and two functions, such that
and
Proof (28) and (29) are a direct consequence of Lemmas 3.1 and 3.2. Inequality (30) is valid because of the weak convergence in (29). Finally, (31) is a consequence of the definition of , Lemma 3.5 and (28). □
In the following, for notational convenience, we replace the sequence , and by , and , respectively.
Using (28), we conclude that for any convex function with being bounded and Lipschitz continuous on R and for any , we get
Multiplying Eq. (15) by yields
Lemma 3.8For any convexwithbeing bounded and Lipschitz continuous on R, it holds that
in the sense of distributions on. Hereanddenote the weak limits ofandin, , respectively.
Proof In (34), by the convexity of η, (14), Lemmas 3.5, 3.6 and 3.7, taking limit for gives rise to the desired result. □
Remark 3.9 From (28) and (29), we know that
almost everywhere in , where , for . From Lemma 3.4 and (28), we have
where C is a constant depending only on and the coefficients of Eq. (1).
Lemma 3.10In the sense of distributions on, it holds that
Proof Using (15), Lemmas 3.5 and 3.6, (28), (29) and (31), the conclusion (38) holds by taking limit for in (15). □
The next lemma contains a generalized formulation of (38).
Lemma 3.11For anywith, it holds that
in the sense of distributions on.
Proof Let be a family of mollifiers defined on R. Denote , where the ⋆ is the convolution with respect to x variable. Multiplying (38) by yields
and
Using the boundedness of η, and letting in the above two equations, we obtain (39). □
4 Strong convergence of
Now, we will prove the strong convergence result, i.e.,
which is one of key statements to derive that is a global weak solution required in Theorem 1.
Lemma 4.1Assume. It holds that
Lemma 4.2If, for each, it holds that
where
The proofs of Lemmas 4.1, 4.2 and 4.3 can be found in [10] or [20].
Lemma 4.4Assume. Then for almost all,
Lemma 4.5For any, and, it holds that
We do not provide the proofs of Lemmas 4.4 and 4.5 since they are similar to those of Lemmas 6.4 and 6.5 in Coclite et al.[20].
Proof
Applying Lemmas 4.4 and 4.5 gives rise to
From Lemma 3.6, we know that there exists a constant , depending only on , such that
By Remark 3.9 and Lemma 4.3, one has
Thus, by the convexity of the map , we get
Using (51) derives
Since is concave, choosing M large enough, we have
Then, from (50) and (55), we have
By using the Gronwall inequality, for each , we have
By the Fatou lemma, Remark 3.9 and (30), letting , we obtain
which completes the proof. □
Proof of the main result Using (8), (10) and Lemma 3.5, we know that the conditions (i) and (ii) in Definition 1 are satisfied. We have to verify (iii). Due to Lemma 4.2 and Lemma 4.6, we have
From Lemma 3.5, (27) and (58), we know that u is a distributional solution to problem (3). In addition, inequalities (5) and (6) are deduced from Lemmas 3.2 and 3.4. The proof of Theorem 1 is completed. □
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
The article is a joint work of three authors who contributed equally to the final version of the paper. All authors read and approved the final manuscript.
Acknowledgements
Thanks are given to referees whose comments and suggestions were very helpful for revising our paper. This work is supported by both the Fundamental Research Funds for the Central Universities (JBK120504) and the Applied and Basic Project of Sichuan Province (2012JY0020).
References

Camassa, R, Holm, D: An integrable shallow water equation with peaked solitons. Phys. Rev. Lett.. 71(11), 1661–1664 (1993). PubMed Abstract  Publisher Full Text

Constantin, A, Lannes, D: The hydrodynamical relevance of the CamassaHolm and DegasperisProcesi equations. Arch. Ration. Mech. Anal.. 193(2), 165–186 (2009)

Johnson, RS: The CamassaHolm Kortewegde Vries and related models for water waves. J. Fluid Mech.. 455(1), 63–82 (2002)

Wu, SY, Yin, ZY: Global existence and blowup phenomena for the weakly dissipative CamassaHolm equation. J. Differ. Equ.. 246, 4309–4321 (2009). PubMed Abstract  Publisher Full Text

Wu, SY, Yin, ZY: Blowup, blowup rate and decay of the solution of the weakly dissipative CamassaHolm equation. J. Math. Phys.. 47(1), 1–12 (2006). PubMed Abstract

Constantin, A, Escher, J: Global weak solutions for a shallow water equation. Indiana Univ. Math. J.. 47(11), 1527–1545 (1998)

Constantin, A, Molinet, L: Global weak solutions for a shallow water equation. Commun. Math. Phys.. 211(1), 45–61 (2000). Publisher Full Text

Danchin, R: A few remarks on the CamassaHolm equation. Differ. Integral Equ.. 14, 953–988 (2001)

Danchin, R: A note on wellposedness for CamassaHolm equation. J. Differ. Equ.. 192, 429–444 (2003). Publisher Full Text

Xin, Z, Zhang, P: On the weak solutions to a shallow water equation. Commun. Pure Appl. Math.. 53(11), 1411–1433 (2000). Publisher Full Text

Xin, Z, Zhang, P: On the uniqueness and large time behavior of the weak solutions to a shallow water equation. Commun. Partial Differ. Equ.. 27, 1815–1844 (2002). Publisher Full Text

Yin, Z, Lai, SY: Global existence of weak solutions for a shallow water equation. Comput. Math. Appl.. 60, 2645–2652 (2010). Publisher Full Text

Lai, SY, Wu, YH: The local wellposedness and existence of weak solutions for a generalized CamassaHolm equation. J. Differ. Equ.. 248, 2038–2063 (2010). Publisher Full Text

Lai, SY, Wu, HY: Local wellposedness and weak solutions for a weakly dissipative CamassaHolm equation. Sci. China Ser. A. 40(9), 901–920 (2010) (in Chinese)

Zhang, S, Yin, ZY: Global weak solutions to DGH. Nonlinear Anal.. 72, 1690–1700 (2010). Publisher Full Text

Zhou, Y: Blowup of solutions to the DGH equation. J. Funct. Anal.. 250(2), 227–248 (2007)

Tian, LX, Zhu, MY: Blowup and local weak solution for a modified twocomponent CamassaHolm equations. Bound. Value Probl.. 2012, (2012) Article ID 52

Faramarz, T, Mohammad, S: Existence and blow up of solutions to a Petrovsky equation with memory and nonlinear source. Bound. Value Probl.. 2012, (2012) Article ID 50

Zhang, Y, Liu, DM, Mu, CL, Zheng, P: Blowup for an evolution pLaplace system with nonlocal sources and inner absorptions. Bound. Value Probl.. 2011, (2011) Article ID 29

Coclite, GM, Holden, H, Karlsen, KH: Global weak solutions to a generalized hyperelasticrod wave equation. SIAM J. Math. Anal.. 37, 1044–1069 (2005). PubMed Abstract  Publisher Full Text

Coclite, GM, Holden, H, Karlsen, KH: Wellposedness for a parabolicelliptic system. Discrete Contin. Dyn. Syst.. 13(6), 659–682 (2005)