[论文解读] Arnold diffusion in arbitrary degrees of freedom and crumpled 3-dimensional normally hyperbolic invariant cylinders

Patrick Bernard, V. A. Kaloshin+1 more|arXiv (Cornell University)|Dec 13, 2011

Quantum chaos and dynamical systems参考文献 36被引用 27

一句话总结

本文通过构建有限正则性的褶皱三维正常双曲不变环面（NHIC），在任意自由度（n ≥ 2）的通用近可积哈密顿系统中建立了阿诺德扩散。结合几何方法与马泽尔变分法，作者证明了存在轨道表现出扩散行为，其作用变量的变化量在扰动大小ε无关的情况下仍保持远离零，从而解决了哈密顿动力系统中长期悬而未决的问题。

ABSTRACT

In the present paper we prove a form of Arnold diffusion. The main result says that for a "generic" perturbation of a nearly integrable system of arbitrary degrees of freedom $n\ge 2$ \[ H_0(p)+\eps H_1(þ,p,t),\quad þ\in \T^n,\ p\in B^n,\ t\in \T=\R/\T, \] with strictly convex $H_0$ there exists an orbit $(þ_{\e},p_{e})(t)$ exhibiting Arnold diffusion in the sens that [\sup_{t>0}\|p(t)-p(0) \| >l(H_1)>0] where $l(H_1)$ is a positive constant independant of $\e$. Our proof is a combination of geometric and variational methods. We first build 3-dimensional normally hyperbolic invariant cylinders of limited regularity, but of large size, extrapolating on \cite{Be3} and \cite{KZZ}. Once these cylinders are constructed we use versions of Mather variational method developed in Bernard \cite{Be1}, Cheng-Yan \cite{CY1, CY2}.

研究动机与目标

• 在任意自由度（n ≥ 2）的通用近可积哈密顿系统中，建立阿诺德扩散的存在性。
• 在共振存在的情况下，构造出正则性有限但尺寸较大的三维正常双曲不变环面（NHIC）。
• 将马泽尔变分法推广至具有余维一共振及非光滑不变环面的系统。
• 证明扩散的发生具有与扰动参数ε无关的作用变量变化下界，从而确认阿诺德扩散的普遍性。

提出的方法

• 通过外推[Be3]和[KZZ]中的先前结果，在余维一共振附近的动作空间中构造三维NHIC。
• 使用[Be1]以及[CY1, CY2]中发展的马泽尔变分法版本，识别约化三维动力学中的扩散轨道。
• 基于褶皱NHIC的存在性，采用摄动论证：尽管正则性在ε → 0时退化，但该环面仍能支持扩散。
• 引入一个修正向量场F̃，在保持不变集的同时，确保不变流形满足必要的利普希茨有界性。
• 使用截断函数ρ来局部化核心动力学，确保向量场满足主存在性定理的假设条件。
• 证明不变集W^sc、W^uc和W^c是C¹函数的图像，其利普希茨常数受控，从而在扰动下保持鲁棒性。

实验结果

研究问题

• RQ1 是否可以在任意自由度（n ≥ 2）的近可积哈密顿系统中，普遍地证明阿诺德扩散的存在？
• RQ2 当正则性在ε → 0时退化时，共振附近的正常双曲不变环面会发生什么变化？
• RQ3 马泽尔变分法能否被适配至具有褶皱（低正则性）三维NHIC的系统？
• RQ4 扩散轨道的作用变量变化是否存在与扰动参数ε无关的下界？
• RQ5 在余维一共振附近，即使缺乏光滑性，是否仍可将动力学约化为支持扩散的三维系统？

主要发现

• 本文证明了存在轨道(θε, pε)(t)，使得对所有t > 0有supₜ>₀ ‖p(t) − p(0)‖ > l(H₁) > 0，其中l(H₁)是与ε无关的正常数。
• 作者构造了在ε → 0时正则性发散的三维NHIC，尽管这些“褶皱”环面正则性有限，但仍能支持阿诺德扩散。
• 扩散机制通过正常双曲不变环面的几何构造与基于马泽尔理论的变分方法相结合得以确立。
• 证明了这些不变环面是C¹函数的图像，且其利普希茨常数一致有界，即使在正则性退化的情况下亦成立。
• 关键技术进展在于将变分方法适配至低正则性不变环面的系统，从而实现了在高维系统中证明扩散。
• 该结果适用于严格凸H₀的泛函类扰动，确认了阿诺德扩散在任意自由度下的鲁棒性。