I'm working on the Schrodinger equation for a hydrogen atom in a d-dimensional space, so I'm interested in the possible eigenvalues of the angular momentum part of the d-dimensional Laplace operator.
Since the angular momentum part corresponds to the quadratic casimir operator of the special orthogonal group in d dimensions one can calculate the eigenvalues of the casimir operator and gets ⌊d/2⌋∑n=1λn(λn+d−2n),
I found that the spherical harmonics correspond to a "totally symmetric tensor representation", which would explain this fact, but what is the relation between the spherical harmonics and the symmetric tensor representations? Or what is the reason that not all possible eigenvalues for the quadratic Casimir operator appear in the spherical harmonics?
Answer
One reason there are more possible eigenvalues of the Casimir operator of the rotations than appear in the spherical harmonics is that the spherical harmonics are proper representations of SO(n) while the possible values for the Casimir operator classify the possible irreducible representations of so(n).
By general Lie theoretic arguments, these lift to representations of the universal cover Spin(n)2:1→SO(n), but not every representation of the cover descends to a representation of SO(n).
In 3D, this is the only reason for eigenvalues that do not appear on the spherical harmonics. In general, the spherical harmonics only correspond to the SO(n) representations of the traceless symmetric tensors. How to see this depends on your definition of the spherical harmonics of degree ℓ.
The convenient way is to define the spherical harmonics of degree ℓ in d dimensions as the restriction of harmonic homogeneous polynomials of degree ℓ to the unit sphere, that is polynomials Pℓ in x1,…,xd such that Pℓ(λx1,…,λxd)=λℓPℓ(x1,…,xd) and ΔPℓ=0. Such a polynomial can be written as Pℓ=∑i1,…,iℓ,∑kik=ℓpi1…idxi11…xidd
Now the monomes ∏kxiki with ∑kik=ℓ correspond exactly to symmetric ℓ-tensors in k dimensions, see this answer of mine, so each Pℓ as a whole also corresponds to a symmetric tensor.
That this tensor is traceless follows from ΔPℓ=0 by a straightforward computation.
No comments:
Post a Comment