Resonance-based integrators for stochastic Schrödinger equations. Convergence and long-time error bounds

技术摘要：随机薛定谔方程的基于共振的积分器

问题陈述
本工作致力于解决由加性 $Q$-维纳噪声驱动的随机薛定谔方程（SSE）的数值逼近问题。研究聚焦于两种具体情况：具有粗糙势的线性方程（$F(\xi) = V(x)\xi$）和三次非线性方程（$F(\xi) = |\xi|^2\xi$）。该领域的一个主要挑战是随机卷积导致解的时间正则性较低，这通常限制了标准数值格式的收敛阶。此外，现有针对此类方程的理论分析主要局限于短时间尺度。本文旨在开发并分析基于共振的低正则性积分器，使其在降低空间正则性假设下实现更高的收敛阶，并至关重要的是，在势能和噪声较小的情形下建立一致的时间长误差界。

方法论
所提出的方法论依赖于傅里叶分析和基于共振的数值积分器的构建。核心策略包括：

1. 扭曲变量：将解 $\xi(t)$ 变换为扭曲变量 $v(t) = e^{-it\Delta}\xi(t)$，以分离主导的振荡项。
2. 共振项的精确积分：积分器的构建通过对非线性或势相互作用傅里叶展开中产生的主导项进行精确积分来实现。这涉及近似振荡函数的时间积分（例如 $\int_0^\tau e^{is(\ell_1^2 + 2\ell_1\ell_2)} ds$），即在共振情形（相位消失）下保留精确积分，而对非共振情形进行近似。
3. 正则性补偿振荡（RCO）技术：将此前用于确定性环境的 RCO 技术进行新颖扩展，并适配到随机框架中。该技术对于克服由随机卷积引起的时间正则性损失（通常为 $O(\sqrt{\tau})$）至关重要。通过利用非共振项中振荡的抵消效应，并利用高频截断参数，作者推导出了改进的误差估计。
4. 截断策略：对于三次非线性情形，由于缺乏指数可积性而阻碍了强收敛，作者采用基于截断的策略，结合低正则性技术，推导出了路径收敛结果。

主要贡献与结果

• 具有粗糙势的线性方程：

  • 收敛性：构建了一种共振低正则性积分器（SLR1）。对于属于 $H^{\sigma+\gamma}$ 的解，该方法在 $L^2(\Omega; H^\sigma)$ 中实现了 $\gamma \in (0, 1]$ 阶的强收敛。值得注意的是，对于 $H^\sigma$ 中的一阶收敛，该方法仅要求初始数据和势具有 $H^{\sigma+1}$ 正则性，优于经典的 $H^{\sigma+2}$ 要求。
  • 长时间界：在势为 $O(\varepsilon^2)$ 且噪声为 $O(\varepsilon)$ 的情形下，证明了精确解在长达 $O(\varepsilon^{-2})$ 的时间尺度上具有一致的矩界。针对该情形设计了一种非共振积分器（SNRLR1），其在 $L^2(\Omega; L^2)$ 中表现出大小为 $O(\varepsilon^2 \tau)$ 的一致长时间误差界，相较于经典方法有显著改进。

• 三次非线性方程：

  • 收敛性：引入了共振（SLR2）和非共振（SNRLR2）积分器。在低正则性下推导出了路径收敛结果，对于属于 $H^{\sigma+\gamma}$ 的解，在 $H^\sigma$ 中实现了 $\gamma \in (0, 1)$ 阶的收敛。
  • 长时间界：在弱非线性情形（非线性项为 $O(\varepsilon^2)$，噪声为 $O(\varepsilon)$）下，证明了非共振积分器（SNRLR2）满足大小为 $O(\varepsilon^2 \tau^\delta)$（其中 $\delta < 1$）的一致长时间路径误差界，时间尺度可达 $O(\varepsilon^{-2})$。

• 理论创新：

  • 本文首次将 RCO 技术扩展到随机色散方程。这一扩展使作者能够恢复改进的误差估计，克服随机噪声施加的标准 $\sqrt{\tau}$ 限制，与其他低正则性积分器相比，将长期误差减少了 $\varepsilon^2$ 倍。

意义与主张
作者主张，本工作首次建立了应用于随机色散方程的低正则性积分器的长时间误差界。其意义在于：

1. 降低的正则性要求：这些方法实现一阶收敛所需的空间正则性更低（$H^{\sigma+1}$ 对比 $H^{\sigma+2}$），使其适用于更粗糙的势和初始数据。
2. 长时间稳定性：在 $O(\varepsilon^{-2})$ 时间尺度上推导出一致误差界，填补了文献中的空白，因为之前的结果局限于短时间尺度。
3. 随机 RCO 扩展：成功将 RCO 技术适配到随机环境，为处理随机卷积固有的时间不规则性提供了一种新的分析工具。

数值验证
理论结果通过数值实验得到证实。这些实验表明：

• 在 $H^1$ 正则性下，线性情形具有阶为一的强收敛和路径收敛速率。
• 非共振积分器（SNRLR1）的误差在长时间区间（$O(\varepsilon^{-2})$）内保持有界，这与共振积分器（SLR1）和经典指数方法中观察到的误差增长形成对比。
• 在小势/小噪声情形下，非共振方案的误差幅度减少了 $O(\varepsilon^2)$。
• 使用所提出的积分器，三次非线性情形表现出类似的收敛性和长时间行为。