The Cauchy problem for the generalized Degasperis-Procesi equation

Fei Zuo; Changan Tian; Hongjun Wang

doi:10.1186/1687-2770-2013-235

Impact Factor 0.819

Research

Open Access

The Cauchy problem for the generalized Degasperis-Procesi equation

Fei Zuo¹Email author,
Changan Tian¹ and
Hongjun Wang¹

Boundary Value Problems20132013:235

https://doi.org/10.1186/1687-2770-2013-235

Received: 12 May 2013

Accepted: 29 August 2013

Published: 8 November 2013

Abstract

In this paper, we investigate the Cauchy problem for the generalized Degasperis-Procesi equation in a Besov space. Firstly, we prove that the generalized Degasperis-Procesi equation is locally well posed in $B_{p, r}^{s}$ with $s > 1 + \frac{1}{p}$ (or $s \geq 1 + \frac{1}{p}$ if $r = 1$ with $p \in [1, + \infty)$ ). Secondly, we prove that the generalized Degasperis-Procesi equation possesses the peaked solitary wave which is the weak solution to the generalized Degasperis-Procesi equation. Thirdly, we prove that the data-to-solution map for the generalized Degasperis-Procesi equation is not uniformly continuous in $B_{2, \infty}^{3 / 2}$ . Fourthly, we prove that the data-to-solution map for the generalized Degasperis-Procesi equation is not uniformly continuous in $H^{s} (R)$ with $s < 3 / 2$ . Finally, we give a blow-up criterion.

MSC:35G25, 35L05.

Keywords

Cauchy problem generalized Degasperis-Procesi equation weak solution blow-up criterion

1 Introduction

In this paper, we consider the Cauchy problem for the following generalized Degasperis-Procesi equation:

u_{t} - u_{t x x} + u^{k} u_{x} - {(u^{k} u_{x})}_{x x} + Q {[u^{k + 1}]}_{x} = 0,

(1.1)

u (x, 0) = u_{0} (x),

(1.2)

where

Q \in R

is a constant. When

k = 1

and

Q = \frac{3}{2}

, (1.1) reduces to the Degasperis-Procesi equation

u_{t} - u_{t x x} + 4 u u_{x} = 3 u_{x} u_{x x} + u u_{x x x} .

(1.3)

Equation (1.3) possesses the Lax pair and bi-Hamiltonian structures and infinite many conservation laws [1]. The Degasperis-Procesi equation [2] possesses peaked solitons which are stable [3] and shock peakons of the form $u (x, t) = - \frac{1}{t + k} sign (x) e^{- | x |}$ , $k > 0$ . The Degasperis-Procesi equation possesses the global weak solution and blow-up structure [4–6]. Constantin and Lannes studied the relevance between the Camassa-Holm equation and the Degasperis-Procesi equation [7]. The Degasperis-Procesi equation possesses the infinite propagation speed [8]. The Degasperis-Procesi equation possesses multi-peakon solutions [9] and multisoliton [10]. Himonas and his co-authors [11, 12] proved that the data-to-solution for the Camassa-Holm equation, the Degasperis-Procesi equation is not uniformly continuous in $H^{s} (R)$ with $s > 3 / 2$ , respectively. Himonas et al. proved the non-uniform continuity in $H^{1}$ of the solution map of the CH equation [13]. Recently, Gui and Liu [14] studied the Cauchy problem for the Degasperis-Procesi equation in Besov spaces. Yan et al. [15] studied the Cauchy problem for the Novikov equation in Besov spaces.

Let

P (D) = - \partial_{x} {(1 - \partial_{x}^{2})}^{- 1}

and

p (x) = \frac{1}{2} e^{- | x |}

,

x \in R

. By using the identity

{(1 - \partial_{x}^{2})}^{- 1} f = p * f

for

f \in L^{2}

, we can rewrite (1.1)-(1.2) as follows:

u_{t} + u^{k} u_{x} = Q P (D) [u^{k + 1}],

(1.4)

u (x, 0) = u_{0} (x) .

(1.5)

In this paper, motivated by [14], we study the Cauchy problem for (1.4) in Besov spaces. Firstly, we use the standard iterative method to prove that the generalized Degasperis-Procesi equation is locally well posed in $B_{p, r}^{s}$ with $s > 1 + \frac{1}{p}$ (or $s \geq 1 + \frac{1}{p}$ if $r = 1$ with $p \in [1, + \infty)$ ). Secondly, we prove that the generalized Degasperis-Procesi equation possesses the peaked solitary wave which is the weak solution to the generalized Degasperis-Procesi equation. Thirdly, we prove that the data-to-solution map for the generalized Degasperis-Procesi equation is not uniformly continuous in $B_{2, \infty}^{3 / 2}$ . Fourthly, we prove that the data-to-solution map for the generalized Degasperis-Procesi equation is not uniformly continuous in $H^{s} (R)$ with $s < 3 / 2$ . Finally, we give a blow-up criterion.

Notice that the structure of (1.4) is more complicated than that of the Degasperis-Procesi equation. Thus, to prove that the sequence of smooth solutions

{(u^{(n)})}_{n \in N}

is uniformly bounded in

C ([0, T]; B_{p, r}^{s}) \cap C^{1} ([0, T]; B_{p, r}^{s - 1})

with

s > 1 + \frac{1}{p}

(or

s \geq 1 + \frac{1}{p}

if

r = 1

with

p \in [1, + \infty)

), we choose that

{∥ u^{(n)} ∥}_{B_{p, r}^{s}} \leq \frac{{∥ u_{0} ∥}_{B_{p, r}^{s}}}{{(1 - 2 k C {∥ u_{0} ∥}_{B_{p, r}^{s}}^{k} t)}^{1 / k}}, t \in [0, T] .

(1.6)

In proving Theorem 1.5, we explain why we choose (1.6). It is worthy of pointing out that we use Fatou’s lemma and the upper limit as well as Gronwall’s inequality to prove that ${(u^{(n)})}_{n \in N}$ is a Cauchy sequence in $C ([0, T]; B_{p, r}^{s - 1})$ with $s > 1 + \frac{1}{p}$ (or $s \geq 1 + \frac{1}{p}$ if $r = 1$ with $p \in [1, + \infty)$ ).

To introduce the main results, we define

E_{p, r}^{s} (T) = C ([0, T]; B_{p, r}^{s}) \cap C^{1} ([0, T]; B_{p, r}^{s - 1}) .

The main results of this paper are as follows.

Theorem 1.1 Let

u_{0} (x) \in B_{p, r}^{s}

with

s > 1 + \frac{1}{p}

(or

s \geq 1 + \frac{1}{p}

if

r = 1

with

p \in [1, + \infty)

). Problem (1.4)-(1.5) is locally well posed. Moreover,

{∥ u (t) ∥}_{B_{p, r}^{s}} \leq \frac{{∥ u_{0} ∥}_{B_{p, r}^{s}}}{{(1 - 2 k C {∥ u_{0} ∥}_{B_{p, r}^{s}}^{k} t)}^{1 / k}}, t \in [0, T] .

(1.7)

A function

u : [0, T) \times R

is called a weak solution to (1.1) (or (1.4)) if u belongs to

L_{loc}^{\infty} ([0, T); H^{1})

and satisfies the following identity:

\begin{aligned} \int_{0}^{T} \int_{R} [u ϕ_{t} + \frac{1}{k + 1} u^{k + 1} ϕ_{x} + p * [\frac{k^{2} + 2 k}{k + 1} u^{k + 1}] ϕ_{x}] d x d t \\ + \int_{R} u (x, 0) ϕ (x, 0) d x = 0, \end{aligned}

(1.8)

where $p (x) = \frac{1}{2} e^{- | x |}$ , for any smooth test function $ϕ (x, t) \in C_{c}^{\infty} ([0, T) \times R)$ . If u is a weak solution on $[0, T)$ for every $T > 0$ , then it is called a global weak solution.

Theorem 1.2 When $Q = \frac{k (k + 2)}{k + 1}$ in (1.4), $u_{c} (x, t) = c^{1 / k} e^{- | x - c t |}$ with $c > 0$ is a weak solution of (1.4) in the sense of (1.8).

Theorem 1.3 When

Q = \frac{k (k + 2)}{k + 1}

in (1.4), the data-to-solution map for the generalized Degasperis-Procesi equation is not uniformly continuous in

B_{2, \infty}^{3 / 2}

. More precisely, there exists a global solution

u \in L^{\infty} (R^{+}; B_{2, \infty}^{3 / 2})

to the Cauchy problem for (1.4) such that for any

T > 0

and

ϵ > 0

, there exists a solution

v \in L^{\infty} (0, T; B_{2, \infty}^{3 / 2})

with

{∥ v (0) - u (0) ∥}_{B_{2, \infty}^{3 / 2}} \leq ϵ, {∥ v (t) - u (t) ∥}_{L^{\infty} (0, T; B_{2, \infty}^{3 / 2})} \geq 1 .

Theorem 1.4 When $Q = \frac{k (k + 2)}{k + 1}$ in (1.4), the data-to-solution map for the generalized Degasperis-Procesi equation is not uniformly continuous in $H^{s} (R)$ with $s < 3 / 2$ .

Theorem 1.5 Assume that

T^{⋆}

is the maximal time of existence of the solution to problem (1.4)-(1.5). If

T^{⋆} < \infty

, then

\int_{0}^{T^{⋆}} {∥ u_{x} ∥}_{L^{\infty}}^{k} d τ = + \infty .

(1.9)

Moreover, $T^{⋆} \geq \frac{1}{C k {∥ u_{0} ∥}_{B_{p, r}^{s}}^{k}}$ .

The remainder of this paper is organized as follows. In Section 2, we give some preliminaries. In Section 3, we prove Theorem 1.1. In Section 4, we prove Theorem 1.2. In Section 5, we prove Theorem 1.3. In Section 6, we prove Theorem 1.4. In Section 7, we prove Theorem 1.5.

2 Preliminaries

In this section, we give Lemmas 2.1-2.4. The proof of Lemmas 2.1-2.4 can be seen in [16–21].

Lemma 2.1 (Littlewood-Paley decomposition)

Let

B = {ξ \in R^{n}, | ξ | \leq \frac{4}{3}}

and

C = {ξ \in R^{n}, \frac{3}{4} \leq | ξ | \leq \frac{8}{3}}

. There exists a couple of smooth radial functions

(χ, ϕ) \in (C_{c}^{\infty} (B), C_{c}^{\infty} (C))

such that

\forall ξ \in R^{n}, χ (ξ) + \sum_{q \in N} ϕ (2^{- q} ξ) = 1

and

\begin{matrix} Supp ϕ (2^{- q} \cdot) \cap Supp ϕ (2^{- q^{'}} \cdot) = \emptyset if | q - q^{'} | \geq 2, \\ Supp χ (\cdot) \cap Supp ϕ (2^{- q} \cdot) = \emptyset if | q | \geq 1 \end{matrix}

and

\frac{1}{3} \leq χ {(ξ)}^{2} + \sum_{q \geq 0} ϕ {(2^{- q} ξ)}^{2} \leq 1, \forall ξ \in R^{n} .

(2.1)

Then, for

u \in S^{'} (R)

, the nonhomogeneous dyadic blocks are defined as follows:

\begin{matrix} Δ_{q} u = 0 if q \leq - 2, \\ Δ_{- 1} u = χ (D) u = F_{x}^{- 1} χ F_{x} u, \\ Δ_{q} u = ϕ (2^{- q} D) = F_{x}^{- 1} ϕ (2^{- q} ξ) F_{x} u if q \geq 0 . \end{matrix}

Thus we obtain

u = \sum_{q \in Z} Δ_{q} u in S^{'} (R),

and the low frequency cut-off

S_{q}

is defined by

S_{q} u = \sum_{p = - 1}^{q - 1} Δ_{p} u = χ (2^{- q} D) u = F_{x}^{- 1} χ (2^{- q} ξ) F_{x} u, \forall q \in N,

as well as

\begin{matrix} Δ_{p} Δ_{q} u \equiv 0 if | p - q | \geq 2, \\ Δ_{q} (S_{p - 1} u Δ_{p} v) \equiv 0 if | p - q | \geq 5, \forall u, v \in S^{'} (R), \\ {∥ Δ_{p} u ∥}_{L^{p}} \leq C {∥ u ∥}_{L^{p}}, \\ {∥ S_{q} u ∥}_{L^{p}} \leq C {∥ u ∥}_{L^{p}}, \forall 1 \leq p \leq + \infty, \end{matrix}

where C is a positive constant independent of q.

Definition (Besov spaces)

Let

s \in R

and

1 \leq p \leq + \infty

. The nonhomogeneous Besov space

B_{p, r}^{s} (R^{n})

is defined by

\begin{matrix} B_{p, r}^{s} (R^{n}) \\ = {f \in S^{'} (R^{n}) : {∥ f ∥}_{B_{p, r}^{s}} = {∥ 2^{q s} Δ_{q} f ∥}_{l^{r} (L^{p})} = {∥ {(2^{q s} {∥ Δ_{q} f ∥}_{L^{p}})}_{q \geq - 1} ∥}_{l^{r}} < \infty} . \end{matrix}

In particular, if $s = \infty$ , then $B_{p, r}^{s} = ⋂_{s \in R} B_{p, r}^{s}$ .

Lemma 2.2 Let

s \in R

,

1 \leq p, r, p_{j}, r_{j} \leq \infty

,

j = 1, 2

, then:

(1)

$B_{p, r}^{s}$ is a Banach space and is continuously embedded in $S^{'} (R^{n})$ .
(2)

$B_{p_{1}, r_{1}}^{s_{1}} ↪ B_{p_{2}, r_{2}}^{s_{2}}$ , if $p_{1} \leq p_{2}$ and $r_{1} \leq r_{2}$ and $s_{2} = s_{1} - n (\frac{1}{p_{1}} - \frac{1}{p_{2}})$
$B_{p, r_{2}}^{s_{1}} ↪ B_{p, r_{1}}^{s_{2}} locally compact if s_{2} < s_{1} .$
(3)

$\forall s > 0$ , $B_{p, r}^{s} \cap L^{\infty}$ is a Banach algebra. $B_{p, r}^{s}$ is a Banach algebra iff $B_{p, r}^{s} ↪ L^{\infty}$ and iff $s > \frac{1}{p}$ or ( $s \geq \frac{1}{p}$ and $r = 1$ ). (4)
(i)

For $s > 0$ ,
${∥ f g ∥}_{B_{p, r}^{s}} \leq C ({∥ f ∥}_{B_{p, r}^{s}} {∥ g ∥}_{L^{\infty}} + {∥ f ∥}_{L^{\infty}} {∥ g ∥}_{B_{p, r}^{s}}), \forall f, g \in B_{p, r}^{s} \cap L^{\infty} .$
(ii)

$\forall s_{1} \leq \frac{1}{p} < s_{2}$ ( $s_{2} \geq \frac{1}{p}$ if $r = 1$ ) and $s_{1} + s_{2} > 0$ ,
${∥ f g ∥}_{B_{p, r}^{s_{1}}} \leq C {∥ f ∥}_{B_{p, r}^{s_{1}}} {∥ g ∥}_{B_{p, r}^{s_{2}}}, \forall f \in B_{p, r}^{s_{1}}, g \in B_{p, r}^{s_{2}} .$
(5)

$\forall θ \in [0, 1]$ and $s = θ s_{1} + (1 - θ) s_{2}$ ,
${∥ f ∥}_{B_{p, r}^{s}} \leq C {∥ f ∥}_{B_{p, r}^{s_{1}}}^{θ} {∥ f ∥}_{B_{p, r}^{s_{2}}}^{1 - θ}, \forall f \in B_{p, r}^{s_{1}} \cap B_{p, r}^{s_{2}} .$
(6)

If ${(u_{n})}_{n \in N}$ is bounded in $B_{p, r}^{s}$ and $u_{n} \to u$ in $S^{'} (R^{n})$ , then $u \in B_{p, r}^{s}$ and
${∥ u ∥}_{B_{p, r}^{s}} \leq \underset{n \to \infty}{lim inf} {∥ u_{n} ∥}_{B_{p, r}^{s}} .$
(7)

Let $m \in R$ and Ψ be an $S^{m}$ -multiplier. Then the operator $Ψ (D)$ is continuous from $B_{p, r}^{s}$ into $B_{p, r}^{s - m}$ . In particular, $- \partial_{x} {(1 - \partial_{x}^{2})}^{- 1}$ is continuous from $B_{p, r}^{s}$ into $B_{p, r}^{s - 1}$ .

Lemma 2.3 (A priori estimates in Besov spaces)

Let

1 \leq p, r \leq \infty

and

s > - min {\frac{1}{p}, 1 - \frac{1}{p}}

. Assume that

f_{0} \in B_{p, r}^{s}

,

F \in L^{1} (0, T; B_{p, r}^{s})

and that

\partial_{x} v

belongs to

L^{1} (0, T; B_{p, r}^{s - 1})

if

s > 1 + \frac{1}{p}

or to

L^{1} (0, T; B_{p, r}^{1 / p} \cap L^{\infty})

otherwise. If

f \in L^{\infty} (0, T; B_{p, r}^{s}) \cap C ([0, T]; S^{'} (R))

solves the following 1-D linear transport equation:

f_{t} + v f_{x} = F,

(2.2)

f (x, 0) = f_{0},

(2.3)

then there exists a constant C depending only on s, p, r such that the following statements hold:

(1)

If $r = 1$ or $s \neq 1 + \frac{1}{p}$ , then
${∥ f ∥}_{B_{p, r}^{s}} \leq {∥ f_{0} ∥}_{B_{p, r}^{s}} + \int_{0}^{t} {∥ F (τ) ∥}_{B_{p, r}^{s}} d τ + C \int_{0}^{t} V^{'} (τ) {∥ f (τ) ∥}_{B_{p, r}^{s}} d τ$

or

{∥ f ∥}_{B_{p, r}^{s}} \leq e^{C V (t)} ({∥ f_{0} ∥}_{B_{p, r}^{s}} + \int_{0}^{t} e^{- C V (τ)} {∥ F (τ) ∥}_{B_{p, r}^{s}} d τ)

(2.4)

with

V (t) = \int_{0}^{t} {∥ v_{x} (τ) ∥}_{B_{p, r}^{1 / p} \cap L^{\infty}} d τ

if

s < 1 + \frac{1}{p}

and

V (t) = \int_{0}^{t} {∥ v_{x} (τ) ∥}_{B_{p, r}^{s - 1}} d τ

else.

(2)

If $s \leq 1 + \frac{1}{p}$ , $f_{0}^{'} \in L^{\infty}$ and $f_{x} \in L^{\infty} ((0, T) \times R)$ and $F_{x} \in L^{1} (0, T; L^{\infty})$ , then
$\begin{matrix} {∥ f (t) ∥}_{B_{p, r}^{s}} + {∥ f_{x} (t) ∥}_{L^{\infty}} \\ \leq e^{C V (t)} ({∥ f_{0} ∥}_{B_{p, r}^{s}} + {∥ f_{0}^{'} ∥}_{L^{\infty}} + \int_{0}^{t} e^{- C V (τ)} [{∥ F (τ) ∥}_{B_{p, r}^{s}} + {∥ F_{x} (τ) ∥}_{L^{\infty}}] d τ) \end{matrix}$

with

V (t) = \int_{0}^{t} {∥ \partial_{x} v (τ) ∥}_{B_{p, r}^{1 / p} \cap L^{\infty}} d τ .

(3)

If $f = v$ , then for all $s > 0$ , (1) holds true when $V (t) = \int_{0}^{t} {∥ v_{x} (τ) ∥}_{L^{\infty}} d τ$ .
(4)

If $r < \infty$ , then $f \in C ([0, T]; B_{p, r}^{s})$ . If $r = \infty$ , then $f \in C ([0, T]; B_{p, 1}^{s^{'}})$ for all $s^{'} < s$ .

Lemma 2.4 (Existence and uniqueness)

Let p, r, s, $f_{0}$ and F be as in the statement of Lemma 2.3. Assume that $v \in L^{ρ} (0, T; B_{\infty, \infty}^{- M})$ for some $ρ > 1$ and $M > 0$ and $v_{x} \in L^{1} (0, T; B_{p, r}^{s - 1})$ if $s > 1 + \frac{1}{p}$ or $s = 1 + \frac{1}{p}$ and $r = 1$ and $v_{x} \in L^{1} (0, T; B_{p, \infty}^{1 / p} \cap L^{\infty})$ if $s < 1 + \frac{1}{p}$ . Then problem (2.1)-(2.2) has a unique solution $f \in L^{\infty} (0, T; B_{p, r}^{s}) \cap (⋂_{s^{'} < s} C ([0, T]; B_{p, 1}^{s^{'}}))$ and the inequalities of Lemma 2.3 can hold true. Moreover, if $r < \infty$ , then $f \in C ([0, T]; B_{p, r}^{s})$ .

3 Proof of Theorem 1.1

In this section, we complete the proof of Theorem 1.1 and suppose that $s > 1 + \frac{1}{p}$ (or $s \geq 1 + \frac{1}{p}$ if $r = 1$ with $p \in [1, + \infty)$ ).

First step: approximate solution

By using the standard iterative process, we construct a sequence of smooth solutions

{(u^{(n)})}_{n \in N} \in C (R^{+}; B_{p, r}^{\infty})

. Assume that

u^{(0)} : = 0

, by induction we define a sequence of smooth functions

{(u^{(n)})}_{n \in N}

by solving the following linear transport equation:

u_{t}^{(n + 1)} + {[u^{(n)}]}^{k} u_{x}^{(n + 1)} = Q P (D) [{(u^{(n)})}^{k + 1}],

(3.1)

u^{(n + 1)} (x, 0) = u_{0}^{(n + 1)} (x) = S_{n + 1} u_{0} (x) .

(3.2)

By using the fact that $S_{n + 1} u_{0}$ belong to $B_{p, r}^{\infty}$ , from Lemma 2.4, for all $n \in N$ , we can show by induction that problem (3.1)-(3.2) has a global solution ${(u^{(n)})}_{n \in N} \in C (R^{+}, B_{p, r}^{\infty})$ .

Second step: uniform bounds

For

s > 1 + \frac{1}{p}

(or

s \geq 1 + \frac{1}{p}

if

r = 1

with

p \in [1, + \infty)

) and

n \in N

, we prove that

\begin{aligned} {∥ u^{(n + 1)} ∥}_{B_{p, r}^{s}} \\ \leq e^{C U^{n} (t)} ({∥ u_{0} ∥}_{B_{p, r}^{s}} + C \int_{0}^{t} e^{- C U^{n} (τ)} {∥ u^{(n)} ∥}_{B_{p, r}^{s}}^{k + 1} d τ), \end{aligned}

(3.3)

with $U^{n} = \int_{0}^{t} {∥ u^{(n)} ∥}_{B_{p, r}^{s}}^{k} d τ$ .

From (2.3) of Lemma 2.3 and (3.1), we derive that

\begin{aligned} {∥ u^{(n + 1)} (t) ∥}_{B_{p, r}^{s}} \leq & e^{C \int_{0}^{t} {∥ u_{x}^{(n)} (t^{'}) ∥}_{B_{p, r}^{s - 1}} d t^{'}} {∥ u_{0} ∥}_{B_{p, r}^{s}} \\ + C \int_{0}^{t} e^{C \int_{τ}^{t} {∥ u_{x}^{(n)} (t^{'}) ∥}_{B_{p, r}^{s - 1}} d t^{'}} {∥ F (u^{(n)}) ∥}_{B_{p, r}^{s}} d τ, \end{aligned}

(3.4)

where

F (u^{(n)}) = P (D) [{(u^{(n)})}^{k + 1}] .

(3.5)

By using the

S^{- 1}

multiplier property of

P (D)

and the fact

B_{p, r}^{s}

with

s > 1 + \frac{1}{p}

(or

s \geq 1 + \frac{1}{p}

if

r = 1

with

p \in [1, + \infty)

) is a Banach algebra, we have

\begin{array}{rcl} {∥ F (u^{(n)}) ∥}_{B_{p, r}^{s - 1}} & \leq & C {∥ P (D) [{(u^{(n)})}^{k + 1}] (t^{'}) ∥}_{B_{p, r}^{s}} \\ \leq & C {∥ {(u^{(n)})}^{k + 1} (t^{'}) ∥}_{B_{p, r}^{s - 1}} \leq C {∥ u^{(n)} (t^{'}) ∥}_{B_{p, r}^{s}}^{k + 1} . \end{array}

(3.6)

Inserting (3.6) into (3.4) yields (3.3).

Let us fix

T > 0

such that

T \leq \frac{1}{4 k C {∥ u_{0} ∥}_{B_{p, r}^{s}}^{k}},

(3.7)

and suppose that

{∥ u^{(n)} (t) ∥}_{B_{p, r}^{s}} \leq \frac{{∥ u_{0} ∥}_{B_{p, r}^{s}}}{{(1 - 2 k C {∥ u_{0} ∥}_{B_{p, r}^{s}}^{k} t)}^{1 / k}}, t \in [0, T] .

(3.8)

Since

U^{n} (t) = \int_{0}^{t} {∥ u^{(n)} ∥}_{B_{p, r}^{s}}^{k} d τ

, by using (3.8), we have

\begin{aligned} e^{C (U^{n} (t) - U^{n} (τ))} & = e^{C \int_{τ}^{t} {∥ u^{(n)} (t^{'}) ∥}_{B_{p, r}^{s}}^{k} d t^{'}} \leq e^{- \frac{1}{2 k} \int_{τ}^{t} \frac{d (1 - 2 k C {∥ u_{0} ∥}_{B_{p, r}^{s}}^{k} t^{'})}{(1 - 2 k C {∥ u_{0} ∥}_{B_{p, r}^{s}}^{k} t^{'})}} \\ = {(\frac{1 - 2 k C {∥ u_{0} ∥}_{B_{p, r}^{s}}^{k} τ}{1 - 2 k C {∥ u_{0} ∥}_{B_{p, r}^{s}}^{k} t})}^{\frac{1}{2 k}} . \end{aligned}

(3.9)

When

τ = 0

in (3.9), we have

e^{C U^{n} (t)} \leq {(\frac{1}{1 - 2 k C {∥ u_{0} ∥}_{B_{p, r}^{s}}^{k} t})}^{\frac{1}{2 k}} .

(3.10)

Inserting (3.9), (3.10) into (3.3) yields

\begin{aligned} {∥ u^{(n + 1)} (t) ∥}_{B_{p, r}^{s}} & \leq \frac{{∥ u_{0} ∥}_{B_{p, r}^{s}}}{{(1 - 2 k C {∥ u_{0} ∥}_{B_{p, r}^{s}}^{k} t)}^{1 / 2 k}} [1 - \frac{1}{2 k} \int_{0}^{t} \frac{d (1 - 2 k C {∥ u_{0} ∥}_{B_{p, r}^{s}}^{k} t)}{{(1 - 2 k C {∥ u_{0} ∥}_{B_{p, r}^{s}}^{k} t)}^{1 + \frac{1}{2 k}}}] \\ \leq \frac{{∥ u_{0} ∥}_{B_{p, r}^{s}}}{{(1 - 2 k C {∥ u_{0} ∥}_{B_{p, r}^{s}}^{k} t)}^{1 / k}} . \end{aligned}

(3.11)

Thus,

{(u^{(n)})}_{n \in N}

is uniformly bounded in

C ([0, T]; B_{p, r}^{s})

. By using (3.9) and the fact that

B_{p, r}^{s}

is a Banach algebra and (3.5) and using the

S^{- 1}

-multiplier property of

P (D)

, we have that

{∥ {[u^{(n)}]}^{k} u_{x}^{(n + 1)} ∥}_{B_{p, r}^{s}} \leq C {∥ u^{(n)} ∥}_{B_{p, r}^{s}}^{k} {∥ u^{(n + 1)} ∥}_{B_{p, r}^{s}} \leq \frac{C {∥ u_{0} ∥}_{B_{p, r}^{s}}^{k + 1}}{{(1 - 2 C {∥ u_{0} ∥}_{B_{p, r}^{s}}^{k} t)}^{\frac{k + 1}{k}}}

(3.12)

and

\begin{array}{rcl} {∥ P (D) [{(u^{(n)})}^{k + 1}] ∥}_{B_{p, r}^{s - 1}} & \leq & C {∥ {(u^{(n)})}^{k + 1} ∥}_{B_{p, r}^{s - 1}} \leq C {∥ u^{(n)} ∥}_{B_{p, r}^{s}}^{k + 1} \\ \leq & \frac{C {∥ u_{0} ∥}_{B_{p, r}^{s}}^{k + 1}}{{(1 - 2 k C {∥ u_{0} ∥}_{B_{p, r}^{s}} t)}^{\frac{k + 1}{k}}} . \end{array}

(3.13)

Consequently,

{(u^{(n)})}_{n} \subset C ([0, T]; B_{p, r}^{s}) \cap C^{1} ([0, T]; B_{p, r}^{s - 1}) .

(3.14)

Remark Inserting (3.7) into (3.8) yields

{∥ u^{(n)} ∥}_{B_{p, r}^{s}} \leq 4 {∥ u_{0} ∥}_{B_{p, r}^{s}}

(3.15)

for

n \in N

. From (3.11) and (3.7),

\forall n \in N^{+}

, we have that

e^{C U^{n}} \leq exp [\int_{0}^{t} \frac{C {∥ u_{0} ∥}_{B_{p, r}^{s}}^{k}}{1 - 2 k C {∥ u_{0} ∥}_{B_{p, r}^{s}}^{k} t} d τ] \leq 4

(3.16)

and

{∥ u (t) ∥}_{B_{p, r}^{s}} \leq \frac{{∥ u_{0} ∥}_{B_{p, r}^{s}}}{{(1 - 2 k C {∥ u_{0} ∥}_{B_{p, r}^{s}}^{k} t)}^{1 / k}}

(3.17)

with the aid of Fatou’s lemma. We define

L = 4 ({∥ u_{0} ∥}_{B_{p, r}^{s}} + 1) .

(3.18)

Thus,

{∥ u^{(n)} ∥}_{B_{p, r}^{s}} + 1 \leq L

(3.19)

for $n \in N^{+}$ .

Third step: convergence

We prove that

{(u^{(n)})}_{n \in N}

is a Cauchy sequence in

C ([0, T]; B_{p, r}^{s - 1})

. For

(m, n) \in N^{2}

, we have

\begin{aligned} [\partial_{t} + {(u^{(n + m)})}^{k} \partial_{x}] (u^{(n + 1 + m)} - u^{(n + 1)}) \\ = ({(u^{(n)})}^{k} - {(u^{(n + m)})}^{k}) \partial_{x} u^{(n + 1)} \\ + Q P (D) [(u^{(n + m)} - u^{(n)}) \sum_{j = 0}^{k} {(u^{(n + m)})}^{k - j} {(u^{(n)})}^{j}] . \end{aligned}

(3.20)

Combining (2.3) with (3.20), we have that

\begin{aligned} {∥ [u^{(n + 1 + m)} - u^{(n + 1)}] (t) ∥}_{B_{p, r}^{s - 1}} \\ \leq e^{U^{n} (t)} ({∥ u_{0}^{(n + 1 + m)} - u_{0}^{(n + 1)} ∥}_{B_{p, r}^{s - 1}}) \\ + \int_{0}^{t} e^{U^{n} (t) - U^{n} (τ)} {∥ F (u^{(n)}, u^{(n + m)}, \partial_{x} u^{(n + 1)}) ∥}_{B_{p, r}^{s - 1}} d τ, \end{aligned}

(3.21)

where

\begin{matrix} U^{n} (t) = \int_{0}^{t} {∥ {(u^{(n + m)})}^{k} ∥}_{B_{p, r}^{s}} d τ, \\ F (u^{(n)}, u^{(n + m)}, \partial_{x} u^{(n + 1)}) \\ = ({(u^{(n)})}^{k} - {(u^{(n + m)})}^{k}) \partial_{x} u^{(n + 1)} + Q P (D) [(u^{(n + m)} - u^{(n)}) \sum_{j = 0}^{k} {(u^{(n + m)})}^{k - j} {(u^{(n)})}^{j}] . \end{matrix}

By using (3) and (7) of Lemma 2.2, we have that

\begin{aligned} {∥ F (u^{(n)}, u^{(n + m)}, \partial_{x} u^{(n + 1)}) ∥}_{B_{p, r}^{s - 1}} \\ \leq C {∥ {(u^{(n)})}^{k} - {(u^{(n + m)})}^{k} ∥}_{B_{p, r}^{s - 1}} {∥ \partial_{x} u^{(n + 1)} ∥}_{B_{p, r}^{s - 1}} \\ + C {∥ P (D) [(u^{(n + m)} - u^{(n)}) \sum_{j = 0}^{k} {(u^{(n + m)})}^{k - j} {(u^{(n)})}^{j}] ∥}_{B_{p, r}^{s - 1}} \\ \leq C {∥ u^{(n)} - u^{(n + m)} ∥}_{B_{p, r}^{s - 1}} {[{∥ u^{(n)} ∥}_{B_{p, r}^{s}} + {∥ u^{(n + 1)} ∥}_{B_{p, r}^{s}} + {∥ u^{(n + m)} ∥}_{B_{p, r}^{s}} + 1]}^{k} \\ \leq C L^{k} {∥ u^{(n)} - u^{(n + m)} ∥}_{B_{p, r}^{s - 1}} . \end{aligned}

(3.22)

Inserting (3.22) into (3.21) yields

\begin{aligned} {∥ [u^{(n + 1 + m)} - u^{(n + 1)}] (t) ∥}_{B_{p, r}^{s - 1}} \\ \leq e^{U^{n} (t)} ({∥ u_{0}^{(n + 1 + m)} - u_{0}^{(n + 1)} ∥}_{B_{p, r}^{s - 1}}) + C L^{k} \int_{0}^{t} e^{U^{n} (t) - U^{n} (τ)} {∥ u^{(n)} - u^{(n + m)} ∥}_{B_{p, r}^{s - 1}} d τ . \end{aligned}

(3.23)

From (3.2) and Lemma 2.1, we can easily obtain that

{∥ u_{0}^{(n + 1 + m)} - u_{0}^{(n + 1)} ∥}_{B_{p, r}^{s - 1}} \leq C 2^{- n} .

(3.24)

Obviously,

e^{U^{n} (t)} \leq 4, e^{U^{n} (t) - U^{n} (τ)} \leq 4 .

(3.25)

Inserting (3.24) and (3.25) into (3.23) leads to

\begin{aligned} {∥ (u^{(n + 1 + m)} - u^{(n + 1)}) (t) ∥}_{B_{p, r}^{s - 1}} \\ \leq C 2^{- n} + C L^{k} \int_{0}^{t} {∥ (u^{(n)} - u^{(n + m)}) (τ) ∥}_{B_{p, r}^{s - 1}} d τ . \end{aligned}

(3.26)

We define

A_{(n, m)} (t) = {∥ (u^{(n + m)} - u^{(n)}) ∥}_{B_{p, r}^{s - 1}} .

(3.27)

Inserting (3.27) into (3.26) leads to

A_{(n + 1, m)} (t) \leq C 2^{- n} + C L^{k} \int_{0}^{t} A_{(n, m)} (τ) d τ .

(3.28)

We define

ρ_{n} (t) = sup_{m \in N^{+}} A_{(n, m)} (t) = sup_{m \in N^{+}} {∥ (u^{(n + m)} - u^{(n)}) (t) ∥}_{B_{p, r}^{s}}

(3.29)

and

\tilde{ρ} (t) = \underset{n \to + \infty}{lim sup} ρ_{n} (t) .

(3.30)

Combining (3.30) with (3.29), (3.28), by using Fatou’s lemma, we have that

\tilde{ρ} (t) = \underset{n \to + \infty}{lim sup} ρ_{n + 1} (t) \leq C^{k} \int_{0}^{t} \tilde{ρ} (τ) d τ .

(3.31)

Applying Gronwall’s inequality to (3.31) yields

\tilde{ρ} (t) \leq e^{t C^{k}} \tilde{ρ} (0)

(3.32)

for

t \in [0, T]

. According to the definition of

\tilde{ρ} (t)

, we can easily obtain that

\tilde{ρ} (0) = 0 .

(3.33)

Combining (3.32) with (3.33), we have that

\tilde{ρ} (t) = 0 .

(3.34)

Hence, ${(u^{n})}_{n}$ is a Cauchy sequence in $C ([0, T]; B_{p, r}^{s - 1})$ .

Fourth step: existence in $E_{p, r}^{s} (T)$

Now we prove that $u \in E_{p, r}^{s} (T)$ and satisfies (1.4)-(1.5) since ${(u^{n})}_{n \in N}$ is uniformly bounded in $L^{\infty} (0, T; B_{p, r}^{s})$ . From (6) in Lemma 2.2, we have that $u \in L^{\infty} (0, T; B_{p, r}^{s})$ . From (1.4), we can easily prove that $u_{t} \in L^{\infty} (0, T; B_{p, r}^{s - 1})$ . It is easily checked that u is indeed a solution to (1.4)-(1.5) by passing to the limit in (3.1)-(3.2).

Now we prove that

u \in E_{p, r}^{s} (T)

. Since

u \in B_{p, r}^{s}

,

\forall ϵ > 0

, there exists

q_{0} \in N^{+}

such that

\sum_{q \geq q_{0}} 2^{q s r} {∥ Δ_{q} u ∥}_{L^{\infty} (0, T; L^{p})}^{r} \leq \frac{ϵ}{4} .

(3.35)

From the definition of Besov spaces, we have that

\begin{aligned} {∥ u (t + δ) - u (t) ∥}_{B_{p, r}^{s}}^{r} \\ = \sum_{q < q_{0}} 2^{q s r} {∥ Δ_{q} u (t) - Δ_{q} u (t + δ) ∥}_{L^{p}}^{r} + \sum_{q \geq q_{0}} 2^{q s r} {∥ Δ_{q} u - Δ_{q} u (t + δ) ∥}_{L^{p}}^{r} \\ \leq \sum_{q < q_{0}} 2^{q s r} {∥ Δ_{q} u (t) - Δ_{q} u (t + δ) ∥}_{L^{p}}^{r} + 2 \sum_{q \geq q_{0}} 2^{q s r} {∥ Δ_{q} u (t) ∥}_{L^{\infty} (0, T; L^{p})}^{r} \\ \leq \sum_{q < q_{0}} 2^{q s r} {∥ Δ_{q} u (t) - Δ_{q} u (t + δ) ∥}_{L^{p}}^{r} + \frac{ϵ}{2} . \end{aligned}

(3.36)

By using the mean value theorem, we have that

{∥ Δ_{q} u (t) - Δ_{q} u (t + δ) ∥}_{L^{p}} = {∥ Δ_{q} u_{t} (t + θ δ) ∥}_{L^{p}} | δ | \leq {∥ Δ_{q} u_{t} (t) ∥}_{L^{\infty} (0, T; L^{p})} | δ |,

(3.37)

where

0 < θ < 1

. Inserting (3.37) into (3.36) yields

\begin{aligned} {∥ u (t + δ) - u (t) ∥}_{B_{p, r}^{s}}^{r} \\ = \sum_{q < q_{0}} 2^{q s r} {∥ Δ_{q} u (t) - Δ_{q} u (t + δ) ∥}_{L^{p}}^{r} + \sum_{q \geq q_{0}} 2^{q s r} {∥ Δ_{q} u (t) - Δ_{q} u (t + δ) ∥}_{L^{p}}^{r} \\ \leq | δ | \sum_{q < q_{0}} {∥ Δ_{q} u_{t} (t) ∥}_{L^{\infty} (0, T; L^{p})}^{r} + \frac{ϵ}{2} \\ \leq | δ | {∥ u_{t} ∥}_{L^{\infty} (0, T; B_{p, r}^{s - 1})}^{r} + \frac{ϵ}{2} . \end{aligned}

(3.38)

We may choose δ sufficiently small such that

| δ | {∥ u_{t} ∥}_{L^{\infty} (0, T; B_{p, r}^{s - 1})}^{r} \leq \frac{ϵ}{2} .

(3.39)

Inserting (3.39) into (3.38) leads to

{∥ u (t + δ) - u (t) ∥}_{B_{p, r}^{s}} \leq ϵ^{1 / r} .

(3.40)

Thus, we derive that

u \in C ([0, T]; B_{p, r}^{s}) .

(3.41)

Combining (3.41) with (1.4), we can easily obtain

u_{t} \in C ([0, T]; B_{p, r}^{s - 1}) .

(3.42)

From (3.41) and (3.42), we have that $u \in E_{p, r}^{s} (T)$ .

Fifth step: uniqueness of solution

The uniqueness of the solution to the Cauchy problem for (1.4) can be proved similarly to Proposition 3.1 of [14].

Sixth step: continuity in $E_{p, r}^{s} (T)$ with $s > 1 + \frac{1}{p}$ (or $s \geq 1 + \frac{1}{p}$ if $r = 1$ with $p \in [1, + \infty)$ )

The continuity of the solution to the Cauchy problem for (1.4) can be proved similarly to the continuity of the solution to the Degasperis-Procesi equation which can be seen in [14].

4 Proof of Theorem 1.2

From (6.5) and (6.7) of [22], we have that

\partial_{x} u_{c} (x, t) = - sign (x - c t) u_{c} (x, t), \partial_{t} u_{c} (x, t) = c sign (x - c t) u_{c} (x, t),

(4.1)

where

u_{c} (x, t) = c^{1 / k} e^{- | x - c t |}

. By using integration by parts and (4.1), we have that

\begin{aligned} \int_{0}^{+ \infty} \int_{R} (u_{c} \partial_{t} ϕ + \frac{1}{k + 1} u^{k + 1} \partial_{x} ϕ) d x d t + \int_{R} u_{c} (x, 0) ϕ (x, 0) d x \\ = - \int_{0}^{+ \infty} \int_{R} ϕ [\partial_{t} u_{c} + u_{c}^{k} \partial_{x} u_{c}] d x d t \\ = - \int_{0}^{+ \infty} \int_{R} ϕ sign (x - c t) [c u_{c} - u_{c}^{k + 1}] d x d t . \end{aligned}

(4.2)

Since

u_{c} (x, t) = c^{1 / k} e^{- | x - c t |}

, we have that when

x > c t

,

sign (x - c t) [c u_{c} - u_{c}^{k + 1}] = c^{1 + \frac{1}{k}} [e^{c t - x} - e^{(k + 1) (c t - x)}]

(4.3)

and when

x \leq c t

,

sign (x - c t) [c u_{c} - u_{c}^{k + 1}] = c^{1 + \frac{1}{k}} [e^{(x - c t)} - e^{(k + 1) (x - c t)}] .

(4.4)

By using

{(1 - \partial_{x}^{2})}^{- 1} f = p * f

and (4.1), we have that

\begin{aligned} \int_{0}^{+ \infty} \int_{R} ϕ \partial_{x} {(1 - \partial_{x}^{2})}^{- 1} [\frac{k^{2} + 2 k}{k + 1} u_{c}^{k + 1}] d x d t \\ = \int_{0}^{+ \infty} \int_{R} ϕ \partial_{x} p * [\frac{k^{2} + 2 k}{k + 1} u_{c}^{k + 1}] d x d t \\ = - \frac{k^{2} + 2 k}{2 (k + 1)} c^{1 + \frac{1}{k}} \int_{0}^{+ \infty} \int_{R_{x}} \int_{R_{y}} ϕ sign (x - y) e^{- | x - y |} e^{- (k + 1) | y - c t |} d y d x d t . \end{aligned}

(4.5)

Now, we compute

\begin{aligned} - \frac{k^{2} + 2 k}{2 (k + 1)} c^{1 + \frac{1}{k}} \int_{R_{y}} sign (x - y) e^{- | x - y |} e^{- (k + 1) | y - c t |} d y \\ : = I_{1} + I_{2} + I_{3} . \end{aligned}

(4.6)

When

x > c t

, we have that

\begin{aligned} I_{1} & = - \frac{k^{2} + 2 k}{2 (k + 1)} c^{1 + \frac{1}{k}} \int_{- \infty}^{c t} e^{- (x - y)} e^{(k + 1) (y - c t)} d y \\ = - \frac{k^{2} + 2 k}{2 (k + 1)} c^{1 + \frac{1}{k}} e^{- (x + (k + 1) c t)} \int_{- \infty}^{c t} e^{(k + 2) y} d y \\ = - \frac{k}{2 (k + 1)} c^{1 + \frac{1}{k}} e^{c t - x} \end{aligned}

(4.7)

and

\begin{array}{rcl} I_{2} & = & - \frac{k^{2} + 2 k}{2 (k + 1)} c^{1 + \frac{1}{k}} \int_{c t}^{x} e^{- (x - y)} e^{- (k + 1) (y - c t)} d y \\ = & - \frac{k^{2} + 2 k}{2 (k + 1)} c^{1 + \frac{1}{k}} e^{- (x - (k + 1) c t)} \int_{c t}^{x} e^{- \frac{k (k + 2)}{k + 1} y} d y \\ = & - \frac{k + 2}{2 (k + 1)} c^{1 + \frac{1}{k}} [e^{c t - x} - e^{(k + 1) (c t - x)}] \end{array}

(4.8)

and

\begin{array}{rcl} I_{3} & = & \frac{k^{2} + 2 k}{2 (k + 1)} c^{1 + \frac{1}{k}} \int_{x}^{\infty} e^{(x - y)} e^{- (k + 1) (y - c t)} d y \\ = & \frac{k^{2} + 2 k}{2 (k + 1)} c^{1 + \frac{1}{k}} e^{(x + (k + 1) c t)} \int_{x}^{\infty} e^{- (k + 2) y} d y \\ = & \frac{k}{2 (k + 1)} c^{1 + \frac{1}{k}} e^{(k + 1) (c t - x)} . \end{array}

(4.9)

Thus, when

x > c t

, from (4.7)-(4.9), we have that

\begin{aligned} I_{1} + I_{2} + I_{3} \\ = - \frac{k}{2 (k + 1)} c^{1 + \frac{1}{k}} e^{c t - x} - \frac{k + 2}{2 (k + 1)} c^{1 + \frac{1}{k}} [e^{c t - x} - e^{(k + 1) (c t - x)}] \\ + \frac{k}{2 (k + 1)} c^{1 + \frac{1}{k}} e^{(k + 1) (c t - x)} \\ = - c^{1 + \frac{1}{k}} [e^{(k + 1) (c t - x)} - e^{c t - x}] . \end{aligned}

(4.10)

Similarly, when

x < c t

, we can obtain

I_{1} + I_{2} + I_{3} = c^{1 + \frac{1}{k}} [e^{(k + 1) (x - c t)} - e^{x - c t}] .

(4.11)

From (4.3), (4.4) and (4.10) as well as (4.11), we have that

\begin{aligned} \int_{0}^{+ \infty} \int_{R} [u_{c} ϕ_{t} + \frac{1}{k + 1} u_{c}^{k + 1} ϕ_{x} + p * [\frac{k^{2} + 2 k}{k + 1} u_{c}^{k + 1}] ϕ_{x}] d x d t \\ + \int_{R} u_{c} (x, 0) ϕ (x, 0) d x = 0 . \end{aligned}

(4.12)

Thus, $u_{c} = c^{1 / k} e^{- | x - c t |}$ is the solution in the sense of (4.12). For $c > 0$ , let $u_{c} (x, t) = c^{1 / k} e^{- | x - c t |}$ . Thus $u_{c} (x, t)$ is the solitary wave for (1.1) (or (1.4)).

5 Proof of Theorem 1.3

Since when $Q = \frac{k (k + 2)}{k + 1}$ in (1.4), (1.4) possesses the peaked solitary wave $c^{1 / k} e^{| x - c t |}$ , Theorem 1.3 can be proved similarly to Proposition 4 of [19].

6 Proof of Theorem 1.4

Since when $Q = \frac{k (k + 2)}{k + 1}$ in (1.4), (1.4) possesses the peaked solitary wave $c^{1 / k} e^{| x - c t |}$ , Theorem 1.4 can be proved similarly to Theorem 3 of [23].

7 Proof of Theorem 1.5

In this section, we always assume that $s > 1 + \frac{1}{p}$ (or $s \geq 1 + \frac{1}{p}$ if $r = 1$ with $p \in [1, + \infty)$ ).

Proof of Theorem 1.5 Applying

Δ_{q}

to (1.4) yields

(\partial_{t} + u^{k} \partial_{x}) Δ_{q} u = [u^{k}, Δ_{q}] \partial_{x} u + Q P (D) Δ_{q} [\frac{k^{2} + 2 k}{k + 1} u^{k + 1}] .

(7.1)

From (2.54) of page 112 in [24], since

s > 1 + \frac{1}{p}

(or

s \geq 1 + \frac{1}{p}

if

r = 1

with

p \in [1, + \infty)

), we have that

{∥ 2^{s q} {∥ [u^{k}, Δ_{q}] \partial_{x} u ∥}_{L^{p}} ∥}_{ℓ^{r}} \leq C {∥ u_{x} ∥}_{L^{\infty}}^{k} {∥ u ∥}_{B_{p, r}^{s}} \leq C {∥ u ∥}_{B_{p, r}^{s}}^{k + 1} .

(7.2)

By using (4) of Lemma 2.2 and

P (D)

is an

S^{- 1}

-multiplier, since

s > 1 + \frac{1}{p}

(or

s \geq 1 + \frac{1}{p}

if

r = 1

with

p \in [1, + \infty)

), we have that

{∥ P (D) [\frac{k^{2} + 2 k}{k + 1} u^{k + 1}] ∥}_{B_{p, r}^{s}} \leq C {∥ u_{x} ∥}_{L^{\infty}}^{k} {∥ u ∥}_{B_{p, r}^{s}} \leq C {∥ u ∥}_{B_{p, r}^{s}}^{k + 1} .

(7.3)

Going along the lines of the proof of Proposition A.1 of [18], from (7.2) and (7.3), we have that

{∥ u ∥}_{B_{p, r}^{s}} \leq {∥ u_{0} ∥}_{B_{p, r}^{s}} + C \int_{0}^{t} {∥ u_{x} ∥}_{L^{\infty}}^{k} {∥ u ∥}_{B_{p, r}^{s}} d τ

(7.4)

\leq {∥ u_{0} ∥}_{B_{p, r}^{s}} + C \int_{0}^{t} {∥ u ∥}_{B_{p, r}^{s}}^{k + 1} d τ .

(7.5)

Solving (7.4) yields

{∥ u ∥}_{B_{p, r}^{s}} \leq e^{c \int_{0}^{t} {∥ u_{x} ∥}_{L^{\infty}}^{k} d τ} {∥ u_{0} ∥}_{B_{p, r}^{s}} .

(7.6)

Solving (7.5) yields

{∥ u ∥}_{B_{p, r}^{s}} \leq \frac{{∥ u_{0} ∥}_{B_{p, r}^{s}}}{{(1 - C k t {∥ u_{0} ∥}_{B_{p, r}^{s}}^{k})}^{1 / k}} .

(7.7)

Assume that

T^{⋆}

is the maximal time of existence of the solution to problem (1.4)-(1.5). If

T^{⋆} < \infty

, we claim that

\int_{0}^{T^{⋆}} {∥ u_{x} ∥}_{L^{\infty}}^{k} d τ = + \infty .

(7.8)

We prove the claim (7.8) by contradiction. If (7.8) is untrue, then from (7.8), we have that

{∥ u (T^{⋆}) ∥}_{B_{p, r}^{s}} < \infty,

(7.9)

which contradicts the fact that $T^{⋆}$ is the maximal time of existence of the solution to problem (1.4)-(1.5). Consequently, (7.8) is true. From (7.7), we know that $T^{⋆} \geq \frac{1}{C k {∥ u_{0} ∥}_{B_{p, r}^{s}}^{k}}$ . Moreover, (7.7) ensures the validity of (3.8).

The proof of Theorem 1.5 is completed. □

Declarations

Acknowledgements

We wish to thank the referee for a careful reading and valuable comments on the original draft. The first author is supported by NNSFC under grant No. 11226185. The third author is supported by Foundation and Frontier of Henan Province under grant Nos. 122300410414, 132300410432.

Authors’ Affiliations

(1)

College of Mathematics and Information Science, Henan Normal University

References

Degasperis A, Holm D, Hone A: A new integrable equation with peakon solutions. Theor. Math. Phys. 2002, 133: 1463-1474. 10.1023/A:1021186408422MathSciNetView ArticleGoogle Scholar
Lundmark H: Formation and dynamics of shock waves in the Degasperis-Procesi equation. J. Nonlinear Sci. 2007, 17: 169-198. 10.1007/s00332-006-0803-3MathSciNetView ArticleMATHGoogle Scholar
Lin Z, Liu Y: Stability of peakons for the Degasperis-Procesi equation. Commun. Pure Appl. Math. 2009, LXII: 125-146.MathSciNetMATHGoogle Scholar
Escher J, Liu Y, Yin Z: Global weak solutions and blow-up structure for the Degasperis-Procesi equation. J. Funct. Anal. 2006, 241: 457-485. 10.1016/j.jfa.2006.03.022MathSciNetView ArticleMATHGoogle Scholar
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-5MathSciNetView ArticleMATHGoogle Scholar
Liu Y, Yin Z: On the blow-up phenomena for the Degasperis-Procesi equation. Int. Math. Res. Not. 2007., 2007: Article ID rnm117Google Scholar
Constantin A, Lannes D: The hydrodynamical relevance of the Camassa-Holm and Degasperis-Procesi equations. Arch. Ration. Mech. Anal. 2007, 192: 165-186.MathSciNetView ArticleMATHGoogle Scholar
Henry D: Infinite propagation speed for the Degasperis-Procesi equation. J. Math. Anal. Appl. 2005, 311: 755-759. 10.1016/j.jmaa.2005.03.001MathSciNetView ArticleMATHGoogle Scholar
Lundmark H, Szmigielski J: Multi-peakon solutions of the Degasperis-Procesi equation. Inverse Probl. 2003, 19: 1241-1245. 10.1088/0266-5611/19/6/001MathSciNetView ArticleMATHGoogle Scholar
Matsuno Y: Multisoliton solutions of the Degasperis-Procesi equation and their peakon limit. Inverse Probl. 2005, 21: 1553-1570. 10.1088/0266-5611/21/5/004MathSciNetView ArticleMATHGoogle Scholar
Himonas A, Kenig CE: Non-uniform dependence on initial data for the CH equation on the line. Differ. Integral Equ. 2009, 22: 201-224.MathSciNetMATHGoogle Scholar
Himonas A, Holliman C: On the well-posedness of the Degasperis-Procesi equation. Discrete Contin. Dyn. Syst. 2011, 31: 469-488.MathSciNetView ArticleMATHGoogle Scholar
Himonas A, Misiolek G, Ponce G:Non-uniform continuity in $H^{1}$ of the solution map of the CH equation. Asian J. Math. 2007, 11: 141-150. 10.4310/AJM.2007.v11.n1.a13MathSciNetView ArticleMATHGoogle Scholar
Gui G, Liu Y: On the Cauchy problem for the Degasperis-Procesi equation. Q. Appl. Math. 2011, LXlX: 445-464.MathSciNetView ArticleMATHGoogle Scholar
Yan W, Li Y, Zhang Y: The Cauchy problem for the integrable Novikov equation. J. Differ. Equ. 2012, 253: 298-318. 10.1016/j.jde.2012.03.015MathSciNetView ArticleMATHGoogle Scholar
Chemin J Oxford Lectures Series in Mathematics and Its Applications 14. In Perfect Incompressible Fluids. Oxford University Press, New York; 1998.Google Scholar
Chemin J: Localization in Fourier space and Navier-Stokes. CRM Series. In Phase Space Analysis of Partial Differential Equations. Scuola Norm. Sup., Pisa; 2004:53-136.Google Scholar
Danchin R: A few remarks on the Camassa-Holm equation. Differ. Integral Equ. 2001, 14: 953-988.MathSciNetMATHGoogle Scholar
Danchin R: A note on well-posedness for Camassa-Holm equation. J. Differ. Equ. 2003, 192: 429-444. 10.1016/S0022-0396(03)00096-2MathSciNetView ArticleMATHGoogle Scholar
Danchin, R: Fourier analysis method for PDEs. Lecture notes, 14 November (2005)Google Scholar
Vishik M: Hydrodynamics in Besov spaces. Arch. Ration. Mech. Anal. 1998, 145: 197-214. 10.1007/s002050050128MathSciNetView ArticleMATHGoogle Scholar
Gui G, Liu Y, Olver P, Qu C: Wave-breaking and peakon for a modified Camassa-Holm equation. Commun. Math. Phys. 2013, 319: 731-759. 10.1007/s00220-012-1566-0MathSciNetView ArticleMATHGoogle Scholar
Himonas A, Misiolek G: The Cauchy problem for an integrable shallow-water equation. Differ. Integral Equ. 2001, 14: 831-921.MathSciNetMATHGoogle Scholar
Bahouri H, Chemin J, Danchin R: Fourier Analysis and Nonlinear Partial Differential Equations. Springer, Berlin; 2011.View ArticleMATHGoogle Scholar

Copyright

This article is published under license to BioMed Central Ltd. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

The Cauchy problem for the generalized Degasperis-Procesi equation

Abstract

Keywords

1 Introduction

2 Preliminaries

3 Proof of Theorem 1.1

First step: approximate solution

Second step: uniform bounds

Third step: convergence

Fourth step: existence in E p , r s ( T )

Fifth step: uniqueness of solution

Sixth step: continuity in E p , r s ( T ) with s > 1 + 1 p (or s ≥ 1 + 1 p if r = 1 with p ∈ [ 1 , + ∞ ) )

4 Proof of Theorem 1.2

5 Proof of Theorem 1.3

6 Proof of Theorem 1.4

7 Proof of Theorem 1.5

Declarations

Acknowledgements

Authors’ Affiliations

References

Copyright

Fourth step: existence in $E_{p, r}^{s} (T)$

Sixth step: continuity in $E_{p, r}^{s} (T)$ with $s > 1 + \frac{1}{p}$ (or $s \geq 1 + \frac{1}{p}$ if $r = 1$ with $p \in [1, + \infty)$ )