ScalingStacks

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.

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 K0≥2​n+1K_{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∈C3​K0,α({z≥1})v\in C^{3K_{0},\alpha}(\{z\geq 1\}) for and

(5.217) |v|=O⁡(eη0⋅z​(𝒙)n2),|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∈C3​K0+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η⋅zn2,|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>0C>0 is independent of 𝐱∈𝒞n\bm{x}\in\mathcal{C}^{n}.

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