ScalingStacks

Verified tagged author-source HTML · 2006.13068v1 · cited publication edition alignment unverified.

On B~t\tilde{B}_{t} we have

C−1|log⁡|t||n​μt⩽ω~tn⩽C|log⁡|t||n​μt,\frac{C^{-1}}{|\log|t||^{n}}\mu_{t}\leqslant\tilde{\omega}_{t}^{n}\leqslant\frac{C}{|\log|t||^{n}}\mu_{t},

and again by direct computation in polar coordinates (as in [3]), thanks to the definition of B~t\tilde{B}_{t} and to (3.1) we have that

(4.2) C−1⩽∫B~td​μt⩽1,C^{-1}\leqslant\int_{\tilde{B}_{t}}d\mu_{t}\leqslant 1,

and so

C−1|log⁡|t||n⩽∫B~tω~tn⩽C|log⁡|t||n.\frac{C^{-1}}{|\log|t||^{n}}\leqslant\int_{\tilde{B}_{t}}\tilde{\omega}_{t}^{n}\leqslant\frac{C}{|\log|t||^{n}}.

If we then define

μ~t=ω~tn∫B~tω~tn,\tilde{\mu}_{t}=\frac{\tilde{\omega}^{n}_{t}}{\int_{\tilde{B}_{t}}\tilde{\omega}_{t}^{n}},

then μ~t\tilde{\mu}_{t} is uniformly comparable to μt\mu_{t} on B~t\tilde{B}_{t} and

(4.3) μt​(B~t)⩾C−1​μt​(Bt)⩾C−1.\mu_{t}(\tilde{B}_{t})\geqslant C^{-1}\mu_{t}(B_{t})\geqslant C^{-1}.

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.