[论文解读] Weakly turbulent solutions for the cubic defocusing nonlinear Schrödinger equation

J. Colliander, M. Keel+3 more|ArXiv.org|Aug 13, 2008

Advanced Mathematical Physics Problems参考文献 45被引用 14

一句话总结

该论文构建了二维三次非线性薛定谔方程的光滑全局解，其在更高索伯列夫范数 $\|u(t)\|_{H^s}$（$s>1$）下表现出任意大的增长，尽管 $L^2$-范数和 $H^1$-能量保持守恒。其机制涉及弱湍流：通过一系列受控的共振相互作用，能量级联至更高傅里叶模，这通过设计具有特定频率支持的初始数据，并在截断的常微分方程系统中利用不变流形附近的扩散样动力学实现。

ABSTRACT

We consider the cubic defocusing nonlinear Schrödinger equation on the two dimensional torus. We exhibit smooth solutions for which the support of the conserved energy moves to higher Fourier modes. This weakly turbulent behavior is quantified by the growth of higher Sobolev norms: given any delta << 1, K >>1, s >1, we construct smooth initial data u_0 with ||u_0||_{{H}^s} < delta, so that the corresponding time evolution u satisfies ||u(T)||_{{H}^s} > K at some time T. This growth occurs despite the Hamiltonian's bound on ||u(t)||_{\dot{H}^1} and despite the conservation of the quantity ||u(t)||_{L^2}. The proof contains two arguments which may be of interest beyond the particular result described above. The first is a construction of the solution's frequency support that simplifies the system of ODE's describing each Fourier mode's evolution. The second is a construction of solutions to these simpler systems of ODE's which begin near one invariant manifold and ricochet from arbitrarily small neighborhoods of an arbitrarily large number of other invariant manifolds. The techniques used here are related to but are distinct from those traditionally used to prove Arnold Diffusion in perturbations of Hamiltonian systems.

研究动机与目标

• 证明二维三次非聚焦NLS的光滑解即使在 $L^2$-范数和 $H^1$-能量守恒下，其在更高索伯列夫范数 $H^s$（$s>1$）下也可表现出任意大的增长。
• 通过设计具有受控频率支持的初始数据，构造此类解，以实现能量向高频傅里叶模的转移。
• 在NLS系统的有限维截断中，通过受控的不变流形间来回反弹，建立弱湍流的机制。
• 提出一种新型能量级联方法，用于哈密顿型PDE，区别于传统的阿诺德扩散技术。

提出的方法

• 作者将NLS方程约化为控制傅里叶系数演化的无穷维常微分方程组。
• 他们构造了一个有限频率集 $\Lambda$，使得 $\Lambda$ 上傅里叶模的动力形成完整系统的有限维共振截断。
• 他们引入一个“玩具模型”常微分方程系统，以捕捉关键的共振相互作用，并实现扩散路径的显式构造。
• 他们设计初始数据靠近某一不变流形，并构造轨迹，通过微小扰动依次与任意多个其他不变流形发生相互作用。
• 他们使用尺度变换方法放大微小扰动的影响，从而实现 $H^s$-范数的任意大增长。
• 他们证明了一个逼近引理，确保截断系统解在有限时间区间内能紧密模拟完整NLS解的行为。

实验结果

研究问题

• RQ1 二维三次非聚焦NLS的光滑解是否可在 $s>1$ 时表现出 $H^s$-范数的无界增长？
• RQ2 是否可能构造出初始 $H^s$-范数任意小、而在某一时刻 $H^s$-范数任意大的解？
• RQ3 在 $L^2$-范数或 $H^1$-能量无增长的情况下，何种动力学机制可使能量级联至更高傅里叶模？
• RQ4 是否可利用有限维近似和受控的不变流形相互作用，严格构造NLS中的弱湍流？

主要发现

• 对任意 $s>1$，$K\gg 1$，以及 $\delta\ll 1$，存在二维三次非聚焦NLS在 $\mathbb{T}^2$ 上的光滑全局解 $u(t,x)$，满足 $\|u(0)\|_{H^s} \leq \delta$ 且在某时刻 $T>0$ 有 $\|u(T)\|_{H^s} \geq K$。
• 所构造的解表现出能量向越来越高的傅里叶模转移，其特征为 $H^s$-范数的增长，同时保持 $L^2$-范数和 $H^1$-能量守恒。
• 该机制依赖于在NLS系统的一个共振有限维截断中，与多个不变流形进行一系列微小且受控的相互作用。
• 该构造避免了传统阿诺德扩散技术，转而采用新颖的频率支持设计和尺度变换方法，以放大微小扰动。
• 作者证明了在 $\mathbb{T}^2$ 上的二维三次NLS不存在渐近线性解，从而排除了某些长期行为。
• 该证明依赖于反证法：若解为渐近线性，则其在空间上必为常数，与非平凡的能量级联矛盾。