Let range over a bounded subset of . All jets then lie in one compact set, so the composed coefficients have uniform bounds and one ellipticity constant. The weak maximum principle for elliptic operators bounds in by the boundary data and the bounded forcing term. The Global Schauder estimate consequently bounds in .
The compact embedding of Hölder spacesthen makes the image relatively compact. Hence is a compact operator on .
Articles by others on the same topic
There are currently no matching articles.