ScalingStacks

Proof. [0410]

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

Proof.

The absolute value is estimated by Corollary 2.16:

|Gg(2)​f|≤C​(1+|μ→|a)−2+ϵ.|G_{g^{(2)}}f|\leq C(1+|\vec{\mu}|_{a})^{-2+\epsilon}.

The higher order estimate ‖∇g(2)2Gg(2)​f‖C−2,−2+ϵk,α​(ℂ3)≤C\left\lVert\nabla^{2}_{g^{(2)}}G_{g^{(2)}}f\right\rVert_{C^{k,\alpha}_{-2,-2+\epsilon}(\mathbb{C}^{3})}\leq C follows by bootstrapping, which controls Cδ,τk,αC^{k,\alpha}_{\delta,\tau} norm for the given range of weight exponents δ,τ\delta,\tau. ∎

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