ScalingStacks

Proposition 4.37 . [046W]

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

Proposition 4.37.

Given −3<δ<−1-3<\delta<-1 and 1≪ν≪A3/81\ll\nu\ll A^{3/8}, let ff be an S1S^{1}-invariant function compactly supported in Mν−M^{-}_{\nu} with norm ‖f‖Cδα=1\left\lVert f\right\rVert_{C^{\alpha}_{\delta}}=1. Then there is an S1S^{1}-invariant function uu approximately solving the Poisson equation:

‖Δg(2)​u−f‖Cδα​(Mν−)≪1,\left\lVert\Delta_{g^{(2)}}u-f\right\rVert_{C^{\alpha}_{\delta}(M^{-}_{\nu})}\ll 1,

with the Hessian bound

‖∇g(2)2u‖Cδα​(Mν−)≤C,‖du‖Cδ+11,α​(Mν−)≤CA−1/2.\left\lVert\nabla^{2}_{g^{(2)}}u\right\rVert_{C^{\alpha}_{\delta}(M^{-}_{\nu})}\leq C,\quad\left\lVert du\right\rVert_{C^{1,\alpha}_{\delta+1}(M^{-}_{\nu})}\leq CA^{-1/2}.

The constants depend only on δ,α,κ\delta,\alpha,\kappa and the scale invariant ellipticity bound on ap​q¯a_{p\bar{q}}.

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