ScalingStacks

Claim 4.18 . [03I4]

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

Claim 4.18.

Assume that (X4,g)(X^{4},g) is δ\delta-asymptotically Calabi. Let δ^∈(0,δ/10)\hat{\delta}\in(0,\delta/10) such that uu satisfies

(4.173) Δg​u=0u=O⁡(eδ^​z),\displaystyle\begin{split}\Delta_{g}u&=0\\ u&=O(e^{\hat{\delta}z}),\end{split}

then for every fixed k∈ℤ+k\in\mathbb{Z}_{+}, let 𝐱0∈[T0(k),+∞)×Y3\bm{x}_{0}\in[T_{0}(k),+\infty)\times Y^{3} with T0​(k)≥100k3>0T_{0}(k)\geq 100^{k^{3}}>0 and denote z0≡z⁡(𝐱0)z_{0}\equiv z(\bm{x}_{0}), we have

(4.174) ‖∇kΔg𝒞​u​(𝒙0)‖≤C⁡(k,g)⋅e−δ​z02.\|\nabla^{k}\Delta_{g_{\mathcal{C}}}u(\bm{x}_{0})\|\leq C(k,g)\cdot e^{-\frac{\delta z_{0}}{2}}.

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