[论文解读] Arnold diffusion for cusp-generic nearly integrable convex systems on ${\mathbb A}^3$

Jean-Pierre Marco|arXiv (Cornell University)|Feb 7, 2016

Mathematical Dynamics and Fractals参考文献 2被引用 5

一句话总结

本文在三维作用空间 $\mathbb{A}^3$ 上的尖点通用近可积凸哈密顿系统中，确立了阿诺德扩散轨道的存在性。通过基于正规双曲不变流形与辛持久性的几何方法，证明了对于足够大的 $\kappa$，在小的 $C^\kappa$ 扰动（$\kappa$ 足够大）的通用开稠密集下，轨道能够连接能量水平集 $h^{-1}(\mathbf{e})$ 中的任意开集，从而在该设定下证实了阿诺德扩散猜想的关键方面。

ABSTRACT

We prove the existence of "Arnold diffusion orbits" in cusp-generic nearly integrable a priori stable systems on ${\mathbb A}^3$. The result relies on the cusp-generic existence of chains in nearly integrable a priori stable systems, proved in a previous paper, together with the existence of diffusion orbits along such chains. The latter result was obtained in collaboration with M. Gidea.

研究动机与目标

• 在 $\mathbb{A}^3$ 上的近可积凸哈密顿系统中，于通用扰动下确立阿诺德扩散轨道的存在性。
• 通过证明轨道能够连接 $\mathbf{e} > \min h$ 时能量水平集 $h^{-1}(\mathbf{e})$ 中的任意开集，解决阿诺德扩散猜想的一个关键情形。
• 将阿诺德扩散的几何框架扩展至 $C^\kappa$ 系统（$\kappa \geq \kappa_0$ 足够大），超越解析或 $C^\infty$ 的设定。
• 证明在由阈值函数 $\boldsymbol{\varepsilon}_0$ 定义的适当拓扑下，此类扩散轨道存在于一个通用的开稠密集扰动中。

提出的方法

• 采用 $C^\kappa$ 近可积哈密顿系统 $H(\theta,r) = h(r) + f(\theta,r)$ 的框架，其中 $h$ 严格凸且超线性。
• 利用阈值函数 $\boldsymbol{\varepsilon}_0: \mathcal{S}^\kappa \to \mathbb{R}^+$ 在巴拿赫空间 $C^\kappa_b(\mathbb{A}^3)$ 中定义广义开球 $\mathscr{B}^\kappa(\boldsymbol{\varepsilon}_0)$。
• 应用辛正规双曲持久性定理，在小扰动下构造不变流形及其稳定/不稳定叶状结构。
• 依赖于 [Mar] 和 [GM] 的结果，建立扰动系统中过渡链与正规双曲不变圆柱的存在性。
• 利用控制与正则性条件，确保不变流形及其叶状结构的 $C^p$ 光滑性。
• 应用辛标准形微分同胚，将正常双曲流形附近的动力系统简化为标准形式，从而实现在开集之间的轨道追踪。

实验结果

研究问题

• RQ1 在 $C^\kappa$ 近可积凸系统中，对于 $\mathbb{A}^3$ 上的通用小扰动集，阿诺德扩散是否发生？
• RQ2 能否构造出能访问 $h^{-1}(\mathbf{e})$ 中任意开集的轨道（其中 $\mathbf{e} > \min h$）？
• RQ3 在 $\kappa$ 虽大但有限的 $C^\kappa$ 设定下，是否存在一个通用的开稠密集扰动，使得扩散轨道存在？
• RQ4 在缺乏解析性或 $C^\infty$ 正则性的情况下，能否利用辛结构与正规双曲持久性证明扩散？
• RQ5 在 $C^\kappa$ 拓扑下，存在此类扩散轨道的扰动集合的拓扑大小如何？

主要发现

• 对于任意 $C^\kappa$ 严格凸、超线性的 $h$ 与能量 $\mathbf{e} > \min h$，存在一个下半连续的阈值函数 $\boldsymbol{\varepsilon}_0$，使得 $\mathscr{B}^\kappa(\boldsymbol{\varepsilon}_0)$ 在 $C^\kappa_b(\mathbb{A}^3)$ 中为开集且稠密。
• 对于 $\mathscr{B}^\kappa(\boldsymbol{\varepsilon}_0)$ 中的开稠密集 $f$，扰动系统 $H = h + f$ 允许轨道与每个 ${\mathbb{T}}^3 \times O_i$ 相交，其中 $O_i$ 为有限个与 $h^{-1}(\mathbf{e})$ 相交的开集。
• 此类扰动 $f$ 的集合在 Baire 范畴意义下是通用的，意味着扩散轨道存在于小的 $C^\kappa$ 扰动的剩余集中。
• 通过辛正规双曲持久性建立扩散轨道的存在性，确保存在具有指数吸引/排斥特性的 $C^1$ 不变流形。
• 不变流形 $W^\pm(\mathrm{Ann}(\mathscr{V}))$ 允许 $C^0$ 叶状结构，且在 $C^p$ 正则性下，叶状结构为 $C^{p-1}$。
• 存在一个辛标准形微分同胚 $\Psi$，使得 $\Psi$ 将正常双曲流形及其稳定/不稳定流形映射到 $\mathbb{A}^\ell \times \mathbb{R}^2$ 中的标准模型，同时保持辛结构。