Lyapunov's second theorem states that if all the eigenvalues of a real matrix have negative real
parts, then to an arbitrary negative definite quadratic
form
with
there corresponds a positive definite
quadratic form
such that if one takes
then
and
satisfy