Solution

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

Use the method of continuity with
Every has the same uniform ellipticity and Hölder coefficient bounds, so the estimates in part (a) hold with one constant independent of . They imply injectivity. The set of for which is onto is open by the bounded inverse theorem and a Neumann-series perturbation, and closed by the uniform a priori estimate. It contains because the Dirichlet Laplacian is bijective. Connectedness of therefore gives surjectivity at , and is bijective.

New to topics? Read the docs here!