リアプノフ安定
力学系の平衡点の近傍から出発する軌道が平衡点の近くに留まり続けるとき、その平衡点はリアプノフ安定（リアプノフあんてい、英: Lyapunov stable）であるという[1][2]。
定義
次のような常微分方程式系が与えられるとき、
- [math]\frac{dX}{dt} = f(X),\ X=\{x_1,\ x_2,\ x_3, \cdots \}[/math]
全ての時間 t について f(Xe) = 0 を満たす点 Xe を平衡点と呼ぶ[3]。初期点 X0 を通る系の解軌道を X(t) と表すとする。リアプノフ安定は次のように定義される。
平衡点 Xe の任意の近傍 N に対して、N に含まれる Xe の近傍 N1 がとれて、N1に属する初期点 X0 の軌道 X(t) が全ての t ≥ 0において N に含まれるとき、Xe はリアプノフ安定であるという[4][5][6]。
別の表現では、任意の ε > 0 に対して δ > 0が存在し、
- [math] \|X_0 - X_e\|\lt \delta[/math]
ならば、全ての t ≥ 0において、
- [math]\|X(t) - X_e\|\lt \epsilon[/math]
であるならば、Xe はリアプノフ安定である[7]。
このような安定性を単に「安定」と呼ぶ場合もある[5]。ただし、他にも安定性の考え方が存在するので、このような条件を満たすことによる安定性を「リアプノフの意味で安定」という場合もある[8][6]。
漸近安定
リアプノフ安定の条件だけでは、平衡点近傍から出発する軌道は、時間推移しても平衡点に対して付かず離れずの状態を保つ場合がある。リアプノフ安定の条件に、t → ∞ で平衡点 Xe に収束するという条件を付け加わえる場合、Xe は漸近安定（英: asymptotically stable）であるという[9]。すなわち、リアプノフ安定の条件を満たし、なおかつ、b > 0が存在し、
- [math] \|X_0 - X_e\|\lt b [/math]
ならば、
- [math]\lim_{t \to \infty}\|X(t) - X_e \|=0[/math]
であるならば、Xe は漸近安定である[1]。漸近安定であることを単に「安定」という場合もある[9]。
さらに、解軌道の初期値を平衡点 x* の近傍に限定せず、全ての解軌道が平衡点に収束する場合、x* は大域的に漸近安定という[4]。
脚注
- ↑ 1.0 1.1 Stephen Wiggins 『非線形の力学系とカオス（上）』 丹羽敏雄（監訳）、今井桂子・田中茂・水谷正大・森真訳、シュプリンガー・フェアラーク東京、1992年。ISBN 4-431-70630-5。
- ↑ Strogatz 2015, p. 141.
- ↑ Strogatz 2015, p. 19.
- ↑ 4.0 4.1 Kathleen T. Alligood, Tim D. Sauer, James A. Yorke 『カオス 第2巻 力学系入門』 シュプリンガー・ジャパン、津田一郎（監訳）、星野高志・阿部巨仁・黒田拓・松本和宏訳、丸善出版、2012年。ISBN 978-4-621-06279-1。
- ↑ 5.0 5.1 Morrus W. Hirsch・Stephen Smale・Robert L. Devaney 『力学系入門 原著第2版―微分方程式からカオスまで』 桐木紳・三波篤朗・谷川清隆・辻井正人訳、共立出版、2007年、初版。ISBN 978-4-320-01847-1。
- ↑ 6.0 6.1 矢野公一 『力学系2』 岩波書店〈岩波講座 現代数学の基礎15〉、1998年。ISBN 4-00-010645-7。
- ↑ Strogatz 2015, p. 155.
- ↑ 上田睆亮 『カオス現象論』 コロナ社〈現代非線形科学シリーズ12〉、2008年、初版、28-29。ISBN 978-4-339-02611-5。
- ↑ 9.0 9.1 Strogatz 2015, p. 142.
参考文献
- Steven H. Strogatz、田中久陽・中尾裕也・千葉逸人（訳）、2015、『ストロガッツ 非線形ダイナミクスとカオス―数学的基礎から物理・生物・化学・工学への応用まで』、丸善出版 ISBN 978-4-621-08580-6