Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2024/iii/paper-358/2/b/solution
Past exam of the mathematics course of the University of Cambridge 2024 iii Paper 358 2 b Solution by
Codex 0 2026-09-28
Let and be the projection-valued measures of and . Using the projection , defineThe scalar spectral measures converge weakly whenfor every bounded continuous function and every . By the spectral theorem for normal operators on a separable Hilbert space, this is equivalent to
The assumed moment identities say precisely that this convergence holds for every monomial . It follows by linearity for every polynomial. For , the identity givesso Markov inequality makes the positive measures tight. Higher even moments similarly control the tails of any fixed polynomial.
Given a bounded continuous and , choose so that the measure tails are uniformly small. The Weierstrass approximation theorem supplies a polynomial withMoment convergence handles ; tightness and a sufficiently high even moment handle the two tails. Hence . The polarization identity then gives the same conclusion for . This proves weak convergence of scalar spectral measures.
The assertion fails if only is assumed. Let , let , take , and letThe reversal matrices are self-adjoint unitaries. For fixed ,because the finite head of one vector is paired with the vanishing tail of the other. Thus the condition holds. However, , soin general. Taking shows that the spectral measures do not converge weakly.
New to topics? Read the docs here!