ScalingStacks

Lemma 4.35 . [046R]

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

Lemma 4.35.

(Model Laplacian) Given 0<ϵ≪10<\epsilon\ll 1, let ff be an S1S^{1}-invariant function on the model space supported in {r≲A−1/2}\{r\lesssim A^{-1/2}\}, with bound ‖f‖C0k,α​(gNUT)≤1\left\lVert f\right\rVert_{C^{k,\alpha}_{0}(g_{\text{NUT}})}\leq 1. Then there is a function uu compactly supported in {r≲A1/4}\{r\lesssim A^{1/4}\}, such that on an annulus region at any given dyadic scale r∼r0r\sim r_{0} (or the ball region r≲A−1/2r\lesssim A^{-1/2}) we have a decay estimate

‖u‖C0k+2,α​(r∼r0,gNUT)≤C​A−1​(A1/2​r0+1)−3+ϵ,\left\lVert u\right\rVert_{C^{k+2,\alpha}_{0}(r\sim r_{0},g_{\text{NUT}})}\leq CA^{-1}(A^{1/2}r_{0}+1)^{-3+\epsilon},

and ΔgNUT​u−f\Delta_{g_{\text{NUT}}}u-f is only supported on one dyadic scale {r∼A1/4}\{r\sim A^{1/4}\} with the bound

‖ΔgNUT​u−f‖C−2k,α​(gNUT)≤C​A3​(−3+ϵ)/4.\left\lVert\Delta_{g_{\text{NUT}}}u-f\right\rVert_{C^{k,\alpha}_{-2}(g_{\text{NUT}})}\leq CA^{3(-3+\epsilon)/4}.

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