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.
Source coverage notes Source fidelity gap: the original arXiv HTML omits an author TeX footnote attached to equation e:def-omega, including its reference to Remark r:error-function. The retained HTML is preserved as published; the original author TeX remains available. TeX correspondence is not complete. Complete original source context · Original author HTML
Lemma 6.4 (Nonlinear error estimate).
For any sufficiently large T ≫ 1 T\gg 1 , let ℳ T \mathcal{M}_{T} be the neck endowed with the C 2 , α C^{2,\alpha} -structure ( ω T , Ω T ) (\omega_{T},\Omega_{T}) .
Then there exists a constant C N > 0 C_{N}>0 independent of
T ≫ 1 T\gg 1 such that for all
(6.32)
ϱ ∈ ( 0 , 1 2 ) \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 ≤ C N ⋅ ϱ ⋅ ‖ − 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}}.