Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2009/iii/paper-7/1/i/solution

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 . Consequently
For , 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 give
Given , 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 .

New to topics? Read the docs here!