[论文解读] Supercritical Nonlinear Schrödinger Equations II: Almost Global Existence

W. M. Wang|arXiv (Cornell University)|Jul 1, 2010

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

一句话总结

本文通过使用有限次迭代的牛顿方法构造近似准周期解，结合谱隙估计与开映射定理，首次在 $d$-环面上建立了超临界非线性薛定谔方程的近乎全局存在性。研究证明，对于大小为1且参数 $δ$ 较小的典型初值，解在时间 $|t| \leq \delta^{-A}$ 内存在，其中任意 $A>1$，且在解析范数下保持一致有界，从而解决了超临界情形下缺乏先验全局存在性的难题。

ABSTRACT

We prove almost global existence for supercritical nonlinear Schrödinger equations on the $d$-torus ($d$ arbitrary) on the good geometry selected in part I. This is seen as the Cauchy consequence of I, since the known invariant measure of smooth solutions are supported on KAM tori. In the high frequency limit, these quantitative solutions could also be relevant to Cauchy problems for compressible Euler equations.

研究动机与目标

• 为解决在 $\mathbb{T}^d$ 上超临界非线性薛定谔方程（NLS）缺乏先验全局存在性的问题，其中标准守恒律无法保证全局解的存在。
• 在局部适定性无法延拓至全局的超临界区域（$p \geq 1$，$d \geq 3$）中，建立小初值解的近乎全局存在性。
• 构造满足 $\mathcal{O}(\delta^r)$ 误差的近似准周期解，使得通过线性化可实现长时间存在性。
• 证明导致此类解的初值集合具有正测度，且当 $\delta \to 0$ 时测度趋近于1，从而确保结果的典型性。

提出的方法

• 通过将初值 $u_0 = u_1 + u_2$ 应用有限次迭代牛顿法，构造具有 $\mathcal{O}(|\log \delta|)$ 个基本频率的近似准周期解 $v$，其中 $\|u_2\| = \mathcal{O}(\delta)$。
• 通过在开集 $\mathcal{A} \subset (0,1]^b$ 中剔除傅里叶振幅 $\{\hat{u}_1\}$，确保谱隙成立，依赖于频率向量的非退化性及共振结构的几何性质。
• 应用开映射定理，将构造从固定初值近似扩展至初值 $\tilde{u}_0 = u_1 + \tilde{u}_2$ 的一个邻域，其中 $\|\tilde{u}_2\| = \mathcal{O}(\delta)$，从而保证构造的鲁棒性。
• 关于近似解 $v$ 线性化NLS方程，证明线性化流在解析范数下至时间 $\delta^{-r/3}$ 有界，且满足 $\|S(t)\| \leq 1 + |t|$。
• 利用杜哈梅尔公式估计余项 $w = u - v$，表明当 $|t| < \delta^{-r/10}$ 时有 $\|w(t)\| = \mathcal{O}(\delta^{r/2})$，从而表明全解可被全局控制。
• 通过将余项 $w = \delta^{r'} w'$ 进行尺度变换，并对线性化流使用 $L^2$-型估计，建立解范数与存在时间的定量界。

实验结果

研究问题

• RQ1 当无守恒律可保证全局存在性时，能否在 $\mathbb{T}^d$ 上建立超临界NLS的近乎全局存在性？
• RQ2 初值在频率支撑与振幅方面需满足何种条件，才能构造出能将非线性动力学控制至超过局部存在时间的近似准周期解？
• RQ3 如何应用开映射定理，将解的存在性从单个初值推广至解析拓扑下初值的整个开集？
• RQ4 解的寿命对小参数 $\delta$ 的定量依赖关系为何？是否可实现 $\delta^{-A}$ 形式的任意长寿命（对任意 $A>1$）？
• RQ5 能否在时间 $\delta^{-A}$ 内对近似解附近的线性化流实现一致有界控制，从而确保构造的稳定性？

主要发现

• 对任意 $A > 1$，存在 $\delta_0 > 0$，使得对所有 $\delta \in (-\delta_0, \delta_0)$，只要初值 $u_0 = u_1 + u_2$ 满足 $\|u_2\| = \mathcal{O}(\delta)$ 且 $\{\hat{u}_1\} \in \mathcal{A}$（一个正测度的开集），则 $\mathbb{T}^d$ 上NLS的柯西问题存在唯一解 $u(t)$，且满足 $|t| \leq \delta^{-A}$。
• 当 $\delta \to 0$ 时，初始频率振幅集合 $\mathcal{A}$ 的测度趋近于1，表明几乎所有大小为1的典型初值均产生长时间解。
• 在时间区间 $|t| \leq \delta^{-A}$ 内，解满足 $\|u(t)\| \leq \|u_0\| + \mathcal{O}(\delta)$，在解析范数下保持一致有界，确保了解的大小控制。
• 关于近似解 $v$ 的线性化流 $S(t)$ 满足 $\|S(t)\| \leq 1 + |t|$，对 $|t| < \delta^{-r/3}$ 成立，这对控制杜哈梅展开中的余项至关重要。
• 余项 $w = u - v$ 满足 $\|w(t)\| = \mathcal{O}(\delta^{r/2})$，对 $|t| < \delta^{-r/10}$ 成立，确保解在长时间内仍与近似准周期解保持接近。
• 半经典对应情形表明，当 $\delta = 1$ 时，解存在时间满足 $|t| \leq K^{-A}$，其中 $K \to \infty$，且 $\|u(t)\| \leq \|u_0\| + \mathcal{O}(1/K^2)$，同时允许振幅集合 $\mathcal{A}$ 的测度随 $K \to \infty$ 趋近于1。