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+ (uρ)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 [–].
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+ (uρ)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=
–∂xu. ()
Equation () was first derived as the Euler-Poincaré differential equation on the Bott-Virasoro group with respect to theHmetric [], 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 theoremH→L∞, 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+ncos(nx), then ( –
system () in the form
⎧ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎨ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎩
ut+uux+∂xg∗[u+ux–u
xx– uxuxxx+ρ], t> ,x∈R,
ρt+ (uρ)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)dτ=∞.
3 Preliminaries
In order to prove Theorem , we first give some lemmas.
Lemma .([, ]) (-D Moser-type estimates) The following estimates hold:
(i) Fors≥,
fgHs≤CfHsgL∞+fL∞gHs. ()
(ii) Fors> ,
f∂xgHs≤CfHs+gL∞+fL∞∂xgHs. ()
(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 that∇v belongs to L([,T];Hs–)if s> +d or to L([,T];Hd ∩L∞)otherwise.Suppose also that f∈Hs,
F∈L([,T];Hs),and that f ∈L∞([,T];Hs)∩C([,T];S)solves the d-dimensional linear transport equation
ft+v· ∇f=F, f|t==f.
()
Then f ∈C([,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
fHs≤ fHs+C t
F(τ)Hsdτ+C t
or
fHs≤eCV(t)
fHs+ t
e–CV(t)F(τ)Hsdτ
()
with V(t) =t∇v(τ)
Hd∩L∞dτ 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∞dτ.
Lemma .([]) Let <σ< .Suppose that f∈Hσ,g∈L([,T];Hσ),ν,∂xν∈L([,T]; L∞),and f ∈L∞([,T];Hσ)∩C([,T];S)solves the-dimensional linear transport equa-tion
ft+ν∂xf =g, f|t==f.
()
Then f ∈C([,T];Hσ).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)
fHσ+
t
Cg(τ)Hσdτ
()
with V(t) =t(ν(τ)L∞+∂xν(τ)L∞)dτ.
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+ncos(nx).
Hence,
gxx(x) = –
∞
n= n
which results in
gxx(x)≤
∞
n= n
+ n+ncos(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= n– n
+ n+n
sin(nx)
≤ ∞ n= n– n
+ n+n
= ∞ n=
n( +n)+ n
( +n)
.
On the other hand,
∞
n=
n( +n)+ n
( +n)
≤ lim n→∞ n x– x
+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
Moreover,assume that m∈L.Then
uxxL∞(S)≤
+π
mL+zH×L
t
ρxL∞dτ
×exp
zH×L
t
+ρxL∞
dτ
L(t) ()
and
uxxxL∞(S)≤( +ln +π)
mL+zH×L
t
ρxL∞dτ
×exp
zH×L
t
+ρxL∞
dτ
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)≤uxL∞mL+ mLρLρxL∞ ≤uxL∞mL+
+mL
ρLρxL∞ ≤ mL
uxL∞+ρLρxL∞
Applying Gronwall’s inequality, we obtain
mL≤
mL+
t
ρLρxL∞dτ
exp
t
uxL∞+ρLρxL∞
dτ
,
which, together with (), yields
mL≤
mL+zH×L
t
ρxL∞dτ
×exp
zH×L
t
+ρxL∞
dτ
. ()
On the other hand, from Lemma . we deduce
uxxL∞=gxx∗mL∞≤ gxxL∞mL≤
+π
mL. ()
It follows from () that
uxxL∞≤
+π
mL+zH×L
t
ρxL∞dτ
×exp
zH×L
t
+ρxL∞
dτ
. ()
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∞dτ.
Applying Gronwall’s inequality yields
ρ(t)L∞(S)≤ ρL∞exp
C
t
∂xu(τ)L∞dτ
.
Using the Sobolev embedding theoremHs→L∞(s>
), we get from Lemma . that uxL∞(S)≤C
uH+ρL
. Therefore, we have
ρ(t)L∞(S)≤ ρL∞eCt(uH+ρL)=ρL∞eCTzH×L. ()
Step. Fors∈(, ), applying Lemma . to the second equation, we have
ρHs–(S)≤ ρHs–+C
t
uxρHs–dτ
+C
t
ρHs–uL∞+∂xuL∞dτ.
From Lemma . () we get
ρuxHs–(S)≤C
uxHs–ρL∞+ρHs–uxL∞
. ()
From () we obtain
ρHs–(S)≤ ρHs–+C
t
uHsρL∞dτ
+C
t
ρHs–
uL∞+∂xuL∞
dτ. ()
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
dτ
+uHs+C t
u(t)Hs∂xu(τ)L∞dτ.
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∞dτ
+C
t
uHsuL∞+uxL∞+uxxL∞
dτ, ()
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∞
Using Gronwall’s inequality, we have
u(t)Hs(S)+ρ(t)Hs–(S) ≤uHs(S)+ρHs–(S)
×exp
C
t
uL∞+uxL∞+uxxL∞+ρL∞
dτ
. ()
From () and Lemma . we get
u(t)Hs(S)+ρ(t)Hs–(S) ≤uHs(S)+ρHs–(S)
×exp
C
t
L(t) +zH×L+ρL∞eCTzH×L
dτ
. ()
Therefore, if the maximal existence timeT<∞satisfiestρxL∞dτ<∞, then we get
from () that
lim sup
t→T
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–dτ
+C
t
ρHs–∂xu
L∞∩Hdτ.
Using () results in
ρHs–(S)≤ ρHs–+C
t
uxHs–ρL∞dτ+C
t
ρHs–∂xu
L∞∩Hdτ,
which, together with (), yields
u(t)Hs+ρ(t)Hs–
≤ uHs+ρHs–+C
t
uHs+ρ(t)
Hs–
×(uL∞+u
H +ε+uxxL∞+ρL∞)dτ, ()
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∞
dτ
From () and Lemma . we get
u(t)Hs+ρ(t)Hs– ≤uHs+ρHs–
×exp
C
t
L(t) +zH×L+ρL∞eCTzH×L
dτ
. ()
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∞dτ
+C
t
ρHs–
uL∞+∂xuL∞
dτ, ()
where we used the estimates
uxρxHs–≤C
uxHs–ρL∞+ρxHs–uxL∞
and
ρuxxHs–≤Cρ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∞
dτ. ()
Applying Gronwall’s inequality, we have
u(t)Hs+ρ(t)Hs–
≤uHs+ρHs–
exp
C
t
uL∞+uxL∞+uxxL∞+ρL∞
dτ
. ()
From () and Lemma . we get
u(t)Hs+ρ(t)Hs– ≤uHs+ρHs–
×exp
C
t
L(t) +zH×L+ρL∞eCTzH×L
dτ
Using the argument as in step , we complete the proof of Theorem fors∈(, ).
Step. Fors=k∈N,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∞dτ
+C
t
l+l=k–,l,l≥
Cl,l∂ l+
x u∂xl+ρ+ρ∂xk–u
H
dτ. ()
SinceHis an algebra, we have
ρ∂xk–uH≤CρH∂xk–u
H≤CρHuHs
and
l+l=k–,l,l≥
Cl,l∂ l+ x u∂xl+ρ
H≤
CρHs–uHs–.
It follows that
∂xk–ρH≤∂xk–ρH+C
t
uHs+ρHs–
×uHs–+ρH
dτ. ()
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∞dτ
+C
t
ρHσuL∞+∂xuL∞dτ, ()
which, together with (), yields
ρHs–≤CρHs–+C
t
uHs+ρHs–
×uHs–+ρH
dτ, ()
Using Lemma . (), we get
u(t)Hs(S)≤ uHs+C t
uHsuL∞+uxL∞+uxxL∞
+uxxxL∞
dτ+C
t
ρ(τ)Hs–ρ(τ)L∞dτ, ()
which, together with (), results in
u(t)Hs+ρ(t)Hs–
≤CuHs+ρHs–+C
t
uHs+ρ(t)
Hs–
×uHs–+ρH+uxxL∞+uxxxL∞
dτ. ()
Using Gronwall’s inequality, we get
u(t)Hs+ρ(t)Hs– ≤CuHs+ρHs–
×exp
C
t
uHs–+ρH+uxxL∞+uxxxL∞
dτ
. ()
IfT <∞satisfiesTρxL∞dτ <∞, applying step and the induction assumption, we
obtain from Lemma . thatuHs–+ρH+uxxL∞+uxxxL∞is uniformly bounded.
From () we get
lim sup
t→T
u(t)
Hs+ρ(t)Hs–
<∞,
which contradicts the assumption thatT <∞is the maximal existence time. This com-pletes the proof of Theorem fors=k∈Nandk≥.
Step. Fors∈(k,k+ ),k∈N, 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 . withs–k∈(, ), we get from () that
∂xk–ρ
Hs–k≤∂xk–ρHs–k+C t
∂xk–ρ
Hs–k
uL∞+∂xuL∞
dτ
+C
t
l+l=k–,l,l≥
Cl,l∂ l+
x u∂xl+ρ+ρ∂xku
Hs–k
dτ. ()
For eachε∈(,), using Lemma . () and the fact thatH+ε→L∞, we have
ρ∂xkuHs–k≤C
ρHs–k+∂xk–u L∞+∂
k
xuHs–kρL∞
≤CρHs–k+u
Hk– +ε+uHs–ρL∞
and
l+l=k–,l,l≥
Cl,l∂ l+ x u∂xl+ρ
Hs–k
≤C
l+l=k–,l,l≥
Cl,l∂ l+
x uHs–k+∂xlρL∞
+∂l+ x uL∞∂
l+ x ρHs–k
≤CuHsρ
Hk– +ε+uHk– +ερHs–
. ()
Therefore, from (), (), and () we get
∂xk–ρHs–k ≤∂xk–ρHs–k+C t
uHs+ρHs–
×u
Hk– +ε+ρHk– +ε
dτ. ()
Applying Lemma . to the first equation of system () fors∈(k,k+ ) withk≥, we obtain
u(t)Hs(S)≤ uHs+C t
ρ(τ)Hs–ρ(τ)L∞dτ
+C
t
uHsuL∞+uxL∞+uxxL∞
dτ, ()
which, together with () and () (wheres– is replaced bys–k), gives
u(t)Hs+ρ(t)Hs–
≤CuHs+ρHs–
+C
t
uHs+ρ(t)
Hs–
×u
Hk– +ε+ρHk– +ε
dτ. ()
Using Gronwall’s inequality, we get
u(t)Hs+ρ(t)Hs–
≤CuHs+ρHs–
exp
C
t
u
Hk– +ε+ρHk– +ε
dτ
. ()
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+ ),k∈N, andk≥.
So, the proof of Theorem is completed.
Competing interests
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)