Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2019/iii/paper-105/1/c/i/solution

Suppose the claimed Poincare-Wirtinger inequality were false. There would be such that, after setting
we have , , and . The sequence is bounded in , so part 1(b)(ii) supplies a subsequence converging strongly in and weakly in to some .
The weak gradient of is zero. Because is connected, is a constant function; its mean is zero, so . Strong convergence would then give , contradicting . Therefore

New to topics? Read the docs here!