Suponemos que $B$ simétrica $\geq 0$ $A,X$ simétrica $>0$. De hecho, si $\det(A)=0,\det(B)\not= 0$, entonces el límite inferior no se alcanza. Por ejemplo, cuando se $A=0$, el límite inferior $0$ es "alcanzado" por $X$ s.t. $||X||=\infty$.
$\textbf{Part 1}$. Considere la función $f:X>0\rightarrow tr(XA)+tr(X^{-1}B)$. El espacio de la tangente a$S_n^{++}$$S_n$, el espacio vectorial de matrices simétricas. Entonces
$Df_X:H\in S_n\rightarrow tr(HA)-tr(X^{-1}HX^{-1}B)=tr(H(A-X^{-1}BX^{-1}))$.
Si $X$ alcanza un mínimo local de $f$,$Df_X=0$, $A-X^{-1}BX^{-1}$ es sesgar simétrica; que es equivalente a
$A=X^{-1}BX^{-1}$ o $(*)$ $XAX-B=0$.
La ecuación de Riccati $(*)$ tiene un único simétrica $\geq 0$ solución de $X_0$; ya que el término de grado $1$ $X$ no existe, no es una forma cerrada
$X_0=A^{-1/2}(A^{1/2}BA^{1/2})^{1/2}A^{-1/2}$.
Tenga en cuenta que $f(X_0)=2tr((A^{1/2}BA^{1/2})^{1/2})$.
$\textbf{Part 2}$. $D^2f_X:(H,K)\in S_n\times S_n\rightarrow tr(X^{-1}KX^{-1}HX^{-1}B)+tr(X^{-1}HX^{-1}KX^{-1}B)$,
y $D^2f_X(H,H)=2tr((X^{-1}HX^{-1}HX^{-1})B)$.
La matriz $S=X^{-1}HX^{-1}HX^{-1}$ es simétrica $\geq 0$ porque
$y^TSy=(HX^{-1}y)^TX^{-1}(HX^{-1}y)\geq 0$.
A continuación, $D^2f_X(H,H)=2tr(SB)\geq 0$ $f$ es convexa (recordemos que $S_n^{++}$ es convexo). Finalmente, $f(X_0)$ es el mínimo requerido porque (para una función convexa $f$), $Df_{X_0}=0$ implica que $inf(f)=f(X_0)$.