更改

If the Lyapunov-candidate-function <math>V</math> is globally positive definite, radially unbounded, the equilibrium isolated and the time derivative of the Lyapunov-candidate-function is globally negative definite:

If the Lyapunov-candidate-function <math>V</math> is globally positive definite, radially unbounded, the equilibrium isolated and the time derivative of the Lyapunov-candidate-function is globally negative definite:

如果李雅普诺夫候选函数数学<math>V</math> 是全局正定、径向无界的，并且李雅普诺夫候选函数的平衡点是孤立的以及时间导数是全局负定的：

如果李雅普诺夫候选函数数学<math>V</math> 是全局正定、径向无界的，平衡点是孤立的并且李雅普诺夫候选函数的时间导数是全局负定的：

:<math>\dot{V}(x) < 0 \quad \forall x \in \R ^n\setminus\{0\},</math>

:<math>\dot{V}(x) < 0 \quad \forall x \in \R ^n\setminus\{0\},</math>