En primer lugar, cabe señalar que $2\,A^\top P = -Q$ sólo es correcta si $P$ es simétrica. Para matrices no simétricas sería $A^\top (P + P^\top) = -Q$ .
Tu planteamiento es válido, sin embargo es más conveniente trabajar con matrices simétricas. A saber:
- Las matrices son definidas positivas si sus partes simétricas sólo tienen valores propios positivos (esto requiere menos pasos si se empieza con una matriz simétrica).
- Para grandes dimensiones, las matrices simétricas requieren aproximadamente la mitad de memoria para almacenarlas en comparación con una matriz no simétrica.
- Para un determinado $A$ y $Q$ la ecuación de Laypunov $A^\top P + P\,A=-Q$ garantiza tener una solución definida positiva para $P$ si $A$ es Hurwitz y $Q$ es definida positiva y hay muchas implementaciones que pueden resolver esto. No estoy seguro de si esto también es válido para su ecuación.
Pero si ha encontrado un positivo definitivo $P$ y $Q$ tal que $A^\top (P + P^\top) = -Q$ entonces eso sería suficiente para demostrar la estabilidad exponencial de $\dot{x}=A\,x$ .