Approximate eigenvector 2026-10-06
The unit vectors realizing an approximate eigenvalue are approximate eigenvectors: their residual tends to zero, although they need not converge to any genuine eigenvector.
For bounded self-adjoint , put with . Unit vectors with satisfy by positive-form Cauchy-Schwarz inequality. Thus is an approximate eigenvalue. Applying the same argument to proves the result at .
Past exam of the mathematics course of the University of Cambridge 2015 iii Paper 7 3 Solution Created 2026-10-03 Updated 2026-10-06
For a densely defined operator on a complex Hilbert space, unbounded self-adjointness means equality including equality of the operator domains. Symmetry alone asserts only and is insufficient. Use an inner product linear in its first argument. If , symmetry givesThus is bounded below. Since is closed, its range is closed; its orthogonal complement is , so the range is also dense and therefore all of . The inverse is bounded by . The nonreal resolvent estimate for a self-adjoint operator proves .
For bounded self-adjoint , its numerical range of an operator and numerical radius areEvery number in is real. If , its distance from that closed set is positive, and . The same bound applies to , so the range is dense as well as closed and has a bounded inverse. Hence the numerical-range spectral enclosure isThe closure is necessary in infinite dimension: the endpoints of the numerical range need not themselves be attained.
Put and , a bounded positive semidefinite operator. Choose unit vectors with . The Cauchy-Schwarz inequality for the positive form impliesTherefore is an approximate eigenvalue. Apply the same argument to , where , to get the other endpoint. This proves the numerical-range endpoint approximate-eigenvalue theorem. Each endpoint is in the spectrum: a bounded inverse would forbid unit vectors with vanishing residual.
If an unbounded self-adjoint operator is positive semidefinite, then for every real , . The range argument above again proves invertibility, excluding negative values from the spectrum. For the converse, suppose . Its resolvent operator is bounded and self-adjoint. The resolvent spectral mapping identity puts : for , the relevant spectral parameter of is , and nonreal values are excluded by self-adjointness. By the endpoint result just proved, . Positive-form Cauchy-Schwarz inequality then givesFor this yields . Thus the spectral positivity criterion for a self-adjoint operator isThis resolvent proof uses the bounded numerical-range result to handle the full unbounded domain.
Past exam of the mathematics course of the University of Cambridge 2015 ii Paper 4 19G Solution Created 2026-09-24 Updated 2026-10-06
Use an inner product linear in the first variable. For each , the bounded linear functional is represented uniquely by a vector under the Riesz representation theorem, so . Uniqueness and the conjugate-linearity in the second argument imply . FurthermoreThus the adjoint operator exists, is linear and bounded, and is unique because a vector orthogonal to every is zero.
A normal operator satisfies . The unilateral unilateral shift operator on is bounded but not normal: , whereas . For general ,Normality implies equality of norms. Conversely equality for every makes this self-adjoint operator's quadratic form zero; the polarization identity then gives .
An approximate eigenvalue has unit vectors with . It is necessarily in the spectrum, since a bounded inverse would prevent this. Conversely suppose is not an approximate eigenvalue. Then is bounded below, . It is injective and has closed range: a convergent sequence forces to be Cauchy. The operator is normal, so and . The identity makes its range dense. Closed and dense means surjective, and its inverse is bounded by . Hence is in the resolvent. This proves .