- Research
- Open access
- Published:
Blow-up for the stochastic nonlinear Schrödinger equations with quadratic potential and additive noise
Boundary Value Problems volume 2015, Article number: 132 (2015)
Abstract
We study the dynamics of a stochastic nonlinear Schrödinger equation with both a quadratic potential and an additive noise. We show that in both cases of repulsive potential and attractive one, any initial data with finite variance gives birth to a solution that blows up in arbitrarily small time. This is in contrast to the deterministic case when the potential is repulsive, where strong potentials could prevent the solutions from blowing up. Our result hence indicates that the additive noise rather than the potential dominates the dynamical behaviors of the solutions to the stochastic nonlinear Schrödinger equations.
1 Introduction
In this paper, we are interested in the blow-up problem for the following stochastic nonlinear Schrödinger equation with a quadratic potential
Here \(\theta\in\mathbb{R}\), \(\sigma>0\), and \(\dot{\eta}\) is a complex-valued noise that is white in time and correlated in space. When \(\theta<0\), (1.1) describes the evolution of the wave function of a Bose-Einstein condensation, where the potential \(|x|^{2}\) models a magnetic field to confine the particles [1]. The additive noise \(\dot{\eta}\) represents the fluctuation effect of physical process in random media [2].
When \(\eta=0\), (1.1) reduces to the deterministic nonlinear Schrödinger equation with a quadratic potential
which has been extensively studied in the last decade. Employing a Mehler type formula that is isometric in \(L^{2}\), Carles [1] found the deep relation of solutions between the critical nonlinear Schrödinger equation with an attractive potential (\(\theta<0\)) and the one without potential. He presented the similarities as well as differences of the blow-up dynamics of the two equations. Through decomposing its energy into two suitable parts, Carles [3] further studied the well-posedness and the blow-up problems for the supercritical equation with an attractive potential. Especially, he discovered that the singular solution of the nonlinear Schrödinger equation with an attractive potential blows up earlier than the one without potential. Subsequently, based on a new decomposition of energy, Carles [4] showed that in contrast to the attractive case, the repulsive potential (\(\theta>0\)) has a tendency to delay or even prevent wave collapse. For more results on the nonlinear Schrödinger equation with quadratic potentials, we refer the reader to [5, 6].
If \(\theta=0\), (1.1) is the well-known stochastic nonlinear Schrödinger equation without potential. In [7] de Bouard and Debussche derived the global well-posedness of \(H^{1}\) solution for a defocusing nonlinear Schrödinger equation. On the base of the local well-posedness theory established in [7], they subsequently investigated the effect of an additive noise on the finite time blow-up behavior of the solutions for a focusing nonlinear Schrödinger equation in [8]. It is usually an interesting question to study the effect of small noise on a deterministic model. As the additive noise converges to zero, for the nonlinear Schrödinger equation with a power-type nonlinearity, Gautier [9] established a large deviations principle, which demonstrates the rate of convergence to zero of the probability that paths are in sets which do not contain the deterministic solution. It is worth mentioning that if the noise acts as a potential, then a multiplicative noise arises, we refer the interested reader to [10–12] in this direction.
In this paper, we are interested in the mixed effect of noise and potential on the blow-up dynamics of the solution. As far as we know, the blow-up problem for the Schrödinger equations with a potential and a noise was first studied in [13], where Fang et al. showed that for the initial data with sufficiently negative energy, which is similar to the requirement of deterministic equation, the corresponding solutions blow up in finite time with positive probability. In the current paper, we continue to investigate the blow-up problem for nonlinear Schrödinger equations under both effects of an additive noise and a potential. We show that, regardless of the direction of the potential, any initial data with finite variance gives birth to a solution that blows up in arbitrarily small time, which improves the blow-up result in [13]. Recall that for the deterministic (1.2) with a repulsive potential (\(\theta>0\)), Carles [4] proved that the potential could prevent the blow-up of the solution. Thus, our result implies that for the stochastic (1.1) the noise dominates the dynamics of the solution.
The rest of this paper is organized as follows. In Section 2, we present some preliminary lemmas and state our main results. Section 3 is devoted to the proof of the main results.
2 Preliminaries and main results
Before proceeding, let us briefly introduce some notation for convenience. \((\Omega,\mathscr{F},\mathbb{P})\) denotes a probability space endowed with a filtration \((\mathscr{F}_{t})_{t\geq0}\). Let \((\beta_{l})_{l\in \mathbb{N}}\) be a sequence of real-valued independent Brownian motions associated with this filtration. \(L^{p}(\mathbb{R}^{n})\) denotes the classical Lebesgue space of complex-valued functions on \(\mathbb{R}^{n}\). As in the argument for the deterministic (1.2), we also need the Hilbert space
equipped with the norm
Let \((e_{l})_{l\in\mathbb{N}}\) be a Hilbertian basis of \(L^{2}(\mathbb{R}^{n})\) and ϕ denote a Hilbert-Schmidt operator from \(L^{2}\) into Σ. \(\mathscr {L}_{2}^{\Sigma}\) stands for the space of Hilbert-Schmidt operators ϕ from \(L^{2}\) into Σ endowed with the norm
The noise we consider is \(\dot{\eta}=\frac{\partial W}{\partial t}\), where the process W is given by
Then W is a complex-valued Wiener process on \(L^{2}(\mathbb{R}^{n})\) with covariance operator \(\phi\phi^{*}\). Here \(\phi^{*}\) denotes the adjoint operator of ϕ.
The integral \(\int_{\mathbb{R}^{n}} f(x)\, dx\) will be abbreviated as \(\int f(x)\) for convenience if no confusion is caused. If I is an interval of \(\mathbb{R}\), B is a Banach space, \(1\leq q\leq\infty\), then \(L^{q}(I;B)\) is the space of Lebesgue measurable function g from I into B such that the function \(t\mapsto\|g(t)\|_{B}\) is in \(L^{q}(I)\). \(L^{q}((0,T);L^{r}(\mathbb{R}^{n}))\) will be abbreviated by \(L^{q}_{T}L^{r}\). C denotes a generic positive constant which may change from one line to another.
Throughout the paper, we assume that \(\phi\in\mathscr{L}_{2}^{\Sigma}\). Thus, the four constants given above are finite and well defined.
We are now ready to state our main results.
Theorem 2.1
Assume that \(\sigma\geq\frac{2}{n}\) if \(n=1,2\), and that \(\frac{2}{n}\leq\sigma<\frac{2}{n-2}\) if \(n\geq3\). Suppose that \(\phi\in\mathscr{L}_{2}^{\Sigma}\) satisfying \(\operatorname{ker} \phi^{*}=\{ 0\}\). Then for any \(u_{0}\in\Sigma\) with \(u_{0}\neq0\) and any \(t>0\) (\(0< t<\frac{\pi}{4\sqrt{-\theta}}\) if \(\theta<0\)), we have
where \(\tau^{*}(u_{0})\) is the existence time of the solution of (1.1) with initial data \(u_{0}\).
Remark 2.1
For the deterministic (1.2) with supercritical nonlinearities and repulsive potentials (\(\theta>0\)), Carles [4] showed that for fixed initial data \(u_{0}\in\Sigma\), there exists \(\theta_{0}>0\) such that for any \(\theta>\theta_{0}\), the solution of (1.2) is global. Here we show that, in contrast to the result available for deterministic equations, under the effect of an additive white noise, any initial data develops a solution that blows up in arbitrarily small time. In this sense, Theorem 2.1 says that, for the stochastic Schrödinger equation (1.1) the white noise rather than the potential determines the dynamical behaviors of the solution.
Before the proof of Theorem 2.1, we need some preliminary lemmas. Set \(U_{\theta}(t):=e^{it(\Delta+\theta|x|^{2})}\). \((q,r)\) denotes the admissible pair satisfying \(\frac{2}{q}=n (\frac{1}{2}-\frac{1}{r} )\) with \(2\leq r<\frac{2n}{n-2}\) (\(2\leq r<\infty\) if \(n=2\), \(2\leq r\leq\infty\) if \(n=1\)). We recall the following Strichartz estimates for \(U_{\theta}\); see [3, 4] for details.
Lemma 2.1
(Strichartz estimates)
-
(i)
If \(\theta>0\), then for any admissible pair \((q,r)\), \((\gamma ,\rho)\) and any interval I,
$$ \bigl\Vert U_{\theta}(t)\varphi\bigr\Vert _{L^{q}(I;L^{r})}\leq C_{1}\|\varphi\|_{L^{2}} $$for every \(\varphi\in L^{2}(\mathbb{R}^{n})\), and
$$ \biggl\Vert \int_{I\cap\{s\leq t\}} U_{\theta}(t-s)F(s)\, ds \biggr\Vert _{L^{q}(I; L^{r})}\leq C_{2}\|F\|_{L^{\gamma'}(I; L^{\rho'})} $$for every \(F\in L^{\gamma'}(I; L^{\rho'})\), where \(C_{1}=C_{1}(q,r)\) and \(C_{2}=C_{2}(T,q,r,\gamma,\rho)\) are positive constants independent of I.
-
(ii)
If \(\theta<0\), then the both inequalities stated in (i) hold for any interval \(I\subset [0,\frac{\pi}{4\sqrt{-\theta}} ]\).
To demonstrate the effect of quadratic potentials, we adopt the decomposition introduced by Carles [3, 4]. In the case of \(\theta>0\), set \(\mu=\sqrt{\theta}\) and denote
then
In the case of \(\theta<0\), set \(\nu=\sqrt{-\theta}\) and denote
then
The operators \(J_{\pm}\) and \(K_{\pm}\) have the following properties; see [3, 4].
Lemma 2.2
If \(F\in\mathcal{C}^{1}(\mathbb{C},\mathbb{C})\) is of the form \(F(z)=zG(|z|^{2})\), then
On the base of Lemmas 2.1 and 2.2, Fang et al. (see Theorem 3.1 in [13]) proved the following local well-posedness result for (1.1).
Lemma 2.3
Assume that \(0\leq\sigma<\frac{2}{n-2}\) if \(n\geq3\) or \(\sigma\geq0\) if \(n=1,2\), and that ϕ is a Hilbert-Schmidt operator from \(L^{2}(\mathbb{R}^{n})\) into Σ. Then for any \(\mathscr{F}\) measurable random variable \(u_{0}\) with values in Σ, there exists a unique solution \(u(u_{0},\cdot)\) to (1.1) with continuous Σ values paths. The solution is defined on a random interval \([0,\tau^{*}(u_{0},\omega))\). Here \(\tau^{*}(u_{0},\omega)\) is a stopping time such that
As in the deterministic case, to study the blow-up problem, we need to characterize the time evolution of the following three quantities: the energy
the momentum
and the variance
By employing the Itô formula given in [14] and a regularization argument, we can derive the following identities; see [13] for details.
Lemma 2.4
Under the assumptions of Theorem 2.1, for any stopping time t such that \(t<\tau^{*}(u_{0})\) a.s., we have
and
3 Proof of Theorem 2.1
In this section we will show Theorem 2.1, by exploring the compatibility of the quadratic potentials with the space Σ and by combining the energy decomposition technique [3, 4] with the framework of showing blow-up [8, 11]. To achieve this, we first revisit the blow-up result derived by Fang et al. ([13], Theorem 4.1) and present a stronger conclusion.
Lemma 3.1
(Blow-up for special initial data)
Assume that \(u_{0}\), σ, and ϕ satisfy the assumptions of Theorem 2.1.
-
(i)
In the case \(\theta<0\), suppose that for some \(T>0\),
$$ V(u_{0})-4G(u_{0})T+8H(u_{0})T^{2}+c_{\phi}^{\Sigma}T+2c_{\phi}^{2}T^{2}+\frac{4}{3} \bigl(c_{\phi}^{1}-\theta c_{\phi}^{\Sigma}\bigr)T^{3}< 0, $$(3.1)then \(\mathbb{P}(\tau^{*}(u_{0})\leq T)>0\).
-
(ii)
In the case \(\theta>0\), suppose that for some \(T>0\),
$$\begin{aligned}& 2V(u_{0})+ \biggl[\frac{1}{2\mu} \bigl(c_{\phi}^{\Sigma}-4G(u_{0})\bigr)+ \frac {1}{4\mu^{3}}\bigl(c_{\phi}^{1}-\theta c_{\phi}^{\Sigma}\bigr) \biggr]\tanh(2\mu T) \\& \quad {}+\frac{1}{2\mu^{2}} \bigl[c_{\phi}^{2}+4H(u_{0}) \bigr]\tanh^{2}(2\mu T)< 0, \end{aligned}$$(3.2)then \(\mathbb{P}(\tau^{*}(u_{0})\leq T)>0\).
Proof
The proof is similar to that of Theorem 4.1 in [11]. For the convenience of the reader, we present the sketch of the proof here. We first consider the case of \(\theta<0\). Assume that the conclusion of Lemma 3.1 does not hold. That is, \(\tau^{*}(u_{0})> T\) almost surely. Define the stopping time
Taking \(t=\tau_{k}\) in Lemma 2.4, and substituting (2.3) and (2.4) into (2.5), by Fubini theorem, we obtain the following stochastic version of the variance identity:
Noting that \(\sigma\geq2/n\) and \(\theta<0\), the seventh term to the tenth one in (3.3) are all nonpositive, we get, for any \(k\in\mathbb{N}\),
where
Because \(\tau_{k}\rightarrow T\) a.s. as \(k\rightarrow\infty\), and \(V(u(\tau_{k}))\geq0\), it follows from the assumption (3.1), that there exist constants \(\delta>0\) and \(\hat{k}>0\) such that for any \(k>\hat{k}\),
On the other hand, we will show that these two stochastic integrals are square integrable and thus their expectations are zero. By the Hölder inequality, we have
By the Cauchy-Schwarz inequality and the Sobolev embedding theorem,
Similarly,
Therefore,
which is in contradiction with (3.5).
We proceed to consider the case of \(\theta>0\). As in (3.4), we have
In view of (3.6) and noting \(\tau_{k}\rightarrow T\) a.s. as \(k\rightarrow\infty\), we have
For convenience, set \(\mathfrak{A}:=c_{\phi}^{\Sigma}-4\mathbb{E}(G(u_{0}))\), \(\mathfrak{B}:=c_{\phi}^{2}+4\mathbb{E}(H(u_{0}))\), and \(\mathfrak{C}:=c_{\phi}^{1}-\theta c_{\phi}^{\Sigma}\). Applying the theory of ordinary differential equations, we get
Thus if (3.2) holds, we then have \(\mathbb{E}(V(u(T)))<0\), which is a contradiction. □
We next show that blow-up occurs in arbitrarily small time for any initial data with finite variance. According to the framework established by [8, 11], there are three key ingredients to show blow-up: the controllability of the Schrödinger dynamics, the well-posedness of the perturbation equation and the continuous dependence of the solution on both the perturbation and the initial data. In this paper, we utilize the compatibility of the potential with the natural working space Σ to get the controllability of the Schrödinger equation in Σ; and then employ the energy decomposition technique together with the continuity argument to derive the well-posedness of the perturbation equation and the continuous dependence of the solution on the initial data in the natural space Σ. In particular, owing to the structure of the quadratic potential, we only need the assumption of finite variance regardless of higher order moments on the initial data which are required in [8, 11]. Analogous to the deterministic equation [4], we define for an admissible pair \((q,r)\),
Lemma 3.2
(Controllability)
For any \(u_{0}\in\Sigma\), \(u_{1}\in\Sigma\), \(T_{1}>0\) (\(\frac{\pi}{4\sqrt{-\theta}}>T_{1}>0\) if \(\theta<0\)), there exists a function \(z\in Y_{2\sigma+2}(0,T_{1})\) such that \(z(0)=0\) and the solution of
exists in \(Y_{2\sigma+2}(0,T_{1})\) and \(z(T_{1})+v(z,u_{0},T_{1})=u_{1}\).
Proof
We only consider the case of \(n\geq3\) since the case of \(n\leq2\) is similar and easier. Consider a linear parabolic equation
where \(k>[\frac{n}{2}]+1\) is a positive integer. Denote by \(S(t)\) the semigroup on Σ associated to (3.8). Define
Obviously, \(u(0)=u_{0}\) and \(u(T_{1})=u_{1}\). We shall investigate the regularity of u. First it is easy to see that \(u\in \mathcal{C}([0,T_{1}];\Sigma)\). Multiplying (3.8) by \(\bar{w}\), integrating the resultant equation over \([0,T_{1}]\times\mathbb{R}^{n}\) gives
Because \(k>[\frac{n}{2}]+1\geq2\), it follows from the Sobolev embedding theorem that
We take η satisfying
Clearly \(\eta=\frac{n\sigma}{2(\sigma+1)}<1\) since \(\sigma<\frac{2}{n-2}\). Noting that \(u\in L^{\infty}((0,T_{1});H^{1})\cap L^{2}((0,T_{1});W^{1,\frac{2n}{n-2}})\), applying Hölder’s inequality in space and then in time, we have
We next estimate xu. When \(k>[\frac{n}{2}]+1\), since \(H^{k}\hookrightarrow L^{\infty}\) and \(H^{1}\hookrightarrow L^{\frac{2n}{n-2}}\), by Hölder’s inequality, we obtain
Thus,
which in combination with (3.9) yields
Noting that \(xu\in\mathcal{C}([0,T_{1}];L^{2})\), as in (3.10), we get \(xu\in L^{q}((0,T_{1});L^{2\sigma+2})\). Thus
We proceed to estimate \(|u|^{2\sigma}u\). If \(0<\sigma\leq1\), by Hölder’s inequality,
from which it follows that
for some \(0\leq\beta<1\), where we have used the embedding \(H^{k}\hookrightarrow L^{\infty}\) and the fact that \(0<(1-\lambda)(2\sigma+1)\leq2\). If \(1<\sigma<\frac{2}{n-2}\), using the inequality
and the Sobolev embedding \(H^{1}\hookrightarrow L^{\frac{2n}{n-2}}\), we similarly have
Thus, using (3.9), we derive
By Hölder’s inequality,
If \(0<\sigma\leq1\) (noting that when \(n\geq4\), \(\sigma<\frac{2}{n-2}\leq1\)), by Hölder’s inequality in time, we get
If \(n=3\) and \(1<\sigma<\frac{2}{n-2}=2\), it follows from Gagliardo-Nirenberg’s inequality that
Thus observing that \(H^{2}\hookrightarrow W^{1,6}\) when \(n=3\), it holds that
Since \(\sigma<2\), \(u\in\mathcal{C}([0,T_{1}];H^{1})\), and \(|\nabla(|u|^{2\sigma}u)|\leq C|u|^{2\sigma}|\nabla u|\), we obtain
We next show that \(x|u|^{2\sigma}u\in L^{1}((0,T_{1});L^{2})\). As in (3.13), if \(0<\sigma\leq1\), we have
If \(n=3\) and \(1<\sigma<2\), by (3.14),
This inequality together with (3.11) implies \(x|u|^{2\sigma}u\in L^{1}((0,T_{1});L^{2})\). Therefore, we obtain
Now we define
and \(z(t):=u(t)-v(t)\). Clearly, \(v(z,u_{0},t):=v(t)\) is the solution of (3.7). By (2.1),
It thus follows from (3.15), Strichartz estimates and (2.2) that \(v\in\mathcal{C}([0,T_{1}];\Sigma)\) and that
which implies \(A(\cdot)v\in L^{q}((0,T_{1});L^{2\sigma+2})\). Finally, by (3.12), \(z=(u-v)\) satisfies \(A(\cdot)z\in \mathcal{C}([0,T_{1}];L^{2})\cap L^{q}((0,T_{1});L^{2\sigma+2})\). □
Lemma 3.3
(Local well-posedness of (3.7))
Assume that \(u_{0}\in\Sigma\). Then for any z satisfying \(z\in Y_{2\sigma+2}(0,T^{*})\), there exist \(T>0\) with \(0< T\leq T^{*}\) and a unique solution \(v(z,u_{0},\cdot)\) of (3.7) satisfying \(v(z,u_{0},\cdot)\in Y_{2\sigma+2}(0,T)\).
Proof
Step 1. Existence. Define the set
equipped with the distance
It is easy to see that \((X_{T,M},d)\) is a complete metric space. Consider the mapping \(\mathbb{H}\) defined by
We shall show that there exist T and M satisfying (i) \(\mathbb{H} \) maps \((X_{T,M},d)\) into itself; (ii) \(\mathbb{H} \) is a contraction in \((X_{T,M},d)\). By (2.1),
Thus, by the Strichartz estimates, (2.2), and Hölder’s inequality, we have
where \(\delta(\sigma)=\frac{n\sigma}{2(\sigma+1)}<1\) since \(\sigma<\frac{2}{n-2}\), and we have used the Sobolev embedding \(H^{1}\hookrightarrow L^{2\sigma+2}\). Applying similar arguments to operators \(K(t)\) and Id, we get
On the other hand, for any \(w,v\in X_{T,M}\), we have
A simple calculation yields
for some constant \(C>0\). This inequality, in combination with the Strichartz estimates and Hölder’s inequality, leads to
Now choosing
and T small enough such that \(CT^{1-\delta(\sigma)} (M^{2\sigma}+\|z\|_{L^{\infty}_{T}H^{1}}^{2\sigma} )\leq\frac{1}{2}\), we get from (3.17) and (3.18) that \(\|A(\cdot)\mathbb{H}v\|_{L^{\infty}_{T}L^{2}}+\|A(\cdot)\mathbb{H}v\| _{L^{q}_{T}L^{2\sigma+2}}\leq M\) and \(d(\mathbb{H}w,\mathbb{H}v)\leq\frac{1}{2}d(w,v)\) which verify (i) and (ii). Applying the contraction mapping principle, we see that there exists a solution \(v(z,u_{0},\cdot)\) to (3.7) and \(A(\cdot)v(z,u_{0},\cdot)\in \mathcal{C}([0,T];L^{2})\cap L^{q}((0,T);L^{2\sigma+2})\). Moreover, we have the estimate
Step 2. Uniqueness. Suppose that there are two mild solutions w and v satisfying \(w,v\in\mathcal{C}([0,T];\Sigma)\cap L^{q}((0,T);L^{2\sigma+2})\). Applying the Strichartz estimates and Hölder’s inequality, as in (3.18), we get for any \(t\in[0,T]\),
Thus if \(\tau\in[0,T]\) is small enough such that
we then have \(\|w-v\|_{L^{q}((0,\tau);L^{2\sigma+2})}=0\), which gives \(w=v\) on \([0,\tau]\). Set
Clearly, \(\hat{\tau}>0\). Suppose \(\hat{\tau}< T\), then we can take \(\hat{\tau}\) as the initial time and deduce \(\|w-v\|_{L^{q}((0,\hat{\tau}+\epsilon);L^{2\sigma+2})}=0\) for some \(\epsilon>0\), which contradicts the definition of \(\hat{\tau}\). Therefore, \(\hat{\tau}=T\), and we complete the proof of the uniqueness part. □
Lemma 3.4
(Continuous dependence)
Let \(\hat{u}_{0}\in\Sigma\), \(T>0\). Assume that \(\hat{z}\in Y_{2\sigma+2}(0,T)\) and that the solution \(v(\hat{z},\hat{u}_{0},\cdot)\) of (3.7) exists on \([0,T]\). Then there exist neighborhoods \(\mathcal{V}\) of \(\hat{z}\) in \(Y_{2\sigma+2}(0,T)\) and \(\mathcal{W}\) of \(\hat{u}_{0}\) in Σ, such that for any \((z,u_{0})\in\mathcal{V}\times\mathcal{W}\), the solution \(v(z,u_{0},\cdot)\) of (3.7) exists and is unique in \(\mathcal{C}([0,T];\Sigma)\). Moreover, the mapping \((z,u_{0})\mapsto v(z,u_{0},\cdot)\) is continuous from \(\mathcal{V}\times\mathcal{W}\) into \(\mathcal{C}([0,T];\Sigma)\).
Proof
Step 1. Let \(r,R>0\) and take \(u_{0}\), z satisfying
for any \(A(t)\in\{J(t),K(t),\mathit{Id}\}\). Owing to Lemma 3.3, there exist \(T_{1}=T_{1}(r,R)\) and a unique solution \(v(z,u_{0},\cdot)\) of (3.7) on \([0,T_{1}]\) such that \(v(z,u_{0},\cdot)\in Y_{2\sigma+2}(0,T_{1})\).
We next show that the solution map \((z,u_{0})\mapsto v(z,u_{0},\cdot)\) is continuous on \([0,\tau]\) for some \(0<\tau\leq T_{1}\). To do this, we take \(\{u_{0}^{n}\}_{n\geq1}\subset\Sigma\) and \(\{z_{n}\}_{n\geq1}\subset Y_{2\sigma+2}(0,T)\) satisfying \(u_{0}^{n}\rightarrow u_{0}\) in Σ and \(A(\cdot)z_{n}\rightarrow A(\cdot)z\) in \(\mathcal{C}([0,T];L^{2})\cap L^{q}((0,T);L^{2\sigma+2})\) for any \(A(t)\in\{J(t),K(t),\mathit{Id}\}\). Noting that
for n sufficiently large, according to Lemma 3.3, (3.7) has a unique solution \(v_{n}\) corresponding to \((z_{n},u_{0}^{n})\), and there exists \(\tau=\tau(r,R)\) such that \(v_{n}\) and v exist on \([0,\tau]\subset[0,T_{1}]\). Moreover, owing to (3.19), \(v_{n}\) satisfies
We shall show that \(v_{n}\rightarrow v\) in \(\mathcal{C}([0,\tau];\Sigma)\) as \(n\rightarrow\infty\). Since
as in (3.18), we have
Using (3.20) and choosing \(\tau=\tau(r,R)\) small enough, it follows that
Analogous to (3.17), applying \(J(t)\) and \(K(t)\) to (3.21) and setting \(F(u):=|u|^{2\sigma}u\), we get
\(I_{1}\) can be estimated as follows. By Hölder’s inequality,
Similarly,
Substituting these two inequalities into (3.24), using (3.20) and choosing \(\tau=\tau(r,R)\) small enough, we have
To show that \(v_{n}\rightarrow v\) in \(\mathcal{C}([0,\tau];\Sigma)\) as \(n\rightarrow\infty\), we only need to verify that \(I_{3}^{n}+I_{4}^{n}\rightarrow0\). Otherwise, without loss of generality, there exists \(\varrho>0\) and, up to a subsequence, \(I_{3}^{n}\geq\varrho\). It then follows from (3.23) that there exists a subsequence, still denoted by \(\{v_{n}\}_{n\geq1}\), such that \(v_{n}\rightarrow v\) a.e. in \([0,\tau]\times\mathbb{R}^{n}\). Moreover, there exist \(w,\varpi\in L^{q}_{\tau}L^{2\sigma+2}\) such that \(v_{n}\leq w\) and \(z_{n}\leq\varpi\) a.e. Noting that \(|[\partial_{u}F(v_{n}+z_{n})-\partial_{u}F(v+z)]A(\cdot)(v+z)|\leq C(|w|^{2\sigma}+|\varpi|^{2\sigma})|A(\cdot)(v+z)|\in L^{q'}_{\tau}L^{(2\sigma+2)'}\), by the dominated convergence theorem, we see that \(I_{3}^{n}\rightarrow0\), which is a contradiction.
Step 2. Now we obtain the solution of (3.7) denoted by \(v_{1}(z,u_{0},\cdot)\) on \([0,\tau]\) with \(\tau=\tau(r,R)\). Set
By the continuity of \(v_{1}(z,u_{0},\cdot)\) with respect to \((z,u_{0})\) on \([0,\tau]\), we see that, for \(0<\varepsilon_{1}\ll1\), there exists \(0<\delta_{1}\ll1\) such that
Set \(u_{1}=v_{1}(z,u_{0},\tau)\), then
As in the argument of Step 1, the solution of (3.7) denoted by \(v_{2}(z,u_{1},\cdot)\) exists and is unique on \([\tau,2\tau]\), and \(v_{2}(z,u_{1},\cdot)\) is continuous with respect to \((z,u_{1})\) on \([\tau,2\tau]\).
By iteration, for every \(1\leq j\leq [\frac{T}{\tau} ]\) and \(0<\varepsilon_{j}\ll1\), there exists \(0<\delta_{j}\ll1\) such that
Set \(u_{j}=v_{j}(z,u_{j-1},j\tau)\), then \(\|u_{j}\|_{\Sigma}\leq \|v(\hat{z},\hat{u}_{0},j\tau)\|_{\Sigma}+\varepsilon_{j}< r\). By Step 1, the solution of (3.7) denoted by \(v_{j+1}(z,u_{j},\cdot)\) exists and is unique on \([j\tau,(j+1)\tau]\). Moreover, every \(v_{j+1}\) is continuous with respect to \((z,u_{j})\) on \([j\tau,(j+1)\tau]\).
Step 3. Without loss of generality, we can take \(\varepsilon _{j}\leq\varepsilon_{j+1}\ll1\) and \(\delta_{j}\leq\delta_{j+1}\ll1\) in Step 2. Now we take \(\mathcal{V}\) and \(\mathcal{W}\) to be the balls in \(Y_{2\sigma+2}(0,T)\) and Σ centered at \(\hat{z}\) and \(\hat{u}_{0}\) with radius \(\varepsilon_{1}\) and \(\delta_{1}\). We define the solution of (3.7) on \([0,T]\) by
Then \(v(z,u_{0},\cdot)\) is the solution of (3.7) on \([0,T]\) and is continuous with respect to \((z,u_{0})\). Since \((z,u_{0})\) is arbitrary, we obtain the desired result. □
Proof of Theorem 2.1
Let \(u_{0}\in\Sigma\), and \(T_{1}>0\) and \(\bar{M}>0\) be two constants. We choose a function \(U\in\Sigma\) satisfying
Taking \(U_{\alpha\beta}(x)=\alpha U(\beta x)\), with α and β being positive constants to be determined later, we get
If we take α and β satisfying \(\alpha^{2}\beta^{-n}=\frac{\bar{M}}{2G(U)}\) and let β large enough, we then have
For \(H(U_{\alpha\beta})\), since \(\sigma\geq\frac{2}{n}\), by (3.26), we see that
Thus, for any constant \(\bar{H}>0\), when β is large, setting \(u_{1}=U_{\alpha\beta}\), by (3.27) we obtain
By Lemma 3.2, there exists \(\hat{z}\) satisfying \(A(\cdot)\hat{z}\in\mathcal{C}([0,T_{1}];L^{2})\cap L^{q}((0,T_{1});L^{2\sigma+2})\), \(z(0)=0\) and \(\hat{z}(T_{1})+v(\hat{z},u_{0},T_{1})=u_{1}\). By Lemma 3.4, there exists a ball B centered at \(\hat{z}\) in \(Y_{2\sigma+2}(0,T_{1})\) such that for any \(z\in B\), the solution \(v(z,u_{0},\cdot)\) of (3.7) exists and is continuous with respect to \((z,u_{0})\). Set \(u=z+v(z,u_{0},\cdot)\), then by (3.28),
Noting that the solution of (1.1) is given by \(u=z(t)+v(z,u_{0},\cdot)\), where \(z(t)=\int_{0}^{t}U_{\theta}(t-s)\, dW(s)\). By Lemma 3.1 in [13], z satisfies \(A(\cdot)z\in \mathcal{C}([0,T_{1}];L^{2})\cap L^{q}((0,T_{1});L^{2\sigma+2})\) almost surely. Because \(\operatorname{ker}\phi^{*}=\{0\}\), we see that z is non-degenerate and \(\mathbb{P}(z\in B)>0\). Now we set
then \(\mathbb{P}(\Omega_{0})>0\). We choose \(\bar{H}\) large enough such that
and
By Lemma 3.1 with \(u_{0}\) replaced by \(u(T_{1})|_{\Omega_{0}}\), we have \(\mathbb{P}(\tau^{*}(u_{0})\leq2T_{1})>0\). This completes the proof of Theorem 2.1. □
4 Conclusions
In this article, we study the mixed effect of additive noise and potential on the blow-up dynamics of solutions to a stochastic nonlinear Schrödinger equation, which could describe the evolution of the wave function of a Bose-Einstein condensation in random media. Our findings show that, regardless of the direction of the potential, any initial data with finite variance gives birth to a solution that blows up in arbitrarily small time with positive probability, which improves the result of [13].
Furthermore, our results show that, under the effect of an additive white noise, any initial data develops a solution that blows up in arbitrarily small time. This indicates that, for the stochastic Schrödinger equation, the white noise rather than the potential determines the dynamical behaviors of the solution.
References
Carles, R: Critical nonlinear Schrödinger equations with and without harmonic potential. Math. Models Methods Appl. Sci. 12, 1513-1523 (2002)
Konotop, V, Vázquez, L: Nonlinear Random Waves. World Scientific, River Edge (1994)
Carles, R: Remarks on nonlinear Schrödinger equations with harmonic potential. Ann. Henri Poincaré 3, 757-772 (2002)
Carles, R: Nonlinear Schrödinger equations with repulsive harmonic potential and applications. SIAM J. Math. Anal. 35, 823-843 (2003)
Zhang, J: Stability of attractive Bose-Einstein condensates. J. Stat. Phys. 101, 731-746 (2000)
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)
de Bouard, A, Debussche, A: The stochastic nonlinear Schrödinger equation in \(H^{1}\). Stoch. Anal. Appl. 21, 97-126 (2003)
de Bouard, A, Debussche, A: On the effect of a noise on the solutions of the focusing supercritical nonlinear Schrödinger equation. Probab. Theory Relat. Fields 123, 76-96 (2002)
Gautier, E: Large deviations and support results for nonlinear Schrödinger equations with additive noise and applications. ESAIM Probab. Stat. 9, 74-97 (2005)
de Bouard, A, Debussche, A: A stochastic nonlinear Schrödinger equation with multiplicative noise. Commun. Math. Phys. 205, 161-181 (1999)
de Bouard, A, Debussche, A: Blow-up for the stochastic nonlinear Schrödinger equation with multiplicative noise. Ann. Probab. 33, 1078-1110 (2005)
Gautier, E: Uniform large deviations for the nonlinear Schrödinger equation with multiplicative noise. Stoch. Process. Appl. 115, 1904-1927 (2005)
Fang, D, Zhang, L, Zhang, T: On the well-posedness for stochastic Schrödinger equations with quadratic potential. Chin. Ann. Math., Ser. B 32, 711-728 (2011)
Da Prato, G, Zabczyk, J: Stochastic Equations in Infinite Dimensions. Encyclopedia of Mathematics and Its Applications. Cambridge University Press, Cambridge (1992)
Acknowledgements
The authors are grateful to reviewers for their insightful comments and suggestions. This research was partially supported by the National Natural Science Foundation of China (Grants 11171059, 11426227 and 11129101).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
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.
About this article
Cite this article
Meng, L., Li, J. & Tao, J. Blow-up for the stochastic nonlinear Schrödinger equations with quadratic potential and additive noise. Bound Value Probl 2015, 132 (2015). https://doi.org/10.1186/s13661-015-0394-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-015-0394-5