Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2016/iii/paper-107/3/b/solution

Use homogenization of Dirichlet boundary data: put , using the supplied extension of to the half-ball. Then on the flat face and . The second-derivative estimate at a flat Dirichlet boundary from part (a) gives
The triangle inequality gives , while the Cauchy-Schwarz inequality bounds by . Finally , so restriction from the larger half-ball and another triangle inequality give
Nonzero boundary data contribute the second-order Sobolev norm of their extension. No estimate for a separately constructed extension is needed, because is already given on the half-ball.

New to topics? Read the docs here!