ScalingStacks

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

00RS

Proof. We induct on dimension. For n=1n=1, the unit ball is already enclosed by an annulus, so supB⁡(1)Φ\sup_{B(1)}\Phi is bounded above, and the mean value property applied to all balls B⁡(p,2)B(p,2) with 1<|p|≤21<|p|\leq 2 gives a lower bound on −∫B⁡(1)Φ\mathchoice{{\vbox{\hbox{$\textstyle-$ }}\kern-7.83337pt}}{{\vbox{\hbox{$\scriptstyle-$ }}\kern-6.11674pt}}{{\vbox{\hbox{$\scriptscriptstyle-$ }}\kern-5.48965pt}}{{\vbox{\hbox{$\scriptscriptstyle-$ }}\kern-5.31259pt}}\!\int_{B(1)}\Phi. Thus the L1L^{1}-bound in B⁡(1)B(1) is clear.

For general nn, notice by induction we can bound for each i≤ni\leq n,

−∫{1<|zi|<4,|zj|<4,∀j≠i}|Φ|≲−∫{1<|zj|<4,∀j}|Φ|,\mathchoice{{\vbox{\hbox{$\textstyle-$ }}\kern-7.83337pt}}{{\vbox{\hbox{$\scriptstyle-$ }}\kern-6.11674pt}}{{\vbox{\hbox{$\scriptscriptstyle-$ }}\kern-5.48965pt}}{{\vbox{\hbox{$\scriptscriptstyle-$ }}\kern-5.31259pt}}\!\int_{\{1<|z_{i}|<4,|z_{j}|<4,\forall j\neq i\}}|\Phi|\lesssim\mathchoice{{\vbox{\hbox{$\textstyle-$ }}\kern-7.83337pt}}{{\vbox{\hbox{$\scriptstyle-$ }}\kern-6.11674pt}}{{\vbox{\hbox{$\scriptscriptstyle-$ }}\kern-5.48965pt}}{{\vbox{\hbox{$\scriptscriptstyle-$ }}\kern-5.31259pt}}\!\int_{\{1<|z_{j}|<4,\forall j\}}|\Phi|,

so Φ\Phi is controlled in L1L^{1} on an annulus enclosing B⁡(1)B(1), and we can bound −∫B⁡(1)|Φ|\mathchoice{{\vbox{\hbox{$\textstyle-$ }}\kern-7.83337pt}}{{\vbox{\hbox{$\scriptstyle-$ }}\kern-6.11674pt}}{{\vbox{\hbox{$\scriptscriptstyle-$ }}\kern-5.48965pt}}{{\vbox{\hbox{$\scriptscriptstyle-$ }}\kern-5.31259pt}}\!\int_{B(1)}|\Phi| similar to the n=1n=1 case. ∎

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