Skip to main content


The local well-posedness and stability to a nonlinear generalized Degasperis-Procesi equation

Article metrics

  • 915 Accesses


A nonlinear generalized Degasperis-Procesi equation is investigated. The local well-posedness of a strong solution for the equation in the Sobolev space \(H^{s}(R)\) with \(s>\frac{3}{2}\) is established. The \(L^{1}(R)\) stability is obtained under certain assumptions on the initial data.


Degasperis and Procesi [1] investigated a family of third order dispersive nonlinear equations

$$ u_{t}+\alpha_{0}u_{x}+\gamma u_{xxx}- \beta^{2}u_{txx}=\bigl(\alpha _{1}u^{2}+ \alpha_{2}u_{x}^{2}+\alpha_{3}uu_{xx} \bigr)_{x}, $$

where constants \(\alpha_{i}\) (\(i=0,1,2,3\)), β and \(\gamma\in R\).

Applying the method of asymptotic integrability to Eq. (1), it is found in [1] that only three equations satisfy asymptotic integrability conditions: the KdV equation, the Camassa-Holm (CH) equation and one new equation of the form

$$ u_{t}+u_{x}+6uu_{x}+u_{xxx}- \beta^{2}\biggl(u_{txx}+\frac {9}{2}u_{x}u_{xx}+ \frac{3}{2}uu_{xxx}\biggr)=0, $$

which can be transformed to the dispersionless form

$$ u_{t}-u_{txx}+4uu_{x}=3u_{x}u_{xx}+uu_{xxx}, \quad t>0, x\in R. $$

Equation (3) is called Degasperis-Procesi (DP) equation which represents a model for shallow water dynamics, and its asymptotic accuracy is similar to the CH equation.

Here, we set the coefficients of Eq. (1) \(\gamma=-\alpha_{0}\beta^{2}\), \(\alpha_{2}=\alpha_{3}\) and \(\beta>0\). The objective of this work is to study the following nonlinear equation:

$$ u_{t}+\alpha_{0}u_{x}-\beta^{2}( \alpha_{0}u_{xxx}+u_{txx})=2\alpha _{1}uu_{x}+3\alpha_{2}u_{x}u_{xx}+ \alpha_{2}uu_{xxx}. $$

Obviously, DP equation (3) is the special case of Eq. (4).

Degasperis et al. [2] proved the formal integrability of Eq. (3), derived the infinite sequence of conserved quantities with a bi-Hamiltonian structure and obtained the existence of the non-smooth solutions by constructing a Lax pair. Lenells [3] classified all weak traveling wave solutions of Eq. (3), while Coclite and Karlsen [4] established the well-posedness of periodic weak solutions for Eq. (3) and studied their long-time asymptotic behavior. It was shown in [5] that several numerical schemes were constructed and proved that they converged to weak solutions of Eq. (3). Escher et al. [6] discussed several qualitative properties of the DP equation. The existence and uniqueness of global weak solutions for Eq. (3) have been established provided that the initial data satisfy appropriate conditions in [6].

In fact, the KdV equation modeling weakly nonlinear unidirectional long waves and the CH equation modeling the unidirectional shallow water waves have been extensively investigated (see [711]). For other approaches to study related partial differential equations, the reader is referred to [1220] and the references therein.

In this paper, assuming that the initial value \(u(0,x)\) of Eq. (4) belongs to \(H^{s}(R)\) (\(s>\frac{3}{2}\)), we will prove the existence and uniqueness of the local solution for Eq. (4) in the space \(C ([0,\infty); H^{s}(R) )\cap C^{1} ([0,\infty);H^{s-1}(R) )\) by using the Kato theorem (see [20]) and use the approaches presented in Kruzkov [19] to establish the \(L^{1}(R)\) local stability of the solution for this nonlinear equation (4). From our knowledge, Eq. (4) has not been discussed in the literature.

In the following, we will give the conservation law in some case for Eq. (4) in Section 2. The proof of existence for the local strong solution and its stability to Eq. (4) are given in Section 3 and Section 4, respectively. For simplicity, we let c denote any positive constants.


Applying the operator \(\Lambda^{-2}=(1-\beta^{2}\partial _{x}^{2})^{-1}\) to Eq. (4), we have

$$ u_{t}+(\alpha_{0}+b_{1}u)u_{x}+b_{2} \Lambda^{-2}\partial_{x}u^{2}=0, $$

where \(b_{1}=\frac{\alpha_{2}}{\beta^{2}}\), \(b_{2}=-(\alpha_{1}+\frac {\alpha_{2}}{2\beta^{2}})\).

Here we consider the Cauchy problem of Eq. (4)

$$ \left \{ \textstyle\begin{array}{l} u_{t}+\alpha_{0}u_{x}-\beta^{2}(\alpha_{0}u_{xxx}+u_{txx})=2\alpha _{1}uu_{x}+3\alpha_{2}u_{x}u_{xx}+\alpha_{2}uu_{xxx}, \\ u(0,x)=u_{0}(x), \end{array}\displaystyle \right . $$

which is equivalent to the problem

$$ \left \{ \textstyle\begin{array}{l} u_{t}+(\alpha_{0}+b_{1}u)u_{x}+b_{2}\Lambda^{-2}\partial_{x}u^{2}=0, \\ u(0,x)=u_{0}(x). \end{array}\displaystyle \right . $$

Lemma 2.1

Let \(y_{1}=u-\beta^{2}\partial_{x}^{2}u\) and \(\bar{y}=(1-\beta^{2}\partial_{x}^{2})^{-1}u\). The solutions of Eq. (4) in case \(\alpha_{1}=-\frac{\alpha _{2}}{2\beta^{2}}\) conform with the following conservation law:

$$ \int_{R}y_{1}\bar{y}\, dx=\int _{R}\bigl\vert \hat{u}(t,\xi)\bigr\vert ^{2}\, d\xi=\int_{R}\bigl\vert \hat {u}_{0}(\xi)\bigr\vert ^{2}\, d\xi, $$

where \(u_{0}(x)=u(0,x)\), \(\hat{u}(t,\xi)\) is the Fourier transform of \(u(t,x)\) with respect to x.


For \(y_{1}=u-\beta^{2}\partial_{x}^{2}u\), \(\bar{y}=(1-\beta^{2}\partial _{x}^{2})^{-1}u\), we have \(\frac{\partial y_{1}}{\partial t}=u_{t}-\beta^{2}\partial _{x}^{2}u_{txx}\) and \(u=\bar{y}-\beta^{2}\bar{y}_{xx}\). If \(\alpha_{1}=-\frac{\alpha_{2}}{2\beta^{2}}\), it has

$$\begin{aligned} \frac{d}{dt}\int_{R}y_{1}\bar{y}\,dx =&2\int _{R}\frac{\partial y_{1}}{\partial t}\bar{y}\,dx \\ =&2\int_{R}\bigl(-\alpha_{0}u_{t}+ \alpha_{0}\beta ^{2}u_{xxx}+2\alpha_{1}uu_{x}+3 \alpha_{2}u_{x}u_{xx}+\alpha _{2}uu_{xxx} \bigr)\bar{y}\,dx \\ =&2\int_{R}{\alpha_{0}\bigl(u \bar{y}_{x}-\beta^{2}u\bar {y}_{xxx}\bigr)-\biggl( \alpha_{1}u^{2}\bar{y}_{x}+\frac{\alpha_{2}}{2}u^{2} \bar {y}_{xxx}\biggr)}\,dx \\ =&2\int_{R}\bigl(\alpha_{0}u- \alpha_{1}u^{2}\bigr)u_{x}\,dx \\ =&0. \end{aligned}$$

This completes the proof of Lemma 2.1. □

Existence of the local solution for problem (6)

Firstly, we need to state some notions. Let \(H^{s}(R)\) (where s is a real number) denote the Sobolev space with the norm defined by

$$ \|h\|_{H^{s}}= \biggl(\int_{R} \bigl(1+| \xi|^{2} \bigr)^{s}\bigl\vert \hat{h}(t,\xi )\bigr\vert ^{2} \biggr)^{\frac{1}{2}}< \infty, $$

where \(\hat{h}(t,\xi)=\int_{R}e^{-ix\xi}h(t,x)\, dx\). For \(T>0\) and \(s\geq 0\), we let \(C ([0,\infty); H^{s}(R) )\) denote the Fréchet space of all continuous \(H^{s}\)-valued functions on \([0,T)\).

We introduce the abstract quasi-linear evolution equation

$$ \left \{ \textstyle\begin{array}{l} \frac{d\phi}{dt}+Q(\phi)\phi=g(\phi), \quad t\geq0, \\ \phi(0)=\phi_{0}. \end{array}\displaystyle \right . $$

Let X and Y be Hilbert spaces, where Y is continuously and densely embedded in X, and \(W:Y\rightarrow X\) be a topological isomorphism. We define \(L(Y,X)\) to be the space of all bounded linear operators from Y to X. We denote \(L(X,X)\) by \(L(X)\). Note that \(\rho_{1}\), \(\rho_{2}\), \(\rho_{3} \) and \(\rho_{4}\) in the following depend on \(\max\{\|y\|_{Y},\|z\|_{Y}\}\).

  1. (I)

    \(Q(y)\in L(Y,X)\) for \(y\in X\) with

    $$ \bigl\Vert \bigl(Q(y)-Q(z) \bigr)w\bigr\Vert _{X}\leq \rho_{1}\|y-z\|_{X}\|w\|_{Y},\quad y,z,w\in Y, $$

    \(Q(y)\in G(X,1,\alpha)\) (\(\alpha>0\)) and uniformly on bounded sets in Y.

  2. (II)

    \(WQ(y)W^{-1}=Q(y)+\bar{Q}(y)\), in which \(\bar{Q}\in L(X)\) is bounded and uniformly on bounded sets in Y and

    $$ \bigl\Vert \bigl(\bar{Q}(y)-\bar{Q}(z) \bigr)w\bigr\Vert _{X}\leq \rho_{2}\|y-z\|_{X}\|w\| _{Y},\quad y,z\in Y, w\in X. $$
  3. (III)

    \(g:Y\rightarrow Y\) extends to a map from X into X, is bounded on bounded sets in Y and satisfies

    $$\begin{aligned} \begin{aligned} &\bigl\Vert g(y)-g(z)\bigr\Vert _{Y}\leq\rho_{3}\|y-z \|_{Y},\quad y,z\in Y, \\ &\bigl\Vert g(y)-g(z)\bigr\Vert _{X}\leq\rho_{4}\|y-z \|_{X},\quad y,z\in Y. \end{aligned} \end{aligned}$$

Kato theorem


Assume that (I), (II) and (III) hold. If \(\phi_{0}\in Y\), there is a maximal \(T>0\) depending only on \(\|\phi_{0}\|_{Y}\) and a unique solution u to problem (9) such that

$$ \phi=\phi(\cdot,\phi_{0})\in C \bigl([0,T);Y \bigr)\cap C^{1} \bigl([0,T);X \bigr). $$

Moreover, the map \(\phi_{0}\rightarrow\phi(\cdot,\phi_{0})\) is a continuous map from Y to the space \(C ([0,T);Y )\cap C^{1} ([0,T);X )\).

For problem (7), we set \(Q(u)=(\alpha _{0}+b_{1}u)\partial_{x}\), \(Y=H^{s}(R)\), \(X=H^{s-1}(R)\), \(g(u)=-b_{2}\partial_{x}\Lambda^{-2}u^{2}\) and \(W=\Lambda\). Then we will verify that \(Q(u)\) and \(g(u)\) satisfy conditions (I)-(III). We cite several conclusions presented in [11].

Lemma 3.1

The operator \(Q(u)=(\alpha _{0}+b_{1}u)\partial_{x}\) with \(\phi\in H^{s}(R)\) (\(s>\frac{3}{2}\)) belongs to \(G(H^{s-1},1,\alpha)\).

Lemma 3.2

For \(u,z,w\in H^{s}(R)\) with \(s>\frac {3}{2}\), \(Q(\phi)\in L(H^{s}(R),H^{s-1}(R))\), it holds that

$$ \bigl\Vert \bigl(Q(u)-Q(z) \bigr)w\bigr\Vert _{H^{s-1}}\leq \rho_{1}\|u-z\|_{H^{s-1}}\|w\|_{H^{s}}. $$

Lemma 3.3

For \(u,z\in H^{s}(R)\) and \(w\in H^{s-1}(R)\) (\(s>\frac{3}{2}\)), it holds that \(\bar{Q}(u)= [\Lambda,(1-b_{1}u)\partial_{x} ]\Lambda^{-1}\in L(H^{s-1})\) and

$$ \bigl\Vert \bigl(\bar{Q}(u)-\bar{Q}(z) \bigr)w\bigr\Vert _{H^{s-1}}\leq \rho_{2}\|u-z\| _{H^{s}}\|w\|_{H^{s-1}}. $$

Lemma 3.4


Let r and q be real numbers such that \(-r< q\leq r\). Then

$$\begin{aligned}& \|u_{1}u_{2}\|_{H^{q}}\leq c\|u_{1} \|_{H^{r}}\|u_{2}\|_{H^{q}} \quad \textit{if } r> \frac{1}{2}, \\& \|u_{1}u_{2}\|_{H^{r+q-\frac{1}{2}}}\leq c\|u_{1} \|_{H^{r}}\|u_{2}\| _{H^{q}} \quad \textit{if }r< \frac{1}{2}. \end{aligned}$$

Lemma 3.5

Let \(u,z\in H^{s}(R)\) with \(s>\frac {3}{2}\) and \(g(u)=-b_{2}\partial_{x}\Lambda^{-2}u^{2}\). Then g is bounded on bounded sets in \(H^{s}\) and satisfies

$$\begin{aligned}& \bigl\Vert g(u)-g(z)\bigr\Vert _{H^{s}}\leq\rho_{3}\|u-z \|_{H^{s}}, \end{aligned}$$
$$\begin{aligned}& \bigl\Vert g(u)-g(z)\bigr\Vert _{H^{s-1}}\leq\rho_{4}\|u-z \|_{H^{s-1}}. \end{aligned}$$


For \(s>\frac{3}{2}\), we have \(\|u\|_{L^{\infty }}\leq c\|u\|_{H^{s}}\) and \(\|u\|_{H^{s-1}}\leq c\|u\|_{H^{s}}\). Applying the algebra property of \(H^{s}(R)\) and Lemma 3.4, we get

$$\begin{aligned} \bigl\Vert g(u)-g(z)\bigr\Vert _{H^{s}} \leq&|b_{2}|\bigl\Vert \partial_{x}\Lambda^{-2}\bigl(u^{2}-z^{2} \bigr)\bigr\Vert _{H^{s}} \\ \leq& c\bigl\Vert u^{2}-z^{2}\bigr\Vert _{H^{s-1}} \\ \leq& c\|u- z\|_{H^{s-1}} \\ \leq&\rho_{3}\|u-z\|_{H^{s}}, \end{aligned}$$

which completes the proof of (10). Similarly, we get (11). □

Now we give the following theorem.

Theorem 3.6

Let \(u_{0}(x) \in H^{s}(R)\) with \(s>\frac{3}{2}\). There exists \(T>0\) depending on \(\|u_{0}\|_{H^{s}(R)}\) such that problem (6) or (7) has a unique solution \(u(t,x)\in C ([0,T);H^{s}(R) )\cap C^{1} ([0,T);H^{s-1}(R) )\).


Using Lemmas 3.1-3.3 and 3.5, we know that conditions (I), (II) and (III) hold. Applying the Kato theorem, we find that problem (6) or (7) has a unique local solution

$$ u=u(t,x)\in C \bigl([0,T);H^{s}(R) \bigr)\cap C^{1} \bigl([0,T);H^{s-1}(R) \bigr), $$

where \(T>0\) depends on \(\|u_{0}\|_{H^{s}}\). □

Remark 3.7

Let \(T>0\) be described in Theorem 3.6. Using the Sobolev embedding theorem, we ensure the boundedness of solution \(u(t,x)\) to problem (7) in the domain \([0,T)\times R\). Namely, provided that \(u_{0} \in H^{s}(R)\) with \(s>\frac{3}{2}\), we have \(\|u\|_{L^{\infty}(R)}\leq M_{T}\), where \(M_{T}\) is a positive constant.

\(L^{1}\) Stability of the local solution for problem (6)

Letting \(f'(u)=\alpha_{0}+b_{1}u\), \(\Psi (t,x,u)=b_{2}\Lambda^{-2}\partial_{x}u^{2}\) in the first equation of (7), we get

$$ \left \{ \textstyle\begin{array}{l} u_{t}+f'(u)u_{x}+\Psi(t,x,u)=0, \\ u(0,x)=u_{0}(x). \end{array}\displaystyle \right . $$

Assume that \(u_{1}(t,x)\) and \(u_{2}(t,x)\) are solutions of problem (12) in the domain \([0,T)\times R\) with initial functions \(u_{10}(x)\) and \(u_{20}(x)\in H^{s}(R)\) (\(s>\frac{3}{2}\)). Here we give several lemmas.

Lemma 4.1

Let \(u(t,x)\) be the solution of problem (12) and \(u_{0}(x)\in H^{s}(R)\) with \(s>\frac{3}{2}\). Then \(\|\Psi(t,x,u)\| _{L^{\infty}(R)}\leq M_{T}\) and

$$ \bigl\Vert \Psi(t,x,u)\bigr\Vert _{L^{\infty}(R)}\leq cM_{T}^{2}, $$

where positive constant c depends on \(b_{2}\), β, \(\|u_{0}\| _{L^{\infty}}\).


We have

$$\begin{aligned} \bigl\vert \Psi(t,x,u)\bigr\vert =&\bigl\vert b_{2} \Lambda^{-2}\partial_{x}u^{2}\bigr\vert \\ \leq&\vert b_{2}\vert \biggl\vert \frac{1}{2\beta}\int _{R}e^{-\frac{1}{\beta}|x-y|}\operatorname{sign}(y-x)u^{2}\, dy \biggr\vert \\ \leq& cM_{T}^{2}. \end{aligned}$$

Applying Remark 3.7 and the integral \(\int_{R}e^{-\frac{1}{\beta }|x-y|}\, dy=2\beta\), we complete the proof. □

Lemma 4.2

Assume that \(u_{1}(t,x)\) and \(u_{2}(t,x)\) are solutions of problem (12) in the domain \([0,T)\times R\) with initial functions \(u_{10}(x)\) and \(u_{20}(x)\in H^{s}(R)\) (\(s>\frac{3}{2}\)), respectively. Then

$$ \int_{-\infty}^{+\infty}\bigl\vert \Psi(t,x,u_{1})- \Psi(t,x,u_{2})\bigr\vert \, dx\leq c\int_{-\infty}^{+\infty}|u_{1}-u_{2}| \, dx, $$

where \(c>0\) depends on \(b_{2}\), β, \(\|u_{10}\|_{L^{\infty}(R)}\), \(\| u_{20}\|_{L^{\infty}(R)}\) and T.


Using the property of the operator \(\Lambda ^{-2}\) and Remark 3.7, we get

$$\begin{aligned}& \int_{-\infty}^{+\infty}\bigl\vert \Psi(t,x,u_{1})- \Psi(t,x,u_{2})\bigr\vert \,dx \\& \quad =\int_{-\infty}^{+\infty}\bigl\vert b_{2} \partial_{x}\Lambda ^{-2}\bigl(u^{2}_{1}-u^{2}_{2} \bigr)\bigr\vert \,dx \\& \quad \leq c\int_{-\infty}^{+\infty}\,dx\int _{-\infty}^{+\infty} \bigl\vert e^{-\frac{1}{\beta}|x-y|} \operatorname{sign}(y-x) \bigl(u^{2}_{1}-u^{2}_{2} \bigr) \bigr\vert \,dy \\& \quad \leq c\int_{-\infty}^{+\infty}\bigl\vert u^{2}_{1}-u^{2}_{2}\bigr\vert \,dx \int _{-\infty}^{+\infty}e^{-\frac{1}{\beta}|x-y|}\,dy \\& \quad \leq c\int_{-\infty}^{+\infty} \vert u_{1}-u_{2}\vert \,dx, \end{aligned}$$

in which we apply the Tonelli theorem to complete the proof. □

We introduce a function \(\delta(\sigma)\) which is infinitely differential on \((-\infty,+\infty)\) and \(\delta(\sigma)\geq0\), \(\delta(\sigma)\equiv0\) for \(|\sigma|\geq1\), \(\int_{-\infty}^{+\infty}\delta(\sigma)\, d\sigma=1\). Let \(\delta_{\varepsilon}(\sigma)=\delta(\varepsilon^{-1}\sigma)\diagup \varepsilon\), where ε is an arbitrary positive constant. It is found that \(\delta_{\varepsilon}(\sigma)\in C^{\infty}_{0}(-\infty ,+\infty)\) and

$$ \left \{ \textstyle\begin{array}{l} \delta_{\varepsilon}(\sigma)\geq0,\qquad \delta_{\varepsilon}(\sigma )=0\quad \text{for } |\sigma|\geq\varepsilon, \\ |\delta_{\varepsilon}(\sigma)|\leq\frac{c}{\varepsilon},\qquad \int^{+\infty}_{-\infty} \delta_{\varepsilon}(\sigma)\, d\sigma=1. \end{array}\displaystyle \right . $$

Let the function \(\phi(x)\) be defined and locally integrable on \((-\infty,+\infty)\). Set \(\phi^{\varepsilon}(x)\) to denote the approximation function of \(\phi(x)\) as

$$ \phi^{\varepsilon}(x)=\frac{1}{\varepsilon} \int^{+\infty}_{-\infty} \delta\biggl(\frac{x-y}{\varepsilon}\biggr)\phi(y)\, dy. $$

We call \(x_{0}\) a Lebesgue point of the function \(\phi(x)\) if

$$ \lim_{\varepsilon\rightarrow0}\frac{1}{\varepsilon} \int_{x_{0}-\varepsilon}^{x_{0}+\varepsilon} \bigl\vert \phi(x)-\phi(x_{0})\bigr\vert \, dx=0. $$

At any Lebesgue point \(x_{0}\), we get

$$ \lim_{\varepsilon\rightarrow0}\phi^{\varepsilon}(x_{0})= \phi(x_{0}). $$

Since the set of points which are not Lebesgue points of \(\phi(x)\) has measure zero, we have \(\phi^{\varepsilon}(x)\rightarrow\phi(x)\) as \(\varepsilon\rightarrow0\) almost everywhere.

For any \(T_{0}\in[0,T)\), we denote the band \(\{ (t,x):[0,T_{0}]\times R\}\) by \(\pi_{T_{0}}\). Let \(K_{r}=\{x:|x|\leq r\}\) and

$$ \Pi= \biggl\{ (t,x,\tau,y):\biggl\vert \frac{t-\tau}{2}\biggr\vert \leq \varepsilon, \rho\leq\frac{t+\tau}{2}\leq T_{0}-\rho, \biggl\vert \frac{x-y}{2}\biggr\vert \leq\varepsilon, \biggl\vert \frac{x+y}{2} \biggr\vert \leq r-\rho \biggr\} , $$

where \(r>0\), \(\rho>0\).

Lemma 4.3


Let the function \(\phi (t,x)\) be bounded and measurable in cylinder \([0,T_{0}]\times K_{r}\). If for any \(\rho\in(0,\min[r,T_{0}])\) and any \(\varepsilon\in(0,\rho)\), the function

$$ V_{\varepsilon}=\frac{1}{\varepsilon^{2}}\iiiint _{\Pi} \bigl\vert \phi(t,x)-\phi(\tau,y)\bigr\vert \, dt\, dx\, d\tau\, dy $$


$$ \lim_{\varepsilon\rightarrow 0}V_{\varepsilon}=0. $$

Lemma 4.4


If \(\frac{\partial\Phi (\phi)}{\partial\phi}\) is bounded, then the function \(H(\phi_{1},\phi_{2})=\operatorname{sign}(\phi_{1}-\phi_{2})(\Phi(\phi_{1})-\Phi(\phi _{2}))\) satisfies the Lipschitz condition in \(\phi_{1}\) and \(\phi _{1}\).

We state the concept of a characteristic cone. Let T be described in Theorem 3.6 and \(\|\phi\|_{L^{\infty}(R)}\leq M_{T}\). For any \(T_{0}\in[0,T)\) and \(R_{0}>0\), we define

$$ N>\max_{(t,x)\in[0,T_{0}]\times K_{R_{0}}} \bigl\vert f'(\phi)\bigr\vert . $$

Let Ω represent the cone \(\{(t,x):|x|\leq R_{0}-Nt, 0\leq t\leq T_{1}=\min(T_{0},R_{0}N^{-1}) \}\) and \(S_{\tau}\) designate the cross-section of the cone Ω by the plane \(t=\tau\), \(\tau\in[0,T_{1}]\).

Lemma 4.5

Let \(u(t,x)\) be the solution of problem (12) on \(\pi_{T_{0}}\), \(q(t,x)\in C^{\infty}_{0}(\pi_{T_{0}})\). It holds that

$$\begin{aligned}& \iint _{\pi_{T_{0}}} \bigl\{ |u-k|q_{t}+\operatorname{sign}(u-k) \bigl[f(u)-f(k)\bigr]q_{x} \\& \quad {}-\operatorname{sign}(u-k)q(t,x)\Psi(t,x,u) \bigr\} \, dt\, dx=0, \end{aligned}$$

where k is an arbitrary constant.


Suppose that \(F(u)\) is a twice differential function. Multiplying the first equation of problem (12) by \(F'(u)q(t,x)\) and integrating over \(\pi_{T_{0}}\), we get

$$ \iint _{\pi_{T_{0}}} \bigl\{ F'(u)q u_{t}+F'(u)q f'(u)u_{x} +F'(u)q \Psi(t,x,u) \bigr\} \,dt \,dx=0. $$

The application of the method of integration by parts yields

$$ \iint _{\pi_{T_{0}}}F'(u)q u_{t}\,dt\,dx = -\iint _{\pi_{T_{0}}}F'(u)q_{t}\,dt\,dx. $$


$$ \biggl(\int^{u}_{k}F'(z)f'(z) \, dz \biggr)'=F'(u)f'(u)u_{x}, $$

we have

$$\begin{aligned} \iint _{\pi_{T_{0}}}F'(u)f'(u)u_{x}q \,dt \,dx =&-\iint _{\pi_{T_{0}}} \biggl(\int^{u}_{k}F'(z)f'(z)dz \biggr)q_{x}\,dt\,dx \\ =&-\iint _{\pi_{T_{0}}} \biggl\{ F'(u)\bigl[f(u)-f(k)\bigr] \\ &{}-\int_{k}^{u}F''(z) \bigl[f(z)-f(k) \bigr]\, dz \biggr\} q_{x} \,dt\,dx. \end{aligned}$$

Substitute Eqs. (18) and (19) into Eq. (17). Let \(F^{\varepsilon}(u)\) be an approximation of the function \(F(u)=|u-k|\). When \(\varepsilon \rightarrow0\), \(F^{\varepsilon}(u)\rightarrow F(u)\), we obtain Eq. (16). □

Set function \(q(t,x)\in C^{\infty}_{0}(\pi_{T_{0}})\), \(q(t,x)\equiv0\) outside the cylinder \(\varpi=\{(t,x)\}=[\rho,T_{0}-2\rho]\times K_{r-2\rho}\), where \(K_{r-2\rho} =\{|x|:|x|\leq r-2\rho\}\), \(r>0\), \(0<2\rho<\min(T_{0},r)\). Now we give the proof of the local stability for problem (6) or (7).

Theorem 4.6

Assume that \(u_{1}(t,x)\) and \(u_{2}(t,x)\) are two local strong solutions of problem (6) or (7) with initial data \(u_{0}(x), v_{0}(x)\in L^{1}(R)\cap H^{s}(R)\) (\(s>\frac{3}{2}\)), respectively. Let \(T>0\) be the maximum existence time of \(u_{1}(t,x)\) and \(u_{2}(t,x)\). For any \(t\in[0,T)\), it holds that

$$ \bigl\Vert u_{1}(t,x)-u_{2}(t,x)\bigr\Vert _{L^{1}}\leq e^{ct}\bigl\Vert u_{10}(x)-u_{20}(x) \bigr\Vert _{L^{1}}, $$

where c is a positive constant depending on \(\|u_{10}\|_{L^{\infty }(R)}\) and \(\|u_{20}\|_{L^{\infty}(R)}\).


We define

$$ P(t,x,\tau,y)=q \biggl(\frac{t+\tau}{2},\frac{x+y}{2} \biggr) \delta_{\varepsilon} \biggl(\frac{t-\tau}{2},\frac{x-y}{2} \biggr)=q( \cdots )\lambda_{\varepsilon}(\vdots), $$

in which \((\cdots)=(\frac{t+\tau}{2},\frac{x+y}{2})\), \((\vdots)=(\frac {t-\tau}{2},\frac{x-y}{2})\). Thus, we obtain

$$ P_{t}+P_{\tau}=q_{t}(\cdots)\lambda_{\varepsilon}( \vdots),\qquad P_{x}+P_{y}=q_{x}(\cdots) \lambda_{\varepsilon}(\vdots). $$

Using Lemma 4.5 and the Kruzkov’s device of doubling the variables [19], we get

$$\begin{aligned}& \iiiint _{\pi_{T_{0}}\times\pi_{T_{0}}} \bigl\{ \bigl\vert u_{1}(t,x)-u_{2}( \tau,y)\bigr\vert P_{t} +\operatorname{sign}\bigl(u_{1}(t,x)-u_{2}( \tau,y)\bigr) \\& \quad {}\times \bigl[f\bigl(u_{1}(t,x)\bigr)-f\bigl(u_{2}( \tau,y)\bigr)\bigr]P_{x} -\operatorname{sign}\bigl(u_{1}(t,x)-u_{2}( \tau,y)\bigr) \\& \quad {}\times\Psi \bigl(t,x,u_{1}(t,x)\bigr)P \bigr\} \, dt\, dx\, d \tau\, dy=0. \end{aligned}$$

Similarly, we have

$$\begin{aligned}& \iiiint _{\pi_{T_{0}}\times\pi_{T_{0}}} \bigl\{ \bigl\vert u_{2}(\tau ,y)-u_{1}(t,x)\bigr\vert P_{\tau} +\operatorname{sign} \bigl(u_{2}(\tau,y)-u_{1}(t,x)\bigr) \\& \quad {}\times\bigl[f\bigl(u_{2}(\tau ,y)\bigr)-f\bigl(u_{1}(t,x) \bigr)\bigr]P_{y} -\operatorname{sign}\bigl(u_{2}( \tau,y)-u_{1}(t,x)\bigr) \\& \quad {}\times\Psi\bigl(\tau ,y,u_{2}(\tau,y)\bigr)P \bigr\} \, dt\, dx \, d\tau\, dy=0. \end{aligned}$$

Adding (21) and (22), we obtain

$$\begin{aligned} 0 \leq&\iiiint _{\pi_{T_{0}}\times\pi_{T_{0}}} \bigl\{ \bigl\vert u_{1}(t,x)-u_{2}( \tau,y)\bigr\vert q_{t}\lambda_{\varepsilon} \\ &{}+\operatorname{sign} \bigl(u_{1}(t,x)-u_{2}(\tau,y)\bigr) \\ &{}\times \bigl[f\bigl(u_{1}(t,x)\bigr)-f\bigl(u_{2}( \tau,y)\bigr) \bigr]q_{x}\lambda _{\varepsilon} \bigr\} \, dt\, dx\, d \tau\, dy \\ &{}+\biggl\vert \iiiint _{\pi_{T_{0}}\times\pi_{T_{0}}} \bigl\{ \operatorname{sign} \bigl(u_{1}(t,x)-u_{2}(\tau,y)\bigr) \\ &{}\times \bigl[\Psi\bigl(t,x,u_{1}(t,x)\bigr)-\Psi\bigl( \tau,y,u_{2}(\tau,y)\bigr) \bigr]q\lambda _{\varepsilon} \bigr\} \, dt\, dx\, d\tau\, dy\biggr\vert . \end{aligned}$$

We note that the first two terms of the integrand of (23) have the form

$$ G_{\varepsilon}=G \bigl(t,x,\tau,y,u_{1}(t,x),u_{2}(\tau,y) \bigr)\lambda _{\varepsilon}(\vdots), $$

where G satisfies the Lipschitz condition in all its variables. Then

$$\begin{aligned}& \iiiint _{\pi_{T_{0}}\times\pi_{T_{0}}}G_{\varepsilon}\,dt\,dx\,d\tau\, dy \\ & \quad = \iiiint _{\pi_{T_{0}}\times\pi_{T_{0}}} G \bigl(t,x,\tau,y,u_{1}(t,x),u_{2}(\tau,y) \bigr)\lambda_{\varepsilon }\,dt\,dx\,d\tau\, dy \\ & \quad = \iiiint _{\pi_{T_{0}}\times\pi _{T_{0}}} \bigl\{ G \bigl(t,x,\tau,y,u_{1}(t,x),u_{2}( \tau,y) \bigr) \\ & \qquad {}-G \bigl(t,x,t,x,u_{1}(t,x),u_{2}(t,x) \bigr) \bigr\} \lambda_{\varepsilon}\,dt\,dx\,d\tau\, dy \\ & \qquad {}+\iiiint _{\pi_{T_{0}}\times\pi _{T_{0}}}G \bigl(t,x,t,x,u_{1}(t,x),u_{2}(t,x) \bigr) \lambda_{\varepsilon}\,dt\,dx\,d\tau\, dy \\ & \quad = A_{11}(\varepsilon)+A_{12}. \end{aligned}$$

As \(G_{\varepsilon}=0\) outside the region Π, applying the estimate \(|\lambda_{\varepsilon}(\vdots)|\leq \frac{c}{\varepsilon^{2}}\) and Lemma 4.4, we get

$$ \bigl\vert A_{11}(\varepsilon)\bigr\vert \leq c \biggl[ \varepsilon+\frac{1}{\varepsilon ^{2}}\iiiint _{\Pi} \bigl\vert u_{1}(t,x)-u_{2}(\tau,y)\bigr\vert \,dt\,dx\,d\tau\, dy \biggr], $$

where c is a positive constant independent of ε. Using Lemma 4.3, we know \(A_{11}(\varepsilon)\rightarrow0\) as \(\varepsilon\rightarrow0\).

For the term \(A_{12}\), we substitute \(t=\eta_{1}\), \(\frac{t-\tau }{2}=\mu_{1}\), \(x=\eta_{2}\), \(\frac{x-y}{2}=\mu_{2}\). Combining with the identity

$$ \int^{\varepsilon}_{-\varepsilon}\int^{+\infty}_{-\infty} \lambda_{\varepsilon}(\mu_{1},\mu_{2})\, d\mu_{1} \, d\mu_{2}=1, $$

we obtain

$$\begin{aligned} A_{12} =&2^{2}\iint _{\pi_{T_{0}}\times\pi_{T_{0}}}G \bigl(\eta _{1},\eta_{2},\eta_{1},\eta_{2}, u_{1}(\eta_{1},\eta_{2}),u_{2}( \eta_{1},\eta_{2}) \bigr) \\ &{}\times \biggl(\int^{\varepsilon}_{-\varepsilon} \int^{+\infty}_{-\infty} \lambda_{\varepsilon}( \mu_{1},\mu_{2})\, d\mu_{1}\, d\mu_{2} \biggr)\, d\eta_{1} \, d\eta_{2} \\ =&4\iint _{\pi_{T_{0}}}G \bigl(t,x,t,x,u_{1}(t,x),u_{2}(t,x) \bigr)\,dt\,dx. \end{aligned}$$

Thus, we have

$$ \lim_{\varepsilon\rightarrow0}\iiiint _{\pi_{T_{0}}\times\pi _{T_{0}}}G_{\varepsilon}\,dt\,dx\,d \tau\, dy =4\iint _{\pi_{T_{0}}}G \bigl(t,x,t,x,u_{1}(t,x),u_{2}(t,x) \bigr)\,dt\,dx . $$

Similarly, the integrand of the third term in (23) can be represented as

$$\begin{aligned} B_{\varepsilon} =&\operatorname{sign}\bigl(u_{1}(t,x)-u_{2}( \tau,y) \bigr) \bigl[\Psi\bigl(t,x,u_{1}(t,x)\bigr)-\Psi\bigl( \tau,y,u_{2}(\tau,y)\bigr) \bigr]q\lambda _{\varepsilon} \\ =&B \bigl(t,x,\tau,y,u_{1}(t,x),u_{2}(\tau,y) \bigr)\lambda _{\varepsilon}(\vdots). \end{aligned}$$


$$\begin{aligned}& \iiiint _{\pi_{T_{0}}\times\pi_{T_{0}}}B_{\varepsilon}\,dt\,dx\,d\tau\, dy \\& \quad = \iiiint _{\pi_{T_{0}}\times \pi_{T_{0}}} \bigl\{ B \bigl(t,x,\tau,y,u_{1}(t,x),u_{2}( \tau,y) \bigr) \\& \qquad {}-B \bigl(t,x,t,x,u_{1}(t,x),u_{2}(t,x) \bigr) \lambda_{\varepsilon} \bigr\} \,dt\,dx\,d\tau\, dy \\& \qquad {}+\iiiint _{\pi_{T_{0}}\times\pi _{T_{0}}}B \bigl(t,x,t,x,u_{1}(t,x),u_{2}(t,x) \bigr) \lambda_{\varepsilon}\,dt\,dx\,d\tau\, dy \\& \quad = A_{21}(\varepsilon)+A_{22}. \end{aligned}$$

Applying Lemma 4.4, we get

$$ \bigl\vert A_{21}(\varepsilon)\bigr\vert \leq c \biggl[ \varepsilon+\frac{1}{\varepsilon ^{2}}\iiiint _{\Pi} \bigl\vert u_{1}(t,x)-u_{2}(\tau,y)\bigr\vert \,dt\,dx\,d\tau\, dy \biggr]. $$

By using Lemma 4.3, it yields \(A_{21}(\varepsilon)\rightarrow0\) as \(\varepsilon\rightarrow0\). Repeating the steps as before, we have

$$ A_{22}=4\iint _{\pi_{T_{0}}}B \bigl(t,x,t,x,u_{1}(t,x),u_{2}(t,x) \bigr)\,dt\,dx. $$

From (23) to (27), we get

$$\begin{aligned}& \iint _{\pi_{T_{0}}} \bigl\{ \bigl\vert u_{1}(t,x)-u_{2}(t,x) \bigr\vert q_{t}+\operatorname{sign}\bigl(u_{1}(t,x)-u_{2}(t,x) \bigr) \bigl[f(u_{1})-f(u_{2}) \bigr]q_{x} \bigr\} \,dt\,dx \\& \quad {}+\biggl\vert \iint _{\pi_{T_{0}}}\operatorname{sign} \bigl(u_{1}(t,x)-u_{2}(t,x)\bigr) \bigl[\Psi(t,x,\phi)- \Psi(t,x,\psi) \bigr]q\,dt\,dx\biggr\vert \geq0. \end{aligned}$$


$$ l(t)=\int_{-\infty}^{+\infty} \bigl\vert u_{1}(t,x)-u_{2}(t,x)\bigr\vert \, dx $$


$$ \nu_{\varepsilon}(\sigma)=\int_{-\infty}^{\sigma} \delta_{\varepsilon}(z)\, dz. $$

Take two numbers \(\rho, \tau\in(0,T_{1})\) and \(\rho<\tau\). In (28), we let

$$ q(t,x)= \bigl[\nu_{\varepsilon}(t-\rho)-\nu_{\varepsilon}(t-\tau) \bigr]\chi (t,x),\quad \varepsilon< \min(\rho,T_{1}-\tau), $$

in which

$$ \chi(t,x)=\chi_{\theta}(t,x)=1-\nu_{\theta}\bigl(\vert x\vert +Nt-R_{0}+\theta\bigr), $$

where θ is a small positive constant and \(\chi(t,x)=0\) outside the cone Ω. When \(\theta\rightarrow0\), \(R_{0}\rightarrow+\infty\), we observe that \(\chi_{\theta}\rightarrow1\). By the definition of the number N, we have

$$ 0=\chi_{t}+N|\chi_{x}|\geq\chi_{t}+N \chi_{x},\quad (t,x)\in\Omega. $$

According to (28)-(32), we get

$$\begin{aligned}& \iint _{\pi_{T_{0}}} \bigl\{ \bigl\vert u_{1}(t,x)-u_{2}(t,x) \bigr\vert \bigl[\delta_{\varepsilon}(t-\rho) -\delta_{\varepsilon}(t-\tau) \bigr]\chi_{\theta}(t,x) \bigr\} \,dt\,dx \\& \quad {}+\int^{T_{1}}_{0}dt\int_{-\infty}^{+\infty} \bigl\{ \bigl\vert \Psi(t,x,u_{1})-\Psi(t,x,u_{2})\bigr\vert \\& \quad {}\times \bigl[\nu_{\varepsilon}(t-\rho)-\nu_{\varepsilon} (t-\tau) \bigr]\chi_{\theta}(t,x) \bigr\} \, dx \geq0. \end{aligned}$$

For (33), sending \(\theta\rightarrow0\), \(R_{0}\rightarrow+\infty\) combining with Lemma 4.2, we obtain

$$ \int^{T_{1}}_{0} \bigl[\delta_{\varepsilon}(t-\rho) -\delta_{\varepsilon}(t-\tau) \bigr]l(t)\, dt +c\int^{T_{1}}_{0} \bigl[\nu_{\varepsilon}(t-\rho)-\nu_{\varepsilon} (t-\tau) \bigr]l(t) \, dt \geq0, $$

where c is independent of ε.

Applying the properties of the function \(\delta_{\varepsilon}\) for \(\varepsilon\leq \min(\rho,T_{1}-\rho)\), we get

$$\begin{aligned} \biggl\vert \int^{T_{1}}_{0}\delta_{\varepsilon}(t- \rho)l(t)-l(\rho)\, dt\biggr\vert =&\biggl\vert \int^{T_{1}}_{0} \delta_{\varepsilon}(t-\rho)\bigl[l(t)-l(\rho)\bigr]\, dt \biggr\vert \\ \leq&\frac{c}{\varepsilon}\int^{\rho+\varepsilon}_{\rho-\varepsilon} \bigl\vert l(t)-l(\rho)\bigr\vert \, dt. \end{aligned}$$


$$ \int^{T_{1}}_{0}\delta_{\varepsilon}(t-\rho)l(t)dt \rightarrow l(\rho) \quad \mbox{as }\varepsilon\rightarrow0. $$

Now set

$$ K(\rho)=\int^{T_{1}}_{0}\nu_{\varepsilon}(t- \rho)l(t)\, dt=\int^{T_{1}}_{0}\, dt \int ^{t-\rho}_{-\infty}\delta_{\varepsilon}(\sigma)l(t) \, d \sigma. $$

It is seen that

$$ K'(\rho)=-\int^{T_{1}}_{0} \delta_{\varepsilon}(t-\rho)l(t)\, dt. $$

Letting \(\varepsilon\rightarrow0\), we derive

$$ K'(\rho)\rightarrow-l(\rho) $$


$$ K(\rho)\rightarrow K(0)-\int^{\rho}_{0}l(t)\, dt, \qquad K(\tau)\rightarrow K(0)-\int^{\tau}_{0}l(t)\, dt. $$

Hence, we get

$$ K(\rho)-K(\tau)\rightarrow\int^{\tau}_{\rho}l(t)\, dt \quad \mbox{as }\varepsilon\rightarrow0. $$

Applying (34)-(36), we obtain the inequality

$$ l(\rho)+c\int^{\tau}_{\rho}l(t)\, dt\geq l(\tau). $$

As \(\rho\rightarrow0\), \(\tau\rightarrow t\), we get the following result:

$$\begin{aligned}& \int^{+\infty}_{-\infty}\bigl\vert u_{1}(0,x)-u_{2}(0,x) \bigr\vert \, dx + c\int^{t}_{0}\, dt\int ^{+\infty}_{-\infty}\bigl\vert u_{1}(t,x)-u_{2}(t,x) \bigr\vert \, dx \\& \quad \geq \int^{+\infty}_{-\infty}\bigl\vert u_{1}(t,x)-u_{2}(t,x)\bigr\vert \, dx. \end{aligned}$$

Finally, we complete the proof of Theorem 4.6 by using the Gronwall inequality. □


  1. 1.

    Degasperis, A, Procesi, M: Asymptotic integrability. In: Symmetry and Perturbation Theory, pp. 23-37. World Scientific, Singapore (1999)

  2. 2.

    Degasperis, A, Holm, DD, Hone, ANW: A new integrable equation with peakon solution. Theor. Math. Phys. 2, 1463-1474 (2002)

  3. 3.

    Lenells, J: Traveling wave solutions of the Degasperis-Procesi equation. J. Math. Anal. Appl. 306, 72-82 (2005)

  4. 4.

    Coclite, GM, Karlsen, KH: Periodic solutions of the Degasperis-Procesi equation: well-posedness and asymptotics. J. Funct. Anal. 268, 1053-1077 (2015)

  5. 5.

    Coclite, GM, Karlsen, KH, Risebro, NH: Numerical schemes for computing discontinuous solutions of the Degasperis-Procesi equation. IMA J. Numer. Anal. 28, 80-105 (2007)

  6. 6.

    Escher, J, Liu, Y, Yin, ZY: Global weak solutions and blow-up structure for the Degasperis-Procesi equation. J. Funct. Anal. 241, 457-485 (2006)

  7. 7.

    Lenells, J: Conservation laws of the Camassa-Holm equation. J. Phys. A 38, 869-880 (2005)

  8. 8.

    Cavalcanti, MM, Domingos Cavalcanti, VN, Komornik, V, Rodrigues, JH: Global well-posedness and exponential decay rates for a KdV-Burgers equation with indefinite damping. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 31, 1079-1100 (2014)

  9. 9.

    Hirayama, H: Local well-posedness for the periodic higher order KdV type equations. Nonlinear Differ. Equ. Appl. 19, 677-693 (2012)

  10. 10.

    Wazwaz, AM: New kinds of solitons and periodic solutions to the generalized KdV equation. Numer. Methods Partial Differ. Equ. 23, 247-255 (2007)

  11. 11.

    Rodriguez-Blanco, G: On the Cauchy problem for the Camassa-Holm equation. Nonlinear Anal. 46, 309-327 (2001)

  12. 12.

    Degasperis, A, Holm, DD, Hone, ANW: A new integral equation with peakon solutions. Theor. Math. Phys. 133, 1461-1477 (2002)

  13. 13.

    Coclite, GM, Karlsen, KH: On the well-posedness of the Degasperis-Procesi equation. J. Funct. Anal. 233, 60-91 (2006)

  14. 14.

    Escher, J, Yin, Z: Well-posedness, blow-up phenomena and global solutions for the b-equation. J. Reine Angew. Math. 624, 51-80 (2008)

  15. 15.

    Lai, SY, Yan, HB, Chen, HJ, Wang, J: The stability of local strong solutions for a shallow water equation. J. Inequal. Appl. 2014, 410 (2014)

  16. 16.

    Gu, F, Lu, YG, Zhang, Q: Global solutions to one-dimensional shallow water magnetohydrodynamic equations. J. Math. Anal. Appl. 401, 714-723 (2013)

  17. 17.

    Mutlubas, ND: Local well-posedness and wave breaking results for periodic solutions of a shallow water equation for waves of moderate amplitude. Nonlinear Anal. 97, 145-154 (2014)

  18. 18.

    Liu, XX, Yin, ZY: Local well-posedness and stability of solitary waves for the two-component Dullin-Gottwald-Holm system. Nonlinear Anal. 88, 1-15 (2013)

  19. 19.

    Kruzkov, SN: First order quasi-linear equations in several independent variables. Math. USSR Sb. 10, 217-243 (1970)

  20. 20.

    Kato, T: Quasi-linear equations of evolution with applications to partial differential equations. In: Spectral Theory and Differential Equations. Lecture Notes in Math., vol. 448, pp. 25-70 (1975)

Download references


This work is supported by the National Natural Science Foundation of China (11471263).

Author information

Correspondence to Jing Chen.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

Both authors contributed to each part of this study equally and approved the final version of the manuscript.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (, which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark


  • 35G25
  • 35L05


  • nonlinear equation
  • Sobolev space \(H^{s}(R)\)
  • \(L^{1}(R)\) stability