We establish convergence results related to the operator splitting scheme on the Cauchy problem for the nonlinear Schr\"odinger equation with rough initial data in $L^2$, $$ \left\{ \begin{array}{ll} i\partial_t u +\Delta u = \lambda |u|^{p} u, & (x,t) \in \mathbb{R}^d \times \mathbb{R}_+, u (x,0) =\phi (x), & x\in\mathbb{R}^d, \end{array} \right. $$ where $\lambda \in \{-1,1\}$ and $p >0$. While the Lie approximation $Z_L$ is known to converge to the solution $u$ when the initial datum $\phi$ is sufficiently smooth, the convergence result for rough initial data is open to question. In this paper, for rough initial data $\phi\in L^2 (\mathbb{R}^d)$, we prove the convergence of the Lie approximation $Z_L$ to the solution $u$ in the mass-subcritical range, $\max\left\{1,\frac{2}{d}\right\} \leq p < \frac{4}{d}$. Furthermore, our argument can be extended to the case of initial data $\phi\in H^s (\mathbb{R}^d)$ $(0<s\leq1)$, for which we obtain a convergence rate of order $\frac{s}{2-s}$ that breaks the natural order barrier $\frac{s}{2}$.
翻译:本文研究非线性薛定谔方程柯西问题在$L^2$粗糙初值下的算子分裂格式收敛性,其中方程形式为 $$ \left\{ \begin{array}{ll} i\partial_t u +\Delta u = \lambda |u|^{p} u, & (x,t) \in \mathbb{R}^d \times \mathbb{R}_+, u (x,0) =\phi (x), & x\in\mathbb{R}^d, \end{array} \right. $$ 参数$\lambda \in \{-1,1\}$且$p >0$。已知当初始数据$\phi$充分光滑时,Lie近似$Z_L$收敛于解$u$,但粗糙初值情形下的收敛结果尚不明确。本文针对粗糙初值$\phi\in L^2 (\mathbb{R}^d)$,在质量次临界范围$\max\left\{1,\frac{2}{d}\right\} \leq p < \frac{4}{d}$内证明了Lie近似$Z_L$收敛于解$u$。进一步地,我们的论证可推广至初始数据$\phi\in H^s (\mathbb{R}^d)$ $(0<s\leq1)$的情形,并获得了突破自然阶障碍$\frac{s}{2}$的收敛速率$\frac{s}{2-s}$。