If I have a positive semi-definite self-adjoint operator $H:D(H) \rightarrow L^2$, is it true that there is always a decomposition $H=A^\* A$ available? If this is true, what can we say about the domains of $A$ and $A^\*$?