查看“︁李亞普諾夫函數”︁的源代码

{{NoteTA
|T=zh-cn:李雅普诺夫函数;zh-hk:李亞普諾夫函數;zh-tw:李亞普諾夫函數;
|1=zh-cn:李雅普诺夫函数;zh-hk:李亞普諾夫函數;zh-tw:李亞普諾夫函數;
|2=zh-cn:李雅普诺夫;zh-hk:李亞普諾夫;zh-tw:李亞普諾夫;
|G1=Math
}}
'''李雅普诺夫函数'''（'''Lyapunov function'''）是用來證明一[[動力系統]]或自治[[微分方程]]穩定性的函數，得名於[[俄罗斯]][[數學家]][[亞歷山大·李亞普諾夫]]，在动力系统[[穩定性理論]]及[[控制理論]]中相當重要。相似的概念见于一般状态空间[[马尔科夫链]]理论中，通常称为福斯特-李雅普诺夫函数（Foster–Lyapunov function）。

若一函數可能可以證明系統在某平衡點的穩定性，此函數稱為'''李亞普諾夫候選函數'''（'''Lyapunov-candidate-function'''）。不過目前還找不到一般性的方式可建構（或找到）一個系統的李亞普諾夫候選函數，而找不到李亞普諾夫函數也不代表此系統不穩定。不过，Cem Civelek教授根据公式类型给出了一种在自主情形下使用最一般形式构建常微分方程李雅普诺夫函数的系统方法。很多时候李雅普诺夫函数的构造是已知的，例如有许多应用数学家{{Citation needed|date=July 2023|reason=who?}}认为，无法构建耗散陀螺系统的李雅普诺夫函数。但C. Civelek和Ö. Cihanbegendi指出，根据上述文献的说法，可以给这样的系统构建李雅普诺夫函数。另外，[[二次函数]]足以用于单态系统；特定[[线性矩阵不等式]]之解为线性系统提供了李雅普诺夫函数。在[[動態系統]]中，有時會利用[[守恆律]]來建構李亞普諾夫候選函數。

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

==李亞普諾夫候選函數的定義==
令
:<math>V:\mathbb{R}^n \to \mathbb{R}</math>
為[[标量 (数学)|純量]]函數。 <br>
若要<math>V</math>為李亞普諾夫候選函數，函數<math>V</math>需為局部[[正定函數 (實值連續可微函數)|正定函數]]，亦即

:<math>V(0) = 0 \,</math>
:<math>V(x) > 0 \quad \forall x \in U\setminus\{0\}</math>

其中 <math>U</math> 是 <math>x = 0</math> 的[[鄰域]]。

==系統平衡點的轉換==

令
:<math>g : \mathbb{R}^n \to \mathbb{R}^n</math>
:<math>\dot{y} = g(y) \,</math>
為一個[[自治系统_(数学)|自治]]的[[動態系統]]，其平衡點為<math>y^* \,</math>:
:<math>0 = g(y^*) \,</math>

可利用<math>x = y - y^* \,</math> 的座標轉換，使得
:<math>\dot{x} = g(x + y^*) = f(x) \,</math>
:<math>0 = f(x^*) \quad \Rightarrow \quad x^* = 0 \,</math>

在新的系統 <math>f(x)</math> 中，其平衡點為原點。

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

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

:{{main|李亞普諾夫穩定性}}

令
:<math>x^* = 0 \,</math>
為以下自治系統的平衡點
:<math>\dot{x} = f(x) \,</math>

且令
:<math>\dot{V}(x) = \frac{\partial V}{\partial x} \frac{dx}{dt} = \nabla V  \dot{x} = \nabla V f(x)</math>
為李亞普諾夫候選函數<math>V</math>的時間導數。

===穩定平衡點===
若在平衡點的鄰域<math>\mathcal{B}</math>，李亞普諾夫候選函數<math>V</math>為正定，且其時間導數半負定：
:<math>\dot{V}(x) \le 0 \quad \forall x \in \mathcal{B}</math>
則此平衡點為一穩定的平衡點。

===局部漸近穩定平衡點===
若在平衡點的鄰域<math>\mathcal{B}</math>，李亞普諾夫候選函數<math>V</math>為正定，且其時間導數為負定：
:<math>V(x) > 0, \dot{V}(x) < 0 \quad \forall x \in \mathcal{B}\setminus\{0\}</math>
則此平衡點為一局部漸近穩定的平衡點。

===全域漸近穩定平衡點===
若李亞普諾夫候選函數<math>V</math>為全域正定，其時間導數為全域負定：
:<math>V(x) > 0, \dot{V}(x) < 0 \quad \forall x \in \mathbb{R}^n\setminus\{0\},</math>
且<math>V</math>滿足以下的條件（稱為「徑向無界」 radially unbounded）：
:<math>\| x \| \to \infty  \Rightarrow V(x) \to \infty </math>.
則此平衡點為一全域漸近穩定的平衡點。

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

==參考資料==
* {{mathworld|urlname=LyapunovFunction|title= Lyapunov Function}}
* {{cite book
 | author = Khalil, H.K.
 | year = 1996
 | title = Nonlinear systems
 | publisher = Prentice Hall Upper Saddle River, NJ
 | isbn = 
}}
* {{planetmath|urlid=lyapunovfunction|title=Lyapunov function}} 
* 李亞普諾夫穩定性的理論可延伸到許多領域，尤其是隨機微擾的非線性系統: 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.

==外部連結==
* [https://web.archive.org/web/20110926230621/http://www.exampleproblems.com/wiki/index.php/ODELF1 Example] 利用李雅普諾夫函數判別常微分方程平衡點穩定性的一些例子
* [https://web.archive.org/web/20190316053348/http://www.efg2.com/Lab/FractalsAndChaos/Lyapunov.htm Some Lyaponov diagrams]

[[category:控制论]]