Proposition 2.23 . [0411]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Proposition 2.23.
Suppose stays within a compact subset of the good range of weight exponents. Then the operator extends to bounded linear operators between the weighted Hölder spaces
where the constant depends only on , the compact region of exponents , and the scale invariant ellipticity bound (2.11). The composition with the natural projection
extends the operator which takes value in closed real (1,1)-forms and is inverse to taking trace.