[論文レビュー] Lyapunov Coefficients for Degenerate Hopf Bifurcations

Jorge Sotomayor, Luis Fernando Mello+1 more|ArXiv.org|Sep 25, 2007

Advanced Differential Equations and Dynamical SystemsMathematics参考文献 9被引用数 19

ひとこと要約

本稿では、コンピュータ支援記号計算を用いて、退化ホップ分岐における1次から4次までのリャプノフ係数の代数的表現を導出する。1次から4次までの分岐の余次元に対して軌道正規形を確立し、1次から4次までのリャプノフ係数がすべて0であり、$ l_4 \neq 0 $ である場合、系は余次元4ホップ分岐を示し、$ |w|^8 $-非線形項を有する。これにより、力学系における複雑な分岐状況の分類が可能になる。

ABSTRACT

In this paper are studied the codimensions one, two, three and four Hopf bifurcations and the pertinent Lyapunov stability coefficients. Algebraic expressions obtained with computer assisted calculations are displayed.

研究の動機と目的

• 標準的手法が高次元の退化性のため失敗するため、退化ホップ分岐における1次から4次までのリャプノフ係数を体系的に計算すること。
• 特にMathematica 5を用いたコンピュータ支援記号計算により、これらの係数の明示的代数的表現を提供すること。
• 高次非線形項を含む軌道正規形を通じて、余次元1から4までのホップ分岐近傍の動的挙動を特徴づけること。
• 複数のパラメータを有する系、例えばスプリングを備えたワットの速度調節器のような系における複雑な分岐構造の解析のための枠組みを確立すること。
• 現在の文献に存在しない第4リャプノフ係数を導出することで、既存理論を拡張すること。

提案手法

• ベクトル場のテイラー展開を9次まで行い、$ F({\bf x}) $ の微分の高次階数のヤコビアンおよび多重線形形式を用いる。
• 中心多様体還元を適用し、$ w \in \mathbb{C} $ を用いた2次元複素正規形に系を簡約化する。ここで $ w $ は臨界モードの複素振幅を表す。
• 正規形方程式 $ H_w w' + H_{\bar{w}} \bar{w}' = F(H(w, \bar{w})) $ から導かれる線形系を解くことで、中心多様体埋め込み $ H(w, \bar{w}) $ の係数 $ h_{jk} $ を再帰的に計算する。
• 正規形 $ w' = (\eta + i\omega_0)w + \tau w|w|^2 + \nu w|w|^4 + \sigma w|w|^6 + l_4 w|w|^8 $ からリャプノフ係数 $ l_1, l_2, l_3, l_4 $ を抽出する。$ l_k $ は $ F $ の多重線形項から計算される。
• Mathematica 5を用いた記号計算により、$ l_1 $ から $ l_4 $ までの長い代数的表現を導出し、検証する。中間ステップはオンラインで公開されている。
• 理論的結果は、$ l_k \neq 0 $ が $ k $-番目の退化レベルで成り立つ余次元1から4までのホップ分岐に対する軌道正規形の構築を通じて検証されている。

実験結果

リサーチクエスチョン

• RQ1 退化ホップ分岐における1次から4次までのリャプノフ係数の明示的代数的表現は何か？
• RQ2 余次元4ホップ分岐点近傍での系の動的挙動はどのように分類できるか？
• RQ3 1次から4次までのリャプノフ係数が0であるが5次が非ゼロである場合、軌道正規形の構造はどのようなものか？
• RQ4 記号計算を用いて、既存の文献に存在しない高次リャプノフ係数をどのように導出できるか？
• RQ5 ホップ分岐が余次元4であるための必要十分条件は何か？

主な発見

• 1次から4次までのリャプノフ係数は記号計算を用いて代数的に導出され、9次までのテイラー項を有する系に対しても表現が提供されている。
• 第4リャプノフ係数 $ l_4 $ は明示的に計算され、余次元4ホップ分岐点で非ゼロであることが示され、分岐構造の分類が可能になる。
• 余次元4ホップ分岐では、軌道正規形が $ w' = (\eta + i\omega_0)w + \tau w|w|^2 + \nu w|w|^4 + \sigma w|w|^6 + l_4 w|w|^8 $ と表され、$ l_4 \neq 0 $ であるため、$ |w|^8 $-非線形項の存在が確認される。
• 写像 $ \mu \mapsto (\eta, l_1, l_2, l_3) $ が $ \mu = 0 $ で正則であるという汎用性条件により、分岐のアンフォールディングが横断的かつ構造的に安定であることが保証される。
• 結果は、スプリングを備えたワットの速度調節器系にも適用可能であり、高次元の退化性が導出された係数を用いて今後分析可能になる。
• 本稿は、文献において初の完全な第4リャプノフ係数の導出を提供し、退化ホップ分岐理論における重要な空白を埋めている。