Past exam of the mathematics course of the University of Cambridge 2009 iii Paper 7 1 i Solution Created 2026-10-03 Updated 2026-10-14
Use and normalized Haar measure on the torus. Here means distance to zero modulo , represented in ; an ordinary coordinate in would not express concentration at the origin correctly.
Put , , and . Since and , , the kernel is nonnegative, and exactly. Fix . On the set where either or , . Choose with . continuity provides a neighborhood of the origin of positive measure where . ConsequentlyFor , take and then large enough that this bound is at most . For the exterior conditions are empty. This proves all the requested kernel properties, with .
Now let and define . The powered-cosine approximate identity on a torus is a trigonometric polynomial, since its base is a finite sum of complex exponentials and its exponent is an integer. Expanding and integrating its finitely many Fourier terms shows that is also a trigonometric polynomial; it is real-valued because both factors are real. Translation invariance and normalization giveGiven , uniform continuity of supplies making the difference in brackets smaller than on the square , uniformly in . The contribution from that square is at most . On its complement it is at most , which tends to zero by the preceding estimate. Therefore , proving uniform approximation without assuming any Fourier-series convergence of .