>>113
Vをリヤプノフ関数とすると…
V(x)>0
V(0)=0
dV/dt<0
を満たす

でしょうか?