Lyapunov's first theorem states that all the eigenvalues of an real matrix
have negative real
parts iff the Lyapunov
equation
has a symmetric positive definite matrix solution ,
where
is the identity matrix. Thus
is a positive
definite quadratic form.