Past exam of the real and harmonic analysis course of the University of Oxford / 2007 / 3 / d / Solution

Define $L_{\xi }(f)={\lim }_N{A}_N(f)$. Limits preserve linearity and positivity, and $|L_{\xi }(f)|\le \Vert f{\Vert }_{\infty }$, $L_{\xi }(1)=1$. The Riesz-Markov-Kakutani representation theorem supplies a unique Radon probability measure ${\mu }^{\xi }$. By its definition,which is exactly weak-star convergence in $C(\mathbb{T}{)}^{\prime }$.

If $\xi /(2\pi )=p/q$ in lowest terms, the orbit has exactly $q$ points. Averaging a periodic sequence givesThis includes $q=1$. If $\xi /\pi$ is irrational, then $e^{ik\xi }\ne 1$ for every nonzero integer $k$. The preceding calculation gives $L_{\xi }(z^k)=0$ for $k\ne 0$ and $L_{\xi }(1)=1$, exactly the integrals against normalized Haar measure $m$. Density of trigonometric polynomials implies equality on all continuous functions, and uniqueness givesThese are the periodic-orbit and irrational-rotation cases of equidistribution.