ScalingStacks

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 gg is C0C^{0} equivalent to the flat metric g0g_{0}, the Sobolev space W1,pW^{1,p} is the same with respect to both metrics, and the Moser iteration works for the operator Δ=Δg\Delta=\Delta_{g}. Here again we use the geometers’ convention for the sign. By Bochner formula there is a constant C1>0C_{1}>0 such that

Δ​|R​m|≤C1​|R​m|2,\Delta|Rm|\leq C_{1}|Rm|^{2},

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 C2>0C_{2}>0 and δ∈(0,1)\delta\in(0,1), such that

Δ​|R​m|1−δ≤C2​|R​m|2−δ.\Delta|Rm|^{1-\delta}\leq C_{2}|Rm|^{2-\delta}.

Let u=|R​m|1−δu=|Rm|^{1-\delta} and f=|R​m|f=|Rm|. Then we can apply [19](Lemma 2.1) with q=11−δq=\frac{1}{1-\delta} and q0=12​(1−δ)q_{0}=\frac{1}{2(1-\delta)} to conclude that |R​m||Rm| is in W1,2W^{1,2}. By Sobolev embedding we see |R​m|∈L4|Rm|\in L^{4}. Also that |∇Rm|∈L2|\nabla Rm|\in L^{2} implies that the inequality Δ​|R​m|≤C1​|R​m|2\Delta|Rm|\leq C_{1}|Rm|^{2} holds weakly on the whole ball BB. Then we can apply the standard Moser iteration to conclude |R​m||Rm| is uniformly bounded. Now consider |∇Rm||\nabla Rm|. For any p∈B∗p\in B^{*} with d⁡(p,q)=r≤1/2d(p,q)=r\leq 1/2, the rescaled ball r−1​B​(p,r/2)r^{-1}B(p,r/2) has uniformly bounded geometry, so standard elliptic regularity for the Einstein equation then implies that |∇Rm|≤C3r−1.|\nabla Rm|\leq C_{3}r^{-1}. for some constant C3>0C_{3}>0. Thus |∇Rm|∈L3|\nabla Rm|\in L^{3}. By Bochner formula again there is a constant C4>0C_{4}>0 such that

Δ|∇Rm|≤C4|Rm||∇Rm|.\Delta|\nabla Rm|\leq C_{4}|Rm||\nabla Rm|.

Let u=|∇Rm|u=|\nabla Rm|, f=C4​|R​m|f=C_{4}|Rm| and apply [19](Lemma 2.1) with q=1q=1, and q0=3/4q_{0}=3/4, we get |∇Rm|∈W1,2|\nabla Rm|\in W^{1,2}. Thus the inequality holds weakly on BB and by Moser iteration |∇Rm||\nabla Rm| is uniformly bounded. Then similarly one can prove the bound for higher covariant derivatives of the curvature tensor. ∎

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.