Torus Bifurcation in the Hopf-Langford system through Averaging Theory

技術要約：平均化理論によるホップ・ラングフォード・システムにおけるトーラス分岐

問題提起
本研究は、ホップ・ラングフォード型システムとして知られる特定の3次元自律微分方程式系の局所的な力学挙動を調査するものである。主な焦点は、ゼロ・ホップ平衡点（固有値 $0$および$\pm i\omega$ を持つ平衡点）から分岐する周期解および不変トーラスの出現にある。関連する系において不変トーラスの存在が確立され、その大域的な幾何学的構造も記述されているが、ゼロ・ホップ平衡点の周囲の力学を完全に記述する一般的な理論は存在しない。本研究は、周期軌道から二次分岐（ネイマーク・サッカー分岐）が生じ、不変トーラスが生成される条件を特定し、ホップ・ラングフォードの枠組みにおけるそのような構造の安定性を決定することを目的とする。

手法
本研究では、パラメータの正則摂動下における系の解析に二次の平均化理論を用いる。著者らは以下のホップ・ラングフォード・システムを検討する：
$$\begin{cases} \dot{x} = x(\mu - \alpha) - \beta y + xz \\ \dot{y} = \beta x + y(\mu - \alpha) + yz \\ \dot{z} = \mu z - \gamma(x^2 + y^2 + z^2) \end{cases}$$
パラメータ $(\alpha, \beta, \gamma, \mu)$ は、微小な摂動パラメータ $\varepsilon$ に関する冪級数として展開される。手法は主に以下の2つの段階で進行する：

1. 周期解の存在と安定性： 系は円筒座標系に変換され、平均化理論の標準形に適合するように再スケーリングされる。一次および二次の平均化関数が明示的に計算される。原点近傍における孤立した周期解の存在は、一次平均化関数の単純な零点を見つけることで確立される。この解の安定性は、一次平均化関数のヤコビ行列の固有値によって決定される。
2. トーラス分岐の解析： 不変トーラスの分岐を検出するために、著者は関連するポアンカレ写像のネイマーク・サッカー分岐と不変トーラスを結びつける最新の結果を適用する。これには、平均化関数に関する特定の仮定（具体的には、平均化された系におけるホップ点および非ゼロの横断条件の存在）の検証が含まれる。解析の核心は、$\varepsilon$ の冪級数としてのポアンカレ写像の第一リャプノフ係数 ($\ell_1$) の計算である。この係数の主要な非ゼロ項の符号が、分岐するトーラスの安定性と分岐の方向を決定する。

主要な貢献と結果

• 周期解に関する明示的なパラメータ条件： 本論文は、原点から分岐する一意な周期解の存在を保証する、摂動係数（具体的には $\alpha_1, \gamma_0, \mu_1, \alpha_2, \mu_2$ など）に関する一連の明示的な代数条件を確立している。この周期解の安定性は、式 $2\gamma_0(\mu_1 - \alpha_1) + \mu_1$ の符号によって決定される。この式が負であれば漸近安定であり、正であれば不安定である。
• トーラス分岐の特性付け： 著者は、パラメータ空間における滑らかな分岐曲線 $\mu(\varepsilon)$ を導出する。この曲線に沿って、周期解はネイマーク・サッカー分岐を起こし、一意の不変トーラスを生じさせる。
• 不変トーラスの安定性： 中心的な知見は、展開における主要項であるリャプノフ係数 $\ell_{1,2}$ の明示的な計算である。著者は、仮定された条件下（特に $\gamma_0 > 0$）において、この係数が厳密に正 ($\ell_{1,2} > 0$) であることを証明している。
• 構造的障害： したがって、不変トーラスが存在する場合、それは常に不安定である。本論文は、分岐する周期解はトーラスが存在するときに漸近安定であるが（すなわち、特定のパラメータ条件 $2\gamma_0(\mu_1 - \alpha_1) + \mu_1 < 0$ が満たされている場合）、トーラス自体は近傍の軌道を退けさせることを結論付けている。この結果は、検討されている条件下でのこの特定の種類のホップ・ラングフォード・システムにおいて、漸近的に安定な不変トーラスの存在に対する構造的な障害を提供している。

数値的検証
理論的な結果は、2つの数値例によって示される：

1. 例1： 分岐するトーラスを持たない、孤立した漸近安定な周期解を認めるパラメータセットを示す。
2. 例2： 導出された条件を満たし、周期解が不安定な不変トーラスに囲まれているパラメータセットを示す。ダイナミクスは、軌跡プロットとポアンカレ写像を通じて可視化され、トーラスの不安定性に関する理論的予測を確認している。

意義
本論文は、二次的な分岐である不変トーラスへの詳細かつ明示的な解析を提供することにより、3次元系におけるゼロ・ホップ分岐の理解に寄与している。リャプノフ係数を明示的に計算し、仮定の下でそれが常に正であることを示すことで、本研究はこれらの系の安定性の景観を明らかにしている。これは、安定なトーラスが出現するシナリオとは対照的に、この特定の種類のホップ・ラングフォード・システムは、このメカニズムを通じてゼロ・ホップ平衡点から分岐する漸近的に安定なトーラスの存在を構造的に排除していることを示している。結果は、ポアンカレ写像に対する二次平均化理論とネイマーク・サッカー分岐理論の適用に依拠しており、力学系における同様の問題に対する具体的な解析的枠組みを提示している。