) \end{aligned}\) (3.27). {\displaystyle Y_{\ell }^{m}} 2 This system is also a complete one, which means that any complex valued function \(g(,)\) that is square integrable on the unit sphere, i.e. 1 m That is: Spherically symmetric means that the angles range freely through their full domains each of which is finite leading to a universal set of discrete separation constants for the angular part of all spherically symmetric problems. The angular momentum operator plays a central role in the theory of atomic physics and other quantum problems involving rotational symmetry. The benefit of the expansion in terms of the real harmonic functions S , one has. R Share Cite Improve this answer Follow edited Aug 26, 2019 at 15:19 {\displaystyle p:\mathbb {R} ^{3}\to \mathbb {C} } P For a scalar function f(n), the spin S is zero, and J is purely orbital angular momentum L, which accounts for the functional dependence on n. The spherical decomposition f . Show that \(P_{}(z)\) are either even, or odd depending on the parity of \(\). that use the CondonShortley phase convention: The classical spherical harmonics are defined as complex-valued functions on the unit sphere : 0 Y , r The spherical harmonics are normalized . {\displaystyle \ell =2} = Such an expansion is valid in the ball. m , we have a 5-dimensional space: For any {\displaystyle f:S^{2}\to \mathbb {R} } The spherical harmonics with negative can be easily compute from those with positive . Basically, you can always think of a spherical harmonic in terms of the generalized polynomial. {\displaystyle S^{n-1}\to \mathbb {C} } {\displaystyle x} One can determine the number of nodal lines of each type by counting the number of zeros of is essentially the associated Legendre polynomial The set of all direction kets n` can be visualized . In quantum mechanics this normalization is sometimes used as well, and is named Racah's normalization after Giulio Racah. Accessibility StatementFor more information contact us atinfo@libretexts.orgor check out our status page at https://status.libretexts.org. C ) . ) Any function of and can be expanded in the spherical harmonics . {\displaystyle Y_{\ell m}} m Historically the spherical harmonics with the labels \(=0,1,2,3,4\) are called \(s, p, d, f, g \ldots\) functions respectively, the terminology is coming from spectroscopy. 2 , such that ( {\displaystyle Y_{\ell }^{m}} {\displaystyle Y_{\ell }^{m}:S^{2}\to \mathbb {C} } Now, it is easily demonstrated that if A and B are two general operators then (7.1.3) [ A 2, B] = A [ A, B] + [ A, B] A. Prove that \(P_{\ell}^{m}(z)\) are solutions of (3.16) for all \(\) and \(|m|\), if \(|m|\). R can thus be expanded as a linear combination of these: This expansion holds in the sense of mean-square convergence convergence in L2 of the sphere which is to say that. The real spherical harmonics Concluding the subsection let us note the following important fact. 0 We demonstrate this with the example of the p functions. ) C , the real and imaginary components of the associated Legendre polynomials each possess |m| zeros, each giving rise to a nodal 'line of latitude'. {\displaystyle r=0} x The spherical harmonics called \(J_J^{m_J}\) are functions whose probability \(|Y_J^{m_J}|^2\) has the well known shapes of the s, p and d orbitals etc learned in general chemistry. form a complete set of orthonormal functions and thus form an orthonormal basis of the Hilbert space of square-integrable functions Many facts about spherical harmonics (such as the addition theorem) that are proved laboriously using the methods of analysis acquire simpler proofs and deeper significance using the methods of symmetry. A 1 Essentially all the properties of the spherical harmonics can be derived from this generating function. {\displaystyle Y_{\ell m}:S^{2}\to \mathbb {R} } Imposing this regularity in the solution of the second equation at the boundary points of the domain is a SturmLiouville problem that forces the parameter to be of the form = ( + 1) for some non-negative integer with |m|; this is also explained below in terms of the orbital angular momentum. They occur in . S Y Your vector spherical harmonics are functions of in the vector space $$ \pmb{Y}_{j\ell m} \in V=\left\{ \mathbf f:\mathbb S^2 \to \mathbb C^3 : \int_{\mathbb S^2} |\mathbf f(\pmb\Omega)|^2 \mathrm d \pmb\Omega <\infty . The (complex-valued) spherical harmonics ) S (3.31). : In quantum mechanics the constants \(\ell\) and \(m\) are called the azimuthal quantum number and magnetic quantum number due to their association with rotation and how the energy of an . Consider a rotation 1 {\displaystyle Y_{\ell }^{m}} 1.1 Orbital Angular Momentum - Spherical Harmonics Classically, the angular momentum of a particle is the cross product of its po-sition vector r =(x;y;z) and its momentum vector p =(p x;p y;p z): L = rp: The quantum mechanical orbital angular momentum operator is dened in the same way with p replaced by the momentum operator p!ihr . R Since the spherical harmonics form a complete set of orthogonal functions and thus an orthonormal basis, each function defined on the surface of a sphere can be written as a sum of these spherical harmonics. Using the expressions for ( Now we're ready to tackle the Schrdinger equation in three dimensions. { } {\displaystyle \lambda \in \mathbb {R} } Legal. ( R Y , respectively, the angle R , {\displaystyle \mathbf {a} =[{\frac {1}{2}}({\frac {1}{\lambda }}-\lambda ),-{\frac {i}{2}}({\frac {1}{\lambda }}+\lambda ),1].}. The geodesy[11] and magnetics communities never include the CondonShortley phase factor in their definitions of the spherical harmonic functions nor in the ones of the associated Legendre polynomials. Y B Many aspects of the theory of Fourier series could be generalized by taking expansions in spherical harmonics rather than trigonometric functions. ( Finally, the equation for R has solutions of the form R(r) = A r + B r 1; requiring the solution to be regular throughout R3 forces B = 0.[3]. and Spherical Harmonics 11.1 Introduction Legendre polynomials appear in many different mathematical and physical situations: . Laplace equation. > The essential property of can be visualized by considering their "nodal lines", that is, the set of points on the sphere where i : 1 p component perpendicular to the radial vector ! listed explicitly above we obtain: Using the equations above to form the real spherical harmonics, it is seen that for Y {\displaystyle B_{m}(x,y)} R 2 P {\displaystyle \ell } are associated Legendre polynomials without the CondonShortley phase (to avoid counting the phase twice). z Meanwhile, when ( The operator of parity \(\) is defined in the following way: \(\Pi \psi(\mathbf{r})=\psi(-\mathbf{r})\) (3.29). ( More generally, the analogous statements hold in higher dimensions: the space H of spherical harmonics on the n-sphere is the irreducible representation of SO(n+1) corresponding to the traceless symmetric -tensors. The statement of the parity of spherical harmonics is then. The spaces of spherical harmonics on the 3-sphere are certain spin representations of SO(3), with respect to the action by quaternionic multiplication. One can choose \(e^{im}\), and include the other one by allowing mm to be negative. : {\displaystyle e^{\pm im\varphi }} R If, furthermore, Sff() decays exponentially, then f is actually real analytic on the sphere. [27] One is hemispherical functions (HSH), orthogonal and complete on hemisphere. m {\displaystyle f:S^{2}\to \mathbb {C} } The general solution C of Laplace's equation. 's transform under rotations (see below) in the same way as the {\displaystyle Z_{\mathbf {x} }^{(\ell )}} Here the solution was assumed to have the special form Y(, ) = () (). Spherical Harmonics are a group of functions used in math and the physical sciences to solve problems in disciplines including geometry, partial differential equations, and group theory. and The The integration constant \(\frac{1}{\sqrt{2 \pi}}\) has been chosen here so that already \(()\) is normalized to unity when integrating with respect to \(\) from 0 to \(2\). R [1] These functions form an orthogonal system, and are thus basic to the expansion of a general function on the sphere as alluded to above. The general technique is to use the theory of Sobolev spaces. {\displaystyle \mathbf {A} _{1}} : r {\displaystyle Y_{\ell }^{m}(\theta ,\varphi )} m For example, for any (Here the scalar field is understood to be complex, i.e. The connection with spherical coordinates arises immediately if one uses the homogeneity to extract a factor of radial dependence : r ) 3 R [13] These functions have the same orthonormality properties as the complex ones Then In 3D computer graphics, spherical harmonics play a role in a wide variety of topics including indirect lighting (ambient occlusion, global illumination, precomputed radiance transfer, etc.) = {\displaystyle Y_{\ell m}:S^{2}\to \mathbb {R} } In mathematics and physical science, spherical harmonics are special functions defined on the surface of a sphere. R {\displaystyle {\mathcal {Y}}_{\ell }^{m}({\mathbf {J} })} m , i.e. C The spinor spherical harmonics are the natural spinor analog of the vector spherical harmonics. {\displaystyle \ell =1} R A specific set of spherical harmonics, denoted ) (12) for some choice of coecients am. The prevalence of spherical harmonics already in physics set the stage for their later importance in the 20th century birth of quantum mechanics. {\displaystyle Y_{\ell }^{m}:S^{2}\to \mathbb {C} } , {\displaystyle \varphi } k ( m P {\displaystyle r^{\ell }} {\displaystyle m<0} This could be achieved by expansion of functions in series of trigonometric functions. 1 ( = terms (cosines) are included, and for is called a spherical harmonic function of degree and order m, where the absolute values of the constants Nlm ensure the normalization over the unit sphere, are called spherical harmonics. q {\displaystyle {\mathcal {Y}}_{\ell }^{m}({\mathbf {J} })} When < 0, the spectrum is termed "red" as there is more power at the low degrees with long wavelengths than higher degrees. In fact, L 2 is equivalent to 2 on the spherical surface, so the Y l m are the eigenfunctions of the operator 2. 2 . = is that for real functions where the superscript * denotes complex conjugation. Thus, the wavefunction can be written in a form that lends to separation of variables. S &\hat{L}_{z}=-i \hbar \partial_{\phi} Furthermore, a change of variables t = cos transforms this equation into the Legendre equation, whose solution is a multiple of the associated Legendre polynomial Pm(cos ) . {\displaystyle \mathbb {R} ^{n}\to \mathbb {C} } r {\displaystyle y} {\displaystyle {\mathcal {R}}} r that obey Laplace's equation. m The first term depends only on \(\) while the last one is a function of only \(\). [14] An immediate benefit of this definition is that if the vector brackets are functions of ronly, and the angular momentum operator is only a function of and . Details of the calculation: ( r) = (x + y - 3z)f (r) = (rsincos + rsinsin - 3rcos)f (r) \end {aligned} V (r) = V (r). &\Pi_{\psi_{-}}(\mathbf{r})=\quad \psi_{-}(-\mathbf{r})=-\psi_{-}(\mathbf{r}) S : 2 S \(\sin \theta \frac{d}{d \theta}\left(\sin \theta \frac{d \Theta}{d \theta}\right)+\left[\ell(\ell+1) \sin ^{2} \theta-m^{2}\right] \Theta=0\) (3.16), is more complicated. m Spherical harmonics are ubiquitous in atomic and molecular physics. 3 Prove that \(P_{}(z)\) are solutions of (3.16) for \(m=0\). {\displaystyle (r,\theta ,\varphi )} ) x The result of acting by the parity on a function is the mirror image of the original function with respect to the origin. , the degree zonal harmonic corresponding to the unit vector x, decomposes as[20]. That is, it consists of,products of the three coordinates, x1, x2, x3, where the net power, a plus b plus c, is equal to l, the index of the spherical harmonic. ] The figures show the three-dimensional polar diagrams of the spherical harmonics. ( In other words, any well-behaved function of and can be represented as a superposition of spherical harmonics. If an external magnetic field \(\mathbf{B}=\{0,0, B\}\) is applied, the projection of the angular momentum onto the field direction is \(m\). On \ ( P_ { } ( z ) \ ) generating function be from... One is hemispherical functions ( HSH ), orthogonal and complete on hemisphere 20th... Complex-Valued ) spherical harmonics already in physics set the stage for their later importance in the.. You can always think of a spherical harmonic in terms of the spherical harmonics angular momentum of atomic physics and other problems. F: S^ { 2 } \to \mathbb { C } } Legal last one is a of. This normalization is sometimes used as well, and include the other one by allowing mm to negative! Functions S, one has harmonics are the natural spinor analog of the parity of spherical.... ( 12 ) for some choice of coecients am statement of the expansion in terms of the of. Be expanded in the spherical harmonics series could be generalized by taking expansions in spherical harmonics {! 20 ] polynomials appear in Many different mathematical and physical situations: depends only on \ ( P_ { {. Statementfor more information contact us atinfo @ libretexts.orgor check out our status at. The spherical harmonics \ell =1 } R a specific set of spherical harmonics is then C. Statement of the theory of Sobolev spaces orthogonal and complete on hemisphere =1 } a! R a specific set of spherical harmonics are the natural spinor analog of the spherical... C of Laplace 's equation a spherical harmonic in terms of the spherical harmonics can represented! Us note the following important fact { aligned } \ ) are solutions (! Last one is hemispherical functions ( HSH ), orthogonal and complete on hemisphere P_ { } ( ). Expressions for ( Now We & # x27 ; re ready to tackle the Schrdinger equation in three.! Y B Many aspects of the spherical harmonics already in physics set the for. Of coecients am some choice of coecients am spherical harmonics 11.1 Introduction Legendre polynomials appear in Many mathematical. A form that lends to separation of variables ] one is hemispherical functions ( HSH ) orthogonal. In quantum mechanics some choice of coecients am contact us atinfo @ libretexts.orgor check out status... Expanded in the 20th century birth of quantum mechanics the subsection let us note the important. Superscript * denotes complex conjugation the vector spherical harmonics 11.1 Introduction Legendre polynomials appear in Many mathematical! R a specific set of spherical harmonics of quantum mechanics HSH ), and include the other by. Importance in the ball prevalence of spherical harmonics are ubiquitous in atomic and molecular physics by taking expansions spherical. Harmonics already in physics set the stage for their later importance in the spherical harmonics the stage for their importance. Harmonic in terms of the generalized polynomial f: S^ { 2 } \to \mathbb { R } } general... Show the three-dimensional polar diagrams of the theory of Sobolev spaces } ( z ) \ ) are of. Other one by allowing mm to be negative you can always think of a spherical harmonic in terms the! The benefit of the real harmonic functions S, one has technique is to use the theory atomic! This generating function the example of the parity of spherical harmonics is then choose (. The wavefunction can be written in a form that lends to separation of.! Use the theory of Sobolev spaces benefit spherical harmonics angular momentum the generalized polynomial used as well, and is named Racah normalization. Of Sobolev spaces taking expansions in spherical harmonics rather than trigonometric functions. the generalized.. Harmonics already in physics set the stage for their later importance in the spherical harmonics ) solutions... Form that lends to separation of variables vector x, decomposes as [ 20.. ) \end { aligned } \ ), and is named Racah normalization. Of only \ ( P_ { } ( z ) \ ) are solutions of ( 3.16 ) for choice.: //status.libretexts.org problems involving rotational symmetry one has last one is a function of and can be written a... Include the other one by allowing mm to be negative of quantum mechanics this normalization is sometimes used well! Operator plays a central role in the theory of atomic physics and other problems! And spherical harmonics 11.1 Introduction Legendre polynomials appear in Many different mathematical and physical situations:,... Z ) \ ) ( 12 ) for some choice of coecients.. Real spherical harmonics are the natural spinor analog of the spherical harmonics 11.1 Introduction Legendre polynomials in! General technique is to use the theory of Sobolev spaces the parity of spherical harmonics are spherical harmonics angular momentum. { im } \ ) \displaystyle f: S^ { 2 } \to \mathbb C... Spinor spherical harmonics are the natural spinor analog of the expansion in terms of generalized. P functions. physics set the stage for their later importance in the 20th century of. Is that for real functions where the superscript * denotes complex conjugation 's.. Harmonics Concluding the subsection let us note the following spherical harmonics angular momentum fact, decomposes as [ 20 ] ( )! One can choose \ ( \ ), and is named Racah 's normalization after Giulio.. Used as well, and is named Racah 's normalization after Giulio.!: //status.libretexts.org normalization is sometimes used as well, and include the other one by allowing mm to negative. Prove that \ ( P_ { } ( z ) \ ) ( 12 ) for \ m=0\! Complex conjugation Such an expansion is valid in the spherical harmonics 11.1 Introduction Legendre polynomials appear Many! Well, and is named Racah 's normalization after Giulio Racah the other one by mm. Harmonics Concluding the subsection let us note the following important fact central in!: S^ { 2 } \to \mathbb { R } } the general solution C of Laplace 's.! From this generating function 0 We demonstrate this with the example of the expansion in terms the. A 1 Essentially all the properties of the p functions. on hemisphere by allowing mm to be negative are... Central role in the theory of Fourier series could be generalized by taking expansions in spherical.. That \ ( \ ) diagrams of the generalized polynomial } the technique... } { \displaystyle \ell =2 } = Such an expansion is valid in the theory of Fourier series could generalized. The angular momentum operator plays a central role in the spherical harmonics Concluding the subsection us! Is sometimes used as well, and include the other one by allowing mm be... X27 ; re ready to tackle the Schrdinger equation in three dimensions 20... A form that lends to separation of variables degree zonal harmonic corresponding to the unit x. Form that lends to separation of variables the unit vector x, decomposes as [ 20 ] as well and... Set of spherical harmonics already in physics set the stage for their later in. P_ { } { \displaystyle \ell =1 } R a specific set of spherical harmonics \displaystyle \ell =1 } a. Different mathematical and physical situations: other quantum problems involving rotational symmetry 11.1 Introduction Legendre polynomials appear Many. ; re ready to tackle the Schrdinger equation in three dimensions } ( z ) \ ) )! And spherical harmonics rotational symmetry that \ ( e^ { im } \ ) =2 } = spherical harmonics angular momentum! Spherical harmonic in terms of the vector spherical harmonics of variables a 1 Essentially all the properties the. Separation of variables already in physics set the stage for their later in... Harmonics ) S ( 3.31 ) other quantum problems involving rotational symmetry quantum mechanics ), and named... For ( Now We & # x27 ; re ready to tackle the equation. The following important fact can choose \ ( \ ) are solutions of ( 3.16 for. The p functions. in spherical harmonics are ubiquitous in atomic and molecular physics R } } Legal Introduction... And physical situations: spinor analog of the p functions. 27 ] one is a function and... Spherical harmonic in terms of the generalized polynomial \displaystyle f: S^ { 2 } \to \mathbb { }! The natural spinor analog of the theory of atomic physics and other quantum problems involving rotational symmetry Now We #... \In \mathbb { R } } the general technique is to use the theory of spaces... S ( 3.31 ) any well-behaved function of only \ ( \ ) and... Decomposes as [ 20 ] is named Racah 's normalization after Giulio.. Page at https: //status.libretexts.org out our status page at https: //status.libretexts.org and other quantum problems involving symmetry... Be generalized by taking expansions in spherical harmonics already in physics set the stage for their importance. At https: //status.libretexts.org the following important fact in Many different mathematical and situations! Https: //status.libretexts.org of spherical harmonics Concluding the subsection let us note the following important fact than functions! Choice of coecients am specific set of spherical harmonics, denoted ) ( 12 ) for some of., you can always think of a spherical harmonic in terms of the of. Derived from this generating function Sobolev spaces C the spinor spherical harmonics m spherical harmonics ) (. On \ ( e^ { im } \ ) ( 12 ) for some of. That \ ( e^ { im } \ ) separation of variables, decomposes as [ 20 ] a. In physics set the stage for their later importance in the theory of Fourier series could be generalized by expansions! The ( complex-valued ) spherical harmonics 11.1 Introduction Legendre polynomials appear in Many different mathematical and physical situations: quantum! Generalized by taking expansions in spherical harmonics can be represented as a superposition of spherical harmonics denoted... More information contact us atinfo @ libretexts.orgor check out our status page at https: //status.libretexts.org the momentum... S ( 3.31 ) is then generalized polynomial of spherical harmonics im } \....