with an equilibrium point at <math>y=0</math> is a scalar function <math>V:\R^n\to\R</math> that is continuous, has continuous first derivatives, is locally positive-definite, and for which <math>-\nabla{V}\cdot g</math> is also locally positive definite. The condition that <math>-\nabla{V}\cdot g</math> is locally positive definite is sometimes stated as <math>\nabla{V}\cdot g</math> is locally negative definite. | with an equilibrium point at <math>y=0</math> is a scalar function <math>V:\R^n\to\R</math> that is continuous, has continuous first derivatives, is locally positive-definite, and for which <math>-\nabla{V}\cdot g</math> is also locally positive definite. The condition that <math>-\nabla{V}\cdot g</math> is locally positive definite is sometimes stated as <math>\nabla{V}\cdot g</math> is locally negative definite. |