Nonintegrability theorem on perturbed integrable Hamiltonian dynamical systems with two independent resonances

技术摘要：具有两个独立共振的扰动可积哈密顿动力系统的不可积性定理

问题陈述
本文探讨了受微扰影响的自治二自由度哈密顿动力系统中的基本可积性问题。具体而言，研究对象是其扰动项包含两个独立共振的系统。虽然 Liouville–Arnold 定理保证了具有 $n$ 个独立一阶积分的 $n$ 自由度无扰系统的可积性，但引入扰动通常会破坏这些积分。核心问题在于建立严谨的条件，以确定一个由 $H = H_0 + \varepsilon H_1$ 表征（其中包含两个不同共振傅里叶模态）的扰动系统在何种情况下保持不可积。作者旨在将现有的不可积性判据扩展到涉及两个独立共振相互作用的情形。

研究方法
作者结合了经典与现代分析技术：

1. 庞加莱（Poincaré）不可积性定理： 分析基于以下前提：如果存在第二个解析一阶积分 $\Phi$，则它必须在函数上独立于哈密顿量 $H$。作者将该积分按扰动参数 $\varepsilon$ 进行幂级数展开。
2. Meletlidou–Ichtiaroglou 判据： 该判据用于将第二个积分的存在性与扰动项 $H_1$ 在共振环面上的周期轨道上的平均值联系起来。它指出，如果扰动值的平均值取决于共振环面上特定周期轨道（相位）的依赖关系，则系统是不可积的。
3. Lie 系列辛变换： 本研究的一个关键方法论创新是应用由 Lie 算子 $L_W$ 生成的一系列 Lie 系列辛变换。作者根据共振向量的线性组合定义了特定的 Lie 生成元 $W_{m_k, n_k}$。该变换应用于哈密顿量，以生成高阶项（具体为 $\mathcal{O}(\varepsilon^2)$ 阶），且不会引入小因子（small divisors），通过 Lie 系列的 Cauchy 定理确保收敛性。
4. 共振分析： 作者分析了两个独立共振向量 $\mathbf{k} = (k_1, -k_2)$ 和 $\mathbf{l} = (l_1, -l_2)$ 的相互作用。通过考虑这些向量与整数系数的组合，他们构建了一组稠密的共振环面，证明了由此产生的频率比在作用量空间中构成一个稠密集。

主要贡献与结果
本文建立了一个关于具有两个独立共振的扰动哈密顿系统不可积性的新定理。主要结果如下：

• 定理表述： 作者证明，对于解析自治哈密顿系统 $H = H_0 + \varepsilon [A_1 \cos(k_1 w_1 - k_2 w_2) + A_2 \cos(l_1 w_1 - l_2 w_2)]$，其中 $H_0$ 是 Liouville 可积且非退化的，且共振向量线性无关，则对于足够小的 $\varepsilon \neq 0$，该系统是不可积的。
• 二阶阻碍： 不可积性是通过证明存在第二个解析一阶积分的必要条件（即特定二阶平均 Poisson 括号的消失，见式 17）被违反来展示的。Lie 变换产生了 $\mathcal{O}(\varepsilon^2)$ 阶的组合谐波。当这些谐波与无扰环面发生共振时，它们在周期轨道上的平均值不为零，并且取决于标记轨道的相位。
• 共振环面的稠密性： 证明的一个关键组成部分是展示由两个模态相互作用产生的特定共振比 $\frac{\omega_1}{\omega_2} = \frac{k_2 + n_k}{k_1 + m_k}$ 在相关的频率区间内是稠密的。这确保了不可积性的阻碍存在于相空间的稠密集合中。
• 不可积性的条件： 该定理在满足以下条件时成立：
  1. 共振比生成一个稠密的环面集。
  2. 二阶方程 (17) 在该稠密集上不为零。
  3. 涉及扰动振幅（$A_1, A_2$）导数及无扰哈密顿量的特定系数不为零或不相互抵消。

局限性与不确定情况
作者明确指出，定理在以下特定情形下是不确定的，这并不一定意味着系统是可积的，而是指当前的判据无法判定系统的状态：

1. 如果所有二阶共振系数都消失，包括项 $\frac{n_k}{m_k} \frac{\partial A_i}{\partial J_2} - \frac{\partial A_i}{\partial J_1} = 0$。
2. 如果两个傅里叶向量不独立（即它们是平行的），这是已知可积的情况。

意义
本文声称其意义在于将庞加莱不可积性定理严谨地扩展到了具有多个独立共振的系统。通过利用 Lie 系列变换，作者避免了扰动理论中常见的关于小因子的复杂性，从而能够直接分析二阶阻碍。这项工作阐明了此类系统中的不可积性不仅源于存在两个傅里叶模态，更源于它们的二阶相互作用，前提是由此产生的共振环面是稠密的且平均贡献不相互抵消。这为确定天体力学和非线性动力学背景下近可积哈密顿系统的不可积性提供了一种精确的分析工具。