ScalingStacks

Proof. [050I]

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

Proof.

Suppose we are given a compactly supported test form χ∈Ω0m−3​(𝒰)\chi\in\Omega_{0}^{m-3}(\mathcal{U}), then we apply integration by parts once and we have

(3.205) (ϕ2,Δ​χ)=∫𝒰ϕ2∧(d​d∗+d∗​d)​χ=∫𝒰d​ϕ2∧d∗​χ−∫𝒰d∗​ϕ2∧𝑑χ.(\phi_{2},\Delta\chi)=\int_{\mathcal{U}}\phi_{2}\wedge(dd^{*}+d^{*}d)\chi=\int_{\mathcal{U}}d\phi_{2}\wedge d^{*}\chi-\int_{\mathcal{U}}d^{*}\phi_{2}\wedge d\chi.

Here there is no boundary term because ϕ2=O⁡(r−1)\phi_{2}=O(r^{-1}). Notice that (3.133) and (3.190) implies d​ϕ2=O′​(1)d\phi_{2}=O^{\prime}(1), so

(3.206) ∫𝒰d​ϕ2∧d∗​χ=∫𝒰d∗​d​ϕ2∧χ.\int_{\mathcal{U}}d\phi_{2}\wedge d^{*}\chi=\int_{\mathcal{U}}d^{*}d\phi_{2}\wedge\chi.

On the other hand, by (3.139),

(3.207) d∗​ϕ2=−yα2​r3​d​yα^+ζ,d^{*}\phi_{2}=-\frac{y_{\alpha}}{2r^{3}}{}dy_{\hat{\alpha}}+\zeta,

where ζ\zeta is a 22-form satisfying ζ=O′​(r−1)\zeta=O^{\prime}(r^{-1}). Denote by Sϵ2S_{\epsilon}^{2} the normal geodesic sphere bundle {r=ϵ}\{r=\epsilon\}, then we get that

(3.208) −∫𝒰d∗ϕ2∧dχ\displaystyle-\int_{\mathcal{U}}d^{*}\phi_{2}\wedge d\chi =\displaystyle= ∫𝒰d​d∗​ϕ2∧χ+∫Sϵ2d∗​ϕ2∧χ\displaystyle\int_{\mathcal{U}}dd^{*}\phi_{2}\wedge\chi+\int_{S_{\epsilon}^{2}}d^{*}\phi_{2}\wedge\chi
=\displaystyle= ∫𝒰d​d∗​ϕ2∧χ+limϵ→012​ϵ3​∫Sϵ(yα​d​yα^+ϵ2​ζ)∧χ.\displaystyle\int_{\mathcal{U}}dd^{*}\phi_{2}\wedge\chi+\lim_{\epsilon\rightarrow 0}\frac{1}{2\epsilon^{3}}{}\int_{S_{\epsilon}}(y_{\alpha}dy_{\hat{\alpha}}+\epsilon^{2}\zeta)\wedge\chi.

By direct calculation of the last term on the right hand side we obtain

(3.209) −∫𝒰d∗ϕ2∧dχ=∫𝒰dd∗ϕ2∧χ+2π∫Pχ.-\int_{\mathcal{U}}d^{*}\phi_{2}\wedge d\chi=\int_{\mathcal{U}}dd^{*}\phi_{2}\wedge\chi+2\pi{}\int_{P}\chi.

This concludes the proof. ∎

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