ScalingStacks

Proof. [046S]

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.

Let GNUT{G}_{\text{NUT}} be the Green operator on the model space, so u′=GNUT​fu^{\prime}={G}_{\text{NUT}}f is an S1S^{1}-invariant function. Applying Hein’s package on Poisson equations as in Corollary 2.17 with a simple scaling argument, the function u′u^{\prime} decays like

|u′|≤C​A−1​(A1/2​r+1)−3+ϵ.|u^{\prime}|\leq CA^{-1}(A^{1/2}r+1)^{-3+\epsilon}.

The decay exponent −3+ϵ-3+\epsilon here comes from the quintic volume growth rate of gNUTg_{\text{NUT}}. Since the model space is smooth, we can bootstrap this to a weighted C2,αC^{2,\alpha} estimate on u′u^{\prime}. The function uu is obtained by cutting off u′u^{\prime} at a dyadic scale r∼A1/4r\sim A^{1/4}. The cutoff error is controlled by the Hessian estimate. ∎

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