リャプノフ安定は、微分方程式（特に力学系や制御系）の解が「どれだけ乱れてもあるふうに落ち着くか」を、解を厳密に求めることなく判定するための強力な道具です。名前の由来どおり、中心にいるのはリャプノフ（Aleksandr Lyapunov）の発想で、「エネルギーのような量」を考え、その量が時間とともにどう振る舞うかを調べることで安定性を結論づけます。ここで重要なのは、対象が線形か非線形か、解析的に解けるかどうかにあまり依存せず、むしろ“ある関数をうまく作れたかどうか”に本質がある点です。そのためリャプノフ安定は、数学的な厳密さと工学的な設計の現実性の両方を持つテーマとしてとても魅力的です。
まず、安定性とは何でしょうか。簡単に言うと、ある平衡状態（たとえば原点）から初期状態が十分近いとき、解がその近傍から離れない、あるいは最終的にその平衡に近づく、という性質です。リャプノフ安定はこの「離れなさ」「近づき」の程度を、位相的・力学的な意味で分類します。一般に、平衡点を (x=0) としたとき、方程式が
[
dot x = f(x)
]
の形だとします（ここで (f) は十分滑らかなどの条件を満たすとします）。このとき「安定」とは、任意の許容距離 (varepsilon) に対して、十分小さい初期ずれ (delta) を選べば、以後ずっと解が (varepsilon) の範囲にとどまることです。さらに「漸近安定」では、最終的にその平衡へ吸い込まれることが要求されます。要するに、安定性は“永続性”の性質であり、漸近安定性は“収束性”の性質でもあります。
この性質を判定するために、リャプノフは次のような方針を採りました。平衡点からのずれを測る“スカラー関数” (V(x)) を考えるのです。これはしばしば、物理のエネルギーに似た概念として理解されます。つまり (V(x)) は (x=0) で最小になり、そこから離れるほど値が大きくなる（少なくとも正で、原点以外では0にならない）ように選びます。この「正定値性」は、距離の代替になるという意味でとても重要です。単に距離そのものではなくてもよいのですが、少なくとも「平衡点から離れると (V) が増える」という構造が必要になります。
次に見るべきは、時間の経過に伴う (V) の変化、つまり (dot V(x)=frac{d}{dt}V(x(t))) です。連鎖律により (dot V) は (x) の関数として書けます。リャプノフ安定の核心は、(dot V) がどの符号を持つか、そしてどれくらい強く負になるか（あるいはゼロにとどまるか）で結論が変わる点にあります。たとえば (dot V(x)le 0) が成り立てば、(V(x(t))) は時間とともに減少しない、つまり増えない。すると「“エネルギー”が増えない」ので、平衡から離れるための“勢い”が持てない、という直感が得られます。これが安定性へつながります。さらに (dot V(x)) が負定値（つまり原点以外では常に厳密に負）なら、「時間とともに必ずエネルギーが落ちる」ので、最終的には原点に収束する、という漸近安定性が得られます。
ここで面白いのは、リャプノフ関数 (V) の候補をどう見つけるかが、多くの場合“創造”を伴うという点です。ただ、創造といっても完全にブラックボックスではありません。線形系なら二次形式 (V(x)=x^top P x) が自然に現れやすいですし、物理系ならエネルギーや運動量からヒントが得られます。制御理論では、設計されたフィードバック入力に応じて閉ループ系の力学が変わるため、それに合うような (V) を作ることで安定性を保証します。つまりリャプノフ安定は「解析の道具」であると同時に「設計の道具」でもあり、制御工学の文脈では閉ループ安定化の中心技術になっているわけです。
また、リャプノフ安定は“関数解析”のように見えて、実は“幾何”の匂いが強い理論でもあります。等位曲線 (V(x)=c) は「同じエネルギーレベルの等高線」を表し、時間発展に沿って (V) がどう変化するかは、軌道がこれらの等高線のどちら向きに流れるか、という話になります。(dot Vle 0) は「軌道が等高線から外へは出にくい」ことを意味し、(dot V<0) は「外へは出られないだけでなく、等高線の内側へ進む圧力が常にある」ことを意味します。この幾何学的な解釈は、直感を与えるだけでなく、証明の構造（不変集合や軌道の閉じ込み）とも結びつきます。
さらに、リャプノフ安定のもう一つの魅力は、単に「安定かどうか」だけでなく、「どれくらいの範囲が保証できるか」という見通しが得られることです。たとえば (V(x)) のレベル集合 ({x: V(x)le c}) を考えると、(dot Vle 0) のもとでは、その集合に解が閉じ込められる性質が現れます。すると安定領域（推定）を与えられるので、工学的には「初期誤差がこの程度なら安全」という結論が得やすくなります。より高度な話としては、(dot V) の評価を工夫して領域を広げたり、保存則や対称性がある場合にはより繊細な議論（不変集合に対するLaSalleの不変性原理）で収束性を確かめることもあります。これらはリャプノフの方法を一段洗練させた形とみなせます。
まとめると、リャプノフ安定が興味深いのは、「平衡点の周りで何が起きるか」を、軌道そのものを解かずに、エネルギー様の関数とその時間微分の符号で読み解くという発想にあります。安定性は“逃げない”こと、漸近安定性は“最終的に戻る”ことですが、その両方を自然に支えるのが (dot V) の減少性です。しかも、適切な (V) を見つけられれば、非線形系でも強い結論を与えます。ここに、数学的な抽象度と実際の役に立つ力の両立があり、リャプノフ安定は研究でも教育でも繰り返し登場する、いわば力学と制御の共通言語になっています。