リアプノフ関数

リアプノフ関数 ()は、ロシアの数学者であるアレクサンドル・リアプノフにちなんで命名された関数であり、数学において、力学系や自励系を成す常微分方程式系 (以下、単に自励系と呼ぶ) における不動点の安定性を証明するために用いられる。安定性理論や制御理論において非常に重要な数学的ツールとなっている。なお、リアプノフ関数は前もって一般的な定義が定められているわけではなく、対象となる常微分方程式系と平衡点が与えられた場合に、後述するようなある性質を満たす関数をその系および平衡点のリアプノフ関数と呼ぶのである。これと同様の概念がマルコフ連鎖における一般状態空間でも現れ、この場合は通常リアプノフ-フォスター関数と呼ばれる。

リアプノフ関数の意味 
ある平衡点の安定性を証明できる可能性のある関数をリアプノフ候補関数と呼ぶ。リアプノフ候補関数を構成する、あるいは見出す一般的な方法は存在しない。また、リアプノフ(候補)関数を見つけることができないという事実が安定性の欠如を確定するものでもない。つまり、リアプノフ関数を見つけることができないということは、そのシステムが不安定ということを意味しない。力学系においては、保存則がリアプノフ候補関数を構成する上で多用される。

リアプノフ(候補)関数に直接関係している、自励系に関するリアプノフの基礎定理は、自励系の平衡点の安定性を証明する上で有用なツールである。

ただし、自励系に関するリアプノフの基礎定理は平衡点の安定性を証明するための十分条件を与えるツールであるが、必要条件を与えるものではないことに十分注意する必要がある。ある平衡点に対してリアプノフ関数を見出すことは運によると言える。ある平衡点に対するリアプノフ候補関数のテストは、試行錯誤によることになる。同程度に安定な領域は、たいてい2次元平面上で曲線をたどるので、コンピューターによって描かれるリアプノフ指数のイメージは視覚的に魅力的で非常にポピュラーである。

自励系の平衡点の定義 

を任意の自励系とする。

となる点 を平衡点 (equilibrium) と呼ぶ。

なお、ここで座標変換  を行えば、

となり、新しい座標系では  は原点に平衡点を持つとできるので、以降論議を簡単にするために、平衡点は原点にあるものとする。

リアプノフ(候補)関数の定義 

を連続微分可能な実数値関数とする。
 が、原点  において局所的に正値関数である場合、リアプノフ候補関数と呼ぶ。ここで、 が原点において局所的に正値関数であるとは、  のある近傍  において、

が成り立つこととする。 が正値関数であるという条件は、

ということを保証する。なぜならば、この値が負になるためには、 内に  となる点  が存在しなければ不可能だからである。一方、  とおけば確かに  は原点において局所的に正値関数であるが、 となるので、上式の値が  の場合もあり得ることが分かる。

また、

を原点に平衡点を持つ自励系とし、 をその自励系の原点についてのリアプノフ候補関数とすると、自励系の任意の解  に沿って(以降、パラメーター  を時刻と見なすこととする)  の時間微分は次のようになる。

自励系であれば  の値は  に無関係に  だけで決まるので、  を  の関数と見なして良いことを注意しておく。

リアプノフ候補関数がさらに下記に述べるような諸条件を満たす場合、リアプノフ関数と呼ぶ。

自励系に関するリアプノフの基礎定理 

リアプノフ安定な平衡点、漸近的に安定な平衡点についての定義はリアプノフ安定の項を参照のこと。

を原点に平衡点を持つ自励系とし、 を原点についてのリアプノフ候補関数とする。

リアプノフ安定な平衡点
もし、 のある近傍  で  が 局所的に正値関数であり、さらに  が局所的に準負値関数であれば、つまり

であれば、その平衡点はリアプノフ安定である。

漸近安定な平衡点 
もし、 のある近傍  で  が 局所的に正値関数であり、さらに  が局所的に負値関数であれば、つまり

であれば、その平衡点は漸近安定である。

大域的に漸近的に安定な平衡点 
もし、 が (定義域に渡って) 大域的に正値関数であり、動径方向に極限値を持たず、さらに  が大域的に負値関数であれば、つまり

であれば、その平衡点は大域的に漸近安定である。

ここで、正値関数  が動径方向に極限値を持たない (radially unbounded) とは、

が成り立つことを言う (これは norm-coercivity とも呼ばれる)。この対偶を取ると、

となるので、自励系の任意の解   に沿って  が任意の時刻  で有限値を取ることが言えれば、 も有限値を取ることが言える。
また、平衡点が大域的に漸近安定であるとは、自励系の任意の解  が平衡点に収束することを言う。

例 
 における次のような常微分方程式を考える。

この場合、速度ベクトルは常に原点の方向を向く。従って原点からの距離は、時刻と共に減少することになるので、これはリアプノフ関数の自然な候補となる。 上で   と置けば、

これは確かに原点が漸近的に安定でことを示している。

関連項目 
 常微分方程式
 リアプノフ安定
 制御理論
 不動点

参考文献

外部リンク
 Example of determining the stability of the equilibrium solution of a system of ODEs with a Lyapunov function
 Some Lyapunov diagrams

力学系
制御理論
アレクサンドル・リャプノフ
数学に関する記事