ScalingStacks

Lemma 6.4 (Nonlinear error estimate) . [054Y]

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 6.4 (Nonlinear error estimate).

For any sufficiently large T≫1T\gg 1, let ℳT\mathcal{M}_{T} be the neck endowed with the C2,αC^{2,\alpha}-structure (ωT,ΩT)(\omega_{T},\Omega_{T}). Then there exists a constant CN>0C_{N}>0 independent of T≫1T\gg 1 such that for all

(6.32) ϱ∈(0,12)\varrho\in(0,\frac{1}{2})

and

(6.33) −1​∂∂¯​ϕ2∈Bϱ​(𝟎)¯⊂𝔖1,−1​∂∂¯​ϕ2∈Bϱ​(𝟎)¯⊂𝔖1,\sqrt{-1}\partial\bar{\partial}\phi_{2}\in\overline{B_{\varrho}(\bm{0})}\subset\mathfrak{S}_{1},\quad\sqrt{-1}\partial\bar{\partial}\phi_{2}\in\overline{B_{\varrho}(\bm{0})}\subset\mathfrak{S}_{1},

we have the pointwise estimate

(6.34) ‖𝒩⁡(−1​∂∂¯​ϕ1)−𝒩⁡(−1​∂∂¯​ϕ2)‖𝔖2≤CN⋅ϱ⋅‖−1​∂∂¯​(ϕ1−ϕ2)‖𝔖1.\displaystyle\|\mathscr{N}(\sqrt{-1}\partial\bar{\partial}\phi_{1})-\mathscr{N}(\sqrt{-1}\partial\bar{\partial}\phi_{2})\|_{\mathfrak{S}_{2}}\leq C_{N}\cdot\varrho\cdot\|\sqrt{-1}\partial\bar{\partial}(\phi_{1}-\phi_{2})\|_{\mathfrak{S}_{1}}.

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