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.

Articles by others on the same topic (0)

There are currently no matching articles.