# Blow-up and infinite propagation speed for a two-component *b*-family system

- Wei Feng
^{1}and - Zhongping Li
^{2}Email author

**2014**:224

https://doi.org/10.1186/s13661-014-0224-1

© Feng and Li; licensee Springer. 2014

**Received: **22 June 2014

**Accepted: **24 September 2014

**Published: **7 October 2014

## Abstract

In this paper, we study the Cauchy problem of a two-component *b*-family system which arises in shallow water theory. We first derive the precise blow-up scenario and present a blow-up result. Then we investigate the infinite propagation speed in the sense that the corresponding solution with compact supported initial datum does not have compact spatial support any longer in its lifespan.

**MSC:** 35G25, 35L05, 35Q58.

## Keywords

## 1 Introduction

where *b* is an arbitrary real constant and $\sigma =\pm 1$. The system (1.1) was recently derived in the context of shallow water theory. $u(t,x)$ represents the fluid velocity, the constant *b* is a balance or bifurcation parameter for nonlinear solution behavior, while *ρ* has a connection with the horizontal deviation of the surface from equilibrium, all measured in dimensionless units, and *σ* is the downward constant acceleration of gravity in application to shallow waves.

*b*-family equation, which was extensively studied in [1]–[5]:

Equation (1.3) can be derived as the family of asymptotically equivalent shallow water wave equations that emerge at quadratic order accuracy for any $b\ne 1$ by an appropriate Kodama transformation; for the case $b=-1$, the corresponding Kodama transformation is singular and the asymptotic ordering is violated; see [6], [7]. When $b=2$, (1.3) becomes the Camassa-Holm equation, modeling the unidirectional propagation of shallow water waves over a flat bottom. Here *u* stands for the fluid velocity at time *t* in the spatial *x* direction [8]–[10]. It has a bi-Hamiltonian structure and is completely integrable [11], [12]. Its solitary waves are peaked, capturing a feature of the water waves of great height [13]–[16]. Moreover, the shape of some peakons is stable under small perturbations, making these waves recognizable physically [17], [18]. The Cauchy problem of the Camassa-Holm equation has been the subject of a number of studies, for example [12], [19]. When $b=3$, we find the Degasperis-Procesi equation [20] from (1.3), which is regarded as a model for nonlinear shallow water dynamics. There are also many papers involving the Degasperis-Procesi equation; see [21], [22]. Both the Camassa-Holm equation and the Degasperis-Procesi equation have peakon solitons and model wave breaking (by wave breaking we understand that the wave remains bounded while its slop becomes unbounded in finite time [23]) [8], [24]. In [2], [4], the authors studied (1.3) on the line and on the circle, and established the local well-posedness, described the precise blow-up scenario, proved that the equation has strong solutions which exist globally in time and blow up in finite time.

where $m=u-{u}_{xx}$, $\sigma =\pm 1$ was derived by Constantin and Ivanov [25] in the context of shallow water theory. Here $u(x,t)$ describes the horizontal velocity of the fluid and $\rho (x,t)$ describes the horizontal deviation of the surface from equilibrium, all measured in dimensionless units. This system (1.4) is the first negative flow of the AKNS hierarchy and possesses the peakon and multi-kink solutions and possesses the bi-Hamiltonian structure [26], [27]. Moreover, this model is connected with the energy dependent Schrödinger spectral problem [26]. Recently, the extended $N=2$ super-symmetric Camassa-Holm system was presented recently by Popowicz in [28]. The mathematical properties of the two-component Camassa-Holm system have been studied in many works; see [25]–[27], [29]–[32]. One has established the local well-posedness for the two types of 2-component Camassa-Holm shallow water systems [25], [29], derived precise blow-up scenarios [29], and proved that the systems had strong solutions which blow up in finite time [25], [29], [30].

This system first appeared in [33]. The author presented one Hamiltonian extension of the Degasperis-Procesi equation to this system by the Hamiltonian operator which is a Dirac reduced operator of the generalized but degenerated second Hamiltonian operator of the Boussinesq equation. The interest in (1.4) and in (1.5) lies in that model equations presenting breaking waves as well as peaked traveling waves are of great importance in hydrodynamics [23], and the traveling wave solutions of large amplitude to the governing equations for water waves are peaked waves [13]. Recently, Jin and Guo [34] considered the system (1.5) and analyzed some aspects of blow-up mechanism, traveling waves solution and the persistence properties.

For $\rho \not\equiv 0$ and general $b\in R$, the Cauchy problem of the system (1.1) has been studied in [35], authors first established the local well-posedness for a two-component *b*-family system by Kato’s semigroup theory, then derived the precise blow-up scenario for strong solutions to the system and presented several blow-up results for strong solutions to the system. The aim of this paper is to present a blow-up result of solutions to (1.1) with the case of $\sigma =1$ and to examine the propagation behavior of compactly supported solutions to (1.1) with $\sigma =1$, namely whether solutions which are initially compactly supported will retain this property throughout their time of evolution.

The rest of this paper is organized as follows. In Section 2, we briefly give some needed results including the local well-posedness of system (1.1). In Section 3, we derive the precise blow-up scenario and present a blow-up result. The propagation behavior will be analyzed in Section 4.

## 2 Preliminaries

In this section, we recall some elementary results. For completeness, we list them and skip their proof for conciseness.

Local well-posedness for system (1.1) can be obtained by Kato’s semigroup theory [36]. In [35], the authors gave a detailed description on well-posedness theorem.

### Theorem 2.1

*Given*${X}_{0}={({u}_{0},{\rho}_{0})}^{T}\in {H}^{s}\times {H}^{s-1}$, $s\ge 2$,

*there exists a maximal*$T=T({\parallel {X}_{0}\parallel}_{{H}^{s}\times {H}^{s-1}})>0$,

*and a unique solution*$X={(u,\rho )}^{T}$

*to system*(1.1)

*such that*

*Moreover*,

*the solution depends continuously on the initial data*,

*i*.

*e*.

*the mapping*

*is continuous*.

where *u* denotes the first component of the solution *X* to the system (2.1). Applying classical results in the theory of ordinary differential equations, we can obtain the following two results on *q*.

### Lemma 2.1

*Let*$u\in C([0,T);{H}^{s})\cap {C}^{1}([0,T);{H}^{s-1})$, $s\ge 2$.

*Then*(2.3)

*has a unique solution*$q\in {C}^{1}([0,T)\times R;R)$.

*Moreover*,

*we know the map*$q(t,\cdot )$

*is an increasing diffeomorphism of*

*R*

*with*

### Lemma 2.2

*Let*${X}_{0}={({u}_{0},{\rho}_{0})}^{T}\in {H}^{s}\times {H}^{s-1}$, $s\ge 2$,

*and*

*T*

*is assumed to be the maximal existence time of the solution*$X={(u,\rho )}^{T}$

*to system*(2.1)

*corresponding to the initial data*${X}_{0}$.

*Then for all*$(t,x)\in [0,T)\times R$,

*we have*

### Remark 2.1

This lemma tell us that *ρ* always keeps sign with its initial value because of the positivity of ${q}_{x}(t,x)$ in (2.4). Actually this invariance result is due to the geometric underlying structure; see the discussion in [37], [38].

### Proof

This means that $\rho (t,q){q}_{x}(t,x)$ is independent on time *t*. We may choose $t=0$, due to (2.4) we know ${q}_{x}(0,x)=1$. Therefore the lemma is easily proved. □

## 3 Blow-up

In this section we are interesting in the formation of singularities for strong solutions to system (2.1) and establish a sufficient condition on the initial data to guarantee blow-up.

### Theorem 3.1

*Let*${X}_{0}={({u}_{0},{\rho}_{0})}^{T}\in {H}^{s}\times {H}^{s-1}$, $s>\frac{5}{2}$

*be given and assume that*$1<b\le 3$,

*suppose*${X}_{0}$

*is odd and*${u}_{0}^{\prime}(0)\le 0$.

*Then the corresponding solution to system*(2.1)

*with the initial data*${X}_{0}$

*blows up in finite time*.

*If*${u}_{0}^{\prime}(0)<0$,

*then the lifespan*

*T*

*can be estimated by*$-\frac{2}{(b-1){u}_{0}^{\prime}(0)}$.

*In addition*,

*the following inequalities hold*:

### Proof

*T*be the maximal existence time of the solution $u(t,x)$. Differentiating system (2.1) with respect to

*x*, we obtain

*x*for any $t\in [0,T)$. Therefore

which tends to −∞ as *t* goes to $-\frac{2}{(b-1){u}_{0}^{\prime}(0)}$.

*t*:

This completes the proof. □

## 4 Infinite propagation speed

In this section we examine whether classical solutions *u*, *m*, *ρ* of the two-component *b*-family system (2.1) which are initially compactly supported will retain this property throughout their evolution. Such compactly supported solutions represent localized perturbations or disturbances of the system. What we will see is that given ${\rho}_{0}$ compactly supported, then the unique solution *ρ* will remain compactly supported for all $t\in [0,T)$ regardless of the form of the initial data ${u}_{0}$, ${m}_{0}$; whereas if ${m}_{0}$ has compact support then *m* remains compactly supported, for all $t\in [0,T)$, only if *ρ* is also initially compactly supported. The situation is completely different for our solution *u*, however, since, as we will see, given ${u}_{0}$ compactly supported, then the only possible way the ensuing solution *u* can remain compactly supported for any further time is if $u(t,\cdot )\equiv 0$ for all $t\in [0,T)$.

### Theorem 4.1

*Let*$0\le b\le 3$.

*Assume that the initial datum*$0\not\equiv {X}_{0}={({u}_{0},{\rho}_{0})}^{T}\in {H}^{s}\times {H}^{s-1}$

*with*$s>\frac{5}{2}$

*is compactly supported in*$[\alpha ,\beta ]$

*with*${u}_{0}\not\equiv 0$,

*then the corresponding solution*$X={(u,\rho )}^{T}$

*to the system*(2.1)

*has the following property*:

*for*$0<t<T$, $\rho (t,x)$, $m(t,x)$

*are compactly supported in*$[q(t,\alpha ),q(t,\beta )]$

*in its lifespan and*

*with*${E}_{+}(t)>0$*and*${E}_{-}(t)<0$*for*$t\in (0,T)$, *respectively*, *where*$q(t,x)$*is defined by* (2.3) *and* *T* *is its lifespan*. *Furthermore*, ${E}_{+}(t)$*and*${E}_{-}(t)$*denote continuous nonvanishing functions*, *with*${E}_{+}(t)$*being a strictly increasing function*, *while*${E}_{-}(t)$*being strictly decreasing*.

### Proof

First, since ${X}_{0}$ has compact support, so do ${u}_{0}$, ${m}_{0}$, and ${\rho}_{0}$, we know from Lemma 2.2 that *ρ* is compactly supported in $[q(t,\alpha ),q(t,\beta )]$ in its lifespan, *i.e.*$\rho (t,x)=0$ for $x>q(t,\beta )$ or $x<q(t,\alpha )$.

*t*over the interval $(-\mathrm{\infty},\alpha )\cap (\beta ,\mathrm{\infty})$. We will get by taking $t=0$ without loss of generality,

*i.e.*$m(t,x)$ is compactly supported in $[q(t,\alpha ),q(t,\beta )]$ in its lifespan. Hence the following functions are well defined:

where (4.1) is used.

*i.e.*,

In order to finish the proof, it is sufficient to let ${E}_{+}(t)=\frac{1}{2}F(t)$ and ${E}_{-}(t)=\frac{1}{2}f(t)$, respectively. □

It is really a very nice property for the two-component *b*-family system (2.1). No matter what the profile of the compactly supported initial datum ${u}_{0}(x)$ is (no matter whether it is positive or negative), for any $t>0$ in its lifespan, the solution $u(x,t)$ is positive at infinity and negative at negative infinity. Moreover, we have the following unique continuation properties for the strong solution. The proofs are quite similar to that for the two-component Camassa-Holm system [39], so they are omitted to make the paper concise.

### Theorem 4.2

*Assume that for*$s>\frac{5}{2}$, $X(t,x)={(u(t,x),\rho (t,x))}^{T}\in C([0,T];{H}^{s}(R)\times {H}^{s-1}(R))$

*is a strong solution of the initial value problem associated with system*(2.1),

*and that*${X}_{0}(x)={({u}_{0}(x),{\rho}_{0}(x))}^{T}$

*satisfies for some*$\theta \in (0,1)$

*Then*

*uniformly in the time interval*$[0,T]$.

## Declarations

### Acknowledgements

This work was partially supported by NNSF of China (11301419), partially supported by Projects Supported by Scientific Research Funds of SiChuan Provincial Education Department (13ZA0010, 14ZB0143) and Natural Science Foundation Project of China West Normal University (12B024).

## Authors’ Affiliations

## References

- Christov O, Hakkaev S: On the Cauchy problem for the periodic
*b*-family of equations and of the non-uniform continuity of Degasperis-Procesi equation.*J. Math. Anal. Appl.*2009, 360: 47-56. 10.1016/j.jmaa.2009.06.035MathSciNetView ArticleMATHGoogle Scholar - Escher J, Yin Z: Well-posedness, blow-up phenomena, and global solutions for the
*b*-equation.*J. Reine Angew. Math.*2008, 624: 51-80. 10.1515/CRELLE.2008.080MathSciNetView ArticleMATHGoogle Scholar - Lv G, Wang M: Blow-up solutions of the general
*b*-equation.*J. Math. Phys.*2010, 51: 1-10.MathSciNetMATHGoogle Scholar - Zhang S, Yin Z: Global solutions and blow-up phenomena for the periodic
*b*-equation.*J. Lond. Math. Soc.*2010, 30: 482-500. 10.1112/jlms/jdq044MathSciNetView ArticleMATHGoogle Scholar - Zhou Y: On solutions to the Holm-Staley
*b*-family of equations.*Nonlinearity*2010, 23: 369-381. 10.1088/0951-7715/23/2/008MathSciNetView ArticleMATHGoogle Scholar - Dullin HR, Gottwald GA, Holm DD: Camassa-Holm, Korteweg-de Vries-5 and other asymptotically equivalent equations for shallow water waves.
*Fluid Dyn. Res.*2003, 33: 73-79. 10.1016/S0169-5983(03)00046-7MathSciNetView ArticleMATHGoogle Scholar - Dullin HR, Gottwald GA, Holm DD: On asymptotically equivalent shallow water wave equations.
*Physica D*2004, 190: 1-14. 10.1016/j.physd.2003.11.004MathSciNetView ArticleMATHGoogle Scholar - Camassa R, Holm D, Hyman J: A new integrable shallow water equation.
*Adv. Appl. Mech.*1994, 31: 1-33. 10.1016/S0065-2156(08)70254-0View ArticleMATHGoogle Scholar - Constantin A, Lannes D: The hydrodynamical relevance of the Camassa-Holm and Degasperis-Procesi equations.
*Arch. Ration. Mech. Anal.*2009, 192: 165-186. 10.1007/s00205-008-0128-2MathSciNetView ArticleMATHGoogle Scholar - Johnson R: Camassa-Holm, Korteweg-de Vries and related models for water waves.
*J. Fluid Mech.*2002, 457: 63-82.MATHMathSciNetGoogle Scholar - Constantin A, Gerdjikov V, Ivanov R: Inverse scattering transform for the Camassa-Holm equation.
*Inverse Probl.*2006, 22: 2197-2207. 10.1088/0266-5611/22/6/017MathSciNetView ArticleMATHGoogle Scholar - Constantin A, McKean MP: A shallow water equation on the circle.
*Commun. Pure Appl. Math.*1999, 52: 949-982. 10.1002/(SICI)1097-0312(199908)52:8<949::AID-CPA3>3.0.CO;2-DMathSciNetView ArticleMATHGoogle Scholar - Constantin A: The trajectories of particles in Stokes waves.
*Invent. Math.*2006, 166: 523-535. 10.1007/s00222-006-0002-5MathSciNetView ArticleMATHGoogle Scholar - Constantin A, Escher J: Particle trajectories in solitary water waves.
*Bull. Am. Math. Soc.*2007, 44: 423-431. 10.1090/S0273-0979-07-01159-7MathSciNetView ArticleMATHGoogle Scholar - Constantin A, Escher J: Analyticity of periodic traveling free surface water waves with vorticity.
*Ann. Math.*2011, 178: 559-568. 10.4007/annals.2011.173.1.12MathSciNetView ArticleMATHGoogle Scholar - Toland JF: Stokes waves.
*Topol. Methods Nonlinear Anal.*1996, 7: 1-48.MathSciNetMATHGoogle Scholar - Constantin A, Strauss W: Stability of peakons.
*Commun. Pure Appl. Math.*2000, 53: 603-610. 10.1002/(SICI)1097-0312(200005)53:5<603::AID-CPA3>3.0.CO;2-LMathSciNetView ArticleMATHGoogle Scholar - Lenells J: A variational approach to the stability of periodic peakons.
*J. Nonlinear Math. Phys.*2004, 11: 151-163. 10.2991/jnmp.2004.11.2.2MathSciNetView ArticleMATHGoogle Scholar - Constantin A, Escher J: Well-posedness, global existence, and blowup phenomena for a periodic quasi-linear hyperbolic equation.
*Commun. Pure Appl. Math.*1998, 51: 475-504. 10.1002/(SICI)1097-0312(199805)51:5<475::AID-CPA2>3.0.CO;2-5MathSciNetView ArticleMATHGoogle Scholar - Degasperis A, Procesi M: Asymptotic integrability. In
*Symmetry and Perturbation Theory*. World Scientific, River Edge; 1999. (Rome, 1998)Google Scholar - Liu Y, Yin Z: Global existence and blow-up phenomena for the Degasperis-Procesi equation.
*Commun. Math. Phys.*2006, 267: 801-820. 10.1007/s00220-006-0082-5MathSciNetView ArticleMATHGoogle Scholar - Yin Z: Global existence for a new periodic integrable equation.
*J. Math. Anal. Appl.*2003, 283: 129-139. 10.1016/S0022-247X(03)00250-6MathSciNetView ArticleMATHGoogle Scholar - Whitham GB:
*Linear and Nonlinear Waves*. Wiley, New York; 1999.View ArticleMATHGoogle Scholar - Constantin A, Escher J: Wave breaking for nonlinear nonlocal shallow water equations.
*Acta Math.*1998, 181: 229-243. 10.1007/BF02392586MathSciNetView ArticleMATHGoogle Scholar - Constantin A, Ivanov R: On an integrable two-component Camassa-Holm shallow water system.
*Phys. Lett. A*2008, 372: 7129-7132. 10.1016/j.physleta.2008.10.050MathSciNetView ArticleMATHGoogle Scholar - Chen M, Liu SQ, Zhang Y: A 2-component generalization of the Camassa-Holm equation and its solutions.
*Lett. Math. Phys.*2006, 75: 1-15. 10.1007/s11005-005-0041-7MathSciNetView ArticleMATHGoogle Scholar - Falqui G: On a Camassa-Holm type equation with two dependent variables.
*J. Phys. A, Math. Gen.*2006, 39: 327-342. 10.1088/0305-4470/39/2/004MathSciNetView ArticleMATHGoogle Scholar - Popowicz Z:A 2-component or $N=2$ supersymmetric Camassa-Holm equation.
*Phys. Lett. A*2006, 354: 110-114. 10.1016/j.physleta.2006.01.027MathSciNetView ArticleMATHGoogle Scholar - Escher J, Lechtenfeld O, Yin Z: Well-posedness and blow-up phenomena for the 2-component Camassa-Holm equation.
*Discrete Contin. Dyn. Syst., Ser. A*2007, 19: 493-513. 10.3934/dcds.2007.19.493MathSciNetView ArticleMATHGoogle Scholar - Guan C, Yin Z: Global existence and blow-up phenomena for an integrable two-component Camassa-Holm shallow water system.
*J. Differ. Equ.*2010, 248: 2003-2014. 10.1016/j.jde.2009.08.002MathSciNetView ArticleMATHGoogle Scholar - Guo Z: Blow-up and global solutions to a new integrable model with two components.
*J. Math. Anal. Appl.*2010, 372: 316-327. 10.1016/j.jmaa.2010.06.046MathSciNetView ArticleMATHGoogle Scholar - Ivanov RI: Extended Camassa-Holm hierarchy and conserved quantities.
*Z. Naturforsch.*2006, 61a: 133-138.MATHGoogle Scholar - Popowicz Z: A two-component generalization of the Degasperis-Procesi equation.
*J. Phys. A*2006, 39: 13717-13726. 10.1088/0305-4470/39/44/007MathSciNetView ArticleMATHGoogle Scholar - Jin L, Guo Z: On a two-component Degasperis-Procesi shallow water system.
*Nonlinear Anal., Real World Appl.*2010, 11: 4164-4173. 10.1016/j.nonrwa.2010.05.003MathSciNetView ArticleMATHGoogle Scholar - Liu J, Yin Z: On the Cauchy problem of a two-component
*b*-family system.*Nonlinear Anal., Real World Appl.*2011, 12: 4164-4173.MathSciNetGoogle Scholar - Kato T:
*Spectral Theory and Differential Equations*. Springer, Berlin; 1975.Google Scholar - Constantin A: Existence of permanent and breaking waves for a shallow water equation: a geometric approach.
*Ann. Inst. Fourier*2000, 50: 321-362. 10.5802/aif.1757MathSciNetView ArticleMATHGoogle Scholar - Constantin A, Kolev B: Geodesic flow on the diffeomorphism group of the circle.
*Comment. Math. Helv.*2003, 78: 787-804. 10.1007/s00014-003-0785-6MathSciNetView ArticleMATHGoogle Scholar - Guo Z: Asymptotic profiles of solutions to the two-component Camassa-Holm system.
*Nonlinear Anal.*2012, 75: 1-6. 10.1016/j.na.2011.01.030MathSciNetView ArticleMATHGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd.**Open Access** This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.