Global well-posedness of the 2D nonlinear Schrödinger equation with multiplicative spatial white noise on the full space (Q6582365)

Let \((\Omega ,\mathcal{F},\mathbb{P})\) be a probability space and \(\xi \) a real valued white noise on \(\mathbb{R}^{2}\), that is a random variable \(\xi :\Omega \rightarrow \mathcal{D}^{\prime }(\mathbb{R}^{2})\) such that for each \(f\in \mathcal{D}(\mathbb{R}^{2})\), \((\xi ,f)\) is a real valued, centered, and Gaussian random variable such that \(E((\xi ,f)^{2})=\left\Vert f\right\Vert _{L^{2}}^{2}\). The authors start from the Cauchy problem for the stochastic defocusing nonlinear Schrödinger equation: \(\imath \partial _{t}u=\Delta u+u\xi -\lambda u\left\vert u\right\vert \left( p\right) \), in \(\mathbb{R}^{2}\), with the initial condition \(u(0)=u_{0}\), where \(p,\lambda >0\) are parameters, \(\xi \in S^{\prime }(\mathbb{R}^{2})\), \( u\) is a complex valued process and \(u_{0}\) is a randomized initial datum. They introduce a truncated Green's function \(G\in C^{\infty }(\mathbb{R} ^{2}\setminus \{0\})\) that satisfies \(suppG\subseteq B(0,1)\) and \(G(x)=- \frac{1}{2\pi }log\left\vert x\right\vert \) for \(\left\vert x\right\vert \) small enough, so that \(Y=G\ast \xi \) solves \(\Delta Y=\xi +\varphi \ast \xi \) , for some \(\varphi \in C_{c}^{\infty }(\mathbb{R}^{2})\), and the new variable \(v=e^{Y}u\), which transforms the previous problem to: \(\imath \partial _{t}v=\Delta v+v(\nabla Y^{2}-\varphi \ast \xi )-2\nabla v\cdot \nabla Y-\lambda v\left\vert v\right\vert ^{p}e^{-pY}\), \( v(0)=v_{0}=e^{Y}u_{0}\). The authors replace the ill-defined term \(\nabla Y^{2}\) by the random variable \(:\nabla Y^{2}:=\int_{\mathbb{R}^{2}}\int_{ \mathbb{R}^{2}}\nabla G(\cdot -z_{1})\nabla G(\cdot -z_{2})\xi (dz_{1})\xi (dz_{2})\) and they finally consider the problem: \(\imath \partial _{t}v=\Delta v+v(:\nabla Y^{2}:-\varphi \ast \xi )-2\nabla v\cdot \nabla Y-\lambda v\left\vert v\right\vert ^{p}e^{-pY}\), \(v(0)=v_{0}\). \N\NThe main result of the paper proves the existence of a full measure event \(\Sigma \subset \Omega \) such that for every \(\omega \in \Sigma \), if \(v_{0}\in H_{\delta _{0}}^{2}\), for some \(\delta _{0}>0\), for any \(p\geq 1\), \(s\in (1,2)\), and \(\delta >0\), there exists \(v\in C([0,\infty );H_{\delta _{1}}^{s}(\mathbb{R}^{2}))\) for some \(\delta _{1}>0\), such that the convergence holds: \(\left\Vert v_{\varepsilon }(t,x)-v(t,x)\right\Vert _{C([0,\infty );H_{\delta _{1}}^{s}(\mathbb{R}^{2}))}\rightarrow 0\), where \( v_{\varepsilon }\) is the solution to \(\imath \partial _{t}v_{\varepsilon }=\Delta v_{\varepsilon }+v_{\varepsilon }(:\nabla Y^{2}:-\varphi \ast \xi )-2\nabla v_{\varepsilon }\cdot \nabla Y-\lambda v_{\varepsilon }\left\vert v_{\varepsilon }\right\vert ^{p}e^{-pY}\), \(v_{\varepsilon }(0)=v_{0}\). Moreover, \(v\) is the unique global solution to the last problem in \( C([0,\infty );H_{\delta _{1}}^{s}(\mathbb{R}^{2}))\). \N\NThe authors first recall properties of Besov and weighted Besov spaces, of the Littlewood-Paley decomposition in weighted spaces. They use a gauge-transform introduced by \textit{M Hairer} and \textit{C. Labbé} in [Electron. Commun. Probab. 20, Paper No. 43, 11 p. (2015; Zbl 1332.60094)]. The main steps of the proof are the derivation of different estimates which allow passing to the limit on the solutions to the approximating equations.