リアプノフ安定のソースを表示

[[力学系]]の[[平衡点]]の近傍から出発する軌道が平衡点の近くに留まり続けるとき、その平衡点は'''リアプノフ安定'''（リアプノフあんてい、{{lang-en-short|Lyapunov stable}}）であるという<ref name="Wiggins_9">{{cite book|和書 |author=Stephen Wiggins |others = 丹羽敏雄（監訳） |translator=今井桂子・田中茂・水谷正大・森真 |title=非線形の力学系とカオス（上） |publisher=シュプリンガー・フェアラーク東京 |year=1992 |edition=初版 |isbn=4-431-70630-5 |page=9}}</ref>{{Sfn|Strogatz|2015|p=141}}。

==定義==
[[File:Illustration of Stability.png|class=skin-invert-image|thumb|2次元相空間（相図）上でのリアプノフ安定の概念図]]
次のような常微分方程式系が与えられるとき、
:<math>\frac{dX}{dt} = f(X),\ X=\{x_1,\ x_2,\ x_3, \cdots \}</math>
全ての時間 ''t'' について ''f''(''X<sub>e</sub>'') = 0 を満たす点 ''X<sub>e</sub>'' を[[平衡点]]と呼ぶ{{Sfn|Strogatz|2015|p=19}}。初期点 ''X''<sub>0</sub> を通る系の解軌道を ''X''(''t'') と表すとする。リアプノフ安定は次のように定義される。

平衡点 ''X<sub>e</sub>'' の任意の[[近傍 (位相空間論)|近傍]] ''N'' に対して、''N'' に含まれる ''X<sub>e</sub>'' の近傍 ''N''<sub>1</sub> がとれて、''N''<sub>1</sub>に属する初期点 ''X''<sub>0</sub> の軌道 ''X''(''t'') が全ての ''t'' ≥  0において ''N'' に含まれるとき、''X<sub>e</sub>'' は'''リアプノフ安定'''であるという<ref name="Alligood_105">{{cite book |和書 |author=Kathleen T. Alligood, Tim D. Sauer, James A. Yorke |translator =星野高志・阿部巨仁・黒田拓・松本和宏 |others=津田一郎（監訳） |editor=シュプリンガー・ジャパン |title=カオス　第2巻　力学系入門 |publisher=丸善出版 |year=2012 |isbn=978-4-621-06279-1 |page=105}}</ref><ref name="Hirsch_180">{{cite book |和書|author=Morrus W. Hirsch・Stephen Smale・Robert L. Devaney |translator=桐木紳・三波篤朗・谷川清隆・辻井正人 |title=力学系入門　原著第2版―微分方程式からカオスまで |publisher=共立出版 |edition=初版 |year=2007 |isbn=978-4-320-01847-1 |page=180}}</ref><ref name="矢野_208">{{cite book |和書 |author=矢野公一|title=力学系2 |series=岩波講座　現代数学の基礎15 |publisher=岩波書店 |year=1998 |isbn=4-00-010645-7 |page=208}}</ref>。

別の表現では、任意の ''&epsilon;'' > 0 に対して ''&delta;'' > 0が存在し、
:<math> \|X_0 - X_e\|<\delta</math>
ならば、全ての ''t'' ≥  0において、
:<math>\|X(t) - X_e\|<\epsilon</math>　
であるならば、''X<sub>e</sub>'' はリアプノフ安定である{{Sfn|Strogatz|2015|p=155}}。

このような安定性を単に「安定」と呼ぶ場合もある<ref name="Hirsch_180"/>。ただし、他にも安定性の考え方が存在するので、このような条件を満たすことによる安定性を「リアプノフの意味で安定」という場合もある<ref>{{cite book|和書 |author=上田睆亮 |title=カオス現象論 |series=現代非線形科学シリーズ12 |publisher=コロナ社 |year=2008 |edition=初版 |isbn=978-4-339-02611-5 |pages=28-29}}</ref><ref name="矢野_208"/>。

==漸近安定==
リアプノフ安定の条件だけでは、平衡点近傍から出発する軌道は、時間推移しても平衡点に対して付かず離れずの状態を保つ場合がある。リアプノフ安定の条件に、''t'' → ∞ で平衡点 ''X<sub>e</sub>'' に収束するという条件を付け加わえる場合、''X<sub>e</sub>'' は'''漸近安定'''（{{lang-en-short|asymptotically stable}}）であるという{{Sfn|Strogatz|2015|p=142}}。すなわち、リアプノフ安定の条件を満たし、なおかつ、''b'' > 0が存在し、
:<math> \|X_0 - X_e\|<b </math>
ならば、
:<math>\lim_{t \to \infty}\|X(t) - X_e \|=0</math>　
であるならば、''X<sub>e</sub>'' は漸近安定である<ref name="Wiggins_9"/>。漸近安定であることを単に「安定」という場合もある{{Sfn|Strogatz|2015|p=142}}。

さらに、解軌道の初期値を平衡点 ''x''* の近傍に限定せず、全ての解軌道が平衡点に収束する場合、''x''* は'''大域的に漸近安定'''という<ref name="Alligood_105"/>。

== 脚注 ==
{{Reflist}}

==参考文献==
*{{cite book ja-jp 
|author=Steven H. Strogatz
|translator=田中久陽・中尾裕也・千葉逸人
|title=ストロガッツ　非線形ダイナミクスとカオス―数学的基礎から物理・生物・化学・工学への応用まで
|publisher=[[丸善出版]]
|year=2015
|isbn=978-4-621-08580-6
|ref={{Sfnref|Strogatz|2015}}
}}

== 関連項目 ==
*[[アレクサンドル・リアプノフ]]
*[[安定多様体]]
*[[状態空間 (制御理論)]]

{{Normdaten}}
{{DEFAULTSORT:りあふのふあんてい}}
[[Category:力学系]]
[[Category:アレクサンドル・リャプノフ]]
[[Category:数学に関する記事]]
[[Category:数学のエポニム]]