リヤプノフの安定判別法

リヤプノフの安定判別法は、リヤプノフの意味での安定性を判定する手法です. 手法は、 ・リヤプノフの第1法 ・リヤプノフの第2法/直接法 の二通りがあります.ここでは後者の方を用います.前者はシステムの解を得て解析する手法になります. このリヤプノフの安定判別法を用いることで得られる結果は十分条件であるため、安定であると言われた場合、システムは安定であると判定できる.しかし安定ではないと言われた場合にシステムが安定かどうかは確認する必要がある.

上記の図のように安定判定を行う. このとき局所的というのは「平衡点の近傍で」という意味. 安定 V(x)が局所的正値関数, V'(x)が局所的準負値関数 $$V(0) = 0,V(x) >0 $$ $$\dot{V}(0) = 0,\dot{V}(x) \leqq 0 $$ 漸近安定 V(x)が局所的正値関数, V'(x)が局所的負値関数 $$V(0) = 0,V(x) >0 $$ $$\dot{V}(0) = 0,\dot{V}(x) \lt 0 $$ 大域的漸近安定 V(x)が正値関数, V'(x)が負値関数 $$V(0) = 0,V(x) >0 $$ $$\dot{V}(0) = 0,\dot{V}(x) \lt 0 $$ 一様安定 V(x)が局所的正値関数で増加関数, V'(x)が局所準負値関数 $$V(0) = 0,V(x) >0 $$ $$\dot{V}(0) = 0,\dot{V}(x) \leqq 0 $$

$$V(x) = \frac{x_1^2 + x_2^2}{2}$$ $$\dot{x_1} = x_2 $$ $$\dot{x_2} = -x_2-x_1 $$ のような場合、まず いかなるxに対しても\(V(x)>0\)のためこの関数は正定値関数となっている. また $$\dot{V}(x) = \frac{2\dot{x_1}x_1+2\dot{x_1}x_1}{2} = -x_2^2 \leqq 0$$ とかけるため\(\dot{V}(x)\)は安定と言える