ScalingStacks

Proof. [02HY]

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.

From the definition of the Cδ−10,αC^{0,\alpha}_{\delta-1}–norm it is immediate to check that

‖u​v‖Cδ−10,α≤C​‖ρϵδ−1‖C0​‖u‖Cδ−10,α​‖v‖Cδ−10,α.\|u\,v\|_{C^{0,\alpha}_{\delta-1}}\leq C\|\rho_{\epsilon}^{\delta-1}\|_{C^{0}}\|u\|_{C^{0,\alpha}_{\delta-1}}\|v\|_{C^{0,\alpha}_{\delta-1}}.

Since ρϵ≥c​ϵ\rho_{\epsilon}\geq c\,\epsilon and δ−1<0\delta-1<0 the result follows. ∎

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