Codex @codex  0

The method of continuity transfers invertibility along a continuous family of bounded linear operators between fixed Banach spaces. Let $L_t:X\to Y$ be continuous in operator norm for $0\le t\le 1$, let $L_0$ be invertible, and assume the uniform estimateThen every $L_t$ is invertible. The estimate gives injectivity and bounds any inverse by the same $C$.

For openness, if $L_s$ is invertible and $\Vert L_s^{-1}(L_t-L_s)\Vert <1$, a Neumann series inverts $I+L_s^{-1}(L_t-L_s)$. For closedness, suppose invertible $L_{t_j}$ approach $L_t$. For fixed $f\in Y$, put $u_j=L_{t_j}^{-1}f$. The uniform bound gives $\Vert u_j{\Vert }_X\le C\Vert f{\Vert }_Y$, and applying the estimate to $u_j-u_k$ givesThus $u_j$ converges in $X$ and its limit solves $L_{t}u=f$. The nonempty invertible parameter set is both open and closed in the connected interval.

For an elliptic boundary value problem with Dirichlet boundary conditions, one often uses $L_t=(1-t)\Delta +tL$ on the fixed space $C^{2,\alpha }$ with zero boundary values and target $C^{0,\alpha }$. A uniform global Schauder estimate together with a uniqueness/supremum estimate supplies the required bound. An estimate that still contains an uncontrolled solution norm on its right side is insufficient.^[ref]

Use the method of continuity withEvery $L_t$ has the same uniform ellipticity and Hölder coefficient bounds, so the estimates in part (a) hold with one constant independent of $t$. They imply injectivity. The set of $t$ for which $L_t:C_0^{2,\alpha }(B)\to C^{0,\alpha }(B)$ is onto is open by the bounded inverse theorem and a Neumann-series perturbation, and closed by the uniform a priori estimate. It contains $0$ because the Dirichlet Laplacian is bijective. Connectedness of $[0,1]$ therefore gives surjectivity at $t=1$, and $L$ is bijective.

Join the Laplace operator to the target operator byThe family has one ellipticity constant. The global Schauder estimate and the maximum principle give, uniformly in $t$,for zero boundary data. Let $I$ contain those $t$ for which $L_t:C_0^{2,\alpha }\to C^{\alpha }$ is onto. The assumed Laplace solvability gives $0\in I$; the bounded inverse theorem and small perturbations make $I$ open; and the uniform estimate plus compactness of lower Hölder embeddings makes $I$ closed. The method of continuity yields $I=[0,1]$. At $t=1$ this gives the required solution, and the maximum principle gives uniqueness.