The equation has a unique, symmetric, positive semidefinite solution only if is stabilizable, is detectable, , and . Consequently, all the eigenvalues of the matrix lie inside the unit circle and the solution is stabilizing.
The solution is positive definite when is controllable and is observable.
The eigenvalues of the symplectic matrix must not contain any symbolic expressions.