[论文解读] Quasi-periodic solutions of the Schrödinger equation with arbitrary algebraic nonlinearities

Weimin Wang|ArXiv.org|Jul 20, 2009

Quantum chaos and dynamical systems参考文献 8被引用 4

一句话总结

该论文为在d维环面上具有任意代数非线性项的非线性薛定谔方程，建立了时间准周期解存在的充分且本质上必要的几何条件。证明表明，对于具有有限傅里叶支撑的解，若双特征线上的误差项傅里叶支撑与初始解及其共轭的支撑之外的双特征线集不相交，且满足非螺旋条件，则存在具有b个频率的准周期解，将立方非线性情形的结果推广至任意维度d下的一般多项式非线性项，并适用于任意p ≥ 1。

ABSTRACT

We present a geometric formulation of existence of time quasi-periodic solutions. As an application, we prove the existence of quasi-periodic solutions of $b$ frequencies, $b\leq d+2$, in arbitrary dimension $d$ and for arbitrary non integrable algebraic nonlinearity $p$. This reflects the conservation of $d$ momenta, energy and $L^2$ norm. In 1d, we prove the existence of quasi-periodic solutions with arbitrary $b$ and for arbitrary $p$, solving a problem that started Hamiltonian PDE.

研究动机与目标

• 确定线性解的几何条件，以确保在任意代数非线性项下准周期解的存在性。
• 将准周期解的存在性结果从立方非线性项推广至形式为|u|^{2p}u且p ≥ 1的一般多项式非线性项。
• 证明非相交与非螺旋条件在非线性区域中准周期解持久存在的充分性和本质上必要性。
• 将d=1与立方非线性项的结果推广至任意维度d与任意p ≥ 1，包括超临界情形。
• 为通过在康托尔型频率集上应用KAM型方法，构建具有傅里叶系数精确控制的全局解提供一个框架。

提出的方法

• 提出两个几何条件：(i) 误差项的傅里叶支撑在初始解及其共轭支撑之外，不与双特征线集相交；(ii) 非螺旋条件，确保在双特征线流形上由卷积生成的格点互不相交。
• 采用傅里叶表示形式u(t,x) = ∑ ŝ(n,j) e^{in·ωt} e^{ij·x}，其中ω ∈ ℤ^b，以描述准周期解。
• 定义双特征线集ℂ = {(n,j) ∈ ℤ^{b+d} | ±n·ω⁰ + j² = 0}，并将其分解为ℂ⁺、ℂ⁻及其差集ℂ^{++}、ℂ^{+-}等。
• 通过分析非线性项|u|^{2p}u及其共轭项所生成的卷积结构，应用部分Birkhoff规范形方法。
• 在解析范数下采用摄动论证，表明对于小振幅δ，存在正测度的康托尔集ℒ(δ) ⊂ (0,δ]^b，其上支持准周期解。
• 利用傅里叶波矢{j_k}中多项式的一维零点集，避免共振构型，确保非螺旋条件在一般情况下成立。

实验结果

研究问题

• RQ1 在初始解u⁰满足何种几何条件下，具有任意代数非线性项|u|^{2p}u的非线性薛定谔方程允许存在准周期解？
• RQ2 非相交与非螺旋条件如何确保无共振相互作用，从而避免准周期性被破坏？
• RQ3 准周期解的存在性能否从立方非线性项（p=1）推广至任意维度d下的一般p ≥ 1？
• RQ4 准周期解存在的初始振幅集合的测度大小如何？其与非线性项次数p的关系为何？
• RQ5 这些几何条件在多大程度上是必要的？它们与双特征线流形上卷积生成格点结构的关系如何？

主要发现

• 非相交条件确保非线性项引入的误差项不会在双特征线集上产生超出初始解及其共轭所含傅里叶模之外的新模。
• 非螺旋条件可防止在ℂ上形成具有无界直径的格点连通分支，这对KAM迭代的收敛性至关重要。
• 对任意d ≥ 1与p ≥ 1，存在具有b ≤ d+2个频率的准周期解，其初始振幅位于测度至少为1 - Cε^c的康托尔集上，其中c > 0且ε ∈ (0,1)。
• 对每个模，建立了频率偏移ω_k = j_k² + O(δ^{2p+1})，表明非线性项在线性频率上引入了小但有界的偏移。
• 该结果将已知的立方非线性项（p=1）下的存在性结果推广至任意p ≥ 1，包括全局存在性尚不明确的超临界情形。
• 证明表明，对于波矢{j_k}的一般选择，非螺旋条件在参数空间中几乎处处成立，因为坏配置的集合具有余维数1。