## Section 13.6: Angular Solutions of the Schrödinger Equation

Please wait for the animation to completely load.

Most potential energy functions in three dimensions are not often rectangular in form. In fact, they are most often in spherical coordinates (due to a spherical symmetry) and occasionally in cylindrical coordinates due to a cylindrical symmetry. We begin by considering the generalization of the time-independent Schrödinger equation to three-dimensional spherical coordinates, which is^{1}

−(*ħ*^{2}/2μ)[(1/*r*^{2})∂/∂*r*(*r*^{2}∂/∂*r*) + (1/*r*^{2}sin(θ))(∂/∂θ)(sin(θ)∂/∂θ) + (1/*r*^{2}sin^{2}(θ))(∂^{2}/∂φ^{2})]ψ(* r*) +

*V*(

*)ψ(*

**r***) =*

**r***E*ψ(

*) . (13.19)*

**r**The probability per unit volume, the probability density, is ψ*(* r*)ψ(

*) and therefore we require ∫ ψ*(*

**r***)ψ(*

**r***)*

**r***d*

^{3}

*r*= 1 (where

*d*

^{3}

*r*=

*dV*=

*r*

^{2}sin(θ)

*d*r

*d*θ

*d*φ) to maintain a probabilistic interpretation of the energy eigenfunction in three dimensions.

As in the two-dimensional case, we use separation of variables variables, but now using ψ(* r*) =

*R*(

*r*)

*Y*(θ,φ),

*i.e.*, separate the radial part from the angular part. This substitution yields

[(1/*R*(*r*))*d*/*dr*(*r*^{2}*dR*(*r*)/*dr*) + (1/*Y*sin(θ))(∂/∂θ)(sin(θ)∂*Y*/∂θ) + (1/*Y*sin^{2}(θ))(∂^{2}*Y*/∂φ^{2})] − (2μ*r*^{2}/*ħ*^{2})[*V*(*r*) − *E*] = 0 , (13.20)

as long as *V*(* r*) =

*V*(

*r*) only. Note that each term involves either

*r*or θ and φ. We can separate these equations using the technique of separation of variables to give

(1/*R*(*r*)) *d*/*dr* (*r*^{2} *dR*(*r*)/*dr*) − (2μ*r*^{2}/*ħ*^{2})[*V*(*r*) − *E*] = *l*(*l *+ 1) , (13.21)

and

(1/*Y*sin(θ)) (∂/∂θ)(sin(θ) ∂*Y*/∂θ) + (1/*Y*sin^{2}(θ)) (∂^{2}*Y*/∂φ^{2}) = −*l*(*l *+ 1) , (13.22)

for the radial and angular parts, respectively. The constant *l*(*l *+ 1) is the separation constant that allows us to separate one differential equation into two. We can do so because the only way for preceding equation to be true for all *r*, θ, and φ is for the angular part and the radial part to each be equal to a constant, ± *l*(*l *+ 1). Despite the seemingly odd form of the separation constant, it is completely general and can be made to equal any complex number. For the angular piece, we can again separate variables using the substitution *Y*(θ,φ) = Θ(θ)Φ(φ). This gives:

sin(θ)/Θ *d*/*d*θ(sin(θ) *d*Θ/*d*θ) +* l*(*l *+ 1)sin^{2}(θ) = *m*^{2 }, (13.23)

and

1/Φ *d*^{2}Φ/*d*φ^{2 }= −*m*^{2 }, (13.24)

where we have written the separation constant as ± m^{2}, again without any loss of generality. The Φ(φ) part of the angular equation is a differential equation, *d*^{2}Φ/*d*φ^{2 }= −*m*^{2}Φ, we have solved before. We get as its unnormalized solution

Φ_{m}(φ) = exp(*im*φ) , (13.25)

where m is the separation constant which can be both positive and negative. Since the angle φ ε {0, 2π}, we have that Φ_{m}(φ) = Φ_{m}(φ + 2π). Like the ring problem in Section 13.5, in order for Φ_{m}(φ) to be single valued means that *m* = 0, ±1, ±2, ±3,…. We show these solutions in Animation 1. The Θ(θ) part of the angular equation is harder to solve. It has the unnormalized solutions

Θ_{l}^{m}(θ) = *A P*_{l}^{m}(cos(θ)) ,

where the *P*_{l}^{m} are the associated Legendre polynomials, where

P_{l}^{m}(*x*) = (1 −* x*^{2})^{|m|/2} (*d*/*dx*)^{|m| }*P*_{l}(*x*),

are calculated from the Legendre polynomials

*P*_{l}(*x*) = (1/2^{l}*l*!) (*d*/*dx*)^{l}(*x*^{2 }− 1)^{l }.^{ }(Rodriques' formula)

The first few Legendre polynomials are

P_{0}(*x*) = 1 , P_{1}(*x*) = *x *, and P_{2}(*x*) = (1/2) (3*x*^{2} −* *1) ,

or in terms of cos(θ)

*P*_{0} = 1, *P*_{1} = cos(θ), and *P*_{2} = (1/2) (3cos^{2}(θ)−1) .

We can also write the *P*_{l}^{m}(x) using the above formulas as:

P^{0}_{0} = 1, P^{1}_{1} = sin(θ), P^{0}_{1} = cos(θ) ,

P^{0}_{2} = (1/2)(3cos^{2}(θ)-1), P^{1}_{2} = 3sin(θ)cos(θ), P^{2}_{2} = 3sin^{2}(θ) .

We notice that *l *> 0 for Rodrigues' formula to be valid. In addition, |*m*| ≤ *l* since *P*_{l}^{|m|>l }= 0. (For |*m*| > * l*, the power of the derivative is larger than the order of the polynomial and hence the result is zero.) We also note that there must be 2*l *+ 1 values for *m*, given a particular value of *l*. Polar plots (*zx* plane) of associated Legendre polynomials are shown in Animation 2. A positive angle θ is defined to be the angle down from the *z* axis toward the positive *x* axis. The length of a vector from the origin to the wave function, *P*_{l}^{m}, is the magnitude of the wave function at that angle. You may vary *l* and *m* to see how *P*_{l}^{m} varies. We normalize Θ_{l}^{m}(θ)Φ_{m}(φ) by normalizing the angular part separately from the radial part (which we have yet to consider):

∫∫ *Y*_{l}^{m}*(θ,φ)*Y*_{l}^{m}(θ,φ) sin (θ) *d*θ*d*φ = 1 [θ integration from 0 to π, φ integration from 0 to 2π]

where *Y*_{l}^{m}(θ,φ) = Θ_{l}^{m}(θ)Φ_{m}(φ). When the *Y*_{l}^{m}(θ,φ) are normalized, they are called the spherical harmonics.^{2 }The first few are

*Y*^{0}_{0}(θ,φ) = (1/4π)^{1/2} ,

*Y *^{±1}_{1}(θ,φ) = −/+ (3/8π)^{1/2} sin(θ) exp(±*i*φ) *Y*^{ 0}_{1}(θ ,φ) = (3/4π)^{1/2} cos(θ) ,

and in general for *m* > 0,

*Y*_{l}^{m}(θ,φ) = (−1)^{m }[(2*l* + 1)(*l* − *m*)!/(4π(*l* + *m*)!)]^{1/2} exp(*im*φ) *P*_{l}^{m }cos(θ) ,

and *Y*_{l}^{−m}(θ,φ) = (−1)^{m}*Y*_{l}^{m}*(θ,φ) for *m* < 0. When we represent the spherical harmonics this way, they are automatically orthogonal:

∫ *Y*_{l}^{m}*(θ,φ)*Y*_{l'}^{m'}(θ,φ) sin(θ) *d*θ*d*φ = δ_{m m' }δ_{l l' }.

^{1}To avoid future confusion, we hereafter use μ for mass, and reserve m for the azimuthal (or magnetic) quantum number.

^{2}Classically, angular momentum is * L* =

**×**

*r***. We can write**

*p**using quantum-mechanical operators in rectangular coordinates as*

**L***L*

_{x}=

*y*

*p*

_{z}−

*zp*

_{y},

*L*

_{y}=

*zp*

_{x}−

*xp*

_{z}, and

*L*

_{z}=

*xp*

_{y}−

*y*

*p*

_{x}. We find that if we write

*L*

^{2}and

*L*

_{z}in spherical coordinates,

*L*^{2} = −*ħ*^{2} [(1/sin(θ)) (∂/∂θ)(sin(θ) ∂/∂θ) + (1/sin^{2}(θ)) (∂^{2}/∂φ^{2}) ,

and

*L*_{z} = −*iħ* (∂/∂φ) .

To which we note *L*^{2}Y_{l}^{m }= *l*(*l *+ 1)*ħ*^{2}*Y*_{l}^{m} and *L*_{z}*Y*_{l}^{m }= *mħ**Y*_{l}^{m}; the spherical harmonics, the* Y*_{l}^{m} , are eigenstates of *L*^{2} and *L*_{z}.