ScalingStacks

Proposition 4.31 . [046J]

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

(Periodic Euclidean region) Let −3<δ<0-3<\delta<0. Let ff be a function compactly supported in ℬν−∩{R>A−1/2}\mathcal{B}^{-}_{\nu}\cap\{R>A^{-1/2}\} with ‖f‖Cδ,0k,α≤1\left\lVert f\right\rVert_{C^{k,\alpha}_{\delta,0}}\leq 1 (respectively ‖f‖Cδk,α≤1\left\lVert f\right\rVert_{C^{k,\alpha}_{\delta}}\leq 1). Then Δa−1​f\Delta_{a}^{-1}f satisfies the gag_{a}-Hessian bound on ℬν−∩{R≳A−1/2}\mathcal{B}^{-}_{\nu}\cap\{R\gtrsim A^{-1/2}\},

‖∇ga2Δa−1​f‖Cδ,0k,α≤C​ν,resp. ​‖∇ga2Δa−1​f‖Cδk,α≤C.\left\lVert\nabla^{2}_{g_{a}}\Delta_{a}^{-1}f\right\rVert_{C^{k,\alpha}_{\delta,0}}\leq C\nu,\quad\text{resp. }\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.