ScalingStacks

Proof. [04U2]

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.

Fix a subgradient pp at xx and let d1​(h),…,dn​(h)d_{1}(h),...,d_{n}(h) be defined as in the statement of Lemma 3.2. Let

I=min⁡{i:di​(h)h1/2→0​ as ​h→0}.I=\min\left\{i:\frac{d_{i}(h)}{h^{1/2}}\rightarrow 0\text{ as }h\rightarrow 0\right\}.

Fix δ\delta small. Then we can find a sequence hk→0h_{k}\rightarrow 0 and η\eta depending only on pp such that

dI​(hk)<δ​hk1/2,d_{I}(h_{k})<\delta h_{k}^{1/2},

and di​(hk)>η​hk1/2d_{i}(h_{k})>\eta h_{k}^{1/2} for all i<Ii<I. Rotate the axes so that the eie_{i} are the axes for the John ellipsoid of Shk,pv​(x)S_{h_{k},p}^{v}(x) and assume by translation that x=0x=0.

Take the restriction of vv to the subspace spanned by eI,…,ene_{I},...,e_{n}, and call this restriction ww. Let

Skw=Shk,pv(x)∩{x1=…=xI−1=0},S_{k}^{w}=S_{h_{k},p}^{v}(x)\cap\{x_{1}=...=x_{I-1}=0\},

the slice of the section Shk,pv​(x)S_{h_{k},p}^{v}(x) in this subspace. Then since

d1​(hk)​d2​(hk)​…​dn​(hk)≤C​hkn+12d_{1}(h_{k})d_{2}(h_{k})...d_{n}(h_{k})\leq Ch_{k}^{\frac{n+1}{2}}

and vv grows at most quadratically in the first I−1I-1 directions, we have

|Skw|ℋn−I+1≤Cη(I−1)/2​hkn+2−I2.|S_{k}^{w}|_{\mathcal{H}^{n-I+1}}\leq\frac{C}{\eta^{(I-1)/2}}h_{k}^{\frac{n+2-I}{2}}.

Using this and Lemma 2.4,

M​w​(Skw)≥c​η(I−1)/2​hkn−I2.Mw(S_{k}^{w})\geq c\eta^{(I-1)/2}h_{k}^{\frac{n-I}{2}}.

Finally, let rk=C⁡(n)​dI​(hk)r_{k}=C(n)d_{I}(h_{k}), with C⁡(n)C(n) taken large enough that

Skw⊂Brk/2​(x).S_{k}^{w}\subset B_{r_{k}/2}(x).

By strict quadratic growth, ∇v​(Brk​(x))\nabla v(B_{r_{k}}(x)) contains a ball of radius rk/2r_{k}/2 around every point in ∇v​(Skw)\nabla v(S_{k}^{w}). It follows that

M​v​(Brk​(x))\displaystyle Mv(B_{r_{k}}(x)) ≥c⁡(n)​M​w​(Skw)​rkI−1\displaystyle\geq c(n)Mw(S_{k}^{w})r_{k}^{I-1}
≥c​hkn−I2​rkI−1\displaystyle\geq ch_{k}^{\frac{n-I}{2}}r_{k}^{I-1}
≥cδn−I​rkn−1.\displaystyle\geq\frac{c}{\delta^{n-I}}r_{k}^{n-1}.

By Lemma 3.2 we have I≤n−1I\leq n-1, so the conclusion follows. ∎

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