1
$\begingroup$

Let $H$ be a complex Hilbert space, $A$ a bounded operator and $|A|$ the unique positive square root of $A^*A$. In a comment in Bounded self adjoint operator can be written as difference of positive operators it is suggested that $|\langle Ax,x\rangle| \leq \langle |A|x,x\rangle$, and that this is a consequence of the Polarization identity. How?

I'm trying to show that $A$ has an absolutely convergent trace $\sum\langle Ae_i,e_i\rangle$ if $|A|$ has.

Related: Does $|\langle x,Ax\rangle |=\langle x,|A|x\rangle$ for bounded operators on Hilbert space?

$\endgroup$
3
  • $\begingroup$ How do you define a trace class operator? $\endgroup$
    – Aweygan
    Commented Apr 23, 2018 at 5:09
  • $\begingroup$ @Aweygan See edit. I meant "has a trace", not is trace class. See also this question: math.stackexchange.com/questions/2749799 $\endgroup$ Commented Apr 23, 2018 at 6:44
  • $\begingroup$ This is true only if A is a selfadjoint bounded linear operator. $\endgroup$ Commented Jul 16, 2021 at 11:47

1 Answer 1

4
$\begingroup$

$|\langle Ax, x\rangle|\leq \langle |A|x,x\rangle$ is NOT true for a general bounded operator $A$.

Example. $A=\left(\begin{array} & 0 & 1\\ 0 & 0 \end{array}\right)$,$x=\left(\begin{array} & 2\\ 1 \end{array}\right)$


We call $A$ is trace class if $|A|$ is, which is precisely the definition.

$\endgroup$
3
  • $\begingroup$ If I am not missing something, doesn't your example give $2 \leq 4$? $\endgroup$
    – Ian
    Commented Apr 23, 2018 at 4:55
  • $\begingroup$ @lan sorry,I have corrected my answer, and there is also an example in the answer of the related problem you give. $\endgroup$
    – C. Ding
    Commented Apr 23, 2018 at 5:02
  • $\begingroup$ +1 I'm aware of the definition, which made me ask this question: math.stackexchange.com/questions/2749799 $\endgroup$ Commented Apr 23, 2018 at 6:36

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .