ScalingStacks

Proof. [04EU]

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.

Let f⁡(r)=ℋn​(L∩B⁡(r))>0f(r)=\mathcal{H}^{n}(L\cap B(r))>0, then ff is increasing in rr, and for a.e. 0<r<R0<r<R, by the coarea formula,

f′​(r)=∫∂B⁡(r)∩L1|∇r|​d​ℋn−1≥C−1​ℋn−1​(∂B⁡(r)∩L)≥C−1​f​(r)(n−1)/n.f^{\prime}(r)=\int_{\partial B(r)\cap L}\frac{1}{|\nabla r|}d\mathcal{H}^{n-1}\geq C^{-1}\mathcal{H}^{n-1}(\partial B(r)\cap L)\geq C^{-1}f(r)^{(n-1)/n}.

The last inequality is the isoperimetric inequality. Thus dd​r​f1/n≥C−1,\frac{d}{dr}f^{1/n}\geq C^{-1}, whence we have the volume lower bound f​(r)1/n≥C−1​rf(r)^{1/n}\geq C^{-1}r. ∎

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