Research | Open | Published:

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

*Boundary Value Problems***volume 2014**, Article number: 224 (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.

## 1 Introduction

In this paper, we consider the following nonlinear system:

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.

Using the notation $m:=u-{u}_{xx}$, we can rewrite the system (1.1) as follows:

Obviously, if $\rho \equiv 0$, the system (1.2) reduces to the following *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.

For $\rho \not\equiv 0$, if $b=2$, the system (1.2) becomes the two-component Camassa-Holm system

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].

For $\rho \not\equiv 0$, if $b=3$, the system (1.3) becomes the two-component Degasperis-Procesi shallow water system

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.

For convenience to show our results, we rewrite system (1.2). Let $G(x):=\frac{1}{2}{e}^{-|x|}$, $x\in R$. Then ${(1-{\partial}_{x}^{2})}^{-1}f=G\ast f$ for all $f\in {L}^{2}$ and $G\ast m=u$. Here we denote by ∗ the convolution. By a direct calculation, we can rewrite (1.2) with $\sigma =1$ as follows:

or the equivalent form

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*.

We also need to introduce the standard particle trajectory methods for later use. Consider now the following initial value problem:

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

Using (2.3) and the second equation in system (2.1), we obtain

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

Let $X={(u,\rho )}^{T}$ be the corresponding solution to system (2.1) and *T* be the maximal existence time of the solution $u(t,x)$. Differentiating system (2.1) with respect to *x*, we obtain

and

Note that the system (2.1) is invariant under the transformation $(X,x)\to (-X,-x)$. Thus we deduce that if ${X}_{0}(x)$ is odd, then $X(t,x)$ is odd with respect to *x* for any $t\in [0,T)$. Therefore

Hence, in view of (3.1), we get

If ${u}_{0}^{\prime}(0)<0$, solving the above inequality directly yields

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

If ${u}_{0}^{\prime}(0)=0$, we have

This means ${u}_{x}(t,0)$ is decreasing, and ${u}_{x}(t,0)<0$ for all $t>0$. So by (3.1) we can choose a proper time ${t}_{0}>0$ such that

for $t>{t}_{0}$, and ${u}_{x}({t}_{0},0)<0$. We will have the following inequality by integration from ${t}_{0}$ to *t*:

Consequently, we obtain $T<{t}_{0}-\frac{2}{(b-1){u}_{x}({t}_{0},0)}$. Similarly, for the equation in (3.2) we have

Equation (3.3) implies that ${u}_{x}(t,0)$ is decreasing with ${u}_{0}^{\prime}(0)\le 0$, so we easily get $-{u}_{x}(t,0)\ge -{u}_{0}^{\prime}(0)\ge 0$. This inequality in combination with (3.4) yields

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 )$.

Applying particle trajectory method to the first equation in (1.2), we obtain

Thus we know when $x>\beta $ or $x<\alpha $

Thus $m(t,q(t,x)){q}_{x}^{b}(t,x)$ is independent on time *t* over the interval $(-\mathrm{\infty},\alpha )\cap (\beta ,\mathrm{\infty})$. We will get by taking $t=0$ without loss of generality,

This implies that $m(t,q(t,x))=0$ when $x\in (-\mathrm{\infty},\alpha )\cap (\beta ,\mathrm{\infty})$, *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:

By integration by parts, we have

Then for $x>q(t,\beta )$, we get

where (4.1) is used.

Similarly, when $x<q(t,\alpha )$, we have

Because $m(t,x)$ has compact support in the interval $[q(t,\alpha ),q(t,\beta )]$ for any $t\in [0,T)$, we get $m(t,x)=u(t,x)-{u}_{xx}(t,x)=0$ for $x>q(t,\beta )$ or $x<q(t,\alpha )$. Hence, as consequences of (4.2) and (4.3), we obtain

and

On the other hand,

Differentiating the first equation in (2.1) twice, we get

Combining the first equation in (2.1) and (4.6), we obtain

Substituting the identity (4.7) into $\frac{dF(t)}{dt}$ and using (4.4) and (4.5), we have

Therefore, in the lifespan of the solution, we find that $F(t)$ is an increasing function with $F(0)=0$, thus it follows that $F(t)>0$ for $t\in (0,T]$, *i.e.*,

By a similar argument, we can check that the following identity for $f(t)$ is true:

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]$.

## References

- 1.
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.035 - 2.
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.080 - 3.
Lv G, Wang M: Blow-up solutions of the general

*b*-equation.*J. Math. Phys.*2010, 51: 1-10. - 4.
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/jdq044 - 5.
Zhou Y: On solutions to the Holm-Staley

*b*-family of equations.*Nonlinearity*2010, 23: 369-381. 10.1088/0951-7715/23/2/008 - 6.
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-7 - 7.
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.004 - 8.
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-0 - 9.
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-2 - 10.
Johnson R: Camassa-Holm, Korteweg-de Vries and related models for water waves.

*J. Fluid Mech.*2002, 457: 63-82. - 11.
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/017 - 12.
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-D - 13.
Constantin A: The trajectories of particles in Stokes waves.

*Invent. Math.*2006, 166: 523-535. 10.1007/s00222-006-0002-5 - 14.
Constantin A, Escher J: Particle trajectories in solitary water waves.

*Bull. Am. Math. Soc.*2007, 44: 423-431. 10.1090/S0273-0979-07-01159-7 - 15.
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.12 - 16.
Toland JF: Stokes waves.

*Topol. Methods Nonlinear Anal.*1996, 7: 1-48. - 17.
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-L - 18.
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.2 - 19.
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-5 - 20.
Degasperis A, Procesi M: Asymptotic integrability. In

*Symmetry and Perturbation Theory*. World Scientific, River Edge; 1999. (Rome, 1998) - 21.
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-5 - 22.
Yin Z: Global existence for a new periodic integrable equation.

*J. Math. Anal. Appl.*2003, 283: 129-139. 10.1016/S0022-247X(03)00250-6 - 23.
Whitham GB:

*Linear and Nonlinear Waves*. Wiley, New York; 1999. - 24.
Constantin A, Escher J: Wave breaking for nonlinear nonlocal shallow water equations.

*Acta Math.*1998, 181: 229-243. 10.1007/BF02392586 - 25.
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.050 - 26.
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-7 - 27.
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/004 - 28.
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.027 - 29.
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.493 - 30.
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.002 - 31.
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.046 - 32.
Ivanov RI: Extended Camassa-Holm hierarchy and conserved quantities.

*Z. Naturforsch.*2006, 61a: 133-138. - 33.
Popowicz Z: A two-component generalization of the Degasperis-Procesi equation.

*J. Phys. A*2006, 39: 13717-13726. 10.1088/0305-4470/39/44/007 - 34.
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.003 - 35.
Liu J, Yin Z: On the Cauchy problem of a two-component

*b*-family system.*Nonlinear Anal., Real World Appl.*2011, 12: 4164-4173. - 36.
Kato T:

*Spectral Theory and Differential Equations*. Springer, Berlin; 1975. - 37.
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.1757 - 38.
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-6 - 39.
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.030

## 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).

## Author information

## Additional information

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

This paper is the result of joint work of all authors who contributed equally to the final version of this paper. All authors read and approved the final manuscript.

## Rights and permissions

## About this article

#### Received

#### Accepted

#### Published

#### DOI

### Keywords

- a two-component b-family system
- blow-up
- infinite propagation speed