[论文解读] Uniform hyperbolicity of invariant cylinder

Chong-Qing Cheng|arXiv (Cornell University)|Sep 10, 2015

Quantum chaos and dynamical systems参考文献 10被引用 3

一句话总结

该论文建立了三自由度近可积哈密顿系统中法向双曲不变圆柱（NHICs）的一致双曲性，表明除有限个强双重共振点的 $\sqrt{\epsilon}^{1+d}$-邻域外，大NHICs沿共振路径持续存在。该结果使得可通过阿诺德机制在双重共振处连接NHICs构造全局扩散轨道，即使在强共振附近存在小间隙，过渡链依然存在。

ABSTRACT

For a nearly integrable Hamiltonian systems $H=h(p)+εP(p,q)$ with $(p,q)\in\mathbb{R}^3 imes\mathbb{T}^3$, large normally hyperbolic invariant cylinders exist along the whole resonant path, except for the $\sqrtε^{1+d}$-neighborhood of finitely many double resonant points. It allows one to construct diffusion orbits to cross double resonance.

研究动机与目标

• 在具有三个自由度的近可积哈密顿系统中，建立沿共振路径的大法向双曲不变圆柱（NHICs）的存在性。
• 分析NHICs在双重共振点附近的行为，特别区分强双重共振与弱双重共振。
• 证明可通过连接NHICs的过渡链，利用阿诺德机制在双重共振处构造扩散轨道。
• 表明阻碍全局扩散的唯一因素是有限个强双重共振点的 $\sqrt{\epsilon}^{1+d}$-邻域。
• 基于最小周期轨道的非退化性与非退化势能的普遍性，提供区分弱与强双重共振的标准。

提出的方法

• 使用辛坐标变换，利用整数向量 $k'$, $k''$, 和 $k_3$ 使共振结构对角化，且满足 $\det M = 1$，从而在双重共振点附近简化哈密顿量。
• 应用由 $\epsilon F(p,q)$ 生成的哈密顿流的时间-$2\pi$-映射，求解同调方程 $\langle \partial h/\partial p, \partial F/\partial q \rangle = -P + Z$，消除非共振傅里叶模。
• 执行均匀化标度：$\tilde{y} = (p - p'')/\sqrt{\epsilon}$, $s = \sqrt{\epsilon}t$，以重标度动力学并提取具有慢时间尺度的极限哈密顿量 $\tilde{G}_\epsilon$。
• 通过隐函数定理构造函数 $G_\epsilon(x,y,\theta)$，使其满足 $\tilde{G}_\epsilon = 0$，并证明 $\partial \tilde{G}_\epsilon / \partial I = 1 + O(\epsilon^\sigma)$，从而确保能量面动力学的适定性。
• 应用一个普遍性结果（定理6.1），证明在共振路径 $\Gamma'$ 上除有限个分支点外，有效势能 $V = -Z(p'',x)$ 的最小点的非退化性在所有 $p$ 上一致成立。
• 利用弱KAM理论与弱KAM解的霍尔德连续性，建立上同调等价性，并在圆柱体之间构造过渡链，从而通过阿诺德机制实现扩散。

实验结果

研究问题

• RQ1 在具有三个自由度的近可积哈密顿系统中，法向双曲不变圆柱（NHICs）在何种条件下沿共振路径持续存在？
• RQ2 双重共振点如何影响不变圆柱的结构？哪些点会阻碍全局扩散？
• RQ3 在双重共振点周围，NHICs 不存在的邻域的大小与性质如何？
• RQ4 能否通过连接NHICs的过渡链，在双重共振处构造扩散轨道？
• RQ5 何种普遍条件可确保在整个共振路径上，有效势能的最小点保持非退化？

主要发现

• NHICs 在整个共振路径 $\Gamma'$ 上一致存在，除有限个强双重共振点的 $O(\sqrt{\epsilon}^{1+d})$-邻域外。
• 需要特别处理的强双重共振点数量是有限的，且与 $\epsilon$ 无关，这是由于对势能 $Z_{k'}(p,x)$ 的普遍性条件所致。
• 在 $\Gamma'$ 上除有限个分支点外，有效势能 $V = -Z(p'',x)$ 的最小周期轨道的非退化性在所有 $p$ 上一致有下界。
• 对于所有 $c \in \text{int}(\mathbb{C}_g)$ 满足 $d(c, \mathbb{F}_i) > O(\sqrt{\epsilon}^{1+d})$，阿布鲁集位于一个NHIC内，确保了不变集的局部连通性。
• 可在共振路径上构造出上同调等价的过渡链，仅在强双重共振附近存在有限个大小为 $O(\sqrt{\epsilon}^{1+d})$ 的间隙。
• 圆柱体上弱KAM解的霍尔德连续性允许通过阿诺德机制将阿布鲁集全局连接，从而实现在双重共振处的扩散。