ScalingStacks

Lemma 5.13 . [054E]

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

Let K0≥1K_{0}\geq 1 and let ξ∈C2​K0​(Y2​n−1)\xi\in C^{2K_{0}}(Y^{2n-1}) satisfy the L2L^{2}-expansion

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

then for all k∈ℤ+k\in\mathbb{Z}_{+},

(5.177) |ξk|≤C​|ξ|C2​K0​(Y2​n−1)(Λk)K0,|\xi_{k}|\leq\frac{C|\xi|_{C^{2K_{0}}(Y^{2n-1})}}{(\Lambda_{k})^{K_{0}}},

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

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