ScalingStacks

Proof. [04TR]

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.

Assume by translation that 00 is the center of mass of Sh,p​(x)S_{h,p}(x). By subtracting a linear function we can assume that

p=0,u|∂Sh,0​(x)≤0, and |minSh,0​(x)u|=h.p=0,\quad u|_{\partial S_{h,0}(x)}\leq 0,\text{ and }\quad|\min_{S_{h,0}(x)}u|=h.

By John’s Lemma, there is a linear transformation AA that normalizes Sh,0​(x)S_{h,0}(x). Let

u~(x)=|detA|−2/nu(Ax).\tilde{u}(x)=|\det A|^{-2/n}u(Ax).

It is easy to check that

detD2​u~≥1,u~|∂Ω~≤0\det D^{2}\tilde{u}\geq 1,\quad\tilde{u}|_{\partial\tilde{\Omega}}\leq 0

where B1⊂Ω~⊂BC⁡(n)B_{1}\subset\tilde{\Omega}\subset B_{C(n)}. Then 12​(|x|2−1)\frac{1}{2}(|x|^{2}-1) is an upper barrier for u~\tilde{u}, so

|minΩ~⁡u~|≥12.|\min_{\tilde{\Omega}}\tilde{u}|\geq\frac{1}{2}.

Since |detA|≥c⁡(n)​|Sh,0​(x)||\det A|\geq c(n)|S_{h,0}(x)|, the conclusion follows. ∎

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