Lyapunov's second theorem states that if all the eigenvalues of a real matrix 
have 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
 |
