ScalingStacks

Proposition 3.22 . [043E]

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

Let −3<δ<0-3<\delta<0. Let a function ff be compactly supported in {ℓ>2A−1/4}⊂ℬν+\{\ell>2A^{-1/4}\}\subset\mathcal{B}^{+}_{\nu} with ‖f‖Cδk,α≤1\left\lVert f\right\rVert_{C^{k,\alpha}_{\delta}}\leq 1. Then in the region {|μ→|a≳A−1/4}∩ℬν+\{|\vec{\mu}|_{a}\gtrsim A^{-1/4}\}\cap\mathcal{B}^{+}_{\nu}

‖∇ga2Δa−1​f‖Cδk,α≤C.\left\lVert\nabla^{2}_{g_{a}}\Delta_{a}^{-1}f\right\rVert_{C^{k,\alpha}_{\delta}}\leq C.

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