Solid harmonics: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Paul Wormer
(→‎Derivation, relation to spherical harmonics: As suggested by Jitse + proof of relation nabla^2 and L^2)
mNo edit summary
 
(12 intermediate revisions by 3 users not shown)
Line 1: Line 1:
In [[mathematics]], '''solid harmonics''' are defined as  solutions of the [[Laplace equation]] in [[spherical polar coordinates]]. There are two kinds of solid harmonic functions: the ''regular solid harmonics'' <math>R^m_\ell(\mathbf{r})</math>, which vanish at the origin and the ''irregular solid harmonics'' <math>I^m_{\ell}(\mathbf{r})</math>, which have an 1/r<sup>l+1</sup> singularity at the origin. Both sets of functions play an important role in [[potential theory]]. Regular solid harmonics appear in [[chemistry]] in the form of ''s'', ''p'', ''d'', etc. orbitals and  in [[physics]] as [[multipoles]]. Irregular harmonics appear in the description of scalar fields due to multipoles.
{{subpages}}
 
In [[mathematics]], '''solid harmonics''' are defined as  solutions of the [[Laplace equation]] in [[spherical polar coordinates]]. There are two kinds of solid harmonic functions: the ''regular solid harmonics'' <math>\scriptstyle R^m_\ell(\mathbf{r})</math>, which vanish at the origin, and the ''irregular solid harmonics'' <math>\scriptstyle I^m_{\ell}(\mathbf{r})</math>, which have an <font style = "vertical-align: top"><math> r^{-(\ell+1)}</math></font> singularity at the origin. Both sets of functions play an important role in [[potential theory]]. Regular solid harmonics appear in [[chemistry]] in the form of ''s'', ''p'', ''d'', etc. [[electron orbital|atomic orbitals]] and  in [[physics]] as [[multipoles]]. Irregular harmonics appear in the expansion of scalar fields in terms of multipoles.
 
Both kinds of solid harmonics are simply related to [[spherical harmonics]] <math>\scriptstyle Y^m_\ell</math> (normalized to unity),
:<math>
R^m_{\ell}(\mathbf{r}) \equiv \sqrt{\frac{4\pi}{2\ell+1}}\; r^\ell Y^m_{\ell}(\theta,\varphi),
\qquad
I^m_{\ell}(\mathbf{r}) \equiv \sqrt{\frac{4\pi}{2\ell+1}} \; \frac{ Y^m_{\ell}(\theta,\varphi)}{r^{\ell+1}} .
</math>


== Derivation, relation to spherical harmonics ==
== Derivation, relation to spherical harmonics ==
Line 6: Line 15:
   \mathbf{L} \equiv \mathbf{r} \times \mathbf{\nabla}.
   \mathbf{L} \equiv \mathbf{r} \times \mathbf{\nabla}.
</math>
</math>
Parenthetically, we remark that in quantum mechanics <math>-i\hbar \mathbf{L}</math> is the ''orbital angular momentum operator'', where <math>\hbar</math> is [[Planck's constant]] over 2&pi;. In quantum mechanics the momentum operator is proportional to the gradient, <math>\mathbf{p}= -i\hbar\mathbf{\nabla}</math>, so that '''L''' is proportional to '''r'''&times;'''p''', the orbital [[angular momentum]] operator.
Parenthetically, we remark that in quantum mechanics <math>\scriptstyle -i\hbar \mathbf{L}</math> is the [[Angular momentum (quantum)#Orbital_angular_momentum|orbital angular momentum operator]], where <math>\scriptstyle \hbar\,</math> is [[Planck's constant]] divided by 2&pi;. In quantum mechanics the momentum operator is proportional to the gradient, <math>\scriptstyle \mathbf{p}= -i\hbar\mathbf{\nabla}</math>, so that '''L''' is proportional to '''r'''&times;'''p''', the orbital [[angular momentum]] operator.


By using the relations  
By using the relations  
Line 186: Line 195:
:<math>
:<math>
A_m(x,y) \equiv
A_m(x,y) \equiv
\frac{1}{2} \left[  (x+iy)^m + (x-iy)^m \right]= \sum_{p=0}^m \binom{m}{p} x^p y^{m-p} \cos (m-p) \frac{\pi}{2}
\frac{1}{2} \left[  (x+iy)^m + (x-iy)^m \right]= \sum_{p=0}^m \binom{m}{p} x^p y^{m-p} \cos\left( (m-p) \frac{\pi}{2}\right)
</math>
</math>
-->
-->
:<math>
:<math>
A_m(x,y) \equiv
A_m(x,y) \equiv
\frac{1}{2} \left[  (x+iy)^m + (x-iy)^m \right]= \sum_{p=0}^m {m\choose p} x^p y^{m-p} \cos (m-p) \frac{\pi}{2}
\frac{1}{2} \left[  (x+iy)^m + (x-iy)^m \right]= \sum_{p=0}^m {m\choose p} x^p y^{m-p} \cos\left( (m-p) \frac{\pi}{2} \right)
</math>
</math>
and
and
Line 197: Line 206:
:<math>
:<math>
B_m(x,y) \equiv
B_m(x,y) \equiv
\frac{1}{2i} \left[  (x+iy)^m - (x-iy)^m \right]= \sum_{p=0}^m \binom{m}{p} x^p y^{m-p} \sin (m-p) \frac{\pi}{2}.
\frac{1}{2i} \left[  (x+iy)^m - (x-iy)^m \right]= \sum_{p=0}^m \binom{m}{p} x^p y^{m-p} \sin\left( (m-p) \frac{\pi}{2}\right).
</math>
</math>
-->
-->
:<math>
:<math>
B_m(x,y) \equiv
B_m(x,y) \equiv
\frac{1}{2i} \left[  (x+iy)^m - (x-iy)^m \right]= \sum_{p=0}^m {m\choose p} x^p y^{m-p} \sin (m-p) \frac{\pi}{2}.
\frac{1}{2i} \left[  (x+iy)^m - (x-iy)^m \right]= \sum_{p=0}^m {m\choose p} x^p y^{m-p} \sin\left( (m-p) \frac{\pi}{2}\right).
</math>
</math>
====In total ====
====In total ====
Line 218: Line 227:
</math>
</math>
----
----
<!--
 
:<math>
\begin{matrix}
\bar{\Pi}^0_0 & = 1  &
      \bar{\Pi}^1_3 & = \frac{1}{4}\sqrt{6}(5z^2-r^2)  &
            \bar{\Pi}^4_4 & = \frac{1}{8}\sqrt{35}  \\
\bar{\Pi}^0_1 & = z  &
      \bar{\Pi}^2_3 & = \frac{1}{2}\sqrt{15}\; z    &
            \bar{\Pi}^0_5 & = \frac{1}{8}z(63z^4-70z^2r^2+15r^4) \\
\bar{\Pi}^1_1 & = 1  &
      \bar{\Pi}^3_3 & = \frac{1}{4}\sqrt{10}        &
            \bar{\Pi}^1_5 & = \frac{1}{8}\sqrt{15} (21z^4-14z^2r^2+r^4) \\
\bar{\Pi}^0_2 & = \frac{1}{2}(3z^2-r^2) &
      \bar{\Pi}^0_4 & = \frac{1}{8}(35 z^4-30 r^2 z^2 +3r^4 ) &
            \bar{\Pi}^2_5 & = \frac{1}{4}\sqrt{105}(3z^2-r^2)z \\
\bar{\Pi}^1_2 & = \sqrt{3}z &
      \bar{\Pi}^1_4 & = \frac{\sqrt{10}}{4} z(7z^2-3r^2) &
            \bar{\Pi}^3_5 & = \frac{1}{16}\sqrt{70} (9z^2-r^2) \\
\bar{\Pi}^2_2 & = \frac{1}{3}\sqrt{3}  &
      \bar{\Pi}^2_4 & = \frac{1}{4}\sqrt{5}(7z^2-r^2)  &
            \bar{\Pi}^4_5 & = \frac{3}{8}\sqrt{35} z  \\
\bar{\Pi}^0_3 & = \frac{1}{2} z(5z^2-3r^2) &
      \bar{\Pi}^3_4 & = \frac{1}{4}\sqrt{70}\;z  &
            \bar{\Pi}^5_5 & = \frac{3}{16}\sqrt{14} \\
\end{matrix}
</math>
-->
:<math>
:<math>
\begin{matrix}
\begin{matrix}
Line 262: Line 245:
       \bar{\Pi}^1_4  = & \frac{\sqrt{10}}{4} z(7z^2-3r^2) &
       \bar{\Pi}^1_4  = & \frac{\sqrt{10}}{4} z(7z^2-3r^2) &
             \bar{\Pi}^3_5  = & \frac{1}{16}\sqrt{70} (9z^2-r^2) \\
             \bar{\Pi}^3_5  = & \frac{1}{16}\sqrt{70} (9z^2-r^2) \\
  \bar{\Pi}^2_2  = & \frac{1}{3}\sqrt{3}  &
  \bar{\Pi}^2_2  = & \frac{1}{2}\sqrt{3}  &
       \bar{\Pi}^2_4  = & \frac{1}{4}\sqrt{5}(7z^2-r^2)  &
       \bar{\Pi}^2_4  = & \frac{1}{4}\sqrt{5}(7z^2-r^2)  &
             \bar{\Pi}^4_5  = & \frac{3}{8}\sqrt{35} z  \\
             \bar{\Pi}^4_5  = & \frac{3}{8}\sqrt{35} z  \\
Line 324: Line 307:
\end{pmatrix}
\end{pmatrix}
=
=
\left[\frac{2\ell+1}{4\pi}\right]^{1/2} \bar{\Pi}^m_\ell   
\left[\frac{2\ell+1}{4\pi}\right]^{1/2} \bar{\Pi}^m_\ell(z)  
\begin{pmatrix}
\begin{pmatrix}
(-1)^m (A_m +  i B_m)/\sqrt{2} \\
(-1)^m (A_m +  i B_m)/\sqrt{2} \\
Line 334: Line 317:
:<math>
:<math>
r^\ell\,Y_\ell^{0} \equiv \sqrt{\frac{2\ell+1}{4\pi}}
r^\ell\,Y_\ell^{0} \equiv \sqrt{\frac{2\ell+1}{4\pi}}
\bar{\Pi}^0_\ell  .
\bar{\Pi}^0_\ell(z) .
</math>
</math>
Here
Here
<!--
<!--
:<math>
:<math>
A_m(x,y) = \sum_{p=0}^m \binom{m}{p} x^p y^{m-p} \cos (m-p) \frac{\pi}{2},
A_m(x,y) = \sum_{p=0}^m \binom{m}{p} x^p y^{m-p} \cos\left( (m-p) \frac{\pi}{2}\right),
</math>
</math>
-->
-->
:<math>
:<math>
A_m(x,y) = \sum_{p=0}^m {m \choose p} x^p y^{m-p} \cos (m-p) \frac{\pi}{2},
A_m(x,y) = \sum_{p=0}^m {m \choose p} x^p y^{m-p} \cos\left( (m-p) \frac{\pi}{2}\right),
</math>
</math>
<!--
<!--
:<math>
:<math>
B_m(x,y) = \sum_{p=0}^m \binom{m}{p} x^p y^{m-p} \sin (m-p) \frac{\pi}{2},
B_m(x,y) = \sum_{p=0}^m \binom{m}{p} x^p y^{m-p} \sin (m-p)\left( \frac{\pi}{2}\right),
</math>
</math>
-->
-->
:<math>
:<math>
B_m(x,y) = \sum_{p=0}^m {m\choose p} x^p y^{m-p} \sin (m-p) \frac{\pi}{2},
B_m(x,y) = \sum_{p=0}^m {m\choose p} x^p y^{m-p} \sin\left( (m-p) \frac{\pi}{2} \right),
</math>
</math>
and for  ''m'' > 0:
and for  ''m'' > 0:
Line 394: Line 377:
=  \left[{\textstyle \frac{9}{4\pi}\cdot\frac{5}{32}}\right]^{1/2}(7 \cos^2\theta -1) (\sin^2\theta e^{-2 i \varphi})
=  \left[{\textstyle \frac{9}{4\pi}\cdot\frac{5}{32}}\right]^{1/2}(7 \cos^2\theta -1) (\sin^2\theta e^{-2 i \varphi})
</math>
</math>
==References==
==References==
Most books on angular momenta discuss solid harmonics. See, for instance,
Most books on angular momenta discuss solid harmonics. See, for instance,
Line 401: Line 385:
The addition theorems for solid harmonics have been  proved in different manners by many different workers. See for two different proofs for example:
The addition theorems for solid harmonics have been  proved in different manners by many different workers. See for two different proofs for example:
* R. J. A. Tough and A. J. Stone, J. Phys. A: Math. Gen. Vol. '''10''', p. 1261 (1977)
* R. J. A. Tough and A. J. Stone, J. Phys. A: Math. Gen. Vol. '''10''', p. 1261 (1977)
* M. J. Caola, J. Phys. A: Math. Gen. Vol. '''11''', p. L23 (1978)
* M. J. Caola, J. Phys. A: Math. Gen. Vol. '''11''', p. L23 (1978)[[Category:Suggestion Bot Tag]]

Latest revision as of 06:00, 20 October 2024

This article is developing and not approved.
Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
This editable Main Article is under development and subject to a disclaimer.

In mathematics, solid harmonics are defined as solutions of the Laplace equation in spherical polar coordinates. There are two kinds of solid harmonic functions: the regular solid harmonics , which vanish at the origin, and the irregular solid harmonics , which have an singularity at the origin. Both sets of functions play an important role in potential theory. Regular solid harmonics appear in chemistry in the form of s, p, d, etc. atomic orbitals and in physics as multipoles. Irregular harmonics appear in the expansion of scalar fields in terms of multipoles.

Both kinds of solid harmonics are simply related to spherical harmonics (normalized to unity),

Derivation, relation to spherical harmonics

The following vector operator plays a central role in this section

Parenthetically, we remark that in quantum mechanics is the orbital angular momentum operator, where is Planck's constant divided by 2π. In quantum mechanics the momentum operator is proportional to the gradient, , so that L is proportional to r×p, the orbital angular momentum operator.

By using the relations

one can derive that

Expression in spherical polar coordinates gives:

and

It can be shown by expression of L in spherical polar coordinates that L² does not contain a derivative with respect to r. Hence upon division of L² by r² the position of 1/r² in the resulting expression is irrelevant. After these preliminaries we find that the Laplace equation ∇² Φ = 0 can be written as

It is known that spherical harmonics Yml are eigenfunctions of L²:

Substitution of Φ(r) = F(r) Yml into the Laplace equation gives, after dividing out the spherical harmonic function, the following radial equation and its general solution,

The particular solutions of the total Laplace equation are regular solid harmonics:

and irregular solid harmonics:

Racah's normalization (also known as Schmidt's semi-normalization) is applied to both functions

(and analogously for the irregular solid harmonic) instead of normalization to unity. This is convenient because in many applications the Racah normalization factor appears unchanged throughout the derivations.

Connection between regular and irregular solid harmonics

From the definitions follows immediately that

A more interesting relationship follows from the observation that the regular solid harmonics are homogeneous polynomials in the components x, y, and z of r. We can replace these components by the corresponding components of the gradient operator ∇. Thus, the left hand side in the following equation is well-defined:

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle R^m_\ell(\mathbf{\nabla})\; \frac{1}{r} = (-1)^\ell \frac{(2\ell)!}{2^\ell \ell!}\;I^m_\ell(\mathbf{r}), \qquad r\ne 0. }

For a proof see Biedenharn and Louck (1981), p. 312.

Addition theorems

The translation of the regular solid harmonic gives a finite expansion,

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle R^m_\ell(\mathbf{r}+\mathbf{a}) = \sum_{\lambda=0}^\ell\binom{2\ell}{2\lambda}^{1/2} \sum_{\mu=-\lambda}^\lambda R^\mu_{\lambda}(\mathbf{r}) R^{m-\mu}_{\ell-\lambda}(\mathbf{a})\; \langle \lambda, \mu; \ell-\lambda, m-\mu| \ell m \rangle, }

where the Clebsch-Gordan coefficient is given by

The similar expansion for irregular solid harmonics gives an infinite series,

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle I^m_\ell(\mathbf{r}+\mathbf{a}) = \sum_{\lambda=0}^\infty\binom{2\ell+2\lambda+1}{2\lambda}^{1/2} \sum_{\mu=-\lambda}^\lambda R^\mu_{\lambda}(\mathbf{r}) I^{m-\mu}_{\ell+\lambda}(\mathbf{a})\; \langle \lambda, \mu; \ell+\lambda, m-\mu| \ell m \rangle }

with Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle |r| \le |a|\,} . The quantity between pointed brackets is again a Clebsch-Gordan coefficient,

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \langle \lambda, \mu; \ell+\lambda, m-\mu| \ell m \rangle = (-1)^{\lambda+\mu}{\ell+\lambda-m+\mu \choose \lambda+\mu}^{1/2} {\ell+\lambda+m-\mu \choose \lambda-\mu}^{1/2}{2\ell+2\lambda+1\choose 2\lambda}^{-1/2}. }

Real form

By a simple linear combination of solid harmonics of ±m these functions are transformed into real functions. The real regular solid harmonics, expressed in Cartesian coordinates, are homogeneous polynomials of order l in x, y, z. The explicit form of these polynomials is of some importance. They appear, for example, in the form of spherical atomic orbitals and real multipole moments. The explicit Cartesian expression of the real regular harmonics will now be derived.

Linear combination

We write in agreement with the earlier definition

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle R_\ell^m(r,\theta,\varphi) = (-1)^{(m+|m|)/2}\; r^\ell \;\Theta_{\ell}^{|m|} (\cos\theta) e^{im\varphi}, \qquad -\ell \le m \le \ell, }

with

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Theta_{\ell}^m (\cos\theta) \equiv \left[\frac{(\ell-m)!}{(\ell+m)!}\right]^{1/2} \,\sin^m\theta\, \frac{d^m P_\ell(\cos\theta)}{d\cos^m\theta}, \qquad m\ge 0, }

where Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle P_\ell(\cos\theta)} is a Legendre polynomial of order l. The m dependent phase is known as the Condon-Shortley phase.

The following expression defines the real regular solid harmonics:

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \begin{pmatrix} C_\ell^{m} \\ S_\ell^{m} \end{pmatrix} \equiv \sqrt{2} \; r^\ell \; \Theta^{m}_\ell \begin{pmatrix} \cos m\varphi\\ \sin m\varphi \end{pmatrix} = \frac{1}{\sqrt{2}} \begin{pmatrix} (-1)^m & \quad 1 \\ -(-1)^m i & \quad i \end{pmatrix} \begin{pmatrix} R_\ell^{m} \\ R_\ell^{-m} \end{pmatrix}, \qquad m > 0. }

and for m = 0:

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle C_\ell^{0} \equiv R_\ell^{0} . }

Since the transformation is by a unitary matrix the normalization of the real and the complex solid harmonics is the same.

z-dependent part

Upon writing u = cos θ the mth derivative of the Legendre polynomial can be written as the following expansion in u

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{d^m P_\ell(u)}{du^m} = \sum_{k=0}^{\left \lfloor (\ell-m)/2\right \rfloor} \gamma^{(m)}_{\ell k}\; u^{\ell-2k-m} }

with

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \gamma^{(m)}_{\ell k} = (-1)^k 2^{-\ell} {\ell\choose k}{2\ell-2k \choose \ell} \frac{(\ell-2k)!}{(\ell-2k-m)!}. }

Since z = r cosθ it follows that this derivative, times an appropriate power of r, is a simple polynomial in z,

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Pi^m_\ell(z)\equiv r^{\ell-m} \frac{d^m P_\ell(u)}{du^m} = \sum_{k=0}^{\left \lfloor (\ell-m)/2\right \rfloor} \gamma^{(m)}_{\ell k}\; r^{2k}\; z^{\ell-2k-m}. }

(x,y)-dependent part

Consider next, recalling that x = r sinθcosφ and y = r sinθsinφ,

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle r^m \sin^m\theta \cos m\varphi = \frac{1}{2} \left[ (r \sin\theta e^{i\varphi})^m + (r \sin\theta e^{-i\varphi})^m \right] = \frac{1}{2} \left[ (x+iy)^m + (x-iy)^m \right] }

Likewise

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle r^m \sin^m\theta \sin m\varphi = \frac{1}{2i} \left[ (r \sin\theta e^{i\varphi})^m - (r \sin\theta e^{-i\varphi})^m \right] = \frac{1}{2i} \left[ (x+iy)^m - (x-iy)^m \right]. }

Further

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A_m(x,y) \equiv \frac{1}{2} \left[ (x+iy)^m + (x-iy)^m \right]= \sum_{p=0}^m {m\choose p} x^p y^{m-p} \cos\left( (m-p) \frac{\pi}{2} \right) }

and

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle B_m(x,y) \equiv \frac{1}{2i} \left[ (x+iy)^m - (x-iy)^m \right]= \sum_{p=0}^m {m\choose p} x^p y^{m-p} \sin\left( (m-p) \frac{\pi}{2}\right). }

In total

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle C^m_\ell(x,y,z) = \left[\frac{(2-\delta_{m0}) (\ell-m)!}{(\ell+m)!}\right]^{1/2} \Pi^m_{\ell}(z)\;A_m(x,y),\qquad m=0,1, \ldots,\ell }
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle S^m_\ell(x,y,z) = \left[\frac{2 (\ell-m)!}{(\ell+m)!}\right]^{1/2} \Pi^m_{\ell}(z)\;B_m(x,y) ,\qquad m=1,2,\ldots,\ell. }

List of lowest functions

We list explicitly the lowest functions up to and including l = 5 . Here Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \bar{\Pi}^m_\ell(z) \equiv \left[\frac{(2-\delta_{m0}) (\ell-m)!}{(\ell+m)!}\right]^{1/2} \Pi^m_{\ell}(z) . }


Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \begin{matrix} \bar{\Pi}^0_0 = & 1 & \bar{\Pi}^1_3 = & \frac{1}{4}\sqrt{6}(5z^2-r^2) & \bar{\Pi}^4_4 = & \frac{1}{8}\sqrt{35} \\ \bar{\Pi}^0_1 = & z & \bar{\Pi}^2_3 = & \frac{1}{2}\sqrt{15}\; z & \bar{\Pi}^0_5 = & \frac{1}{8}z(63z^4-70z^2r^2+15r^4) \\ \bar{\Pi}^1_1 = & 1 & \bar{\Pi}^3_3 = & \frac{1}{4}\sqrt{10} & \bar{\Pi}^1_5 = & \frac{1}{8}\sqrt{15} (21z^4-14z^2r^2+r^4) \\ \bar{\Pi}^0_2 = & \frac{1}{2}(3z^2-r^2) & \bar{\Pi}^0_4 = & \frac{1}{8}(35 z^4-30 r^2 z^2 +3r^4 ) & \bar{\Pi}^2_5 = & \frac{1}{4}\sqrt{105}(3z^2-r^2)z \\ \bar{\Pi}^1_2 = & \sqrt{3}z & \bar{\Pi}^1_4 = & \frac{\sqrt{10}}{4} z(7z^2-3r^2) & \bar{\Pi}^3_5 = & \frac{1}{16}\sqrt{70} (9z^2-r^2) \\ \bar{\Pi}^2_2 = & \frac{1}{2}\sqrt{3} & \bar{\Pi}^2_4 = & \frac{1}{4}\sqrt{5}(7z^2-r^2) & \bar{\Pi}^4_5 = & \frac{3}{8}\sqrt{35} z \\ \bar{\Pi}^0_3 = & \frac{1}{2} z(5z^2-3r^2) & \bar{\Pi}^3_4 = & \frac{1}{4}\sqrt{70}\;z & \bar{\Pi}^5_5 = & \frac{3}{16}\sqrt{14} \\ \end{matrix} }

The lowest functions Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A_m(x,y)\,} and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle B_m(x,y)\,} are:

m Am Bm
0 Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 1\,} Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 0\,}
1 Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x\,} Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle y\,}
2 Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x^2-y^2\,} Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 2xy\,}
3
4
5

Examples

Thus, for example, the angular part of one of the nine normalized spherical g atomic orbitals is:

One of the 7 components of a real multipole of order 3 (octupole) of a system of N charges q i is

Spherical harmonics in Cartesian form

The following expresses normalized spherical harmonics in Cartesian coordinates (Condon-Shortley phase):

and for m = 0:

Here

and for m > 0:

For m = 0:

Examples

Using the expressions for , , and listed explicitly above we obtain:

References

Most books on angular momenta discuss solid harmonics. See, for instance,

  • D. M. Brink and G. R. Satchler, Angular Momentum, 3rd edition ,Clarendon, Oxford, (1993)
  • L. C. Biedenharn and J. D. Louck, Angular Momentum in Quantum Physics, volume 8 of Encyclopedia of Mathematics, Addison-Wesley, Reading (1981)

The addition theorems for solid harmonics have been proved in different manners by many different workers. See for two different proofs for example:

  • R. J. A. Tough and A. J. Stone, J. Phys. A: Math. Gen. Vol. 10, p. 1261 (1977)
  • M. J. Caola, J. Phys. A: Math. Gen. Vol. 11, p. L23 (1978)