条件。否则，formula_46可以用来「证明」 formula_47有区域性稳定。另一个称为径向无界性（radial unboundedness）的条件则是用来得到全域渐近稳定的结果。此种分析方式可类比为考虑一物理系统（如弹簧及质量的系统）及其中的能量。若系统能量随时间递减，且减少的能量不会恢复，而此系统最后一定会静止于某个特定的状态。最后的状态称为吸引子。不过针对一个物理系统，找到表达其精确能量的函数不一定容易，而且针对抽象数学系统、经济系统或生物系统，上述能量的概念又不一定适用。利用李雅普诺夫