гладкая функция V {\textstyle V} на шаре B ρ {\textstyle B_{\rho }} , такая, что:
1) V ( 0 ) = 0 , V ( x ) > 0 {\textstyle V(0)=0,\quad V(x)>0} для любого x ∈ B ρ ∖ { 0 } {\textstyle x\in B_{\rho }\backslash \{0\}}
2) V ˙ ( x ) = ⟨ ∂ V ∂ x , v ⟩ ≤ 0 {\textstyle {\dot {V}}(\mathbf {x} )=\left\langle {\frac {\partial V}{\partial \mathbf {x} }},\mathbf {v} \right\rangle \leq 0} для любого x ∈ B ρ {\textstyle x\in B_{\rho }}