You are on page 1of 36

QUANTUM MECHANICS B PHY-413 Note Set No.

ANGULAR MOMENTUM IN QUANTUM MECHANICS. 1

1. ORBITAL ANGULAR MOMENTUM L & ITS COMMUTATORS.

For a classical particle with linear momentum p and position vector r, the Orbital Angular Momen-
tum is:
Lcl r p (1)
To nd the quantum mechanical orbital angular momentum we follow the rules for quantising a classical
problem: replace all classical dynamical variables by the appropriate operator,


p p ih ih (2)
x y z
and r r r xyz (3)

giving the QM Orbital Angular Momentum Operator:

L r p ihr (4)

or, in cartesian components,2


Lx ypz zpy ih y z (5)
z y

Ly zpx xpz ih z x (6)
x z

Lz xpy ypx ih x y (7)
y x

First we note that , as bets an observable dynamical variable, L is a Hermitian operator because both r
and p are Hermitian,
Li Li i 123 (8)
Next we study the commutation relations between the three components of the angular momentum oper-
ator using the canonical commutation relations. These state that coordinates commute with alien compo-
nents of the momentum operator, but do not commute with their own, xi p j ihi j , and that coordinates
commute with coordinates and momenta with momenta, xi x j 0, pi p j 0:

1 This topic is quite long and complicated. I recommend that you rst look at the summary section at the end, p.21, and
then work through the material several times, looking through the summary at regular intervals. Your primary aim should be
to understand the results given in the summary. The detailed derivations and discussion are to create that understanding by
showing where the results come from. There are, of course, several techniques and concepts of considerable importance in the
derivations, so they should not be skipped.
2 I remember the cross-product by drawing a circle in my mind with the components x y z arranged clockwise. The compo-

nents of the cross-product, reading from left to right in the equation, always occur in cyclic order (ie. clockwise order) for the
rst (positive sign) term and anti-cyclic for the second (negative sign) term. Thus, for the z-component Lz , you start the cyclic
sequence with z, giving z x y, giving Lz xpy ; the anti-cyclic one is z y x, giving Lz xpy ypx . This is just
another way of expressing the rule based on the determinant, but its easier to keep in your head without the need to write down
any intermediate steps.

1
[b
Lx ; b
Ly ] = bz
[(y p z pby ); (z pbx x pbz )] and using the distributive law for commutators;
= bz ; z p
[y p bx ] bz ; x p
[y p bz ] by ; z p
[z p bx ] + [z p
by ; x p
bz ]
= y pbx [ pbz ; z] 0 0 + x pby [z; pbz ] taking out factors which commute;
= by
(x p y pbx )[z; pbz ];
= ih (x pby y pbx ); using bz ] = ih
[z; p
= ih b
Lz : (9)

Similarly for the other possible commutators, giving

[b by ] =
Lx ; L ih b
Lz ; (10)
[b
Lz ; b
Lx ] = ih b
Ly ; (11)
[b
Ly ; b
Lz ] = ih b
Lx : (12)

Notice that the commutators give +ih when, reading from left to right, the components are in cyclic order
just as in a cross product. Indeed, these commutators can be written in an even more succinct form as a
cross product:
bL
L b:
b = ih L (13)
This form of the commutators shows how unintuitive non-commuting operators can be: the cross product
of two parallel ordinary vectors vanishes, but not when they are operators and their components dont
commute!
The physical consequences of this failure to commute are remarkable and follow from the generalised
Heisenberg uncertainty relation

A B  jh[A; B]ij;
1 b b
2
6= 0 if [Ab; Bb] 6= 0: (14)

Hence only one component, conventionally taken to be L bz , can be measured with perfect precision (Lz =
0). Once this measurement has been performed, we can learn nothing whatever about the other two
components (Lx 6= 0 and Ly 6= 0) because the operator b Lz commutes with neither Lbx nor b
Ly . Formally
b b b
we can say that an eigenstate of Lz cannot also be an eigenstate of either Lx or Ly .
However, there is a further twist to the story: the square of the angular momentum, L2 commutes
with b
Lz . Hence the length of the angular momentum vector can also be measured with perfect precision
along with its z-component. To prove this we consider separately each term in L2 , which is defined as
b2 = b
L b2 + b
L2x + L L2z : (15)
y

First,3

[b bz ] b
Lx [b
Lx ; b bx; L
bz ]b
2
Lx ; L = Lz ] + [L Lx
= ih(b
Lx b byb
Ly + L Lx ) using [b bz ] =
Lx ; L ihb
Ly ; (16)
3 Using bBbAb from
the identity obtained by adding and subtracting A
b2 Bb]
[A ; = b2Bb BbAb2
A
= bAbBb AbBbAb + AbBbAb BbAbAb
A
= b(AbBb BbAb) + (AbBb BbAb)Ab
A
= b[Ab; Bb] + [Ab; Bb]Ab
A

2
Similarly,

[b bz ] by [b
Ly ; b
Lz ] + [b
Ly ; b
Lz ]b
2
Ly ; L = L Ly
= +ih(b
Ly b bxL
Lx + L by ); using [b
Ly ; b
Lz ] = ihb
Lx (17)

while, finally and obviously, b


Lz commutes with its own square,

[b bz ] = 0
2
Lz ; L (18)

b 2 indeed commutes with b


Adding eqs. (16), (17), and (18), shows that L Lz :

b
[L
2
; b
Ly ] = [b
L2 ; b
Ly ] + [b by ] + [L
L2 ; L b2 ; b
Ly ] = 0 (19)
x y z

Similar calculations for the other components give the same result, which we can summarise as:

b
[L
2
; b
L i ] = 0; for all i = 1; 2; 3 (20)

Since we have chosen to measure b Lz exactly, the relevant commutator is [L b 2; L


bz ] = 0 (i = 3), which shows
b 2
that we can also measure L exactly: it is possible to measure exactly both the length and one compo-
nent of the angular momentum vector, but at the price of knowing nothing whatever about the other two
components. This can be illustrated with Figure 1, which shows a vector of known length and projection
onto the z-axis, but which can have any position on the circle obtained by rotating the vector around the
z-axis. In formal terms our result tells us that eigenfunctions of L bz are also eigenfunctions of L b 2 , but not
of b
Lx nor of b bz rather than b
Ly . Of course the choice of L Lx or b
Ly is an arbitrary convention; the point is that
only one may be chosen from the three components because the corresponding operators do not commute.
z
6

6AKA 

L

 
A
A 
q


hbLzi A  b2
L h i
A 


A 
A 
? A
 -y
x

Figure 1: Picturing what can be measured exactly. This quasi-classical picture is not to be taken too
literally - for an eigenstate hL
bz i and hL
b 2 i are the eigenvalues of the corresponding operators. L is a
quasi-classical vector representing the quantum mechanical angular momentum.

3
b IN SPHERICAL POLARS. 4
2. REPRESENTING L

In many physical applications, such as the quantum mechanics of the hydrogen atom, we either have
exact or approximate spherical symmetry. This, together with angular momentums association with
rotation, demands that we consider writing down the angular momentum operators in spherical polar
coordinates; this also leads to a great simplification and a recognition that the orbital angular momentum
operators only involve the angular variables and .
In cartesian coordinates the orthogonal x ; y , and z axes, are fixed and lie along the orthogonal
unit vectors ex = i; ey = j, and ez = k; but in spherical polar coordinates the unit vectors, er ; e , and
e , although orthogonal, vary in direction with the direction of the position vector r as may be seen
by inspecting Figure 2. Any vector may be written as an expansion in terms of these socalled basis
vectors:

V = iVx + jVy + kVz (21)


= er Vr + e V + e V (22)

special cases being the position vector,

r = ix+jy +kz (23)


= er r (24)

and the gradient operator,


= i +j +k ; (25)
x y z
1 1
= er + e + e : (26)
r r r sin

Of course you could just look up this last expression in a maths text book, but the following argu-
ment shows that it is almost obvious: The gradient involves differentials with respect to the 3 orthog-
onal infinitesimal distances: dx; dy; dz for cartesian coordinates and, as inspection of Figure 3 shows,
dr; rd; r sin d for spherical polars.
In spherical polars the momentum operator is therefore

b
p = ih (27)
= er pbr + e pb + e pb ; (28)
 
1 1
= ih er + e + e ; (29)
r r r sin

enabling us to identify the polar components of the momentum operator:

1 1
pbr = ih ; pb = ih ; pb = ih : (30)
r r r sin

To find an expression for the orbital angular momentum operator we need the cross product of the vector
r = rer with the momentum operator. This brings in the cross products of the unit vector er with all three
4 You may find this section somewhat intimidating at a first reading. First read through the summary Sections 5 at the end of
this chapter then work through the material several times, referring to the summary at the end of each reading. If you still feel
its beyond you then just skim the material and take the results on trust. As long as you understand the meaning of the results
in the summary you should be able to follow the subsequent developments.

4
orthogonal unit vectors. These can be found by inspecting Figure 2 and using the righthand rule for the
crossproduct:

er  er = 0; (31)
er  e = e ; (32)
er  e = e ; (33)

making it easy to obtain the angular momentum operator in spherical polar coordinates,
b := r  b
L p
= (rer )  (er pbr + e pb + e pb)
= r (e pb e pb )
 
1
= ih e e ; (34)
sin
Where we have used our previous results for the cross products and the momentum operators. This
expression immediately shows the important property alluded to above: the orbital angular momen-
tum operator only acts on the angular variables. Thus for a potential not depending on direction,
ie. a central potential with V (r)  V (r; ; ) = V (r), the angular momentum commutes with the
potential:
For a central potential: b ; V (r)] = 0
[L (35)
which means that each component and any power of the angular momentum commutes with the potential:

For a central potential: [b


Li ; V (r)] = 0 i = 1; 2; 3 (36)
and b 2 ; V (r)] = 0
[L (37)

We conclude this section by giving expressions for the orbital angular momentum operators b by ; b
Lx ; L Lz
and Lb in spherical polars. For this we need to find the projections of the unit vectors er ; e and e onto
2

the x ; y ; and z axes. The details are given in Appendix A and Figure 4.

er = i sin cos + j sin sin + k cos (38)


e = i cos cos + j cos sin k sin : (39)
e = i sin + j cos : (40)

Having established the projections of vectors er ; e and e onto the x ; y ; z axes we can simply rewrite
the angular momentum vector in eq. (34), using the above equations, as:
 
b 1
L = ih e e ;
sin
     
cos cos sin
= ih i sin cos + j cos sin +k ;
sin sin sin
     

= ih i sin + cot cos + j cos cot sin +k ; (41)

Hence we identify the three cartesian components of angular momentum:
 
b
Lx = ih sin + cot cos (42)

 
b

Ly = ih cos cot sin (43)

b
Lz = ih (44)

5
Note particularly the very simple form taken by b Lz - this is a consequence of the fact that Lz is the
component of rotation about the z axis, ie. in a plane parallel to the x y plane; this clearly corresponds
to only the azimuthal angle varying. We can obtain the operator as follows by referring to Figure 3:

bz
L = (lever arm projected onto x y plane)(b
p projected onto x y plane)
= (r sin )( p
b )
1
= (r sin )( ih )
r sin

= ih

There is no particularly easy way to obtain Lb 2 , because e and e both depend on and ; this contrasts
with the constant unit vectors i, j, and k. But the answer derived in Appendix C is quite simple:
   
b2 1 1 2
L =
2
h sin + : (45)
sin sin2 2

This is a remarkable result: apart from the factor h2 , and a missing 1=r2 , this is just the angular part of
the delsquared operator in spherical polars,
     
1 2 1 1 1 2
2
= r + sin + : (46)
r2 r r r2 sin sin2 2
 2     
2 1 1 1 2
= + + sin + : (47)
r2 r r r2 sin sin2 2
Recalling the kinetic energy part of the Hamiltonian

b
p2
c
KE = (48)
2m
h2 2
= (49)
2m
we immediately see that this can be written in terms of the squared angular momentum as
 
h2 2 2 b2
L
c =
KE + + (50)
2m r2 r r 2m r2

In the following section we explain how we might have guessed this simple result from a knowledge of
the classical kinetic energy.

6
3. CLASSICAL & QUANTUM KINETIC ENERGIES.

To appreciate the important result for the kinetic energy obtained in the previous section let us first
consider the classical case. Resolve the total momentum vector along and perpendicular to r:5

p = p r + p? (51)

Since these are orthogonal and, of course, commuting classical vectors,

pr :p? = p? :pr = 0: (52)

Looking at Figure 5 we see that the lever arm of p? about the origin is r so that the magnitude of the
orbital angular momentum is

L2cl
Lcl = r p? ; and therefore, p2? = ; (53)
r2
Hence we easily obtain the classical Kinetic energy as the sum of linear and rotational energies:

p2 (pr + p? )2 p2r L2cl


(KE )cl = = = + (54)
2m 2m 2m 2mr2
where we used p2r = pr :pr = p2r . To obtain the QM form one might be tempted to simply replace pr and
Lcl by the quantum mechanical operators. This would be wrong: the quantum mechanical calculation is
altogether more tricky because the two momentum operators dont commute,

pbr
b
pr :b 6
p? = p
b? :p
br ; with b
pr :b
p? = 0 but b
p? :b
pr = 2ih
r
6= 0 : (55)

This shows itself through the fact that although all the unit vectors are independent of r, they all vary
with the angles and . 6 In Appendix B we show how to calculate this additional term b
p? :b
pr . Recalling
the expression for the r-component of the momentum operator,

2
pbr = ih and hence, pb2r = h2 (56)
r r2
the full Quantum Mechanical KE operator becomes:

b2
p
c
KE = (57)
2m
pb2r pbr b2
L
= ih + (58)
2m mr 2mr2
 
h2 2 2 b2
L
= + + (59)
2m r2 r r 2m r2
 
h2 1 b2
L
= r2 + (60)
2m r r
2 r 2m r2

This expression shows a close resemblance to the classical expression for the KE, eq. (54): the additional
term, ih pbr =mr, is clearly of quantum origin because it has an explicit factor of h even before we use a
particular representation for the operator. It arises from the non-commuting operators and corresponds to
the extra term (2=r)=r which we failed to discover by unthinkingly translating the classical formula
5 Where the momentum vector along r is pr = er pr , and the one perpendicular to r is p? = e p + e p
6 See Appendix A for a full discussion

7
into operator form. This expression will be important in our study of the hydrogen atom. For the present
we note that the Hamiltonian now takes the form,
 
h2 2 2 b2
L
b=
H + + + V (r) for a central potential. (61)
2m r2 r r 2m r2

This form for the Hamiltonian in any central potential immediately demonstrates that it commutes
with all the angular momentum operators b b 2 . This is because b
Li and L b 2 , (a) only act on the angular
Li and L
variables ; , and therefore do not effect any rdependent terms, and (b) commute with the operatorL b2
and hence they commute with L b =2mr and other r-dependent terms in the Hamiltonian. Hence we find
2 2

the important results,

b; L
[H bi ] = 0 i = 1; 2; 3 (62)
For a Central Potential
[H b2] = 0
b; L (63)

which imply that eigenstates of energy are also eigenstates of b b 2 . Recall that once we have
Lz and L
chosen to make our energy eigenstates also eigenfunctions of b
Lz they cannot be eigenfunctions of b
Lx and
b b
Ly because these dont commute with Lz .

4. QUANTISING ORBITAL ANGULAR MOMENTUM.

We are now in a position to prove that the eigenvalues of L b 2 and b


Lz are quantised. Since in a central
potential, eigenstates of these two operators are also eigenstates of energy, we therefore see that an
b 2 and b
electron in a state of definite energy will also be in an eigenstate of L Lz :

b E (r)
If H = EE (r); (64)
b 2 E (r)
then L =
2
h `(` + 1)E (r) ` = 0; 1; 2; : : : ; (65)
bz E (r)
and L = h mE (r) m = `; `+ 1; : : : ; 0; : : : ; ` 1; `: (66)

(We will show later that there is also the possibility of ` values 1=2; 3=2; 5=2; : : : for angular momentum
in general, including spin, but not for orbital angular momentum.) From the above summary we see that
the electron wave function should not only carry the energy label E ( or equivalently the quantum number
n, as in the infinite square well, harmonic oscillator or the hydrogen atom), but also those corresponding
to the angular momentum, E m , or n m .
;`; ;`;

There are two approaches to demonstrating the quantisation of angular momentum:


APPROACH (1), by seeking directly the eigenfunctions of L b 2 and b
Lz . I will motivate this approach
physically by showing how the eigenvalue equations arise in seeking the energy eigenfunctions for a
particle in a central potential. We will apply this later to our study of the hydrogen atom.
APPROACH (2), by treating the angular momentum operators as abstract entities defined entirely by
their commutation relations. It is this approach which reveals the possibility of non-integer quantum
numbers ` and m and which enables us to handle the purely quantum mechanical phenomenon of spin.

8
4.1 APPROACH (1): THE EIGENFUNCTIONS & EIGENVALUES OF
. ORBITAL ANGULAR MOMENTUM OPERATORS.

We could start our discussion by seeking directly the eigenfunctions of L b 2 and L


bz . Looking back at
the representations of these two operators in spherical polars, eqs. (44) & (45), we notice that L bz only
operates on the variable , eq. (44), so that its eigenfunctions are functions of ,

b
Lz m () = mh m (); (67)
m ()
ie. ih = mh m (); (68)

The solution to this equation is simple and unique:

m () = eim ; (69)

but there is nothing yet to tell us the value of m, the azimuthal quantum number; for this we need to
introduce some further physical information.
b 2 , eq. (45), operates on both and , so that its eigenfunctions depend on both
In contrast, the operator L
variables; we will also find that the eigenfunctions depend on m as well as the L2 eigenvalue `:
b 2 Ylm (; ) = h2 `(` + 1) Ylm (; )
L (70)

Again, at this stage, there is nothing to tell us the value of the quantum number `.
To introduce the physics we consider a particle in a central potential V (r) and we proceed to solve
the TDSE in the obviously appropriate spherical coordinate system:

b (r; ; ) E (r; ; ) = E E (r; ; );


H (71)

which we can write more explicitly as,


(   )
h2 2 2 b2
L
+ + + V (r) E (r; ; ); = E E (r; ; ) (72)
2m r 2 r r 2m r2

or in its full glory,


       
h2 2 2 h2 1 1 2
+ sin + + V (r ) E = E E (73)
2m r2 r r 2m r2 sin sin2 2
Separation of variables: To solve this equation we first notice that the angular dependent terms are
very nearly separated from the r dependent ones; all we have to do is multiply by r2 to achieve the full
separation. This suggests that a way to find the solutions is to try to find one in the form

E (r; ; ) = R(r) Y (; ) (74)

Substituting into the TISE and multiplying by 2m r2 =R(r)Y (; ) we obtain


  
r2 d 2 R(r) 2 dR(r) 1 b2
h2 + + (E V (r))2m r2 = L Y (; )
R(r) dr2 r dr Y (; )
   
h2 1 Y (; ) 1 2Y (; )
= sin + :
Y (; ) sin sin2 2
This equation must hold for all values of the three independent variables r; and ; but the the left side
is only a function of r, the right only a function of and . They can only possibly be equal for arbitrary

9
choices of r; and if they dont vary at all, ie. they are constant. We call this constant, which has the
dimensions of h2
h2 `(` + 1)
for convenience, where ` is an unknown dimensionless constant.7 Thus we obtain the radial equation
whose solution depends on the precise form of the potential,
   
h2 d 2 R(r) 2 dR(r) h2 `(` + 1)
+ + V (r ) + R(r) = E R(r); (75)
2m dr2 r dr 2m r2
and the angular equation which is independent of the potential:
   
b 2 Y (; ) = h2 1 1 2
L sin + Y (; ) = h2 `(` + 1) Y (; ): (76)
sin sin2 2
Something remarkable has happened: the differential operator which operates on the function Y (; ) is
b 2 , and this equation is nothing but the statement that Y (; )
none other than our recent acquaintance, L
is an eigenfunction of the angular momentum operator L b 2 , with the corresponding eigenvalue being
2
the constant h `(` + 1):
b 2 Y (; ) = h2 `(` + 1) Y (; )
L (77)
Remember that at this point we know nothing about the numerical value of `. Incidentally, its not
b 2 commutes with the
too surprising that this equation occurs in this problem: for a central potential L
Hamiltonian, and therefore eigenstates of energy - in this case E = R(r)Y (; ) - are also eigenstates
b 2 . We now anticipate that the wave function is also an eigenstate of b
of L Lz because this operator also
b
commutes with H. To see that this is so we now separate the eigenvalue equation for Y (; ) by trying a
solution of the form:
Y (; ) = () (): (78)

Substituting into the equation, multiplying by sin2 = and isolating the dependent terms on the
right we obtain the separated form,
 
1 d d() 1 d 2 ()
sin sin + `(` + 1) sin
2
= : (79)
() d d () d2
Once again we see that this equation must hold for all values of the independent variables and , so
that the left and right sides must be a constant. Calling this as yet unknown dimensionless constant m2 ,
we obtain for the equation:
   
1 d d() m2
sin + `(` + 1) () = 0: (80)
sin d d sin2
This is the associated Legendre equation whose finite solutions, known as the associated Legendre
functions, are well-studied and are labelled by the values of the two constants ` and m:

() = Pm (cos ):
`
(81)

The equation is very simple:


d 2 ()
= m2 (): (82)
d2
The solutions are of the general form
() = eim ; (83)
7 At this stage we have no idea whatever what the value of ` is and we are just anticipating the form that will come out of

subsequent discussion. The discussion would go exactly the same way if we called this constant A, , or anything else.

10
which is also a solution of the eigenvalue equation,

bz () = hm ():
L (84)

Indeed, if we act on this last equation with b


Lz we simply obtain h2 times eq. (82):

b2 () = h2 d 2 ()
L z
2
= h m2 (); (85)
d2

thereby confirming that hm is the eigenvalue of b


Lz and that m () its eigenfunction. Thus we have ex-
plicitly verified that eigenfunctions of the Hamiltonian for a central potential are also eigenfunctions of
b 2 and L
L bz .

Applying Physical conditions to the wave function: We now impose the physically reasonable re-
striction that the wave function be single-valued; this is certainly consistent with the probability inter-
pretation of the wave function.8 Since and + 2 correspond to the same physical point, we require

( + 2) = (); (86)

which immediately shows that m must be an integer:

m = 0; 1; 2; 3; : : : (87)

Thus do we obtain the quantisation of the z component of orbital angular momentum: b Lz has quan-
tised eigenvalues hm; m = 0; 1; 2; 3; : : : .
We now return to the equation which can be simplified by using the variable w = cos :9
 
(1
d2
2
w) 2 2w
d
+ `(` + 1)
m2 jmj
P ( w) = 0 (88)
dw dw 1 w2 `

This can be solved by the series method: as with the harmonic oscillator, it turns out that a physically
acceptable wave function, finite at cos = 1, only results if the series terminates after a finite number
of terms. This imposes a relationship between ` and m:

` = 0; 1; 2; : : : and for each `, m has (2` + 1) allowed values,


m = `; `+ 1; : : : ; 0; : : : ; ` 1; `: (89)
p
The angular momentum vector, in units of h, is a vector of length `(` + 1); the only permissible
orientations of the vector being those for which its projection onto the z axis have the values m =
`; ` + 1 : : : ; `. Thus for ` = 1 there are 3 allowed m values, m = 1; 0; 1; for ` = 2 there are 5 al-
lowed values, m = 2; 1; 0; 1; 2. Figure 6 illustrates these rules and emphasises the fact that Lbx and bLy
are indeterminate by showing the angular momentum vector as having any orientation corresponding to
rotations about the z axis.10

4.1.1 ORTHONORMALITY OF ANGULAR MOMENTUM EIGENSTATES:

8 This argument for single-valuedness of is not generally valid, but is correct for orbital angular momentum. In fact, since

the physical quantity is the probability density jj2 j()j2 , we only require it to be single-valued. This only makes m real.
The operator approach will show that 2` + 1 = integer, which implies that m = 1=2 is also possible - a value appropriate for
electron spin. So the the spin wave functions for the electron are double-valued!
9 That the solution of this equation is independent of the sign of m is obvious because the equation contains m only in the

form m2 . Thus P`m = P` m = P`


jm j
p
10 Note also the rather peculiar characteristic of the rules which never have the vector pointing precisely along the z axis!

This is because the vector has length `(` + 1) rather than the value ` obtained from Bohrs original theory.

11
We have now shown that the wave function depends on the energy and on the quantum numbers `; m;
in fact if we look at the equations satisfied by R(r) and Y (; ) we see that the former depends only on
E and `, R(r) = RE (r), while the latter does not involve E at all, but does depend on both ` and m,
`

Y (; ) = Y m (; ). Thus we should write the energy eigenstates not as E (r) but as:
`

E ` m (r) = R E (r ) Y
` ` m (; ): (90)

To be a physically acceptable wave function E ` m (r) must also be normalised:


R
jE ` m (r)j2 d 3x = 1 ; where the 3-D volume element, Figure 7, is d3 x  r2 sin d d dr; (91)

or, in full detail (note especially the factor of r2 ),


Z Z 2 Z
r2 dr d sin d jE ` m (r) j2 = 1 : (92)
0 0 0

A convenient shorthand for the angular integration variable is the solid angle notation, d  sin d d,
with the accompanying shorthand for the integration itself:
Z Z 2 Z
d  d sin d (93)
0 0

It is conventional and convenient to normalise the spherical harmonics, 11

Y m (; )  N m P
jmj (cos ) eim ; (94)
` ` `

Z
jY m ( )j2 d = 1
` ; ; (95)

which means that, to normalise the wave function E ` m (r) the radial wave function RE (r) is normalised`

only when multiplied by r2 : 12 Z

0
jRE (r)j2 r2 dr = 1
` : (96)

As expected for eigenfunctions of Hermitian operators, the spherical harmonics are orthonormal:
Z
Y m (; ) Y m (; ) d = m m
`
0 0 ` 0
` `
0 (97)

Moreover the most general solution to the TISE equation is a linear combination of spherical harmonics:
they constitute a complete set of functions for which the expansion theorem holds. Thus the angular part
of any wave function may be expanded in terms of eigenfunctions of b L2 and b
Lz :
+`
(r; ; ) = c `; m E ` (r )Y`m (; ); (98)
`= 0 m= `

11 The normalising factor, with a conventional but arbitrary phase factor ( 1)m , is
 (2 1=2
`+ 1)(` m)!
N`m = ( 1)m :
4(` + m)!

12 This is important for the physical interpretation of plots of the radial wave function: one normally plots jr R (r )j2 because
E`
this represents the physical probability density at a distance r from the origin. Of course we must remember that this is
then modulated by the direction-dependent angular wave function jY`m (; )j2 factor to give the full spatial dependence of the
probability density.

12
where the coefficients c m play the same role as the cn in our general discussion of the expansion theorem.
`;

Normalisation of this state requires,


+`

jc m j2 = 1 `; ; (99)
`= 0 m= `

which tells us that the jc m j2 are probabilities. Thus, for a system in the normalised state Y (; ) a
`;

measurement of both the square and z component of orbital angular momentum yields, with probability
jc mj2 ; one of the eigenvalues h2`(` + 1) of Lb 2 and one of the eigenvalues, hm; m  m = `; ` +
`; `

1; : : : ; ` 1; `, of b Lz corresponding to that ` value; immediately after the measurement which gave the
values (`; m) the wave function will be Y m (; ). If only the squared angular momentum is measured,
`

yielding h2 `(` + 1), then the probability for this outcome is the sum over the possible, but unmeasured
m values, + m= jc m j .
` 2
` ` `;

If we are concerned with a state of definite total orbital angular momentum, then it must be an
eigenstate of L b 2 , fixing the value of the quantum number `. This is a frequently used special case of the
more general expansion theorem in eq. (98). The angular part of the wave function would then be:
+` +`
Y( `) (; ) = cm Y m (; );
` where jcm j2 = 1 ; (100)
m= ` m= `

For a system in this normalised state the outcome of a measurement of L b 2 will certainly yield h2 `(` + 1);
but a measurement of b Lz will yield one of its eigenvalues, hm; m  m = `; ` + 1; : : : ; ` 1; `, with
probability jcm j2 ; if the outcome is hm then immediately after the measurement the wave function will be
`

Y m (; ).
`

13
4.1.2 PLOTTING THE SPHERICAL HARMONICS - THE SHAPES OF ATOMS.

Before we deal with the operator approach to angular momentum, let us briefly examine the prop-
erties of the spherical harmonics with a view to its application in understanding the shapes of atoms.
Since the relevant angular part of the quantum mechanical probability density (per unit solid angle,
d = sin dd) is independent of the azimuthal angle ,

jY m ( )j2
; = N 2m jP
jmj j2 jeim j2
` ` `
h
= N 2m P
jmj i2 ; (101)
` `

we see that all systems with a central potential have rotational symmetry about the z axis. Put another
way, a plot of the angular probability distribution can always be pictured as a 2-dimensional figure rotated
about the z axis; examples of the first few are shown in Figures 8a and 8b. The first three angular
momentum eigenfunctions are also tabulated in Table 1; notice that the states have definite parity which,
being ( 1) , alternates in a nearly familiar manner.13 Of course this is another example of our theorem
`

that eigenstates of energy are also eigenstates of parity if the potential is symmetric, V ( r) = V (r). This
is trivially satisfied for a central potential because under a mirror reflection the length r of the vector r
doesnt change.

Figure 9: Illustrating the parity transformation in spherical polar coodinates.

13 In fact the mirror reflection of axes, (x; y; z) ! ( x; y; z) only alters the angles in spherical polars. From Figure 9 we
see that in the reflected coordinate system ( a left-handed system) the components of r change:

(r; ; ) ! (r
; ; + ) giving sin ! sin ; cos ! cos ;

leading to,
jmj (cos ) ! ( 1)` jmj Pjmj (cos )
P` `

and also, eim


! e e = ( 1)jmj eim :
i im

Combining these then gives the result quoted: Y`m ! ( 1)`Y`m .

14
Table 1. Angular Momentum Eigenfunctions, E ` m (r) = R E (r ) Y
` ` m (; ):

Quantum Associated Legendre Azimuthal


Numbers Function Function Spherical Harmonic
`
Parity = ( 1)
` m P
jmj (cos ) eim Y m (; ) = N m P eim
jmj
` ` ` `

1
1
0 0 1 1 Y0 0 = ; 4
2

1
1 0 cos 1 Y1 0 = ;
3
4
2
cos

1
1 sin ei Y1 1 = 
;
3
8
2
sin ei

 12
2 (3 cos (3 cos2
1 2 5
2 0 1) 1 Y2 0 = ; 16 1)

 12
1 3 sin cos ei Y2 1 = 
;
15
8 sin cos ei

 12
2 3 sin2 e2i Y2 2 = ;
15
32 sin2 e2i

 12
2 (5 cos 3 cos ) (5 cos3 3 cos )
1 3 7
3 0 1 Y3 0 = ;
16

 12
1 2 sin (5 cos
3 2 1) ei Y3 1 = 
;
21
64 sin (5 cos2 1) ei

 12
2 15 sin2 cos e2i Y3 2 = ;
105
32 sin2 cos e2i

 12
3 15 sin3 e3i Y3 3 = 
;
35
64 sin3 e3i

Notes: (a) The mysterious  in the last column are conventional phase factors - see 11
p footnote .
(b) The associated Legendre functions are indeed functions of cos since sin = (1 cos2 ).
(c) The normalised components of the wave function for a given ` are:
p jmj (cos )
Z +1
`m (cos ) = 2N m P ` `
` m0 (w)`m (w) dw = m0 m ;
1

where w = cos is the integration variable, the range of integration being = 0 ! ,


Z 2
m () = p12 eim m ()m ()d = m m ;
0 0

and Z
Y m (; ) =
` `m () m (). Y m (; ) Y m (; ) d = m m :
`
0 ` 0

15
4.2 APPROACH (2): GENERAL ANGULAR MOMENTUM OPERATORS.

One of the great surprises in the history of 20th century physics was the discovery of spin, a form of
angular momentum intrinsic to an isolated particle such as an electron. The surprise is that spin cannot
be understood quantitatively as the analogue of a spinning top or the earth spinning on its axis - these
are really examples of orbital angular momentum in disguise: the material making up a top or the earth
is simply orbiting about the spin axis. In fact the electron is known experimentally to be so small that
its impossible to imagine how it could produce its angular momentum h=2 by spinning no faster than the
speed of light. This is our motivation for studying angular momentum in a purely abstract way, assuming
that the general angular momentum operator b J represents all forms of angular momentum: orbital, when
b
J = L;b spin, when b b and situations which occur when spinning particles are also orbiting - such as
J = S;
an electron in an atom - for which the total angular momentum is the vector sum b J=L b Without
b + S.
any prior knowledge about the spatial structure of spin, our approach will be purely algebraic: angular
momentum in QM is represented by the Hermitian vector operator b J which obeys the commutation
relations: 8
< [Jbx ; Jby ] = ih Jbz ;
J b
b J = ih b
J [Jb; Jb ] = ih Jby ; (102)
: z x
b b b
[Jy ; Jz ] = ih Jx :

From these equations we can deduce that bJ2 commutes with all the components of b
J. The proof follows
exactly the sequence eqs. (15) to (20) which used only the commutation relations and not the explicit
representation of orbital angular momentum:

b
J2 = Jb2 + Jb2 + Jb2 : (103)
x y z

b2 ; B
For each term we use the identity [A b[A
b] = A b; B b; B
b] + [A b to obtain:
b]A

[Jbx ; Jbz ] Jbx [Jbx ; Jbz ] + [Jbx ; Jbz ]Jbx


2
=
= ih(Jbx Jby + Jby Jbx ): (104)
[Jby ; Jbz ] +ih(Jby Jbx + Jbx Jby );
2
Similarly, = (105)

while, finally and obviously, Jbz commutes with its own square, [Jbz2 ; Jbz ] = 0. Thus the two non-vanising
terms cancel, showing that bJ2 indeed commutes with Jbz . Similar proofs go through for the other two
components, giving finally:
[b
J2 ; Jbi ] = 0; for all i = 1; 2; 3 (106)
Since bJ2 and Jbz commute they have a common eigenfunction , with as yet unknown eigenvalues h2
and hz respectively:
b
J2 = h2 (107)
Jbz = hz (108)
We now proceed to show that the commutation relations alone imply the quantisation rules obtained
before for orbital angular momentum, but with a bonus: half-integral angular momentum is also possible.
The analysis is divided into several distinct steps:

16
p
Step 1: jzj 

Since the square of an operator has a positive expectation value we obtain,

hbJ2 i = hJbx2 i + hJby2i + hJbz2i  hJbz2i


; (109)

which translates immediately into a statement about the eigenvalues:14


p
2z  or, taking the square root of these positive numbers, jzj  : (110)

Notice that z can have any sign, but is positive because its the eigenvalue of the square of an operator.
This result is not surprising when we refer to the quasi-classical Figure 10, since the projection of the
angular momentum vector onto the z axis can never be larger than the length of the vector.15

z
6
b
J2 = h2
p
J jzj 
6


 bz = hz
L



p

hz
h



?   -y
x

p
Figure 10: Picturing the inequality, jz j  for an eigenstate of Jbz and b
J2 with eigenvalues hz
and h2 .

14 Remember b is just the expectation value of that operator when the system is in the
that the eigenvalue of an operator O
corresponding eigenstate:
Z Z
hObi =  Ob dx =  dx for an eigenstate, O = ;
= for a normalised eigenstate.

15 Deeper thought reveals that the result is more subtle: the quasi-classical picture does no more than depict the content of
the eigenvalue equations. That the eigenvalues do indeed behave this way is true but not trivial to prove. In the case of spin
one has to prove that the expectation value of a squared operator is positive without knowing anything about the nature of the
coordinates upon which the wave function depends - indeed such coordinates may not even exist for intrinsic properties like
spin. However if the wave functions are dependent on the spatial variables, as in the case of orbital angular momentum, then
its clear why the square of a Hermitian operator has positive expectation value:
Z Z
hOb2 i =  Ob2 dx = (O b ) Ob dx since Ob is Hermitian
Z
= jOb j2 dx  0; since its the integral of a positive quantity.
The matrix or Dirac formalism is needed to prove this result when, as for spin angular momentum, we do not know what is the
analogue of the coordinates x; y; z or r; ; . That is the great merit of Heisenbergs matrix form of QM and why we will use it
later for dealing with spin.

17
Step 2: Introducing raising & lowering operators, Jb .

As we discovered in solving the SHO, the introduction of raising and lowering operators is the key
to the analysis. They are simple linear combinations of Jbx and Jby :

Jb  Jbx  iJby with Jb+ = Jb : (111)

Their properties all follow from those of the Jb operators:16

Jb+ Jb = b
J2 Jbz2 +hJbz (112)
Jb Jb+ = b2
J Jbz2 hJbz (113)
or, more succinctly, Jb Jb = b
J2 Jbz2 hJbz ; (114)

leading to:
[Jb ; Jb ] = 2hJbz ; (115)
and
[Jbz ; Jb ] = hJb : (116)
Finally, and most simply, they commute with b
J2 because Jbx and Jby do:

[b Jb ] = 0:
2
J ; (117)

This has the immediate consequence that,


Step 3: Jb are eigenstates of b
J2 with the same eigenvalue as .

To prove this we merely act on with b


J2 and b
J in each order:

Jb (b
J2 ) = b
J2 (Jb )
= h2 (Jb ); using on the left that is an eigenstate of b
J2 , (118)

thereby showing that (Jb ) is also an eigenfunction of b


J2 with the same eigenvalue h2 as .

Step 4: Jz with eigenvalues h(z  1).


Jb are eigenstates of b

The proof shows why Jb are called raising and lowering operators. We use their commutators with
Jbz in the form,
Jbz Jb = Jb Jbz hJb ; (119)
to find

Jbz (Jb ) = Jb (Jbz ) hJb from the above commutator ;


= hz (Jb ) hJb since Jbz = hz : (120)
16 Thus, for example,

Jb+ Jb = b b b iJby )
(Jx + iJy )(Jx

= Jx + Jby2 i(Jbx Jby Jby Jbx )


b2

Recognising the first two terms as bJ2 Jbx2 and the bracketed combination as the commutator [Jbx ; Jby ] = ihJbz we obtain the result
quoted. The other results all follow in a similar manner.

18
Collecting the (Jb ) terms on the right together gives the result:

Jbz (Jb ) = h(z  1) (Jb ) (121)

Jbz Eigenvalue Eigenfunction b


J2 Eigenvalue
Jb+ max = 0
h max
z max h2

h(z + 2) (Jb+ )2 h2 )

h(z + 1) Jb+ h2
6
Jb+
h z h2
Jb
? h(z 1) Jb h2

h(z 2) (Jb )2 h2

h min
z min h2
Jb min = 0

Figure 11: Illustrating the action of the raising and lowering operators on the eigenstates of Jbz
and b
J2 . All are eigenstates of b
J2 with eigenvalue h2 .

Figure 11 depicts the action of these ladder operators: a single application of Jb+ to an eigenstate raises
it up the ladder, increasing its Jbz eigenvalue by one unit of h; repeated applications simply create eigen-
states progressively higher up the ladder. Jb performs the same operations down the ladder, decreasing
the eigenvalue by one unit of h at each application. Can we continue the process
b
p indefinitely? No, be-
cause Step 1 showed us that the magnitude of the Jz eigenvalue cannot exceed h .

Step 5: Hence, there must exist on the ladder both a highest eigenstate, max
. and a lowest one, min .

Just as for the ground state of the SHO, so these states must be annihilated by the action of the
appropriate ladder operator, thereby blocking any further progress on the ladder:

Jb+ max = 0; (122)


Jb min = 0: (123)

These states, being eigenstates of Jbz , have the maximum and minimum allowed eigenvalues:

Jbz max = max


z max ; (124)
Jbz min = min
z min : (125)

19
Step 6: With max
z  j, = j( j + 1).

We now proceed to relate the eigenvalue h2 of b


J2 to the eigenvalue hmax
z of Jbz by applying to max
the operator identity Jb Jb+ = bJ2 Jbz2 hJbz obtained in Step 2. The key is to notice that this operator
annihilates the state because Jb+ does so:
Jb Jb+ max = Jb (Jb+ max ) = 0 (126)
= (b
J2 Jb2z hJbz )max (127)
= h (
2
( z )
max 2
max
z )max (128)
Since max is not zero, we conclude that ( (max
z )
2 max ) = 0. Similarly, by applying to
z min the state
annihilating operator Jb Jb+ = b
J Jbz hJbz we find that ( (z ) + z ) = 0. Solving both conditions
2 2 min 2 min

for then yields the pair of equations,


= max
z (z
max
+ 1) (129)
= min
z ( z
min
1) (130)
which immediately imply 17
min
z = max
z  j; (131)
where, because of its pivotal role in the argument we introduce a more succinct notation for the maximum
eigenvalue of the hJbz operator,
max
z j (132)

so that the eigenvalue of the hb


J2 operator is:

h2 = h2 j( j + 1) (133)

This remarkable result then leads to our final conclusion,


Step 7: 2 j = INTEGER

Our final steps begin with the lowest eigenstate min and climb the ladder of eigenstates by operating
repeatedly on it with the raising operator Jb+ . Each step increases the eigenvalue by one unit of h; after n
steps we have reached the state (Jb+ )n min which has Jbz eigenvalue h(min
z + n) = h( j + n). But we know
that this climb must end, and that the end must be the state of maximum eigenvalue max because this is
the defining property of max .18 Thus there is some n for which the resulting eigenvalue is h j, giving
n
j+n = j or, j = ; n = 0; 1; 2; : : : (134)
2
We therefore discover two possibilities, integral (for n even) and half-integral (for n odd) angular momen-
tum (in units of h), whereas for orbital angular momentum only integral values were possible. Writing
for the eigenvalues z  m j we then have the quantisation rules for general angular momentum:
Integral angular momentum: j = 0; 1; 2; : : : mj = j; j + 1:::0:::; j 1; j (135)
1 3 5
Half-integral angular momentum: j = ; ; ;::: mj = j; j +1:::; j 1; j (136)
2 2 2
17 The equations actually give two possible solutions, min
z = z
max or min = max + 1, but this latter is inconsistent with the
z z
obvious fact that z < z .
min max
18 The reason is that there is only one function which is annihilated by Jb ; in other words the solution to Jb
+ + max = 0 is
unique.

20
Thus, for an eigenstate of general angular momentum we have,

b
J2 j;m = h2 j( j + 1) j m j ; (137)
j

Jbz j m j
; = hm j j m j
; (138)

The angular momentum quantum numbers j and mj labelling an eigenstate are often loosely referred to
as the angular momentum and its z component, or azimuthal projection, although strictly the angular
momentum is h j and hm j . A special case of integral angular momentum is obviously the already encoun-
tered orbital angular momentum b b we shall see later that spin angular momentum, b
J = L; b which
J = S,
cannot be pictured classically as a microscopic spinning top, can have both integral and half-integral
values.

Jbz Eigenvalue Eigenfunctions Jbz Eigenvalue


m jh j mj
; j mj
; m jh

+ jh max = j ; j max = j + jh
; j

+2h j 2 ;

j 3 ; = 2 + 32h
6
+h j 1 ; Jb+
6
Jb+ j 1 ; = 2
1
+ 2h
0 j 0 ;

Jb j ; 1=2
1
2h
? 1h j ; 1 Jb
j 3 ?
; 3=2 2h
2h j ; 2

jh min = j min = j ; j jh
; j

1 3 5
Angular Momentum j = 0; 1; 2; : : : Angular Momentum j = 2; 2; 2;:::

Figure 12: The angular momentum spectrum. All are eigenstates of b J2 with eigenvalue h2 j( j + 1).
On the left is shown the case of integral j, which allows m j = 0. Orbital angular momentum always
gives such a spectrum, with b b j = ` and m j = m = m; so does integral spin (eg. the photon has
J = L, `

spin s=1) with b J=bS, j = s and m j = ms . On the right is shown half-integral angular momentum
(eg. the electron and proton have spin s = 1=2), which forbids m j = 0.

21
5. SUMMARY.

b & ITS COMMUTATORS.


5.1 ORBITAL ANGULAR MOMENTUM L

The QM Orbital Angular Momentum Operator is:


b = rp
L b = ih r  ; (139)

or, in cartesian components,


 
bx

L = y pbz z pby = ih y z ; (140)
z y
 
b
Ly = z pbx x pbz = ih z x ; (141)
x z
 
b
Lz = x pby y pbx = ih x y : (142)
y x

First we note that , as befits an observable dynamical variable, L b is a Hermitian operator because both r
and b
p are Hermitian,
b bi ; i = 1; 2; 3
Li = L (143)
These components do not commute, but obey the angular momentum algebra. This can be expressed
succinctly as: 8
bx ; L
< [L by ] = ih b
Lz ;
L  L = ih L
b b b or, in fully explicit form, b b b
[L ; L ] = ih Ly ; (144)
: z x
by ; L
[L bz ] = ih b
Lx :
Hence, by the generalised Heisenberg uncertainty relation, only one component, conventionally taken to
be b
Lz , can be measured with perfect precision (Lz = 0). Once this measurement has been performed,
we cannot determine the other two components precisely (Lx 6= 0 and Ly 6= 0) 19 because the operator
b
Lz commutes with neither b Lx nor b
Ly . Formally we can say that an eigenstate of bLz cannot also be an
b b
eigenstate of either Lx or Ly .
However, there is a further twist to the story: the length of the angular momentum vector can also be
measured with perfect precision along with its z-component because the square of the angular momen-
tum, L2 ,
Lb2 = b b2 + b
L2x + L L2z : (145)
y

commutes with b
Lz :
b
[L
2
; b
L i ] = 0; for all i = 1; 2; 3 (146)
Figure 1 illustrates succinctly the physical consequences of these results: the length and the z compo-
nent of the angular momentum can be measured exactly, but the angular momentum vector can lie at any
orientation on the cone indicated by the circle. In terms of eigenstates it means that eigenstates ofb
Lz are
19 The b 2 and bLz , we can show that
precise expressions are quite easy to obtain: for a simultaneous eigenstate of L

hbLx i = hLbyi = 0
and that
hbL2x i = hbL2y i = h2 f (
2
` `+ 1) m2 g
so that the uncertainties are q
Lx = Ly = ph
`(` + 1) m2
2
These are consistent with Heisenbergs generalised uncertainty relation. The proof uses the raising and lowering operators
bL = (bLx  Lby )=2 and the orthornormality of the eigenstates.

22
b 2 , but not of either b
also eigenstates of L Lx or b
Ly .

b IN SPHERICAL POLARS.
5.2 REPRESENTING L

In spherical polars we write the unit vectors in the orthogonal (r; ; ) directions as (er ; e ; e ); these
are the analogues of the cartesian unit vectors (ex ; ey ; ez ) = (i; j; k). See Figures 2, 3 & 4 for the notation.
Then since orbital angular momentum is always perpendicular to the r-vector, it has no component along
r,

b
L = (er r)  (er pbr + e pb + e pb ) (147)
= r (e pb e pb ) (148)
 
1
= ih e e ; (149)
sin

b only acts on the angles, not on r. This should not surprise us


I quote this result to show explicitly that L
since angular momentum is concerned with rotation, ie. changing angles, not changing radial coordinate
r. The immediate consequence is that any function of r, such as a central potential V (r), commutes with
b 2 and all the components of L:
L b

b] = 0
[V (r); L and b ]=0
[V (r); L
2
(150)

Also, since the kinetic energy term in the Hamiltonian, 20

b2
p
c
KE = (152)
2m
pb2r pbr b2
L
= ih + (153)
2m mr 2mr2
2  2 
b2
h 2 L
= + + (154)
2m r2 r r 2m r2
 
h2 1 b2
L
= r2 + (155)
2m r2 r r 2m r2

b 2 , it too commutes with the angular momentum and its square:


depends only on r and L

b; L
[H bi ] = 0 i = 1; 2; 3 (156)
For a Central Potential
[H b2] = 0
b; L (157)

which imply that eigenstates of energy are also eigenstates of b b 2 . Recall that once we have
Lz and L
chosen to make our energy eigenstates also eigenfunctions ofb
Lz they cannot also be made eigenfunctions
b b b
of Lx and Ly because these dont commute with Lz .
20 This is easy to remember because it is so similar to the classical Kinetic energy

p2 ( pr + p? )2 p2r L2cl
(KE )cl = = = + (151)
2m 2m 2m 2mr2
The only difference is the additional quantum correction due to non-commuting operators:

h2
ih pbr =mr = (2=r )=r
2m

23
Finally we note the following expressions for the cartesian components:
 
b
Lx = ih sin + cot cos (158)

 
b
Ly = ih cos cot sin (159)

b
Lz = ih (160)

   
b2 1 1 2
L = h2
sin + : (161)
sin sin2 2

Note particularly the very simple form taken by b


Lz , which is a consequence of the fact that rotation about
the z-axis corresponds to rotation in the x y plane which is described only by a varying -angle.

24
5.3 QUANTISING ORBITAL ANGULAR MOMENTUM.

b 2 and L
5.3.1 SIMULTANEOUS EIGENSTATES OF L bz .

Since the commuting operators L b 2 and b


Lz only act on the angles, their simultaneous eigenstates,
Y m (; ) are only functions of these angles. Their eigenvalues are expressible in terms of two quantum
`

numbers ` and m which are only allowed discrete integer values:

` = 0; 1; 2; : : : and for each `, m is allowed any of (2` + 1) values,


m = `; `+ 1; : : : ; 0; : : : ; ` 1; `: (162)

The fact that these quantum numbers are integers comes from the physical requirement that the wave
functions be finite and single-valued. The eigenfunctions Y m (; ), known as Spherical Harmonics, are
`

eigenfunctions of both the Lb 2 operator,

b2 Y
L ` m (; ) = h
2
`(` + 1) Y ` m (; ) (163)

and the b
Lz operator,
b
Lz Y` m (; ) = h mY` m (; ) (164)
The form of the normalised eigenfunctions is

Y m (; )  N m P
jmj (cos ) eim ; (165)
` ` `

(the N m are normalisation constants, see footnote11 ) where the associated Legendre Function, P (cos ),
jmj
` `

are well-studied functions of cos . As expected for eigenfunctions of Hermitian operators the spherical
harmonics are orthonormal: Z
Y m (; ) Y m (; ) d = m m
`
0 0 ` (166) 0
` `
0

where we use the solid angle notation as a convenient shorthand for the angular integration variable,
d  sin d d, with the accompanying shorthand for the integration itself:
Z Z 2 Z
d  d sin d (167)
0 0
Z
jY m ( )j2 d = 1
` ; ; (168)

Finally note that the expansion theorem allows us topwrite the most general wave function for a particle
whose magnitude of orbital angular momentum is h `(` + 1), ie. orbital angular momentum quantum
number `, as a linear combination of eigenstates with definite projections along the z-axis:
+` +`
Y( `) (; ) = cm Y m (; );
` where jcm j2 = 1 ; (169)
m= ` m= `

For a system in this normalised state the outcome of a measurement of L b 2 will certainly yield h2 `(` + 1);
but a measurement of b Lz will yield one of its eigenvalues, hm; m  m = `; ` + 1; : : : ; ` 1; `, with
probability jcm j2 ; if the outcome is hm then immediately after the measurement the wave function will be
`

Y m (; ).
`
p
The angular momentum vector, in units of h, is a vector of length `(` + 1); the only permis-
sible orientations of the vector being those for which its projection onto the z axis have the values
m = `; ` + 1 : : : ; `. Thus for ` = 1 there are 3 allowed m values, m = 1; 0; 1; for ` = 2 there are 5
allowed values, m = 2; 1; 0; 1; 2. Figure 6 illustrates these rules and emphasises the fact that b Lx and
b
Ly are indeterminate by showing the angular momentum vector as having any orientation corresponding

25
to rotations about the z axis.

5.3.2 QUANTISATION FROM THE PHYSICS OF ANGULAR MOMENTUM


. IN A CENTRAL POTENTIAL.

Since in a central potential, eigenstates of Lb 2 and b


Lz are also eigenstates of energy, we therefore see
b 2 and b
that a particle such as an electron in a state of definite energy will also be in an eigenstate ofL Lz :

b E (r)
If H = EE (r); (170)
b 2 E (r)
then L =
2
h `(` + 1)E (r) ` = 0; 1; 2; : : : ; (171)
bz E (r)
and L = h mE (r) m = `; `+ 1; : : : ; 0; : : : ; ` 1; `: (172)

b 2 and b
That the eigenvalues of L Lz are quantised as above is shown by writing down the TISE for a central
potential,
b (r; ; ) E (r; ; ) = E E (r; ; );
H (173)
which we can write more explicitly as,
(   )
h2 2 2 b2
L
+ + + V (r) E (r; ; ); = E E (r; ; ) (174)
2m r2 r r 2m r2

or in its full glory,


       
h2 2 2 h2 1 1 2
+ sin + + V (r) E = E E (175)
2m r2 r r 2m r2 sin sin2 2
This equation is solved by separation of variables, writing the wave function as a product:

E (r; ; ) = R(r) Y (; ) (176)

Thus we obtain the radial equation whose solution depends on the precise form of the potential,
   
h2 d 2 R(r) 2 dR(r) h2 `(` + 1)
+ + V (r ) + R(r) = E R(r); (177)
2m dr2 r dr 2m r2

and the angular equation which is independent of the potential:


   
1 Y (; ) 1 2Y (; )
2
h sin + Y (; ) = h2 `(` + 1) Y (; ): (178)
sin sin2 2
b 2 operator,
which we recognise as the equation for the eigenfunctions and eigenvalues of theL

b 2 Y (; ) = h2 `(` + 1) Y (; )
L (179)

At this stage the eigenvalue h2 `(` + 1) is an unknown separation constant: we only know that it has the
dimensions of h2 ; but its value comes from solving this equation. This is accomplished by another step
of variable separation,
Y (; ) = () (): (180)
leading to the very simple equation,

d 2 ()
= m2 (): (181)
d2

26
where m is a second unknown separation constant. This equation is nothing but b
Lz acting on the eigen-
b
value equation for Lz ,
b
Lz () = hm () (182)
The solutions are of the general form
() = eim ; (183)
and the physical assumption that the wave function be single-valued in , ie. that ( + 2n) = (),
yields the eigenvalues
m = 0; 1; 2; 3 : : : (184)
The equation is altogether more complicated,
   
1 d d() m2
sin + `(` + 1) () = 0; (185)
sin d d sin2
This is the associated Legendre equation whose finite solutions, known as the associated Legendre
functions, are well-studied and are labelled by the values of the two constants ` and m:

() = P
jmj (cos ): (186)
`

The requirement that the solutions be finite imposes a relationship between ` and m,

` = 0; 1; 2; : : : and for each `, m has (2` + 1) allowed values,


m = `; `+ 1; : : : ; 0; : : : ; ` 1; `: (187)

5.3.3 ORTHONORMALITY OF ANGULAR MOMENTUM EIGENSTATES:

We have now shown that the wave function depends on the energy and on the quantum numbers `; m;
in fact if we look at the equations satisfied by R(r) and Y (; ) we see that the former depends only on
E and `, R(r) = RE (r), while the latter does not involve E at all, but does depend on both ` and m,
`

Y (; ) = Y m (; ). Thus we should write the energy eigenstates as:


`

E (r)  E ` m (r) = R E (r ) Y
` ` m (; ): (188)

The angular momentum eigenfunctions, known as spherical harmonics,

Y m (; )  N m P
jmj (cos ) eim ; (189)
` ` `

(the N m are normalisation constants, see footnote11 ) are orthonormal, as expected for eigenfunctions of
`

Hermitian operators: Z
Y m (; ) Y m (; ) d = m m
`
0 0 `
0
` `
0 (190)

where we use the solid angle notation as a convenient shorthand for the angular integration variable,
d  sin d d, with the accompanying shorthand for the integration itself:
Z Z 2 Z
d  d sin d (191)
0 0
Z
jY m ( )j2 d = 1
` ; ; (192)

27
Hence, to normalise the wave function E ` m (r) the radial wave function RE (r) is normalised only when
`

multiplied by r2 : 21 Z
jRE (r)j2 r2 dr = 1
` : (193)
0

5.3.2 GENERAL ANGULAR MOMENTUM OPERATORS b J: QUANTISATION


. USING ONLY ABSTRACT COMMUTATION RELATIONS.

The foregoing discussion showed that the eigenfunctions of orbital angular momentum, the spherical
harmonics Y m (; ), do not depend on the detailed form of the potential: the eigenvalue equations and
`

the quantisation do not involve the potential. This suggests that all their properties are a consequence
only of the fact that they are eigenstates of the angular momentum operators, whose properties are in
turn entirely encapsulated in the commutation relations. This is the point of view we take here. The
consequence will be the discovery that there is more to angular momentum in quantum mechanics that
just orbital angular momentum: there is in addition spin angular momentum. Reserving the symbol
b for orbital angular momentum, we shall use the notation b
L J for angular momentum in general. We
now postulate that in general these abstract angular momentum operators obey the same commutation
relations as those of orbital angular momentum, and are defined through their commutation relations:
8
< [Jbx ; Jby ] = ih Jbz ;
b
J  bJ = ih bJ [Jb; Jb ] = ih Jby ;
: z x
(194)
[Jby ; Jbz ] = ih Jbx :

From these equations we can deduce that bJ2 commutes with all the components of b
J. The proof follows
exactly the sequence eqs. (15) to (20) which used only the commutation relations and not the explicit
representation of orbital angular momentum. Defining
b
J2 = Jb2 + Jb2 + Jb2 : (195)
x y z

the angular momentum commutation relations can be used to show that

[b Jbi ] = 0;
2
J ; for all i = 1; 2; 3 (196)

Since b
J2 and Jbz commute they have a common eigenfunction j m j , with as yet unknown quantum num- ;

bers j and m j respectively (see Figure 10):

b
J2 j;m j = h2 j( j + 1) j;m j (197)

Jbz j m j
; = hm j j;m j (198)
The proof of quantisation utilises the raising and lowering operators,

Jb  Jbx  iJby with Jb+ = Jb : (199)

which are shown to have properties analogous to the raising and lowering operators of the SHO, ab and
ab: they move us up and down the ladder of eigenstates,

Jb j m j ; = c j;m j 1 (200)


21 This is important forthe physical interpretation of plots of the radial wave function: one normally plots jr RE ` (r)j2 because
this represents the physical probability density at a distance r from the origin. Of course we must remember that this is
then modulated by the direction-dependent angular wave function jY`m (; )j2 factor to give the full spatial dependence of the
probability density. See Table 1 and Figures 8a,b.

28
where c is a constant, c = hf j( j + 1) m(m  1)g1 2 . It is then possible to show that there is a lowest
=

eigenstate (as for the SHO) and also a highest eigenstate (unlike the SHO where the ladder of eigenstates
goes on forever); see Figure 11. Because the raising and lowering operators change the quantum number
m j by one unit this immediately leads to the identification of mmax
j = j, mmin
j = j. Thus if we start from
the lowest eigenstate, m j = j and repeatedly apply the raising operator we must eventually reach the
highest state, m j = j, and be able to go no further. If n is the the number of times the raising operator
must be applied to reach the highest state, then we have
n
j + n = mmax
j = j or, j= ; n = 0; 1; 2; : : : (201)
2

. ie., 2 j = INTEGER

We therefore discover two possibilities: integral and half-integral angular momentum (in units of h),
whereas for orbital angular momentum only integral values were possible. We then have the quantisation
rules for general angular momentum:

Integral angular momentum: j = 0; 1; 2; : : : mj = j; j + 1:::0:::; j 1; j (202)

1 3 5
Half-integral angular momentum: j = ; ; ;::: mj = j ; j + 1 : : : ; j 1; j (203)
2 2 2
Note the absence of the m j = 0 state for half-integral j. Thus, for an eigenstate of general angular
momentum we have,

b
J2 j;m = h2 j( j + 1) j m j
; (204)
j

Jbz j m j
; = hm j j m j
; (205)

The angular momentum quantum numbers j and mj labelling an eigenstate are often referred to as the
angular momentum and its z component, or azimuthal projection, although strictly the angular momen-
tum is h j and hm j . Figure 12 illustrates the properties of the laddder of angular momentum eigenstates. A
special case of integral angular momentum is obviously the already encountered orbital angular momen-
tum b
J = L; b we shall see later that spin angular momentum, b b which cannot be pictured classically
J = S,
as microscopic spinning top, can have both integral and half-integral values.

29
APPENDIX A: SPHERICAL POLAR COORDINATES.

The spherical polar coordinate system is depicted in Figures 2, 3 and the first diagram of Figure 4:
the unit vectors er ; e and e corresponding to the three chosen orthogonal directions are always mutually
perpendicular but vary in orientation with the vector r. This is why care must be taken when working
in non-cartesian coordinates. The most elementary way to see this is to just look at Figures 2, 3 (or the
first diagram of Figure 4), noting that as the vector r changes direction, so does the set of unit vectors
attached rigidly to it. More formally, we can express these unit vectors in terms of the fixed ones, i, j, k
of the cartesian system:

er = i sin cos + j sin sin + k cos (206)


e = i sin + j cos : (207)
e = i cos cos + j cos sin k sin : (208)

To prove this we need to find the projections of the unit vectors er ; e and e onto the x ; y ; and z axes.
This is not as difficult as it may seem. First refer to Figure 2 or 3 (the first diagram of Figure 4 may also
help your 3-dimensional visualisation) and notice that the two unit vectors er and e lie in the plane of the
triangle OPQ; but e is perpendicular to it, so also perpendicular to the line OQ and parallel to the x y
plane, ie. e is perpendicular to the z axis. The following proofs are illustrated graphically in Figure 4.
(i) Take the unit vector er : it lies along the direction of the vector r, so that its projection in the z direction
is just 22 1  cos ; along the x and y axes we first project down onto the x y plane, giving a vector of
length 1  sin pointing along OQ at an angle with the x axis; then we see that its projections onto the
x and y axes are simply sin cos and sin sin respectively. This can be summarised in the vector
equation:
er = i sin cos + j sin sin + k cos : (209)
Another way you may know this result is that the vector r has cartesian components,

r = (x; y; z) = (r sin cos ; r sin sin ; r cos ); (210)

and dividing by r gives the unit vector along the vector r, which is er .

er 
r
= (sin cos ; sin sin ; cos ); (211)
r

(ii) e is rather special because it is perpendicular to the z axis and it also lies parallel to the x y plane;
therefore, when projected down onto that plane it still has unit length and lies perpendicular to the line
OQ which is at an angle with the x axis. Projection onto the x and y axes now gives sin and
cos respectively,
e = i sin + j cos : (212)
(iii) The most difficult one is e . Since it is perpendicular to r its projection on the z axis is just sin
and its projection down onto the x y plane is cos . The latter projection points along OQ since the
original vector e is in the plane of the triangle OPQ. Hence the projection onto the x and y axes are
cos cos and cos sin respectively,

e = i cos cos + j cos sin k sin : (213)


22 The notation  denotes simple multiplication in this section and in Figure 13. It has nothing to do with the vector cross

product; its only purpose is to emphasize that we are projecting unit vectors of length 1.

30
These equations allow us to discover how the unit vectors change with the angles by differentiating them,
remembering that the cartesian unit vectors i, j, k are constant:

e = i sin cos j sin sin k cos

= er (214)

e = i cos sin + j cos cos

= e cos (215)

e = 0 (216)


e = i cos j sin

= e cos er sin (217)

er = i cos cos + j cos sin k sin

= e (218)

er = i sin sin + j sin cos

= e sin : (219)
Incidentally, since the unit vectors do not depend on the length r of the vector r, ei =r = 0: increasing
the length r does not change any unit vectors direction.
We can also get these geometrically by the sequences illustrated in Figure 13. The simplest is the
variation of er with . As shown in Figure 13a, we ask how er changes when is increased by d:
(i) increasing by d rotates er by d to the new unit vector e0r . The change, der = e0r er , as given
by the triangle of unit vectors illustrated, is in the direction of +e by an amount der =(the length of
er )  d = 1  d; remember that both er and e0r are unit vectors, its only the direction which has
changed. (iii) a similar argument holds for an increase d, but now the change requires projection from
the x y plane up to the er direction, giving an extra factor of sin , Figure 13b.

APPENDIX B: AN EXPRESSION FOR THE HAMILTONIAN .

In the text we saw that the kinetic energy term in the classical Hamiltonian is:
p2 (pr + p? )2 p2r L2cl
(KE )cl = = = + (220)
2m 2m 2m 2mr2
We now seek the quantum mechanical version of this, KE, c which we will find to have an additional term
b)=r due to the fact that pr and p? do not commute. The most elegant method I know of finding
2(r:p 2

the appropriate form for the quantum mechanical b p2 is motivated by looking at the classical KE and
noticing that it involves a term L2cl . This suggests that we may be able to get somewhere by evaluating
the quantum mechanical L b 2 and trying to turn it into something containing b
p2 . Since
b2 = b
L b2 + b
L2x + L L2z ; (221)
y

let us work out each term in the sum using the commutation relations:
bj ] = ihi j ;
[xi ; p [xi ; x j ] = 0; and [ pbi ; pbj ] = 0 (222)

31
My plan is to get all the x; y; z factors to the left and all the momentum operators to the right:

b2
L = bz
(y p z pby )(y pbz z pby )
x
= bz )(y p
(y p bz ) bz )(z p
(y p by ) by )(y p
(z p bz ) + (z p
by )(z p
by )

In the first and last terms all factors commute and so can be placed in any order; in the second and third
terms there are two factors which dont commute, but which can be interchanged by using the known
commutation relations. For the second term they are pbz z = z pbz ih; for the last, pby y = y pby ih. The terms
can therefore be written with all momentum operators to the right and then rearranged into a suggestive
form:

b2
L = y2 pb2z y(z pbz ih) pby z(y pby ih) pbz + z2 pb2y
x
= y2 pb2z + z2 pb2y 2yz pbz pby + ih(y pby + z pbz ) (223)

Notice how I have rearranged the commuting factors at my convenience. Now the rest of the calculation
is simple because b L2y and b
L2z have the same structure as b
L2x with an appropriate permutation of the labels
b2 we make the following replacements in our equation for b
x; y; z. Thus to get L L2x :
y
y ! z; z ! x, giving

b
L2 = bx
(z p x pbz )(z pbx x pbz )
y
= z2 pb2x + x2 pb2z 2zx pbx pbz + ih(z pbz + x pbx ) (224)

and to get b b2 :
L2z we make the following replacements in our equation for L x
y ! x; z ! y, giving

b
L2 = by
(z p y pbz )(z pby y pbz )
z
= x pby + y2 pb2x 2xy pby pbx + ih(x pbx + y pby )
2 2
(225)

By adding these expressions and collecting terms together we find


b2
L =
2 2 2
bx + (x + z ) p
(y + z ) p
2
by + (x + y ) p
bz 2 2 2 2 2

2(xy pbx pby + xz pbx pbz + yz pby pbz )


bx + y p
+2ih(x p by + y p
by )
2 2 2 2 2 2
= bx + p
(x + y + z )( p by + p
bz )
2 2 2 2 2 2
bx + y p
(x p by + z p
bz )
2(xy pbx pby + xz pbx pbz + yz pby pbz )
bx + y p
+2ih(x p by + y p
by )
= r2 b
p2
2 2 2 2 2 2
bx + y p
(x p by + z p
bz )
2(xy pbx pby + xz pbx pbz + yz pby pbz )
b)
+2ih(r:p (226)

where we have added and subtracted terms in the first line to make an r2 = x2 + y2 + z2 factor. Notice
also that the cross terms xy, etc contain all possible pairs. The fact that the second term contains some of
the terms that would occur in (r:b p)2 suggests we look at this operator and see what it is; the calculation
is rather similar to what we have already done:

(r:b
2
p) = bx + y p
(x p by + z p
bz )(x p
bx + y p
by + z p
bz )
= x pbx x pbx + y pby y pby + z pbz z pbz

32
bx p
+2(xy p by + xz p
bx p
bz + yz p
by p
bz )
= x(x pbx ih) pbx + y(y pby ih) pby + z(z pbz ih) pbz
bx p
+2(xy p by + xz p
bx p
bz + yz p
by p
bz )
2 2 2 2 2 2
= bx + y p
(x p by + z p
bz )
bx p
+2(xy p by + xz p
bx p
bz + yz p
by p
bz )
ih(r:b
p)
bx p
+2(xy p by + xz p
bx p
bz + yz p
by p
bz )
ih(r:b
p) (227)

In the first three terms we have reordered non-commuting factors using the commutation relations as
before, while the factors in the cross terms xy etc could be reordered because they all commute. This is
b 2 , except that the ih term lacks a
very nearly the negative of the terms we found in our expression for L
factor of 2; the result is therefore:

b 2 = r2 b
L p2 (r:b
2
b)
p) + ih(r:p (228)

which can be solved for b


p2 to give the quantum kinetic energy operator:

b
p2 (r:b
p)2 (r:b
p) b2
L
c =
KE = ih + (229)
2m 2mr2 2mr2 2mr2
pbr
2 pbr b2
L
= ih + (230)
2m mr 2mr2
b = rp
The last step above is trickier than might appear: we have used the fact that r:p br , but we also had
to be very careful of the non-commuting factors in the first term: 23

(r:b (r:b b)
2
p) = p)(r:p
= br )(r p
(r p br ) = r( p
br r) p
br

= r(r pbr ih) pbr using [r; pr ] = ih[r; ] = ih
r
= r2 pb2r ih(r:b
p) (231)

The additional term coming from the non-classical non-commuting operators is the one with an explicit
factor of ih, a clear indication of its quantum origins. You can now see why we didnt spot it at the
classical level: the classical limit corresponds to replacing quantum operators by classical variables and
taking the limit h ! 0, which gives the correct expression for the classical kinetic energy; but going
b
23 In (r:p)2 there is an r to the right of the momentum operator:
2b 2
b b 6 b
b 2 2
(r:p) = (r pr ) = r pr (r pr ) = r pr

b2 occurring in eq. (228) where r2 is to the left of the


and pbr does not commute with r. This is quite different from the term r2 p
momentum operators. Notice also that b p2 and pb2r are very different as we see by comparing eqs. (229) and (230). If you are
unconvinced, just compare
2
pb2r = ( ih)2
r2
with the horribly complicated
 2    
b2 = (
p ih)2
r2
+ e  e


+ e

 e


;

where the angular derivatives also act on the unit vectors to their right giving nontrivial additional terms. Here we have found
a way to avoid getting entangled in such calculations; but we cannot do so in Appendix C, where you can see some of the hard
calculations which would be required.

33
the other way, from the classical to the quantum expression we have to take great care: its not a simple
matter of merely replacing variables by operators, as we saw in the subtle manipulations in this appendix.
Finally, in spherical polar coordinates we can use the representation pbr = ih=r to obtain
 
b2
p h2 2 2 b2
L
c =
KE = + + (232)
2m 2m r 2 r r 2m r2
 
h2 1 b2
L
= r2 + (233)
2m r2 r r 2m r2

34
b 2 IN SPHERICAL POLARS.
APPENDIX C: AN EXPRESSION FOR L

We begin with the angular momentum operator in spherical polar coordinates,


 
b= 1
L ih e e (234)
sin

In squaring this we must remember that the unit vectors e and e are not constants, and that the operator
should always be thought of as operating on some function (r; ). Thus,
1 b2
( ih)2
L
   
1 1
= e e : e e
sin sin
   
1
= e : e e : e
sin
   
1 1 1
e : e + e : e
sin sin sin
     

2 e 1 e 1
= (e :e ) + e : (e :e ) e :
2 sin sin
   
1 2 e 1 1 2 e 1
(e :e ) e : + (e :e ) + e :
sin sin sin
2 2 sin2
2 cos 1 2
= + + (235)
2 sin sin2 2

where we have used the results obtained in Appendix A together with orthogonality of the unit vectors
to evaluate the dot products. We can combine the derivatives into one term to obtain the standard form:
   
b2 1 1 2
L =
2
h sin + : (236)
sin sin2 2
A final comment: by combining the results in Appendix B and C we see that we have computed the del-
squared operator in polar coordinates. Using our expression for b
p2 from Appendix B and the expression
b , we have:
above for L 2

( ih)2 2 = b
p2
pb2r b2
Lpbr
= 2ih +
r2 r2
r
 2 
2 b2
L
2
= h + +
r2 r r r2
 2   
2 1 1 2
= h2
+ + sin +
r2 r r sin sin2 2
 
2 2 1 1 2
ie. 2 = + + sin + (237)
r2 r r sin sin2 2
which is the usual expression quoted in mathematics books. That the angle-dependent terms are simply
related to the square of the orbital angular momentum operator cannot of course be deduced from these
texts.

35
Figure 6. The vector model of angular
p momentum, depicting the quasi-classical orbital angular mo-
mentum vector as having length h `(` + 1) for an eigenstate of angular momentum, and its 2` + 1
allowed projections on the z axis. The vectors length is the square root of the eigenvalue ofb J2 and
b
the projections are the (quantised) eigenvalues, hm, of Jz with m = : `; ` + 1; : : : `. These are the
only possible outcomes of a measurement of these variables for an eigenstate. In other words, for an
eigenstate
q qE m (r) = RE (r)Y m (; ), an ensemble measurement would yield the expectation values
` ` `

h i
b
J2 = h `(` + 1), and hJbz i = hm with zero uncertainty, J2 = 0 and Jz = 0.
2

The diagrams show various ways of illustrating the quantum mechanics of orbital angular momentum,
emphasising the fact that the x and y components are not determined.

Figure 8a. Polar plots of the the first few spherical harmonics.
Here we show projections of the probability distributions

jY m( )j2 = (2) 1 j m()j2 = N 2mjPjmj(cos )j2


` ; ` ` `

onto the z y plane for ` = 0; 1; 2; 3. The distance from the origin of points on the curve represents this
probability as indicated in the ` = 0 plot. Since the probability density is independent of the azimuthal
angle , the actual distribution is obtained by rotating the plots about the z axis. Figure 8b shows the
resulting 3-dimensional shapes (actually, their square root, jY m j) for ` = 0; 1; 2 obtained by rotating the
`

plots of Figure 8a about the z-axis.

Figure 8b. The square root of the probability distributions, jY m (; )j for ` = 0; 1; 2. The distance
from the origin of a point on the 3-dimensional surface represents jY m (; )j, where (; ) represents the
`

direction of the vector drawn from the origin to that point.

Figure 8.

Figure 8.

Figure 8.

Figure 8.

(238)
(239)

(240)

36

You might also like