Lyapunov function
From Scholarpedia
| This article does not have authors yet. It has not been peer-reviewed or accepted for publication. | ||||||||||||||||||||
[edit]
Definition
Consider a differentiable vectorfield
,
, defined on a complete metric space
A differentiable function
, defined on an open subset
is called a Lyapunov function for
on
if the inequality:
is satisfied for all
.
defined as above is called the orbital differential of
at
.
In other words, a Lypunov function is decreasing along the orbits of points in
that are introduced by the flow corresponding to the vectorfield
.
