ScalingStacks

Proof. [043C]

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.

The key observation is that if without loss of generality ff has no zeroth Fourier modes, then the convolution integral

∇ga2Ga∗f=(∇ga2Ga−∇ga2G¯a)∗f,\nabla^{2}_{g_{a}}G_{a}*f=(\nabla^{2}_{g_{a}}G_{a}-\nabla^{2}_{g_{a}}\bar{G}_{a})*f,

but Lemma 3.18 says the integral kernel ∇ga2Ga−∇ga2G¯a\nabla^{2}_{g_{a}}G_{a}-\nabla^{2}_{g_{a}}\bar{G}_{a} has exponential decay, at a rate faster than the exponential decay rate of ff itself. Thus at any point pp in the region {ℓ>A1/2}∩ℬν+\{\ell>A^{1/2}\}\cap\mathcal{B}^{+}_{\nu}, the contribution to ∇ga2Δa−1​f|p\nabla^{2}_{g_{a}}\Delta_{a}^{-1}f|_{p} from sources outside the ball {|p−q|a′≲A1/2}\{|p-q|_{a}^{\prime}\lesssim A^{1/2}\} is negligible. The contribution from sources inside the ball is treated by standard Schauder theory, and inherits the same exponential decay factor e−κ​ℓ~e^{-\kappa\tilde{\ell}} as ff itself. ∎

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