ScalingStacks

Theorem 1.9 . [01XQ]

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

Theorem 1.9.

(Higher order estimates) For every ϵ>0\epsilon>0 there exists δ⁡(n,ϵ)>0\delta(n,\epsilon)>0 such that if RicMn≥−(n−1)​δ{\rm Ric}_{M^{n}}\geq-(n-1)\delta and u:B2​(p)→ℝku:B_{2}(p)\to\mathds{R}^{k} is a δ\delta-splitting map, then the following hold:

  1. (1)

    There exists α⁡(n)>0\alpha(n)>0 such that for each 1≤a≤k1\leq a\leq k,

    ⨏B1​(p)|∇2ua|2|∇ua|1+α<ϵ.\displaystyle\fint_{B_{1}(p)}\frac{|\nabla^{2}u^{a}|^{2}}{|\nabla u^{a}|^{1+\alpha}}<\epsilon\,. (1.14)
  2. (2)

    Let ωℓ≡d​u1∧⋯∧d​uℓ\omega^{\ell}\equiv du^{1}\wedge\cdots\wedge du^{\ell}, 1≤ℓ≤k1\leq\ell\leq k. Then

    ⨏B1​(p)|Δ​|ωℓ||<ϵ.\displaystyle\fint_{B_{1}(p)}\big|\Delta|\omega^{\ell}|\big|<\epsilon\,. (1.15)

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