Proof. [02CZ]
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
Proof.
Since the metric is equivalent to the flat metric , the Sobolev space is the same with respect to both metrics, and the Moser iteration works for the operator . Here again we use the geometers’ convention for the sign. By Bochner formula there is a constant such that
which is on the borderline of applying Moser iteration. Due to Bando-Kasue-Nakajima [2] (Corollary 4.10), there is an improved Kato’s inquality, namely, there are and , such that
Let and . Then we can apply [19](Lemma 2.1) with and to conclude that is in . By Sobolev embedding we see . Also that implies that the inequality holds weakly on the whole ball . Then we can apply the standard Moser iteration to conclude is uniformly bounded. Now consider . For any with , the rescaled ball has uniformly bounded geometry, so standard elliptic regularity for the Einstein equation then implies that for some constant . Thus . By Bochner formula again there is a constant such that
Let , and apply [19](Lemma 2.1) with , and , we get . Thus the inequality holds weakly on and by Moser iteration is uniformly bounded. Then similarly one can prove the bound for higher covariant derivatives of the curvature tensor. ∎