ScalingStacks

Lemma 3.1 . [01Y8]

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

Lemma 3.1.

Let u:B2​r​(x)→ℝu:B_{2r}(x)\to\mathds{R} be a harmonic function with r≤1r\leq 1. Then for every ϵ>0\epsilon>0 there exists δ⁡(n,ϵ)>0\delta(n,\epsilon)>0 such that if RicMn≥−(n−1)​δ2{\rm Ric}_{M^{n}}\geq-(n-1)\delta^{2} and

r2​⨏B2​r​(x)|Δ​|∇u||≤δ​⨏B2​r​(x)|∇u|,\displaystyle r^{2}\fint_{B_{2r}(x)}|\Delta|\nabla u||\leq\delta\fint_{B_{2r}(x)}|\nabla u|\,, (3.23)

then for A=(⨏Br​(x)|∇u|)−1>0A=\Big(\fint_{B_{r}(x)}|\nabla u|\Big)^{-1}>0 we have that A∘u:Br​(x)→ℝA\circ u:B_{r}(x)\to\mathds{R} is an ϵ\epsilon-splitting map.

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