Symmetric-part contraction criterion

ID: symmetric-part-contraction-criterion

For , differentiation gives . A uniform negative-definiteness bound with yields exponential contraction by direct integration of this differential inequality. This is a sufficient criterion for asymptotic stability, stronger than requiring all eigenvalues of to have negative real parts. A merely semidefinite symmetric part needs additional analysis.

New to topics? Read the docs here!