Skip to content

Advertisement

  • Research
  • Open Access

Limiting behavior of blow-up solutions for the cubic nonlinear beam equation

Boundary Value Problems20182018:167

https://doi.org/10.1186/s13661-018-1089-5

  • Received: 7 August 2018
  • Accepted: 28 October 2018
  • Published:

Abstract

In terms of the sharp Gagliardo–Nirenberg–Sobolev inequalities, we find the precisely sharp criteria of blow-up and global existence for the cubic nonlinear beam equations with \(L^{2}\) critical nonlinearities. And we further study the limiting profile of blow-up solutions.

Keywords

  • Nonlinear beam equation
  • Blow-up solution
  • Sharp criteria
  • Limiting profile

MSC

  • 35G20
  • 35Q40
  • 35B40

1 Introduction

The nonlinear beam equation is a class of fourth-order partial differential equations appearing in different physical settings (see [26, 27] for a review), and it models the weak interactions of dispersive waves in [1] and the motion of the clamped plate and beams in [20]. In general, the nonlinear beam equation is in the following form:
$$ \frac{\partial^{2}}{\partial t^{2}}u+\Delta^{2} u+mu-|u|^{p-1}u=0, \quad x\in\mathbb{R}^{D}, $$
(1.1)
where the parameter \(m>0\). \(u=u(t,x): [0,T)\times\mathbb{R}^{D} \to\mathbb{R}\) and \(0< T\leq+\infty\). \(\Delta^{2}=\Delta\Delta\) and Δ is the Laplacian. \(1< p\leq\frac{2D}{(D-4)^{+}}-1\), where \(\frac{2D}{(D-4)^{+}}=+\infty\) when \(D=1,2,3,4\); \(\frac{2D}{(D-4)^{+}}=\frac{2D}{D-4}\) when \(D\geq5\). When \(m=0\), the scaling symmetry \(\lambda^{\frac{4}{p-1}}u(\lambda^{2} t, \lambda x)\) of Eq. (1.1) implies two critical exponents: one is the \(L^{2}\) critical exponent \(p=1+\frac{8}{D}\), and the other is the \(H^{2}\) energy-critical exponent \(p=\frac{2D}{D-4}-1\) (see [12]). Hence, when \(p=3\) and \(D=4,6,8\), we call Eq. (1.1) the \(L^{2}\) critical, \(L^{2}\) super-critical, and \(H^{2}\) energy-critical cubic nonlinear beam equation, respectively. We supplement Eq. (1.1) with the initial data
$$ u(0,x)=u_{0}, \qquad \frac{\partial}{\partial t}u(0,x)=u_{1}. $$
(1.2)

In the last two decades, Eq. (1.1) has been widely studied. The local well-posedness of the Cauchy problem (1.1)–(1.2) for \(1< p<\frac{2D}{(D-4)^{+}}-1\) and \(p=\frac {2D}{(D-4)^{+}}-1\) was established in [17] and in [12], respectively. The stability of traveling waves and standing waves for Eq. (1.1) was obtained in [17]. There are a lot of papers on the asymptotic behavior and scattering properties of global solutions (see [9, 10, 15, 18, 21, 24, 25, 28, 31, 32]). To our knowledge, the only result on the blow-up solutions of Eq. (1.1) is [12], in which authors gave a sufficient condition for the existence of blow-up solutions. This motivates us to study the following properties of Eq. (1.1): How to separate the domains of blow-up and global existence? What is the limiting behavior of blow-up solutions?

In terms of the sharp criteria for the nonlinear Schrödinger equation in [8, 14, 16, 19, 23, 36], we study the sharp criteria for the nonlinear Beam equation. First, for the \(L^{2}\) critical case: \(p=3\) and \(D=4\), we have the following theorem.

Theorem 1.1

Let \(m=1\), \(p=3\), and \(D=4\). Let R be a ground state of
$$ \frac{3}{2}\Delta^{2}R+\frac{1}{2} R-|R|^{2}R=0,\quad R\in H^{2}. $$
(1.3)
If the initial data \((u_{0}, u_{1})\in H^{2}\times L^{2}\) satisfies
$$ E\bigl((u_{0},u_{1})\bigr)< E(R,0)= \frac{1}{2}\|R\|_{2}^{2}, $$
(1.4)
then we have the following:
  1. (i)
    If \(\|u_{0}\|_{2}< \|R\|_{2}\), then the solution \(u(t,x)\) of the Cauchy problem (1.1)(1.2) exists globally, and \(u(t,x)\) satisfies that, for all time t,
    $$ \bigl\Vert u(t) \bigr\Vert _{2}^{2}+ \biggl\Vert \frac{\partial }{\partial t}u(t) \biggr\Vert _{2}^{2}< \Vert R \Vert _{2}^{2} \quad \textit{and}\quad \bigl\Vert \Delta u(t) \bigr\Vert _{2}^{2}+ \biggl\Vert \frac{\partial}{\partial t}u(t) \biggr\Vert _{2}^{2}< \Vert R \Vert _{2}^{2}. $$
    (1.5)
     
  2. (ii)

    If \(\|u_{0}\|_{2}> \|R\|_{2}\), then the solution \(u(t,x)\) of the Cauchy problem (1.1)(1.2) blows up in finite time \(0< T<+\infty\).

     

The above sharp criteria of Eq. (1.1) are different from those of the \(L^{2}\) critical nonlinear Schrödinger equation in [30], where Weinstein proved that for the initial data \(\| u_{0}\|_{2}>\|Q\|_{2}\), the corresponding solution may blow up. However, for Eq. (1.1), in the case \(\|u_{0}\|_{2}>\|R\|_{2}\), the corresponding solution must blow up in a finite time.

Furthermore, we obtain the following limiting profile of blow-up solutions for Eq. (1.1).

Theorem 1.2

Let \(m=1\), \(p=3\), and \(D=4\). If \((u_{0},u_{1})\in H^{2}\times L^{2}\) and \(u(t,x) \) is the corresponding blow-up solution of the Cauchy problem (1.1)(1.2) with \(\lim_{t\rightarrow T}\|u(t)\|_{2}=+\infty\) and \(\|\Delta u(t)\|_{2}=\|\Delta R\|_{2}\), where \(0< T<+\infty\) is the blow-up time, then there exist \(y(t)\in\mathbb{R}^{4}\), \(\gamma(t)\in\mathbb{R}\) such that
$$ u\bigl(t,\lambda(t) \bigl(\cdot+y(t)\bigr)\bigr)\rightarrow R( \cdot)\quad \textit{strongly in } H^{2} \textit{ as } t\rightarrow T, $$
(1.6)
where \(\lambda(t)= (\frac{\|u(t)\|_{2}}{\| R\|_{2}} )^{\frac{1}{2}}\) and R is a ground state of (1.3).

Throughout this paper, we assume \(m=1\) and \(p=3\) for simplification, and the general cases \(m=1\) and \(1< p<\frac{2D}{(D-4)^{+}}-1\) can be obtained by entirely the same way. We extend the sharp criteria argument in [14, 16] for nonlinear Schrödinger equations to that for the nonlinear beam equation (1.1). This is very nontrivial because Eq. (1.1) does not have the conservation of \(L^{2}\)-norm and scaling invariance. The argument in this paper may have a potential application to other nonlinear wave equations without scaling invariance.

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

2 Notations and preliminaries

For the Cauchy problem (1.1)–(1.2), the work space is defined by
$$H^{2}:=\biggl\{ v\in L^{2} \Bigm| \int\bigl(|v|^{2}+|\nabla v|^{2}+|\Delta v|^{2}\bigr)\,dx< +\infty \biggr\} . $$
It is easy to check that \((\|v\|_{2}^{2}+\|\Delta v\|_{2}^{2})^{\frac{1}{2}}\) is an equivalent norm of \(H^{2}\), and this equivalent norm is used to decompose the bounded sequences in \(H^{2}\) (see [37]). 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 [12]). Moreover, Hebey and Pausader established the local well-posedness of the Cauchy problem (1.1)–(1.2) in the energy space \(H^{2}\times L^{2}\) in [12] as follows.

Proposition 2.1

Let \(m=1\), \(1< p< \frac{2D}{(D-4)^{+}}-1\), and \((u_{0},u_{1})\in H^{2}\times L^{2}\). There exists a unique solution \(u(t,x)\) of the Cauchy problem (1.1)(1.2) on the maximal time \([0,T)\) such that \(u(t,x)\in C([0,T);H^{2}\times L^{2})\). Moreover, the following properties hold: either \(T=+\infty\) (global existence), or \(0< T<+\infty\) and \(\lim_{t\to T} \|u(t,x)\|_{H^{2}} =+\infty\) (blow-up). Furthermore, for all \(t\in[0,T)\),
$$ 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

Particularly, in the \(H^{2}\) energy-critical case: \(p= \frac{2D}{(D-4)^{+}}-1\), Hebey and Pausader’s result in [12] implies that the local well-posedness of the Cauchy problem (1.1)–(1.2) also holds in \(H^{2}\times L^{2}\). Moreover, for the solution \(u(t,x)\in C([0,T);H^{2}\times L^{2})\), if \(0< T<+\infty\), then \(\lim_{t\to T} \|u(t,x)\|_{H^{2}} =+\infty\), or \(\limsup_{t\rightarrow T}\|u(t,x)\|_{L_{t}^{q}([0, T);L_{x}^{r})}=+\infty\) (blow-up), where
$$(q,r)=\biggl(\frac{2(D+4)}{D-4}, \frac{2D(D+4)}{(D-4)(D+2)}\biggr) $$
is the B-admissible.

Now, we introduce the following important sharp inequalities: the sharp generalized Gagliardo–Nirenberg inequality established in [7] and in [37, 38]. Some other sharp Gagliardo–Nirenberg inequalities can be established by the profile arguments (see [24, 11, 22, 29, 34, 35]).

Lemma 2.3

Let R be a ground state of (1.3) Then, when \(D=4\), for all \(v\in H^{2}\), we have
$$ \|v\|_{4}^{4}\leq \frac{2}{\|R\|_{2}^{2}}\| v \|_{2}^{2} \|\Delta v\|_{2}^{2}. $$
(2.2)

3 Sharp criteria of blow-up and global existence

In terms of the sharp Gagliardo–Nirenberg type inequalities, sharp Sobolev inequality, and some new estimates, we obtain the precisely sharp criteria of blow-up for Eq. (1.1): if \(\|u_{0}\|_{2}<\|R\|_{2}\), then the solution exists globally; if \(\|u_{0}\|_{2}>\|R\|_{2}\), then the solution blows up in finite time, where R is a ground state of (1.3). Now, we give the proof of Theorem 1.1.

Proof

(i) Applying the sharp inequality (2.2) to the energy functional E, we deduce that, for all \(t\in I\)(maximal existence interval),
$$ \begin{aligned}[b] 2E\biggl(\biggl(u(t), \frac{\partial}{\partial t}u(t)\biggr)\biggr)&= \biggl\Vert \frac{\partial }{\partial t}u(t) \biggr\Vert _{2}^{2}+ \bigl\Vert u(t) \bigr\Vert _{2}^{2}+ \bigl\Vert \Delta u(t) \bigr\Vert _{2}^{2}-\frac{1}{2} \bigl\Vert u(t) \bigr\Vert _{4}^{4} \\ &\geq \biggl\Vert \frac{\partial}{\partial t}u(t) \biggr\Vert _{2}^{2}+ \bigl\Vert u(t) \bigr\Vert _{2}^{2}+\biggl(1- \frac{ \Vert u(t) \Vert _{2}^{2}}{ \Vert R \Vert _{2}^{2}}\biggr) \bigl\Vert \Delta u(t) \bigr\Vert _{2}^{2}. \end{aligned} $$
(3.1)
By the bootstrap and continuity argument, we claim that if \(\|u_{0}\|_{2}<\|R\|_{2}\), then, for all \(t\in I\),
$$ \bigl\| u(t)\bigr\| _{2}< \|R\|_{2}. $$
(3.2)
Indeed, if (3.2) is not true, then there exists \(t_{1}\in I\) such that \(\|u(t_{1})\|_{2}\geq\|R\|_{2}\). Since the solution \(u(t,x)\) is continuous with respect to t, there exists \(0< t_{0}\leq t_{1}\) such that \(\|u(t_{0})\|_{2}=\|R\|_{2}\). But from (1.4), (3.1), and the conservation of energy \(E((u_{0},u_{1}))=E((u(t),\frac{\partial}{\partial t}u(t)))\) with \(t=t_{0}\), we get
$$\Vert R \Vert _{2}^{2}>2E\biggl(\biggl(u(t_{0}), \frac{\partial}{\partial t}u(t_{0})\biggr)\biggr)\geq \biggl\Vert \frac{\partial}{\partial t}u(t_{0}) \biggr\Vert _{2}^{2}+ \bigl\Vert u(t_{0}) \bigr\Vert _{2}^{2}\geq \bigl\Vert u(t_{0}) \bigr\Vert _{2}^{2}. $$
This contradicts \(\|u(t_{0})\|_{2}=\|R\|_{2}\). Hence, claim (3.2) holds.
Now, we can prove (1.5). By injecting (3.2) into (3.1), we can obtain the first estimate in (1.5) by (1.4) and (3.1). For the second estimate in (1.5), from (3.1), we see that \(\forall t\in I\)
$$\Vert R \Vert _{2}^{2}>2E\biggl(\biggl(u(t), \frac{\partial}{\partial t}u(t)\biggr)\biggr) \geq \bigl\Vert u(t) \bigr\Vert _{2}^{2}+\frac{ \Vert R \Vert _{2}^{2}- \Vert u(t) \Vert _{2}^{2}}{ \Vert R \Vert _{2}^{2}} \bigl\Vert \Delta u(t) \bigr\Vert _{2}^{2}, $$
and so, for all \(t\in I\),
$$ \bigl( \Vert R \Vert _{2}^{2}- \bigl\Vert u(t) \bigr\Vert _{2}^{2}\bigr) \bigl( \Vert R \Vert _{2}^{2}- \bigl\Vert \Delta u(t) \bigr\Vert _{2}^{2}\bigr)\geq0. $$
(3.3)
Inject (3.2) into (3.3). We get \(\|\Delta u(t)\|_{2}^{2}<\|R\|_{2}^{2}\) for all \(t\in I\). Moreover, by rewriting (3.1), we see that, for all \(t\in I\),
$$\begin{aligned} \Vert R \Vert _{2}^{2}&>2E\biggl(\biggl(u(t), \frac{\partial}{\partial t}u(t)\biggr)\biggr)\geq \biggl\Vert \frac{\partial}{\partial t}u(t) \biggr\Vert _{2}^{2}+ \bigl\Vert \Delta u(t) \bigr\Vert _{2}^{2}+\biggl(1-\frac{ \Vert \Delta u(t) \Vert _{2}^{2}}{ \Vert R \Vert _{2}^{2}}\biggr) \bigl\Vert u(t) \bigr\Vert _{2}^{2} \\ &\geq \biggl\Vert \frac{\partial}{\partial t}u(t) \biggr\Vert _{2}^{2}+ \bigl\Vert \Delta u(t) \bigr\Vert _{2}^{2}. \end{aligned}$$
Then the second estimate in (1.5) is true.
(ii) We claim that if \(\|u_{0}\|_{2}>\|R\|_{2}\), then for all \(t\in I\)
$$ \bigl\Vert u(t) \bigr\Vert _{2}> \Vert R \Vert _{2} \quad \mbox{and}\quad \bigl\Vert \Delta u(t) \bigr\Vert _{2}> \Vert R \Vert _{2}. $$
(3.4)
Indeed, if \(\|u(t)\|_{2}>\|R\|_{2}\) is not true for all \(t\in I\), then there exists \(t_{2}\in I\) such that \(\|u(t_{2})\|_{2}\leq\|R\|_{2}\). From the continuity of \(\|u(t)\|_{2}\), there exists \(0< t_{3}\leq t_{2}\) such that \(\|u(t_{3})\|_{2}=\|R\|_{2}\). Injecting this into (3.1) with \(t=t_{3}\), we get
$$2E\biggl(\biggl(u(t_{3}),\frac{\partial}{\partial t}u(t_{3})\biggr) \biggr)\geq \bigl\Vert u(t_{3}) \bigr\Vert _{2}^{2}= \Vert R \Vert _{2}^{2}, $$
which contradicts \(E((u(t),\frac{\partial}{\partial t}u(t)))=E((u_{0},u_{1}))<\frac{1}{2}\|R\|_{2}^{2}\) for all \(t\in I\). Then we prove that \(\|u(t)\|_{2}>\|R\|_{2}\) for all \(t\in I\). Moreover, injecting \(\|u(t)\|_{2}>\|R\|_{2}\) for all \(t\in I\) into (3.3), we obtain that \(\|\Delta u(t)\|_{2}>\|R\|_{2}\) for all \(t\in I\). This completes the proof of claim (3.4). Now, let \(J(t):=\int|u(t,x)|^{2}\,dx\). By some basic computations, we deduce that, for all \(t\in I\), \(J'(t)=2 \int u(t) \frac{\partial}{\partial t}u(t)\,dx\) and
$$ \begin{aligned}[b] J''(t) &=6 \biggl\Vert \frac{\partial}{\partial t}u(t) \biggr\Vert _{2}^{2}+2 \bigl\Vert u(t) \bigr\Vert _{2}^{2}+2 \bigl\Vert \Delta u(t) \bigr\Vert _{2}^{2}-8E\bigl((u_{0},u_{1}) \bigr) \\ &> 6 \biggl\Vert \frac{\partial}{\partial t}u(t) \biggr\Vert _{2}^{2}, \end{aligned} $$
(3.5)
where the last step employs (1.4) and (3.4). Hence, \(J''(t)\) is positive and has a lower bound for all \(t\in I\). Notice that \(J'(t)^{2}\leq4\|u(t)\| _{2}^{2} \|\frac{\partial}{\partial t}u(t)\|_{2}^{2}\). Then
$$ J(t)J''(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'(t)^{2}. $$
(3.6)
There exists \(t_{0}>0\) such that \(J'(t)>0\) for all \(t>t_{0}\). Thus, for all \(t>t_{0}\), we get \(\frac{J''(t)}{J'(t)}>\frac{3}{2}\frac{J'(t)}{J(t)}\), which implies that there exists \(K>0\) such that \(J'(t)>K J(t)^{\frac{3}{2}}\). Due to \(\frac{3}{2}>1\), we deduce that, for all \(t>t_{0}\),
$$J(t)> \biggl(\frac{2\sqrt{J(t_{0})}}{ 2- K\sqrt{J(t_{0})}(t-t_{0})} \biggr)^{2}. $$
Then there exists \(0< T<+\infty\) such that \(\lim_{t\rightarrow T}\|u(t)\|_{2}^{2}=\lim_{t\rightarrow T} J(t)=+\infty\). The solution \(u(t,x)\) blows up in finite time \(0< T<+\infty\). □

4 Limiting profile of blow-up solutions

In this section, we assume that the ground state of (1.3) is unique up to translations in space and dilations, which is also denoted by R. A similar assumption has been used for the ground state of the classical second-order nonlinear Schrödinger equation in [30]. First, we show the variational characteristics of R.

Lemma 4.1

Let \(D=4\). If \(v\in H^{2}\) satisfies \(\|\Delta v\|_{2}=\|\Delta R\|_{2}\) and \(H(v)=0\), then \(v(x)\) is of the following form:
$$ v(x)= R(\lambda x+x_{0}) \quad \textit{for some } \lambda>0, x_{0}\in\mathbb{R}^{4}, $$
(4.1)
where R is a ground state of (1.3).

Proof

According to the hypothesis \(H(v)=0\), we see that \(\int |v|^{2}\,dx =\frac{1}{2}\int|v|^{4}\,dx\). Hence, inject this into the following functional:
$$I(v):=\frac{(\int|v|^{2}\,dx)(\int|\Delta v|^{2}\,dx)}{\int |v|^{4}\,dx}=\frac{1}{2}\|\Delta v\|_{2}^{2}= \frac{1}{2} \|\Delta R\|_{2}^{2}=\frac{1}{2} \|R\|_{2}^{2}=I_{*}, $$
which implies that v is a minimizer of \(I(v)\). According to Zhu, Zhang, and Yang’s result in [37], we can deduce that \(v(x)\) is of the form \(v(x)=R(\lambda x+x_{0})\) by the uniqueness of R. □

The main tool to study the limit of the blow-up solutions for Eq. (1.1) is the profile decomposition established by Zhu, Zhang, and Yang in [37]. This argument has been applied to study the stability of standing waves (see [5, 6, 33]).

Proposition 4.2

Let \(D=4\) and \(\{v_{n}\}_{n=1}^{+\infty}\) be a bounded sequence in \(H^{2}\). Then there exist a subsequence of \(\{v_{n}\}_{n=1}^{+\infty}\)(still denoted \(\{v_{n}\}_{n=1}^{+\infty}\)), a family \(\{x_{n}^{j}\}_{j=1}^{+\infty}\) of sequences in \(\mathbb{R}^{4}\), and a sequence \(\{V^{j}\}_{j=1}^{+\infty}\) in \(H^{2}\) such that
  1. (i)

    for every \(k\neq j\), \(|x_{n}^{k}-x_{n}^{j}|\rightarrow+\infty\) as \(n\rightarrow+\infty\);

     
  2. (ii)

    for every \(l\geq1\) and every \(x\in\mathbb{R}^{4}\), \(v_{n}(x)=\sum_{j=1}^{l}V^{j}(x-x_{n}^{j})+v_{n}^{l}(x)\) with \(\lim_{l\rightarrow+\infty}\limsup_{n\rightarrow +\infty}\|v_{n}^{l}\|_{q}=0 \) for every \(q\in(2,+\infty)\).

     
Moreover, as \(n\rightarrow+\infty\), we have
$$\begin{aligned}& \Vert v_{n} \Vert _{2}^{2}=\sum _{j=1}^{l} \bigl\Vert V^{j} \bigr\Vert _{2}^{2}+ \bigl\Vert v_{n}^{l} \bigr\Vert _{2}^{2}+o(1), \\& \Vert \Delta v_{n} \Vert _{2}^{2}=\sum_{j=1}^{l} \bigl\Vert \Delta V^{j} \bigr\Vert _{2}^{2}+ \bigl\Vert \Delta v_{n}^{l} \bigr\Vert _{2}^{2}+o(1), \\& \Biggl\Vert \sum_{j=1}^{l}V^{j} \bigl(x-x_{n}^{j}\bigr) \Biggr\Vert _{4}^{4}= \sum_{j=1}^{l} \bigl\Vert V^{j} \bigl(x-x_{n}^{j}\bigr) \bigr\Vert _{4}^{4}+o(1), \end{aligned}$$
(4.2)
where \(o(1):=o_{n}(1)\rightarrow0\) as \(n\rightarrow+\infty\).

Remark 4.3

By using the inequality
$$\Biggl\vert \Biggl\vert \sum_{j=1}^{l}a_{j} \Biggr\vert ^{p+1}-\sum_{j=1}^{l} \vert a_{j} \vert ^{p+1} \Biggr\vert \leq C\sum _{j\neq k}|a_{j}||a_{k}|^{p} $$
for \(p>1\), we can prove that the mixed terms in \(\|\sum_{j=1}^{l}V^{j}(x-x_{n}^{j})\|_{p+1}^{p+1}\) vanish. Thus, (4.2) is true.

In terms of Hmidi and Keraani’s argument in [13] and Zhu, Zhang, and Yang’s argument in [37], we prove the following refined compactness result by Proposition 4.2.

Lemma 4.4

Let \(D=4\) and \(\{v_{n}\}_{n=1}^{+\infty}\) be a bounded sequence in \(H^{2}\) such that
$$ \limsup_{n\rightarrow+\infty}\| v_{n}\| _{2}\leq M \quad \textit{and} \quad \limsup_{n\rightarrow+\infty} \|v_{n}\|_{4}\geq N>0. $$
(4.3)
Then there exists a sequence \(\{x_{n}\}_{n=1}^{+\infty}\) of \(\mathbb{R}^{4}\) such that up to a subsequence
$$ v_{n}(x+x_{n})\rightharpoonup V(x) \quad \textit{weakly in } H^{2} $$
(4.4)
with \(\|\Delta V\|_{2}^{2}\geq\frac{\|\Delta R\|_{2}^{2}N^{4}}{2M^{2}}\), and R is a ground state of (1.3).

Proof

The proof of Lemma 4.4 is fully similar to that of Theorem 1.1 in [37]. The key is injecting the decomposition: \(v_{n}(x)=\sum_{j=1}^{l}V^{j}(x-x_{n}^{j})+v_{n}^{l}(x)\) into (4.3). Indeed, from (4.2), we deduce that as \(n\rightarrow+\infty\), \(l\rightarrow +\infty\),
$$N^{4} \leq \limsup_{n\rightarrow+\infty} \Biggl( \Biggl\Vert \sum _{j=1}^{l}V^{j} \bigl(x-x_{n}^{j}\bigr) \Biggr\Vert _{4}+ \bigl\Vert v_{n}^{l}(x) \bigr\Vert _{4} \Biggr)^{4} \leq\sum_{j=1}^{+\infty} \bigl\Vert V^{j} \bigr\Vert _{4}^{4}. $$
The left proof is similar to the proof of Theorem 1.1 in [37], and is omitted. □

Applying Lemma 4.4, we obtain the following limiting profile of blow-up solutions for Eq. (1.1) in Theorem 1.2: for the blow-up solution of the Cauchy problem (1.1)–(1.2) satisfying \(\lim_{t\rightarrow T}\|u(t)\|_{2}=+\infty\) and \(\|\Delta u(t)\|_{2}=\|\Delta R\|_{2}\), where \(0< T<+\infty\) is the blow-up time, we prove that \(u(t,x)\) remains close to the ground state R in \(H^{2}\) up to scaling and translation in the nonradial case, where R is the ground state of (1.3).

Proof of Theorem 1.2

By the assumptions, for any \(t_{n}\rightarrow T\) as \(n\rightarrow+\infty\), take
$$ \lambda_{n}^{2}:=\frac{\| u(t_{n},x)\|_{2}}{\|R\| _{2}}\rightarrow+\infty \quad \mbox{as } n\rightarrow+\infty, $$
(4.5)
and \(U_{n}=u(t_{n},\lambda_{n} x)\). We note that
$$ \textstyle\begin{cases} \|U_{n}\|_{2}=\frac{1}{\lambda_{n}^{2}}\|u(t_{n})\|_{2}=\|R\|_{2}, \\ \|\Delta U_{n}\|_{2}=\|\Delta u(t_{n})\|_{2}=\|\Delta R\|_{2}. \end{cases} $$
(4.6)
Therefore, \(\{U_{n}\}_{n=1}^{+\infty}\) is a uniformly bounded sequence in \(H^{2}\) and \(\{U_{n}\}_{n=1}^{+\infty}\) has a weakly convergent subsequence \(\{U_{n}\}_{n=1}^{+\infty}\) (still denoted by \(\{U_{n}\}_{n=1}^{+\infty}\)). And for the subsequence \(\{U_{n}\}_{n=1}^{+\infty}\), we deduce that
$$ \begin{aligned}[b] H(U_{n})& = \frac{1}{\lambda_{n}^{4}} \biggl(E\bigl((u_{0},u_{1})\bigr)- \frac{1}{2} \biggl\Vert \frac {\partial}{\partial t}u (t_{n}) \biggr\Vert _{2}^{2}-\frac{1}{2} \bigl\Vert \Delta u(t_{n}) \bigr\Vert _{2}^{2} \biggr) \\ &\leq\frac{1}{\lambda_{n}^{4}}E\bigl((u_{0},u_{1})\bigr) \rightarrow0 \quad \mbox{as } n\rightarrow+\infty. \end{aligned} $$
(4.7)
Meanwhile, from (2.2), we see that \(\|\Delta U_{n}\|_{2}=\|\Delta R\|_{2}\) implies
$$ H(U_{n})\geq \frac{1}{2} \biggl(1- \frac{\|\Delta U_{n}\|_{2}^{2}}{\|\Delta R\|_{2}^{2}} \biggr)\|U_{n}\|_{2}^{2}\geq0. $$
(4.8)
Then we get \(\lim_{n\rightarrow+\infty} H(U_{n})=0\) and \(\lim_{n\rightarrow+\infty}\|U_{n} \|_{4}^{4}=2\|R\|_{2}^{2}\). By applying Lemma 4.4 to the sequence \(\{U_{n}\}_{n=1}^{+\infty}\) (here, we take \(M^{2}=\|R\|_{2}^{2}\), \(N^{4}=2\|R\|_{2}^{2}\)), there exist \(\{y_{n}\}_{n=1}^{+\infty}\subset\mathbb{R}^{4}\) and \(U(x)\in H^{2}\) such that
$$ U_{n}(x+y_{n})\rightharpoonup U(x) \quad \mbox{weakly in } H^{2} \mbox{ as } n\rightarrow+\infty $$
(4.9)
with \(\|\Delta U\|_{2}\geq\|\Delta R\|_{2}\). But by the lower semi-continuity of norm, we get \(\|\Delta U\|_{2}\leq \liminf_{n\rightarrow+\infty}\|\Delta U_{n}(x+y_{n})\|_{2}=\|\Delta R\|_{2} \), and so we get \(\|\Delta U\|_{2}= \|\Delta R\|_{2}=\|\Delta U_{n}(x+y_{n})\|_{2}\). And from the Brézis–Lieb lemma, we get
$$ \lim_{n\rightarrow+\infty} \bigl\Vert \Delta \bigl(U_{n}(x+y_{n})-U(x)\bigr) \bigr\Vert _{2}=0. $$
(4.10)
Applying (2.2) to \(U_{n}(x+y_{n}) -U\), there exists \(C>0\) such that
$$\bigl\Vert U_{n}(x+y_{n}) -U \bigr\Vert _{4}^{4}\leq C \bigl\Vert U_{n}(x+y_{n})-U \bigr\Vert _{2}^{2} \bigl\Vert \Delta \bigl(U_{n}(x+y_{n})-U\bigr) \bigr\Vert _{2}^{2}. $$
Inject (4.6) and \(\| U_{n}(x+y_{n})-U(x)\|_{2}\leq2\|R\|_{2}\) into the above estimate.
$$ U_{n}(x+y_{n})\rightarrow U(x) \quad \mbox{strongly in } L^{4} \mbox{ as } n\rightarrow+\infty. $$
(4.11)
Then we have proved that \(\lim_{n\rightarrow+\infty }H(U_{n}(x+y_{n}))=H(U)=0\), which implies that \(\|U\|_{2}^{2}=\|R\|_{2}^{2}\), and so, from the Brézis–Lieb lemma, (4.6), and (4.9), we see that
$$U_{n}(x+y_{n})\rightarrow U(x) \quad \mbox{strongly in } H^{2} \mbox{ as } n\rightarrow+\infty. $$
Now, collecting the properties of \(U=U(x)\), we see that
$$U\in H^{2},\qquad \|U\|_{2}=\|R\|_{2}, \qquad \| \Delta U\|_{2}=\|\Delta R\|_{2} \quad \mbox{and}\quad H(U)=0. $$
Applying the variational characteristic of the ground state (see Lemma 4.1), there exist \(\lambda_{0}>0\) and \(x_{0}\in\mathbb{R}^{4}\) such that \(U(x)=U(\lambda_{0}x+x_{0})\), and so we can obtain (1.6) by redefining \(\lambda(t)\) and \(x(t)\). □

Declarations

Acknowledgements

We thank the referees for pointing out some misprints and helpful 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 Sichuan Science and Technology Program of China (No. 2015JY0245), Scientific Research Fund of Sichuan Provincial Education Department of China (No. 15ZA0135, No. 18ZB0570), and the National Natural Science Foundation of China (No. 11371267).

Authors’ contributions

PZ and LL have the same contribution to this work. All authors read and approved the final manuscript.

Competing interests

The authors declare that they have no competing interests.

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.

Authors’ Affiliations

(1)
College of Science, Xihua University, Chengdu, China

References

  1. Bretherton, F.P.: Resonant interaction between waves: the case of discrete oscillations. J. Fluid Mech. 20, 457–479 (1964) MathSciNetView ArticleGoogle Scholar
  2. Edmunds, D.E., Fortunato, D., Janelli, E.: Critical exponents, critical dimensions and the biharmonic operator. Arch. Ration. Mech. Anal. 112, 269–289 (1990) MathSciNetView ArticleGoogle Scholar
  3. Feng, B.H.: On the blow-up solutions for the fractional nonlinear Schrödinger equation with combined power-type nonlinearities. Commun. Pure Appl. Anal. 17(5), 1785–1804 (2018) MathSciNetView ArticleGoogle Scholar
  4. 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) MathSciNetView ArticleGoogle Scholar
  5. Feng, B.H., Zhang, H.H.: Stability of standing waves for the fractional Schrödinger–Choquard equation. Comput. Math. Appl. 75, 2499–2507 (2018) MathSciNetView ArticleGoogle Scholar
  6. Feng, B.H., Zhang, H.H.: Stability of standing waves for the fractional Schrödinger–Hartree equation. J. Math. Anal. Appl. 460, 352–364 (2018) MathSciNetView ArticleGoogle Scholar
  7. Fibich, G., Ilan, B., Papanicolaou, G.: Self-focusing with fourth-order dispersion. SIAM J. Appl. Math. 62, 1437–1462 (2002) MathSciNetView ArticleGoogle Scholar
  8. Goubet, O., Hamraoui, E.: Blow-up of solutions to cubic nonlinear Schrödinger equations with defect: the radial case. Adv. Nonlinear Anal. 6(2), 183–197 (2017) MathSciNetMATHGoogle Scholar
  9. Guo, A., Cui, S.: Global solutions and self-similar solutions for nonlinear beam equations. Math. Comput. Model. 44, 405–412 (2006) MathSciNetView ArticleGoogle Scholar
  10. Guo, A., Cui, S.: Solvability of the Cauchy problem of nonlinear beam equation in Besov spaces. Nonlinear Anal. 65, 802–824 (2006) MathSciNetView ArticleGoogle Scholar
  11. Guo, Q., Zhu, S.H.: Sharp threshold of blow-up and scattering for the fractional Hartree equation. J. Differ. Equ. 264(4), 2802–2832 (2018) MathSciNetView ArticleGoogle Scholar
  12. Hebey, E., Pausader, B.: An introduction to fourth order nonlinear wave equations. http://www.math.brown.edu/~benoit/
  13. Hmidi, T., Keraani, S.: Blowup theory for the critical nonlinear Schrödinger equations revisited. Int. Math. Res. Not. 46, 2815–2828 (2005) View ArticleGoogle Scholar
  14. 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) MATHGoogle Scholar
  15. Just, A., Stempień, Z.: Pareto optimal control problem and its Galerkin approximation for a nonlinear one-dimensional extensible beam equation. Opusc. Math. 36(2), 239–252 (2016) MathSciNetView ArticleGoogle Scholar
  16. 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) MathSciNetView ArticleGoogle Scholar
  17. Levandosky, S.P.: Stability and instability of fourth-order solitary waves. J. Dyn. Differ. Equ. 10, 151–188 (1998) MathSciNetView ArticleGoogle Scholar
  18. Levandosky, S.P., Strauss, W.A.: Time decay for the nonlinear beam equation. Methods Appl. Anal. 7, 479–488 (2000) MathSciNetMATHGoogle Scholar
  19. Li, X.G., Zhang, J.: Limit behavior of blow-up solutions for critical nonlinear Schrödinger equation with harmonic potential. Differ. Integral Equ. 19(7), 761–771 (2006) MATHGoogle Scholar
  20. Love, A.E.H.: A Treatise on the Mathematical Theory of Elasticity. Dover, New York (1944) MATHGoogle Scholar
  21. Miao, C.X.: A note on time decay for the nonlinear beam equation. J. Math. Anal. Appl. 314, 764–773 (2006) MathSciNetView ArticleGoogle Scholar
  22. Miao, C.X., Xu, G.X., Zhao, L.F.: 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) View ArticleGoogle Scholar
  23. Nawa, H.: Limiting profiles of blow-up solutions of the nonlinear Schrödinger equation with critical power nonlinearity. Proc. Jpn. Acad., Ser. A, Math. Sci. 73(10), 171–175 (1997) MathSciNetView ArticleGoogle Scholar
  24. Pausader, B.: Scattering and the Levandosky–Strauss conjecture for fourth order nonlinear wave equations. J. Differ. Equ. 241, 237–278 (2007) MathSciNetView ArticleGoogle Scholar
  25. Pausader, B.: Scattering for the beam equation in low dimension. Indiana Univ. Math. J. 59(3), 791–822 (2009) MathSciNetView ArticleGoogle Scholar
  26. 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) View ArticleGoogle Scholar
  27. Radulescu, V.: Singular phenomena in nonlinear elliptic problems: from blow-up boundary solutions to equations with singular nonlinearities. In: Handbook of Differential Equations: Stationary Partial Differential Equations. Handb. Differ. Equ., vol. IV, pp. 485–593. Elsevier, Amsterdam (2007) Google Scholar
  28. Sun, Y.: Indirect boundary integral equation method for the Cauchy problem of the Laplace equation. J. Sci. Comput. 71, 469–498 (2017) MathSciNetView ArticleGoogle Scholar
  29. Talenti, G.: Best constant in Sobolev inequality. Ann. Mat. Pura Appl. 110, 353–372 (1976) MathSciNetView ArticleGoogle Scholar
  30. Weinstein, M.I.: Nonlinear Schrödinger equations and sharp interpolation estimates. Commun. Math. Phys. 87, 567–576 (1983) View ArticleGoogle Scholar
  31. Xiang, M., Radulescu, V.D., Zhang, B.: Nonlocal Kirchhoff diffusion problems: local existence and blow-up of solutions. Nonlinearity 31, 3228–3250 (2018) MathSciNetView ArticleGoogle Scholar
  32. Xiang, M., Zhang, B., Qiu, H.: Existence of solutions for a critical fractional Kirchhoff type problem in \(\mathbb{R}^{N}\). Sci. China Math. 60, 1647–1660 (2017) MathSciNetView ArticleGoogle Scholar
  33. Zhang, J., Zhu, S.H.: Stability of standing waves for the nonlinear fractional Schrödinger equation. J. Dyn. Differ. Equ. 29(3), 1017–1030 (2017) View ArticleGoogle Scholar
  34. Zhu, S.H.: On the blow-up solutions for the nonlinear fractional Schrödinger equation. J. Differ. Equ. 261(2), 1506–1531 (2016) View ArticleGoogle Scholar
  35. Zhu, S.H.: Existence of stable standing waves for the fractional Schrödinger equations with combined nonlinearities. J. Evol. Equ. 17(3), 1003–1021 (2017) MathSciNetView ArticleGoogle Scholar
  36. Zhu, S.H., Zhang, J.: Limiting behavior of blow-up solutions of the NLSE with a Stark potential. Acta Math. Sci. 32(3), 1181–1192 (2012) MathSciNetView ArticleGoogle Scholar
  37. Zhu, S.H., 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) MathSciNetView ArticleGoogle Scholar
  38. Zhu, S.H., Zhang, J., Yang, H.: Biharmonic nonlinear Schrödinger equation and the profile decomposition. Nonlinear Anal. 74(17), 6244–6255 (2011) MathSciNetView ArticleGoogle Scholar

Copyright

© The Author(s) 2018

Advertisement