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.
Join the Laplace operator to the target operator by
The family has one ellipticity constant. The global Schauder estimate and the maximum principle give, uniformly in ,
for zero boundary data. Let contain those for which is onto. The assumed Laplace solvability gives ; the bounded inverse theorem and small perturbations make open; and the uniform estimate plus compactness of lower Hölder embeddings makes closed. The method of continuity yields . At this gives the required solution, and the maximum principle gives uniqueness.