Lemma 3.19 . [050D] 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 3.19 .
Let Δ 0 \Delta_{0} be the Hodge Laplacian on ℝ 3 \mathbb{R}^{3} , then the following holds:
(1)
Denote by ν y \nu_{y} one of the following differential forms d y α dy_{\alpha} , d y α ∧ d y β dy_{\alpha}\wedge dy_{\beta} or d y 1 ∧ d y 2 ∧ d y 3 dy_{1}\wedge dy_{2}\wedge dy_{3} . Similarly, let τ x \tau_{x} be a tangential p p -form given by τ x ≡ d x 1 ∧ … ∧ d x α p \tau_{x}\equiv dx_{1}\wedge\ldots\wedge dx_{\alpha_{p}} with 0 ≤ p ≤ m − 3 0\leq p\leq m-3 .
Let
(3.164)
ω ≡ f ( x ) h ( y ) ν y ∧ τ x , \omega\equiv f(x)h(y)\nu_{y}\wedge\tau_{x},
where f ( x ) f(x) is a smooth function defined on U U and h ( y ) = O ′ ( | y | k ) h(y)=O^{\prime}(|y|^{k}) for some k ∈ ℤ + k\in\mathbb{Z}_{+} ,
then
(3.165)
Δ ω − f ( x ) ⋅ Δ 0 ( h ( y ) ) ⋅ ν y ∧ τ x = O ′ ( | y | k − 1 ) . \Delta\omega-f(x)\cdot\Delta_{0}(h(y))\cdot\nu_{y}\wedge\tau_{x}=O^{\prime}(|y|^{k-1}).
(2)
Let f f be a smooth function defined on U ⊂ P U\subset P
and let
(3.166)
ω ≡ f ( x ) ⋅ y α r d y 1 ∧ d y 2 ∧ d y 3 , \omega\equiv f(x)\cdot\frac{y_{\alpha}}{r}dy_{1}\wedge dy_{2}\wedge dy_{3},
then
(3.167)
Δ ω = 2 r − 2 ω + r − 5 Γ 3 ( 4 ) + O ′ ( 1 ) , \displaystyle\Delta\omega=2r^{-2}\omega+r^{-5}\Gamma_{3}^{(4)}+O^{\prime}(1),
where the definition of the 3 3 -form Γ 3 ( 4 ) \Gamma_{3}^{(4)} is in ( 3.45 ) of Notation 3.9 .