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
By (5),
We can take a k0≫1k_{0}\gg 1 such that, for k>k0k>k_{0},
by (2), (7) and (8). We obtain the first formula in the conclusion.
Note that Dσ𝔉k(y,σ)=Dσ𝔉k(0,0)+(Dσ𝔉k(y,σ)−Dσ𝔉k(0,0))D_{\sigma}\mathfrak{F}_{k}(y,\sigma)=D_{\sigma}\mathfrak{F}_{k}(0,0)+(D_{\sigma}\mathfrak{F}_{k}(y,\sigma)-D_{\sigma}\mathfrak{F}_{k}(0,0)), Dσ𝔉k(0,0)D_{\sigma}\mathfrak{F}_{k}(0,0) is invertible, and ‖Dσ𝔉k(0,0)−1‖≤C¯\|D_{\sigma}\mathfrak{F}_{k}(0,0)^{-1}\|\leq\overline{C}. By the same arguments as in the proof of Lemma 4.3, and
Dσ𝔉k(y,σ)D_{\sigma}\mathfrak{F}_{k}(y,\sigma) is also invertible, and
∎
42 source-bound objects; statement and proof tags appear beside their original text.