We investigate the DGH equation. Analogous to the Camassa-Holm equation, this equation possesses the blow-up phenomenon. We establish a new blow up criterion on the initial data to guarantee the formulation of singularities in finite time.
1. Introduction
In 2001, Dullin et al. [1] derived the following equation to describe the unidirectional propagation of surface waves in a shallow water regime:yt+c0ux+uyx+2yux+γuxxx=0,
where y=u-α2uxx, the constants α2 and γ/c0 are squares of length scales, and the constant c0=gh>0 is the critical shallow water speed for undisturbed water at rest at spatial infinity, where h is the mean fluid depth and g is the gravitational constant, g=9.8m/s2.
In [2], local well-posedness of strong solutions to (1.1) was established by applying Katos theory [3] and some sufficient conditions were found to guarantee the finite blowup of the corresponding solutions for the spatially nonperiodic case. In [4], the author finds best constants for two convolution problems on the unit circle via a variational method. Then, by using the best constants on the DGH equation, sufficient conditions on the initial data are given to guarantee finite time singularity formation for the corresponding solutions.
When γ=0 and α=1, system (1.1) reduces to the Camassa-Holm equation, which was derived physically by Camassa and Holm in [5] (found earlier by Fokas and Fuchssteiner [6] as a bi-Hamiltonian generalization of the KdV equation) by approximating directly the Hamiltonian for Eulers equation in the shallow water region with u(x,t) representing the free surface above a flat bottom. For the hydrodynamic derivation one should also refer to the discussion in the papers [7–9]. The Camassa-Holm equation is completely integrable and has infinitely many conservation laws. The local well-posedness for Camassa-Holm equation in the Sobolev space Hs with s>3/2 was proved in [10, 11]. One of the remarkable features of Camassa-Holm equation is the presence of breaking waves. Wave breaking for a large class of initial data has been established in [10–16]. Here we would like to mention that in [16] we give a new and direct proof for McKeans theorem. The wave breaking and propagation speed for more general family of one-dimensional shallow water equations are studied in [17]. In [18] Guo and Zhu established sufficient conditions on the initial data to guarantee blow-up phenomenon for the modified two component Camassa-Holm (MCH2) system. The existence of global solutions was also explored in [10, 12]. In addition to [10, 12], it is worth pointing out that the solution can be continued uniquely after wave breaking either as a conservative global solution or as a dissipative global solution, see the discussions in the papers [19, 20]. The solitary waves of Camassa-Holm equation are peaked solitons. The peaked solitons replicate a feature that is characteristic for the waves of great height-waves of largest amplitude which are exact solutions of the governing equations for water waves compare the papers [21–23]. The orbital stability of the peakons was shown by Constantin and Strauss in [24], here the orbital stability means that the shape of the waves is stable under perturbations, so that these patterns can be detected. It is worthy of being mentioned here the property of propagation speed of solutions to the Camassa-Holm equation; the first results in this direction were provided in the papers [25–27], which was also presented by Zhou and his collaborators in [28]. In [29], it is proved that strong solution to the Camassa-Holm equation decays algebraically with the same exponent as that of the initial datum.
In this paper, we will establish a new blow-up criterion on the profile of the initial data. Now, we give our main result as follows.
Theorem 1.1.
Suppose that u0∈Hs(ℝ), s≥3/2, y0=u0-α2u0xx satisfies y0(x0)+(1/2)(c0+γ/α2)=0,
∫-∞x0eξ/α[y0(ξ)+12(c0+γα2)]dξ>0,∫x0∞e-ξ/α[y0(ξ)+12(c0+γα2)]dξ<0,for some point x0∈ℝ. Then the solution u(x,t) to (1.1) with initial datum u0(x) blows up in finite time.
2. Proof of Theorem 1.1
As direct calculation, we can rewrite (1.1) asyt+uyx+2yux-γα2yx+(c0+γα2)ux=0.
Letting λ=-γ/α2 and κ=(c0+(γ/α2))/2, the above equation can reduce toyt+uyx+2yux+λyx+2κux=0.Set Λ=(1-α2∂x2)1/2, then the operator Λ-2 can be expressed by its associated Green’s function G=(1/2α)e-|x|/α as Λ-2f(x)=G*f(x)=(1/2α)∫ℝe-|x-y|/αf(y)dy. Then, (2.2) is equivalent to the following equation:ut+(u+λ)ux+∂xG*(u2+α22ux2+2κu)=0.Motivated by Mckean’s deep observation for the Camassa-Holm equation [13], we can do similar particle trajectory asqt=u(q,t)+λ,0<t<T,x∈R,q(x,0)=x,x∈R,where T is the life span of the solution, then q is a diffeomorphism of the line; here it is worthwhile pointing out that this corresponds to the Lagrangian viewpoint in hydrodynamics (see the discussion in [30]). Differentiating the first equation in (2.4) with respect to x, one hasdqtdx=qxt=ux(q,t)qx,t∈(0,T).Henceqx(x,t)=exp{∫0tux(q,s)ds},qx(x,0)=1.
From (2.2) and (2.5) we can obtainddt((y(q)+κ)qx2)=[yt(q)+(u(q,t)+λ)yx(q)+2ux(q,t)(y(q)+k)]qx2=0,
then it follows that(y(q)+κ)qx2=y0(x)+κ.In the case of the CH-equation (with κ=0), the invariance of (2.8) has a geometric interpretation, compare [31, 32]. Differentiating (2.2), it follows from the definition of q(x,t) thatddtux(q(x0,t),t)=utx(q(x0,t),t)+uxx(q(x0,t),t)(u(q(x0,t),t)+λ)=-12ux2(q(x0,t),t)+1α2u2(q(x0,t),t)+1α22κu(q(x0,t),t)-1α2G*(u2+α22ux2+2κu)(q(x0,t),t)=-12ux2(q(x0,t),t)+1α2(u+κ)2(q(x0,t),t)-1α2G*[(u+κ)2+α22ux2](q(x0,t),t)≤-12ux2(q(x0,t),t)+12α2(u+κ)2(q(x0,t),t),here we have used the inequalityG*[(u+κ)2+α22ux2]≥12(u+κ)2.In fact,G*[(u+κ)2+α22ux2]=12α∫Re-|x-ξ|/α[(u+κ)2+α22uξ2](ξ,t)dξ=12αe-x/α∫-∞xeξ/α[(u+κ)2+α22uξ2](ξ,t)dξ+12αex/α∫x∞e-ξ/α[(u+κ)2+α22uξ2](ξ,t)dξ.From∫-∞xeξ/α[(u+κ)2+α2uξ2](ξ,t)dξ≥2α∫-∞xeξ/α(u+κ)uξdξ=α∫-∞xeξ/α(u+κ)ξ2dξ=αex/α(u+κ)2-∫-∞xeξ/α(u+κ)2dξ,we can deduce∫-∞xeξ/α[(u+κ)2+α22uξ2](ξ,t)dξ≥α2ex/α(u+κ)2.Similarly we can obtain∫x∞e-ξ/α[(u+κ)2+α22uξ2](ξ,t)dξ≥α2e-x/α(u+κ)2.Combining (2.11), (2.13), and (2.14) we deduce our inequality (2.10).
Claim
ux(q(x0),t)<0 is strictly decreasing and (u+κ)2(q(x0,t),t)<α2ux2(q(x0,t),t) for all t≥0.
Suppose there exists a t0 such that (u+κ)2(q(x0,t),t)>α2ux2(q(x0,t),t) on [0,t0) and (u+κ)2(q(x0,t0),t0)=α2ux2(q(x0,t0),t0). From the expression of u(x,t) in terms of y(x,t), we can rewrite u(x,t)+κ and ux(x,t) as follows:
u(x,t)+κ=12αe-x/α∫-∞xeξ/α[y(ξ,t)+κ]dξ+12αex/α∫x∞e-ξ/α[y(ξ,t)+κ]dξ,ux(x,t)=-12α2e-x/α∫-∞xeξ/α[y(ξ,t)+κ]dξ+12α2ex/α∫x∞e-ξ/α[y(ξ,t)+κ]dξ.Now, let
I(t):=e-q(x0,t)/α∫-∞q(x0,t)eξ/α[y(ξ,t)+κ]dξ,II(t):=eq(x0,t)/α∫q(x0,t)∞e-ξ/α[y(ξ,t)+κ]dξ.Then,
dI(t)dt=-1α(u(q(x0,t))+λ)e-q(x0,t)/α∫-∞q(x0,t)eξ/α[y(ξ,t)+κ]dξ+e-q(x0,t)/α∫-∞q(x0,t)eξ/αyt(ξ,t)dξ.From (2.2), the equation for y(x,t) can be written as
yt+((y+κ)u)x+12(u2-α2ux2)x+λ(y+κ)x+κux=0.Putting (2.18) into the second term on the right-hand side of (2.17) and using (2.8), we have
e-q(x0,t)/α∫-∞q(x0,t)eξ/αyt(ξ,t)dξ=-e-q(x0,t)/α∫-∞q(x0,t)eξ/α(((y+κ)u)x+12(u2-α2ux2)x+λ(y+κ)x+κux)(ξ,t)dξ=12(α2ux2-u2)(q(x0,t),t)-κu+1αe-q(x0,t)/α∫-∞q(x0,t)eξ/α((y+κ)u+12(u2-α2ux2)+λ(y+κ)+κu)(ξ,t)dξ=12(α2ux2-u2)(q(x0,t),t)-κu+1αe-q(x0,t)/α∫-∞q(x0,t)eξ/α(32u2-α22ux2-α2uuxx+λ(y+κ)+2κu32)(ξ,t)dξ=α22ux2-αuux-κu+1αe-q(x0,t)/α∫-∞q(x0,t)eξ/α(u2+α22ux2+λ(y+κ)+2κu)(ξ,t)dξ.
Here we have used
-αe-q(x0,t)/α∫-∞q(x0,t)eξ/α(uuxx)(ξ,t)dξ=-α(uux)(q(x0,t),t)+12u2(q(x0,t),t)+αe-q(x0,t)/α∫-∞q(x0,t)eξ/α(ux2(ξ,t)-12α2u2)(ξ,t)dξ.On the other hand, after integration by parts, the first term on the right-hand side of (2.17) yields
-1αu(q(x0,t))e-q(x0,t)/α∫-∞q(x0,t)eξ/α[y(ξ,t)+κ]dξ=α(uux)(q(x0,t),t)-u2(q(x0,t),t)-κu.Hence after combining the above terms and inequalities together, (2.17) reads as
dI(t)dt=[α22ux2-u2-2κu](q(x0,t),t)+1αe-q(x0,t)/α∫-∞q(x0,t)eξ/α(u2+2κu+α22ux2)(ξ,t)dξ=[α22ux2-(u+κ)2](q(x0,t),t)+1αe-q(x0,t)/α∫-∞q(x0,t)eξ/α((u+κ)2+α22ux2)(ξ,t)dξ≥12[α2ux2-(u+κ)2](q(x0,t),t)>0,on[0,t0),here (2.13) is used again. From the continuity property we have
e-q(x0,t0)/α∫-∞q(x0,t0)eξ/α[y(ξ,t0)+κ]dξ>e-x0/α∫-∞x0eξ/α[y0(ξ)+κ]dξ>0.Similarly,
dII(t)dt≤12[(u+κ)2-α2ux2](q(x0,t),t)<0,on[0,t0).Thus by continuity property
eq(x0,t0)/α∫q(x0,t0)∞e-ξ/α[y(ξ,t0)+κ]dξ<ex0/α∫x0∞e-ξ/α[y0(ξ)+κ]dξ<0.Summarizing (2.23) and (2.25), we obtain
α2ux2(q(x0,t0),t0)-(u+κ)2(q(x0,t0),t0)=-1α2∫-∞q(x0,t0)eξ/α[y(ξ,t0)+κ]dξ∫q(x0,t0)∞e-ξ/α[y(ξ,t0)+κ]dξ>-1α2∫-∞x0eξ/α[y0(ξ)+κ]dξ∫x0∞e-ξ/α[y0(ξ)+κ]dξ=α2u0x2(x0)-(u0+κ)2(x0)>0.This is a contradiction. So the claim is true.
Moreover, due to (2.22) and (2.24), we have the following for (α2ux2-(u+κ)2)(q(x0,t),t):
ddt(α2ux2-(u+κ)2)(q(x0,t),t)=-1α2ddt(∫-∞q(x0,t)eξ(y+κ)(ξ,t)dξ∫q(x0,t)∞e-ξ(y+κ)(ξ,t)dξ)=-1α2ddt(e-q(x0,t)∫-∞q(x0,t)eξ(y+κ)(ξ,t)dξ)eq(x0,t)∫q(x0,t)∞e-ξ(y+κ)(ξ,t)dξ-1α2e-q(x0,t)∫-∞q(x0,t)eξ(y+κ)(ξ,t)dξddt(eq(x0,t)∫q(x0,t)∞e-ξ(y+κ)(ξ,t)dξ)≥-12α2(α2ux2-(u+κ)2)(q(x0,t),t)eq(x0,t)∫q(x0,t)∞e-ξ(y+κ)(ξ,t)dξ+12α2(α2ux2-(u+κ)2)(q(x0,t),t)e-q(x0,t)∫-∞q(x0,t)eξ(y+κ)(ξ,t)dξ=-ux(q(x0,t),t)(α2ux2-(u+κ)2)(q(x0,t),t).
Now, substituting (2.9) into (2.27), it yieldsddt(α2ux2-(u+κ)2)(q(x0,t),t)≥12α2(α2ux2-(u+κ)2)(q(x0,t),t)×(∫0t(α2ux2-(u+κ)2)(q(x0,τ),τ)dτ-2α2u0x(x0)).
Before completing the proof, we need the following technical lemma.
Lemma 2.1 (see [33]).
Suppose that Ψ(t) is twice continuously differential satisfying
Ψ′′(t)≥C0Ψ′(t)Ψ(t),t>0,C0>0,Ψ(t)>0,Ψ′(t)>0.Then Ψ(t) blows up in finite time. Moreover, the blow-up time can be estimated in terms of the initial datum as
T≤max{2C0Ψ(0),Ψ(0)Ψ′(0)}.
Let Ψ(t)=(∫0t(α2ux2-(u+κ)2)(q(x0,τ),τ)dτ-2α2u0x(x0)), then (2.28) is an equation of type (2.29) with C0=1/2α2. The proof is complete by applying Lemma 2.1.
Remark 2.2.
The special case c0+γ/α2=0 was studied in [4]. We can regard the special case as the CH(κ=0) equation with a strong dispersive term c0yx. Result here without the restriction is an improvement.
Remark 2.3.
Recall, (2.2), we can easily find that the DGH equation is the CH(κ≠0) equation with a strong dispersive term.
Acknowledgments
This work is partially supported by Zhejiang Innovation Project (T200905), ZJNSF (Grant no. R6090109), and NSFC (Grant no. 11101376).
DullinR.GottwaldG.HolmD.An integrable shallow water equation with linear and nonlinear dispersion20018745014504TianL.GuiG.LiuY.On the well-posedness problem and the scattering problem for the Dullin-Gottwald-Holm equation2005257366770110.1007/s00220-005-1356-z2164948ZBL1080.76016KatoT.Quasi-linear equations of evolution, with applications to partial differential equations19754487Berlin, GermanySpringer2570Lecture Notes in Mathematics0407477ZBL0315.35077ZhouY.Blow-up of solutions to the DGH equation2007250122724810.1016/j.jfa.2007.04.0192345914ZBL1124.35079CamassaR.HolmD. D.An integrable shallow water equation with peaked solitons199371111661166410.1103/PhysRevLett.71.16611234453ZBL0972.35521FuchssteinerB.FokasA. S.Symplectic structures, their Bäcklund transformations and hereditary symmetries198141476610.1016/0167-2789(81)90004-X636470JohnsonR. S.Camassa-Holm, Korteweg-de Vries and related models for water waves2002455638210.1017/S00221120010072241894796ZBL1037.76006ConstantinA.LannesD.The hydrodynamical relevance of the Camassa-Holm and Degasperis-Procesi equations2009192116518610.1007/s00205-008-0128-22481064ZBL1169.76010Ionescu-KruseD.Variational derivation of the Camassa-Holm shallow water equation200714330331210.2991/jnmp.2007.14.3.12350091ZBL1157.76005ConstantinA.EscherJ.Well-posedness, global existence, and blowup phenomena for a periodic quasi-linear hyperbolic equation199851547550410.1002/(SICI)1097-0312(199805)51:5<475::AID-CPA2>3.0.CO;2-51604278ZBL0934.35153LiY. A.OlverP. J.Well-posedness and blow-up solutions for an integrable nonlinearly dispersive model wave equation20001621276310.1006/jdeq.1999.36831741872ZBL0958.35119ConstantinA.EscherJ.Wave breaking for nonlinear nonlocal shallow water equations1998181222924310.1007/BF023925861668586ZBL0923.76025McKeanH. P.Breakdown of a shallow water equation1998248678741734131ZBL0959.35140ZhouY.Wave breaking for a shallow water equation200457113715210.1016/j.na.2004.02.0042055991ZBL1106.35070ZhouY.Wave breaking for a periodic shallow water equation2004290259160410.1016/j.jmaa.2003.10.0172033045ZBL1042.35060JiangZ.NiL.ZhouY.Wave breaking of the Camassa-Holm equation201222123524510.1007/s00332-011-9115-0JiangZ.HakkaevS.Wave breaking and propagation speed for a class of one-dimensional shallow water equations201120111564736810.1155/2011/6473682846251ZBL1230.35101GuoZ.ZhuM.Wave breaking for a modified two-component Camassa-Holm system201225227592770BressanA.ConstantinA.Global conservative solutions of the Camassa-Holm equation2007183221523910.1007/s00205-006-0010-z2278406ZBL1105.76013BressanA.ConstantinA.Global dissipative solutions of the Camassa-Holm equation20075112710.1142/S02195305070008572288533ZBL1139.35378TolandJ. F.Stokes waves1996711481422004ZBL0897.35067ConstantinA.EscherJ.Particle trajectories in solitary water waves200744342343110.1090/S0273-0979-07-01159-72318158ZBL1126.76012ConstantinA.EscherJ.Analyticity of periodic traveling free surface water waves with vorticity2011173155956810.4007/annals.2011.173.1.122753609ZBL1228.35076ConstantinA.StraussW. A.Stability of peakons200053560361010.1002/(SICI)1097-0312(200005)53:5<603::AID-CPA3>3.3.CO;2-C1737505ZBL1049.35149ConstantinA.Finite propagation speed for the Camassa-Holm equation2005462402350610.1063/1.18456032121730ZBL1076.35109HenryD.Compactly supported solutions of the Camassa-Holm equation200512334234710.2991/jnmp.2005.12.3.32160386ZBL1086.35079HenryD.Persistence properties for a family of nonlinear partial differential equations20097041565157310.1016/j.na.2008.02.1042483580ZBL1170.35509HimonasA. A.MisiołekG.PonceG.ZhouY.Persistence properties and unique continuation of solutions of the Camassa-Holm equation2007271251152210.1007/s00220-006-0172-42287915ZBL1142.35078NiL.ZhouY.A new asymptotic behavior of solutions to the Camassa-Holm equation2012140260761410.1090/S0002-9939-2011-10922-52846329ConstantinA.The trajectories of particles in Stokes waves2006166352353510.1007/s00222-006-0002-52257390ZBL1108.76013ConstantinA.Existence of permanent and breaking waves for a shallow water equation: a geometric approach2000502321362177535310.5802/aif.1757ZBL0944.35062KolevB.Bi-Hamiltonian systems on the dual of the Lie algebra of vector fields of the circle and periodic shallow water equations200736518582333235710.1098/rsta.2007.20122329152ZBL1152.37344ZhouY.On solutions to the Holm-Staley b-family of equations201023236938110.1088/0951-7715/23/2/0082578483