[论文解读] Rational normal forms and stability of small solutions to nonlinear Schr\\"odinger equations

Joackim Berniér, Erwan Faou+1 more|arXiv (Cornell University)|Dec 29, 2018

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

一句话总结

本文提出了一类基于有理函数的新型正规形技术——有理正规形，用于稳定环面上非线性薛定谔方程的小解。通过将哈密顿量变换为带小余项的可积形式，作者证明了对于大小为 $\varepsilon$ 的泛用初值，其索伯列夫范数在时间 $\varepsilon^{-M}$ 内保持有界，其中 $M$ 可任意大，并表明该稳定性在初值的小扰动下依然稳健。

ABSTRACT

We consider general classes of nonlinear Schr\\"odinger equations on the circle with nontrivial cubic part and without external parameters. We construct a new type of normal forms, namely rational normal forms, on open sets surrounding the origin in high Sobolev regularity. With this new tool we prove that, given a large constant $M$ and a sufficiently small parameter $\\varepsilon$, for generic initial data of size $\\varepsilon$, the flow is conjugated to an integrable flow up to an arbitrary small remainder of order $\\varepsilon^{M+1}$. This implies that for such initial data $u(0)$ we control the Sobolev norm of the solution $u(t)$ for time of order $\\varepsilon^{-M}$. Furthermore this property is locally stable: if $v(0)$ is sufficiently close to $u(0)$ (of order $\\varepsilon^{3/2}$) then the solution $v(t)$ is also controled for time of order $\\varepsilon^{-M}$.

研究动机与目标

• 为解决完全共振非线性薛定谔方程中高阶索伯列夫范数的不稳定性问题，其中由于强共振的存在，标准 Birkhoff 正规形失效。
• 构造一种新型正规形——有理正规形，能够在无外部参数的条件下处理完全共振情形。
• 在高正则性空间中，为泛用小初值建立索伯列夫范数的长期稳定性。
• 证明该稳定性具有局部鲁棒性：邻近初值产生相似的长期控制效果。
• 将正规形技术的应用范围扩展至非微扰、完全共振的哈密顿 PDE，如圆周上的立方 NLS 方程。

提出的方法

• 利用动作-角度变量的有理函数构造一类新型有理哈密顿量，旨在吸收非共振项的同时保持可积性。
• 通过一系列正则变换，迭代地消除高阶项（五次及更高阶），构建有理正规形。
• 基于频率谱中分母的小量提出非共振条件，并将其适配于正规形的有理结构。
• 应用概率估计，证明满足非共振条件的初值集合在原点附近的小邻域中具有全测度。
• 引入结构引理以控制向量场，求解同调方程，并确保在有理类中对泊松括号的封闭性。
• 提出一种改进的 Birkhoff 正规形框架，其中余项为 $\varepsilon^{M+1}$ 阶，从而实现长期控制。

实验结果

研究问题

• RQ1 能否为完全共振哈密顿 PDE（如圆周上的立方 NLS 方程）开发一种正规形技术，其中标准 Birkhoff 正规形因失效而无法适用？
• RQ2 在无外部参数的条件下，是否可能实现小初值下索伯列夫范数的长期稳定性？
• RQ3 在初值发生小扰动时，解流的稳定性是否仍能保持？
• RQ4 有理函数如何被用于构造一种能有效处理非线性 PDE 中强共振的正规形？
• RQ5 满足此类长期稳定性的初值集合在测度论上的大小如何？

主要发现

• 对于任意大的 $M$，以及充分小的 $\varepsilon$，大小为 $\varepsilon$ 的泛用初值所对应的解，其索伯列夫范数在时间 $\varepsilon^{-M}$ 内保持有界，上界为 $2\varepsilon$。
• 流在余项为 $\varepsilon^{M+1}$ 阶的意义下，与可积流共轭，从而实现有效的长期控制。
• 稳定性结果具有局部鲁棒性：若初值 $v(0)$ 与稳定初值 $u(0)$ 的距离在 $\mathcal{O}(\varepsilon^{3/2})$ 以内，则 $v(t)$ 在相同时间尺度内保持受控。
• 有理正规形构造在高索伯列夫正则性空间的开集上有效，从而支持对泛用小解的分析。
• 该方法适用于具有非平凡立方项且无外部参数的一般类非线性薛定谔方程。
• 概率估计证实，满足非共振条件的初值集合在原点附近的小邻域中具有全测度。