Blog Archive

Tuesday, May 9, 2023

05-09-2023-1008 - Spherical Harmonic

Spherical Harmonic


The spherical harmonics Y_l^m(theta,phi) are the angular portion of the solution to Laplace's equation in spherical coordinates where azimuthal symmetry is not present. Some care must be taken in identifying the notational convention being used. In this entry, theta is taken as the polar (colatitudinal) coordinate with theta in [0,pi], and phi as the azimuthal (longitudinal) coordinate with phi in [0,2pi). This is the convention normally used in physics, as described by Arfken (1985) and the Wolfram Language (in mathematical literature, theta usually denotes the longitudinal coordinate and phi the colatitudinal coordinate). Spherical harmonics are implemented in the Wolfram Language as SphericalHarmonicY[l, m, theta, phi].

Spherical harmonics satisfy the spherical harmonic differential equation, which is given by the angular part of Laplace's equation in spherical coordinates. Writing F=Phi(phi)Theta(theta) in this equation gives

 (Phi(phi))/(sintheta)d/(dtheta)(sintheta(dTheta)/(dtheta))+(Theta(theta))/(sin^2theta)(d^2Phi(phi))/(dphi^2)+l(l+1)Theta(theta)Phi(phi)=0.
(1)

Multiplying by sin^2theta/(ThetaPhi) gives

 [(sintheta)/(Theta(theta))d/(dtheta)(sintheta(dTheta)/(dtheta))+l(l+1)sin^2theta]+1/(Phi(phi))(d^2Phi(phi))/(dphi^2)=0.
(2)

Using separation of variables by equating the phi-dependent portion to a constant gives

 1/(Phi(phi))(d^2Phi(phi))/(dphi^2)=-m^2,
(3)

which has solutions

 Phi(phi)=Ae^(-imphi)+Be^(imphi).
(4)

Plugging in (3) into (2) gives the equation for the theta-dependent portion, whose solution is

 Theta(theta)=P_l^m(costheta),
(5)

where m=-l, -(l-1), ..., 0, ..., l-1, l and P_l^m(z) is an associated Legendre polynomial. The spherical harmonics are then defined by combining Phi(phi) and Theta(theta),

 Y_l^m(theta,phi)=sqrt((2l+1)/(4pi)((l-m)!)/((l+m)!))P_l^m(costheta)e^(imphi),
(6)

where the normalization is chosen such that

 int_0^(2pi)int_0^piY_l^m(theta,phi)Y^__(l^')^(m^')(theta,phi)sinthetadthetadphi 
=int_0^(2pi)int_(-1)^1Y_l^m(theta,phi)Y^__(l^')^(m^')(theta,phi)d(costheta)dphi 
=delta_(mm^')delta_(ll^')
(7)

(Arfken 1985, p. 681). Here, z^_ denotes the complex conjugate and delta_(mn) is the Kronecker delta. Sometimes (e.g., Arfken 1985), the Condon-Shortley phase (-1)^m is prepended to the definition of the spherical harmonics.

The spherical harmonics are sometimes separated into their real and imaginary parts,

 Y_l^m^s(theta,phi)=sqrt((2l+1)/(4pi)((l-m)!)/((l+m)!))P_l^m(costheta)sin(mphi)
(8)
 Y_l^m^c(theta,phi)=sqrt((2l+1)/(4pi)((l-m)!)/((l+m)!))P_l^m(costheta)cos(mphi).
(9)

The spherical harmonics obey

Y_l^(-l)(theta,phi)=1/(2^ll!)sqrt(((2l+1)!)/(4pi))sin^lthetae^(-ilphi)
(10)
Y_l^0(theta,phi)=sqrt((2l+1)/(4pi))P_l(costheta)
(11)
Y_l^(-m)(theta,phi)=(-1)^mY^__l^m(theta,phi),
(12)

where P_l(x) is a Legendre polynomial.

Integrals of the spherical harmonics are given by

 int_0^(2pi)int_0^piY_(l_1)^(m_1)(theta,phi)Y_(l_2)^(m_2)(theta,phi)Y_(l_3)^(m_3)(theta,phi)sinthetadthetadphi 
 =sqrt(((2l_1+1)(2l_2+1)(2l_3+1))/(4pi))(l_1 l_2 l_3; 0 0 0)(l_1 l_2 l_3; m_1 m_2 m_3),
(13)

where (l_1 l_2 l_3; m_1 m_2 m_3) is a Wigner 3j-symbol (which is related to the Clebsch-Gordan coefficients). Special cases include

int_0^(2pi)int_0^piY_L^M(theta,phi)Y_0^0(theta,phi)Y^__L^M(theta,phi)sinthetadthetadphi=1/(sqrt(4pi))
(14)
int_0^(2pi)int_0^piY_L^M(theta,phi)Y_1^0(theta,phi)Y^__(L+1)^M(theta,phi)sinthetadthetadphi=sqrt(3/(4pi))sqrt(((L+M+1)(L-M+1))/((2L+1)(2L+3)))
(15)
int_0^(2pi)int_0^piY_L^M(theta,phi)Y_1^1(theta,phi)Y^__(L+1)^(M+1)(theta,phi)sinthetadthetadphi=sqrt(3/(8pi))sqrt(((L+M+1)(L+M+2))/((2L+1)(2L+3)))
(16)
int_0^(2pi)int_0^piY_L^M(theta,phi)Y_1^1(theta,phi)Y^__(L-1)^(M+1)(theta,phi)sinthetadthetadphi=-sqrt(3/(8pi))sqrt(((L-M)(L-M-1))/((2L-1)(2L+1)))
(17)

(Arfken 1985, p. 700).

SphericalHarmonicsSphericalHarmonicsReIm

The above illustrations show |Y_l^m(theta,phi)|^2 (top), R[Y_l^m(theta,phi)]^2 (bottom left), and I[Y_l^m(theta,phi)]^2 (bottom right). The first few spherical harmonics are

Y_0^0(theta,phi)=1/21/(sqrt(pi))
(18)
Y_1^(-1)(theta,phi)=1/2sqrt(3/(2pi))sinthetae^(-iphi)
(19)
Y_1^0(theta,phi)=1/2sqrt(3/pi)costheta
(20)
Y_1^1(theta,phi)=-1/2sqrt(3/(2pi))sinthetae^(iphi)
(21)
Y_2^(-2)(theta,phi)=1/4sqrt((15)/(2pi))sin^2thetae^(-2iphi)
(22)
Y_2^(-1)(theta,phi)=1/2sqrt((15)/(2pi))sinthetacosthetae^(-iphi)
(23)
Y_2^0(theta,phi)=1/4sqrt(5/pi)(3cos^2theta-1)
(24)
Y_2^1(theta,phi)=-1/2sqrt((15)/(2pi))sinthetacosthetae^(iphi)
(25)
Y_2^2(theta,phi)=1/4sqrt((15)/(2pi))sin^2thetae^(2iphi)
(26)
Y_3^(-3)(theta,phi)=1/8sqrt((35)/pi)sin^3thetae^(-3iphi)
(27)
Y_3^(-2)(theta,phi)=1/4sqrt((105)/(2pi))sin^2thetacosthetae^(-2iphi)
(28)
Y_3^(-1)(theta,phi)=1/8sqrt((21)/pi)sintheta(5cos^2theta-1)e^(-iphi)
(29)
Y_3^0(theta,phi)=1/4sqrt(7/pi)(5cos^3theta-3costheta)
(30)
Y_3^1(theta,phi)=-1/8sqrt((21)/pi)sintheta(5cos^2theta-1)e^(iphi)
(31)
Y_3^2(theta,phi)=1/4sqrt((105)/(2pi))sin^2thetacosthetae^(2iphi)
(32)
Y_3^3(theta,phi)=-1/8sqrt((35)/pi)sin^3thetae^(3iphi).
(33)

Written in terms of Cartesian coordinates,

e^(iphi)=(x+iy)/(sqrt(x^2+y^2))
(34)
theta=sin^(-1)(sqrt((x^2+y^2)/(x^2+y^2+z^2)))
(35)
=cos^(-1)(z/(sqrt(x^2+y^2+z^2))),
(36)

so

Y_0^0(theta,phi)=1/21/(sqrt(pi))
(37)
Y_1^0(theta,phi)=1/2sqrt(3/pi)z/(sqrt(x^2+y^2+z^2))
(38)
Y_1^1(theta,phi)=-1/2sqrt(3/(2pi))(x+iy)/(sqrt(x^2+y^2+z^2))
(39)
Y_2^0(theta,phi)=1/4sqrt(5/pi)((3z^2)/(x^2+y^2+z^2)-1)
(40)
Y_2^1(theta,phi)=-1/2sqrt((15)/(2pi))(z(x+iy))/(x^2+y^2+z^2)
(41)
Y_2^2(theta,phi)=1/4sqrt((15)/(2pi))((x+iy)^2)/(x^2+y^2+z^2).
(42)

The zonal harmonics are defined to be those of the form

 P_l^0(costheta)=P_l(costheta).
(43)

The tesseral harmonics are those of the form

 sin(mphi)P_l^m(costheta)
(44)
 cos(mphi)P_l^m(costheta)
(45)

for l!=m. The sectorial harmonics are of the form

 sin(mphi)P_m^m(costheta)
(46)
 cos(mphi)P_m^m(costheta).
(47)

See also

Associated Legendre Polynomial, Condon-Shortley Phase, Correlation Coefficient, Laplace Series, Sectorial Harmonic, Solid Harmonic, Spherical Harmonic Addition Theorem, Spherical Harmonic Differential Equation, Spherical Harmonic Closure Relations, Surface Harmonic, Tesseral Harmonic, Vector Spherical Harmonic, Zonal Harmonic

Related Wolfram sites

http://functions.wolfram.com/Polynomials/SphericalHarmonicY/, http://functions.wolfram.com/HypergeometricFunctions/SphericalHarmonicYGeneral/

Explore with Wolfram|Alpha

WolframAlpha

References

Abbott, P. "2. Schrödinger Equation." Lecture Notes for Computational Physics 2. http://physics.uwa.edu.au/pub/Computational/CP2/2.Schroedinger.nb.Arfken, G. "Spherical Harmonics" and "Integrals of the Products of Three Spherical Harmonics." §12.6 and 12.9 in Mathematical Methods for Physicists, 3rd ed. Orlando, FL: Academic Press, pp. 680-685 and 698-700, 1985.Byerly, W. E. "Spherical Harmonics." Ch. 6 in An Elementary Treatise on Fourier's Series, and Spherical, Cylindrical, and Ellipsoidal Harmonics, with Applications to Problems in Mathematical Physics. New York: Dover, pp. 195-218, 1959.Ferrers, N. M. An Elementary Treatise on Spherical Harmonics and Subjects Connected with Them. London: Macmillan, 1877.Groemer, H. Geometric Applications of Fourier Series and Spherical Harmonics. New York: Cambridge University Press, 1996.Hobson, E. W. The Theory of Spherical and Ellipsoidal Harmonics. New York: Chelsea, 1955.Kalf, H. "On the Expansion of a Function in Terms of Spherical Harmonics in Arbitrary Dimensions." Bull. Belg. Math. Soc. Simon Stevin 2, 361-380, 1995.MacRobert, T. M. and Sneddon, I. N. Spherical Harmonics: An Elementary Treatise on Harmonic Functions, with Applications, 3rd ed. rev. Oxford, England: Pergamon Press, 1967.Normand, J. M. A Lie Group: Rotations in Quantum Mechanics. Amsterdam, Netherlands: North-Holland, 1980.Press, W. H.; Flannery, B. P.; Teukolsky, S. A.; and Vetterling, W. T. "Spherical Harmonics." §6.8 in Numerical Recipes in FORTRAN: The Art of Scientific Computing, 2nd ed. Cambridge, England: Cambridge University Press, pp. 246-248, 1992.Sansone, G. "Harmonic Polynomials and Spherical Harmonics," "Integral Properties of Spherical Harmonics and the Addition Theorem for Legendre Polynomials," and "Completeness of Spherical Harmonics with Respect to Square Integrable Functions." §3.18-3.20 in Orthogonal Functions, rev. English ed. New York: Dover, pp. 253-272, 1991.Sternberg, W. and Smith, T. L. The Theory of Potential and Spherical Harmonics, 2nd ed. Toronto: University of Toronto Press, 1946.Wang, J.; Abbott, P.; and Williams, J. "Visualizing Atomic Orbitals." http://physics.uwa.edu.au/pub/Orbitals.Weisstein, E. W. "Books about Spherical Harmonics." http://www.ericweisstein.com/encyclopedias/books/SphericalHarmonics.html.Whittaker, E. T. and Watson, G. N. "Solution of Laplace's Equation Involving Legendre Functions" and "The Solution of Laplace's Equation which Satisfies Assigned Boundary Conditions at the Surface of a Sphere." §18.31 and 18.4 in A Course in Modern Analysis, 4th ed. Cambridge, England: Cambridge University Press, pp. 391-395, 1990.Zwillinger, D. Handbook of Differential Equations, 3rd ed. Boston, MA: Academic Press, p. 129, 1997.

Referenced on Wolfram|Alpha

Spherical Harmonic

Cite this as:

Weisstein, Eric W. "Spherical Harmonic." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/SphericalHarmonic.html

Subject classifications


https://mathworld.wolfram.com/SphericalHarmonic.html


No comments:

Post a Comment