[论文解读] Chains of compact cylinders for cusp-generic nearly integrable convex systems on $\mathbb{A}^3$

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

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

一句话总结

该论文证明了在 $\mathbb{A}^3 = \mathbb{T}^3 \times \mathbb{R}^3$ 上的尖点通用近似可积凸哈密顿系统中，存在一系列紧致、正常双曲的三维柱面链，这些柱面链构成了阿诺德扩散的几何骨架。通过在共振附近使用平均化方法以及 KAM 型持久性理论，论文证明了对于通用的 $C^\kappa$ 扰动（$\kappa$ 足够大），在给定能量面上存在此类链，并与作用空间中的预定开集相交，从而使扩散轨道能够通过这些链实现漂移。

ABSTRACT

This paper is the first of a series of three dedicated to a proof of the Arnold diffusion conjecture for perturbations of {convex} integrable Hamiltonian systems on $\mathbb{A}^3=\mathbb{T}^3 imes \mathbb{R}^3$. We consider systems of the form $H(θ,r)=h(r)+f(θ,r)$, where $h$ is a $C^κ$ strictly convex and superlinear function on $\mathbb{R}^3$ and $f\in C^κ(\mathbb{A}^3)$, $κ\geq2$. Given $e> extrm{Min}\,h$ and a finite family of arbitrary open sets $O_i$ in $\mathbb{R}^3$ intersecting $h^{-1}(e)$, a diffusion orbit associated with these data is an orbit of $H$ which intersects each open set $\widehat O_i=\mathbb{T}^3 imes O_i\subset\mathbb{A}^3$. The first main result of this paper (Theorem I) states the existence (under cusp-generic conditions on $f$ in Mather's terminology) of "chains of compact and normally hyperbolic invariant $3$-dimensional cylinders" intersecting each $\widehat O_i$. Diffusion orbits drifting along these chains are then proved to exist in subsequent papers. The second main result (Theorem II) consists in a precise description of the hyperbolic features of classical systems (sum of a quadratic kinetic energy and a potential) on $\mathbb{A}^2=\mathbb{T}^2 imes\mathbb{R}^2$, which is a crucial step to prove Theorem I.

研究动机与目标

• 构建近似可积凸哈密顿系统在 $\mathbb{A}^3$ 上的不变柱面的正常双曲骨架，以证明阿诺德扩散。
• 建立在固定能量面上与作用空间中预定开集相交的紧致、正常双曲三维柱面链的存在性。
• 分析 $\mathbb{A}^2$ 上经典系统（二次动能与势能之和）的正常双曲结构，作为三维构造的基础步骤。
• 证明这些链支持异宿连接，使得在小扰动下扩散轨道能够沿其漂移穿越柱面链。
• 通过尖点通用扰动，为凸情形下的阿诺德扩散猜想提供一个几何框架。

提出的方法

• 通过在快速角度上进行平均化，利用正规形近似系统在共振附近的性质，区分简单共振曲线与强双共振点。
• 应用正常双曲不变流形理论，将平均化系统中的不变结构提升至完整系统，保持双曲性与不变性。
• 应用 KAM 型结果，确保柱面的不变边界（2-环面）在小扰动下保持不变。
• 将 $\mathbb{A}^2$ 上的经典系统作为基本构建模块，证明在临界能量与无穷能量极限下，存在异宿连接的 2-环面链与奇异环面。
• 在 $\mathbb{R}^2$ 中的矩形上构造马蹄结构以模拟双曲动力系统，使用转移矩阵与符号动力学编码不变集。
• 建立一个下半连续的阈值 $\boldsymbol{\varepsilon}(\mathbf{f}) > 0$，使得当 $\varepsilon \in (0, \boldsymbol{\varepsilon}(\mathbf{f}))$ 时，扰动系统 $H = h + \varepsilon \mathbf{f}$ 具备所需的柱面链。

实验结果

研究问题

• RQ1 能否在 $\mathbb{A}^3$ 上的尖点通用近似可积凸系统中构造出紧致、正常双曲的三维柱面链？
• RQ2 在 $\mathbb{A}^2$ 上的经典系统（动能与势能之和为二次型）中，哪些动力学特征是构建此类链的关键？
• RQ3 柱面之间的异宿连接如何使扩散轨道能够沿作用空间中的预定开集实现漂移？
• RQ4 强双共振点与简单共振曲线在正常双曲骨架形成过程中起到何种作用？
• RQ5 在何种扰动 $\mathbf{f}$ 条件下，系统对任意充分小的 $\varepsilon > 0$ 都能容纳此类柱面链？

主要发现

• 当 $\kappa$ 足够大，且 $\mathbf{f}$ 属于 $C^\kappa(\mathbb{A}^3)$ 单位球面的开稠密子集时，存在一个下确界半连续阈值 $\boldsymbol{\varepsilon}(\mathbf{f}) > 0$，使得对所有 $\varepsilon \in (0, \boldsymbol{\varepsilon}(\mathbf{f}))$，系统 $H = h + \varepsilon \mathbf{f}$ 具有一条与每个 $\widehat{O}_i$ 相交的紧致、正常双曲三维柱面链。
• 这些柱面微分同胚于 $\mathbb{T}^2 \times [0,1]$ 或 $\mathbb{T} \times (\text{带三个孔的球面})$，且位于能量面 $H^{-1}(\mathbf{e})$ 内。
• 在简单共振曲线附近，不变柱面由摆族的不动点与 $\mathbb{T}^2$ 的乘积构成；而在强双共振点附近，它们由经典 $\mathbb{A}^2$ 系统中的 2-环面或奇异环面与 $\mathbb{T}$ 的乘积构成。
• 对任意整同调类 $c$，在经典 $\mathbb{A}^2$ 系统中构造出一条实现 $c$ 的异宿连接 2-环面链，其渐近于临界能量与无穷能量。
• 在经典 $\mathbb{A}^2$ 系统中存在一个奇异环面，且每个同调类 $c$ 对应的链均与该奇异环面存在异宿连接。
• 完整系统从平均化模型中继承了丰富的异宿与同宿结构，从而保证了沿柱面链漂移的扩散轨道的存在性。