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!