Proposition 5.16 . [054L] 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
Proposition 5.16 .
Let { z ≥ 1 } ⊂ 𝒞 n \{z\geq 1\}\subset\mathcal{C}^{n} be a subset and let K 0 ≥ 2 n + 1 K_{0}\geq 2n+1 be a positive integer.
Given any η 0 ∈ ( − δ b / 2 , δ b / 2 ) ∖ { 0 } \eta_{0}\in(-\delta_{b}/2,\delta_{b}/2)\setminus\{0\} , if v ∈ C 3 K 0 , α ( { z ≥ 1 } ) v\in C^{3K_{0},\alpha}(\{z\geq 1\}) for
and
(5.217)
| v | = O ( e η 0 ⋅ z ( 𝒙 ) n 2 ) , |v|=O(e^{\eta_{0}\cdot z(\bm{x})^{\frac{n}{2}}}),
then the Poisson equation
(5.218)
Δ g 𝒞 n u = v \Delta_{g_{\mathcal{C}^{n}}}u=v
has a solution u ∈ C 3 K 0 + 2 , α ( { z ≥ 1 } ) u\in C^{3K_{0}+2,\alpha}(\{z\geq 1\}) such that for any η > η 0 \eta>\eta_{0}
(5.219)
| u ( 𝒙 ) | + | ∇ u ( 𝒙 ) | ≤ C ⋅ e η ⋅ z n 2 , |u(\bm{x})|+|\nabla u(\bm{x})|\leq C\cdot e^{\eta\cdot z^{\frac{n}{2}}},
as z ( 𝐱 ) → + ∞ z(\bm{x})\to+\infty , where C > 0 C>0 is independent of 𝐱 ∈ 𝒞 n \bm{x}\in\mathcal{C}^{n} .