There are some equivalent statements in the classical stability theory of linear homogeneous differential equations $ \dot{x} = Ax, x \in \mathbb{R}^n $ such as:
- All eigenvalues of $A$ have negative real parts
- For any symmetric, positive definite matrix $Q$ there is a unique symmetric, positive definite solution $P$ to the Lyapunov equation $A^T P + PA = -Q$
- The equilibrium of $\dot{x} = Ax$ is exponentially stable
All these statements in some way or another use the matrix exponential $e^{At}$. In particular, the solution to the Lyapunov equation can be found by $P=\int \limits_{0}^{\infty} e^{A^Tt}Qe^{At} dt$. In turn, solutions to the ODE have the from $e^{At}x_0$.
All proofs I know that show equivalence of these three statements use the Jordan normal form of $A$. In fact, the matrix exponential itself is notoriously hard to handle in practice, and one tries to represent it in some suitable form via the said normal form, or by partial fraction decomposition of $sI - A$ and inverse Laplace transforming it.
My question is: do there exist proofs of equivalence of the said three statements (or some of them) that do not use the Jordan normal form and possibly do not explicitly use eigenvectors?