常微分方程式の安定性理論

安定性理論は、平衡点近傍から始まる微分方程式の解が、時間とともにその近傍に留まるか、あるいは平衡点に戻るかを研究する。

Definition

平衡点は、十分に近くから始まる解が、その後のすべての時間において任意に近くに留まる場合、リアプノフ安定である。さらに、それらが平衡点に収束する場合、漸近安定である。不安定性とは、少なくともいくつかの近傍の解が離れていくことを意味する。

Scope

このトピックでは、リアプノフ安定性、漸近安定性、不安定性の定義、線形化とハートマン・グロブマンの定理、リアプノフ関数の直接法、ラサールの不変原理、および平面系の平衡点の分類（ノード、サドル、フォーカス、センター）について扱う。

Core questions

• 平衡点の小さな摂動は増大するか、持続するか、減衰するか？
• 線形化は非線形平衡点の安定性をいつ正確に予測するか？
• 方程式を明示的に解かずに安定性を確立するにはどうすればよいか？
• 平面平衡点はその局所的な相空間ポートレートによってどのように分類されるか？

Key theories

リアプノフの直接法

正定値関数が軌道に沿って減少する場合、平衡点は安定であり、そのような関数が厳密に減少すると漸近安定性が強制される。これらはすべて微分方程式を解くことなく行われる。

線形化とハートマン・グロブマンの定理

双曲型平衡点の近傍では、非線形流は線形化されたものと位相的に共役であるため、ヤコビアンの固有値が局所的な安定性を決定する。

ラサールの不変原理

リアプノフ関数が単調非増加である場合、軌道はその導関数がゼロになる領域内の最大の不変集合に収束し、漸近安定性の結論を拡張する。

Clinical relevance

安定性解析は制御工学の基礎となっており、設計されたシステムが外乱後に動作点に戻ることを保証する。また、生態学的、生理学的、経済学的モデルにおける平衡点の持続性を説明する。

History

リアプノフの1892年の学位論文は、運動の安定性に関する一般理論を確立し、線形化と関数に基づく直接法の両方を導入した。ポアンカレによる平面系の定性的解析は幾何学的描像を提供し、20世紀半ばにはハートマン・グロブマンの定理とラサールの不変原理が追加された。

Key figures

• Aleksandr Lyapunov
• Henri Poincare
• Philip Hartman
• Joseph LaSalle

Seminal works

• perko2001
• khalil2002

Frequently asked questions

リアプノフ安定性と漸近安定性の違いは何ですか？

リアプノフ安定性とは、近傍の解が常に近傍に留まることを意味しますが、平衡点に近づく必要はありません。漸近安定性は、近傍の解が時間が経つにつれて実際に平衡点に収束するという要件を追加します。

線形化が安定性を決定できないのはどのような場合ですか？

線形化は、ヤコビアンが虚軸上に固有値を持たない双曲型平衡点においてのみ決定的です。純粋な中心のような境界的な非双曲型の場合、非線形項が安定性を決定することがあり、リアプノフ関数または中心多様体解析が必要となります。