[论文解读] On the representation of maps by Lie transforms

Antonio Giorgilli|arXiv (Cornell University)|Nov 24, 2012

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

一句话总结

本文提出了一种直接方法，将微扰映射（如Schrödinger–Siegel映射和Chirikov标准映射）表示为李变换，从而可直接应用原本用于微分方程的正规形技术。通过将可积映射用李级数表示，微扰项用李变换表示，作者构建了一个形式正规形算法，将已建立的流方法推广至任意维数的离散映射。

ABSTRACT

The problem of representing a class of maps in a form suited for application of normal form methods is revisited. It is shown that using the methods of Lie series and of Lie transform a normal form algorithm is constructed in a straightforward manner. The examples of the Scrhöder--Siegel map and of the Chirikov standard map are included, with extension to arbitrary dimension.

研究动机与目标

• 为解决正规形理论（在微分方程中已成熟）应用于离散映射的挑战。
• 开发一种系统化的形式体系，使微扰映射能够通过李级数和变换表示。
• 将正规形方法的应用范围扩展至辛映射和高维系统中的可积微扰。
• 提供一种构造性算法，通过李变换的复合公式对映射进行正规化。
• 在典型例子上验证该方法：Schrödinger–Siegel映射和Chirikov标准映射在任意维数下的情形。

提出的方法

• 本文以李级数和李变换作为基础形式体系，将时间演化流的概念推广至离散映射。
• 将可积映射表示为由向量场生成的李级数，将微扰表示为李变换。
• 推导出李变换的一个关键复合公式，使得映射可表示为一个可积李级数与一个微扰李变换的复合。
• 该方法依赖于一个生成序列 $ X $ 及其对应的李变换 $ T_X $，并通过递归定义每个阶次 $ s $ 的 $ E^X_s $。
• 形式体系使用李导数 $ L_V $，并利用恒等式 $ E^X_s = \sum_{l=1}^s \frac{l}{s} L_{X_l} E^X_{s-l} + \text{高阶项} $，确保复合过程的一致性。
• 复合公式的证明基于数学归纳法和李括号的雅克比恒等式，确立了复合变换与组合生成序列之间的等价性。

实验结果

研究问题

• RQ1 是否可以将一类广义映射（特别是可积映射的微扰）表示为与微分方程正规形理论兼容的形式？
• RQ2 是否可能在不依赖庞加莱截面插值的情况下，利用李级数和变换构建映射的正规形算法？
• RQ3 如何系统化地形式化李变换的复合，以将映射表示为具有组合生成序列的单一李变换？
• RQ4 复合映射 $ T_X \circ T_Y $ 的生成序列 $ Z $ 的结构是什么？它与 $ X $ 和 $ Y $ 的关系如何？
• RQ5 该形式体系是否可推广至任意维数，如Schrödinger–Siegel映射和Chirikov标准映射所示？

主要发现

• 本文建立了映射与李变换之间的直接对应关系，使得原本为微分方程设计的正规形技术可直接应用于离散映射。
• 推导出李变换的正式复合公式，表明 $ T_X \circ T_Y = T_Z $，其中 $ Z $ 是由 $ X $ 和 $ Y $ 构建的生成序列，并给出了显式的递归表达式。
• 该方法允许通过标准李理论技术（如迭代消除非共振项）构建映射的正规形算法。
• 该方法在两个关键例子上得到验证：Schrödinger–Siegel映射和Chirikov标准映射，两者均已推广至任意维数。
• 该形式体系避免了通过周期流插值的需要，为映射的摄动理论提供了系统且代数化的框架。
• 复合规则的证明基于归纳法和雅克比恒等式，证实了李变换形式体系在映射表示中的自洽性。