- Research
- Open Access
- Published:

# Existence and nonexistence of solutions for the generalized Camassa-Holm equation

*Advances in Difference Equations*
**volume 2014**, Article number: 111 (2014)

## Abstract

In this paper, we study the Cauchy problem of a generalized Camassa-Holm equation. It is shown that the equation is locally well posed when the initial data are sufficiently smooth. Moreover, we present a sufficient condition which guarantees the existence of low regularity solutions for the generalized Camassa-Holm equation by the method of energy estimate. Finally, the nonexistence of smooth solitary-wave solutions is investigated.

**MSC:**35Q51, 35Q53, 35B35.

## 1 Introduction

Recently, Dullin *et al.* derived the following nonlinear partial differential equation [1]:

by using asymptotic expansions directly in the Hamiltonian for Euler equations in the shallow water regime, and thereby it is shown to be bi-Hamiltonian and has a Lax pair formulation. Dullin-Gottwald-Holm (DGH) equation (1.1) models the unidirectional propagation of two-dimensional waves in shallow water over a flat bottom, where u(t,x) stands for the horizontal component of the fluid velocity, m=u-{\alpha}^{2}{u}_{xx} represents the momentum, {c}_{0}=\sqrt{gh} (where {c}_{0}:=2\omega) is the linear wave speed for undisturbed water at rest at spatial infinity, and the constants {\alpha}^{2} and \gamma /{c}_{0} are squares of length scales. DGH equation contains both the KdV equation (when \alpha \to 0) and the CH equation (when \gamma \to 0) as limiting cases and preserves integrability through the inverse scattering transform (IST) method. Thanks to m=u-{\alpha}^{2}{u}_{xx}, equation (1.1) will be reformulated as

with the initial data {u}_{0}(x).

Recently, Tian *et al.* [2] investigated the well-posedness of the Cauchy problem and the scattering problem for equation (1.2), studied the problem of passing to the limit as \alpha \to 0, and obtained the scattering data of the scattering problem. Li and Olver [3] studied the well-posedness, blow-up and the low regular solutions for an integrable nonlinearly dispersive model wave equation. Mustafa [4] investigated the low regularity conditions needed for the Cauchy problem of DGH equation via the semigroup approach of quasilinear hyperbolic equations of evolution and the viscosity method. Constantin and Lenells [5] presented a simple algorithm for the inverse scattering approach to the Camassa-Holm equation. Liu [6] and Zhou [7] investigated the problems of the existence of global solutions and the formation of singularities for the DGH equation. Tian *et al.* [8] studied the limit behavior of the solutions to a class of nonlinear dispersive wave equations. Ai and Gui [9] presented an algorithm for the inverse scattering problem associated to the Dullin-Gottwald-Holm equation and derived a sufficient condition which guarantees the existence of low regularity solutions for the generalized Dullin-Gottwald-Holm equation.

In this paper, we are interested in the Cauchy problem for the following generalized Camassa-Holm equation:

where m\in \mathbb{N}, m\ge 1 and \beta \ne 0 are given. Observe that if m=1, \beta =3 and \omega =\gamma =0, then (1.3) is the classical CH equation.

Equation (1.3) was investigated in [10] and [11], where the local well-posedness problem was studied with the initial data {u}_{0}\in {H}^{s}(\mathbb{R}) for s>\frac{3}{2}. In particular, Ai *et al.* [12] studied the low regularity solutions for the generalized Camassa-Holm equation when m=2 in (1.3).

Motivated by [3, 12] and [2], in this paper we aim to study the low regularity solutions and nonexistence of smooth solitary waves for the generalized Camassa-Holm equation (1.3) for the general case m\in \mathbb{N}, m\ge 1. For the sake of convenience, we always assume \alpha =1 in what follows.

### Notations

We shall use the notation {\parallel \u2022\parallel}_{{L}^{p}} for the norm of the space {L}^{p}(\mathbb{R}), 1\le p<\mathrm{\infty}, *i.e.*, {\parallel f\parallel}_{{L}^{p}}={({\int}_{\mathbb{R}}|f{|}^{p}\phantom{\rule{0.2em}{0ex}}dx)}^{1/p}. The space {L}^{\mathrm{\infty}}={L}^{\mathrm{\infty}}(\mathbb{R}) consists of all essentially bounded, Lebesgue measurable functions with the norm {\parallel f\parallel}_{\mathrm{\infty}}={inf}_{m(e)=0}{sup}_{x\in \mathbb{R}\mathrm{\setminus}e}|f(x)|. And we denote the norm in the Sobolev space {H}^{s}={H}^{s}(\mathbb{R}) by

for s\in \mathbb{R}, where \stackrel{\u02c6}{f}(\xi ) is the Fourier transform of f(x). The operator {\mathrm{\Lambda}}_{\alpha}^{s} for any \alpha ,s\in \mathbb{R} means {\mathrm{\Lambda}}_{\alpha}^{s}={(1-{\alpha}^{2}{\partial}_{x}^{2})}^{\frac{s}{2}}; in particular, {\mathrm{\Lambda}}^{s}:={\mathrm{\Lambda}}_{1}^{s}={(1-{\partial}_{x}^{2})}^{\frac{s}{2}}, \mathrm{\Lambda}={\mathrm{\Lambda}}_{1}^{1}.

The remainder of the paper is organized as follows. In Section 2, we investigate the local well-posedness of the generalized Camassa-Holm equations. Next, we present some results of the regularized generalized Camassa-Holm equations; from this, the low regularity solutions for the generalized Camassa-Holm equation (1.3) are studied in Section 3. Finally, in Section 4, we demonstrate the nonexistence of smooth solitary-wave solutions.

## 2 Existence of strong solutions

Note that if p(x):=\frac{1}{2}{e}^{-|x|}, x\in \mathbb{R}, then {(1-{\partial}_{x}^{2})}^{-1}f=p\ast f for all f\in {L}^{2}(\mathbb{R}) and p\ast (u-{u}_{xx})=u, where ∗ denotes convolution with respect to the spatial variable *x*. Therefore, equation (1.3) (with \alpha =1) can be rewritten as the following equivalent form:

In [10], the following local well-posedness result was obtained (with a slight modification).

**Theorem 2.1** *Let* {u}_{0}\in {H}^{s}(\mathbb{R}) *with* s>\frac{3}{2}. *There exists a time* T>0 *such that the initial*-*value problem* (2.1) *has a unique solution* u\in \mathcal{C}([0,T];{H}^{s})\cap {\mathcal{C}}^{1}([0,T];{H}^{s-1}) *and the map* {u}_{0}\mapsto u *is continuous from the neighborhood of* {u}_{0} *in* {H}^{s} *into* \mathcal{C}([0,T];{H}^{s})\cap {\mathcal{C}}^{1}([0,T];{H}^{s-1}). *Moreover*, *the following Hamiltonian functionals are conserved*:

We are now in a position to state a blow-up criterion for the generalized CH equation (2.1).

**Theorem 2.2** *Let* {u}_{0}\in {H}^{s}(\mathbb{R}) *with* s>\frac{3}{2}, *and* *u* *be the corresponding solution to* (2.1) *in Theorem * 2.1. *Assume that* {T}^{\ast}>0 *is the maximal time of existence*. *Then*

**Remark 2.3** The blow-up criterion (2.3) implies that the lifespan {T}_{{u}_{0}}^{\ast} does not depend on the regularity index *s* of the initial data {u}_{0}. Indeed, let {u}_{0} be in {H}^{s} for some s>\frac{3}{2} and consider some {s}^{\prime}\in (\frac{3}{2},s). Denote by {u}_{s} (resp., {u}_{{s}^{\prime}}) the corresponding maximal {H}^{s} (resp., {H}^{{s}^{\prime}}) solution given by the above theorem. Denote by {T}_{s}^{\ast} (resp., {T}_{{s}^{\prime}}^{\ast}) the lifespan of {u}_{s} (resp., {u}_{{s}^{\prime}}). Since {H}^{s}\hookrightarrow {H}^{{s}^{\prime}}, uniqueness ensures that {T}_{s}^{\ast}\le {T}_{{s}^{\prime}}^{\ast} and that {u}_{s}\equiv {u}_{{s}^{\prime}} on [0,{T}_{s}^{\ast}). Now, if {T}_{s}^{\ast}<{T}_{{s}^{\prime}}^{\ast}, then we must have {u}_{{s}^{\prime}} in \mathcal{C}([0,{T}_{s}^{\ast}];{H}^{{s}^{\prime}}). Hence, {u}_{{s}^{\prime}}\in {L}^{1}([0,{T}_{s}^{\ast}];{W}^{1,\mathrm{\infty}}) by using the Sobolev embedding {H}^{{s}^{\prime}}(\mathbb{R})\hookrightarrow {W}^{1,\mathrm{\infty}}(\mathbb{R}), which contradicts the above blow-up criterion (2.3). Therefore, {T}_{s}^{\ast}={T}_{{s}^{\prime}}^{\ast}.

## 3 Existence of low regularity solutions

Firstly, we investigate the following regularized equation (3.1):

By using the contraction mapping principle, we may easily obtain the following existence result, and we omit its proof here.

**Theorem 3.1** *Suppose that* {u}_{0}\in {H}^{s}(\mathbb{R}) *with* s\ge 1, *there exists* T>0 *depending only on* {\parallel {u}_{0}\parallel}_{{H}^{s}} *such that there corresponds a unique solution* u(t,x)\in C([0,T];{H}^{s}) *of equation* (3.1) *in the sense of distribution*. *If* s\ge 2, *the solution* u(t,x)\in C([0,\mathrm{\infty});{H}^{s}) *exists globally in time*. *In particular*, *for* s\ge 4, *the corresponding solution is a classical globally defined solution of* (3.1).

Thanks to standard energy estimates, we have the following theorem.

**Theorem 3.2** *Let* s\ge 4 *and the function* u(x,t) *be a solution of the regularized equation* (3.1) *with the initial data* {u}_{0}(x)\in {H}^{s}. *Then the following inequalities hold*:

*For any* q\in (0,s-1], *there is a constant* *c*, *depending only on* *q* *and* *m*, *such that*

*For any* q\in (\frac{1}{2},s-1] *and any* r\in (\frac{1}{2},q], *there is a constant* *c*, *depending only on* *r*, *q* *and* *m*, *such that*

*For any* q\in [0,s-1] *and any* r\in (\frac{1}{2},q], *there is a constant* *c*, *independent of* *ε*, *such that*

*Proof* The proof can be similarly treated as in [3] or [8], and we omit it. □

We recall the following lemma, which is critical to the proof of Theorem 3.4.

**Lemma 3.3** ([3])

*Let* {u}_{\epsilon 0} *be the convolution* {u}_{\epsilon 0}={\varphi}_{\epsilon}\ast {u}_{0} *of the functions* {\varphi}_{\epsilon}(x)={\epsilon}^{-1/4}\varphi ({\epsilon}^{-1/4}x) *and* {u}_{0} *such that the Fourier transform* \stackrel{\u02c6}{\varphi} *of* *ϕ* *satisfies* \stackrel{\u02c6}{\varphi}\in {C}_{c}^{\mathrm{\infty}}, \stackrel{\u02c6}{\varphi}(\xi )\u2a7e0, *and* \stackrel{\u02c6}{\varphi}(\xi )=1 *for any* \xi \in (-1,1). *The following estimates hold for any* *ε* *with* 0<\epsilon <1/4:

We shall show that some norms of the weak solution to the generalized CH equation (1.3) are bounded when *ε* is sufficiently small.

**Theorem 3.4** *Suppose that* {u}_{0}\in {H}^{s}(\mathbb{R}) *for some* 1\le s\le \frac{3}{2} *such that* {\parallel {u}_{0x}\parallel}_{{L}^{\mathrm{\infty}}}<\mathrm{\infty}. *Let* {u}_{0\epsilon} *be defined as in Lemma * 3.3. *Then there exist constants* T>0 *and* c>0 *independent of* *ε* *such that the corresponding solution* {u}_{\epsilon} *of* (3.1) *satisfies* {\parallel {u}_{\epsilon x}\parallel}_{{L}^{\mathrm{\infty}}}\le c.

*Proof* We first study the regularized equation (3.1) with u={u}_{\epsilon}. Differentiating the first equation of (3.1) with respect to *x* yields

Let p\ge 1 be an integer. Multiplying equation (3.1) by {({u}_{x})}^{2p+1}, and then integrating the resulting equation with respect to *x*, we get

Thanks to integration by parts and Hölder’s inequality, we have

where

Because {\parallel f\parallel}_{{L}^{p}}\to {\parallel f\parallel}_{{L}^{\mathrm{\infty}}} as p\to \mathrm{\infty} for any f\in {L}^{\mathrm{\infty}}\cap {L}^{2}, integrating (3.3) with respect to *t* and then taking the limit as p\to \mathrm{\infty}, we obtain

Applying the Sobolev imbedding theorem leads to

and

where we used the algebraic property of the Sobolev space {H}^{s}(\mathbb{R}) (with s>\frac{1}{2}), and constants {c}_{1} and {c}_{2} are independent of *ε* with *ε* sufficiently small. By (3.2), (3.4) and (3.5), we have

where the constant {c}_{3} is independent of *ε*. Moreover, for any fixed r\in (\frac{1}{2},1), there exists a constant {c}_{r} such that {\parallel {u}_{xxxt}\parallel}_{{L}^{\mathrm{\infty}}}\le {c}_{r}{\parallel {u}_{xxxt}\parallel}_{{H}^{r}}\le {c}_{r}{\parallel {u}_{t}\parallel}_{{H}^{r+3}}. Thanks to Theorem 3.2, one can see

Thanks to Gronwall’s inequality applied to (3.3) with q=r+3 and u={u}_{\epsilon}, we have

Therefore, thanks to (3.7), we get that for some constant *c*,

For \epsilon <\frac{1}{4}, thanks to (3.6), (3.7), (3.8) and (3.9), we get

Hence, thanks to the contraction mapping principle applied, we obtain that there exists T>0 such that the integral equation

has a unique solution f(t)\in C([0,T]). The comparison principle leads to the estimate {\parallel {u}_{x}\parallel}_{{L}^{\mathrm{\infty}}}\le f(t) for any t\in [0,T], which implies the conclusion of Theorem 3.4. □

With Theorem 3.4 in hand, we can get the existence of a weak solution to the Cauchy problem (1.3) as follows.

**Theorem 3.5** *Suppose that* {u}_{0}\in {H}^{s}(\mathbb{R}) *for some* 1\le s\le \frac{3}{2} *such that* {\parallel {u}_{0x}\parallel}_{{L}^{\mathrm{\infty}}}<\mathrm{\infty}. *Then there exists a constant* T>0 *such that the Cauchy problem* (1.3) *has a solution* u(x,t)\in {L}^{2}([0,T];{H}^{s}) *in the sense of distribution and* {u}_{x}\in {L}^{2}([0,T]\times \mathbb{R}).

*Proof* It follows from Theorem 3.4 that \{{u}_{{\epsilon}_{n}x}\} is bounded in the space {L}^{\mathrm{\infty}} with {\epsilon}_{n}\to 0. Therefore, the sequences \{{u}_{{\epsilon}_{n}}^{m}\} and \{{u}_{{\epsilon}_{n}x}^{2}\} are weakly convergent to {u}^{m} and {u}_{x}^{2} in {L}^{2}([0,T];{H}^{r}(-R,R)) for any r\in [0,s-1), respectively. From this, we get, for any f\in {C}_{c}^{\mathrm{\infty}}, that the solution *u* satisfies the equation

with u(x,0)={u}_{0}. Since X={L}^{1}([0,T]\times \mathbb{R}) is a separable Banach space and \{{u}_{{\epsilon}_{n}x}\} is a bounded sequence in the dual space {X}^{\star}={L}^{\mathrm{\infty}}([0,T]\times \mathbb{R}) of *X*, there exists a subsequence of \{{u}_{{\epsilon}_{n}x}\}, still denoted by \{{u}_{{\epsilon}_{n}x}\}, weakly star convergent to a function *v* in {L}^{\mathrm{\infty}}([0,T]\times \mathbb{R}). From this and the fact that \{{u}_{{\epsilon}_{n}x}\} is also weakly convergent to {u}_{x} in {L}^{2}([0,T]\times \mathbb{R}), we get that {u}_{x}=v almost everywhere. Hence, {u}_{x}\in {L}^{\mathrm{\infty}}([0,T]\times \mathbb{R}), and we end the proof of Theorem 3.5. □

**Remark 3.6** The proof of Theorem 3.5 is inspired by the argument of Ai et al. [12] in the study of the low regular solution to a generalized DGH equation. However, one problematic issue is that we here deal with the strong nonlinear term {u}^{m} in our equation (1.3), making the proof of several required nonlinear estimates somewhat delicate. With the help of the method of weak convergence, this difficulty is nevertheless overcome by careful estimates for each approximate component of solutions.

## 4 Nonexistence of smooth solitary waves

It is observed that the peaked solution of the Camassa-Holm equation is not a smooth solution. Actually, one can establish the following result for any traveling wave solutions of the following generalized Camassa-Holm equation (with m=1):

**Theorem 4.1** *There is no nontrivial traveling*-*wave solution* u\in C([0,\mathrm{\infty});{H}^{3})\cap {C}^{1}([0,\mathrm{\infty});{H}^{2}) *for equation* (4.1) *with* \gamma =-2\omega {\alpha}^{2}.

*Proof* Arguing by contradiction, assume that w\in {H}^{3} and u(t,x)=w(x-ct), c\ne 0 is a strong solution of (4.1). Then we have

We find that

and therefore

or, what is the same (according to the fact \gamma =-2\omega {\alpha}^{2}),

since w\in {H}^{3}\subset {C}_{0}^{2}(\mathbb{R}). Multiplying this identity by 2{w}^{\prime} yields that

Since w\in {H}^{3}\subset {C}_{0}^{2}(\mathbb{R}), we have w\ne c a.e. and {w}^{2}\ne {\alpha}^{2}{({w}^{\prime})}^{2} a.e.

Let {w}_{0}=w(\xi )={max}_{x\in \mathbb{R}}w(x)>0. Then taking integration for (4.2) in [\xi ,x] yields

This implies that

If we take into account w,{w}^{\prime}\to 0 as x\to \mathrm{\infty}, it is then inferred from (4.3) that

which also implies from (4.3) that

This leads to a contradiction since w\in {H}^{3}. □

**Remark 4.2** Theorem 3.5 ensures that there exists a low regularity solution for (4.1). However, Theorem 4.1 asserts that it is not a solitary wave if it is smooth enough.

## References

Dullin R, Gottwald G, Holm DD: An integrable shallow water equation with linear and nonlinear dispersion.

*Phys. Rev. Lett.*2001, 87(9):4501–4504.Tian L, Gui G, Liu Y: On the well-posedness problem and the scattering problem for the Dullin-Gottwald-Holm equation.

*Commun. Math. Phys.*2005, 257: 671–704.Li Y, Olver P: Well-posedness and blow-up solutions for an integrable nonlinearly dispersive model wave equation.

*J. Differ. Equ.*2000, 162: 27–63. 10.1006/jdeq.1999.3683Mustafa OG: Existence and uniqueness of low regularity solutions for the Dullin-Gottwald-Holm equation.

*Commun. Math. Phys.*2006, 265: 189–200. 10.1007/s00220-006-1532-9Constantin A, Lenells J: On the inverse scattering approach to the Camassa-Holm equation.

*J. Nonlinear Math. Phys.*2003, 10(3):252–255. 10.2991/jnmp.2003.10.3.1Liu Y: Global existence and blow-up solutions for a nonlinear shallow water equation.

*Math. Ann.*2006, 335: 717–735. 10.1007/s00208-006-0768-1Zhou Y: Blow-up of solutions to the DGH equation.

*J. Funct. Anal.*2007, 250: 227–248. 10.1016/j.jfa.2007.04.019Tian L, Gui G, Guo B: The limit behavior of the solutions to a class of nonlinear dispersive wave equations.

*J. Math. Anal. Appl.*2008, 341: 1311–1333. 10.1016/j.jmaa.2007.11.030Ai X, Gui G: On the inverse scattering problem and the low regularity solutions for the Dullin-Gottwald-Holm equation.

*Nonlinear Anal., Real World Appl.*2010, 11(2):888–894. 10.1016/j.nonrwa.2009.01.031Hakkaev S, Kirchev K: Local well-posedness and orbital stability of solitary wave solutions for the generalized Camassa-Holm equation.

*Commun. Partial Differ. Equ.*2005, 30: 761–781. 10.1081/PDE-200059284Hakkaev S, Kirchev K: On the well-posedness and stability of peakons for a generalized Camassa-Holm equation.

*Int. J. Nonlinear Sci.*2006, 1(3):139–148.Ai X, Tian L, Gui G: On the low regularity solutions for the generalized Dullin-Gottwald-Holm equation.

*Int. J. Nonlinear Sci.*2009, 7(1):113–118.Gui G, Liu Y, Tian L: Global existence and blow-up phenomena for the peakon b-family of equations.

*Indiana Univ. Math. J.*2008, 57(3):1209–1234. 10.1512/iumj.2008.57.3213

## Acknowledgements

The project is supported by National Natural Science Funds of China (Grant No. 11301480, 11371021).

## Author information

### Authors and Affiliations

### Corresponding author

## Additional information

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.

## Rights and permissions

**Open Access** This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (https://creativecommons.org/licenses/by/4.0), which permits use, duplication, adaptation, distribution, and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

## About this article

### Cite this article

Xiujuan, P., Kang, S.M. & Chel Kwun, Y. Existence and nonexistence of solutions for the generalized Camassa-Holm equation.
*Adv Differ Equ* **2014**, 111 (2014). https://doi.org/10.1186/1687-1847-2014-111

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/1687-1847-2014-111

### Keywords

- generalized Camassa-Holm equation
- energy estimate
- low regularity solution
- smooth solitary wave