Suppose we are given an [[autonomous system]] of [[first order differential equation]]s.
dx/dt=F(x,y) dy/dt=G(x,y)
Let the origin be an [[isolated critical point]] of the above system.
A [[function]] V(x,y) that is of class C<sup>1</sup> and satisfies V(0,0)=0 is called a '''Liapunov function''' if every [[open ball]] B<sub>d<\math><\sub>(0,0) contains at least one [[point]] where V>0. If there happens to exist d<sup>*</sup> such that the function '''.'''{V}, given by