Integrable perturbations of polynomial Hamiltonian systems

技術的概要：多項式ハミルトニアン系の積分可能摂動の統合

問題提起
本論文は、シンプレクティック空間 $(\mathbb{R}^{2n}, dy \wedge dx)$ 上で定義されたハミルトニアン系に対する積分可能摂動の構成問題を扱っている。具体的には、原点に非退化な平衡点を持ち、かつ固有値が互いに異なる実解析的ハミルトニアン $H$ が与えられたとき、原点の近傍（および潜在的には大域的に）で完全積分可能となるような系 $H + F$ を得るために、$H$ に摂動 $F$ を加えることが可能かどうかを著者が調査している。摂動 $F$ は、原点において高次の次数で消えることが要求され、具体的には任意の正の整数 $M$ に対して $F = O((|x| + |y|)^{M+1})$ である。

手法
このアプローチは、正規形理論と連続平均化法に依存している。手法は以下の論理的段階を経て進行する。

1. 正規形への還元: 線形化された系の固有値 $\mu = (\mu_1, \dots, \mu_n)$ に関する非共鳴仮定の下で、ハミルトニアンはシンプレクティック座標変換 $\Phi$ によって正規形 $N$ へと変換される。非共鳴の場合、$N$ は特定の二次不変量（例えば $y_{2j-1}x_{2j-1} + y_{2j}x_{2j}$、$x_k^2 + y_k^2$ など）に関する多項式である。
2. 局所的構成（定理 1）: 次数 $M$ の多項式ハミルトニアン $H$ に対して、著者は系を $N + O_{M+1}$ に還元する局所的な実解析的微分同相写像 $\Phi$ の存在を示す。変換された系と元の系の間の差が摂動 $F$ を定義する。
3. 大域的拡張（定理 2）: 積分可能性の領域を局所的な近傍 $U$ から空間全体 $\mathbb{R}^{2n}$ へと拡張するために、論文は「連続平均化」手法を採用する。静的な座標変換の代わりに、変換は $\delta \in [0, +\infty)$ でパラメータ化された補助ハミルトニアン系の解に沿った時間-$\infty$ 移動として構成される。
   • 生成する流が $\delta \to +\infty$ となるにつれて元のハミルトニアンを所望の正規形に変換するように、補助ハミルトニアン $K(x, y, \delta)$ が構成される。
   • 重要な技術的ステップとして、多項式 $P(x, y, \delta)$ と減衰関数 $L(x, y, \delta) = P e^{-(x^2+y^2)}$ を定義し、補助系が指数的に極限点へ収束する大域的に定義された解を持つことを保証する。
4. 複素座標と実数条件: 証明は、ハミルトニアンの二次部分を対角化するために複素座標 $(z, w)$ を利用する。手法の重要な部分は、平均化プロセス全体を通じてハミルトニアンの「実数性」（系が実解析的であること）を維持することである。これは、共鳴項を除去しつつ実数条件を保持する特定の対合演算子 $\text{Conj}_\vartheta$ と線形演算子 $\hat{\xi}$ によって処理される。

主要な貢献と結果
本論文は 2 つの主要な定理を確立している。

• 定理 1（局所結果）: $H$ が次数 $\le M$ の多項式であり、固有値が非共鳴である場合、原点において次数 $M+1$ で消える実解析関数 $F$ が存在し、ハミルトニアン $H + F$ を持つ系は原点の近傍 $U$ において完全積分可能となる。証明は、二次不変量が対合における第一積分として機能する正規形の存在に依存している。
• 定理 2（大域結果）: 局所結果は位相空間全体へと拡張可能である。$\mathbb{R}^{2n}$ の大域的実解析的微分同相写像が存在し、変換されたハミルトニアンは $\mathbb{R}^{2n}$ 全体で完全積分可能となり、摂動 $F$ は原点において同じ高次消滅条件を満たす。
• 補題 2.1 および命題 3.3: これらは大域結果の構造的核を提供し、指数関数的に正規形へ収束する連続平均化方程式の一意な形式的解の存在を証明するとともに、補助ハミルトニアンの係数がパラメータ $\delta$ に対して指数関数的に減衰することを保証する。

意義と主張
本論文は、非共鳴固有値を持つ任意の多項式ハミルトニアン系に対して、（テイラー展開次数の観点から）任意に小さな実解析摂動を加えることで完全積分可能性を達成できることを示すと主張している。

• 主張の慎重さ: 著者は明示的に、変換の収束半径は正であるが、局所ケースにおいてこの半径に対する構造的な下限推定は提供されていないと指摘している。大域的拡張は、指数関数的に減衰する係数を持つ補助ハミルトニアン $K$ の特定の構成に依存している。
• 範囲: 結果は実解析関数に対して定式化されている。著者は注記 2.1 で、グラウエルトの定理を引用し、位相空間 $\mathbb{R}^{2n}$ は理論上、任意のコンパクトな実解析的シンプレクティック多様体に置き換えられ得ると述べているが、主な焦点はユークリッド空間の場合に置かれている。
• 力学文脈: 論文は、「楕円」ケース（$n_1=0, n_2=n$）が、双曲的成分を持つ場合（$n_1 \neq 0$ または $n_2 \neq n$）とは異なり、楕円ケースにおける軌道は長時間において必ずしも原点の小さな近傍から脱出しないため、特に力学上の興味を引くことを強調している。

この研究は、これらの積分可能摂動の理論的構成を超えて、実験的応用や将来の含意を提案するものではない。これは、ハミルトニアン力学と正規形理論の枠組み内における厳密な存在証明として機能する。