Perspectives on spherical harmonics
Spherical harmonics appear in lots of different places and have different interpretations that at first sight don’t seem to have anything to do with one another. In this post, I’ll try to connect three very common ones (namely as harmonic polynomials, as eigenfunctions of the Laplacian and as irreps of ).
We’re going to define spherical harmonics as homogeneous harmonic polynomials . Let’s break this down:
- A polynomial of three variables is a finite sum of the form over multi-indices . Some examples are or .
- The coefficients can be complex numbers, but we will only plug in real numbers for , and . That’s why we interpret polynomials as functions .
- Homogeneous mean that is the same for all the we sum over, so all the terms in the sum have the same degree. For example, is homogeneous, while is not.
- Harmonic means that the Laplacian of the polynomial vanishes: is harmonic if . Here, .
We will write for the space of all homogeneous harmonic polymonials of degree (meaning for all summands).
If you’ve seen spherical harmonics before (and you presumably have, if you’re reading this post), it’s probably been in the form of functions \(Y_l^m(\theta, \varphi)\) defined on the sphere. So why are we talking about these polynomials on instead?
The answer is that every polynomial can be written in spherical coordinates as
for some function . To see why, write , and in spherical coordinates and plug them into the polynomial. They each have a factor of and then some factors depending on and . So because is homogeneous, each summand consists of a factor times something that depends only on and . So we can think of homogeneous polynomials as polynomials defined on the sphere — their continuation to is automatically determined by their degree . Therefore, we won’t really distinguish between homogeneous harmonic polynomials defined on and their restrictions to , we will refer to both as spherical harmonics.
This should also explain the name: spherical harmonics are harmonic polynomials living on the sphere.
The functions that you may have seen are just a particular choice of basis for the vector space of spherical harmonics. If you multiply them by , you get polynomials in , and
is a basis for .
Eigenfunctions of the Laplacian
One of the reasons that spherical harmonics are so ubiquitous is that they are the eigenfunctions of the spherical Laplacian . They key to that is the following fact (which is just a brief calculation): for a function ,
So is harmonic if and only if
This already proves that spherical harmonics are eigenfunctions of the spherical Laplacian.
But we can say more than that: if we take any eigenfunction of the spherical Laplacian and multiply by (with such that gives the eigenvalue1), then must be harmonic. So the eigenfunctions of the spherical Laplacian are in fact in 1-to-1 correspondence with harmonic homogeneous functions on . It then turns out — and this part is far from obvious — that all such functions are polynomials2! So the spherical harmonics aren’t just eigenfunctions of the spherical Laplacian, they make up all of its eigenfunctions.
Irreducible representations of
Another famous role that spherical harmonics play is as the irreducible representations of (more precisely: the (complex) irreducible representations of are exactly the spaces ). This is connected to the fact that they are the eigenfunctions of the spherical Laplacian.
That the eigenspaces of the spherical Laplacian are representations of follows directly from the fact that the Laplacian commutes with rotations: we have a representation via
for any rotation and . For an eigenfunction of the Laplacian, we get
so each eigenspace is invariant under the action of . Therefore, the representation on can be restricted to each eigenspace, so each gives a representation of .
Showing that these representations are in fact irreducible is much more difficult (there’s a proof here for example, if you really want to dive into that). But if we just take that for granted, it’s again easy to show that every irreducible subrepresentation of is a space of spherical harmonics: because the Laplacian is an equivariant map on each such representation, Schur’s Lemma implies that it must be either the zero map (which it isn’t) or multipication by a constant . Therefore, each irreducible representation is contained in an eigenspace of the Laplacian. But these eigenspaces are themselves irreducible, so the representation in question must already be equal to the eigenspace.
Finally, it’s possible to show that all irreducible representations of are subrepresentations of . This is again much more difficult and is also a very special fact about (for example, the Laplacian’s eigenspaces are still irreducible representations in higher dimensions, but they are not the only ones anymore). But combining this with our results from above, the spherical harmonics make up all the irreducible representations of .
- I’m skipping over some details here, see for example Claim 4.0.1 here↩
- See Corollary 4.0.6 in the same document for a proof↩