リアプノフ関数による漸近安定の可視化