Skip to main content

Finite time blow-up for the nonlinear Schrödinger equation in trapped dipolar quantum gases with arbitrarily positive initial energy

Abstract

In this paper, we study the blow-up criterion for the following nonlinear Schrödinger equation arising in trapped dipolar quantum gases:

$$i\partial _{t}u=-\frac{1}{2}\Delta u+a^{2} \bigl(x_{1}^{2}+x_{2}^{2}+x_{3}^{2} \bigr)u+ \lambda _{1} \vert u \vert ^{2}u+\lambda _{2}\bigl(K\ast \vert u \vert ^{2}\bigr)u,\quad (t,x) \in \bigl[0,T^{*}\bigr) \times \mathbb{R}^{3}. $$

When \(a=0\) or \(a\neq 0\), by constructing an invariant set, we establish a new blow-up criterion, which implies the existence of blow-up solutions with arbitrarily large initial energy. This result gives a positive answer to the problem left by Carles, Markowich, and Sparber (Nonlinearity 21:2569–2590, 2008).

1 Introduction

In the recent years the so-called dipolar Bose–Einstein condensate, i.e., a condensate made out of particles possessing a permanent electric or magnetic dipole moment, has attracted much attention; see, e.g., [2, 3, 17, 2224]. At a temperature much smaller than the critical temperature, it is well described by the wave function \(u(t,x)\) whose evolution is governed by the three-dimensional (3D) Schrödinger equation, see, e.g., [2, 3, 24, 35]:

$$ i\hbar \partial _{t}u=-\frac{\hbar ^{2}}{2m}\Delta u+W(x)u+ U_{0} \vert u \vert ^{2}u+ \bigl(V_{\mathrm{dip}} \ast \vert u \vert ^{2}\bigr)u,\quad x\in \mathbb{R}^{3}, t>0, $$
(1.1)

where t is time, \(x=(x_{1},x_{2},x_{3})^{T}\in \mathbb{R}^{3}\) is the Cartesian coordinates, denotes the convolution, ħ is the Planck constant, m is the mass of a dipolar particle, and \(W(x)=a^{2}(x_{1}^{2}+x_{2}^{2}+x_{3}^{2})\) is an external trapping potential, where a is the trapping frequency. \(U_{0}=4\pi \hbar ^{2}a_{s}/m\) describes the local interaction between dipoles in the condensate with \(a_{s}\) the s-wave scattering length (positive for repulsive interaction and negative for attractive interaction). The long-range dipolar interaction potential between two dipoles is given by

$$ V_{\mathrm{dip}}(x)=\frac{\mu _{0}\mu ^{2}_{\mathrm{dip}}}{4\pi } \frac{1-3\cos ^{2}\theta }{ \vert x \vert ^{3}},\quad x\in \mathbb{R}^{3}, $$
(1.2)

where \(\mu _{0}\) is the vacuum magnetic permeability, \(\mu _{\mathrm{dip}}\) is the permanent magnetic dipole moment, and θ is the angle between \(x\in \mathbb{R}^{3}\) and the dipole axis \(\mathbf{n}\in \mathbb{R}^{3}\), with \(|\mathbf{n}|=1\).

In order to simplify the mathematical analysis, we rescale (1.1) into the following dimensionless Schrödinger equation:

$$ \textstyle\begin{cases} i\partial _{t}u=-\frac{1}{2}\Delta u+W(x)u+ \lambda _{1} \vert u \vert ^{2}u+ \lambda _{2}(K\ast \vert u \vert ^{2})u,\quad (t,x)\in [0,T^{*})\times \mathbb{R}^{3}, \\ u(0,x) = u_{0} (x) .\end{cases} $$
(1.3)

To simplify notation, we assume \(\mathbf{n}=(0,0,1)\). The dimensionless long-range dipolar interaction potential \(K(x)\) then reads as follows:

$$K(x)=\frac{x_{1}^{2}+x_{2}^{2}-2x_{3}^{2}}{ \vert x \vert ^{5}},\quad x\in \mathbb{R}^{3}. $$

We focus on the case when \(\lambda _{1}\) and \(\lambda _{2} \in \mathbb{R}\) fulfill the following conditions:

$$\begin{aligned} \lambda _{1}< \textstyle\begin{cases} \frac{4}{3}\pi \lambda _{2}, &\mbox{if }\lambda _{2} >0 , \\ -\frac{8}{3}\pi \lambda _{2},&\mbox{if }\lambda _{2} < 0 . \end{cases}\displaystyle \end{aligned}$$
(1.4)

These conditions, following the terminology introduced in [8], define the unstable regime.

Because of important applications of equation (1.3) in physics, it has received much attention both from physics (see [11, 26]) and mathematics (see [15, 7, 8, 18, 20, 21, 28]). Carles, Markowich, and Sparber in [8] first studied the local well-posedness and proved that the solution \(u(t)\) of (1.3) blows up in finite time in the unstable regime if the initial energy is small. Ma, Cao, and Wang in [20, 21] studied the sharp thresholds of global existence and blow-up, and proved that blow-up may occur if the initial energy \(E(u_{0})< d\) for some \(d>0\). When \(W(x)=0\), Huang in [18] discussed the exact value of d by using the precise characterization of ground states of (2.5). Similar sharp thresholds of global existence and blow-up for other kinds of nonlinear Schrödinger equations are pursued strongly in [9, 1216, 32, 3641].

To our knowledge, the key to showing the existence of blow-up solutions is to prove \(J''(t)<0\) for all \(t\in [0,T^{*})\), where \(J(t)=\int _{\mathbb{R}^{3}}{|x|^{2}|u(t,x)|^{2}}\,dx\). If the solution \(u(t)\) blows up in finite time \(T^{*}\), i.e., \(\|\nabla {u}(t)\|_{L^{2}}\rightarrow \infty \) as \(t\rightarrow {T}^{*}\), it follows from Lemma 2.2 that, for any large \(E(u_{0})>0\), there exists \(\delta >0\) such that \(J''(t)\leq 6E(u_{0})-\int _{\mathbb{R}^{3}}|\nabla {u}(t,x)|^{2}\,dx<0\) for all \(t\in [T^{*}-\delta ,T^{*})\). Therefore, a natural and interesting question is whether there exist blow-up solutions with arbitrarily large initial energy. In particular, this is an open problem presented by Carles, Markowich, and Sparber, see Remark 5.3 in [8]. This will be the focus of the present paper. In fact, similar problems have been studied for other kinds of nonlinear evolutional equations, e.g., semilinear pseudo-parabolic equations and nonlinear Klein–Gordon equations, see [6, 19, 25, 27, 2931, 33, 34].

Motivated by the above paper, in this paper, by establishing a blow-up criterion and a rather delicate analysis, we derive the existence of blow-up solutions with arbitrarily large initial energy. In particular, our method holds in the cases of both \(a=0\) and \(a\neq 0\).

Theorem 1.1

Let\(a\in \mathbb{R}\), \(\lambda _{1},\lambda _{2}\in \mathbb{R}\)and satisfy assumption (1.4). Then, for any\(\mu >0\), there exists\(u_{0}\in \varSigma := \{v\in H^{1}\textit{ and }|x|v \in L^{2}\}\)such that\(E(u_{0})=\mu \)and the corresponding solution\(u(t)\)of (1.3) blows up in finite time.

Notation. Throughout this paper, for notational convenience, we use the following notation:

$$F(u):=-\lambda _{1} \int _{\mathbb{R}^{3}} \bigl\vert u(x) \bigr\vert ^{4} \,dx -\lambda _{2} \int _{\mathbb{R}^{3}} \bigl(K \ast \vert u \vert ^{2} \bigr) (x) \bigl\vert u(x) \bigr\vert ^{2} \,dx\quad \text{for all } u \in H^{1}. $$

Let \(u(t)\) be the solution of (1.3), we denote

$$J(t):= \int _{\mathbb{R}^{3}}{ \vert x \vert ^{2} \bigl\vert u(t,x) \bigr\vert ^{2}}\,dx,\qquad \theta (t):= \sqrt{J(t)}. $$

2 Preliminaries

In this section, we recall some preliminary results that will be used later. Firstly, let us recall the local theory for Cauchy problem (1.3) established in [8].

Lemma 2.1

([8])

For\(a,\lambda _{1},\lambda _{2}\in \mathbb{R}\), \(u_{0}\in X:=\{v\in H^{1},\textit{ and }\int _{\mathbb{R}^{3}}W(x)|v(x)|^{2}\,dx< \infty \}\), there exists\(T=T(\|u_{0}\|_{X})\)such that (1.3) admits a unique solution\(u \in C ([0,T],X )\). Let\([0,T^{\ast })\)be the maximal time interval on which the solution\(u(t)\)is well defined, if\(T^{\ast }< \infty \), then\(\| u(t)\|_{X}\rightarrow \infty \)as\(t \rightarrow T^{*}\). Moreover, the solution\(u(t)\)enjoys conservation of mass and energy, i.e., \(\|u(t)\|_{L^{2}} = \|u_{0}\|_{L^{2}}\)and\(E(u(t))= E(u_{0})\)for all\(t\in [0,T^{*})\), where\(E(u(t))\)is defined by

$$ E\bigl(u(t)\bigr)= \frac{1}{2} \bigl\Vert \nabla u(t) \bigr\Vert _{L^{2}}^{2} + \int _{\mathbb{R}^{3}} W(x) \bigl\vert u(t,x) \bigr\vert ^{2} \,dx-\frac{1}{2}F\bigl(u(t)\bigr). $$
(2.1)

In order to prove the existence of blow-up solution, we need the following virial identity, which can be proved by a similar argument as that in [9].

Lemma 2.2

([8])

Let\(u_{0}\in \varSigma \)and\(u(t)\)be the solution of (1.3). Then function\(J(t)\)belongs to\(C^{2}[0,T^{*})\), and

$$\begin{aligned}& J'(t)=2\operatorname{Im} \int _{\mathbb{R}^{3}}{x\bar{u}(t,x)\nabla {u}(t,x)}\,dx, \end{aligned}$$
(2.2)
$$\begin{aligned}& J''(t)=2 \bigl\Vert \nabla u(t) \bigr\Vert _{L^{2}}^{2} -4 \int _{\mathbb{R}^{3}}W(x) \bigl\vert u(t,x) \bigr\vert ^{2} \,dx-3F\bigl(u(t)\bigr). \end{aligned}$$
(2.3)

Next, we recall the sharp Gagliardo–Nirenberg type inequality established in [1].

Lemma 2.3

([1])

Let\(\lambda _{1},\lambda _{2}\in \mathbb{R}\)and satisfy assumption (1.4). Then, for all\(u\in H^{1}\),

$$ F(u)=-\lambda _{1} \int _{\mathbb{R}^{3}} \bigl\vert u(x) \bigr\vert ^{4}\,dx -\lambda _{2} \int _{\mathbb{R}^{3}}{K}\ast \bigl\vert u(x) \bigr\vert ^{2} \bigl\vert u(x) \bigr\vert ^{2}\,dx \leq C_{\mathrm{opt}}^{ \frac{3}{2}} \Vert \nabla u \Vert _{L^{2}}^{3} \Vert u \Vert _{L^{2}}, $$
(2.4)

where the sharp constant\(C_{\mathrm{opt}}= \frac{F(Q)^{\frac{2}{3}}}{\|Q\|_{L^{2}}^{2/3}\|\nabla Q\|_{L^{2}}^{2}}\)andQis the ground state of the following elliptic equation:

$$ -\frac{1}{2} \Delta Q+ Q+\lambda _{1} \vert Q \vert ^{2} Q + \lambda _{2} \bigl(K \ast \vert Q \vert ^{2}\bigr)Q =0. $$
(2.5)

Moreover, the following Pohozaev’s identities hold true:

$$ \Vert \nabla Q \Vert ^{2}_{L^{2}} = \frac{3}{2}F(Q) = 6 \Vert Q \Vert ^{2}_{L^{2}}. $$
(2.6)

From (2.6) and (2.1), we can obtain the following useful result:

$$ E(Q)=\frac{1}{4}F(Q) + \int _{\mathbb{R}^{3}} W(x) \vert Q \vert ^{2}\,dx. $$
(2.7)

Thus, \(C_{\mathrm{opt}}\) can be rewritten as

$$ C_{\mathrm{opt}}=\biggl(\frac{2}{3} \biggr)^{\frac{2}{3}} \frac{(6E(Q)-6\int _{\mathbb{R}^{3}} W(x) \vert Q \vert ^{2}\,dx)^{-{\frac{1}{3}}}}{ \Vert Q \Vert _{L^{2}}^{2/3}}. $$
(2.8)

Lemma 2.4

([10])

Let\(a\in \mathbb{R}\), \(\lambda _{1},\lambda _{2}\in \mathbb{R}\)and satisfy assumption (1.4). Then, for any\(u\in \varSigma \), it holds

$$ \biggl(\operatorname{Im} \int _{\mathbb{R}^{3}}{x\bar{u}\nabla {u}}\,dx \biggr)^{2}\leq \int _{\mathbb{R}^{3}} \vert x \vert ^{2} \vert u \vert ^{2}\,dx \biggl( \int _{\mathbb{R}^{3}} \vert \nabla {u} \vert ^{2}\,dx - \frac{F(u)^{\frac{2}{3}}}{\mathcal{C}_{\mathrm{opt}} \Vert u \Vert _{L^{2}}^{\frac{2}{3}}} \biggr). $$
(2.9)

The proof is similar to the one in [10], so we omit it.

3 Invariant evolution flow

In this section, we construct a set which is invariant under the flow generated by Cauchy problem (1.3).

Proposition 3.1

Let\(a\in \mathbb{R}\), \(\lambda _{1},\lambda _{2}\in \mathbb{R}\)and satisfy assumption (1.4). Taking an initial data\(u_{0}\in \varSigma \)such that\(4E(u_{0})>\frac{8}{27\mathcal{C}_{\mathrm{opt}}^{3}\|u_{0}\|_{L^{2}}^{2}}\)and\(\theta '(0)\leq -\sqrt{\frac{y_{m}}{2}}\), where\(y_{m}=4E(u_{0})- \frac{8}{27\mathcal{C}_{\mathrm{opt}}^{3}\|u_{0}\|_{L^{2}}^{2}}\). Define the setKby

$$K=\biggl\{ v\in H^{1}, F(v)> \frac{8}{27\mathcal{C}_{\mathrm{opt}}^{3} \Vert v \Vert _{L^{2}}^{2}}\biggr\} . $$

If\(u_{0}\in K\), then the corresponding solution\(u(t)\in K\)for all\(t\in [0,T^{*})\).

Proof

Let \(u_{0}\in K\) and \(u(t)\) be the corresponding solution of (1.3). We deduce from \(u_{0}\in K\) and (2.1) that

$$ 2 \Vert \nabla u_{0} \Vert _{L^{2}}^{2}+4 \int _{\mathbb{R}^{3}}W(x) \bigl\vert u_{0}(x) \bigr\vert ^{2} \,dx-3F(u_{0})< 4E(u_{0})- \frac{8}{27\mathcal{C}_{\mathrm{opt}}^{3} \Vert u_{0} \Vert _{L^{2}}^{2}}. $$
(3.1)

In fact, with the notation of \(y_{m}\) and \(J''(0)\), formula (3.1) implies that \(\frac{J''(0)}{2}<\frac{y_{m}}{2}\). This combined with the assumption \(\theta '(0)\leq -\sqrt{\frac{y_{m}}{2}}\) implies that

$$ \theta ''(0)= \frac{1}{\theta (0)}\biggl(\frac{J''(0)}{2}-\bigl(\theta '(0) \bigr)^{2}\biggr)< 0. $$
(3.2)

This implies that there exists \(t_{0}>0\) such that \(\theta ''(t)<0\) for all \(t\in [0,t_{0}]\). We then deduce that \(\theta '(t)<\theta '(0)<-\sqrt{\frac{y_{m}}{2}}\), and so

$$ \bigl(\theta '(t)\bigr)^{2}> \frac{y_{m}}{2},\quad t\in [0,t_{0}]. $$
(3.3)

Next, using (2.1), (2.3), and the conservation of energy, we derive that

$$\begin{aligned}& F\bigl(u(t)\bigr)=4E(u_{0})-J''(t)-8 \int _{\mathbb{R}^{3}} W(x) \bigl\vert u(t,x) \bigr\vert ^{2}\,dx, \end{aligned}$$
(3.4)
$$\begin{aligned}& \bigl\Vert \nabla u(t) \bigr\Vert _{L^{2}}^{2}=6E(u_{0})-J''(t)-10 \int _{\mathbb{R}^{3}} W(x) \bigl\vert u(t,x) \bigr\vert ^{2}\,dx. \end{aligned}$$
(3.5)

Applying (3.4), (3.5), conservation of mass, and the definition of \(J'(t)\) in (2.2), we deduce from Lemma 2.4 that

$$\begin{aligned} \bigl(J'(t)\bigr)^{2}\leq {}&4J(t)\biggl\{ 6E(u_{0})-J''(t)-10 \int _{\mathbb{R}^{3}} W(x) \bigl\vert u(t,x) \bigr\vert ^{2}\,dx \\ &{}-\frac{1}{\mathcal{C}_{\mathrm{opt}}{ \Vert u_{0} \Vert _{L^{2}}^{2/3}}}\biggl(4E(u_{0})-J''(t)-8 \int _{\mathbb{R}^{3}} W(x) \bigl\vert u(t,x) \bigr\vert ^{2}\,dx\biggr)^{\frac{2}{3}}\biggr\} \\ < {}&4J(t)\biggl\{ 6E(u_{0})-J''(t)-8 \int _{\mathbb{R}^{3}} W(x) \bigl\vert u(t,x) \bigr\vert ^{2}\,dx \\ &{}-\frac{1}{\mathcal{C}_{\mathrm{opt}}{ \Vert u_{0} \Vert _{L^{2}}^{2/3}}}\biggl(4E(u_{0})-J''(t)-8 \int _{\mathbb{R}^{3}} W(x) \bigl\vert u(t,x) \bigr\vert ^{2}\,dx\biggr)^{\frac{2}{3}}\biggr\} . \end{aligned}$$

We consequently obtain

$$ \bigl(\theta '(t)\bigr)^{2}= \frac{(J'(t))^{2}}{4J(t)}\leq \eta \biggl(J''(t)+8 \int _{ \mathbb{R}^{3}} W(x) \bigl\vert u(t,x) \bigr\vert ^{2}\,dx\biggr), $$
(3.6)

where

$$ \eta (y)=6E(u_{0})-y- \frac{(4E(u_{0})-y)^{\frac{2}{3}}}{\mathcal{C}_{\mathrm{opt}}{ \Vert u_{0} \Vert _{L^{2}}^{2/3}}}. $$
(3.7)

Now, we deduce from (3.3) and (3.6) that

$$ \eta \biggl(J''(t)+8 \int _{\mathbb{R}^{3}} W(x) \bigl\vert u(t,x) \bigr\vert ^{2}\,dx\biggr)> \frac{y_{m}}{2}=\eta (y_{m}) $$

for all \(t\in [0,t_{0}]\). Thus \(J''(t)+8\int _{\mathbb{R}^{3}} W(x)|u(t,x)|^{2}\,dx\neq y_{m}\) for all \(t\in [0,t_{0}]\). By continuity, it follows that \(J''(t)+8\int _{\mathbb{R}^{3}} W(x)|u(t,x)|^{2}\,dx< y_{m}\) for all \(t\in [0,t_{0}]\), which, together with (2.3) and the definition of \(y_{m}\), implies \(F(u(t))>\frac{8}{27\mathcal{C}_{\mathrm{opt}}^{3}\|u_{0}\|_{L^{2}}^{2}}\) for all \(t\in [0,t_{0}]\). Moreover, \(\theta ''(t_{0})=\frac{1}{\theta (t_{0})}(\frac{J''(t_{0})}{2}-( \theta '(t_{0}))^{2})< \frac{-4\int _{\mathbb{R}^{3}} W(x)|u(t_{0},x)|^{2}\,dx}{\theta (t_{0})} \leq 0\). Therefore, applying an elementary Bootstrap argument, we can obtain

$$F\bigl(u(t)\bigr)>\frac{8}{27\mathcal{C}_{\mathrm{opt}}^{3} \Vert u_{0} \Vert _{L^{2}}^{2}}= \frac{8}{27\mathcal{C}_{\mathrm{opt}}^{3} \Vert u(t) \Vert _{L^{2}}^{2}} $$

for all \(t\in [0,T^{*})\). This completes the proof. □

4 Existence of blow-up solutions

In this section, we use the same notations as in Sect. 3 and prove Theorem 1.1. Firstly, we establish the following blow-up criterion for (1.3).

Theorem 4.1

Let\(a\in \mathbb{R}\), \(\lambda _{1},\lambda _{2}\in \mathbb{R}\)and satisfy assumption (1.4). Assume that\(u_{0}\in \varSigma \)such that\(J'(0)\leq 0\). If

$$\begin{aligned}& 4 \Vert u_{0} \Vert _{L^{2}}^{2}E(u_{0})> \Vert Q \Vert _{L^{2}}^{2}F(Q), \end{aligned}$$
(4.1)
$$\begin{aligned}& \Vert u_{0} \Vert _{L^{2}}^{2}F(u_{0})> \Vert Q \Vert _{L^{2}}^{2}F(Q), \end{aligned}$$
(4.2)
$$\begin{aligned}& E(u_{0}) \Vert u_{0} \Vert _{L^{2}}^{2} \biggl(1- \frac{(J'(0))^{2}}{8E(u_{0})J(0)} \biggr)\leq \Vert Q \Vert _{L^{2}}^{2} \biggl(E(Q)- \int _{\mathbb{R}^{3}} W(x) \vert Q \vert ^{2}\,dx \biggr), \end{aligned}$$
(4.3)

then the solution\(u(t)\)of (1.3) blows up in finite time.

Proof

Firstly, it follows from (2.7) and (4.1) that \(\|u_{0}\|_{L^{2}}^{2}E(u_{0})>\|Q\|_{L^{2}}^{2}(E(Q)-\int _{ \mathbb{R}^{3}} W(x)\times|Q|^{2}\,dx)\). On the other hand, by (2.8) and the definition of \(y_{m}\), we can obtain

$$ \Vert u_{0} \Vert _{L^{2}}^{2} \biggl(E(u_{0})-\frac{y_{m}}{4}\biggr)= \Vert Q \Vert _{L^{2}}^{2}\biggl(E(Q)- \int _{\mathbb{R}^{3}} W(x) \vert Q \vert ^{2}\,dx\biggr). $$
(4.4)

These imply that (4.1) is equivalent to \(y_{m}>0\), and (4.3) is equivalent to

$$ \bigl(\theta '(0)\bigr)^{2}\geq \eta (y_{m})=\frac{y_{m}}{2}. $$
(4.5)

In addition, the assumption \(J'(0)\leq 0\) implies \(\theta '(0)\leq 0\). In view of (2.7) and (4.4), assumption (4.2) yields the estimate

$$ \Vert u_{0} \Vert _{L^{2}}^{2}F(u_{0})>4 \Vert Q \Vert _{L^{2}}^{2}\biggl(E(Q)- \int _{ \mathbb{R}^{3}} W(x) \vert Q \vert ^{2}\,dx\biggr)=4 \Vert u_{0} \Vert _{L^{2}}^{2} \biggl(E(u_{0})- \frac{y_{m}}{4}\biggr), $$

which, together with (3.4), implies

$$ J''(0)+8 \int _{\mathbb{R}^{3}} W(x) \bigl\vert u_{0}(x) \bigr\vert ^{2}\,dx< y_{m}. $$
(4.6)

Therefore, \(F(u_{0})>\frac{8}{27\mathcal{C}_{\mathrm{opt}}^{3}\|u_{0}\|_{L^{2}}^{2}}\). It follows from Proposition 3.1 that \(F(u(t))>\frac{8}{27\mathcal{C}_{\mathrm{opt}}^{3}\|u_{0}\|_{L^{2}}^{2}}\) for all \(t\in [0,T^{*})\). Moreover, we know from the proof of Proposition 3.1 that \((\theta '(t))^{2}>\frac{y_{m}}{2}\) for all \(t\in [0,T^{*})\). We consequently obtain

$$ \theta ''(t)= \frac{1}{\theta (t)}\biggl(\frac{J''(t)}{2}-\bigl(\theta '(t) \bigr)^{2}\biggr)< 0\quad \text{for all }t\in \bigl[0,T^{*}\bigr). $$
(4.7)

This implies that the solution \(u(t)\) of (1.3) blows up in finite time. If not, i.e., \(T^{*}=+\infty \), it follows from \(\theta '(0)\leq 0\) and (4.7) that

$$\theta (t)=\theta (1)+ \int _{1}^{t}\theta '(s)\,ds< \theta (1)+\theta '(1) (t-1)< 0, $$

for sufficiently large t, which is a contradiction with \(\theta (t)>0\) for all \(t\in [0,T^{*})\). □

Finally, we give the proof of Theorem 1.1.

Proof of Theorem 1.1

We claim that the result in Theorem 4.1 can be valid for arbitrarily large energy. Let \(v_{0}=\gamma ^{2}Q(\gamma {x})\) for \(\gamma >0\). By some simple calculations, we have

$$\Vert v_{0} \Vert _{L^{2}}^{2}=\gamma \Vert Q \Vert _{L^{2}}^{2},\qquad F(v_{0})= \gamma ^{5}F(Q), $$

and

$$E(v_{0})=\frac{\gamma ^{3}}{2} \Vert \nabla Q \Vert _{L^{2}}^{2}+ \frac{1}{\gamma } \int _{\mathbb{R}^{3}} W(x) \vert Q \vert ^{2}\,dx - \frac{\gamma ^{5}}{2}F(Q). $$

These yield

$$ 4 \Vert v_{0} \Vert _{L^{2}}^{2}E(v_{0}) \leq \Vert Q \Vert _{L^{2}}^{2}F(Q)\quad \text{and} \quad \Vert v_{0} \Vert _{L^{2}}^{2}F(v_{0}) > \Vert Q \Vert _{L^{2}}^{2}F(Q) $$
(4.8)

for sufficiently large \(\gamma >0\).

Let \(u_{0}(x)=e^{i\lambda |x|^{2}}v_{0}(x)\) with \(\lambda <0\) and \(u(t)\) be the corresponding solution of (1.3). It easily follows that

$$\begin{aligned}& \Vert u_{0} \Vert _{L^{2}}^{2}= \Vert v_{0} \Vert _{L^{2}}^{2}\quad \text{and}\quad E(u_{0})=E(v_{0}) +2 \lambda ^{2} \Vert xv_{0} \Vert _{L^{2}}^{2} +2\lambda \operatorname{Im} \int _{\mathbb{R}^{3}} \bar{v}_{0}x\cdot \nabla {v_{0}}\,dx, \end{aligned}$$
(4.9)
$$\begin{aligned}& \operatorname{Im} \int _{\mathbb{R}^{3}}\bar{u}_{0}x\cdot \nabla {u_{0}}\,dx =\operatorname{Im} \int _{ \mathbb{R}^{3}}\bar{v}_{0}x\cdot \nabla {v_{0}}\,dx +2\lambda \Vert xv_{0} \Vert _{L^{2}}^{2}. \end{aligned}$$
(4.10)

Combining (4.9) and (4.10), we further infer

$$E(u_{0})- \frac{(\operatorname{Im}\int _{\mathbb{R}^{3}}\bar{u}_{0} x\cdot \nabla {u_{0}}\,dx)^{2}}{2 \Vert xu_{0} \Vert _{L^{2}}^{2}}=E(v_{0}) - \frac{(\operatorname{Im}\int _{\mathbb{R}^{3}}\bar{v}_{0} x\cdot \nabla {v_{0}}\,dx)^{2}}{2 \Vert xv_{0} \Vert _{L^{2}}^{2}}, $$

which implies (4.3). In addition, due to (4.8), the estimate (4.2) also holds. Choosing sufficiently small \(\lambda \in (-\infty ,0)\), we deduce from formulas (4.9) and (4.10) that

$$4 \Vert u_{0} \Vert _{L^{2}}^{2}E(u_{0})> \Vert Q \Vert _{L^{2}}^{2}F(Q)\quad \text{and} \quad \operatorname{Im} \int _{ \mathbb{R}^{3}}{x}\bar{u}_{0}\nabla {u_{0}}\,dx< 0. $$

Applying Theorem 4.1, the solution \(u(t)\) of (1.3) with initial data \(u_{0}\) blows up in finite time. On the other hand, we see from (4.9) that \(E(u_{0})\rightarrow +\infty \) as \(\lambda \rightarrow -\infty \). Therefore, the initial energy can be arbitrarily large. This completes the proof. □

5 Conclusions

In this paper, we study the existence of blow-up solutions for the nonlinear Schrödinger equation arising in trapped dipolar quantum gases with arbitrarily large initial energy. We consider two cases, one is that the system is free, the other is that a harmonic potential is added. In both cases, by constructing an invariant set, we establish a new blow-up criterion, which implies the existence of blow-up solutions with arbitrarily large initial energy.

References

  1. Antonelli, P., Sparber, C.: Existence of solitary waves in dipolar quantum gases. Physica D 240, 426–431 (2011)

    Article  MathSciNet  Google Scholar 

  2. Bao, W., Cai, Y.: Mathematical theory and numerical methods for Bose–Einstein condensation. Kinet. Relat. Models 6, 1–135 (2013)

    Article  MathSciNet  Google Scholar 

  3. Bao, W., Cai, Y., Wang, H.: Efficient numerical methods for computing ground states and dynamics of dipolar Bose–Einstein condensates. J. Comput. Phys. 229, 7874–7892 (2010)

    Article  MathSciNet  Google Scholar 

  4. Bellazzini, J., Forcella, L.: Asymptotic dynamic for dipolar quantum gases below the ground state energy threshold. J. Funct. Anal. 277, 1958–1998 (2019)

    Article  MathSciNet  Google Scholar 

  5. Bellazzini, J., Jeanjean, L.: On dipolar quantum gases in the unstable regime. SIAM J. Math. Anal. 48, 2028–2058 (2016)

    Article  MathSciNet  Google Scholar 

  6. Cao, J., Song, G., Wang, J., Shi, Q., Sun, S.: Blow-up and global solutions for a class of time fractional nonlinear reaction-diffusion equation with weakly spatial source. Appl. Math. Lett. 91, 201–206 (2019)

    Article  MathSciNet  Google Scholar 

  7. Carles, R., Hajaiej, H.: Complementary study of the standing wave solutions of the Gross–Pitaevskii equation in dipolar quantum gases. Bull. Lond. Math. Soc. 47, 509–518 (2015)

    Article  MathSciNet  Google Scholar 

  8. Carles, R., Markowich, P.A., Sparber, C.: On the Gross–Pitaevskii equation for trapped dipolar quantum gases. Nonlinearity 21, 2569–2590 (2008)

    Article  MathSciNet  Google Scholar 

  9. Cazenave, T.: Semilinear Schrödinger Equations. Courant Lecture Notes in Mathematics, vol. 10. New York University, Courant Institute of Mathematical Sciences, New York; American Mathematical Society, Providence (2003)

    MATH  Google Scholar 

  10. Duyckaerts, T., Roudenko, S.: Going beyond the threshold: scattering and blow-up in the focusing NLS equation. Commun. Math. Phys. 344, 1573–1615 (2015)

    Article  MathSciNet  Google Scholar 

  11. Ellio, M.S., Valentini, J.J., Chandler, D.W.: Subkelvin cooling NO molecules via “billiard-like” collisions with argon. Science 302, 1940–1943 (2003)

    Article  Google Scholar 

  12. Feng, B.: 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 

  13. Feng, B.: 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 

  14. Feng, B.: On the blow-up solutions for the fractional nonlinear Schrödinger equation with combined power-type nonlinearities. Commun. Pure Appl. Anal. 17, 1785–1804 (2018)

    Article  MathSciNet  Google Scholar 

  15. Feng, B., Chen, R., Wang, Q.: Instability of standing waves for the nonlinear Schrödinger–Poisson equation in the \(L^{2}\)-critical case. J. Dyn. Differ. Equ. (2019). https://doi.org/10.1007/s10884-019-09779-6

    Article  Google Scholar 

  16. Feng, B., Liu, J., Niu, H., Zhang, B.: Strong instability of standing waves for a fourth-order nonlinear Schrödinger equation with the mixed dispersions. Nonlinear Anal. 196, 111791 (2020)

    Article  MathSciNet  Google Scholar 

  17. Gligoric, G., Maluckov, A., Sterpic, M., Hadzievski, I., Malomed, B.A.: Two dimensional discrete solutions in dipolar Bose–Einstein condensates. Phys. Rev. A 81, 13633 (2010)

    Article  Google Scholar 

  18. Huang, J., Zhang, J.: Exact value of cross-constrain problem and strong instability of standing waves in trapped dipolar quantum gases. Appl. Math. Lett. 70, 32–38 (2017)

    Article  MathSciNet  Google Scholar 

  19. Lian, W., Ahmed, M., Xu, R.: Global existence and blow up of solution for semilinear hyperbolic equation with logarithmic nonlinearity. Nonlinear Anal. 184, 239–257 (2019)

    Article  MathSciNet  Google Scholar 

  20. Ma, L., Cao, P.: The threshold for the focusing Gross–Pitaevskii equation with trapped dipolar quantum gases. J. Math. Anal. Appl. 381, 240–246 (2011)

    Article  MathSciNet  Google Scholar 

  21. Ma, L., Wang, J.: Sharp threshold of the Gross–Pitaevskii equation with trapped dipolar quantum gases. Can. Math. Bull. 56(2), 378–387 (2013)

    Article  MathSciNet  Google Scholar 

  22. Nath, R., Pedri, P., Santos, I.: Soliton-soliton scattering in dipolar Bose–Einstein condensates. Phys. Rev. A 76, 013606 (2007)

    Article  Google Scholar 

  23. Pedri, P., Santos, I.: Two-dimensional bright solitons in dipolar Bose–Einstein condensates. Phys. Rev. Lett. 95, 200404 (2005)

    Article  Google Scholar 

  24. Santos, L., Shlyapnikov, G., Zoller, P., Lewenstein, M.: Bose–Einstein condensation in trapped dipolar gases. Phys. Rev. Lett. 85, 1791–1797 (2000)

    Article  Google Scholar 

  25. Shen, J., Yang, Y., Chen, S., Xu, R.: Finite time blow up of fourth-order wave equations with nonlinear strain and source terms at high energy level. Int. J. Math. 24, 1350043 (2013)

    Article  MathSciNet  Google Scholar 

  26. Vengalattore, M., Leslie, S.R., Guzman, J., Stamper-Kurn, D.M.: Spontaneously modulated spin textures in a dipolar spinor Bose–Einstein condensate. Phys. Rev. Lett. 100, 170403 (2008)

    Article  Google Scholar 

  27. Xiang, M., Radulescu, V.D., Zhang, B.: Nonlocal Kirchhoff diffusion problems: local existence and blow-up of solutions. Nonlinearity 31, 3228–3250 (2018)

    Article  MathSciNet  Google Scholar 

  28. Xie, Y., Li, L., Zhu, S.: Dynamical behaviors of blowup solutions in trapped quantum gases: concentration phenomenon. J. Math. Anal. Appl. 468, 169–181 (2018)

    Article  MathSciNet  Google Scholar 

  29. Xu, R., Su, J.: Global existence and finite time blow-up for a class of semilinear pseudo-parabolic equations. J. Funct. Anal. 264, 2732–2763 (2013)

    Article  MathSciNet  Google Scholar 

  30. Xu, R., Wang, X., Yang, Y.: Blowup and blowup time for a class of semilinear pseudo-parabolic equations with high initial energy. Appl. Math. Lett. 83, 176–181 (2018)

    Article  MathSciNet  Google Scholar 

  31. Xu, R., Wang, X., Yang, Y., Chen, S.: Global solutions and finite time blow-up for fourth order nonlinear damped wave equation. J. Math. Phys. 59, 061503 (2018)

    Article  MathSciNet  Google Scholar 

  32. Yang, L., Li, X., Wu, Y., Caccetta, L.: Global well-posedness and blow-up for the Hartree equation. Acta Math. Sci. Ser. B Engl. Ed. 37, 941–948 (2017)

    Article  MathSciNet  Google Scholar 

  33. Yang, Y., Xu, R.: Finite time blowup for nonlinear Klein–Gordon equations with arbitrarily positive initial energy. Appl. Math. Lett. 77, 21–26 (2018)

    Article  MathSciNet  Google Scholar 

  34. Yang, Y., Xu, R.: Nonlinear wave equation with both strongly and weakly damped terms: supercritical initial energy finite time blow up. Commun. Pure Appl. Anal. 18, 1351–1358 (2019)

    Article  MathSciNet  Google Scholar 

  35. Yi, S., You, L.: Trapped atomic condensates with anisotropic interactions. Phys. Rev. A 61, 041604 (2000)

    Article  Google Scholar 

  36. Yue, Z., Li, X., Zhang, J.: A new blow-up criterion for Gross–Pitaevskii equation. Appl. Math. Lett. 62, 16–22 (2016)

    Article  MathSciNet  Google Scholar 

  37. Zhang, J.: Sharp conditions of global existence for nonlinear Schrödinger and Klein–Gordon equations. Nonlinear Anal. 48, 191–207 (2002)

    Article  MathSciNet  Google Scholar 

  38. Zhang, J.: Sharp threshold for blowup and global existence in nonlinear Schrödinger equations under a harmonic potential. Commun. Partial Differ. Equ. 30, 1429–1443 (2005)

    Article  Google Scholar 

  39. Zhang, J., Zhu, S.: Sharp blow-up criteria for the Davey–Stewartson system in \(\mathbb{R}^{3}\). Dyn. Partial Differ. Equ. 8, 239–260 (2011)

    Article  MathSciNet  Google Scholar 

  40. Zhang, J., Zhu, S.: Sharp energy criteria and singularity of blow-up solutions for the Davey–Stewartson system. Commun. Math. Sci. 17, 653–667 (2019)

    Article  MathSciNet  Google Scholar 

  41. Zhu, S.: On the Davey–Stewartson system with competing nonlinearities. J. Math. Phys. 57, 031501 (2016)

    Article  MathSciNet  Google Scholar 

Download references

Acknowledgements

The author would like to thank the referees for their pertinent comments and valuable suggestions.

Availability of data and materials

Not applicable.

Funding

This paper is supported by the National Natural Science Foundation of China (No. 11601435).

Author information

Authors and Affiliations

Authors

Contributions

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

Corresponding author

Correspondence to Binhua Feng.

Ethics declarations

Competing interests

The authors declare that no competing interests exist.

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 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

Yuan, Y., Feng, B. Finite time blow-up for the nonlinear Schrödinger equation in trapped dipolar quantum gases with arbitrarily positive initial energy. Bound Value Probl 2020, 61 (2020). https://doi.org/10.1186/s13661-020-01358-9

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13661-020-01358-9

Keywords