动力系统（可能是非线性系统）李雅普诺夫稳定性的判断准则。
全域稳定性版本.考虑以下方程式的系统其中formula_2为符合以下条件的变数向量若可以找到formula_4 函数 formula_5，使下式成立则任何轨迹中聚点（accumulation point）的集合都在formula_8内， formula_8是其完整轨迹完全在formula_10集合的联集。若formula_11函数又有正定的性质，即而且formula_8除了formula_16 for fo