Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $A$ and $B$ be symmetric invertible operators on a Hilbert space $X$. Suppose $$ \langle Ax , x \rangle \leq \langle Bx , x \rangle $$ for each $x\in X$. Does it follow that $\langle A^{-1} x ,x \rangle \geq \langle B^{-1} x , x \rangle$? What about in the finite dimensional case?

share|improve this question
1  
For the finite-dimensional positive-definite case: math.stackexchange.com/questions/214126/… –  Rahul Jan 13 '13 at 0:34
    
Doesn't it make a difference that the inner product is arbitrary? After all, $A^TM$ is not necessarily symmetric, and its inverse isn't $A^{-T}M$ –  user7530 Jan 13 '13 at 6:42
add comment

2 Answers

up vote 4 down vote accepted

It is not true even in the finite dimensional case. Let $A=A^{-1}=\begin{pmatrix}0&1\\1&0\end{pmatrix}$ and $B=B^{-1}=\begin{pmatrix}1&0\\0&1\end{pmatrix}$. Then $\langle Ax,x\rangle\leq \langle Bx,x\rangle=\|x\|^2$ for all $x\in\mathbb C^2$, but with $x=(0,1)$ we get $\langle A^{-1}x,x\rangle=0\not\geq1=\langle B^{-1}x,x\rangle$.

share|improve this answer
    
What if we assume the operators are positive definite? –  user15464 Jan 13 '13 at 0:04
add comment

This is true if one assumes the operators to be positive, in the sense that $\langle Ax,x \rangle \geq 0$ for all $x \in X$. In fact, one has the following, more general, result:

Proposition. Let $\mathcal A$ be a $C^*$-algebra and $0 \leq a \leq b$ with $a,b\in \mathcal A$ and $a$ invertible. Then $b$ is invertible and $0 \leq b^{-1} \leq a^{-1}$.

Here, $a \geq 0$ means that $a$ is Hermitian and $\sigma(a) \subseteq [0,\infty)$, where $\sigma(a)$ is the spectrum of $a$. We write $a \geq b$ if $a-b \geq 0$. In the original problem, $\mathcal A$ would be the algebra of bounded operators on $X$ and positivity translates to the property $\langle Ax,x \rangle \geq 0$ for all $x \in X$.

The proof can be found here, Proposition 7.23 (it's in German, but I can translate it if there is any interest).

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.