ScalingStacks

Remark 5.11 . [04EP]

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

Remark 5.11.

The standard isoperimetric theorem inside the Euclidean space [71, Thm 6.1] does not state supp​(A′)⊂BR\text{supp}(A^{\prime})\subset B_{R}. Once we have found some A′A^{\prime} with ∂A′=∂A\partial A^{\prime}=\partial A with mass control, we can pushforward by a Lipschitz retraction map F:ℝ2​n→B1F:\mathbb{R}^{2n}\to B_{1}:

F⁡(x)={x,x∈BR,R​x|x|,x∈ℝ2​n∖BR.F(x)=\begin{cases}x,\quad x\in B_{R},\\ \frac{Rx}{|x|},\quad x\in\mathbb{R}^{2n}\setminus B_{R}.\end{cases}

Replacing A′A^{\prime} by F∗​A′F_{*}A^{\prime}, the mass cannot increase, and ∂F∗​(A′)=F∗​(∂A′)=F∗​(∂A)=∂A\partial F_{*}(A^{\prime})=F_{*}(\partial A^{\prime})=F_{*}(\partial A)=\partial A, and we have ensured the support is contained in BRB_{R}.

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