Research | Open | Published:
Blow-up and infinite propagation speed for a two-component b-family system
Boundary Value Problemsvolume 2014, Article number: 224 (2014)
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.
In this paper, we consider the following nonlinear system:
where b is an arbitrary real constant and . The system (1.1) was recently derived in the context of shallow water theory. 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 , we can rewrite the system (1.1) as follows:
Equation (1.3) can be derived as the family of asymptotically equivalent shallow water wave equations that emerge at quadratic order accuracy for any by an appropriate Kodama transformation; for the case , the corresponding Kodama transformation is singular and the asymptotic ordering is violated; see , . When , (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 –. It has a bi-Hamiltonian structure and is completely integrable , . Its solitary waves are peaked, capturing a feature of the water waves of great height –. Moreover, the shape of some peakons is stable under small perturbations, making these waves recognizable physically , . The Cauchy problem of the Camassa-Holm equation has been the subject of a number of studies, for example , . When , we find the Degasperis-Procesi equation  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 , . 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 ) , . In , , 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 , if , the system (1.2) becomes the two-component Camassa-Holm system
where , was derived by Constantin and Ivanov  in the context of shallow water theory. Here describes the horizontal velocity of the fluid and 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 , . Moreover, this model is connected with the energy dependent Schrödinger spectral problem . Recently, the extended super-symmetric Camassa-Holm system was presented recently by Popowicz in . The mathematical properties of the two-component Camassa-Holm system have been studied in many works; see –, –. One has established the local well-posedness for the two types of 2-component Camassa-Holm shallow water systems , , derived precise blow-up scenarios , and proved that the systems had strong solutions which blow up in finite time , , .
For , if , the system (1.3) becomes the two-component Degasperis-Procesi shallow water system
This system first appeared in . 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 , and the traveling wave solutions of large amplitude to the governing equations for water waves are peaked waves . Recently, Jin and Guo  considered the system (1.5) and analyzed some aspects of blow-up mechanism, traveling waves solution and the persistence properties.
For and general , the Cauchy problem of the system (1.1) has been studied in , 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 and to examine the propagation behavior of compactly supported solutions to (1.1) with , 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.
In this section, we recall some elementary results. For completeness, we list them and skip their proof for conciseness.
or the equivalent form
Given, , there exists a maximal, and a unique solutionto system (1.1) such that
Moreover, the solution depends continuously on the initial data, i.e. the mapping
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.
Let, . Then (2.3) has a unique solution. Moreover, we know the mapis an increasing diffeomorphism of R with
Let, , and T is assumed to be the maximal existence time of the solutionto system (2.1) corresponding to the initial data . Then for all, we have
This lemma tell us that ρ always keeps sign with its initial value because of the positivity of in (2.4). Actually this invariance result is due to the geometric underlying structure; see the discussion in , .
This means that is independent on time t. We may choose , due to (2.4) we know . Therefore the lemma is easily proved. □
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.
Let, be given and assume that, supposeis odd and. Then the corresponding solution to system (2.1) with the initial datablows up in finite time. If, then the lifespan T can be estimated by. In addition, the following inequalities hold:
Note that the system (2.1) is invariant under the transformation . Thus we deduce that if is odd, then is odd with respect to x for any . Therefore
Hence, in view of (3.1), we get
If , solving the above inequality directly yields
which tends to −∞ as t goes to .
If , we have
This means is decreasing, and for all . So by (3.1) we can choose a proper time such that
for , and . We will have the following inequality by integration from to t:
Consequently, we obtain . Similarly, for the equation in (3.2) we have
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 compactly supported, then the unique solution ρ will remain compactly supported for all regardless of the form of the initial data , ; whereas if has compact support then m remains compactly supported, for all , only if ρ is also initially compactly supported. The situation is completely different for our solution u, however, since, as we will see, given compactly supported, then the only possible way the ensuing solution u can remain compactly supported for any further time is if for all .
Let. Assume that the initial datumwithis compactly supported inwith, then the corresponding solutionto the system (2.1) has the following property: for, , are compactly supported inin its lifespan and
withandfor, respectively, whereis defined by (2.3) and T is its lifespan. Furthermore, anddenote continuous nonvanishing functions, withbeing a strictly increasing function, whilebeing strictly decreasing.
First, since has compact support, so do , , and , we know from Lemma 2.2 that ρ is compactly supported in in its lifespan, i.e. for or .
Applying particle trajectory method to the first equation in (1.2), we obtain
Thus we know when or
Thus is independent on time t over the interval . We will get by taking without loss of generality,
This implies that when , i.e. is compactly supported in in its lifespan. Hence the following functions are well defined:
By integration by parts, we have
Then for , we get
where (4.1) is used.
Similarly, when , we have
On the other hand,
Differentiating the first equation in (2.1) twice, we get
Therefore, in the lifespan of the solution, we find that is an increasing function with , thus it follows that for , i.e.,
By a similar argument, we can check that the following identity for is true:
In order to finish the proof, it is sufficient to let and , 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 is (no matter whether it is positive or negative), for any in its lifespan, the solution 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 , so they are omitted to make the paper concise.
Assume that for, is a strong solution of the initial value problem associated with system (2.1), and thatsatisfies for some
uniformly in the time interval.
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
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
Lv G, Wang M: Blow-up solutions of the general b -equation. J. Math. Phys. 2010, 51: 1-10.
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
Zhou Y: On solutions to the Holm-Staley b -family of equations. Nonlinearity 2010, 23: 369-381. 10.1088/0951-7715/23/2/008
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
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
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
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
Johnson R: Camassa-Holm, Korteweg-de Vries and related models for water waves. J. Fluid Mech. 2002, 457: 63-82.
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
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
Constantin A: The trajectories of particles in Stokes waves. Invent. Math. 2006, 166: 523-535. 10.1007/s00222-006-0002-5
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
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
Toland JF: Stokes waves. Topol. Methods Nonlinear Anal. 1996, 7: 1-48.
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
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
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
Degasperis A, Procesi M: Asymptotic integrability. In Symmetry and Perturbation Theory. World Scientific, River Edge; 1999. (Rome, 1998)
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
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
Whitham GB: Linear and Nonlinear Waves. Wiley, New York; 1999.
Constantin A, Escher J: Wave breaking for nonlinear nonlocal shallow water equations. Acta Math. 1998, 181: 229-243. 10.1007/BF02392586
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
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
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
Popowicz Z:A 2-component or supersymmetric Camassa-Holm equation. Phys. Lett. A 2006, 354: 110-114. 10.1016/j.physleta.2006.01.027
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
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
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
Ivanov RI: Extended Camassa-Holm hierarchy and conserved quantities. Z. Naturforsch. 2006, 61a: 133-138.
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
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
Liu J, Yin Z: On the Cauchy problem of a two-component b -family system. Nonlinear Anal., Real World Appl. 2011, 12: 4164-4173.
Kato T: Spectral Theory and Differential Equations. Springer, Berlin; 1975.
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
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
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
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).
The authors declare that they have no competing interests.
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.