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)
A homogeneous polynomial degree polynomial restricts to an eigenfunction of the Hodge-Laplacian on the unit sphere, with eigenvalue .
- (2)
Given an eigenfunction of on the unit sphere with eigenvalue , for any , we can extend to a homogeneous function on of degree , and
(3.162)
For the second item it is possible to write down an explicit inverse to . Here we provide a quick abstract proof. First we notice is a well-defined linear map. This follows from the standard computations
Since each term in the above formula is a polynomial in , so .
Now to prove is an isomorphism it suffices to prove it has a trivial kernel in . Let , then for both and . If , then is harmonic on . The removable singularity theorem implies that extends smoothly on . Since as , applying the standard derivative estimate for harmonic functions, we conclude . Therefore, must be a linear function. Noticing , we conclude . The proof is done.
∎