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 ,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.
The strict maximum principle applied to with zero boundary data gives in . On set . Then , while on and this boundary value is positive somewhere because is proper. Hence inside and . The Hopf boundary point lemma at this boundary minimum givesTherefore , proving the normal derivatives are unequal.
Articles by others on the same topic
There are currently no matching articles.