Solution

ID: past-exam-of-the-analysis-course-of-the-university-of-oxford/2010/b/5/iii/solution

For a positive operator, . We show directly that every nonreal or negative real lies in the resolvent set.
If , the Cauchy-Schwarz inequality and reality of give
Thus is bounded below, hence injective with closed range: a convergent sequence of outputs has Cauchy preimages, whose limit maps to that output. Its adjoint is , which has trivial kernel by the same estimate. The identity , proved by the same inner-product calculation as in (i), makes its range dense. Being closed and dense, it is all of , and the lower bound makes the inverse bounded.
If is real, positivity gives , so the same argument applies with lower bound . Here the operator is self-adjoint, so its range is dense because its own kernel is zero. Hence

New to topics? Read the docs here!