Solution

ID: past-exam-of-the-methods-of-applied-functional-analysis-course-of-the-university-of-oxford/2009/a/1/b/solution

Weak convergence means for every . Weak-star convergence means for every , viewing as the predual. The Sequential Banach-Alaoglu theorem for a separable predual says that every norm-bounded sequence in has a weak-star convergent subsequence. Separability is what turns the bounded weak-star compactness statement into this sequential form.
For the weak-star limit of periodic rescalings, apply it with , which is separable, and . The rescaled functions have uniform essential-supremum bound . Let and . Since is one-periodic with zero mean, is a bounded one-periodic absolutely continuous primitive. Thus for every finite interval,
Every weak-star subsequential limit therefore satisfies for all . To apply the supplied uniqueness fact without assuming global integrability, fix and set . This is in , and its integral over any interval is zero, since intersecting with again gives an interval. Hence almost everywhere. Taking integer yields almost everywhere on the whole line.
Finally, if the full sequence did not converge weak-star to this constant, some and some subsequence would have its pairing with bounded away from zero. Sequential compactness gives a further weak-star convergent subsequence, whose limit must be the constant just identified, a contradiction. Therefore
This is averaging against integrable test functions, not a claim of pointwise or strong norm convergence.

New to topics? Read the docs here!