[论文解读] Instability of the periodic nonlinear Schrodinger equation

Michael Christ, J. Colliander+1 more|ArXiv.org|Nov 13, 2003

Advanced Mathematical Physics Problems参考文献 5被引用 35

一句话总结

本文通过证明即使从光滑初值到分布的解映射也不存在连续性，展示了在小负索伯列夫正则性 $ H^s $（$ s<0 $）下，周期性非线性薛定谔方程（NLS）存在极端不稳定性。对于三次NLS（$ p=3 $），在 $ C^\infty $ 拓扑下初值任意接近的解，也可能在任意短的时间内于分布范数下发散；对于五次NLS（$ p=5 $），解映射从 $ C^\infty $ 到 $ C^{-\infty} $ 也不具一致连续性，揭示了经典适定性之外的稳定性崩溃。

ABSTRACT

We study the periodic non-linear Schrodinger equations with odd integer power nonlinearities, for initial data which are assumed to be small in some negative order Sobolev space, but which may have large L^2 mass. These equations are known to be illposed in H^s for all negative s, in the sense that the solution map fails to be uniformly continuous from H^s to itself, even for short times and small norms. Here we show that these equations are even more unstable. For the cubic equation, the solution map is discontinuous from H^s to even the space of distributions. For the quintic and higher order nonlinearities, there exist pairs of solutions which are uniformly bounded in H^s, are arbitrarily close in any C^N norm at time zero, and fail to be close in the distribution topology at an arbitrarily small positive time.

研究动机与目标

• 研究初始数据属于负阶索伯列夫空间 $ H^s $（$ s<0 $）时，周期性非线性薛定谔方程（NLS）不适定性的本质，即使其 $ L^2 $ 范数很小。
• 分析解映射在不同函数空间中不连续或不一致连续的失效，特别是从光滑到分布拓扑的情形。
• 识别不同非线性度下（特别是 $ p=3 $（三次）和 $ p=5 $（五次））的不稳定性机制，超越标准 $ H^s $ 空间中的不适定性。
• 证明即使对于非聚焦NLS，解映射在分布空间中也可能不连续，从而挑战低正则性下适定性的鲁棒性。

提出的方法

• 构造具有小 $ H^s $ 范数但大 $ L^2 $ 质量的 $ C^\infty $ 初值，利用频率 0 和 1 的傅里叶模态。
• 通过截断的常微分方程系统建模动力学，仅保留傅里叶系数 $ a_0, a_1 $，以捕捉 $ p=2m+1 $ 情形下的主导非线性相互作用。
• 分析 $ a_0(t) $ 的相位演化，表明由于非线性耦合导致快速振荡，从而引起低频傅里叶模态的发散。
• 利用摄动理论，在短时间区间内控制完整NLS与截断ODE系统之间的误差。
• 通过尺度变换和参数调节（如 $ N $ 很大，$ \sigma $ 很小）放大邻近解之间的相位差异。
• 通过证明初值在 $ C^\infty $ 中接近但其 $ \hat{u}(0) $ 在时间 $ \delta $ 内于 $ L^2 $-范数下差异达固定 $ \Omega(\rho) $，建立不稳定性。

实验结果

研究问题

• RQ1 对于周期性NLS，当初始数据在 $ C^\infty $ 中接近时，即使其 $ H^s $ 范数很小，解映射从 $ H^s $ 到分布空间是否连续，其中 $ s<0 $？
• RQ2 对于三次NLS（$ p=3 $），解映射是否不连续，作为从 $ H^s $ 到 $ (C^\infty)^* $ 的映射？
• RQ3 对于五次NLS（$ p=5 $），解映射是否不具一致连续性，从 $ C^\infty $ 到 $ C^{-\infty} $？
• RQ4 尽管初始 $ H^s $ 范数很小，非线性相位退相干是否可能在任意短的时间内导致分布范数的任意大发散？
• RQ5 非线性度 $ p $ 在决定负索伯列夫空间中不适定性的类型与强度方面起什么作用？

主要发现

• 对于三次NLS（$ p=3 $），解映射作为从 $ H^s $ 到分布空间 $ (C^\infty)^* $ 的映射不连续，即使初始数据的 $ H^s $-范数很小。
• 对于五次NLS（$ p=5 $），存在在 $ t=0 $ 时于 $ C^\infty $ 中任意接近的解，但在任意小的 $ t>0 $ 时在分布拓扑下不接近，从而证明从 $ C^\infty $ 到 $ C^{-\infty} $ 的不一致连续性。
• 不稳定性源于 $ k=0 $ 傅里叶模态的快速相位退相干，其由与 $ k=1 $ 的非线性耦合引起，并通过高频振荡被放大。
• $ \hat{u}(0) $ 模态的发散量级为 $ \Omega(\rho) $，与初始 $ H^s $-距离无关，表明在分布层面连续性的彻底崩溃。
• 该机制对 $ p \geq 5 $ 具有鲁棒性，因为 $ a_0 $-方程中包含一项 $ |a_1|^{2m-2}|a_0|^2 a_0 $，可实现相位放大，而三次情形中该机制不存在。
• 结果表明，$ s<0 $ 时 $ H^s $ 空间中的不适定性不仅表现为 $ H^s $ 内部连续性的失效，更深层地体现为解映射在较弱拓扑下的不稳定性。