Lemma 3.18 . [050B] 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.18 .
Let Δ 0 \Delta_{0} be the standard Hodge Laplacian on the Euclidean space ℝ 3 \mathbb{R}^{3} , then the following holds:
(1)
Let { y 1 , y 2 , y 3 } \{y_{1},y_{2},y_{3}\} be the Cartesian coordinates of ℝ 3 \mathbb{R}^{3} , then
(3.160)
{ Δ 0 r = − 2 r , Δ 0 ( y α y β r ) = 4 y α y β r 3 , α ≠ β , Δ 0 ( ( y α 2 r − r ) ) = 4 y α 2 r 3 , Δ 0 ( y α r ) = 2 y α r 3 . \displaystyle\begin{cases}\Delta_{0}r=-\frac{2}{r},\\
\Delta_{0}(\frac{y_{\alpha}y_{\beta}}{r})=\frac{4y_{\alpha}y_{\beta}}{r^{3}},&\alpha\neq\beta,\\
\Delta_{0}((\frac{y_{\alpha}^{2}}{r}-r))=\frac{4y_{\alpha}^{2}}{r^{3}},\\
\Delta_{0}(\frac{y_{\alpha}}{r})=\frac{2y_{\alpha}}{r^{3}}.\end{cases}
(2)
Denote by 𝒫 4 \mathcal{P}_{4} the space of all homogeneous degree 4 polynomials on ℝ 3 \mathbb{R}^{3} , then the operator
(3.161)
□ : 𝒫 4 → 𝒫 4 ; f ↦ r 5 Δ 0 ( r − 3 f ) \square:\mathcal{P}_{4}\rightarrow\mathcal{P}_{4};f\mapsto r^{5}\Delta_{0}(r^{-3}f)
is an isomorphism.