[论文解读] A strong form of Arnold diffusion for two and a half degrees of freedom

V. A. Kaloshin, Ke Zhang|arXiv (Cornell University)|Dec 5, 2012

Mathematical Dynamics and Fractals被引用 11

一句话总结

该论文通过在相空间中利用三维正常双曲不变流形网络构建稠密轨道，确立了两倍半自由度哈密顿系统中强形式的阿诺德扩散。结合涉及褶皱和相切正常双曲柱面的几何方法，以及基于弱KAM理论的马瑟型变分方法，作者证明了对于严格凸 $H_0$ 的可积系统的通用周期时间扰动，存在 $\rho$-稠密轨道，从而解决了哈密顿动力系统中长期悬而未决的猜想。

ABSTRACT

In the present paper we prove a strong form of Arnold diffusion. Let $\mathbb{T}^2$ be the two torus and $B^2$ be the unit ball around the origin in $\mathbb{R}^2$. Fix $ρ>0$. Our main result says that for a "generic" time-periodic perturbation of an integrable system of two degrees of freedom \[ H_0(p)+εH_1(θ,p,t),\quad \ θ\in \mathbb{T}^2,\ p\in B^2,\ t\in \mathbb{T}, \] with a strictly convex $H_0$, there exists a $ρ$-dense orbit $(θ_ε,p_ε,t)(t)$ in $\mathbb{T}^2 imes B^2 imes \mathbb{T}$, namely, a $ρ$-neighborhood of the orbit contains $\mathbb{T}^2 imes B^2 imes \mathbb{T}$. Our proof is a combination of geometric and variational methods. The fundamental elements of the construction are usage of crumpled normally hyperbolic invariant cylinders from \cite{BKZ}, flower and simple normally hyperbolic invariant manifolds from as well as their kissing property at a strong double resonance. This allows us to build a "connected" net of $3$-dimensional normally hyperbolic invariant manifolds. To construct diffusing orbits along this net we employ a version of Mather variational method \cite{Ma2} proposed by Bernard in \cite{Be}. This version is equipped with weak KAM theory \cite{Fa}.

研究动机与目标

• 解决哈密顿动力系统中的一个基本问题：通用近可积的两倍半自由度系统是否表现出阿诺德扩散。
• 为具有严格凸 $H_0$ 的可积系统的一类通用周期时间扰动，在相空间 $× B^2 × ℔$ 中构造出 $\rho$-稠密轨道。
• 在经典KAM理论（因不变环面而排除扩散）之外，拓展对近可积系统不稳定机制的理解。
• 在弱KAM框架内统一几何与变分技术——特别是正常双曲不变柱面与马瑟的变分方法——以实现扩散。

提出的方法

• 利用单重与双重共振附近的正规型理论，构造褶皱型与简单型正常双曲不变柱面。
• 在强双重共振处利用“相切性质”，将不同的正常双曲不变流形连接成一个连通网络。
• 采用经伯纳德版本改进的马瑟变分方法，并结合弱KAM理论，沿该网络构造扩散轨道。
• 应用尺度变换与坐标变换，将系统在双重共振附近约化为慢机械系统，以分析Aubry-Mather集与障碍函数。
• 利用皮埃尔尔斯障碍函数与静态度类，定义并分析不同上同调类之间的强迫关系与强迫等价性。
• 利用近可积系统中黏性解的次凸性与Lipschitz估计，确保变分构造的正则性与稳定性。

实验结果

研究问题

• RQ1 一个具有严格凸 $H_0$ 的两自由度可积系统的通用周期时间扰动，是否在相空间中存在 $\rho$-稠密轨道？
• RQ2 能否通过几何与变分方法，建立强形式的阿诺德扩散——即轨道在相空间的完整邻域内稠密？
• RQ3 如何通过相切机制在双重共振处连接正常双曲不变柱面，以形成扩散网络？
• RQ4 弱KAM理论与马瑟变分框架在多大程度上可被适配，以在具有强双重共振的系统中构造扩散轨道？
• RQ5 上同调类与强迫等价性在扩散过程中实现不同共振结构之间过渡时起何种作用？

主要发现

• 该论文证明了对于具有严格凸 $H_0$ 的可积系统的一类通用周期时间扰动，在 $× B^2 × ℔$ 中存在 $\rho$-稠密轨道。
• 该构造依赖于在强双重共振处由褶皱与相切柱面构成的三维正常双曲不变流形网络。
• 作者证明了通过皮埃尔尔斯障碍与静态度类定义的强迫关系，允许在不同上同调类之间存在连接轨道。
• 基于弱KAM理论与马瑟框架的变分方法，确保了可穿越整个相空间的扩散轨道的存在性。
• 系统在上同调空间中表现出分岔型结构，使得通过受控共振相互作用，可在简单与非简单同调类之间实现转换。
• 该证明对通用扰动具有鲁棒性，依赖于环面上机械系统的一般性质，包括高能状态下唯一双曲最小化子的存在性。