This problem arises when minimizing the matrix equation $X P X^* + X Q + R$ over $X$ with respect to the positive cone on a Hilbert space $\mathcal{H}$.

__The (reduced) task__:

Given $P$ and $Q$ are positive and arbitrary (bounded) linear operators on $\mathcal{H}$, respectively, find $X\in\mathcal{L}(\mathcal{H})$ so that
$$H P X^* + X P H^* + HQ = 0$$ for all operators $H\in\mathcal{L}(\mathcal{H})$.

__My questions__:

- under what (nontrivial) conditions does the above equation have a closed form solution?
- this seems related to the Lyapunov equation $A^*X + XA = W$ (if we let $H=I$) but more general in that the adjoint $X^*$ appears. Is there some significance to this? Does this adjoint make the system much harder to solve?