双曲型平衡点
力学系を研究する上で、系の時間発展が止まる点である「平衡点」、あるいは写像を繰り返し適用しても元の位置に留まる「不動点」の性質を理解することは極めて重要です。
特に、これらの点の中でも「双曲型」と呼ばれる特別なタイプの点は、その近傍での系の振る舞いが比較的理解しやすく、力学系の多くの理論の基盤をなしています。
双曲型という名称は、二次元の単純な系において軌道が双曲線状になる例があることに由来しますが、この軌道形状が一般的に成り立つわけではありません。また、その数学的な定義がヤコビ行列の固有値に基づいており、典型的な場合には鞍点に似た不安定性を持つことから、一部の専門家からは「鞍点」を連想させるために誤解を招きやすい名称であるとの指摘もあります。
双曲型であるかどうかの判定は、不動点または平衡点における系の線型化、すなわちヤコビ行列の性質によって厳密に行われます。写像とフロー（ベクトル場）で定義の形式が異なります。
写像における双曲型不動点: C^1級写像 T: R^n → R^n の不動点 p (T(p)=p) が双曲型であるとは、点 p におけるヤコビ行列 DT(p) のすべての固有値の絶対値が1ではないことを指します。つまり、固有値が複素平面の単位円上に存在しないということです。
フローにおける双曲型平衡点: C^1級ベクトル場 F: R^n → R^n の平衡点 p (F(p)=0) が双曲型であるとは、点 p におけるヤコビ行列 DF(p) のすべての固有値の実部がゼロではないことを指します。フローにおける平衡点は「臨界点」とも呼ばれるため、双曲型平衡点は「双曲型臨界点」または「初等的臨界点」とも呼ばれます。
双曲型平衡点や不動点は、その近傍において多くの普遍的で重要な性質を示すことが知られています。以下に主な性質を挙げます。
安定多様体と不安定多様体の存在: 双曲型点 p に向かって時間が進むにつれて（または時間を逆行するにつれて）漸近する点の集合が存在し、これらはそれぞれ安定多様体および不安定多様体と呼ばれる滑らかな多様体を形成します。これらの多様体は点 p を通り、そこで交わることがあります。
構造安定性: 系の定義する方程式や写像が微小に変化しても、双曲型点の近傍における軌道構造の質的な特徴（位相的な性質）が変化しないという性質です。これは、現実世界のモデル化において系のパラメータに誤差があっても、局所的な振る舞いが大きく変わらないことを意味し、解析の頑健さを示します。
擬軌道追従性: 系の数値計算などで避けられない誤差によって生成される、理想的な軌道からわずかにずれた「擬軌道」が、ある真の軌道の近くに長時間留まるという性質（擬軌道尾行）が見られる場合があります。
不変集合上の挙動: 双曲型点の存在は、より複雑な不変集合（系の時間発展で変化しない点の集合）の構造や挙動を理解するための基盤となります。特に、双曲型点を含むような双曲型集合上では、系のダイナミクスが記号力学と呼ばれる手法を用いて記述できることがあります。
自然測度: 力学系の統計的・確率的な側面を扱う際に、双曲型点の存在は、系の長時間平均的な振る舞いを記述する「自然測度」という特別な不変測度が存在するための条件となる場合があります。
双曲型点の概念を具体的な例で見てみましょう。
写像の例 - アーノルドの猫写像: トーラス上（単位正方形を向かい合う辺で貼り合わせた空間）で定義される次の線型写像は、原点 (0,0) を唯一の不動点として持ちます。
[ x_{n+1} ] [ 1 1 ] [ x_n ] (mod 1)
[ y_{n+1} ] = [ 1 2 ] [ y_n ]
この変換行列の固有値を計算すると、λ₁ = (3 + √5)/2 (> 1) と λ₂ = (3 - √5)/2 (< 1) となります。これらの固有値はどちらも絶対値が1ではないため、不動点 (0,0) は写像における双曲型不動点です。
* フローの例: 次のような二次元の非線型常微分方程式で記述される力学系を考えます。
dx/dt = y
dy/dt = -x - x^3 - αy (ただし α ≠ 0)
この系は、点 (0,0) を唯一の平衡点として持ちます。この平衡点におけるヤコビ行列 J は次のようになります。
J(0,0) = [ 0 1 ]
[ -1 -α ]
この行列の固有値は、λ = (-α ± √(α² - 4))/2 です。α ≠ 0 の場合、これらの固有値の実部である -α/2 は決してゼロになりません。したがって、点 (0,0) はフローにおける双曲型平衡点です。この双曲型点のある近傍では、系の軌道構造は線型化された系（ヤコビ行列で決まる線型常微分方程式）の軌道構造と位相的に等価であるという、ハートマン＝グロブマンの定理が成り立ちます。もし α = 0 の場合、固有値の実部はゼロとなり、この平衡点は双曲型ではなくなります。
双曲型という概念は、より一般的な双曲型集合や、より高度な法双曲不変多様体といった概念の基礎をなしています。また、無限次元の力学系（例えば偏微分方程式や時間遅れを含む系）の文脈では、「スペクトルの双曲部」という形で同様の概念が用いられます。系全体が双曲型であるような例として、アノソフフローなどが知られています。
双曲型平衡点および不動点は、力学系の局所的な振る舞いや安定性を解析する上で極めて基本的な役割を果たす概念です。その数学的な定義と、それに伴う安定多様体の存在や構造安定性といった豊かな性質は、系の複雑なグローバルなダイナミクスを理解するための重要な足がかりを与えてくれます。
特に、これらの点の中でも「双曲型」と呼ばれる特別なタイプの点は、その近傍での系の振る舞いが比較的理解しやすく、力学系の多くの理論の基盤をなしています。
双曲型という名称は、二次元の単純な系において軌道が双曲線状になる例があることに由来しますが、この軌道形状が一般的に成り立つわけではありません。また、その数学的な定義がヤコビ行列の固有値に基づいており、典型的な場合には鞍点に似た不安定性を持つことから、一部の専門家からは「鞍点」を連想させるために誤解を招きやすい名称であるとの指摘もあります。
数学的定義
双曲型であるかどうかの判定は、不動点または平衡点における系の線型化、すなわちヤコビ行列の性質によって厳密に行われます。写像とフロー（ベクトル場）で定義の形式が異なります。
写像における双曲型不動点: C^1級写像 T: R^n → R^n の不動点 p (T(p)=p) が双曲型であるとは、点 p におけるヤコビ行列 DT(p) のすべての固有値の絶対値が1ではないことを指します。つまり、固有値が複素平面の単位円上に存在しないということです。
フローにおける双曲型平衡点: C^1級ベクトル場 F: R^n → R^n の平衡点 p (F(p)=0) が双曲型であるとは、点 p におけるヤコビ行列 DF(p) のすべての固有値の実部がゼロではないことを指します。フローにおける平衡点は「臨界点」とも呼ばれるため、双曲型平衡点は「双曲型臨界点」または「初等的臨界点」とも呼ばれます。
双曲型点の重要な性質
双曲型平衡点や不動点は、その近傍において多くの普遍的で重要な性質を示すことが知られています。以下に主な性質を挙げます。
安定多様体と不安定多様体の存在: 双曲型点 p に向かって時間が進むにつれて（または時間を逆行するにつれて）漸近する点の集合が存在し、これらはそれぞれ安定多様体および不安定多様体と呼ばれる滑らかな多様体を形成します。これらの多様体は点 p を通り、そこで交わることがあります。
構造安定性: 系の定義する方程式や写像が微小に変化しても、双曲型点の近傍における軌道構造の質的な特徴（位相的な性質）が変化しないという性質です。これは、現実世界のモデル化において系のパラメータに誤差があっても、局所的な振る舞いが大きく変わらないことを意味し、解析の頑健さを示します。
擬軌道追従性: 系の数値計算などで避けられない誤差によって生成される、理想的な軌道からわずかにずれた「擬軌道」が、ある真の軌道の近くに長時間留まるという性質（擬軌道尾行）が見られる場合があります。
不変集合上の挙動: 双曲型点の存在は、より複雑な不変集合（系の時間発展で変化しない点の集合）の構造や挙動を理解するための基盤となります。特に、双曲型点を含むような双曲型集合上では、系のダイナミクスが記号力学と呼ばれる手法を用いて記述できることがあります。
自然測度: 力学系の統計的・確率的な側面を扱う際に、双曲型点の存在は、系の長時間平均的な振る舞いを記述する「自然測度」という特別な不変測度が存在するための条件となる場合があります。
具体例
双曲型点の概念を具体的な例で見てみましょう。
写像の例 - アーノルドの猫写像: トーラス上（単位正方形を向かい合う辺で貼り合わせた空間）で定義される次の線型写像は、原点 (0,0) を唯一の不動点として持ちます。
[ x_{n+1} ] [ 1 1 ] [ x_n ] (mod 1)
[ y_{n+1} ] = [ 1 2 ] [ y_n ]
この変換行列の固有値を計算すると、λ₁ = (3 + √5)/2 (> 1) と λ₂ = (3 - √5)/2 (< 1) となります。これらの固有値はどちらも絶対値が1ではないため、不動点 (0,0) は写像における双曲型不動点です。
* フローの例: 次のような二次元の非線型常微分方程式で記述される力学系を考えます。
dx/dt = y
dy/dt = -x - x^3 - αy (ただし α ≠ 0)
この系は、点 (0,0) を唯一の平衡点として持ちます。この平衡点におけるヤコビ行列 J は次のようになります。
J(0,0) = [ 0 1 ]
[ -1 -α ]
この行列の固有値は、λ = (-α ± √(α² - 4))/2 です。α ≠ 0 の場合、これらの固有値の実部である -α/2 は決してゼロになりません。したがって、点 (0,0) はフローにおける双曲型平衡点です。この双曲型点のある近傍では、系の軌道構造は線型化された系（ヤコビ行列で決まる線型常微分方程式）の軌道構造と位相的に等価であるという、ハートマン＝グロブマンの定理が成り立ちます。もし α = 0 の場合、固有値の実部はゼロとなり、この平衡点は双曲型ではなくなります。
関連事項
双曲型という概念は、より一般的な双曲型集合や、より高度な法双曲不変多様体といった概念の基礎をなしています。また、無限次元の力学系（例えば偏微分方程式や時間遅れを含む系）の文脈では、「スペクトルの双曲部」という形で同様の概念が用いられます。系全体が双曲型であるような例として、アノソフフローなどが知られています。
結び
双曲型平衡点および不動点は、力学系の局所的な振る舞いや安定性を解析する上で極めて基本的な役割を果たす概念です。その数学的な定義と、それに伴う安定多様体の存在や構造安定性といった豊かな性質は、系の複雑なグローバルなダイナミクスを理解するための重要な足がかりを与えてくれます。
もう一度検索
【記事の利用について】
タイトルと記事文章は、記事のあるページにリンクを張っていただければ、無料で利用できます。
※画像は、利用できませんのでご注意ください。
【リンクついて】
リンクフリーです。