安定平衡点

1 安定平衡点の概念

1.1 平衡点の定義

力学系や微分方程式が与える「状態」の時間発展が、ある特定の状態において変化しないとき、その状態を平衡点（定常解）と呼ぶ。連続時間系では、平衡点は右辺の速度場がその点で零になる点として表されることが多い。離散時間系でも、1ステップ後に状態が同じになる点として同様の考え方がある。

1.2 安定性の直観的理解

安定性は「平衡点からのずれに対して、軌道が元の近傍にとどまるか」を問う性質である。直感的には、少し押しても回復するような状態が安定であり、押すと離れていく状態が不安定である。さらに、ずれが時間とともに小さくなるなら、より強い意味での安定（漸近的安定）となる。

1.3 安定平衡点と不安定平衡点の対比

安定平衡点では、初期状態を平衡点の十分近くに選べば、以後の解はその近傍の範囲に保たれる。対照的に不安定平衡点では、いかに小さい摂動でも、ある時刻以降に平衡点から離れるような初期条件が存在する。両者の境界に相当する状況として、線形化だけでは判定が定まらない場合があり、非線形項の寄与が決定的になることがある。

2 数理的表現

2.1 微分方程式における平衡点

連続時間の自治系を \[ \dot{x}=f(x) \] とする。ここで \(x\) は状態、\(f\) は速度場である。このとき平衡点 \(x^\*\) は \[ f(x^\*)=0 \] を満たす点として定義される。外力を含む非自治系では状況が複雑になり得るが、しばしば時間不変な変換で自治性に帰着させるか、定常的な解（あるいは周期軌道）として扱う。

2.2 線形化による安定判定

2.2.1 ヤコビアンと固有値

平衡点 \(x^\*\) の近傍では、非線形系をテイラー展開し一次近似で置き換える。差分 \(y=x-x^\*\) に対し \[ \dot{y}=J y + \text{（高次の項）} \]

2.2.2 固有値の符号・実部による判定

ヤコビアンの固有値 \(\lambda\) の実部に注目する。線形系 \(\dot{y}=J y\) では、実部が負の固有値成分は指数的に減衰し、正の成分は増大して平衡点から離れる方向に働く。実部がすべて負であれば、線形化モデル上では（十分近い初期条件で）平衡点は漸近安定である。一方、実部に正が含まれると不安定になる。実部がゼロの固有値を持つ場合は、一次近似だけでは結論が出ないことがあり、中心多様体や高次項の検討へ進む必要がある。

2.3 位相空間での安定性

2.3.1 安定性・漸近安定性・指数安定性

位相空間の観点では、解のふるまいを近傍へのとどまり方で階層化する。安定性は「近くに置けば将来も近くに留まる」ことを意味する。漸近安定性は「初期誤差が時間とともにゼロへ近づく」性質であり、さらに指数安定性では誤差の減衰率が指数関数的に下界・上界評価される。これらは同じ結果を指すとは限らず、強い安定性ほど条件が厳しくなる傾向がある。 また、「どの近傍で」成立するかや、「どのノルム（測度）」で評価するかが明確であるほど、数学的主張は精密になる。

3 ポテンシャルとエネルギーによる見方

3.1 保存力系における安定性

保存力系では、運動がポテンシャル（位置エネルギー）により記述される場合が多い。座標を \(q\) とし、全エネルギーが \[ E(q,\dot{q})=T(\dot{q})+V(q) \] の形で与えられるとき、力はポテンシャルの勾配に関連する。安定性は「エネルギー制約のもとで、平衡点から離れにくい構造があるか」として理解できる。たとえば平衡点近傍でポテンシャルが“皿状”なら、運動エネルギーが増えても全体のエネルギーが一定であるため、過度に遠くへ逸脱しにくい。

3.2 局所最小と安定平衡点

ポテンシャル \(V(q)\) が平衡点 \(q^\*\) の近傍で局所最小をとる場合、その点は安定平衡点になりやすい。局所最小とは、十分近い点では \(V(q)\ge V(q^\*)\) が成り立つことを指す。保存的な状況ではエネルギーが一定なので、もし \(V\) が局所的に最小なら、局所最小から大きく離れるには少なくともポテンシャルが増える必要があるが、利用可能なエネルギーには上限がある。結果として軌道は近傍に閉じ込められる。

3.3 局所最大・鞍点との関係

局所最大では逆に少しのずれでポテンシャルが下がり、エネルギー保存の下で運動がより大きく加速される方向に働きやすく、不安定となることが多い。鞍点は「ある方向では局所最小、別の方向では局所最大」の混成であり、方向によって挙動が異なるため不安定になりやすい。直感的には、山の頂上や鞍に相当する形状が、摂動により“転がり落ちる”状況を生む。

4 応用例と扱い

4.1 機械系（ばね・振り子等）

ばねのような単純な復元力を持つ系では、平衡位置はポテンシャルの最小点として捉えられることが多い。たとえば線形ばねのケースでは、押すと増える復元力が働き、微小な摂動は元へ戻る振る舞いとなる。振り子でも重力ポテンシャルが絡み、下向き姿勢（鉛直下）では安定、上向き姿勢（鉛直上）は不安定として理解できる。 実際の機械では摩擦や減衰が加わり、安定性の強さ（漸近的に戻るか、保つのみか）が変わる。

4.2 電気回路（平衡動作点の安定性）

電気回路は、状態変数を電流や電圧（あるいはそれらに対応する内部状態）としてモデル化することで、微分方程式あるいは状態空間表現に落とし込める。平衡動作点は、入力が一定の下で状態が変化しない条件を満たす点である。回路素子の特性（抵抗の有無、非線形素子、フィードバックの構成）により、線形化したヤコビアンの固有値が安定性を左右する。 安定性が確保されると、微小な擾乱に対して電圧や電流が暴走せず所定の動作へ戻ることが期待できる。一方で、制御系や発振回路では、意図的に不安定性を利用する場合もある。

4.3 化学反応系（反応速度論と安定状態）

反応速度論では、濃度ベクトルの時間発展が速度式（しばしば非線形）に従う。平衡点は反応の正味の速度がゼロになる濃度状態であり、安定性は外乱（初期濃度のずれ）に対してその状態へ戻るかで評価される。競合反応や触媒、基質濃度の制約があると、複数の平衡点が現れ、それぞれ安定・不安定が分かれることがある。 この枠組みは、反応器運転の観点で「望ましい定常状態にとどまるか」や「条件が変わった際に別状態へ移るか」を理解するのに役立つ。

4.4 数値計算における注意点

安定性の性質は理論上の局所評価であり、数値計算では離散化誤差や丸め誤差が振る舞いを歪めることがある。特に固有値が境界付近（実部が小さい）にある場合、有限ステップの誤差が減衰ではなく見かけの成長を生むことがある。 さらに、安定性判定に使う線形化の有効範囲が狭い場合、初期点が十分近くないと予測が外れやすい。安定な解でも、適切な時間刻み、整合するソルバ選択、誤差推定の確認が重要になる。

5 関連概念

5.1 中立平衡点

中立平衡点は、安定でも不安定でも決めきれないような状況に対応することが多い。具体的には線形化で実部がゼロの固有値が現れるケースで、一次近似では摂動の成長・減衰が判別できない段階が該当する。非線形項がその後の運命を決めるため、中心多様体などの解析が必要になることがある。

5.2 分岐と安定性の変化

パラメータ付きの系では、制御変数や物理量を連続的に変えると平衡点の個数や性質が変わることがある。分岐点では安定性が切り替わる場合があり、安定平衡点が不安定へ移行したり、その逆が起き得る。結果として、ある領域では安定に保たれていた状態が、パラメータ変化により急に別の振る舞いへ移ることがある。

5.3 リャプノフ関数による判定

リャプノフ関数は、平衡点に向けた“誤差の大きさ”を表すスカラー量として設計される。通常は \(V(x)\) が平衡点で最小（しばしばゼロ）となり、軌道に沿った時間変化が負になることで、安定性や漸近性を示す。保存系のポテンシャルが利用できる場合もあるが、一般の非線形系ではポテンシャル以外の構成が有効になる。 リャプノフ法の利点は、線形化で扱いにくい領域も対象にできる点にある。ただし、適切な関数を見つける手順は状況依存であり、万能な公式が常にあるわけではない。