查看“︁穩定性理論”︁的源代码

[[数学]]中的'''穩定性理論'''（Stability theory）是指[[微分方程]]的解以及[[动力系统|動態系統]]的軌跡在初始條件有小擾動時的穩定性。像[[熱傳導方程式]]就是穩定的偏微分方程，因為初始值的小擾動只會造成之後溫度的小幅變化（這是偏微分方程中{{link-en|最大值定理|maximum principle}}的結果）。在偏微分方程中可以用[[Lp空间|Lp範數]]或是sup範數來量測二個函數之間的距離，而在微分幾何中可以用{{link-en|Gromov–Hausdorff收斂|Gromov–Hausdorff convergence|Gromov–Hausdorff距離}}來量測二個空間之間的距離。

在動態系統中，{{link-en|軌道 (動態系統)|orbit (dynamics)|軌道}}為[[李雅普诺夫稳定性|李雅普诺夫稳定]]的條件是，在前進軌道上的任何一點，都會在夠小的鄰域中，或是會維持在小的鄰域內（也許會比原來的距離要遠一點）。為了判斷軌道的穩定性或是不穩定性，已發展出許多不同的準則。在較理想的情形下，此問題可以簡化成一個已有相當多研究，和[[矩阵]][[特征值]]有關的問題。另一種更通用的方式會用到[[李亞普諾夫函數]]。在實務上，會用到許多的[[稳定性判据]]。

[[File:Stability_Diagram.png|thumb|550px|穩定性圖]]

== 動態系統的簡介 ==
許多[[微分方程的質性理論]]以及動態系統的類似理論都在處理其解及軌跡的漸近性質－若經過足夠長的時間，系統會怎麼變化。最簡單的行為是[[平衡点]]（也稱為不動點）及[[周期点]]。若對特定的軌道已有相當的瞭解，很自然會問下一個問題：若初始條件有一些小變化，是否還會有相似的特性。穩定性理論就是要回答以下的問題：相鄰的軌道是否會持續保持相鄰？與一軌道相鄰的軌道最終是否會收斂到該軌道（後者的性質比較強）。前者的軌道有「穩定」的特性，後者的軌道有「漸近穩定」特性，最後收斂到的軌道有「吸引」（attracting）特性。

一個一階常微分方程的[[自治系统 (数学)|自治系統]]，其平衡解<math>f_e</math>的性質如下：
*平衡解為穩定，若針對每個（小的）<math>\epsilon > 0</math>，都存在<math>\delta > 0 </math>，使得每一個解<math>f(t) </math>都有滿足和平衡解距離在<math> \delta </math>內的初始條件（也就是<math> \| f(t_0) - f_e \| < \delta</math>），在所有時間<math> t \ge t_0 </math>內，其距離都維持在<math> \epsilon </math>內（也就是<math>\| f(t) - f_e \| < \epsilon</math>）。
*平衡解為漸近穩定，若此平衡解穩定，而且存在<math>\delta_0 > 0</math>，使得只要<math>\delta_0 > \| f(t_0) - f_e \| </math>，就可以得到<math>t \rightarrow \infty </math>時，<math>f(t) \rightarrow f_e </math>的結果。

穩定性代表在小的擾動下，其軌跡不會有太大的變化。不過也有另一種情形，與一軌道相鄰的軌道最終是否會遠離該軌道，有時情形下這也是受關注的特性。一般而言，從初始狀態往某一方向擾動，可能會趨近原來的軌道，往其他方向擾動，會遠離原來的軌道。也有可能有往某特定方向擾動時，軌道的行為比較複雜，既不趨近原來的軌道，也不遠離原來的軌道，此情形下，就無法用穩定性理論得到有關其動態的資訊。

穩定性理論中的一個基本概念是軌道在微擾下的質性特性可以用系統在軌道附近進行[[線性化]]來分析。在''n''維[[相空間]]的平滑動態系統的每個平衡點上，都存在''n'' x ''n''[[方块矩阵]]''A''其特徵值決定其鄰近點的行為（{{link-en|Hartman–Grobman定理|Hartman–Grobman theorem}}）。更準確的說法，若所有的特徵值都是負[[实数]]，或是實部為負的[[複數 (數學)|複數]]，其平衡點穩定，有吸引特性的不動點，鄰近的點會以[[指数衰减]]的速率趨近平衡點，也就是[[李雅普诺夫稳定性|李雅普诺夫稳定]]及[[指數穩定]]。若其特徵值沒有純虛數或是零，則系統會會趨近平衡點或遠離平衡點的擾動方向就和矩陣''A''的特徵空間，以及其對應特徵值的實數為正值或是負值有關。在一些更複雜的軌域中也有類似的擾動描述。

== 不動點的穩定性 ==
最簡單的軌道是不動點，也稱為平衡點。若一力學系統在穩定平衡點下，輕推一下之後，系統最終會回到原來的位置，像[[擺]]的小[[振荡]]即為此例。若是有[[阻尼比|阻尼]]的系統，穩定狀態會進一步形成漸進穩定。相反的，若是不穩定的平衡點，就像在山頂上的一個球，輕推一下可能就有大的位移，之後可能可以回到原始位置，也有可能無法收斂到原始位置。

有許多針對線性系統的穩定性測試方式，非線性系統的穩定性也可以透過其[[線性化]]系統的穩定性來判斷。
=== 映射 ===
令{{Math|''f'': '''R''' → '''R'''}}為[[光滑函数]]，存在一不動點{{Math|''a''}} {{Math|1=''f''(''a'') = ''a''}}。考慮由函數{{Math|''f''}}疊代產生的以下動態系統：

: <math> x_{n+1}=f(x_n), \quad n=0,1,2,\ldots.</math>

不動點{{Math|''a''}}穩定，若{{Math|''f''}}在{{Math|''a''}}點[[导数]]的絕對值嚴格小於1，不動點不穩定若導數嚴格大於1。這是因為在點{{Math|''a''}}附近，函數{{Math|''f''}}可以用斜率{{Math|''f'''(''a'')}}來進行[[线性近似]]：

: <math> f(x) \approx f(a)+f'(a)(x-a). </math>


: <math> \frac{x_{n+1}-a}{x_n-a}=\frac{f(x_n)-a}{x_n-a}
\approx \frac{f'(a)(x_n-a)}{x_n-a}=f'(a),</math>

意思是導數可以看出函數在疊代會趨近不動點{{Math|''a''}}或是遠離不動點，也可以看出疊代速率。若導數{{Math|''a''}}恰為1或−1，還需要其他的資訊來判斷穩定性。

在有不動點{{Math|''a''}}的連續可微分映射{{Math|''f'': '''R'''<sup>''n''</sup> → '''R'''<sup>''n''</sup>}}上，也有類似的判斷準則，用{{Math|''a''}}點的[[雅可比矩阵]]{{Math|''J''<sub>''a''</sub>(''f'')}}來表示。{{Math|''J''}}的所有特征值絕對值都嚴格小於1，則{{Math|''a''}}是穩定不動點，若至少有一個特征值絕對值嚴格大於1，則則{{Math|''a''}}是不穩定。若{{Math|''n''}}=1，最大絕對值為1，需要進一步分析，無法用雅可比矩阵測試來判斷。在[[微分流形]]上的[[微分同胚]]也有類似的準則。

=== 線性自治系統 ===
一階常係數[[线性微分方程]]不動點的穩定性可以用對應矩陣的[[特徵值]]來分析。

考慮以下的[[自治系统 (数学)|自治系统]]

:<math>x' = Ax,</math>

其中{{Math|''x''(''t'') ∈ '''R'''<sup>''n''</sup>}}，{{Math|''A''}}為{{Math|''n''×''n''}}的實數矩陣，有一個固定值的解

: <math>x(t)=0.</math>

（換句話說，原點{{Math|0 ∈ '''R'''<sup>''n''</sup>}}是此動態系統的平衡點）。此解在{{Math|''t'' → ∞}}（未來）漸近穩定若且唯若矩陣{{Math|''A''}}所有的特徵值{{Math|''λ''}}都滿足實部小於零的條件
（{{Math|[[复数 (数学)|Re]](''λ'') < 0}}）。而此解在{{Math|''t'' → −∞}}（過去）漸近穩定若且唯若矩陣{{Math|''A''}}所有的特徵值{{Math|''λ''}}都滿足實部大於零的條件（{{Math|Re(''λ'') > 0}}）。若有任何一個特徵值的實部大於零（{{Math|Re(''λ'') > 0}}），此解在{{Math|''t'' → ∞}}（未來）會發散。

為了判斷線性系統在原點的穩定性，此結果在實務上的應用會透過[[劳斯–赫尔维茨稳定性判据]]實現。矩陣的特徵值是其[[特徵多項式]]的根。單變數，實係數的多項式若其根的所有實部都為負，稱為[[赫爾維茨多項式]]。{{link-en|勞斯–赫爾維茨定理|Routh–Hurwitz theorem}}指出了赫爾維茨多項式的特點，可以在不實際找到所有根的情形下進行判斷。

=== 非線性的自治系統===
非線性系統不動點的漸近穩定性可以透過{{link-en|Hartman–Grobman定理|Hartman–Grobman theorem}}來判斷。

假設{{Math|''v''}}是{{Math|'''R'''<sup>''n''</sup>}}中的{{Math|''C''<sup>1</sup>}}-[[向量場]]，在點{{Math|''p''}}會為0（{{Math|1=''v''(''p'') = 0}}）。則對應的自治系統狀態m

:<math>x'=v(x)</math>

有一個定值的解

: <math> x(t)=p.</math>

令{{Math|''J''<sub>''p''</sub>(''v'')}}為向量場{{Math|''v''}}在點{{Math|''p''}}處的{{Math|''n''×''n''}}[[雅可比矩陣]]。若{{Math|''J''}}的所有特徵值實值都是非零的負數，則其解在該點附近是漸近穩定。可以用[[劳斯–赫尔维茨稳定性判据]]來測試此一條件。

== 通用動態系統的李亞普諾夫函數==
{{main|李亞普諾夫函數}}

要確認動態方程的李亞普諾夫穩定性或是漸近穩定性，有另一種更通用的方式，是透過[[李亞普諾夫函數]]。

== 相關條目 ==
* [[李雅普诺夫稳定性]]
* [[超穩定性]]
* {{link-en|線性穩定性|Linear stability}}
* [[軌道穩定性]]
* [[稳定性判据]]
* {{link-en|穩定半徑|Stability radius}}
* {{link-en|結構穩定性|Structural stability}}
* [[冯诺依曼稳定性分析]]

== 參考資料 ==
* {{cite web
|url        = http://www.scholarpedia.org/article/Stability 
|title      = {Stability
|website    = Scholarpedia
|editor     = Philip Holmes and Eric T. Shea-Brown
}}

== 外部連結 ==
* [http://demonstrations.wolfram.com/StableEquilibria/ Stable Equilibria] {{Wayback|url=http://demonstrations.wolfram.com/StableEquilibria/ |date=20210415185817 }} by Michael Schreiber, [[Wolfram 演示项目]]
{{控制理論}}
{{平衡}} 
{{Authority control}}

[[Category:稳定性理论| ]]
<!-- [[Category:Limit sets]] -->
[[Category:数理与定量方法 (经济学)]]