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 8.1 .
Let ( X m + n , g ) ≡ ( ℝ m × K n , g ℝ m ⊕ h ) (X^{m+n},g)\equiv(\mathbb{R}^{m}\times K^{n},g_{\mathbb{R}^{m}}\oplus h) be a Riemann product of a Euclidean space ( ℝ m , g ℝ m ) (\mathbb{R}^{m},g_{\mathbb{R}^{m}}) and a compact Riemannian manifold ( K n , h ) (K^{n},h) . For any point p = ( p 1 , p 2 ) ∈ X m + n p=(p_{1},p_{2})\in X^{m+n} , there exists a Green’s function G p G_{p} on X X such that
(1)
− Δ g G p = 2 π δ p -\Delta_{g}G_{p}=2\pi\delta_{p} .
(2)
There are constants ϵ > 0 \epsilon>0 , R > 0 R>0 and C > 0 C>0 , independent of p p , such that
(8.1)
| G p ( x ) − Φ m ( x 1 ) | ≤ C e − ϵ ⋅ | x 1 − p 1 | |G_{p}(x)-\Phi_{m}(x_{1})|\leq Ce^{-\epsilon\cdot|x_{1}-p_{1}|}
for any x = ( x 1 , x 2 ) ∈ X m + n ∖ B R ( p ) x=(x_{1},x_{2})\in X^{m+n}\setminus B_{R}(p) , where Φ m : ℝ + → ℝ \Phi_{m}:\mathbb{R}_{+}\to\mathbb{R} is the standard Green’s function on ℝ m \mathbb{R}^{m} with a singularity at p 1 p_{1} .