ScalingStacks

Lemma 4.36 . [046T]

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.36.

(Neighbourhood of SS) Given 0<ϵ≪10<\epsilon\ll 1 and −3+ϵ<δ<0-3+\epsilon<\delta<0, let ff be an S1S^{1}-invariant function compactly supported in Mν−∩{R≲A−1/2}M^{-}_{\nu}\cap\{R\lesssim A^{-1/2}\} with bound ‖f‖Cδα≤1\left\lVert f\right\rVert_{C^{\alpha}_{\delta}}\leq 1. Then there is a function uu on ℬ\mathcal{B} supported in {R≲A1/4}\{R\lesssim A^{1/4}\}, with decay estimates ‖u‖C−1+ϵ2,α≤C​A−1,\left\lVert u\right\rVert_{C^{2,\alpha}_{-1+\epsilon}}\leq CA^{-1}, such that ‖Δg(2)​u−f‖Cδα≪1.\left\lVert\Delta_{g^{(2)}}u-f\right\rVert_{C^{\alpha}_{\delta}}\ll 1.

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