ScalingStacks

Lemma 2.22 . [040Z]

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

Assume

{Either −2≤δ≤0,τ>−2,Or δ≤−2,δ+τ>−4,\begin{cases}\text{Either }&-2\leq\delta\leq 0,\quad\tau>-2,\\ \text{Or }&\delta\leq-2,\quad\delta+\tau>-4,\end{cases}

and let 0<ϵ≪10<\epsilon\ll 1 depending on δ,τ\delta,\tau. If ff is supported in the ball {|μ→|a<4C3}\{|\vec{\mu}|_{a}<4C_{3}\}, with bound ‖f‖Cδ,τk,α​(ℂ3)≤1\left\lVert f\right\rVert_{C^{k,\alpha}_{\delta,\tau}(\mathbb{C}^{3})}\leq 1 or equivalently ‖f‖C0,0k,α​(ℂ3)≲1\left\lVert f\right\rVert_{C^{k,\alpha}_{0,0}(\mathbb{C}^{3})}\lesssim 1, then ‖Gg(2)​f‖C0,−2+ϵk,α​(ℂ3)≤C,\left\lVert G_{g^{(2)}}f\right\rVert_{C^{k,\alpha}_{0,-2+\epsilon}(\mathbb{C}^{3})}\leq C, so in particular

‖∇g(2)2Gg(2)​f‖Cδ,τk,α​(ℂ3)≤‖∇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}_{\delta,\tau}(\mathbb{C}^{3})}\leq\left\lVert\nabla^{2}_{g^{(2)}}G_{g^{(2)}}f\right\rVert_{C^{k,\alpha}_{-2,-2+\epsilon}(\mathbb{C}^{3})}\leq C.

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