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
Proof.
Suppose we are given a compactly supported test form χ ∈ Ω 0 m − 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 r 3 d y α ^ + ζ , d^{*}\phi_{2}=-\frac{y_{\alpha}}{2r^{3}}{}dy_{\hat{\alpha}}+\zeta,
where ζ \zeta is a 2 2 -form satisfying ζ = O ′ ( r − 1 ) \zeta=O^{\prime}(r^{-1}) .
Denote by S ϵ 2 S_{\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 ϵ 2 d ∗ ϕ 2 ∧ χ \displaystyle\int_{\mathcal{U}}dd^{*}\phi_{2}\wedge\chi+\int_{S_{\epsilon}^{2}}d^{*}\phi_{2}\wedge\chi
= \displaystyle=
∫ 𝒰 d d ∗ ϕ 2 ∧ χ + lim ϵ → 0 1 2 ϵ 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 χ = ∫ 𝒰 d d ∗ ϕ 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.
∎