ScalingStacks

Lemma 4.12 . [03HQ]

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

Let (𝒞,g𝒞)(\mathcal{C},g_{\mathcal{C}}) be the model space with a fixed fiber (Y3,h0)(Y^{3},h_{0}). Let K0≥1K_{0}\geq 1 and let ξ∈C2​K0​(𝒞)\xi\in C^{2K_{0}}(\mathcal{C}) satisfy the expansion

(4.123) ξ⁡(z,𝒚)=∑k=1∞ξk​(z)⋅φk​(𝒚).\xi(z,\bm{y})=\sum\limits_{k=1}^{\infty}\xi_{k}(z)\cdot\varphi_{k}(\bm{y}).

In addition, assume that there is some η0≠0\eta_{0}\neq 0 such that for every 0≤m≤2​K00\leq m\leq 2K_{0},

(4.124) |∇mξ​(z,𝒚)|=O⁡(eη0​z),|\nabla^{m}\xi(z,\bm{y})|=O(e^{\eta_{0}z}),

then for every z≥1z\geq 1 and k∈ℤ+k\in\mathbb{Z}_{+},

(4.125) |ξk​(z)|≤C​eη0​z(Λk)K0,|\xi_{k}(z)|\leq\frac{Ce^{\eta_{0}z}}{(\Lambda_{k})^{K_{0}}},

where the constant C>0C>0 is independent of kk and zz.

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