Lagrange Stability for Reversible Duffing Equations with Quasi-Periodic Coefficients

技術要約：準周期係数を持つ可逆ダフィング方程式のラグランジュ安定性

問題設定
本論文は、準周期係数を持つ可逆ダフィング方程式：
$$\ddot{x} + f(x, \omega t)\dot{x} + g(x, \omega t) = 0$$
におけるラグランジュ安定性の問題に取り組むものである。ここで、減衰項 $f$ および復元力 $g$ は、$x$ に関する多項式であり、実解析的かつ偶関数である準周期係数を持つ。具体的には以下の通りである：
$$f(x, \theta) = \sum_{j=0}^m a_j(\theta)x^{2j+1}, \quad g(x, \theta) = x^{2n+1} + \sum_{j=0}^{n-1} b_j(\theta)x^{2j+1}$$
周波数ベクトル $\omega \in \mathbb{R}^d$ はディオファントス条件を満たす。主な目的は、すべての解が全時間において存在し、かつ位相空間内で有界であること（ラグランジュ安定性）を証明すること、および無限遠に蓄積する正の測度を持つ不変トーラスの族の存在を確立することである。

本系は減衰項が存在するため非ハミルトン系であるが、可逆構造を有している。本論文は、以前に時間周期的な可逆系に対して確立されていた鋭い次数範囲 $n \ge 2(m+1)$ を対象としているが、これは真に準周期的なケース、かつ非ハミルトン的な減衰を伴うケースにはまだ拡張されていなかった。

手法
証明は、座標変換と有限正規化手順の連続的な適用によって進められ、最終的に可逆KAM定理の適用へと至る。

1. 作用角変数： 系は、まず無限遠付近で作用角変数 $(\rho, \phi, \theta)$ へと変換される。この変換は、摂動のない部分（$x^{2n+1}$ 項によって支配される部分）をツイスト写像へと写像する。得られるベクトル場は、反転対合 $R_0(\rho, \phi, \theta) = (\rho, -\phi, -\theta)$ の下で特定のパリティ特性を示す。

2. 有限正規化（核心となる革新）： 標準的なKAMアプローチが無限収束級数に依存するのに対し、本論文では有限ステップの正規化手順を採用している。

   • 多項式簡約： 著者らはまず、低次の共鳴項を除去するために（LiuおよびZanolinに触発された）可逆多項式簡約を適用する。
   • 対数的フーリエ・カットオフ： フーリエモードを分離するために、対数的カットオフ $K = c^* \log A$ （ここで $A$ は大きな振幅パラメータ）を導入する。
   • 非共鳴区間： 明示的に構成された非共鳴作用区間上で、著者らは截断されたホモロジー方程式を解く。決定的なのは、これらの区間において小分母が制御され、「混合分母」 $D_{k\ell}(\rho) = k\nu(\rho) + \langle \ell, \omega \rangle$ がゼロから離れていることである。
   • 再帰性と終了： 誤差項は定量的な再帰関係を満たす。所望の減衰率に応じた有限個のステップ $M$ を実行することで、剰余項を作用 $A$ の任意の小さな負の冪へと減少させる。これにより、大きな準周期摂動が存在する場合に典型的な小分母の収束問題を回避する。

3. 可逆性の保存： 重要な技術的ポイントは、あらゆる座標変換（多項式簡約、フーリエ截断、および平均化）が、反転対合と可換であるように構成されていることである。これにより、最終的な標準形においてだけでなく、あらゆる有限ステップにおいて可逆構造が保持されることが保証される。

4. 平均化項の除去： 有限正規化の後、径方向および角度方向の方程式における残りの平均化された準周期項は、さらなる可逆的な座標変換によって除去される。その結果、摂動は十分に小さくなり（$O(A^{-L})$）、周波数写像はツイスト条件を満たすようになる。

5. 可逆KAM定理： 最終的な系は、可積分なツイスト写像の小さな可逆摂動である。著者らは標準的な可逆KAM定理を適用し、拡張された位相空間における正の測度を持つ不変 $(d+1)$-トーラスの族の存在を証明する。

主要な貢献

• 準周期非ハミルトン系への拡張： 本論文は、時間周期的な可逆系で用いられていた鋭い多項式安定性の結果（$n \ge 2(m+1)$）を、真に準周期的な設定、かつ非ハミルトン的な減衰を伴う設定へと拡張した。
• 有限正規化技術： 著者らは、多項式簡約と対数的フーリエ・カットオフを組み合わせた有限ステップ正規化手順を導入した。これにより、無限級数の収束を必要とせずに、大きな準周期摂動を小さな標準形へと減少させることが可能となり、代わりに明示的な有限ステップの再帰に依拠している。
• 余次元一の障壁： 構成された不変トーラスは、拡張された位相空間における余次元一のグラフである。ポアンカレ写像を用いる時間周期系とは異なり、これらのトーラスは拡張された円筒内において軌道が無限遠へ脱出することを防ぐ障壁として機能する。

主な結果
係数が実解析的かつ偶関数であり、$\omega$ がディオファントス条件を満たし、$n \ge 2(m+1)$ であるという仮定の下で：

1. ラングラジュ安定性： 方程式のすべての解は $t \in \mathbb{R}$ に対して存在し、有界である：
   $$\sup_{t \in \mathbb{R}} (|x(t)| + |\dot{x}(t)|) < \infty$$
2. 不変トーラスの存在： 拡張された系は、無限遠に蓄積する正の測度を持つ解析的な不変 $(d+1)$-トーラスの族を有する。このトーラス上の周波数ベクトルは $(\omega, \Omega)$ であり、この族に沿って $|\Omega| \to \infty$ となる。

意義および主張
本論文は、非ハミルトン的な可逆減衰項、真に準周期的な係数、および鋭い次数範囲 $n \ge 2(m+1)$ の組み合わせが、先行研究ではカバーされていなかったことを主張している。本研究は、周期系で使用される多項式簡約技術と、準周期系に求められるフーリエ解析技術との間の溝を埋めるものである。

著者らは、自身のアプローチが（$d > 1$ の場合には存在しない）ポアンカレ写像に依存するのではなく、拡張された位相空間における不変トーラスの幾何学的な障壁特性を利用していることを強調している。この結果は、可逆多項系における安定性のための「鋭い」次数条件が、減衰と復元力が特定のパリティおよび次数制約を満たす限り、よりデリケートな準周期的な設定においても成立することを裏付けている。