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