===Stable equilibrium===If the Lyapunov-candidate-function formula_2 is locally positive definite and the time derivative of the Lyapunov-candidate-function is locally negative semidefinite::formula_20for some neighborhood formula_21 of formula_22, then the equilibrium is proven to be stable.
Если кандидат-функция Ляпунова formula_2 является локально положительной и производная по времени является локально неположительной:: formula_20в некоторой окрестности formula_21 точки formula_22, тогда точка равновесия является устойчивой.