ラプノフ関数の数学的ツールと安定性基準