Past exam of the functional analytic methods for partial differential equations course of the University of Oxford / 2023 / 3 / b / ii

The Lp norm of the forcing at the critical exponent is constant:To prove weak convergence in $L^{6/5}(B)$, the duality of Lp spaces says that we must test against an arbitrary $g\in L^6(B)$. Holder inequality, restricted to the shrinking measurable set $E_m$, givesThe last step is absolute continuity of the Lebesgue integral, since $|E_m|=r_m^3|E|\to 0$ and $|g{|}^6$ is integrable. ThusTesting only bounded or smooth functions would not by itself establish this weak convergence; the restricted Holder inequality handles every member of the full dual space.