ScalingStacks

Lemma 3.19 . [0437]

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

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δ,0k,α≤1\left\lVert f\right\rVert_{C^{k,\alpha}_{\delta,0}}\leq 1. Then ∇ga2Δa−1​f\nabla^{2}_{g_{a}}\Delta_{a}^{-1}f is estimated on ℬν+\mathcal{B}^{+}_{\nu} by

|∇ga2Δa−1​f|ga≤C​ν​{Aδ/4​ℓδℓ≲A1/2,A3​δ/4ℓ≳A1/2.|\nabla^{2}_{g_{a}}\Delta_{a}^{-1}f|_{g_{a}}\leq C\nu\begin{cases}A^{\delta/4}\ell^{\delta}\quad&\ell\lesssim A^{1/2},\\ A^{3\delta/4}\quad&\ell\gtrsim A^{1/2}.\end{cases}

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