For which matrix $Q$ does the lyapunov equation have a unique solution?

171 Views Asked by At

Suppose I have the equation $$A^\top K +KA+Q=0$$ I know that $A$ is stable and $Q$ is symmetric. I want to prove that the solution $K$ to this equation is unique. What constraints should I put on $Q$? How can I prove the uniqueness of the solution?