Skip to main content

Formation of singularity of solution to a nonlinear shallow water equation

Abstract

This paper is mainly concerned with behaviors of solution to the Cauchy problem for a generalized shallow water equation with dispersive term and dissipative term in the Besov space. It is shown that the problem of nonlinear shallow water equation is locally well posed. The \(H^{1}(\mathbb{R})\) norm of solution to the problem is bounded under certain assumption on the initial value. Several blow-up criteria of solution are presented. The solution has compact support provided that the initial value has compact support. More specifically, the solution exponentially decays at infinity if the initial value exponentially decays at infinity. Our main new contribution is that the effects of coefficients λ and β on solution are illustrated. To the best of our knowledge, the results in Theorems 1.11.7 are new.

1 Introduction

The main aim of the present work is to consider the following Cauchy problem of a generalized shallow water equation:

$$\begin{aligned} \textstyle\begin{cases} v_{t}-v_{xxt} +\beta (v_{x}-v_{xxx}) +\lambda (v-v_{xx}) \\ \quad = (1+\partial _{x})(v^{2}v_{xx}+vv_{x}^{2}-2v^{2}v_{x}), \quad t>0, x\in \mathbb{R}, \\ v(0,x)=v_{0}(x), \quad x\in \mathbb{R}. \end{cases}\displaystyle \end{aligned}$$
(1.1)

Here, \(v(t,x)\) is the velocity of shallow water wave, \(\beta (v_{x}-v_{xxx}) (\beta \in \mathbb{R})\) is the dispersive term, \(\lambda (v-v_{xx}) (\lambda >0)\) is the dissipative term. The initial value satisfies \(v_{0}\in B_{p,r}^{s}(\mathbb{R})(s>\operatorname{max} ( \frac{3}{2},1+\frac{1}{p}))\).

It is worthwhile pointing out that problem (1.1) and the Camassa–Holm (CH) equation

$$\begin{aligned} v_{t}-v_{xxt}+\beta v_{x}+3vv_{x}=2v_{x}v_{xx}+vv_{xxx} \end{aligned}$$

are special equations of the following shallow water model:

$$\begin{aligned} \bigl(1-\partial _{x}^{2}\bigr)v_{t}=F(v, v_{x}, v_{xx}, v_{xxx}), \end{aligned}$$

which is investigated in [1]. In recent decades, local well-posedness for the Cauchy problem of the CH equation in \(H^{s}(\mathbb{R} )\) and \(B_{p,r}^{s}(\mathbb{R})\) has attracted a lot of attention (see detailed instructions in [214]). Zhou and Chen [14] discovered that the solution v to problem (1.1) could be regarded as a perturbation around β by investigating asymptotic behavior of solution. The Cauchy problem of the CH equation with dissipative term and dispersion term was considered (see [9]). Finite time blow-up result and existence of global solution were obtained. Cui and Han [2] studied the asymptotic behavior of solution to a generalized CH equation. Gao et al. [3] established the dispersive regularization for a modified CH equation in one space dimension. Huang and Yu [4] derived the soliton and peakon solution to a generalized CH equation. Gui et al. [15] considered the nonlocal shallow water equation in two space dimensions by employing the asymptotic perturbation method. Local well-posedness and blow-up dynamics of solution to the Cauchy problem were demonstrated in the Sobolev space. Li and Zhang [7] discovered the generic regularity of conservative solution to a CH type equation by making use of the Thom transversality lemma. Silva and Freire [10] studied local well-posedness and traveling waves for the Cauchy problem of CH equation. Meanwhile, existence and uniqueness of solution were derived by applying the Kato approach. Mi et al. [8] demonstrated that the generalized CH equation is locally well posed in the Sobolev spaces \(H^{s} (s>\frac{3}{2})\) in periodic and nonperiodic cases. Local well-posedness for the Cauchy problem of the periodic shallow water equation was proved in \(H^{s}(\mathbb{T}) (s>-n+\frac{3}{2}, n\geq 2)\) (see [12]). Zhang [13] investigated local well-posedness for the Cauchy problem of rotation CH equation on the torus \(\mathbb{T}\). Peakon solutions to the μ-CH equation in \(H^{s}(\mathbb{S})(s > \frac{7}{2})\) were discovered (see [11]). In terms of other dynamic properties of the generalized CH models, the readers are referred to [1625] for more details.

There has been increasing interest in the other two shallow water models, namely, the Degasperis–Procesi (DP) equation

$$\begin{aligned} v_{t}-v_{xxt}+4vv_{x}=3v_{x}v_{xx}+vv_{xxx} \end{aligned}$$

and the Novikov equation

$$\begin{aligned} v_{t}-v_{xxt}+4v^{2}v_{x}=3vv_{x}v_{xx}+v^{2}v_{xxx}. \end{aligned}$$

The wave breaking phenomena of solution to the DP equation were considered (see [26]). Constantin and Ivanov [27] investigated soliton solution to the DP equation by utilizing the dressing method. Molinet [28] established asymptotic stability of the DP peakon. Cai et al. [29] considered the Lipschitz metric for the Novikov equation. Himonas et al. [30] obtained the construction of two-peakon solution for the Novikov equation. Zheng and Yin [31] established the wave breaking and solitary wave solution for a generalized Novikov equation. Blow-up mechanisms of solution to a degenerated Novikov equation in \(H^{s}(\mathbb{R})(s>\frac{5}{2})\) were analyzed (see [32]).

Motivated by the previous works [2, 9, 21, 33, 34], we are devoted to investigating local well-posedness and several blow-up results of solution to the Cauchy problem of generalized shallow water Eq. (1.1). We observe that Li and Yin [21] have obtained local well-posedness and blow-up dynamics of solution to the Cauchy problem of the Camassa–Holm equation, which is a special case of problem (1.1) in the case \(\lambda =\beta =0\). The approaches were based on the transport equation and Littlewood–Paley theory in the Besov space. Constantin [35] investigated finite propagation speed for the Camassa–Holm equation. It was shown that classical solution to the Camassa–Holm equation has compact support if its initial data has compact support. Henry [36] considered infinite propagation speed for the Degasperis–Procesi equation. Himonas et al. [37] demonstrated persistence properties of solution to the Camassa–Holm equation. The results indicated that a solution to the Camassa–Holm equation decays exponentially when the initial value decays exponentially. The asymptotic behaviors of solution to a generalized CH equation were discussed (see [2]). More precisely, the solution does not have compact support in the framework of compactly supported initial value. In this work, it is shown that the Cauchy problem of generalized shallow water equation with dispersive term and dissipative term is locally well posed in the Besov space. The \(H^{1}(\mathbb{R})\) norm of solution to the problem is bounded under certain assumption on the initial value. Meanwhile, we establish several blow-up criteria of solution to problem (1.1). We recognize that the solution has compact support provided that the initial value has compact support. The solution exponentially decays at infinity if the initial value exponentially decays at infinity. The advantage of the present paper is to derive the effects of dispersive term \(\beta (v-v_{xxx})\) and dissipative term \(\lambda (v-v_{xx})\) on behaviors of solution to problem (1.1). In addition, we extend parts of results in [2, 21]. To the best of authors’ knowledge, the results in Theorems 1.11.7 are new.

Let \(s\in \mathbb{R}, T>0, p\in [1,\infty ]\), \(r\in [1,\infty ]\). Here, we set the framework of space

$$\begin{aligned} E_{p,r}^{s}(T)=\textstyle\begin{cases} C([0,T];B_{p,r}^{s}(\mathbb{R}))\cap C^{1}([0,T];B_{p,r}^{s-1}( \mathbb{R})),\quad 1\leq r< \infty, \\ L^{\infty} ([0,T];B_{p,\infty}^{s}(\mathbb{R}))\cap \operatorname{Lip}([0,T];B_{p, \infty}^{s-1}(\mathbb{R})),\quad r=\infty. \end{cases}\displaystyle \end{aligned}$$

Assume \(w_{0}(x)=(1-\partial _{x})v_{0}(x)\) and \(w(t,x)=(1-\partial _{x})v(t,x)\). Therefore, problem (1.1) is reformulated as

$$\begin{aligned} \textstyle\begin{cases} w_{t}+(v^{2}+\beta )w_{x}=vw^{2}-v^{2}w-\lambda w, \quad t>0, x \in \mathbb{R}, \\ w(0,x)=w_{0}(x), \quad x\in \mathbb{R}, \end{cases}\displaystyle \end{aligned}$$
(1.2)

or

$$\begin{aligned} \textstyle\begin{cases} w_{t}+(v^{2}+\beta )w_{x}=-vv_{x}w -\lambda w, \quad t>0, x\in \mathbb{R}, \\ w(0,x)=w_{0}(x), \quad x\in \mathbb{R}. \end{cases}\displaystyle \end{aligned}$$
(1.3)

We summarize our results as follows.

Theorem 1.1

Assume \(1\leq p, r\leq \infty \), \(v_{0} \in B_{p,r}^{s}(\mathbb{R}) (s>\operatorname{max}(\frac{3}{2},1+ \frac{1}{p}))\). Then there exists a unique solution \(v \in E_{p,r}^{s}(T) \) to problem (1.1) for a suitable positive constant T.

Theorem 1.2

Let \(1\leq p, r\leq \infty \), \(v_{0} \in B_{p,r}^{s} (\mathbb{R})(s>\operatorname{max}(\frac{3}{2},1+ \frac{1}{p}))\). Then a solution v to problem (1.1) satisfies

$$\begin{aligned} \bigl\Vert v(t) \bigr\Vert _{H^{1}}\leq \Vert v_{0} \Vert _{H^{1}},\quad t\in [0,T]. \end{aligned}$$

Theorem 1.3

Let \(1\leq p, r\leq \infty \), \(v_{0} \in B_{p,r}^{s} (\mathbb{R})(\operatorname{max}(\frac{3}{2},1+ \frac{1}{p}) < s<2)\), \(t\in [0,T]\). Then a solution v to problem (1.1) blows up if and only if

$$\begin{aligned} \int _{0}^{t} \bigl( \bigl\Vert w (\tau ) \bigr\Vert _{L^{\infty}}^{2}- \lambda \bigr)\,d\tau =\infty. \end{aligned}$$

Theorem 1.4

Assume \(v_{0} \in H^{s}(\mathbb{R}) (s> \frac{3}{2})\) and \(t\in [0,T]\). Then a solution v to problem (1.1) blows up if and only if

$$\begin{aligned} \lim_{t\rightarrow T^{-}}\Bigl[\sup_{x\in \mathbb{R}}\bigl(vw(t,x) - \lambda \bigr)\Bigr]= \infty. \end{aligned}$$

Theorem 1.5

Let \(1 \leq p\), \(r \leq \infty \), \(v_{0} \in B_{p,r}^{s} (\mathbb{R})(s>\operatorname{max}(\frac{3}{2},1+ \frac{1}{p})) \), \(v_{0}\) is compactly supported in the interval \([ a_{u_{0}}, b_{u_{0}} ]\). Assume \(w_{0}= v_{0}-v_{0,x}\geq 0\). \(T > 0\) is the maximal existence time of the corresponding solution v to problem (1.1). Then the solution v is compactly supported in \([ p(t,a_{u_{0}}), p(t,b_{u_{0}}) ]\) for all \(t \in [0, T)\).

Theorem 1.6

Let \(v_{0}\in H^{s}(\mathbb{R})( s > \frac{3}{2}) \), \(w_{0}=v_{0}-v_{0,x}\geq 0\). Assume that \(v_{0}(v_{0} - v_{0,x})(x_{0}) >2\lambda + \Vert v_{0}\Vert _{H^{1}}^{2}\), where \(x_{0}\) is defined as \(v_{0} (v_{0} - v_{0, x})(x_{0})=\sup_{x\in \mathbb{R}}[v_{0} (v_{0} - v_{ 0,x})]\). Then a solution v to problem (1.1) blows up in finite time.

Theorem 1.7

Suppose that \(v_{0} \in H^{s}(\mathbb{R}) (s>\frac{5}{2})\) and v is the corresponding solution to problem (1.1). Let \(t\in [0,T]\) and \(\theta \in (0,1)\). Assume that \(v_{0} \) satisfies

$$\begin{aligned} \bigl\vert v_{0}(x) \bigr\vert \thicksim O\bigl(e^{-\theta x} \bigr) \quad\textit{as } x \rightarrow \infty. \end{aligned}$$

Then it holds that

$$\begin{aligned} \bigl\vert v(t,x) \bigr\vert \thicksim O\bigl(e^{-\theta x}\bigr) \quad\textit{as } x\rightarrow \infty \end{aligned}$$

uniformly on \([0,T]\).

Remark 1.1

Problem (1.1) is locally well posed in \(B_{p,r}^{s}(\mathbb{R}) (s>\operatorname{max}(\frac{3}{2},1+\frac{1}{p}))\). We obtain that \(\Vert v(t) \Vert _{H^{1}(\mathbb{R})}\) is bounded. Blow-up criterion of solution in the Besov space is shown in Theorem 1.3. It is illustrated in Theorem 1.4 that the wave breaking of solution u occurs in the case that vw is unbounded in finite time. Theorems 1.3, 1.4, and 1.6 indicate that the dissipative coefficient λ is related to the blow-up of solution. From Theorem 1.5, we observe that the solution has compact support provided that the initial value has compact support. From Theorem 1.7, we deduce that the solution exponentially decays at infinity if the initial value exponentially decays at infinity. Parts of the results in [2, 21] are extended.

2 Proof of Theorem 1.1

First of all, we show the proof in five steps. We note that \(w_{0} \in B_{p,r}^{s} (s>\max ( \frac{1}{p},\frac{1}{2}))\) in (1.2).

Step one: Let \(w^{0} =0\) for all \(t>0, x\in \mathbb{R}\). We assume that a sequence of smooth functions \((w^{i}) _{i\in \mathbb{N}}\in C(\mathbb{R}^{+};B_{p,r}^{\infty})\) satisfies

$$\begin{aligned} \textstyle\begin{cases} (\partial _{t}+( (v ^{i})^{2} +\beta )\partial _{x}) w^{i+1}=F(t,x), \\ w^{i+1}(0,x)=w^{i+1}_{0}(x)=S_{i+1}w_{0} \end{cases}\displaystyle \end{aligned}$$
(2.1)

and

$$\begin{aligned} F(t,x)= v^{i}\bigl(w^{i} \bigr)^{2}-\bigl(v^{i}\bigr)^{2}w^{i} - \lambda w^{i}. \end{aligned}$$
(2.2)

We observe that \(S_{i+1}w_{0} \in B_{p,r}^{\infty}\). Taking advantage of Lemma 2.5 in [38], we derive that \(w^{i}\in C(\mathbb{R}^{+};B_{p,r}^{\infty}) \) is global for all \(i\in \mathbb{N}\).

Step two: It is deduced from Lemma 2.4 in [38] that

$$\begin{aligned} \bigl\Vert w^{i+1}(t) \bigr\Vert _{B_{p,r}^{s}} \leq{}& e^{C_{1}\int _{0}^{t} \Vert \partial _{x}(v^{i} )^{2} (\tau ) \Vert _{B_{p,r}^{s}} \,d \tau} \\ &{} \times \biggl[ \Vert w_{0} \Vert _{B_{p,r}^{s}}+ \int _{0}^{t} e^{-C_{1} \int _{0}^{\tau } \Vert \partial _{x}( v^{i})^{2} (\xi ) \Vert _{B_{p,r}^{s}} \,d\xi} \bigl\Vert F(\tau, \cdot ) \bigr\Vert _{B_{p,r}^{s}} \,d\tau \biggr]. \end{aligned}$$
(2.3)

Making use of \(v^{i}=(1-\partial _{x}^{2})^{-1}(1+\partial _{x})w^{i}\), we obtain

$$\begin{aligned} \bigl\Vert \partial _{x}\bigl(v^{i} \bigr)^{2} \bigr\Vert _{B_{p,r}^{s}} \lesssim \bigl\Vert w^{i} \bigr\Vert _{B_{p,r}^{s }} ^{2}, \end{aligned}$$
(2.4)

which results in

$$\begin{aligned} & \bigl\Vert F(t,\cdot ) \bigr\Vert _{B_{p,r}^{s}}\lesssim \bigl(1+\lambda + \bigl\Vert w^{i}(t) \bigr\Vert _{B_{p,r}^{s}} \bigr)^{2} \bigl\Vert w^{i} (t) \bigr\Vert _{B_{p,r}^{s }}. \end{aligned}$$
(2.5)

Applying (2.3), (2.4), and (2.5), we have

$$\begin{aligned} \bigl\Vert w^{i+1}(t) \bigr\Vert _{B_{p,r}^{s}} \leq {}&C_{2} e^{C_{2} \int _{0}^{t} (1+\lambda + \Vert w^{i}(\tau ) \Vert _{B_{p,r}^{s}} )^{2} \,d\tau} \biggl[ \Vert w_{0} \Vert _{B_{p,r}^{s}} \\ &{} + \int _{0}^{t}e^{-C_{2} \int _{0}^{ \tau }(1+\lambda + \Vert w^{i}(\xi ) \Vert _{B_{p,r}^{s}} )^{2} \,d \xi} \\ &{} \times \bigl(1+\lambda + \bigl\Vert w^{i}( \tau ) \bigr\Vert _{B_{p,r}^{s}} \bigr)^{2} \bigl\Vert w^{i}(\tau ) \bigr\Vert _{B_{p,r}^{s}} \,d \tau \biggr]. \end{aligned}$$
(2.6)

Let the positive constant T satisfy \(4C_{2}^{3}(1+\lambda +\Vert w_{0} \Vert _{B_{p,r}^{s}} )^{2} T<1\) and

$$\begin{aligned} \bigl(1+\lambda + \bigl\Vert w^{i}(t) \bigr\Vert _{B_{p,r}^{s}} \bigr)^{2} \leq \frac{C_{2}^{2}(1+\lambda + \Vert w _{0} \Vert _{B_{p,r}^{s}} )^{2} }{ 1-4C_{2} ^{3}(1+\lambda + \Vert w_{0} \Vert _{B_{p,r}^{s}} )^{2} t}. \end{aligned}$$
(2.7)

Thus, we calculate from (2.6) and (2.7) that

$$\begin{aligned} \bigl(1+\lambda + \bigl\Vert w^{i+1}(t) \bigr\Vert _{B_{p,r}^{s}} \bigr)^{2} \leq \frac{C_{2}^{2}(1+\lambda + \Vert w_{0} \Vert _{B_{p,r}^{s}} )^{2} }{ 1-4C_{2}^{3}(1+\lambda + \Vert w_{0} \Vert _{B_{p,r}^{s}} )^{2} t}. \end{aligned}$$

This implies that \((w^{i})_{i\in \mathbb{N}}\) is uniformly bounded in \(E_{p,r}^{s}(T)\).

Step three: We set \(i, j\in \mathbb{N}\). From (2.1), we observe

$$\begin{aligned} & \bigl(\partial _{t}+\bigl( \bigl(v ^{i+j} \bigr)^{2} +\beta \bigr)\partial _{x}\bigr) \bigl(w^{i+j+1}-w^{i+1}\bigr) \\ &\quad=-\bigl[ \bigl(v^{i+j}\bigr)^{2} -\bigl(v^{i} \bigr)^{2} \bigr]w^{i+1}_{x}+ \bigl(v^{i+j}-v^{i} \bigr) \bigl(w^{i+j} \bigr)^{2} \\ &\qquad{}+ v^{i } \bigl(\bigl(w^{i+j}\bigr)^{2}- \bigl(w^{i}\bigr)^{2}\bigr)- \bigl(v ^{i+j}-v ^{i }\bigr) \bigl(v ^{i+j}+v ^{i } \bigr)w^{i+j} \\ &\qquad{}- \bigl(v^{i}\bigr)^{2}\bigl(w ^{i+j}-w ^{i }\bigr) -\lambda \bigl(w ^{i+j}-w ^{i } \bigr). \end{aligned}$$
(2.8)

Employing Lemma 2.14 in [39] yields

$$\begin{aligned} \bigl\Vert w^{i+j+1}-w^{i+1} \bigr\Vert _{B_{p,r}^{s-1}}\leq{}& e^{C \int _{0}^{t} \Vert w^{i+j} \Vert _{B_{p,r}^{s}} ^{2} \,d \tau}\biggl[ \bigl\Vert w_{0}^{i+j+1}-w_{0}^{i+1} \bigr\Vert _{B_{p,r}^{s-1}} \\ &{} +C \int _{0}^{t} e^{-C \int _{0}^{\tau} \Vert w^{i+j} \Vert _{B_{p,r}^{s}}^{2} \,d\xi} \bigl\Vert w^{i+j}-w^{i} \bigr\Vert _{B_{p,r}^{s-1}} \\ &{} \times \bigl( \bigl\Vert w^{i} \bigr\Vert _{B_{p,r}^{s}}+ \bigl\Vert w^{i+j} \bigr\Vert _{B_{p,r}^{s}}+ \bigl\Vert w^{i+1} \bigr\Vert _{B_{p,r}^{s}}+1 \bigr)^{2} \,d \tau \biggr]. \end{aligned}$$
(2.9)

We note that the initial values satisfy

$$\begin{aligned} w_{0}^{i+j+1}-w_{0}^{i+1}=\sum _{q=i+1}^{i+j}\Delta _{q} w_{0}. \end{aligned}$$

We recognize that there exists a positive constant \(C_{ 1}\) independent of i such that

$$\begin{aligned} \bigl\Vert w^{i+j+1}-w^{i+1} \bigr\Vert _{L^{\infty}([0,T];B_{p,r}^{s-1})} \leq C_{ 1}2^{-i}. \end{aligned}$$

We arrive at the desired result.

Step four: Similar to the discussions in Step 4 in Sect. 3 in [38], we derive that the solution \(w \in E_{p,r}^{s}(T) \) is continuous.

Step five: We are in the position to present the uniqueness of solution.

Let \((p,r)\in [1,\infty ]^{2}, s>\operatorname{max}( \frac{1}{p},\frac{1}{2})\), \(w_{0}^{1}, w_{0}^{2} \in B_{p,r}^{s} \). \(w^{1} \) and \(w^{2} \) satisfy (1.2). \(w^{1},w^{2}\in L^{\infty}([0,T]; B_{p,r}^{s})\cap C([0,T];B_{p,r}^{s-1})\). We assume \(w^{12}=w^{1}-w^{2}\) and

$$\begin{aligned} w^{12}\in L^{\infty}\bigl([0,T];B_{p,r}^{s} \bigr) \cap C\bigl([0,T];B_{p,r}^{s-1}\bigr), \end{aligned}$$

which satisfies

$$\begin{aligned} \textstyle\begin{cases} (\partial _{t}+ ((v ^{1})^{2}+\beta )\partial _{x})w^{12} =- v^{12}(v^{1}+v^{2})(w^{2})_{x} +F_{1}(t,x), \\ w^{12}(0,x)=w_{0}^{12}=w_{0}^{1}-w_{0}^{2} \end{cases}\displaystyle \end{aligned}$$
(2.10)

and

$$\begin{aligned} F_{1}(t,x)=v^{12}\bigl(w^{1}\bigr)^{2}+v^{2} w^{12}\bigl(w^{1}+w^{2}\bigr) -v ^{12} \bigl(v^{1}+v^{2}\bigr)w^{1}-\bigl(v^{2} \bigr)^{2}w^{12}- \lambda w^{12}. \end{aligned}$$

Utilizing Lemma 2.14 in [39], we achieve

$$\begin{aligned} & e^{-C\int _{0}^{t} \Vert w^{1} \Vert _{B_{p,r}^{s }}^{2} \,d \tau} \bigl\Vert w^{12} \bigr\Vert _{B_{p,r}^{s}} \\ &\quad\leq \bigl\Vert w^{12}_{0} \bigr\Vert _{B_{p,r}^{s-1}} \\ &\qquad{}+ C \int _{0}^{t} e^{-C\int _{0}^{\tau } \Vert w^{1} \Vert _{B_{p,r}^{s }}^{2} \,d\xi} \bigl\Vert w^{12} \bigr\Vert _{B_{p,r}^{s}} \bigl( 1+\lambda + \bigl\Vert w^{1} \bigr\Vert _{B_{p,r}^{s}}+ \bigl\Vert w^{2} \bigr\Vert _{B_{p,r}^{s}} \bigr)^{2} \,d \tau. \end{aligned}$$

It holds that

$$\begin{aligned} \bigl\Vert w^{12} \bigr\Vert _{B_{p,r}^{s-1}} \leq \bigl\Vert w^{12}_{0} \bigr\Vert _{B_{p,r}^{s-1}} e^{C\int _{0}^{t} ( 1+\lambda + \Vert w^{1} \Vert _{B_{p,r}^{s}}+ \Vert w^{2} \Vert _{B_{p,r}^{s}})^{2} \,d \tau }. \end{aligned}$$
(2.11)

This completes the proof of Theorem 1.1.

Remark 2.1

We note that \((1-\partial _{x})^{-1}=(1-\partial _{x}^{2})^{-1}(1+\partial _{x})\) is \(S^{-1}\) multiplier. That is

$$\begin{aligned} & \Vert v \Vert _{B_{p,r}^{s}}\lesssim \Vert w \Vert _{B_{p,r}^{s-1}}, \\ & v(x)=(1-\partial _{x})^{-1}w(x) \\ &\phantom{v(x)} =\bigl(1-\partial _{x}^{2}\bigr)^{-1}(1+ \partial _{x})w(x) \\ & \phantom{v(x)}= \int _{x}^{\infty}e^{x-\xi}w(\xi )\,d\xi. \end{aligned}$$
(2.12)

3 Proofs of Theorems 1.2, 1.3, 1.4, and 1.5

3.1 Proof of Theorem 1.2

We assume that \(f(x)\in C_{c}^{\infty}(\mathbb{R})\) is the nonnegative mollifier. It holds that \(\int _{\mathbb{R}} f(x)\,dx=1\), \(f^{j}(x)=jf(jx)\), \(v_{0}^{j}=f^{j}\ast v_{0}\), and \(\Vert f^{j}\Vert _{L^{1}}=1\). \(v^{j}\) is the solution to problem (1.1) with initial value \(v_{0}^{j}\). \(\Delta _{q}(f^{j}\ast v_{0})=f^{j}\ast \Delta _{q} v_{0}\). That is,

$$\begin{aligned} \bigl\Vert v_{0}^{j} \bigr\Vert _{B_{p,r}^{s}}\leq \Vert v_{0} \Vert _{B_{p,r}^{s}}, \qquad\bigl\Vert v_{0}^{j} \bigr\Vert _{H^{1}} \leq \Vert v_{0} \Vert _{H^{1}}. \end{aligned}$$
(3.1)

It follows that \(v_{0}^{j}\in H^{3}\). From (1.1), we conclude

$$\begin{aligned} v^{j}(t,x)\in C\bigl([0,T];H^{3}\cap B_{p,r}^{s} \bigr)\cap C^{1}\bigl([0,T];H^{2} \cap B_{p,r}^{s-1} \bigr) \quad\text{for all }[0,T]\times \mathbb{R}, \end{aligned}$$

where \(T= \frac{C_{3}}{\Vert v\Vert _{L^{\infty}([0,T];B_{p,r}^{s})}}\). The sequence \((v^{j})_{j\in \mathbb{N}}\in E_{p,r}^{s}(T)\) is bounded.

It is deduced from (1.2) that

$$\begin{aligned} & \frac{1}{2}\frac{ d}{dt} \bigl\Vert w^{j} \bigr\Vert _{L^{2}}^{2} \\ &\quad= \int _{\mathbb{R}}w^{j}w^{j}_{t}\,dx \\ &\quad= \int _{\mathbb{R}}w^{j} \bigl[v^{j} \bigl(w^{j}\bigr)^{2}-\bigl(v^{j} \bigr)^{2}w^{j}-\lambda w^{j}- \beta w^{j}_{x}-\bigl(v^{j}\bigr)^{2}w^{j}_{x} \bigr]\,dx \\ &\quad= \int _{\mathbb{R}}w^{j} \bigl[v^{j} w^{j} \bigl(-v^{j}_{x}\bigr)-\lambda w^{j}- \beta w^{j}_{x}-\bigl(v^{j} \bigr)^{2}w^{j}_{x}\bigr]\,dx \\ &\quad\leq -\lambda \bigl\Vert w^{j} \bigr\Vert _{L^{2}}^{2}. \end{aligned}$$

Equivalently, we have

$$\begin{aligned} \bigl\Vert w^{j} \bigr\Vert _{L^{2}}^{2}= \int _{\mathbb{R}}\bigl(v^{j}-v^{j}_{x} \bigr)^{2}\,dx= \int _{\mathbb{R}}\bigl[\bigl(v^{j}\bigr)^{2}-2v^{j}v^{j}_{x}+ \bigl(v^{j}_{x}\bigr)^{2}\bigr] \,dx= \bigl\Vert v^{j} \bigr\Vert _{H^{1}}^{2}. \end{aligned}$$

It is equal to check that

$$\begin{aligned} \bigl\Vert v^{j}(t) \bigr\Vert _{H^{1}}\leq \bigl\Vert v_{0}^{j} \bigr\Vert _{H^{1}}\leq \Vert v_{0} \Vert _{H^{1}} \quad\text{for all } t\in [0,T]. \end{aligned}$$
(3.2)

Sending \(j\rightarrow \infty \) in (3.2), we come to the estimate

$$\begin{aligned} \bigl\Vert v (t) \bigr\Vert _{H^{1}}\leq \Vert v_{0} \Vert _{H^{1}} \quad\text{for all } t\in [0,T]. \end{aligned}$$
(3.3)

The proof of Theorem 1.2 is finished.

3.2 Proof of Theorem 1.3

We present a lemma that is applied in the proof.

Lemma 3.1

([40])

Let \(1\leq p, r\leq \infty \), and \(0< s<1\). There exists a positive constant C, which is independent of \(w, g\) such that

$$\begin{aligned} \bigl\Vert [\Delta _{j}, w\cdot \nabla ]g \bigr\Vert _{B_{p,r}^{s}}\leq C \Vert \nabla w \Vert _{L^{\infty}} \Vert g \Vert _{B_{p,r}^{s}}. \end{aligned}$$

Applying the operator \(\Delta _{q} \) to (1.2) yields

$$\begin{aligned} \bigl(\partial _{t}+\bigl(v^{2}+\beta \bigr) \partial _{x}\bigr)\Delta _{q} w=\bigl[v^{2}, \Delta _{q}\bigr]\partial _{x}w+ F_{2}(t,x)- \lambda \Delta _{q}w, \end{aligned}$$
(3.4)

where

$$\begin{aligned} F_{2}(t,x)=\Delta _{q} \bigl[vw^{2}-v^{2}w \bigr]. \end{aligned}$$

If \(\frac{1}{2}< s<1\), then taking advantage of Lemma 3.1, we acquire

$$\begin{aligned} \bigl\Vert \bigl[v^{2},\Delta _{q}\bigr] \partial _{x}w \bigr\Vert _{B_{p,r}^{s }}& \lesssim \bigl\Vert \partial _{x}\bigl(v^{2}\bigr) \bigr\Vert _{L^{\infty}} \Vert w \Vert _{B_{p,r}^{s }} \\ & \leq \Vert v \Vert _{L^{\infty}} \Vert v_{x} \Vert _{L^{\infty}} \Vert w \Vert _{B_{p,r}^{s }}. \end{aligned}$$
(3.5)

A straightforward computation gives rise to

$$\begin{aligned} & \bigl\Vert vw^{2} \bigr\Vert _{B_{p,r}^{s }} \lesssim \bigl( \Vert v \Vert _{L^{\infty}} \Vert w \Vert _{L^{ \infty}} + \Vert w \Vert _{L^{\infty}}^{2}\bigr) \Vert w \Vert _{B_{p,r}^{s }} \end{aligned}$$
(3.6)

and

$$\begin{aligned} & \bigl\Vert v^{2}w \bigr\Vert _{B_{p,r}^{s }} \lesssim \bigl( \Vert v \Vert _{L^{\infty}}^{2}+ \Vert v \Vert _{L^{\infty}} \Vert w \Vert _{L^{\infty}} \bigr) \Vert w \Vert _{B_{p,r}^{s }}. \end{aligned}$$
(3.7)

A simple calculation shows

$$\begin{aligned} & \frac{1}{p}\frac{d}{dt} \Vert \Delta _{q}w \Vert _{L^{p}}^{p} \\ &\quad\lesssim \bigl\Vert \partial _{x}\bigl(v^{2}+\beta \bigr) \bigr\Vert _{L^{\infty}} \Vert \Delta _{q}w \Vert _{L^{p}}^{p}+ \bigl\Vert \bigl[v^{2}, \Delta _{q}\bigr]\partial _{x}w \bigr\Vert _{L^{p}} \Vert \Delta _{q}w \Vert _{L^{p}}^{p-1} \\ &\qquad{}+ \bigl\Vert F_{2}(t,x) \bigr\Vert _{L^{p}} \Vert \Delta _{q}w \Vert _{L^{p}}^{p-1} -\lambda \Vert \Delta _{q}w \Vert _{L^{p}}^{p}, \end{aligned}$$
(3.8)

which results in

$$\begin{aligned} \frac{d}{dt} \Vert \Delta _{q}w \Vert _{L^{p}}\lesssim {}&\bigl\Vert \partial _{x} \bigl(v^{2}\bigr) \bigr\Vert _{L^{\infty}} \Vert \Delta _{q}w \Vert _{L^{p}}+ \bigl\Vert \bigl[v^{2}, \Delta _{q}\bigr] \partial _{x}w \bigr\Vert _{L^{p}} \\ &{} + \bigl\Vert F_{2}(t,x) \bigr\Vert _{L^{p}}-\lambda \Vert \Delta _{q}w \Vert _{L^{p}}. \end{aligned}$$
(3.9)

That is,

$$\begin{aligned} & \bigl\Vert w(t) \bigr\Vert _{B_{p,r}^{s }} \\ &\quad\lesssim \Vert w_{0} \Vert _{B_{p,r}^{s }} + \int _{0}^{t} \bigl( \Vert v \Vert _{L^{\infty}} \Vert v_{x} \Vert _{L^{ \infty}} + \Vert v \Vert _{L^{\infty}} \Vert w \Vert _{L^{ \infty}} \\ &\qquad{}+ \Vert w \Vert _{L^{\infty}} ^{2} + \Vert v \Vert _{L^{\infty}} ^{2}-\lambda \bigr) \bigl\Vert w(\tau ) \bigr\Vert _{B_{p,r}^{s }} \,d\tau \\ &\quad\lesssim \Vert w_{0} \Vert _{B_{p,r}^{s }} + \int _{0}^{t} \bigl( \Vert w \Vert _{L^{\infty}} ^{2}-\lambda \bigr) \bigl\Vert w(\tau ) \bigr\Vert _{B_{p,r}^{s }} \,d\tau. \end{aligned}$$
(3.10)

Employing (3.10) leads to

$$\begin{aligned} \bigl\Vert w(t) \bigr\Vert _{B_{p,r}^{s }} \lesssim \Vert w_{0} \Vert _{B_{p,r}^{s }} e^{\int _{0}^{t} ( \Vert w \Vert _{L^{ \infty}} ^{2}-\lambda ) \,d\tau}. \end{aligned}$$
(3.11)

If

$$\begin{aligned} \int _{0}^{t} \bigl( \Vert w \Vert _{L^{\infty}} ^{2}-\lambda \bigr) \,d \tau < \infty, \end{aligned}$$
(3.12)

then we derive that \(\Vert w(T^{\ast})\Vert _{B_{p,r}^{s }}\) is bounded, where \(T^{\ast}<\infty \) is the maximal existence time. This yields a contradiction. This finishes the proof of Theorem 1.3.

3.3 Proof of Theorem 1.4

Based on the density argument, we need to illustrate the proof of Theorem 1.4 with \(s\geq 2\). Therefore, we calculate \(\Vert w\Vert _{ H^{1}}\) for simplicity.

According to (1.2), we come to

$$\begin{aligned} & \frac{1}{2}\frac{ d}{dt} \int _{\mathbb{R}} \bigl[w ^{2} +w_{x}^{2} \bigr] \,dx \\ &\quad= \int _{\mathbb{R}} w_{x} \bigl[ \bigl(vw^{2}-v^{2}w-v^{2}w_{x} \bigr)_{x}- \lambda w_{x}+\beta w_{xx}\bigr] \,dx \\ &\quad\lesssim \int _{\mathbb{R}} \bigl(vww_{x}^{2}-\lambda w_{x}^{2}\bigr)\,dx+ C_{1} \Vert w \Vert _{H^{1}}^{2}. \end{aligned}$$
(3.13)

We suppose that the positive constant M satisfies \(vw\leq M\), \(t\in [0,T]\), \(T<\infty \). We then conclude that

$$\begin{aligned} \bigl\Vert w(t) \bigr\Vert _{H^{1}}^{2} \lesssim \Vert w_{0} \Vert _{H^{1}}^{2}e^{ (M-\lambda )t}, \end{aligned}$$

which contradicts that \(T<\infty \) is the maximal existence time. The proof of Theorem 1.4 is completed.

3.4 Proof of Theorem 1.5

We consider the problem

$$\begin{aligned} \textstyle\begin{cases} \frac{d}{dt}p(t,x)=( v ^{2}+\beta )(t,p(t,x)), \quad t\in (0,T), x \in \mathbb{R}, \\ p(0,x)=x, \quad x\in \mathbb{R}. \end{cases}\displaystyle \end{aligned}$$
(3.14)

The solution \(p\in C^{1}([0,T], \mathbb{R})\) to problem (3.14) is unique. We recognize that

$$\begin{aligned} p_{x}(t,x)=e^{\int _{0}^{t}(2vv_{x})(\tau,p(\tau,x)) \,d\tau} \quad\text{for all } (t,x)\in [0,T]\times \mathbb{R}. \end{aligned}$$
(3.15)

We deduce

$$\begin{aligned} & \frac{d}{dt}\bigl[t,w\bigl(p(t,x) \bigr)p_{x}^{\frac{1}{2} }(t,x) \bigr] \\ &\quad=(w_{t}+w_{x}p_{t})p_{x}^{\frac{1}{2} } +\frac{1}{2}wp_{x}^{- \frac{1}{2} }p_{xt} \\ &\quad=\bigl[w_{t}+w_{x}\bigl(v^{2}+\beta \bigr)+vv_{x}w\bigr]p_{x}^{\frac{1}{2} } \\ &\quad=-\lambda wp_{x}^{\frac{1}{2} }. \end{aligned}$$
(3.16)

Thus, we achieve

$$\begin{aligned} &w\bigl(p(t,x),t\bigr)p_{x}^{\frac{1}{2} }(t,x)=w_{0}(x)e^{-\lambda t}. \end{aligned}$$

An application of (3.15) gives rise to

$$\begin{aligned} w\bigl(t,p(t,x)\bigr) =w_{0}(x)e^{\int _{0}^{t}(-vv_{x} -\lambda )\,d\tau}. \end{aligned}$$
(3.17)

If \(u_{0}\) is compactly supported in \([a_{u_{0}},b_{u_{0}} ]\), then \(w_{0}\) is compactly supported in \([p(t, a_{u_{0}} ), p(t, b_{u_{0}} )]\). We deduce from (3.17) that \(w(t,x)\) has its support in the interval \([p(t, a_{u_{0}} ), p(t, b_{u_{0}} )]\). From (2.12), we acquire that \(u(t,x)\) is compactly supported in \([p(t, a_{u_{0}} ), p(t, b_{u_{0}} )]\). This completes the proof of Theorem 1.5.

3.5 Proof of Theorem 1.6

First of all, we illustrate a useful lemma.

Lemma 3.2

([41])

Let \(v\in C^{1}([0,T);H^{3}(\mathbb{R}))\) and \(n=v(v-v_{x})\). Then, for all \(t\in [0,T)\), there exists at least one point \(\xi (t)\in \mathbb{R}\) with

$$\begin{aligned} n (t)=\sup_{x\in \mathbb{R}}n(t,x)=n\bigl(t,\xi (t)\bigr). \end{aligned}$$
(3.18)

The function \(n (t)\) is absolutely continuous on \((0,T)\) with

$$\begin{aligned} \frac{ d}{dt} n (t)=n_{ t}\bigl(t,\xi (t)\bigr). \end{aligned}$$

Here, we set \(s=2\) in view of the density argument. We observe

$$\begin{aligned} & \frac{d}{dt}\bigl[v w\bigl(t,p(t,x)\bigr)\bigr] + \bigl(v^{2}+\beta \bigr)\partial _{x}(v w) \\ &\quad=v_{t}w+vw_{t}+v^{2}v_{x}w+v^{3}w_{x}+ \beta (v w)_{x} \\ &\quad= -2\lambda vw+v^{2}w^{2} -w\bigl(1-\partial ^{2}_{x}\bigr)^{-1}(1+\partial _{x}) \bigl[ vw^{2}\bigr] \\ &\quad\geq (v w )^{2}-2\lambda v w-w \int _{x}^{\infty}e^{x-\xi}v(t,\xi )w^{2}(t, \xi )\,d\xi \\ &\quad\geq (v w )^{2}-2\lambda v w-w e^{x}\Bigl[\sup _{\xi \geq x}e^{-\xi}v(t, \xi )\Bigr] \int _{x}^{\infty}w^{2}(t,\xi )\,d\xi. \end{aligned}$$
(3.19)

It is deduced by a straightforward computation that

$$\begin{aligned} \frac{d}{d\xi}\bigl(e^{-\xi}v(t,\xi ) \bigr)=e^{-\xi} \bigl(v_{x}(t,\xi )-v(t,\xi ) \bigr)=-e^{- \xi}w(t,\xi )\leq 0. \end{aligned}$$
(3.20)

Eventually, we derive \(\sup_{\xi \geq x}[e^{-\xi}v(t,\xi )]=e^{-x}v(t,x)\). It follows from Theorem 1.2 that

$$\begin{aligned} \int _{x}^{\infty}w^{2}(t,\xi )\,d\xi \leq \Vert w \Vert _{L^{2}}^{2} \leq \Vert w_{0} \Vert _{L^{2}}^{2}= \Vert v_{0} \Vert _{H^{1}}^{2}. \end{aligned}$$
(3.21)

Utilizing (3.17), (3.18), and (3.19), we arrive at

$$\begin{aligned} & \frac{d}{dt}\bigl[v w\bigl(t,p(t,x)\bigr)\bigr] +\bigl[ \bigl(v^{2}+\beta \bigr)\partial _{x}(vw) \bigl(t,p(t,x) \bigr)\bigr] \\ &\quad\geq (v w )^{2}-2\lambda v w-w e^{x}\sup _{\xi \geq x}e^{-\xi}v( \xi ) \int _{x}^{\infty}w^{2}(\xi )\,d\xi \\ &\quad\geq (v w )^{2}-2\lambda v w-v w \Vert v_{0} \Vert _{H^{1}}^{2} \\ &\quad\geq (v w )^{2}- \lambda _{1} v w, \end{aligned}$$
(3.22)

where \(\lambda _{1}=2\lambda +\Vert v_{0}\Vert _{H^{1}}^{2}\).

Let \(n(t)=\sup_{x\in \mathbb{R}}[v w(t,p(t,x))]\). Making use of Lemma 3.2, we acquire that there exists \(\xi (t)\) with \(t\in [0,T)\) such that

$$\begin{aligned} n_{1}(t)=\sup_{x\in \mathbb{R}}n(t,x)=n \bigl(t,\xi (t)\bigr) \quad\text{for all } t\in [0,T). \end{aligned}$$

This in turn implies that \(n_{x}(t,\xi (t))=0\) for all \(t\in [0,T)\).

On the other hand, since \(p(t,\cdot ):\mathbb{R}\rightarrow \mathbb{R}\) is a diffeomorphism for all \(t\in [0,T)\), there exists \(x_{1}(t)\in \mathbb{R}\) such that \(p(t,x_{1}(t))=\xi (t) \) for all \(t\in [0,T)\).

Applying (3.22) gives rise to

$$\begin{aligned} \frac{d}{dt} n(t)\geq \bigl(n(t) \bigr)^{2}- \lambda _{1} n(t).\vadjust{\eject} \end{aligned}$$
(3.23)

Setting \(n_{2}(t)= -(n(t)-\frac{\lambda _{1}}{2})\), we have

$$\begin{aligned} \frac{d}{dt} n_{2}(t)\leq \bigl(n_{2}(t) \bigr)^{2}+K, \end{aligned}$$
(3.24)

where \(K=\frac{\lambda _{1}^{2}}{4}\).

Employing the assumption \(n_{0}(x_{0})> \lambda _{1}\) with the point \(x_{0}\) defined by \(n(x_{0})=\sup_{x\in \mathbb{R}}n_{0 }(x)\) in Theorem 1.6 and letting \(\xi (0)=x_{0}\), we deduce

$$\begin{aligned} n_{2}(0)=-\biggl(n_{1}(0)-\frac{\lambda _{1}}{2}\biggr)=- \biggl(n_{0}\bigl(\xi (0)\bigr)- \frac{\lambda _{1}}{2}\biggr) =- \biggl(n_{0}(x_{0})-\frac{\lambda _{1}}{2}\biggr)< - \sqrt{K}. \end{aligned}$$

We choose \(\delta \in (0,1)\) to satisfy \(-\sqrt{\delta} n_{2}(0) =\sqrt{ K}\).

We observe that \(n_{2}(0)= -(n(0) -\frac{\lambda _{1}}{2}) <-\sqrt{ K}\) and \(n_{2}(t)\) decreases on \([0,T)\). We set \(-\sqrt{\delta} n_{2}(0) =\sqrt{ K}\), where \(\delta \in (0,1)\). Direct calculations show

$$\begin{aligned} -\frac{1}{n_{2}(t)}+\frac{1}{n_{2}(0)}\leq -(1-\delta )t. \end{aligned}$$

We arrive at \(n_{2}(t)<0\), \(t\in [0,T)\), \(T\leq \frac{-1}{(1-\delta )n_{2}(0)}<\infty \), and \(n_{2}(0)=-(n(0)-\frac{\lambda _{1}}{2})<0\). As a consequence, we obtain

$$\begin{aligned} -\biggl[n \bigl(t,\xi (t )\bigr)-\frac{\lambda _{1}}{2}\biggr]={}&{-} \biggl[\bigl(v(v-v_{x})\bigr) \bigl(t,\xi (t )\bigr)- \frac{\lambda _{1}}{2}\biggr] \\ \leq{}& \frac{n(0)-\frac{\lambda _{1}}{2}}{-1+t(1-\delta )(n (0)-\frac{\lambda _{1}}{2})} \rightarrow -\infty \\ & \text{as } t\rightarrow \frac{1}{(1-\delta )(n (0)-\frac{\lambda _{1}}{2})}. \end{aligned}$$
(3.25)

The proof of Theorem 1.6 is finished.

4 Proof of Theorem 1.7

Let \(M=\sup_{t\in [0,T]}\Vert v (t)\Vert _{H^{s} } >0\) with \(s>\frac{5}{2}\). We derive

$$\begin{aligned} \bigl\Vert v (t) \bigr\Vert _{L^{\infty}}\leq \bigl\Vert v_{x}(t) \bigr\Vert _{L^{\infty}}\leq \bigl\Vert v_{xx}(t) \bigr\Vert _{L^{\infty}} \leq \bigl\Vert v(t) \bigr\Vert _{H^{s}}\leq M. \end{aligned}$$

We observe that the weight function

$$\begin{aligned} \varphi _{N}(x)=\textstyle\begin{cases} 1, & x\leq 0, \\ e^{\theta x}, & x\in (0,N), \\ e^{\theta N}, & x\geq N, \end{cases}\displaystyle \end{aligned}$$

satisfies \(0\leq (\varphi _{N}(x))_{x}\leq \varphi _{N}(x)\), where \(N\in \mathbb{N}^{\ast}\) and \(\theta \in (0,1)\). There exists a positive constant \(M_{0}\), which depends on θ such that

$$\begin{aligned} \varphi _{N}(x) \int _{\mathbb{R}}e^{-|x-y|}\frac{1}{\varphi _{N}(y)} \,dy \leq M_{0}. \end{aligned}$$

We rewrite the first equation in problem (1.1) in the form

$$\begin{aligned} v_{t} =G -\lambda v-\beta v_{x}, \end{aligned}$$
(4.1)

where

$$\begin{aligned} G(t,x)&=(1-\partial _{x})^{-1} \bigl[v^{2}v_{xx}+vv_{x}^{2}-2v^{2}v_{x} \bigr] \\ & = \int _{x}^{\infty} e^{x-y}\bigl(v^{2}v_{xx}+vv_{x}^{2}-2v^{2}v_{x} \bigr) (y)\,dy. \end{aligned}$$
(4.2)

Multiplying both sides of (4.2) by \(v^{2n-1}\varphi _{N}^{2n}\) with respect to the variable x over \(\mathbb{R}\) leads to

$$\begin{aligned} & \frac{1}{2n}\frac{ d}{dt} \Vert v \varphi _{N} \Vert _{L^{2n}}^{2n} \\ &\quad=\lambda \int _{\mathbb{R}}(v \varphi _{N})^{2n} \,dx-\beta \int _{ \mathbb{R}} \bigl[\partial _{x}(v \varphi _{N})-v (\varphi _{N})_{x} \bigr] (v \varphi _{N}) ^{2n-1} \,dx \\ &\qquad{}+ \int _{\mathbb{R}} (v \varphi _{N}) ^{2n-1}G \varphi _{N} \,dx \\ &\quad\leq \lambda \int _{\mathbb{R}}(v \varphi _{N})^{2n} \,dx+\beta \int _{ \mathbb{R}} ( v \varphi _{N}) (v \varphi _{N}) ^{2n-1} \,dx \\ &\qquad{}+ \int _{\mathbb{R}} (v \varphi _{N}) ^{2n-1}G \varphi _{N} \,dx \\ &\quad\leq (\lambda +\beta ) \Vert v \varphi _{N} \Vert _{L^{2n}} + \Vert v \varphi _{N} \Vert _{L^{2n}} ^{2n-1} \Vert G \varphi _{N} \Vert _{L^{2n}}. \end{aligned}$$
(4.3)

We then conclude that

$$\begin{aligned} & \frac{ d}{dt} \Vert v \varphi _{N} \Vert _{L^{2n}} \leq ( \lambda +\beta ) \Vert v \varphi _{N} \Vert _{L^{2n}} + \Vert G \varphi _{N} \Vert _{L^{2n}}. \end{aligned}$$
(4.4)

Sending \(n\rightarrow \infty \) in (4.4) gives rise to the estimate

$$\begin{aligned} & \frac{ d}{dt} \Vert v \varphi _{N} \Vert _{L^{\infty}} \leq (\lambda +\beta ) \Vert v \varphi _{N} \Vert _{L^{\infty}} + \Vert G \varphi _{N} \Vert _{L^{\infty}}. \end{aligned}$$
(4.5)

A direct computation shows

$$\begin{aligned} & \vert G \varphi _{N} \vert \\ &\quad= \biggl\vert \phi _{N} (x) \int _{x}^{\infty} e^{x-y}\bigl[v^{2}v_{xx}+vv_{x}^{2}-2v^{2}v_{x} \bigr](y)\,dy \biggr\vert \\ &\quad\leq \phi _{N} (x) \int _{x}^{\infty} e^{x-y} \bigl\vert \bigl[v^{2}v_{xx}+vv_{x}^{2}-2v^{2}v_{x} \bigr](y) \bigr\vert \,dy \\ &\quad\leq \phi _{N} (x) \int _{\mathbb{R}} e^{- \vert x-y \vert } \frac{1}{\phi _{N} (y)}\phi _{N} (y) \bigl\vert \bigl[v^{2}v_{xx}+vv_{x}^{2}-2v^{2}v_{x} \bigr](y) \bigr\vert \,dy \\ &\quad\lesssim \bigl( \Vert v \Vert _{L^{\infty}} \Vert v_{xx} \Vert _{L^{\infty}} + \Vert v_{x} \Vert _{L^{\infty}}^{2}+2 \Vert v \Vert _{L^{\infty}} \Vert v_{x} \Vert _{L^{ \infty}}\bigr) \Vert v \varphi _{N} \Vert _{L^{\infty}} \\ &\quad\lesssim M \Vert v \varphi _{N} \Vert _{L^{\infty}}. \end{aligned}$$
(4.6)

Taking advantage of the Gronwall inequality yields

$$\begin{aligned} & \Vert v \varphi _{N} \Vert _{L^{\infty}} \lesssim e^{( M+ \lambda +\beta )t} \Vert v_{0} \varphi _{N} \Vert _{L^{\infty}}. \end{aligned}$$
(4.7)

We achieve

$$\begin{aligned} &\sup_{t\in [0,T]} \bigl\Vert e^{\theta x}v \bigr\Vert _{L^{\infty}} \lesssim \bigl\Vert e^{\theta x}v_{0} \bigr\Vert _{L^{\infty}}. \end{aligned}$$

Therefore, we deduce

$$\begin{aligned} \vert v \vert \thicksim O\bigl(e^{-\theta x}\bigr) \quad\text{as } x\rightarrow \infty \end{aligned}$$

uniformly on \([0,T]\). The proof of Theorem 1.7 is completed.

Availability of data and materials

Not applicable.

References

  1. Novikov, V.: Generalizations of the Camassa–Holm equation. J. Phys. A 42, 342002 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  2. Cui, W.J., Han, L.J.: Infinite propagation speed and asymptotic behavior for a generalized Camassa–Holm equation with cubic nonlinearity. Appl. Math. Lett. 77, 13–20 (2018)

    Article  MathSciNet  MATH  Google Scholar 

  3. Gao, Y., Li, L., Liu, J.G.: A dispersive regularization for the modified Camassa–Holm equation. SIAM J. Math. Anal. 50, 2807–2838 (2018)

    Article  MathSciNet  MATH  Google Scholar 

  4. Huang, Y.Z., Yu, X.: Solitons and peakons of a nonautonomous Camassa–Holm equation. Appl. Math. Lett. 98, 385–391 (2019)

    Article  MathSciNet  MATH  Google Scholar 

  5. Li, J.L., Deng, W., Li, M.: Non-uniform dependence for higher dimensional Camassa–Holm equations in Besov spaces. Nonlinear Anal., Real World Appl. 63, 103420 (2022)

    Article  MathSciNet  MATH  Google Scholar 

  6. Li, J.L., Yu, Y.H., Zhu, W.P.: Ill-posedness for the CamassaHolm and related equations in Besov spaces. J. Differ. Equ. 306, 403–417 (2022)

    Article  MATH  Google Scholar 

  7. Li, M.G., Zhang, Q.T.: Generic regularity of conservative solutions to Camassa–Holm type equations. SIAM J. Math. Anal. 49, 2920–2949 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  8. Mi, Y.S., Liu, Y., Guo, B.L., Luo, T.: The Cauchy problem for a generalized Camassa–Holm equation. J. Differ. Equ. 266, 6739–6770 (2019)

    Article  MathSciNet  MATH  Google Scholar 

  9. Novruzova, E., Hagverdiyevb, A.: On the behavior of the solution of the dissipative Camassa–Holm equation with the arbitrary dispersion coefficient. J. Differ. Equ. 257, 4525–4541 (2014)

    Article  MathSciNet  Google Scholar 

  10. Silva, P.L., Freire, I.L.: Well-posedness, traveling waves and geometrical aspects of generalizations of the Camassa–Holm equation. J. Differ. Equ. 267, 5318–5369 (2019)

    Article  MATH  Google Scholar 

  11. Wang, F., Li, F.Q., Qiao, Z.J.: Well-posedness and peakons for a higher order μ-Camassa–Holm equation. Nonlinear Anal. 175, 210–236 (2018)

    Article  MathSciNet  MATH  Google Scholar 

  12. Yan, W., Li, Y.S., Zhai, X.P., Zhang, Y.M.: The Cauchy problem for higher-order modified Camassa–Holm equations on the circle. Nonlinear Anal. 187, 397–433 (2019)

    Article  MathSciNet  MATH  Google Scholar 

  13. Zhang, L.: Non-uniform dependence and well-posedness for the rotation-Camassa–Holm equation on the torus. J. Differ. Equ. 267, 5049–5083 (2019)

    Article  MathSciNet  MATH  Google Scholar 

  14. Zhou, Y., Chen, H.P.: Wave breaking and propagation speed for the Camassa–Holm equation with \(k\neq 0\). Nonlinear Anal., Real World Appl. 12, 1875–1882 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  15. Gui, G.L., Liu, Y., Luo, W., Yin, Z.Y.: On a two dimensional nonlocal shallow water model. Adv. Math. 392, 108021 (2021)

    Article  MathSciNet  MATH  Google Scholar 

  16. Alejo, M.A., Cortez, M.F., Kwak, C., Munoz, C.: On the dynamics of zero-speed solutions for Camassa–Holm-type equations. Int. Math. Res. Not. 2021(9), 6543–6585 (2021)

    Article  MathSciNet  MATH  Google Scholar 

  17. Constantin, A.: Existence of permanent and breaking waves for a shallow water equation: a geometric approach. Ann. Inst. Fourier 50(2), 321–362 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  18. Freire, I.L., Filho, N.S., Souza, L.C., Toffoli, C.E.: Invariants and wave breaking analysis of a Camassa–Holm type equation with quadratic and cubic nonlinearities. J. Differ. Equ. 269, 56–77 (2020)

    Article  MATH  Google Scholar 

  19. Guo, Z.G., Li, X.G., Yu, C.: Some properties of solutions to the Camassa–Holm-type equation with higher order nonlinearities. J. Nonlinear Sci. 28, 1901–1914 (2018)

    Article  MathSciNet  MATH  Google Scholar 

  20. Ji, S.G., Zhou, Y.H.: Wave breaking and global solutions of the weakly dissipative periodic Camassa–Holm type equation. J. Differ. Equ. 306, 439–455 (2022)

    Article  MathSciNet  MATH  Google Scholar 

  21. Li, M., Yin, Z.Y.: Blow-up phenomena and local well-posedness for a generalized Camassa–Holm equation with cubic nonlinearity. Nonlinear Anal. 151, 208–226 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  22. Madiyeva, A., Pelinovsky, D.E.: Growth of perturbations to the peaked periodic waves in the Camassa–Holm equation. SIAM J. Math. Anal. 53(3), 3016–3039 (2021)

    Article  MathSciNet  MATH  Google Scholar 

  23. Molinet, L.: A Liouville property with application to asymptotic stability for the Camassa–Holm equation. Arch. Ration. Mech. Anal. 230, 185–230 (2018)

    Article  MathSciNet  MATH  Google Scholar 

  24. Qiu, H.M., Zhong, L.Y., Shen, J.H.: Traveling waves in a generalized Camassa–Holm equation involving dual power law nonlinearities. Commun. Nonlinear Sci. Numer. Simul. 106, 106106 (2022)

    Article  MathSciNet  MATH  Google Scholar 

  25. Silva, P.L., Freire, I.L.: Integrability, existence of global solutions and wave breaking criteria for a generalization of the Camassa–Holm equation. Stud. Appl. Math. 145(3), 537–562 (2020)

    Article  MathSciNet  MATH  Google Scholar 

  26. Wu, X.: On the finite time singularities for a class of Degasperis–Procesi equations. Nonlinear Anal., Real World Appl. 44, 1–17 (2018)

    Article  MathSciNet  MATH  Google Scholar 

  27. Constantin, A., Ivanov, R.: Dressing method for the Degasperis–Procesi equation. Stud. Appl. Math. 138, 205–226 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  28. Molinet, L.: A rigidity result for the Holm–Staley b-family of equations with application to the asymptotic stability of the Degasperis–Procesi peakon. Nonlinear Anal., Real World Appl. 50, 675–705 (2019)

    Article  MathSciNet  MATH  Google Scholar 

  29. Cai, H., Chen, G., Chen, R.M., Shen, T.N.: Lipschitz metric for the Novikov equation. Arch. Ration. Mech. Anal. 229, 1091–1137 (2018)

    Article  MathSciNet  MATH  Google Scholar 

  30. Himonas, A., Holliman, C., Kenig, C.: Construction of two-peakon solutions and ill-posedness for the Novikov equation. SIAM J. Math. Anal. 50, 2968–3006 (2018)

    Article  MathSciNet  MATH  Google Scholar 

  31. Zhang, R.D., Yin, Z.Y.: Wave breaking and solitary wave solutions for a generalized Novikov equation. Appl. Math. Lett. 100, 106014 (2020)

    Article  MathSciNet  MATH  Google Scholar 

  32. Fu, Y., Qu, C.Z.: Well-posedness and wave breaking of the degenerate Novikov equation. J. Differ. Equ. 263, 4634–4657 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  33. Constantin, A., Kolev, B.: Integrability of invariant metrics on the diffeomorphism group of the circle. J. Nonlinear Sci. 16(2), 109–122 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  34. Kolev, B.: Bi-Hamiltonian systems on the dual of the Lie algebra of vector fields of the circle and periodic shallow water equations. Philos. Trans. R. Soc. Lond. A 365(1858), 2333–2357 (2007)

    MathSciNet  MATH  Google Scholar 

  35. Constantin, A.: Finite propagation speed for the Camassa–Holm equation. J. Math. Phys. 46(2), 023506 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  36. Henry, D.: Infinite propagation speed for the Degasperis–Procesi equation. J. Math. Anal. Appl. 311(2), 755–759 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  37. Himonas, A.A., Misiolek, G., Ponce, G., Zhou, Y.: Persistence properties and unique continuation of solutions of the Camassa–Holm equation. Commun. Math. Phys. 271(2), 511–522 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  38. Ming, S., Lai, S.Y., Su, Y.Q.: The Cauchy problem of a weakly dissipative shallow water equation. Appl. Anal. 98, 1387–1402 (2019)

    Article  MathSciNet  MATH  Google Scholar 

  39. Luo, W., Yin, Z.Y.: Local well-posedness and blow-up criteria for a two-component Novikov system in the critical Besov space. Nonlinear Anal. 122, 1–22 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  40. Bahouri, H., Chemin, J.Y., Danchin, R.: Fourier Analysis and Nonlinear Partial Differential Equations. Grun. Math., vol. 343. Springer, Heidelberg (2011)

    Book  MATH  Google Scholar 

  41. Constantin, A., Escher, J.: Wave breaking for nonlinear nonlocal shallow water equations. Acta Math. 181, 229–243 (1998)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

The authors would like to express their gratitude to Professors Shaoyong Lai and Han Yang for their useful suggestions and comments.

Funding

The project is supported by Science Foundation of North University of China (No. 11013241-2021), Natural Science Foundation of Shanxi Province of China (No. 201901D211276), Fundamental Research Program of Shanxi Province (No. 20210302123045, No. 202103021223182), National Natural Science Foundation of P. R. China (No. 11601446).

Author information

Authors and Affiliations

Authors

Contributions

All authors contributed equally to this work. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Jiayi Du.

Ethics declarations

Competing interests

The authors declare no competing interests.

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Ming, S., Du, J., Ma, Y. et al. Formation of singularity of solution to a nonlinear shallow water equation. J Inequal Appl 2023, 37 (2023). https://doi.org/10.1186/s13660-023-02943-z

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13660-023-02943-z

Keywords