李亞普諾夫函數

李雅普诺夫函数（Lyapunov function）是用來證明一動力系統或自治微分方程穩定性的函數，得名於俄罗斯數學家亞歷山大·李亞普諾夫（Александр Михайлович Ляпунов），在动力系统穩定性理論及控制理論中相當重要。相似的概念见于一般状态空间马尔科夫链理论中，通常称为福斯特-李雅普诺夫函数（Foster–Lyapunov function）。
若一函數可能可以證明系統在某平衡點的穩定性，此函數稱為李亞普諾夫候選函數（Lyapunov-candidate-function）。不過目前還找不到一般性的方式可建構（或找到）一個系統的李亞普諾夫候選函數，而找不到李亞普諾夫函數也不代表此系統不穩定。不过，Cem Civelek教授根据公式类型给出了一种在自主情形下使用最一般形式构建常微分方程李雅普诺夫函数的系统方法。很多时候李雅普诺夫函数的构造是已知的，例如有许多应用数学家认为，无法构建耗散陀螺系统的李雅普诺夫函数。但C. Civelek和Ö. Cihanbegendi指出，根据上述文献的说法，可以给这样的系统构建李雅普诺夫函数。另外，二次函数足以用于单态系统；特定线性矩阵不等式之解为线性系统提供了李雅普诺夫函数。在動態系統中，有時會利用守恆律來建構李亞普諾夫候選函數。

針對自治系統的李亞普諾夫定理，直接使用李亞普諾夫候選函數的特性。在尋找一個系統平衡點附近的穩定性時，此定理是很有效的工具。不過此定理只是一個證明平衡點穩定性的充分條件，不是必要條件。而尋找李亞普諾夫函數也需要碰運氣，通常會用試誤法（trial and error）來尋找李亞普諾夫函數。

李亞普諾夫候選函數的定義
令

為純量函數。 
若要為李亞普諾夫候選函數，函數需為局部正定函數，亦即

其中  是  的鄰域。

系統平衡點的轉換

令

為一個自治的動態系統，其平衡點為:

可利用 的座標轉換，使得

在新的系統  中，其平衡點為原點。

若系統的平衡點不是原點，可用上述的方式，轉換為另一個平衡點為原點的系統，因此以下的說明中，均假設原點是系統的平衡點。

自治系統的基本李亞普諾夫定理

令

為以下自治系統的平衡點

且令

為李亞普諾夫候選函數的時間導數。

穩定平衡點
若在平衡點的鄰域，李亞普諾夫候選函數為正定，且其時間導數半負定：

則此平衡點為一穩定的平衡點。

局部漸近穩定平衡點
若在平衡點的鄰域，李亞普諾夫候選函數為正定，且其時間導數為負定：

則此平衡點為一局部漸近穩定的平衡點。

全域漸近穩定平衡點
若李亞普諾夫候選函數為全域正定，其時間導數為全域負定：

且滿足以下的條件（稱為「徑向無界」 radially unbounded）：
.
則此平衡點為一全域漸近穩定的平衡點。

參見
 常微分方程
 控制李亞普諾夫函數

參考資料
 
 
  
 李亞普諾夫穩定性的理論可延伸到許多領域，尤其是隨機微擾的非線性系統: S. P. Meyn and R. L. Tweedie. Markov Chains and Stochastic Stability. London: Springer-Verlag, 1993. ISBN 0-387-19832-6. online: https://web.archive.org/web/20071012194420/http://decision.csl.uiuc.edu/~meyn/pages/book.html . Second edition to appear, Cambridge University Press, 2009.

外部連結
 Example 利用李雅普諾夫函數判別常微分方程平衡點穩定性的一些例子
 Some Lyaponov diagrams

控制论