Solution

ID: past-exam-of-the-functional-analysis-ii-course-of-the-university-of-oxford/2023/3/a/i/solution

Put . Since is a self-adjoint operator, . Applying the preceding image-kernel orthogonality for an adjoint identities to gives
If is real, and because is not an eigenvalue. If is nonreal and , then . The scalar is real by self-adjointness, while it equals . Its imaginary part forces . Thus in both cases, and
The conjugation on in the adjoint operator is essential when is nonreal.

New to topics? Read the docs here!