ScalingStacks

Theorem 5.6 [0328]

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

Theorem 5.6

For any simply connected open set U⊆B0U\subseteq B_{0} with U¯⊆B0\overline{U}\subseteq B_{0}, and any k≥2k\geq 2, 0<α<10<\alpha<1, there exists constants C,C′C,C^{\prime}, and ϵ0\epsilon_{0} such that for all choices of 𝐁{\bf B} in a fundamental domain for the B-field and any ϵ<ϵ0\epsilon<\epsilon_{0},

∥uϵ∥Ck,α≤Ce−C′/ϵ.\|u_{\epsilon}\|_{C^{k,\alpha}}\leq Ce^{-C^{\prime}/\epsilon}.

Here, the norm is as in Lemma 4.1 on the region f−1​(U)f^{-1}(U), and the constants C,C′C,C^{\prime} are independent of ϵ\epsilon.

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