[论文解读] Global well-posedness for the defocusing mass-critical stochastic nonlinear Schrödinger equation on $\mathbb{R}$ at $L^2$ regularity

Chenjie Fan, Weijun Xu|arXiv (Cornell University)|Oct 18, 2018

Advanced Mathematical Physics Problems参考文献 3被引用 9

一句话总结

本文通过截断亚临界逼近与极限过程，建立了在 $\mathbb{R}$ 上 $L^2$ 正则性下，聚焦质量临界随机非线性薛定谔方程的全局适定性。在足够光滑的噪声假设下，证明了任意 $L^2$ 初始数据下解的存在性、唯一性以及路径上质量守恒，并建立了初始数据扰动下的稳定性。

ABSTRACT

We prove global existence and stability of solution to the mass-critical stochastic nonlinear Schrödinger equation in $d=1$ at $L^2$ regularity. Our construction starts with the existence of solution to the truncated subcritical problem. With the presence of truncation, we construct the solution to the critical equation as the limit of subcritical solutions. We then obtain uniform bounds on the solutions to the truncated critical problems that allow us to remove truncation in the limit.

研究动机与目标

• 建立在 $\mathbb{R}$ 上，针对任意 $L^2$ 初始数据的聚焦质量临界随机非线性薛定谔方程的全局解存在性与稳定性。
• 克服由于自然解空间中非线性与乘性噪声相互作用而导致的标准不动点方法失效的问题。
• 通过截断亚临界问题的极限过程构造解，确保一致有界性，从而可移除截断。
• 证明路径上质量守恒性，并证明初始数据扰动下的解稳定性。
• 将确定性质量临界理论推广至随机设置，包含 Itō-Stratonovich 修正项与光滑噪声。

提出的方法

• 基于解的 $\mathcal{X}_2$-范数，使用光滑截断函数 $\theta_m$ 构造 SNLS 方程截断亚临界版本的解。
• 应用先验估计，包括色散不等式与 Strichartz 不等式，推导出截断解在 $L^\rho(\Omega; \mathcal{X}(0,T))$ 中的一致有界性，其中 $\rho > 5$。
• 利用 Burkholder-Davis-Gundy 不等式与随机积分理论，控制 Duhamel 表达式中 Itō 随机积分项。
• 通过证明该序列在此空间中为柯西列，证明截断解 $u_m$ 在 $L^\rho(\Omega; \mathcal{X}(0,T))$ 中收敛于极限 $u$。
• 利用控制收敛定理与 Strichartz 不等式，证明极限 $u$ 满足包含 Itō-Stratonovich 修正项 $F_\Phi u$ 的 Itō 形式 Duhamel 公式。
• 利用亚临界问题的稳定性估计与 $L^\rho$-范数收敛性，证明对初始数据的连续依赖性。

实验结果

研究问题

• RQ1 尽管噪声与非线性导致标准不动点方法失效，能否在 $L^2$ 正则性下建立 $\mathbb{R}$ 上质量临界 SNLS 的全局适定性？
• RQ2 当噪声与非线性阻止直接应用确定性方法时，如何构造临界 SNLS 方程的解？
• RQ3 SNLS 的解是否路径上保持 $L^2$-范数不变？该守恒性在 Itō-Stratonovich 修正下是否仍成立？
• RQ4 能否导出截断亚临界解的一致有界性，以确保在极限中可移除截断？
• RQ5 解在 $L^2$-意义下对初始数据的小扰动是否稳定？该稳定性能否被量化？

主要发现

• 对任意 $L^2$ 初始数据，建立了 $\mathbb{R}$ 上质量临界 SNLS 解 $u$ 的全局存在性与唯一性，解属于 $L^{\infty}(\Omega; L^2(\mathbb{R}))$ 类。
• 解满足包含修正项 $F_\Phi u$ 的 Itō 形式 Duhamel 公式，且对任意 $T>0$ 与 $\rho_0 > 5$，有 $u \in L^{\rho_0}(\Omega; \mathcal{X}(0,T))$，并存在仅依赖于 $T$、$\rho_0$ 与 $\|u_0\|_{L^\infty(\Omega; L^2)}$ 的一致有界性。
• 路径上质量守恒成立：对所有 $t \in [0,T]$ 几乎必然有 $\|u(t)\|_{L^2} = \|u_0\|_{L^2}$。
• 解在初始数据扰动下具有稳定性：对任意 $M>0$ 与 $\delta>0$，存在 $\kappa>0$，使得 $\|u_0 - v_0\|_{L^\infty(\Omega; L^2)} < \kappa$ 蕴含 $\|u - v\|_{L^{\rho_0}(\Omega; \mathcal{X}(0,T))} < \delta$，其中 $\kappa$ 仅依赖于 $M$、$\delta$、$T$ 与 $\rho_0$。
• 截断解 $u_m$ 的极限在 $L^{\rho_0}(\Omega; \mathcal{X}(0,T))$ 中存在，且在 Duhamel 公式意义下满足完整的 SNLS 方程。
• 该构造依赖于 $L^\rho$-范数中的一致有界性与收敛性，关键估计为：对充分大的 $m, m'$，有 $\|u_m - u_{m'}\|_{L^{\rho_0}(\Omega; \mathcal{X}(0,1))} < \delta$，从而保证柯西收敛性。