Solution

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

The periodization of a Schwartz function is
For every nonnegative integer , the Schwartz seminorms give uniformly for . The Weierstrass M-test gives absolute and uniform convergence there of the defining series and all its differentiated series. Termwise differentiation proves that is a smooth function, with . Reindexing the absolutely convergent series proves , so it is a periodic function.
For an explicit smooth periodic partition of unity, choose the bump function
It is a test function, positive on . The smooth function is periodic and strictly positive, since every has a translate in . Set
Division preserves smoothness because , and the support remains contained in .

New to topics? Read the docs here!