Skip to main content

Sharp criteria of blow-up solutions for the cubic nonlinear beam equation

Abstract

In this paper, we obtain the precisely sharp criteria of blow-up and global existence for the cubic nonlinear beam equation in the \(H^{2}\) energy-critical and \(H^{2}\) sub-critical cases, respectively.

1 Introduction

In this paper, we consider the Cauchy problem of the nonlinear beam equation

$$ \textstyle\begin{cases} \frac{\partial ^{2}}{\partial t^{2}}u+\Delta ^{2} u+mu- \vert u \vert ^{2}u=0,\quad t\geq 0, x\in \mathbb{R}^{d}, \\ u(0,x)=u_{0}, \quad\quad \frac{\partial }{\partial t}u(0,x)=u_{1}, \end{cases} $$
(1.1)

where \(u=u(t,x)\): \(\mathbb{R}\times \mathbb{R}^{d} \to \mathbb{R}\) and d is the space dimension; \(\Delta ^{2}=\Delta \Delta \) and \(\Delta =\sum_{j=1}^{d}\frac{\partial ^{2}}{\partial x_{j}^{2}}\) is the Laplacian. The parameter \(m>0\). In fact, Eq. (1.1) is a class of fourth-order partial differential equations having different physical settings (see [19]). In particular, when \(d=1\), Eq. (1.1) is called Bretherton’s type equation, which appears in studying of weak interactions of dispersive waves (see [2]). When \(d=2\), Eq. (1.1) models the motion of the clamped plate and beams (see [15]). During the last two decades, Eq. (1.1) has been widely studied (see [18] for a review).

The local well-posedness of Cauchy problem (1.1) was established by Levandosky in [12, 13]. The stability of traveling waves and standing waves was investigated by Levandosky in [12, 13]. The asymptotic behavior and scattering properties of global solutions were widely studied in [3, 14, 17]. On the other hand, for the blow-up solutions, a sufficient condition for the existence of blow-up solutions was given by Hebey and Pausader in [9]. In the \(L^{2}\)-critical case: \(m=1\), \(d=4\), the sharp criteria and limiting profile of blow-up solutions were investigated by Zheng and Leng in [22].

This motivates us to further study the blow-up solutions of Eq. (1.1) in the following sense: Under what conditions will the waves become unstable to collapse (blow-up)? Under what conditions will the waves be stable for all time (global existence)? In other words, what are the sharp criteria of blow-up and global existence?

In the present paper, we focus on the two typical cases: \(H^{2}\) energy-critical (i.e., \(d=8\)) and \(H^{2}\) sub-critical (i.e., \(d=6\)). Indeed, we remark that Eq. (1.1) has the scaling symmetry \(v^{\lambda }:=\lambda ^{2}u(\lambda ^{4} t, \lambda x)\) provided \(m=0\). More precisely, when \(d=8\), \(v^{\lambda }\) is a solution of Eq. (1.1) provided u solves Eq. (1.1) and \(\Vert v^{\lambda } \Vert _{\dot{H}^{2}}=\Vert u\Vert _{\dot{H}^{2}}\). This case is called the \(H^{2}\) energy-critical (see [9]). And when \(d=6\), this case is called the \(H^{2}\) sub-critical due to \(\Vert v^{ \lambda }\Vert _{\dot{H}^{s}}=\Vert u\Vert _{\dot{H}^{s}}\) being invariant, where \(s<2\).

Our main arguments are from the studies of the nonlinear Schrödinger equations. In fact, Kenig and Merle in [11] and Holmer and Roudenko in [10] injected the sharp Gagliardo–Nirenberg inequality into the energy functional to obtain the sharp threshold of blow-up and global existence for the nonlinear Schrödinger equations, in which the scaling invariance and conservation of \(L^{2}\)-norm play a crucial role. For the cubic nonlinear Schrödinger equations with defect, Goubet and Hamraoui in [7] investigated both numerically and theoretically the influence of a defect on the blow-up of radial solutions to a cubic NLS equation in dimension two.

But for Eq. (1.1), the scaling invariance and conservation of \(L^{2}\)-norm fail, which is the main difficulty. For the \(H^{2}\) energy-critical case: \(d=8\), by injecting some new estimates into the best constant of the Sobolev embedding inequality, we find two invariant sets and obtain the precisely sharp criteria of blow-up and global existence for Eq. (1.1). For the \(H^{2}\) sub-critical case: and \(d=6\), the best constant of the Sobolev inequality is not determined, and the method in [11] for the \(H^{1}\) energy-critical Schrödinger equation and the method in [10] for the \(L^{2}\) sup-critical nonlinear Schrödinger equation cannot be directly applied. By exploring the convex properties of the energy functional, we can find two invariant sets and obtain precisely sharp criteria of blow-up and global existence for Eq. (1.1).

2 Notations and preliminaries

In this paper, we abbreviate \(L^{q}(\mathbb{R}^{d})\), \(\Vert \cdot \Vert _{L ^{q}(\mathbb{R}^{d})}\), \(H^{2}(\mathbb{R}^{d})\), \(\dot{H}^{2}( \mathbb{R}^{d})\), and \(\int _{\mathbb{R}^{d} }\cdot \,dx\) by \(L^{q}\), \(\Vert \cdot \Vert _{q}\), \(H^{2}\), \(\dot{H}^{2}\), and \(\int \cdot \,dx\). The various positive constants will be simply denoted by C.

The work space is defined by

$$ H^{2}:=\biggl\{ v\in L^{2} \Bigm| \int \bigl( \vert v \vert ^{2}+ \vert \nabla v \vert ^{2}+ \vert \Delta v \vert ^{2}\bigr)\,dx< + \infty \biggr\} . $$

The norm is denoted by \(\Vert v\Vert _{H^{2}}=(\Vert v\Vert _{2}^{2}+\Vert \nabla v\Vert _{2} ^{2}+\Vert \Delta v\Vert _{2}^{2})^{\frac{1}{2}}\), which is equivalent to \((\Vert v\Vert _{2}^{2}+\Vert \Delta v\Vert _{2}^{2})^{\frac{1}{2}}\). For Cauchy problem (1.1), we define two functionals in \(H^{2}\times L^{2}\) by

$$\begin{aligned}& E\biggl(\biggl(v(t),\frac{\partial }{\partial t}v(t)\biggr)\biggr):= \int \biggl[\frac{1}{2} \biggl\vert \frac{ \partial }{\partial t} v(t) \biggr\vert ^{2}+\frac{1}{2} \bigl\vert \Delta v(t) \bigr\vert ^{2}+ \frac{1}{2} \bigl\vert v(t) \bigr\vert ^{2}- \frac{1}{4} \bigl\vert v(t) \bigr\vert ^{4}\biggr]\,dx, \\& H\bigl(v(t)\bigr):= \int \biggl[\frac{1}{2} \bigl\vert v(t) \bigr\vert ^{2}\,dx-\frac{1}{4} \bigl\vert v(t) \bigr\vert ^{4}\biggr]\,dx. \end{aligned}$$

The functionals E and H are well-defined by the Sobolev embedding theorem (see [9]). The local well-posedness of Cauchy problem (1.1) is established by Hebey and Pausader in the energy space \(H^{2}\times L^{2}\) (see [9]) as follows.

Proposition 2.1

Let \(m=1\), \(1\leq d\leq 8\), and \((u_{0},u_{1})\in H^{2}\times L^{2}\). There exists a unique solution \(u(t,x)\) of Cauchy problem (1.1) on \([0,T)\) such that \(u(t,x)\in C([0,T);H^{2}\times L^{2})\). Moreover, either \(T=+\infty \) (global existence) or \(0< T<+\infty \) and \(\lim_{t\to T} \Vert u(t,x)\Vert _{H^{2}} =+\infty \) (blow-up). Furthermore, for all \(t\in [0,T)\), \(u(t,x)\) satisfies the following conservation law:

$$ E\biggl(\biggl(u(t),\frac{\partial }{\partial t}u(t)\biggr)\biggr)=E \bigl((u_{0},u_{1})\bigr). $$
(2.1)

Remark 2.2

It follows from Hebey and Pausader’s result in [9] that the local well-posedness of Cauchy problem (1.1) is also true in \(H^{2}\times L^{2}\). Moreover, let \(u(t,x)\in C([0,T);H^{2}\times L^{2})\) be the solution of Cauchy problem (1.1). If \(0< T<+ \infty \), then \(\lim_{t\to T} \Vert u(t, x)\Vert _{H^{2}} =+\infty \) or \(\limsup_{t\rightarrow T}\Vert u(t,x)\Vert _{L_{t}^{q}([0, T);L_{x} ^{r})}=+\infty \) (blow-up), where \((q,r)=(\frac{2(d+4)}{d-4}, \frac{2d(d+4)}{(d-4)(d+2)})\) is B-admissible.

Next, we introduce two important sharp inequalities, which are used to describe the sharp criteria of blow-up and global existence for Cauchy problem (1.1).

Lemma 2.3

Let \(v\in H^{2}\). Then

$$ \Vert v \Vert _{4}^{4}\leq \frac{2}{ \Vert Q \Vert _{2}^{2}} \Vert v \Vert _{2}^{\frac{8-d}{2}} \Vert \Delta v \Vert _{2}^{\frac{d}{2}}, $$
(2.2)

where Q is a ground state of

$$ \frac{d}{4}\Delta ^{2} Q+ \frac{8-d}{4} Q- \vert Q \vert ^{2}Q=0, \quad Q\in H^{2}. $$
(2.3)

Lemma 2.4

Let \(d=8\) and \(W(x)= \frac{8\sqrt{30}}{(1+\vert x\vert ^{2})^{2}}\) solve

$$ \Delta ^{2} W- \vert W \vert ^{2}W=0, \quad W\in \dot{H}^{2}. $$
(2.4)

Then the best constant \(C_{*}>0\) of the Sobolev inequality

$$ \Vert v \Vert _{4}\leq C_{*} \Vert \Delta v \Vert _{2}, \quad v\in \dot{H}^{2} $$
(2.5)

is given by \(C_{*}=\Vert \Delta W\Vert _{2}^{-\frac{1}{2}}\), where W is the solution of (2.4).

Remark 2.5

The sharp Gagliardo–Nirenberg inequality (2.2) was obtained by Fibich, Ilan, and Papanicolaou in [6], and the existence of the ground state solution of Eq. (2.3) was proved by Zhu, Zhang, and Yang in [23]. For the sharp generalized Gagliardo–Nirenberg inequalities (2.2) with fractional order derivatives, the readers can refer to [4, 5, 8, 21, 24, 25]. The sharp Sobolev inequality (2.5) was established in [1, 16, 20].

3 Sharp criteria of blow-up and global existence

In this section, we first consider the \(H^{2}\) energy-critical case: \(p=3\) and \(d=8\). By constructing the invariants, we can find the sharp criteria of blow-up and global existence for Cauchy problem (1.1).

Theorem 3.1

Let \(m=1\), \(p=3\), \(d=8\), and W be the solution of (2.4). Assume that \((u_{0}, u_{1})\in H^{2}\times L^{2}\) and

$$ E\bigl((u_{0},u_{1})\bigr)< \frac{1}{4} \Vert \Delta W \Vert _{2}^{2}. $$
(3.1)

Then

  1. (i)

    if \(\Vert \Delta u_{0}\Vert _{2}^{2}+\Vert u_{0}\Vert _{2}^{2}<\Vert \Delta W \Vert _{2}^{2}\), then the solution \(u(t,x)\) of Cauchy problem (1.1) exists globally, and \(u(t,x)\) satisfies that, for all time t,

    $$ \bigl\Vert \Delta u(t) \bigr\Vert _{2}^{2}+ \bigl\Vert u(t) \bigr\Vert _{2}^{2}< \Vert \Delta W \Vert _{2}^{2}, $$
    (3.2)
  2. (ii)

    if \(\Vert \Delta u_{0}\Vert _{2}^{2}+\Vert u_{0}\Vert _{2}^{2}>\Vert \Delta W \Vert _{2}^{2}\), then the solution \(u(t,x)\) of Cauchy problem (1.1) blows up in finite time \(0< T<+\infty \).

Proof

Firstly, applying the best constant of Sobolev inequality (2.5) to the energy functional E, for all \(t\in I\) (maximal existence interval), we get

$$ \begin{aligned}[b] E\biggl(\biggl(u(t), \frac{\partial }{\partial t}u(t)\biggr)\biggr) &\geq \frac{1}{2}\bigl( \bigl\Vert \Delta u(t) \bigr\Vert _{2}^{2}+ \bigl\Vert u(t) \bigr\Vert _{2}^{2}\bigr)-\frac{C_{*}^{4}}{4}\bigl( \bigl\Vert \Delta u(t) \bigr\Vert _{2}^{2}\bigr)^{2} \\ &\geq \frac{1}{2}\bigl( \bigl\Vert \Delta u(t) \bigr\Vert _{2}^{2}+ \bigl\Vert u(t) \bigr\Vert _{2}^{2} \bigr)-\frac{C _{*}^{4}}{4}\bigl( \bigl\Vert \Delta u(t) \bigr\Vert _{2}^{2}+ \bigl\Vert u(t) \bigr\Vert _{2}^{2} \bigr)^{2}, \end{aligned} $$
(3.3)

where \(C_{*}=\Vert \Delta W\Vert _{2}^{-\frac{1}{2}}\) and W is the solution of (2.4). Now, define a function on the interval \([0,+\infty )\) by

$$ f(y):=\frac{1}{2}y^{2}-\frac{C_{*}^{4}}{4}y^{4}. $$

Then, we see that \(f^{\prime }(y)=y-C_{*}^{4}y^{3}=y(1-C_{*}^{4}y^{2})\), and there are two roots for the equation \(f^{\prime }(y)=0\): \(y_{1}=0\), \(y_{2}=\frac{1}{C_{*}^{2}}=\Vert \Delta W\Vert _{2}\). Hence, \(y_{1}\) is the minimizer of \(f(y)\) and \(y_{2}\) is the maximum of \(f(y)\). Meanwhile, \(f(y)\) is increasing on \([y_{1},y_{2})\) and decreasing on \([y_{2},+ \infty )\). Note that \(f(y_{1})=0\) and \(f(y_{2})=\frac{\Vert \Delta W\Vert _{2}^{2}}{4}\). It follows from (2.1) and (3.1) that, for all \(t\in I\),

$$ f\Bigl(\sqrt{ \bigl\Vert \Delta u(t) \bigr\Vert _{2}^{2}+ \bigl\Vert u(t) \bigr\Vert _{2}^{2}}\Bigr)\leq E\biggl(\biggl(u(t),\frac{ \partial }{\partial t} u(t)\biggr)\biggr)=E\bigl((u_{0},u_{1})\bigr)< f(y_{2}). $$
(3.4)

Secondly, using the convexity and monotony of \(f(y)\) and the conservation of energy, we construct two invariant evolution flows generated by Cauchy problem (1.1) as follows:

$$\begin{aligned}& K_{1}:=\biggl\{ u(t)\in H^{2} \setminus \{0\} \Bigm| \bigl\Vert \Delta u(t) \bigr\Vert _{2}^{2}+ \bigl\Vert u(t) \bigr\Vert _{2}^{2}< \Vert \Delta W \Vert _{2}^{2}, 0< E< \frac{ \Vert \Delta W \Vert _{2}^{2}}{4} \biggr\} , \\& K_{2}:=\biggl\{ u(t)\in H^{2}\setminus \{0\} \Bigm| \bigl\Vert \Delta u(t) \bigr\Vert _{2}^{2}+ \bigl\Vert u(t) \bigr\Vert _{2}^{2}> \Vert \Delta W \Vert _{2}^{2}, 0< E< \frac{ \Vert \Delta W \Vert _{2}^{2}}{4} \biggr\} , \end{aligned}$$

where \(E:=E((u(t),\frac{\partial }{\partial t}u(t)))\). Indeed, if \(u_{0}\in K_{1}\), i.e., \(\Vert \Delta u_{0}\Vert _{2}^{2}+\Vert u_{0}\Vert _{2}^{2}< \Vert \Delta W\Vert _{2}^{2}\), then \(\sqrt{\Vert \Delta u_{0}\Vert _{2}^{2}+\Vert u_{0} \Vert _{2}^{2}}< y_{2}\). Since \(f(y)\) is increasing on \([0,y_{2})\) and for all \(t\in I\),

$$ f\Bigl(\sqrt{ \bigl\Vert \Delta u(t) \bigr\Vert _{2}^{2}+ \bigl\Vert u(t) \bigr\Vert _{2}^{2}}\Bigr)\leq E\bigl((u_{0},u _{1})\bigr)< \frac{ \Vert \Delta W \Vert _{2}^{2}}{4}=f_{\max }=f(y_{2}). $$
(3.5)

According to the bootstrap and continuity argument, we can show that the corresponding solution \(u(t,x)\) satisfies that, for all \(t\in I\),

$$ \sqrt{ \bigl\Vert \Delta u(t) \bigr\Vert _{2}^{2}+ \bigl\Vert u(t) \bigr\Vert _{2}^{2}}< y_{2}, $$
(3.6)

which implies that \(K_{1}\) is invariant. In fact, if (3.6) is not true, then there exists \(t_{1}\in I\) such that \(\sqrt{\Vert \Delta u(t _{1})\Vert _{2}^{2}+\Vert u(t_{1})\Vert _{2}^{2}}\geq y_{2}\). Since the corresponding solution \(u(t,x)\in C([0,T);H^{2}\times L^{2})\) of Cauchy problem (1.1) is continuous with respect to t, there exists \(0< t_{0}\leq t_{1}\) such that

$$ \sqrt{ \bigl\Vert \Delta u(t_{0}) \bigr\Vert _{2}^{2}+ \bigl\Vert u(t_{0}) \bigr\Vert _{2}^{2}}= y_{2}. $$

Thus, injecting this into (3.5) with \(t=t_{0}\),

$$ f(y_{2})= f\Bigl(\sqrt{ \bigl\Vert \Delta u(t_{0}) \bigr\Vert _{2}^{2}+ \bigl\Vert u(t_{0}) \bigr\Vert _{2}^{2}}\Bigr) \leq E \bigl((u_{0},u_{1})\bigr)< \frac{ \Vert \Delta W \Vert _{2}^{2}}{4}=f_{\max }=f(y_{2}), $$

which is a contradiction. Hence, (3.6) is true. On the other hand, if \(u_{0}\in K_{2}\), i.e., \(\Vert \Delta u_{0}\Vert _{2}^{2}+\Vert u_{0}\Vert _{2}^{2}>\Vert \Delta W\Vert _{2}^{2}\), then \(\sqrt{\Vert \Delta u_{0}\Vert _{2} ^{2}+\Vert u_{0}\Vert _{2}^{2}}>y_{2}\). Since \(f(y)\) is decreasing on \([y_{2},+\infty )\) and for all \(t\in I\),

$$ f\Bigl(\sqrt{ \bigl\Vert \Delta u(t) \bigr\Vert _{2}^{2}+ \bigl\Vert u(t) \bigr\Vert _{2}^{2}} \Bigr)\leq E\bigl((u_{0},u _{1})\bigr)< \frac{ \Vert \Delta W \Vert _{2}^{2}}{4}=f_{\max }=f(y_{2}). $$

According to the bootstrap and continuity argument (see the proof of the invariance of \(K_{1}\)), the corresponding solution \(u(t,x)\) satisfies that, for all \(t\in I\),

$$ \sqrt{ \bigl\Vert \Delta u(t) \bigr\Vert _{2}^{2}+ \bigl\Vert u(t) \bigr\Vert _{2}^{2}}>y_{2}, $$
(3.7)

which implies that \(K_{2}\) is invariant.

Finally, we return to the proof of Theorem 3.1. By (3.1) and \(\Vert \Delta u_{0}\Vert _{2}^{2}+\Vert u_{0}\Vert _{2}^{2}<\Vert \Delta W\Vert _{2}^{2}\), we get \(u_{0}\in K_{1}\). Applying the invariant of \(K_{1}\), (3.2) is true and the solution \(u(t,x)\) of Cauchy problem (1.1) exists globally by the local well-posedness (see Proposition 2.1). This completes part (i) of the proof.

On the other hand, (3.1) and \(\Vert \Delta u_{0}\Vert _{2}^{2}+\Vert u_{0} \Vert _{2}^{2}>\Vert \Delta W\Vert _{2}^{2}\) imply \(u_{0}\in K_{2}\). Applying the invariant of \(K_{2}\), (3.7) is true. According to the conservation of energy and assumption (3.1), we deduce that, for all \(t\in I\),

$$ \begin{aligned}[b] \bigl\Vert u(t) \bigr\Vert _{4}^{4}&= -4 E\bigl((u_{0},u_{1}) \bigr)+2 \biggl\Vert \frac{ \partial }{\partial t}u(t) \biggr\Vert _{2}^{2}+2 \bigl\Vert \Delta u(t) \bigr\Vert _{2}^{2}+2 \bigl\Vert u(t) \bigr\Vert _{2}^{2} \\ &>- \Vert \Delta W \Vert _{2}^{2}+2 \biggl\Vert \frac{\partial }{\partial t}u(t) \biggr\Vert _{2} ^{2}+2 \bigl\Vert \Delta u(t) \bigr\Vert _{2}^{2}+2 \bigl\Vert u(t) \bigr\Vert _{2}^{2}. \end{aligned} $$
(3.8)

Letting \(J(t):=\int \vert u(t,x)\vert ^{2}\,dx\) and computing the derivatives of \(J(t)\), we see that, for all \(t\in I\), \(J^{\prime }(t)=2 \int u(t)\frac{ \partial }{\partial t}u(t)\,dx\) and

$$ J^{\prime \prime }(t) =2 \int \biggl( \biggl\vert \frac{\partial }{\partial t}u(t) \biggr\vert ^{2}+ \bigl\vert u(t) \bigr\vert ^{4}- \bigl\vert \Delta u(t) \bigr\vert ^{2}- \bigl\vert u(t) \bigr\vert ^{2}\biggr)\,dx. $$
(3.9)

Inject (3.8) into (3.9). For all \(t\in I\),

$$ J^{\prime \prime }(t)\geq 6 \biggl\Vert \frac{\partial }{\partial t}u(t) \biggr\Vert _{2}^{2}-2 \Vert \Delta W \Vert _{2}^{2}+2 \bigl\Vert \Delta u(t) \bigr\Vert _{2}^{2}+2 \bigl\Vert u(t) \bigr\Vert _{2}^{2}>6 \biggl\Vert \frac{\partial }{\partial t}u(t) \biggr\Vert _{2}^{2}, $$
(3.10)

which implies that \(J^{\prime \prime }(t)\) is positive and has a lower bound for all \(t\in I\). Applying the Hölder inequality to \(J^{\prime }(t)\), we get

$$ \bigl(J^{\prime }(t)\bigr)^{2}\leq 4 \bigl\Vert u(t) \bigr\Vert _{2}^{2} \biggl\Vert \frac{\partial }{\partial t}u(t) \biggr\Vert _{2}^{2} $$

for all \(t\in I\). Multiplying (3.10) with \(J(t)\), we deduce that, for all \(t\in I\),

$$ J(t)J^{\prime \prime }(t)>6 \biggl\Vert \frac{\partial }{\partial t}u(t) \biggr\Vert _{2}^{2} \bigl\Vert u(t) \bigr\Vert _{2}^{2}>\frac{3}{2}\bigl(J^{\prime }(t) \bigr)^{2}, $$
(3.11)

and there exists \(t_{0}>0\) such that \(J^{\prime }(t)>0\) for all \(t>t_{0}\). Therefore, as the proof of Theorem 3.1, the solution \(u(t,x)\) of Cauchy problem (1.1) blows up in finite time \(0< T<+\infty \). □

Now, we investigate the sharp criteria of blow-up and global existence for Cauchy problem (1.1) in the \(H^{2}\) sub-critical case: \(p=3\) and \(d=6\).

Theorem 3.2

Let \(m=1\), \(p=3\), and \(d=6\). Assume that \((u_{0}, u_{1})\in H^{2} \times L^{2}\) and

$$ E\bigl((u_{0},u_{1})\bigr)< \frac{\sqrt{3}}{6} \Vert Q \Vert _{2}^{2}. $$
(3.12)

Then

  1. (i)

    if \(\Vert \Delta u_{0}\Vert _{2}<(\frac{4}{3})^{\frac{1}{4}}\Vert Q\Vert _{2}\), then the solution \(u(t,x)\) of Cauchy problem (1.1) exists globally and \(u(t,x)\) satisfies that, for all time t,

    $$ \bigl\Vert \Delta u(t) \bigr\Vert _{2}< \biggl(\frac{4}{3}\biggr)^{\frac{1}{4}} \Vert Q \Vert _{2}, $$
    (3.13)
  2. (ii)

    if \(\Vert \Delta u_{0}\Vert _{2}>(\frac{4}{3})^{\frac{1}{4}}\Vert Q\Vert _{2}\), then the solution \(u(t,x)\) of Cauchy problem (1.1) blows up in finite time \(0< T<+\infty \),

where Q is the ground state of (2.3).

Proof

It follows from the proof of Theorem 3.1 that we give the main schedule of the proof of Theorem 3.2 in the following. From the sharp generalized Gagliardo–Nirenberg inequality (2.2) with \(d=6\), we see that, for all \(t\in I\) (maximal existence interval),

$$\begin{aligned} E\biggl(\biggl(u(t),\frac{\partial }{\partial t}u(t)\biggr)\biggr) & \geq \frac{1}{2} \bigl\Vert \Delta u(t) \bigr\Vert _{2}^{2}+ \frac{1}{2} \bigl\Vert u(t) \bigr\Vert _{2}^{2}- \frac{1}{2 \Vert Q \Vert _{2}^{2}} \bigl\Vert u(t) \bigr\Vert _{2} \bigl\Vert \Delta u(t) \bigr\Vert _{2}^{3} \\ &\geq \frac{1}{2} \bigl\Vert \Delta u(t) \bigr\Vert _{2}^{2}+\frac{1}{2} \bigl\Vert u (t) \bigr\Vert _{2}^{2}- \frac{1}{2} \bigl\Vert u(t) \bigr\Vert _{2}^{2}-\frac{1}{8 \Vert Q \Vert _{2}^{4}} \bigl\Vert \Delta u(t) \bigr\Vert _{2}^{6} \\ &\geq \frac{1}{2} \bigl\Vert \Delta u(t) \bigr\Vert _{2}^{2}-\frac{1}{8 \Vert Q \Vert _{2}^{4}} \bigl\Vert \Delta u(t) \bigr\Vert _{2}^{6}. \end{aligned}$$
(3.14)

Define a function \(f(y)\) on the interval \([0,+\infty )\) by

$$ f(y)=\frac{1}{2}y^{2}-\frac{1}{8 \Vert Q \Vert _{2}^{4}}y^{6}. $$

We see that \(y_{1}=0\) is the minimizer of \(f(y)\) and \(y_{2}=( \frac{4}{3})^{\frac{1}{4}}\Vert Q\Vert _{2}\) is the maximum of \(f(y)\). Meanwhile, \(f(y)\) is increasing on \([y_{1},y_{2})\) and decreasing on \([y_{2},+\infty )\). Note that \(f(y_{1})=0\) and \(f(y_{2})=\frac{2 \sqrt{3}}{9}\Vert Q\Vert _{2}^{2}\). By (2.1) and (3.12), we see that, for all \(t\in I\),

$$ f\bigl( \bigl\Vert \Delta u(t) \bigr\Vert _{2}\bigr)\leq E\biggl(\biggl(u(t),\frac{\partial }{\partial t}u(t)\biggr) \biggr)=E\bigl((u _{0},u_{1})\bigr)< \frac{\sqrt{3}}{6} \Vert Q \Vert _{2}^{2}< f(y_{2}). $$
(3.15)

Then, as in the proof of Theorem 3.1, we can construct two invariant evolution flows generated by Cauchy problem (1.1) as follows:

$$\begin{aligned}& K_{1}:=\biggl\{ u(t)\in H^{2}\setminus \{0\} \Bigm| \bigl\Vert \Delta u(t) \bigr\Vert _{2}< \biggl( \frac{4}{3} \biggr)^{\frac{1}{4}} \Vert Q \Vert _{2}, 0< E< \frac{\sqrt{3}}{6} \Vert Q \Vert _{2}^{2}\biggr\} , \\& K_{2}:=\biggl\{ u(t)\in H^{2}\setminus \{0\} \Bigm| \bigl\Vert \Delta u(t) \bigr\Vert _{2}>\biggl( \frac{4}{3} \biggr)^{\frac{1}{4}} \Vert Q \Vert _{2}, 0< E< \frac{\sqrt{3}}{6} \Vert Q \Vert _{2}^{2}\biggr\} , \end{aligned}$$

where \(E:=E((u(t),\frac{\partial }{\partial t}u(t)))\). Finally, using the invariances of \(K_{1}\) and \(K_{2}\), we can complete the proof of Theorem 3.2. (3.12) and \(\Vert \Delta u_{0}\Vert _{2}<(\frac{4}{3})^{ \frac{1}{4}}\Vert Q\Vert _{2}\) imply that \(u_{0}\in K_{1}\). Applying the invariant of \(K_{1}\), (3.13) is true and the solution \(u(t,x)\) of Cauchy problem (1.1) exists globally by Proposition 2.1. This completes the proof of part (i).

(3.12) and \(\Vert \Delta u_{0}\Vert _{2}>(\frac{4}{3})^{\frac{1}{4}}\Vert Q \Vert _{2}\) imply that \(u_{0}\in K_{2}\). Applying the invariant of \(K_{2}\), (2.1), and (3.12), we deduce that, for all \(t\in I\),

$$ \begin{aligned}[b] 2 \bigl\Vert u(t) \bigr\Vert _{4}^{4}&=-8E\bigl((u_{0},u_{1})\bigr)+4 \biggl\Vert \frac{\partial }{\partial t}u(t) \biggr\Vert _{2}^{2}+4 \bigl\Vert \Delta u(t) \bigr\Vert _{2}^{2}+4 \bigl\Vert u(t) \bigr\Vert _{2} ^{2} \\ &>-\frac{4\sqrt{3}}{3} \Vert Q \Vert _{2}^{2}+4 \biggl\Vert \frac{\partial }{\partial t}u(t) \biggr\Vert _{2}^{2}+4 \bigl\Vert \Delta u(t) \bigr\Vert _{2}^{2}+4 \bigl\Vert u(t) \bigr\Vert _{2}^{2}. \end{aligned} $$
(3.16)

Letting \(J(t):=\int \vert u(t,x)\vert ^{2}\,dx\), by some basic computations, we deduce that, for all \(t\in I\), \(J^{\prime }(t)=2 \int u(t) \frac{\partial }{ \partial t}u(t)\,dx\) and

$$ J^{\prime \prime }(t) =2 \int \biggl( \biggl\vert \frac{\partial }{\partial t}u(t) \biggr\vert ^{2}+ \bigl\vert u(t) \bigr\vert ^{4}- \bigl\vert \Delta u(t) \bigr\vert ^{2}- \bigl\vert u(t) \bigr\vert ^{2}\biggr)\,dx. $$
(3.17)

It follows from (3.16) and (3.17) that, for all \(t\in I\),

$$ J^{\prime \prime }(t) > 6 \biggl\Vert \frac{\partial }{\partial t}u(t) \biggr\Vert _{2}^{2}-\frac{4 \sqrt{3}}{3} \Vert Q \Vert _{2}^{2}+2 \bigl\Vert \Delta u(t) \bigr\Vert _{2}^{2}+2 \bigl\Vert u(t) \bigr\Vert _{2}^{2} \geq 6 \biggl\Vert \frac{\partial }{\partial t}u(t) \biggr\Vert _{2}^{2}, $$
(3.18)

which implies that \(J^{\prime \prime }(t)\) is positive and has a lower bound for all \(t\in I\). Applying the Hölder inequality, we get \(J^{\prime }(t)^{2} \leq 4\Vert u(t)\Vert _{2}^{2} \Vert \frac{\partial }{\partial t}u(t)\Vert _{2}^{2}\). Multiplying (3.18) with \(J(t)\), one deduces that, for all \(t\in I\),

$$ J(t)J^{\prime \prime }(t)>6 \biggl\Vert \frac{\partial }{\partial t}u(t) \biggr\Vert _{2}^{2} \bigl\Vert u(t) \bigr\Vert _{2}^{2}>\frac{3}{2}J^{\prime }(t)^{2}. $$
(3.19)

Thus, as the proof of Theorem 3.1, the solution \(u(t,x)\) of Cauchy problem (1.1) blows up in finite time \(0< T<+\infty \). □

References

  1. Aubin, T.: Équations différentielles non linéaires et problème de Yamabe concernant la courbure scalaire. J. Math. Pures Appl. (9) 55, 269–296 (1976)

    MathSciNet  MATH  Google Scholar 

  2. Bretherton, F.P.: Resonant interaction between waves: the case of discrete oscillations. J. Fluid Mech. 20, 457–479 (1964)

    Article  MathSciNet  Google Scholar 

  3. Cui, S., Guo, A.: Solvability of the Cauchy problem of nonlinear beam equation in Besov spaces. Nonlinear Anal. 65, 802–824 (2006)

    Article  MathSciNet  Google Scholar 

  4. Feng, B.H.: Sharp threshold of global existence and instability of standing wave for the Schrödinger–Hartree equation with a harmonic potential. Nonlinear Anal., Real World Appl. 31, 132–145 (2016)

    Article  MathSciNet  Google Scholar 

  5. Feng, B.H.: On the blow-up solutions for the nonlinear Schrödinger equation with combined power-type nonlinearities. J. Evol. Equ. 18, 203–220 (2018)

    Article  MathSciNet  Google Scholar 

  6. Fibich, G., Ilan, B., Papanicolaou, G.: Self-focusing with fourth-order dispersion. SIAM J. Appl. Math. 62, 1437–1462 (2002)

    Article  MathSciNet  Google Scholar 

  7. Goubet, O., Hamraoui, E.: Blow-up of solutions to cubic nonlinear Schrödinger equations with defect: the radial case. Adv. Nonlinear Anal. 6, 183–197 (2017)

    MathSciNet  MATH  Google Scholar 

  8. Guo, Q., Zhu, S.H.: Sharp threshold of blow-up and scattering for the fractional Hartree equation. J. Differ. Equ. 264, 2802–2832 (2018)

    Article  MathSciNet  Google Scholar 

  9. Hebey, E., Pausader, B.: An introduction to fourth order nonlinear wave equations. http://hebey.u-cergy.fr/HebPausSurvey.pdf

  10. Holmer, J., Roudenko, S.: On blow-up solutions to the 3D cubic nonlinear Schrödinger equation. Appl. Math. Res. Express 2007, Article ID 004 (2007)

    MATH  Google Scholar 

  11. Kenig, C., Merle, F.: Global well-posedness, scattering and blow-up for the energy-critical, focusing, non-linear Schrödinger equation in the radial case. Invent. Math. 166, 645–675 (2006)

    Article  MathSciNet  Google Scholar 

  12. Levandosky, S.P.: Stability and instability of fourth-order solitary waves. J. Dyn. Differ. Equ. 10, 151–188 (1998)

    Article  MathSciNet  Google Scholar 

  13. Levandosky, S.P.: Decay estimates for fourth order wave equations. J. Differ. Equ. 143, 360–413 (1998)

    Article  MathSciNet  Google Scholar 

  14. Levandosky, S.P., Strauss, W.A.: Time decay for the nonlinear beam equation. Methods Appl. Anal. 7, 479–488 (2000)

    MathSciNet  MATH  Google Scholar 

  15. Love, A.E.H.: A Treatise on the Mathematical Theory of Elasticity. Dover, New York (1944)

    MATH  Google Scholar 

  16. Miao, C., Xu, G., Zhao, L.: Global well-posedness and scattering for the focusing energy-critical nonlinear Schrödinger equations of fourth order in the radial case. J. Differ. Equ. 246, 3715–3749 (2009)

    Article  Google Scholar 

  17. Pausader, B.: Scattering for the beam equation in low dimension. Indiana Univ. Math. J. 59, 791–822 (2009)

    Article  MathSciNet  Google Scholar 

  18. Pausader, B.: Problèmes bien posés et diffusion pour des équations non linéaires dispersives d’ordre quatre. Ph.D. thesis (2009)

  19. Peletier, L., Troy, W.C.: Spatial Patterns: Higher Order Models in Physics and Mechanics. Progress in Nonlinear Differential Equations and Their Applications, vol. 45. Birkhäuser, Basel (2001)

    Book  Google Scholar 

  20. Talenti, G.: Best constant in Sobolev inequality. Ann. Mat. Pura Appl. 110, 353–372 (1976)

    Article  MathSciNet  Google Scholar 

  21. Zhang, J., Zhu, S.H.: Stability of standing waves for the nonlinear fractional Schrödinger equation. J. Dyn. Differ. Equ. 29, 1017–1030 (2017)

    Article  Google Scholar 

  22. Zheng, P.S., Leng, L.H.: Limiting behavior of blow-up solutions for the cubic nonlinear beam equation. Bound. Value Probl. 2018, 167 (2018)

    Article  MathSciNet  Google Scholar 

  23. Zhu, S., Zhang, J., Yang, H.: Limiting profile of the blow-up solutions for the fourth-order nonlinear Schrödinger equation. Dyn. Partial Differ. Equ. 7, 187–205 (2010)

    Article  MathSciNet  Google Scholar 

  24. Zhu, S.H.: On the blow-up solutions for the nonlinear fractional Schrödinger equation. J. Differ. Equ. 261, 1506–1531 (2016)

    Article  Google Scholar 

  25. Zhu, S.H.: Existence of stable standing waves for the fractional Schrödinger equations with combined nonlinearities. J. Evol. Equ. 17, 1003–1021 (2017)

    Article  MathSciNet  Google Scholar 

Download references

Acknowledgements

The authors would like to thank the reviewers for their helpful comments and suggestions.

Availability of data and materials

Data sharing not applicable to this article as no datasets were generated or analyzed during the current study.

Funding

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

Author information

Authors and Affiliations

Authors

Contributions

JQ and CYZ have the same contribution to this work. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Jun Qing.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Additional information

Abbreviations

Not applicable.

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), 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

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Qing, J., Zhang, C. Sharp criteria of blow-up solutions for the cubic nonlinear beam equation. Bound Value Probl 2019, 35 (2019). https://doi.org/10.1186/s13661-019-1149-5

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13661-019-1149-5

MSC

Keywords