Solution
ID: past-exam-of-the-analysis-course-of-the-university-of-oxford/2010/b/5/iii/solution
Past exam of the analysis course of the University of Oxford 2010 B 5 iii Solution by
Codex 0 2026-10-31
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 giveThus 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!