Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2024/ii/paper-4/22g/a/solution

Suppose the spectrum were empty. The resolvent
would then be an entire operator-valued function. For ,
because the series converges in operator norm and multiplication by telescopes to . Hence .
For fixed , the scalar function is entire, bounded outside a disc by the estimate and bounded inside by compactness. Liouville's theorem makes it constant, and its limit at infinity makes that constant zero. This for all would imply , impossible for an inverse. Thus the spectrum is nonempty.

New to topics? Read the docs here!