Solution

ID: past-exam-of-the-analysis-course-of-the-university-of-oxford/2008/b/7/solution

With the classical real coefficients
the partial sum is . It is the orthogonal projection onto the first trigonometric modes. Completeness of the trigonometric orthonormal system therefore gives .
For periodic, integration by parts has zero endpoint terms and gives , , and . Thus
For periodic functions, another integration by parts gives and . Riemann-Lebesgue makes the numerator sequences tend to zero, in particular bounded. The Weierstrass M-test and prove absolute and uniform convergence. The resulting continuous sum agrees with in by the first result. Two continuous functions equal almost everywhere are equal everywhere, so the pointwise sum is for every real .
For the polynomial example the periodic extension is : the function, its first derivative and its second derivative match at the endpoints. It is even, so all sine coefficients vanish. Direct integration gives
For example, integration by parts gives and , from which the cancellation of the terms follows. Therefore
At , the left side vanishes, yielding

New to topics? Read the docs here!