Spherical Harmonics - Higher Dimensions

Higher Dimensions

The classical spherical harmonics are defined as functions on the unit sphere S2 inside three-dimensional Euclidean space. Spherical harmonics can be generalized to higher dimensional Euclidean space Rn as follows. Let P denote the space of homogeneous polynomials of degree ℓ in n variables. That is, a polynomial P is in P provided that

Let A denote the subspace of P consisting of all harmonic polynomials; these are the solid spherical harmonics. Let H denote the space of functions on the unit sphere

obtained by restriction from A.

The following properties hold:

  • The spaces H are dense in the set of continuous functions on Sn−1 with respect to the uniform topology, by the Stone-Weierstrass theorem. As a result, they are also dense in the space L2(Sn−1) of square-integrable functions on the sphere.
  • For all ƒH, one has
where ΔSn−1 is the Laplace–Beltrami operator on Sn−1. This operator is the analog of the angular part of the Laplacian in three dimensions; to wit, the Laplacian in n dimensions decomposes as
  • It follows from the Stokes theorem and the preceding property that the spaces H are orthogonal with respect to the inner product from L2(Sn−1). That is to say,
for ƒH and gHk for k ≠ ℓ.
  • Conversely, the spaces H are precisely the eigenspaces of ΔSn−1. In particular, an application of the spectral theorem to the Riesz potential gives another proof that the spaces H are pairwise orthogonal and complete in L2(Sn−1).
  • Every homogeneous polynomial PP can be uniquely written in the form
P(x) = P_\ell(x) + |x|^2P_{\ell-2} + \cdots + \begin{cases}
|x|^\ell P_0 & \ell \rm{\ even}\\
|x|^{\ell-1} P_1(x) & \ell\rm{\ odd}
\end{cases}
where PjAj. In particular,

An orthogonal basis of spherical harmonics in higher dimensions can be constructed inductively by the method of separation of variables, by solving the Sturm-Liouville problem for the spherical Laplacian

where φ is the axial coordinate in a spherical coordinate system on Sn−1. The end result of such a procedure is


Y_{l_1, \dots l_{n-1}} (\theta_1, \dots \theta_{n-1}) = \frac{1}{\sqrt{2\pi}} e^{i l_1 \theta_1} \prod_{j = 2}^{n-1} {}_j \bar{P}^{l_{n-1} - 1}_{l_j} (\theta_j)

where the indices satisfy |ℓ1| ≤ ℓ2 ≤ ... ≤ ℓn−1 and the eigenvalue is −ℓn−1(ℓn−1 + n−2). The functions in the product are defined in terms of the Legendre function


{}_j \bar{P}^l_{L} (\theta) = \sqrt{\frac{2L+j-1}{2} \frac{(L+l+j-2)!}{(L-l)!}} \sin^{\frac{2-j}{2}} (\theta) P^{-(l + \frac{j-2}{2})}_{L+\frac{j-2}{2}} (\cos \theta)

Read more about this topic:  Spherical Harmonics

Famous quotes containing the words higher and/or dimensions:

    If all power is in the people, if there is no higher law than their will, and if by counting their votes, their will may be ascertained—then the people may entrust all their power to anyone, and the power of the pretender and the usurper is then legitimate. It is not to be challenged since it came originally from the sovereign people.
    Walter Lippmann (1889–1974)

    It seems to me that we do not know nearly enough about ourselves; that we do not often enough wonder if our lives, or some events and times in our lives, may not be analogues or metaphors or echoes of evolvements and happenings going on in other people?—or animals?—even forests or oceans or rocks?—in this world of ours or, even, in worlds or dimensions elsewhere.
    Doris Lessing (b. 1919)