Lemma 5.15 . [054J] 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 5.15 .
Assume that the function ξ k ( z ) \xi_{k}(z) satisfies the following property:
there are η 0 ∈ ( − δ b / 2 , δ b / 2 ) \eta_{0}\in(-\delta_{b}/2,\delta_{b}/2) , a sequence of positive constants 𝔅 k > 0 \mathfrak{B}_{k}>0 such that
(5.206)
| ξ k ( z ) | ≤ 𝔅 k ⋅ e η 0 ⋅ z n 2 . |\xi_{k}(z)|\leq\mathfrak{B}_{k}\cdot e^{\eta_{0}\cdot z^{\frac{n}{2}}}.
Let u k ( z ) u_{k}(z) be the particular solution (5.204 ), then there exists some constant C 0 > 0 C_{0}>0 such that the particular solution u k u_{k} satisfies the uniform estimate
(5.207)
| u k ( z ) | ≤ C 0 ⋅ 𝔅 k ⋅ ( Λ k ) 1 2 n ⋅ e η ⋅ z n 2 |u_{k}(z)|\leq C_{0}\cdot\mathfrak{B}_{k}\cdot(\Lambda_{k})^{\frac{1}{2n}}\cdot e^{\eta\cdot z^{\frac{n}{2}}}
for any η > η 0 \eta>\eta_{0} .