Solution

ID: past-exam-of-the-fourier-analysis-course-of-the-university-of-oxford/2023/3/a/ii/solution

A distribution is a periodic distribution when
Iteration gives invariance under all integer multiples of . For a tempered distribution the identity also holds for every Schwartz function, since test functions are dense in the Schwartz space: multiplying by cutoff functions equal to one near zero gives such an approximation in every Schwartz seminorm.
For define . The smooth periodic partition of unity gives with convergence in the Schwartz space. Indeed, each is supported where , and the generalized Leibniz rule and arbitrarily rapid decay of the derivatives of give, for every ,
Consequently continuity and periodicity of the tempered distribution give
For the last interchange, all summands have the fixed compact support of and their derivatives decrease faster than any power of . Hence the series converges in the space of test functions, as well as in the Schwartz space. Notice that itself need not be a Schwartz function; the factor makes the pairing legitimate.

New to topics? Read the docs here!