I have the following equation:
\begin{gather} (e^{At})^T \cdot P \cdot e^{At} - P = - I \end{gather}
where im trying to find the matrix $P$.
Is there any name to this equation or some simple solution instead of breaking the matrices into each variable?
Thank you.