[论文解读] Diffusion time and splitting of separatrices for nearly integrable isochronous Hamiltonian systems

Massimiliano Berti, Philippe Bolle|ArXiv.org|Sep 19, 2000

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

一句话总结

该论文通过变分阴影方法，对近可积等时哈密顿系统中的阿诺德扩散时间给出了改进的估计，并严格证明了在三时间尺度系统中分离子线分裂的庞加莱-梅尔尼科夫近似。在一般条件下，证明了分裂行为可由庞加莱-梅尔尼科夫函数正确预测，且给出了扰动参数和解析性条带宽度的显式误差界。

ABSTRACT

We consider the problem of Arnold's diffusion for nearly integrable isochronous Hamiltonian systems. We prove a shadowing theorem which improves the known estimates for the diffusion time. We also justify for three time scales systems that the splitting of the separatrices is correctly predicted by the Poincare'-Melnikov function.

研究动机与目标

• 改进近可积等时哈密顿系统中阿诺德扩散时间的已有估计。
• 确立庞加莱-梅尔尼科夫函数在预测三时间尺度系统中分离子线分裂方面的有效性。
• 提供一个变分框架，相较于以往的几何与马瑟理论方法，能获得更紧的扩散时间界。
• 解释弱耦合的快、中、慢振子系统中分裂的渐近行为。

提出的方法

• 基于准周期强迫摆方程的伪异宿解上的作用积分，发展了一种变分阴影定理，定义泛函 $ F_{\nu}(A,\theta) $。
• 同宿函数 $ G_{\nu}(A) $ 定义为 $ F_{\nu}(A,0) $，表示在 $ q = \pi $ 处稳定与不稳定流形生成函数的差值。
• 通过将作用泛函解析延拓至复条带，可估计 $ \widetilde{G}_{\nu} $（变换后的同宿函数）的傅里叶系数。
• 庞加莱-梅尔尼科夫原函数 $ \Gamma(A) $ 用作近似，其显式公式为 $ \Gamma_k = f_k \frac{2\pi(k\cdot\omega)}{\sinh(k\cdot\omega \pi/2)} $。
• 通过复分析推导误差界：$ |\widetilde{G}_k - \mu\Gamma_k| \leq \frac{C\mu^2||f||^2}{\delta^4} \exp\left(-\sum a_i|k_i|\right) \exp\left(-|k\cdot\omega|(\pi/2 - \delta)\right) $。
• 在三时间尺度系统中，方法应用于 $ \omega_\varepsilon = (\varepsilon^{-1/2}, \varepsilon^a) $，并导出 $ \widetilde{G}_\nu $ 关于 $ \mu \Gamma_0, \mu \Gamma_1 $ 和误差项的渐近展开。

实验结果

研究问题

• RQ1 能否通过变分方法更精确地估计近可积等时哈密顿系统中的扩散时间？
• RQ2 庞加莱-梅尔尼科夫函数在多大程度上能准确预测三时间尺度系统中分离子线的分裂？
• RQ3 对扰动 $ f $ 的何种条件可确保通过阴影机制存在扩散轨道？
• RQ4 分裂函数的傅里叶系数在复条带中的解析延拓下如何表现？
• RQ5 扰动强度 $ \mu $、解析性宽度 $ \delta $ 与庞加莱-梅尔尼科夫近似误差之间的定量关系为何？

主要发现

• 变分阴影定理通过提供比以往几何与马瑟理论方法更紧的界，改进了已知的扩散时间估计。
• 在三时间尺度系统中，分离子线的分裂被庞加莱-梅尔尼科夫函数严格验证，误差界为 $ \mu^2||f||^2 \delta^{-4} \exp(-|k\cdot\omega|(\pi/2 - \delta)) $ 的阶。
• 对于三时间尺度系统，同宿函数 $ \widetilde{G}_\nu $ 具有渐近展开：$ \widetilde{G}_\nu = Const + \mu\Gamma_0 + 2\mathrm{Re}(\mu\Gamma_1 e^{iA_1}) + O(\mu\varepsilon^{-1/2}||f||\exp(-\pi/\sqrt{\varepsilon})) $。
• $ \Gamma_1 $ 项的误差被限制在 $ O(\mu^2||f||^2 \varepsilon^{-2} \exp(-\pi/(2\sqrt{\varepsilon}))) $，显示出在慢频率尺度上的指数衰减。
• 在 $ f $ 的一般条件下（如非零傅里叶模 $ f_{0,l}, f_{1,m} \neq 0 $），定理 2.1 中的分裂条件被满足，从而保证了扩散轨道的存在。
• 该结果适用于任意维度 $ n \geq 2 $，扩展了以往仅限于 $ n=2 $ 的结果，并在 [17] 的基础上改进，仅需 $ \mu\varepsilon^{-3/2} \to 0 $，而非 $ \mu = \varepsilon^p $ 且 $ p > 2+a $。