[论文解读] Construction of invariant whiskered tori by a parameterization method. Part I: Maps and flows in finite dimensions

Ernest Fontich, Rafael de la Llave+1 more|ArXiv.org|Mar 2, 2009

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

一句话总结

该论文通过基于求解不变性函数方程的后验方法，建立了有限维辛映射和流中不变横切环状环面的存在性。通过证明任何足够精确的近似解，只要满足非退化条件，就接近真实解，该方法避免了可积性或作用-角度变量的假设，从而能统一处理主环面和次级环面，包括接近秩-1共振的情形，且适用于具有广义双曲丛的系统。

ABSTRACT

We present theorems which provide the existence of invariant whiskered tori in finite-dimensional exact symplectic maps and flows. The method is based on the study of a functional equation expressing that there is an invariant torus. We show that, given an approximate solution of the invariance equation which satisfies some non-degeneracy conditions, there is a true solution nearby. We call this an {\sl a posteriori} approach. The proof of the main theorems is based on an iterative method to solve the functional equation. The theorems do not assume that the system is close to integrable nor that it is written in action-angle variables (hence we can deal in a unified way with primary and secondary tori). It also does not assume that the hyperbolic bundles are trivial and much less that the hyperbolic motion can be reduced to constant. The a posteriori formulation allows us to justify approximate solutions produced by many non-rigorous methods (e.g. formal series expansions, numerical methods). The iterative method is not based on transformation theory, but rather on succesive corrections. This makes it possible to adapt the method almost verbatim to several infinite-dimensional situations, which we will discuss in a forthcoming paper. We also note that the method leads to fast and efficient algorithms. We plan to develop these improvements in forthcoming papers.

研究动机与目标

• 证明有限维精确辛映射和流中不变横切环面的存在性。
• 发展一个不依赖系统接近可积或使用作用-角度变量的通用框架。
• 统一处理主环面和次级环面，包括接近秩-1共振的情形。
• 建立一种适用于数值或形式方法所得近似解的稳健方法。
• 为将该方法推广至无限维系统提供基础。

提出的方法

• 通过迭代牛顿型格式求解映射的不变性方程 $ F \circ K = K(\theta + \omega) $ 和流的方程 $ \partial_\omega K = J \nabla H(K) $。
• 采用参数化方法，假设近似解 $ K_0 $ 满足不变性方程至多存在一个小误差 $ E_0 $。
• 对近似解施加非退化条件——谱条件和扭转条件——以确保线性化方程的可解性。
• 在线性化方程中，分别在中心子空间和双曲子空间上求解，通过狄氏频率假设处理小分母问题。
• 迭代校正过程保持双曲性与非退化性，确保收敛至真实解。
• 该方法依赖于连续校正而非变换理论，因而可适应无限维情形。

实验结果

研究问题

• RQ1 能否在不假设可积性或使用作用-角度变量的前提下，在有限维辛系统中构造不变横切环面？
• RQ2 如何严格验证来自数值或形式方法的近似解，使其可视为接近真实不变环面？
• RQ3 在存在小分母问题的情况下，何种非退化条件可确保在近似解附近存在真实解？
• RQ4 该方法能否处理接近秩-1共振的次级环面以及非平凡的稳定/不稳定丛？
• RQ5 可否为不变环面建立正则性与依赖性性质（如解析性、Lipschitz连续性）？

主要发现

• 若近似解 $ K_0 $ 的误差 $ \|E_0\|_{\rho_0} $ 足够小，即满足 $ C\kappa^4\delta^{-4\nu}\|E_0\|_{\rho_0} < 1 $，则在更小的定义域 $ \rho_\infty = \rho_0 - 6\delta $ 内存在真实解 $ K_\infty $。
• 真实解与近似解之间的距离满足 $ \|K_\infty - K_0\|_{\rho_\infty} \leq C\kappa^2\delta^{-2\nu}\|E_0\|_{\rho_0} $，量化了收敛速率。
• 该方法适用于映射和流，哈密顿系统的结论可由一般精确辛框架导出。
• 该方法不要求双曲丛为平凡或双曲运动为常数，允许存在一般的稳定与不稳定方向。
• 即使系统不接近可积，该方法仍能保证不变环面的存在，从而可处理次级环面与共振结构。
• 该框架支持正则性的逐步提升，并提供对参数的Lipschitz与解析依赖性，且对频率集合提供了显式的测度估计。