Lyapunov function: Difference between revisions

Content deleted Content added
top: biographical details can be looked up in target article; fix grammar
Add an oxford comma to improve statement clarity
Line 42:
 
===Locally asymptotically stable equilibrium===
If the equilibrium is isolated, the Lyapunov-candidate-function <math>V</math> is locally positive definite, and the time derivative of the Lyapunov-candidate-function is locally negative definite:
:<math>\dot{V}(x) < 0 \quad \forall x \in \mathcal{B}\setminus\{0\}</math>
for some neighborhood <math>\mathcal{B}</math> of origin then the equilibrium is proven to be locally asymptotically stable.