7
$\begingroup$

The problem comes from my functional analysis homework.

Let $H$ be a complex Hilbert space and $A:H \to H$ be a bounded, self-adjoint linear operator. Prove that there exist positive operators $P$ and $N$ such that $A=P-N$ and $PN=0$. (An operator $T$ is positive if $\langle Tx,x \rangle \ge 0$ for all $x \in H$.)

I found a question similar to this one: Bounded self adjoint operator can be written as difference of positive operators. An answer using $C^*$-algebra was provided there. However, we didn't learn anything on $C^*$-algebra in this class (and I know nothing about it), so the problem is supposed to be proven in an "elementary" way. Here is what I have done so far:

Define $B=(A^2)^{1/2}$, and let $$P=(A+B)/2$$ $$N=(B-A)/2$$ Then $P$ and $N$ are bounded, self-adjoint linear operators. It is easily verified that $$A=P-N$$ and $$PN=0$$ My question: how can we prove that $P$ and $N$ are positive?

By direct calculation, this is equivalent to $|\langle Ax,x \rangle| \le \langle Bx,x \rangle$. @Shalop said in the comments that this inequality can be proven with polarization identity, but I don't see how to do that. Any ideas?

$\endgroup$
9
  • $\begingroup$ Using that $|\langle Tx,x \rangle| \leq \langle |T|x,x \rangle$, you have it directly. Is proving this inequality what your question is? $\endgroup$
    – Alex Jones
    Nov 19, 2017 at 3:59
  • $\begingroup$ @AlexanderJ93 Yes, I'd like to know how to prove this inequality. $\endgroup$
    – Jiaqi Li
    Nov 19, 2017 at 4:10
  • $\begingroup$ How does your course define the operator square root? (Eg., using the spectral theorem?) $\endgroup$ Nov 20, 2017 at 5:14
  • $\begingroup$ @KeithMcClary We have a theorem stating that every positive bounded self-adjoint linear operator has a unique positive square root. The proof was before and independent of the spectral theorem. $\endgroup$
    – Jiaqi Li
    Nov 20, 2017 at 5:17
  • $\begingroup$ I see one here that I don't remember learning. I'm just trying to figure out what is considered "elementary". $\endgroup$ Nov 20, 2017 at 5:37

2 Answers 2

7
+50
$\begingroup$

If $A,B$ are positive, commuting operators, then $AB$ is positive. This is because the unique positive $\sqrt{A}$ must also commute with $B$ and, hence, $$ \langle ABx,x\rangle = \langle \sqrt{A}Bx,\sqrt{A}x\rangle = \langle B\sqrt{A}x,\sqrt{A}x\rangle \ge 0. $$ This result is useful in what follows.

Suppose $A$ is selfadjoint. Let $P=\frac{1}{2}(|A|+A)$ and $N=\frac{1}{2}(|A|-A)$, where $|A|$ is the unique positive square root of $A^2$. Then $PN=NP=0$ and $A=P-N$. This is the desired decomposition of $A$, and the trick is to show that $P,N$ are positive operators.

Let $E$ be the orthogonal projection onto $\mathcal{N}(|A|+A)$. Then $(|A|+A)E=0$ gives $E(|A|+A)=0$ by taking adjoints. And $(|A|+A)(|A|-A)=0$ gives $E(|A|-A)=|A|-A$. Hence, $$ 2EA=E(|A|+A)-E(|A|-A) = A-|A| \\ |A| = (I-2E)A \\ 2E|A| = E(|A|+A)+E(|A|-A)=|A|-A \\ A = (I-2E)|A|. $$ These two equations are consistent because $(I-2E)^2=I-4E+4E=I$ establishes $I-2E$ as its own inverse. Taking adjoints of the above equations shows that $E$ commutes with $A$ and with $|A|$, which is useful in what follows. Now the operators $P$ and $N$ may be written as $$ P=\frac{1}{2}(|A|+A)=\frac{1}{2}(|A|+(I-2E)|A|)=(I-E)|A|, \\ N=\frac{1}{2}(|A|-A)=\frac{1}{2}(|A|-(I-2E)|A|)=E|A| $$ Because $E$ commutes with $A$, then $E$ must also commute with $A^2$ and, hence, also with $|A|=(A^2)^{1/2}$. By the result of the first paragraph, $P=(I-E)|A|$ and $N=E|A|$ are positive.

$\endgroup$
2
  • $\begingroup$ +1 Your answers are always a pleasure to read. Excellent work. $\endgroup$
    – AmorFati
    Nov 23, 2017 at 7:47
  • $\begingroup$ @KyleBroder : Thank you. $\endgroup$ Nov 23, 2017 at 8:11
2
$\begingroup$

If $A=\int_{-\infty} ^\infty x dE_x$, take $P= \int_0 ^\infty x dE_x$ and $N=\int_{-\infty} ^0 \vert x\vert dE_x =-\int_{-\infty} ^0 x dE_x $ .

$\endgroup$
3
  • $\begingroup$ downvoters should explain the reason for downvotes. This answer is actually correct. $\endgroup$
    – Diesirae92
    Nov 23, 2017 at 16:30
  • $\begingroup$ I upvoted DisintegratingByParts' nice proof which uses more elementary methods. Using the spectral theorem is a "sledgehammer" proof, but probably what is expected for an exercise in that chapter. $\endgroup$ Nov 23, 2017 at 18:22
  • $\begingroup$ Thank you for providing the answer! However, I guess what we learn for the spectral theorem of self-adjoint operator is more elementary... (I didn't learn the Riemann-Stieltjes integral representation of the operator) $\endgroup$
    – Jiaqi Li
    Nov 23, 2017 at 19:29

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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