リアプノフの安定判別法において、リアプノフ関数 V(x) が正定で、その時間微分 dV/dt が負定であるとき、システムはどう判定されるか。

エネルギーに相当する関数が常に減少し続けるため、状態は平衡点に収束(漸近安定)する。