[論文レビュー] On the representation of maps by Lie transforms

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

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

ひとこと要約

本稿では、シュレーディンガー＝シーゲル写像やチリコフ標準写像といった摂動的写像を、リー変換として直接表現する手法を提示する。これにより、微分方程式に用いられる正準形技法を、任意次元の離散写像に直接適用できるようになる。可積分な写像をリー級数で、摂動をリー変換で表現することで、本稿は、任意次元の離散写像へと既存の流れの方法を一般化した形式的正準形アルゴリズムを構築する。

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.

研究の動機と目的

• 微分方程式に於いてはよく確立された正準形理論を、離散写像に適用する課題に対処すること。
• 摂動的写像をリー級数と変換を用いて表現できる体系的で形式的な形式的体系を構築すること。
• 正準形手法の適用範囲を、高次元系におけるシンプレクティック写像と可積分な摂動に拡張すること。
• リー変換の合成公式を活用して、写像の正準形化を構成的アルゴリズムとして提供すること。
• 代表的な例として、シュレーディンガー＝シーゲル写像とチリコフ標準写像（任意次元）に本手法を適用すること。

提案手法

• 本稿は、時間発展の流れを離散写像へ一般化するため、リー級数とリー変換を基礎的な形式的体系として用いる。
• 可積分な写像をベクトル場によって生成されるリー級数として表現し、摂動をリー変換として表現する。
• リー変換の重要な合成公式を導出し、可積分なリー級数と摂動的リー変換の合成として写像を表現可能にする。
• 本手法は、生成列 $ 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{higher-order terms} $ を用い、合成における一貫性を保証する。
• 合成公式の証明は帰納法とリー括弧のジャコビの恒等式に依拠し、合成された変換と結合生成列の等価性を確立する。

実験結果

リサーチクエスチョン

• RQ1 一般のクラスの写像、特に可積分写像の摂動を、微分方程式の正準形理論と整合する形で表現できるか。
• RQ2 ポincare断面補間に依存せずに、リー級数と変換を用いて写像の正準形アルゴリズムを構築することは可能か。
• RQ3 リー変換の合成を体系的に形式化することで、単一の生成列を有するリー変換として写像を表現する方法は何か。
• RQ4 写像 $ T_X \circ T_Y $ の生成列 $ Z $ の構造は何か。また、$ X $ と $ Y $ との関係は何か。
• RQ5 この形式的体系は、シュレーディンガー＝シーゲル写像やチリコフ標準写像の例で示されるように、任意次元へと拡張可能か。

主な発見

• 本稿は、写像とリー変換との間の直接的な対応関係を確立し、微分方程式の正準形技法を離散写像の文脈に直接適用可能にする。
• リー変換の形式的合成公式が導出され、$ T_X \circ T_Y = T_Z $ が成り立つことが示され、$ Z $ は $ X $ と $ Y $ から構成される生成列であり、明示的な再帰的表現が得られる。
• 標準的なリー理論的技法（非共鳴項の反復除去など）を適用することで、写像の正準形アルゴリズムを構築可能である。
• 本手法は、シュレーディンガー＝シーゲル写像とチリコフ標準写像の2つの主要な例に適用され、両者とも任意次元へと拡張されている。
• 周期的流れによる補間の必要性を回避し、写像の摂動論に対して体系的で代数的な枠組みを提供する。
• 合成則の証明は帰納法とジャコビの恒等式に依拠しており、リー変換形式的体系が写像表現の文脈で一貫していることを確認する。