• No results found

A wave breaking criterion for a modified periodic two component Camassa Holm system

N/A
N/A
Protected

Academic year: 2020

Share "A wave breaking criterion for a modified periodic two component Camassa Holm system"

Copied!
14
0
0

Loading.... (view fulltext now)

Full text

(1)

R E S E A R C H

Open Access

A wave breaking criterion for a modified

periodic two-component Camassa-Holm

system

Ying Wang

*

*Correspondence:

[email protected] School of Science, Sichuan University of Science and Engineering, Zigong, 643000, China

Abstract

In this paper, a wave-breaking criterion of strong solutions is acquired in the Soblev spaceHs(S)×Hs–1(S) withs>3

2 by employing the localization analysis in the transport equation theory, which is different from that of the two-component Camassa-Holm system.

MSC: 35D05; 35G25; 35L05; 35Q35

Keywords: a modified periodic two-component Camassa-Holm system; wave-breaking criterion; localization analysis

1 Introduction

The classical two-component Camassa-Holm system takes the form

( –x)ut+u( –∂x)ux+ ux( –∂x)u+ρρx= , t> ,x∈R,

ρt+ ()x= , t> ,x∈R,

()

where the variableu(t,x) represents the horizontal velocity of the fluid, andρ(t,x) is re-lated to the free surface elevation from equilibrium with the boundary assumptionsu→ andρ→ as|x| → ∞. System () was found originally in [], but it was firstly derived rigorously by Constantin and Ivanov []. The system has bi-Hamiltonian structure and is completely integrable. Since the birth of the system, a large number of literature was devoted to the study of the two-component Camassa-Holm system. Some mathematical and physical properties of the system have been obtained. Chenet al.[] established a reciprocal transformation between the two-component Camassa-Holm system and the first negative flow of the AKNS hierarchy. Escheret al.[] used Kato’s theory to establish local well-posedness for the two-component system and presented some precise blow-up scenarios for strong solutions of the system. In [], Constantin and Ivanov described suf-ficient conditions for wave-breaking and global solution to the system. Dynamics in the periodic case for system () were considered in []. It is worth mentioning that the wave-breaking criteria of strong solutions is determined in the lowest Soblev spaceHswiths>

by applying the localization analysis in the transport equation theory []. The other results related to the system can be found in [–].

(2)

Inspired by the works mentioned, in this article, we consider a modified periodic two-component Camassa-Holm system on the circleSwithS=R/Z(the circle of unit lengh):

⎧ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎨ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎩

mt+umx+ uxm+ρρx= , t> ,x∈R,

ρt+ ()x= , t> ,x∈R, m(,x) =m(x), x∈R,

ρ(,x) =ρ(x), x∈R,

m(t,x+ ) =m(t,x), t> ,x∈R,

ρ(t,x+ ) =ρ(t,x), t> ,x∈R,

()

wherem= ( –

x)u, andRis the real number set. In fact, system () is a two-component

generalization of the equation (ifρ=  in system ())

mt+umx+ uxm= , m=

 –xu. ()

Equation () was first derived as the Euler-Poincaré differential equation on the Bott-Virasoro group with respect to theHmetric [], and it is known as a modified Camassa-Holm equation and also viewed as a geodesic equation on some diffeomorphism group []. It is shown in [] that the well-posedness and dynamics of Eq. () on the unit circle

Sare significantly different from that of the Camassa-Holm equation. For example, Eq. () does not conform with blow-up solution in finite time.

As we know, differently from the Camassa-Holm equation, Eq. () has not blow-up so-lution. The motivation of the present paper is to find out whether or not system () has some similar dynamics as the classical two-component Camassa-Holm equation and Eq. () mathematically, for example, wave-breaking and global solution. One of the difficul-ties is the acquisition of the a priori estimates ofuxxL∞anduxxxL∞. This difficulty has

been overcome by Lemmas . and .. We mainly use the ideas of [] to derive a wave-breaking criterion (see Theorem ) of strong solutions for system () in the low Sobolev spacesHs(S)×Hs–(S) withs> , where a new conservation law is necessary. We need to point out that in the Sobolev spacesHs(R)×Hs–(R) withs>

, the wave-breaking

of the solution for system () only depends on the slope of the componentuof the solu-tion []. However, since the slope of the componentuof the solution is bounded by the Sobolev imbedding theoremHL∞, the wave-breaking of the solution for system () is determined only by the slope of the componentρof solution definitely in the low Sobolev spacesHs(S)×Hs–(S) withs>

(see Theorem ). This implies that there exists some

dif-ference between system () and the two-component Camassa-Holm equation. Moreover, this is quite different from Eq. () because Eq. () does not admit a blow-up solution in infinite time.

2 The main results

We denote by∗the convolution. Note that ifg(x) :=  +  ∞n=+n+ncos(nx), then ( –

(3)

system () in the form

⎧ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎨ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎩

ut+uux+∂xg∗[u+ux–u

xx– uxuxxx+ρ], t> ,x∈R,

ρt+ ()x= , t> ,x∈R, u(,x) =u(x), x∈R,

ρ(,x) =ρ(x), x∈R,

u(t,x+ ) =u(t,x), t> ,x∈R,

ρ(t,x+ ) =ρ(t,x), t> ,x∈R.

()

The main result of the present paper is as follows.

Theorem  Let z= (u,ρ)∈Hs(S)×Hs–(S),s>,and T be the maximal existence time of the solution z= (u,ρ)to system().Assume that m∈L(S)and T<∞.Then

T

∂xρ(τ)L(S)=∞.

3 Preliminaries

In order to prove Theorem , we first give some lemmas.

Lemma .([, ]) (-D Moser-type estimates) The following estimates hold:

(i) Fors≥,

fgHsCfHsgL∞+fLgHs. ()

(ii) Fors> ,

f∂xgHsCfHs+gL∞+fLxgHs. ()

(iii) Fors≤,s>,ands+s> ,

f∂xgHs≤CfHsgHs, ()

where C is a constant independent of f and g.

Lemma .([, ]) Suppose that s> –d.Let v be a vector field such thatv belongs to L([,T];Hs–)if s>  +d or to L([,T];Hd ∩L)otherwise.Suppose also that fHs,

FL([,T];Hs),and that fL∞([,T];Hs)∩C([,T];S)solves the d-dimensional linear transport equation

ft+v· ∇f=F, f|t==f.

()

Then fC([,T];Hs).More precisely,there exists a constant C depending only s,p,and d,

and such that the following statements hold: ()If s=  +d,then

fHsfHs+C t

F(τ)Hsdτ+C t

(4)

or

fHseCV(t)

fHs+ t

e–CV(t)F(τ)Hsdτ

()

with V(t) =tv(τ)

HdL if s<  + d

and V(t) =

t

∇v(τ)Hs–dτelse.

()If f =v,then for all s> ,estimates()and()hold with V(t) =t∂xu(τ)L.

Lemma .([]) Let <σ< .Suppose that f∈,gL([,T];),ν,∂xνL([,T]; L∞),and fL∞([,T];)C([,T];S)solves the-dimensional linear transport equa-tion

ft+ν∂xf =g, f|t==f.

()

Then fC([,T];).More precisely,there exists a constant C depending onlyσand such that the following statement holds:

fHσfHσ+C

t

g(τ)Hσdτ+C

t

V(τ)f(τ)Hσdτ, ()

or

fHσeCV(t)

f+

t

Cg(τ)Hσdτ

()

with V(t) =t(ν(τ)L∞+∂xν(τ)L∞).

Lemma . For all x∈R,the following statements hold: (i) xgL(R)≤ +

π

 ()

and

(ii) xgL(R)≤ +ln +π. ()

Proof Letg(x) be the Green function for the operator ( –

x). Then from

 – x+xg(x) =δ(x) =

n=–

einx

we get

g(x) =

n=–

  + n+ne

inx=  + 

n=

 + n+ncos(nx).

Hence,

gxx(x) = –

n= n

(5)

which results in

gxx(x)≤

n= n

 + n+ncos(nx)≤

n= n

 + n+n.

From Cauchy integral test we have

n= n

 + n+n≤nlim→∞

n

x

( +x)dx=

 +

π

.

It follows that

|gxx| ≤

n= n

 + n+n≤ +

π

.

Now, we prove (ii). From the Fourier series we have

h(x) =

n=

sin(nx)

n =

π

 – x

π

for  <x< π,

from which we get

h(x) –gxxx=

 ∞ n=nn

 + n+n

sin(nx)

≤ ∞ n=nn

 + n+n

=  ∞ n=

n( +n)+ n

( +n)

.

On the other hand,

n=

n( +n)+ n

( +n)

≤ lim n→∞ n   xx

 +x + x

( +x)

dx

=  ln +

 . Hence, we have

xgL∞≤ +ln +π.

Lemma . Let z= (u,ρ)∈Hs(S)×Hs–(S)with s>.Suppose that T is the maximal existence time of solution z= (u,ρ)of system()with the initial data z.Then,for all t

[,T),the following conservation law holds:

H=

S

u+ ux+uxx+ρdx=

S

(6)

Moreover,assume that m∈L.Then

uxxL∞(S)≤

 +π

mL+zH×L

t

ρxL

 

×exp

zH×L

t

 +ρxL

L(t) ()

and

uxxxL∞(S)≤( +ln +π)

mL+zH×L

t

ρxL

 

×exp

zH×L

t

 +ρxL

M(t). ()

Proof Multiplying the first equation of system () byuand integrating by parts, we get 

d dt

S

u+ ux+uxxdx+

Suρρxdx= . ()

Multiplying the second equation of system () byρand integrating by parts, we get 

d dt

Sρ

dx

Suρρxdx= , ()

which, together with (), yields 

d dt

S

u+ ux+uxx+ρdx= , ()

which implies ().

Next, we prove (). Multiplying the first equation of system () bymand integrating by parts, we have

 

d dt

Sm

dx= –

Summxdx– 

Suxm

dx

S

mρρxdx, ()

which results in

d dt

Sm

dx= –

Suxm

dx– 

Sm

ρρxdx. ()

By the Hölder inequality we get from () that

d dtm

L(S)≤uxLmL+ mLρLρxL∞ ≤uxLmL+

 +mL

ρLρxL∞ ≤ mL

uxL∞+ρLρxL

(7)

Applying Gronwall’s inequality, we obtain

mL≤

mL+

t

ρLρxL

exp

t

uxL∞+ρLρxL

,

which, together with (), yields

mL≤

mL+zH×L

t

ρxL

×exp

zH×L

t

 +ρxL

. ()

On the other hand, from Lemma . we deduce

uxxL∞=gxxmL∞≤ gxxLmL≤

 +π

mL. ()

It follows from () that

uxxL∞≤

 +π

mL+zH×L

t

ρxL

 

×exp

zH×L

t

 +ρxL

. ()

Similarly, we can obtain ().

This completes the proof of Lemma ..

4 Proof of main theorem

Proof of Theorem Using the maximal principle to the transport equation aboutρ,

ρt+uρx= –uxρ,

we have

ρ(t)L(S)ρL∞(S)+C

t

∂xu(τ)Lρ(τ)L.

Applying Gronwall’s inequality yields

ρ(t)L(S)ρL∞exp

C

t

∂xu(τ)L

.

Using the Sobolev embedding theoremHsL(s>

), we get from Lemma . that uxL∞(S)≤C

uH+ρL

. Therefore, we have

ρ(t)L(S)ρLeCt(uH+ρL)=ρLeCTzH×L. ()

(8)

Step. Fors∈(, ), applying Lemma . to the second equation, we have

ρHs–(S)ρHs–+C

t

uxρHs–

+C

t

ρHs–uL∞+xuL.

From Lemma . () we get

ρuxHs–(S)C

uxHs–ρL∞+ρHs–uxL

. ()

From () we obtain

ρHs–(S)ρHs–+C

t

uHsρL

+C

t

ρHs–

uL∞+∂xuL

. ()

On the other hand, using Lemma ., we get from the first equation of system () that

u(t)Hs(S)C t

∂xg

u+ux– u

xx– uxuxxx+

 ρ

Hs

+uHs+C t

u(t)Hs∂xu(τ)L.

From Lemma .(b) of [], we have

∂xg

u+ux– u

xx– uxuxxx+

 ρ

Hs

Cu+ux– u

xx– uxuxxx+

 ρ

Hs–

CuHs–uL∞+uxHs–uxL∞+uxxHs–uxxL

+uxxxHs–uxL∞+ρHs–ρL∞.

Hence, we get

u(t)Hs(S)uHs(S)+C t

ρ(τ)Hs–ρ(τ)L

+C

t

uHsuL∞+uxL∞+uxxL

, ()

which, together with (), ensures that

u(t)Hs(S)+ρ(t)Hs–(S)

uHs(S)+ρHs–(S)+C

t

uHs+ρ(t)

Hs–

×uL∞+uxL∞+uxxL∞+ρL

(9)

Using Gronwall’s inequality, we have

u(t)Hs(S)+ρ(t)Hs–(S)uHs(S)+ρHs–(S)

×exp

C

t

uL∞+uxL∞+uxxL∞+ρL

. ()

From () and Lemma . we get

u(t)Hs(S)+ρ(t)Hs–(S)uHs(S)+ρHs–(S)

×exp

C

t

L(t) +zH×L+ρLeCTzH×L

. ()

Therefore, if the maximal existence timeT<∞satisfiestρxL<∞, then we get

from () that

lim sup

tT

u(t)Hs(S)+ρ(t)Hs–(S)

<∞, ()

which completes the proof of Theorem  fors∈(, ).

Step. Fors∈[,), applying Lemma . to the second equation of system (), we get

ρHs–(S)ρHs–+C

t

uxρHs–

+C

t

ρHs–xu

L∞∩H.

Using () results in

ρHs–(S)ρHs–+C

t

uxHs–ρL+C

t

ρHs–∂xu

L∞∩H,

which, together with (), yields

u(t)Hs+ρ(t)Hs–

uHs+ρHs–+C

t

uHs+ρ(t)

Hs–

×(uL∞+u

H +ε+uxxL∞+ρL∞), ()

whereε∈(,), and we used the fact thatH+εL∞∩H.

Using Gronwall’s inequality, we have

u(t)Hs+ρ(t)Hs–

uHs+ρHs–

exp

C

t

uL∞+u

H +ε+uxxL∞+ρL

(10)

From () and Lemma . we get

u(t)Hs+ρ(t)Hs– ≤uHs+ρHs–

×exp

C

t

L(t) +zH×L+ρLeCTzH×L

. ()

Applying the argument as in step , we complete the proof of Theorem  fors∈[,).

Step. Fors∈(, ), differentiating once the second equation of system () with respect tox, we have

∂tρx+u∂xρx+ uxρx+uxxρ= . ()

Using Lemma ., we get

ρxHs–(S)ρxHs–+C

t

uHsρL

+C

t

ρHs–

uL∞+∂xuL

, ()

where we used the estimates

uxρxHs–≤C

uxHs–ρL∞+ρxHs–uxL

and

ρuxxHs–≤Hs–uxL∞+uxxHs–ρL∞,

where Lemma . () was used.

Using (), (), and () (wheres–  is replaced bys– ) yields

u(t)Hs+ρ(t)Hs–≤ uHs+ρHs–+C

t

uHs+ρ(t)

Hs–

×uL∞+uxL∞+uxxL∞+ρL

. ()

Applying Gronwall’s inequality, we have

u(t)Hs+ρ(t)Hs–

uHs+ρHs–

exp

C

t

uL∞+uxL∞+uxxL∞+ρL

. ()

From () and Lemma . we get

u(t)Hs+ρ(t)Hs– ≤uHs+ρHs–

×exp

C

t

L(t) +zH×L+ρLeCTzH×L

(11)

Using the argument as in step , we complete the proof of Theorem  fors∈(, ).

Step. Fors=kN,k≥, differentiatingk–  times the second equation of system () with respect tox, we obtain

(∂t+u∂x)∂xk–ρ+

l+l=k–,l,l≥

Cl,l l+

x u∂xl+ρ+ρ∂x

xk–u= . ()

Using Lemma ., we get from () that

xk–ρ

H≤∂xk–ρH+C

t

xk–ρ

H∂xuHL

+C

t

l+l=k–,l,l≥

Cl,l l+

x u∂xl+ρ+ρ∂xk–u

H

. ()

SinceHis an algebra, we have

ρ∂xk–uH≤CρHxk–u

H≤CρHuHs

and

l+l=k–,l,l≥

Cl,l l+ x u∂xl+ρ

H≤

Hs–uHs–.

It follows that

xk–ρH≤xk–ρH+C

t

uHs+ρHs–

×uHs–+ρH

. ()

From the Gagliardo-Nirenberg inequality we have that, forσ∈(, ),

ρHs–≤C

ρHσ+∂k–

x ρH

. ()

On the other hand, forσ∈(, ), rewrite () as

ρHσ(S)ρHσ+C

t

uHσ+ρL

+C

t

ρHσuL∞+xuL, ()

which, together with (), yields

ρHs–≤Hs–+C

t

uHs+ρHs–

×uHs–+ρH

, ()

(12)

Using Lemma . (), we get

u(t)Hs(S)uHs+C t

uHsuL∞+uxL∞+uxxL

+uxxxL

+C

t

ρ(τ)Hs–ρ(τ)L, ()

which, together with (), results in

u(t)Hs+ρ(t)Hs–

CuHs+ρHs–+C

t

uHs+ρ(t)

Hs–

×uHs–+ρH+uxxL∞+uxxxL

. ()

Using Gronwall’s inequality, we get

u(t)Hs+ρ(t)Hs– ≤CuHs+ρHs–

×exp

C

t

uHs–+ρH+uxxL∞+uxxxL

. ()

IfT <∞satisfiesTρxL <∞, applying step  and the induction assumption, we

obtain from Lemma . thatuHs–+ρH+uxxL∞+uxxxL∞is uniformly bounded.

From () we get

lim sup

tT

u(t)

Hs+ρ(t)Hs–

<∞,

which contradicts the assumption thatT <∞is the maximal existence time. This com-pletes the proof of Theorem  fors=kNandk≥.

Step. Fors∈(k,k+ ),kN, andk≥, differentiatingk–  times the second equation of system () with respect tox, we obtain

(∂t+u∂x)∂xk–ρ+

l+l=k–,l,l≥

Cl,l l+

x u∂xl+ρ+ρ∂x

xk–u= . ()

Using Lemma . withsk∈(, ), we get from () that

xk–ρ

Hsk∂xk–ρHsk+C t

xk–ρ

Hsk

uL∞+∂xuL

+C

t

l+l=k–,l,l≥

Cl,l l+

x u∂xl+ρ+ρ∂xku

Hsk

. ()

For eachε∈(,), using Lemma . () and the fact thatH+εL, we have

ρ∂xkuHskC

ρHsk+xk–u L∞+

k

xuHskρL

Hsk+u

Hk–  +ε+uHs–ρL

(13)

and

l+l=k–,l,l≥

Cl,l l+ x u∂xl+ρ

Hsk

C

l+l=k–,l,l≥

Cl,l l+

x uHsk+xlρL

+∂l+ x uL

l+ x ρHsk

CuHsρ

Hk–  +ε+uHk–  +ερHs–

. ()

Therefore, from (), (), and () we get

xk–ρHsk∂xk–ρHsk+C t

uHs+ρHs–

×u

Hk–  +ε+ρHk–  +ε

. ()

Applying Lemma . to the first equation of system () fors∈(k,k+ ) withk≥, we obtain

u(t)Hs(S)uHs+C t

ρ(τ)Hs–ρ(τ)L

+C

t

uHsuL∞+uxL∞+uxxL

, ()

which, together with () and () (wheres–  is replaced bysk), gives

u(t)Hs+ρ(t)Hs–

CuHs+ρHs–

+C

t

uHs+ρ(t)

Hs–

×u

Hk–  +ε+ρHk–  +ε

. ()

Using Gronwall’s inequality, we get

u(t)Hs+ρ(t)Hs–

CuHs+ρHs–

exp

C

t

u

Hk–  +ε+ρHk–  +ε

. ()

Noting that k–  +ε<k,k– +ε<k– , and k≥ and applying step , we obtain that u

Hk–  +ε+ρHk–  +ε is uniformly bounded. Therefore, we complete the proof of

Theorem  fors∈(k,k+ ),kN, andk≥.

So, the proof of Theorem  is completed.

Competing interests

(14)

Acknowledgements

The author thanks the referees for their valuable comments and suggestions. This work was supported by Sichuan Province University Key Laboratory of Bridge Non-destruction Detecting and Engineering Computing [grant number 2013QZJ02], [grant number 2014QYJ03], Scientific Research Foundation of the Education Department of Sichuan province Project [grant number 16ZA0265], SUSER [grant number 2014RC03].

Received: 6 October 2015 Accepted: 18 February 2016

References

1. Olver, P, Rosenau, P: Tri-Hamiltonian duality between solitons and solitary-wave solutions having compact support. Phys. Rev. E53, 1900-1906 (1996)

2. Constantin, A, Ivanov, R: On an integrable two-component Camassa-Holm shallow water system. Phys. Lett. A372, 7129-7132 (2008)

3. Chen, M, Liu, S, Zhang, Y: A 2-component generalization of the Camassa-Holm equation and its solutions. Lett. Math. Phys.75, 1-15 (2006)

4. Escher, J, Lechtenfeld, O, Yin, Z: Well-posedness and blow-up phenomena for the 2-component Camassa-Holm equation. Discrete Contin. Dyn. Syst.19, 493-513 (2007)

5. Hu, Q, Yin, Z: Well-posedness and blow-up phenomena for the two-component periodic Camassa-Holm equation. Proc. R. Soc. Edinb., Sect. A141(1), 93-107 (2011)

6. Gui, G, Liu, Y: On the global existence and wave-breaking criteria for the two-component Camassa-Holm system. J. Funct. Anal.258, 4251-4278 (2010)

7. Falqui, G: On the Camassa-Holm type equation with two dependent variable. J. Phys. A, Math. Gen.39, 327-342 (2006)

8. Guan, C, Yin, Z: Global weak solutions for a two-component Camassa-Holm shallow water system. J. Funct. Anal.260, 1132-1154 (2011)

9. Henry, D: Infinite propagation speed for a two-component Camassa-Holm equation. Discrete Contin. Dyn. Syst., Ser. B12, 597-606 (2009)

10. Holm, D, Nraigh, L, Tronci, C: Singular solutions of modified two-component Camassa-Holm equation. Phys. Rev. E79, 016601 (2009)

11. Ivanov, R: Two-component integrable systems modeling shallow water waves: the constant vorticity case. Wave Motion46, 389-396 (2009)

12. Kuzmin, P: On two-component generalizations of the Camassa-Holm equation. Mat. Zametki81, 149-152 (2007) (in Russian); translation in Math. Notes81, 130-134 (2007)

13. Popowicz, Z: A 2-component orN= 2 supersymmetric Camassa-Holm equation. Phys. Lett. A354, 110-114 (2006) 14. Yan, K, Yin, Z: Analytic solutions of the Cauchy problem for two-component Camassa-Holm shallow water systems.

Math. Z.269, 1113-1127 (2011)

15. Zhang, P, Liu, Y: Stability of solitary waves and wave-breaking phenomena for the two-component CH system. Int. Math. Res. Not.2010(11), 1981-2021 (2010)

16. Mclachlan, R, Zhang, X: Well-posedness of modified Camassa-Holm equations. J. Differ. Equ.246, 3241-3259 (2009) 17. Danchin, R: Fourier Analysis Methods for PDEs. Lecture Notes (2003)

18. Danchin, R: A few remarks on the Camassa-Holm equation. Differ. Integral Equ.14, 953-988 (2001)

References

Related documents