ScalingStacks

Proof. [050C]

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.

The first item is a direct calculation. An convenient way to see this is to use the following two facts

  1. (1)

    A homogeneous polynomial degree kk polynomial restricts to an eigenfunction of the Hodge-Laplacian ΔS2\Delta_{S^{2}} on the unit sphere, with eigenvalue k⁡(k+1)k(k+1).

  2. (2)

    Given an eigenfunction hh of ΔS2\Delta_{S^{2}} on the unit sphere with eigenvalue kk, for any ll, we can extend hh to a homogeneous function hlh_{l} on ℝ3∖{0}\mathbb{R}^{3}\setminus\{0\} of degree ll, and

    (3.162) Δ0​hl=r−2​(k−l⁡(l+1))​hl\Delta_{0}h_{l}=r^{-2}(k-l(l+1))h_{l}

For the second item it is possible to write down an explicit inverse to Δ0\Delta_{0}. Here we provide a quick abstract proof. First we notice □:𝒫4→𝒫4\square:\mathcal{P}_{4}\to\mathcal{P}_{4} is a well-defined linear map. This follows from the standard computations

r5​Δ0​(r−3​f)\displaystyle r^{5}\Delta_{0}(r^{-3}f) =\displaystyle= r5Δ0(r−3)⋅f−2r5∇(r−3)⋅∇f+r2Δ0f\displaystyle r^{5}\Delta_{0}(r^{-3})\cdot f-2r^{5}\nabla(r^{-3})\cdot\nabla f+r^{2}\Delta_{0}f
=\displaystyle= −6f−3∇(r2)⋅∇f+r2Δ0f.\displaystyle-6f-3\nabla(r^{2})\cdot\nabla f+r^{2}\Delta_{0}f.

Since each term in the above formula is a polynomial in 𝒫4\mathcal{P}_{4}, so □​f∈𝒫4\square f\in\mathcal{P}_{4}.

Now to prove □\square is an isomorphism it suffices to prove it has a trivial kernel in 𝒫4\mathcal{P}_{4}. Let u≡r−3​fu\equiv r^{-3}f, then u=O⁡(r)u=O(r) for both r→0r\to 0 and r→∞r\to\infty. If Δ0​(u)=0\Delta_{0}(u)=0, then uu is harmonic on ℝ3∖{0}\mathbb{R}^{3}\setminus\{0\}. The removable singularity theorem implies that uu extends smoothly on ℝ3\mathbb{R}^{3}. Since u=O⁡(r)u=O(r) as r→∞r\to\infty, applying the standard derivative estimate for harmonic functions, we conclude ∇2u≡0\nabla^{2}u\equiv 0. Therefore, uu must be a linear function. Noticing f∈𝒫4f\in\mathcal{P}_{4}, we conclude f≡0f\equiv 0. The proof is done.

∎

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