論文「シンプレクティック写像におけるほぼ保存量の幾何学 Part II. 近似不変量の回復」の技術的サマリー

本論文は、シンプレクティック写像（離散力学系）における「ほぼ保存量（approximate invariants）」の構築と解析に関する研究シリーズの第 2 部です。第 1 部で提案された摂動法を、固定点近傍の局所的な領域から、大振幅運動やカオス系を含む大域的なダイナミクスへと拡張し、その有効性と汎用性を検証することを目的としています。

以下に、問題設定、手法、主要な貢献、結果、および意義について詳細にまとめます。

1. 問題設定 (Problem)

シンプレクティック写像は、加速器物理学（ビームダイナミクス）や天体力学など、広範な物理現象を記述する重要なモデルです。

• ノイーターの定理の離散系への拡張: 連続系では対称性が保存則（不変量）に対応しますが、離散系（シンプレクティック写像）では、可逆性（reversibility）に起因する離散対称性が「近似不変量」の出現と対応します。
• 既存手法の限界: 従来のリ代数（Lie algebra）技術やノーマル形展開は、固定点近傍の微小振幅領域では有効ですが、大振幅領域や共鳴（resonance）領域、特にカオス的な領域では、島（islands）の構造や安定領域の境界を正確に捉えることが困難です。
• 課題: 離散対称性を保持しつつ、摂動展開の各次数で近似関数を構築することで、隠れた構造（島鎖や安定領域の境界）を系統的に発見し、積分可能系では厳密な不変量を回復できるか、またカオス系では有効な診断ツールとなり得るかを検証すること。

2. 手法 (Methodology)

本研究では、第 1 部で確立した摂動法を基盤とし、以下の手順で近似不変量を構築・評価します。

1. 多項式 Ansatz の導入:
   写像 $T: \mathbb{R}^2 \to \mathbb{R}^2$ に対して、$n$ 次の近似不変量 $K^{(n)}[p, q]$ を多項式形式で仮定します。
   $$K^{(n)} = K_0 + \epsilon K_1 + \dots + \epsilon^n K_n$$
   ここで、各係数は写像の係数から決定されます。

2. 離散対称性の保持:
   写像が持つ可逆性（時間反転対称性など）に基づき、近似不変量がこれらの離散対称性を満たすように係数を制約します。

3. 平均化手続き (Averaging Procedure):
   摂動展開において係数が未定（under-determined）となる問題と、共鳴点（有理数の回転数）における特異性を解決するために、平均化手続きを導入します。

   • 固有座標系 $(Q, P)$ へ変換し、極座標 $(\rho, \psi)$ を導入。
   • 残差 $R_n$ を位相角 $\psi$ について積分し、その値を最小化するように未定係数 $C_k$ を決定します（$\frac{d}{dC_k} \int R_n d\psi = 0$）。
   • これにより、共鳴点での適用性を確保し、展開の収束性を向上させます。

4. 比較対象:
   提案手法の性能を検証するため、以下の手法と比較します。

   • 積分可能系: 既知の厳密な不変量を持つマクミラン（McMillan）写像やシュリス（Suris）写像。
   • カオス系: 二次および三次のヘノン（Hénon）写像。
   • 既存手法: 「正方行列法（Square Matrix method: SM）」との比較。

3. 主要な貢献と結果 (Key Contributions & Results)

A. 積分可能系の回復 (Recovery of Integrable Systems)

• マクミラン写像（対称型）: 多項式形式の厳密不変量を持つ系において、平均化手続きを適用することで、摂動展開が特定の次数で厳密な不変量に収束することを示しました。
• シュリス写像（指数・三角関数型）: 厳密な不変量が無限級数となる系において、平均化された係数がパラメータに依存せず、次数 $n \to \infty$ で一定値に収束する傾向を確認しました。これは、ギブズ現象に似た挙動を示しつつ、ほぼ至る所で収束することを意味します。
• 意義: 積分可能系で厳密解を回復できることは、カオス系における大域的な構造を捉える手法としての信頼性を裏付ける重要なテストケースです。

B. カオス系への適用と非線形回転数の解析

• ヘノン写像の解析: 二次および三次のヘノン写像を用い、島鎖（island chains）やカオス海を含む位相空間を解析しました。
• 回転数の精度向上: 平均化手続きを適用した近似不変量から、ダニロフの定理（Danilov's theorem）を用いて非線形回転数 $\nu$ を計算しました。
  • 結果、平均化を行わない場合や従来のリ級数展開に比べ、共鳴点（島鎖の分離線）付近での回転数の急激な変化（局所的な崩壊）を高精度に再現できることを示しました。
  • 低次数の近似でも、島鎖の構造や安定領域の境界を定量的に捉えることができました。

C. 単連結領域と島鎖の同定

• 等時図（Isochronous diagrams）の作成: 位相空間座標と写像パラメータ（トレース $a$）の両軸を用いた図を作成し、安定領域の境界（分離線）を可視化しました。
• 平均化の優位性: 平均化手続きを適用した場合、摂動次数 $n$ を上げるにつれて、フェイ序列（Farey sequence）に従って現れる共鳴構造（島鎖）の境界が、数値追跡（FMA 指標）と極めて良く一致することを示しました。
• 正方行列法（SM）との比較:
  • SM 法も局所的な収束性は示しますが、積分可能系では不変量の発散や誤った共鳴分母の問題が発生しました。
  • カオス系においても、SM 法は島鎖の内側を捉えることはできますが、分離線を越えた領域での精度が劣り、提案手法（PT with averaging）の方が島鎖の境界や構造をより鋭く、正確に再現しました。

4. 意義と結論 (Significance & Conclusion)

• 理論的意義:

  • 離散対称性と近似保存量の対応を体系的に示し、ノイーターの定理の離散系におけるアナロジーを確立しました。
  • 平均化手続きが、共鳴点を含む大域的なダイナミクスを解析する上で不可欠であることを実証しました。

• 実用的意義（加速器物理学など）:

  • 提案手法は、単一の解析的関数（近似不変量）から、位相空間図、回転数、チューンフットプリント（tune footprint）などを導出できます。
  • 従来の Courant-Snyder 形式（線形近似）を超え、非線形性が強い領域や共鳴領域においても、ビームのダイナミックアパーチャ（安定領域）を正確に評価する強力な診断・設計ツールとなります。
  • 数値追跡に比べて計算コストが低く、かつ広範なパラメータ空間で信頼性の高い結果を提供します。

総括:
本論文で提案された摂動法（平均化付き）は、積分可能系では厳密解を回復し、カオス系では島鎖や安定境界を高精度に捉えることを示しました。正方行列法などの既存手法と比較しても、共鳴領域におけるロバスト性と精度において優れており、シンプレクティック写像の非線形ダイナミクスを整理・解析するための汎用的かつ効率的な枠組みを提供しています。