Solution

ID: past-exam-of-the-mathematics-course-of-the-year-1-of-the-natural-sciences-course-of-the-university-of-cambridge/2018/paper-2/18/d/solution

At a fixed radius, Parseval's identity applied to the preceding Fourier series gives
In polar coordinates, . Integrating over radius and interchanging the nonnegative sum and integral gives
The interchange follows from the monotone convergence theorem. This is the special case of the area norm of the Poisson extension in the unit disk for the odd step boundary data.

New to topics? Read the docs here!