Processing math: 100%
Skip to main content
Library homepage
 

Text Color

Text Size

 

Margin Size

 

Font Type

Enable Dyslexic Font
Physics LibreTexts

4.2: Quantum Mechanics in 3D - Angular momentum

( \newcommand{\kernel}{\mathrm{null}\,}\)

Schrödinger equation in spherical coordinates

We now go back to the time-independent Schrödinger equation

(22m2+V(x,y,z))ψ(x)=Eψ(x)

We have already studied some solutions to this equations – for specific potentials in one dimension. Now we want to solve QM problems in 3D. Specifically, we look at 3D problems where the potential V(x) is isotropic, that is, it only depends on the distance from the origin. Then, instead of using cartesian coordinates x={x,y,z}, it is convenient to use spherical coordinates x={r,ϑ,φ}:

{x=rsinϑcosφy=rsinϑsinφx=rcosϑ{r=x2+y2+z2ϑ=arctan(z/x2+y2)φ=arctan(y/x)

Figure 27.PNG
Figure 4.2.1: Spherical Coordinates (CC BY-NC-ND; Paola Cappellaro)

First, we express the Laplacian 2 in spherical coordinates:

2=1r2r(r2r)+1r2sinϑϑ(sinϑϑ)+1r2sin2ϑ2φ2

To look for solutions, we use again the separation of variable methods, writing ψ(x)=ψ(r,ϑ,φ)=R(r)Y(ϑ,φ):

22m[Yr2ddr(r2dRdr)+Rr2sinϑϑ(sinϑYϑ)+Rr2sin2ϑ2Yφ2]+V(r)RY=ERY

We then divide by RY/r2 and rearrange the terms as

22m[1Rddr(r2dRdr)]+r2(VE)=22mY[1sinϑϑ(sinϑYϑ)+1sin2ϑ2Yφ2]

Each side is a function of r only and ϑ,φ, so they must be independently equal to a constant C that we set (for reasons to be seen later) equal to C=22ml(l+1). We obtain two equations:

1Rddr(r2dRdr)2mr22(VE)=l(l+1)

and

1sinϑϑ(sinϑYϑ)+1sin2ϑ2Yφ2=l(l+1)Y

This last equation is the angular equation. Notice that it can be considered an eigenvalue equation for an operator 1sinϑϑ(sinϑϑ)+1sin2ϑ2φ2. What is the meaning of this operator?

Angular momentum operator

We take one step back and look at the angular momentum operator. From its classical form L=r×p we can define the QM operator:

ˆL=ˆr׈p=iˆr׈

In cartesian coordinates this reads

ˆLx=ˆyˆpzˆpyˆz=i(yzyz)ˆLy=ˆzˆpxˆpzˆx=i(zxzx)ˆLz=ˆxˆpyˆpxˆy=i(zyxy)

Some very important properties of this vector operator regard its commutator. Consider for example [ˆLx,ˆLy]:

[ˆLx,ˆLy]=[ˆyˆpzˆpyˆz,ˆzˆpxˆpzˆx]=[ˆyˆpz,ˆzˆpx][ˆpyˆz,ˆzˆpx][ˆyˆpz,ˆpzˆx]+[ˆpyˆz,ˆpzˆx]

Now remember that [xi,xj]=[pi,pj]=0 and [xi,pj]=iδij. Also [AB,C]=A[B,C]+[A,C]B. This simplifies matters a lot

[ˆLx,ˆLy]=ˆy[ˆpz,ˆz]ˆpx[ˆpyˆz,ˆzˆpx][ˆyˆpz,ˆpzˉx]+ˆpy[ˆz,ˆpz]ˆx=i(ˆxˆpyˆyˆpx)=iˆLz

By performing a cyclic permutation of the indexes, we can show that this holds in general:

[ˆLa,ˆLb]=iˆLc

Obs

Since the different components of the angular momentum do not commute, they do not possess common eigenvalues and there is an uncertainty relation for them. If for example I know with absolute precision the angular momentum along the z direction, I cannot have any knowledge of the components along x and y.

Exercise 4.2.1

What is the uncertainty relation for the x and y components?

ΔLxΔLy2|Lz|

Exercise 4.2.2

Assume we know with certainty the angular momentum along the z direction. What is the uncertainty in the angular momentum in the x and y directions?

Answer

From the uncertainty relations, ΔLxΔLz2|Ly| and ΔLyΔLz2|Lx|, we have that if ΔLz=0 (perfect knowledge) then we have a complete uncertainty in Lx and Ly.

Obs.

Consider the squared length of the angular momentum vector ˆL2=ˆL2x+ˆL2y+ˆL2z. We can show that [ˆLa,ˆL2]=0 (for a={x,y,z}). Thus we can always know the length of the angular momentum plus one of its components.

For example, choosing the z-component, we can represent the angular momentum as a cone, of length L, projection on the z-axis Lz and with complete uncertainty of its projection along x and y.

We now express the angular momentum using spherical coordinates. This simplifies particularly how the azimuthal angular momentum ˆLz is expressed:

ˆLx=i(sinφϑ+cotϑcosφφ),

ˆLy=i(cosφϑcotϑsinφφ),

ˆLz=iφ

The form of ˆL2 should be familiar:

ˆL2=2[1sinϑϑ(sinϑϑ)+1sin2ϑ2φ2]

Figure 28.PNG
Figure 4.2.2: Graphical representation of the angular momentum, with fixed Lz and L2, but complete uncertainty in Lx and Ly. (CC BY-NC-ND; Paola Cappellaro)

as you should recognize the angular part of the 3D Schrödinger equation. We can then write the eigenvalue equations for these two operators:

ˆL2Φ(ϑ,φ)=2l(l+1)Φ(ϑ,φ)

and

ˆLzΦ(ϑ,φ)=mzΦ(ϑ,φ)

where we already used the fact that they share common eigenfunctions (then, we can label these eigenfunctions by l and mz:Φl,mz(ϑ,φ).

The allowed values for l and mz are integers such that l=0,1,2, and mz=l,,l1,l. This result can be inferred from the commutation relationship. For interested students, the derivation is below.

Derivation of the eigenvalues. Assume that the eigenvalues of L2 and Lz are unknown, and call them λ and μ. We introduce two new operators, the raising and lowering operators L+=Lx+iLy and L=LxiLy. The commutator with Lz is [Lz,L±]=±L± (while they of course commute with L2). Now consider the function f±=L±f, where f is an eigenfunction of L2 and Lz:

L2f±=L±L2f=L±λf=λf±

and

Lzf±=[Lz,L±]f+L±Lzf=±L±f+L±μf=(μ±)f±

Then f±=L±f is also an eigenfunction of L2 and Lz. Furthermore, we can keep finding eigenfunctions of Lz with higher and higher eigenvalues μ=μ+++, by applying the L+ operator (or lower and lower with L), while the L2 eigenvalue is fixed. Of course there is a limit, since we want μλ. Then there is a maximum eigenfunction such that L+fM=0 and we set the corresponding eigenvalue to lM. Now notice that we can write L2 instead of by using Lx,y by using L±:

L2=LL++L2z+Lz

Using this relationship on fM we find:

L2fm=λfm(LL++L2z+Lz)fM=[0+2l2M+(lM)]fMλ=2lM(lM+1)

In the same way, there is also a minimum eigenvalue lm and eigenfunction s.t. Lfm=0 and we can find λ=2lm(lm1). Since λ is always the same, we also have lm(lm1)=lM(lM+1), with solution lm=lM (the other solution would have lm>lM). Finally we have found that the eigenvalues of Lz are between +l and l with integer increases, so that l=l+N giving l = N/2: that is, l is either an integer or an half-integer. We thus set λ=2l(l+1) and μ=m,m=l,l+1,,l. □

We can gather some intuition about the eigenvalues if we solve first the second equation, finding

iΦl,mφ=mzΦ(ϑ,φ),Φl,m(ϑ,φ)=Θl(ϑ)eimzφ

where, because of the periodicity in φ,mz can only take on integer values (positive and negative) so that Φlm(ϑ,φ+2π)=Φlm(ϑ,φ).

If we solve the first equation, we would find for each eigenvalue l there are many eigenfunctions. What is the degeneracy of the eigenvalue l? We know that given l,mz can take many values (between l and l), in particular 2l + 1 values. This is the degeneracy of l.

Exercise 4.2.3

What are the possible values of ˆLx if l = 7 and mz = 5?

We know that we can define quantum numbers mx(y) such that they take integer numbers mx(y)=l,,l1,l. Also, we have the relation among the expectation values:

ˆL2=ˆL2x+ˆL2y+ˆL2zl(l+1)=m2z+ˆL2x+ˆL2y/2

so in general

ˆL2x2[l(l+1)m2z]

Then here we have

ˆL2x2(5625)=312

If ˆLx could only take its maximum value (with probability one) we would have ˆL2x=PiL2x,i=L2x,max thus we have Lx,max5 (with 5 the closest integer to 31). Often, because of symmetry, we have ˆL2x=ˆL2y and,

ˆL2x=2[l(l+1)m2z]/2

thus restricting even further the maximum value of Lx.

Spin angular momentum

The quantization of angular momentum gave the result that the angular momentum quantum number was defined by integer values. There is another quantum operator that has the same commutation relationship as the angular momentum but has no classical counterpart and can assume half-integer values. It is called the intrinsic spin angular momentum ˆS (or for short, spin). Because it is not a classical properties, we cannot write spin in terms of position and momentum operator. The spin is defined in an abstract spin space (not the usual phase space). Every elementary particle has a specific and immutable value of the intrinsic spin quantum number s (with s determining the eigenvalues of ˆS2,2s(s+1)), which we call the spin of that particular species: pi mesons have spin 0; electrons have spin 1/2; photons have spin 1; gravitons have spin 2; and so on. By contrast, the orbital angular momentum quantum number l of a particle can a priori take on any (integer) value, and l will change when the system is perturbed.

The eigenvectors of the spin operators are not spherical harmonics. Actually, since the spin is not defined in terms of position and momentum, they are not a function of position and are not defined on the usual phase space. The eigenstates are instead described by linear vectors, for example, two-dimensional vectors for the spin-12. Thus the operators will be as well represented by matrices.

We already saw the operators describing the spin-12 operators and we even calculated their eigenvalues and eigenvec­tors (see section 2.2).

We can then also define the total angular momentum, which is the sum of the usual angular momentum (called the orbital angular momentum) and the spin:

ˆJ=ˆL+ˆS

What is the meaning of the sum of two angular momentum operators and what are the eigenvalues and eigenfunctions of the resulting operators?

Addition of angular momentum

We have seen above that any elementary particle posses an intrinsic spin. Then, we can always define the total angular momentum as the sum of the orbital angular momentum and the intrinsic spin. This is an example of addition of angular momentum. Then of course we could also consider two distinct particles and ask what is the total orbital angular momentum of the two particles (or of more particles). There are thus many cases of addition of angular momentum, for example:

  1. ˆJ=ˆL+ˆS
  2. ˆL=ˆL1+ˆL2
  3. ˆJ=ˆJ1+ˆJ2=ˆL1+ˆS1+ˆL2+ˆS2
  4. ˆS=ˆS1+ˆS2+ˆS3
  5. ...

Consider for example the second case. A possible state of the two particles can be described by the eigenvalues/eigenfunctions of each particle angular momentum. For example we could specify l1 and m1z as well as l2 and m2z (I will from now on just write m1 and m1z etc.). Then a state could be for example written in Dirac’s notation as |l1,m1,l2,m2. This however does not tell us anything about the total system and its angular momentum. Sometime this quantity is more interesting (for example if the two particles are interacting, their total angular momentum is bound to determine their energy, and not the state of each particle alone).

Coupled and uncoupled representations

The sum of angular momentum satisfy the general commutation rules, [L2,Lz]=0,[Lx,Ly]=iLz etc. We can then also define the eigenvalues (and eigenfunctions) of the total angular momentum ˆL, for example l (for L2) and m (for Lz). However, since we only have 2 quantum numbers, we expect the eigenfunctions to be degenerate and we still need to find two more quantum numbers. Equivalently, what we need to do is to find a complete set of commuting observables, such that an eigenfunction (common to all these observables) is well defined –no ambiguity in it– by the set of eigenvalues (or quantum numbers) of the observables.

The first question we can ask is : are these eigenfunctions going to be in common with the single particle operators? To determine this, we need to look at the commutation of the operators.

Now we know that [L21,Lz,1]=0, but what about [L2,Lz,1]?

We first express L2 explicitly: L2=|^L1+^ˉL2|2=L21+L22+2ˆL1ˆL2. Then the commutator is:

[L2,Lz,1]=[L21+L22+2(Lx,1Lx,2+Ly,1Ly,2+L1zL2z),Lz,1]

=[2(Lx,1Lx,2+Ly,1Ly,2),Lz,1]=2i((Ly,1Lx,2Lx,1Ly,2)0

Thus the two operators do not commute and do not share common eigenfunctions. What about L21?

[L2,L21]=[L21+L22+2(Lx,1Lx,2+Ly,1Ly,2+L1zL2z),L21]=0

since [L21,La,1]=0. This means that there are common eigenfunctions of L21,L22,L2 and Lz. These operators are a complete set of commuting observables. An eigenfunction is thus well defined by the set of eigenvalues l,m,l1 and l2 and we can write the eigenstates as ψl,m,li,l2 or |l,m,l1,l2.

There are then two possible representations of the combined system (two possible basis to represent a general state):

 Representation  Eigenstates  Complete set of commuting observables  Uncoupled |l1,m1,l2,m2,L21,L22,L1,z and L2,z Coupled |l,m,l1,l2,L21,L22,L2 and Lz

How do we go from one basis to the other? As usual this is done by expressing each vector in one basis as a linear combination of vectors in the other basis:

|l,m,l1,l2=m1,m2clm1,m2|l1,m1,l2,m2

Notice that since the total angular momentum in the z direction must be m, we limit the sum to terms s.t. m1+m2=m.

What are the coefficients clm1,m2?

Since the two representations are two orthogonal basis, we have that l1,m1,l2,m2l1,m1,l2,m2=0 unless all the indexes are equal. Then the coefficient can be calculated (as usual!) from the inner product of |l1,m1,l2,m2 and |l,m,l1,l2:

clm1,m2=l1,m1,l2,m2l,m,l1,l2

These coefficients are called the Clebsch-Gordon coefficients.

Addition rules: Two particles

In describing the energy levels of atoms and nuclei it is very convenient to be able to find the allowed values of (l, m) given the values of (l1,l2) for two given particles (e.g. electrons, protons or neutrons). Indeed, we saw that the operator ˆL2 appears in the Hamiltonian of the system. Thus its eigenvalue 2l(l+1) will be important in determining the system energy.

Even if we cannot fix the value of l if we only know l1,m1,l2 and m2 we can at least restrict the possible values of l. In order to do so, one has to analyze the possible maximum length of the total angular momentum and the degeneracy of the eigenvalues.

  1. Maximum l: For two particles with quantum numbers l1 and l2 we know that in the coupled representation we cannot fix the values of m1 and m2. However, we know that given l1 and l2 only some values of m1 and m2 are allowed (e.g. m1=l1,l1+1,,l1. Then the maximum values of m1 and m2 are m1=l1 and m2=l2. This also determines the maximum value of m:mmax=l1+l2. But m itself can only take values m=l,,l1,l.
    Then the maximum value of l is mmax=lmax.
    Thus, what we just proved is that ll1+l2.
  2. Minimum l: To find the minimum l value we need to look at the degeneracy of the state |l,m,l1,l2. Since this state could be also written (in the uncoupled representation) as m1+m2=mclm1,m2|l1,m1,l2,m2, the degeneracy of the state must be the same. What are the two degeneracies?
    We know that for a given angular momentum operator ˆL with total angular momentum quantum number l, there are 2l + 1 states with the same angular momentum 2l(l+1).
    Then, considering the uncoupled representation we have D=(2l1+1)(2l2+1) possible states with l1 and l2. In the coupled representation instead we have to consider all the states that have an allowed l:D=l1+l2l=lmin(2l+1). We want these two quantities to be equal. Now remember that Kk=1k=K(K+1)2. Then l1+l2l=lmin(2l+1)=(1+l1+l2)2l2min, so that l2min=(1+l1+l2)2(2l1+1)(2l2+1)=(l1l2)2.
    Using the degeneracy condition we thus proved that l|l1l2|.

The addition rule states thus that

The total angular momentum quantum number is bounded by |l1l2|ll1+l2

Example 4.2.1

Consider two spins-1/2 particles (for example two electrons with zero orbital angular momentum). Since we choose spin-12 we have only 1 possible value s = 12 and two values for mz:mz=±12. We can omit writing explicitly the s quantum number (since it’s always 12, and we write |+12,+12=|+12 and |+12,12=|12. A basis for the uncoupled representation is then given by:

|s1,m1,s2,m2={|+12,+12,+12,+12=|+12,+12|+12,+12,+12,12=|+12,12|+12,12,+12,+12=|12,+12|+12,12,+12,12=|12,12

Consider now the coupled representation. The possible values for s are 1 or 0. In the first case, we have 3 possible values for m = −1, 0, 1. While the second only has m = 0. Again, since the values of s1 and s2 are fixed we do not write them:

|s,m,s1,s2={0,0,12,12=|0,01,1,12,12=|1,11,0,12,12=|1,01,1,12,12=|1,1

In this particular example it is easy to calculate the Clebsch-Gordon coefficients and we find the relations between the two representations:

|0,0=|+12,12|12,+122|1,1=|12,12|1,0=|+12,12+|12,+122|1,1=|+12,+12

Addition rules: many particles

The addition rules can be generalized to many particles, by just repetitively applying the two-particle rules. We then find for N particles:

  • lmax=Nk=1lk
  • lmin=max{0,2lNlmax}

where lN is the largest of the {lk}.


This page titled 4.2: Quantum Mechanics in 3D - Angular momentum is shared under a CC BY-NC-SA 4.0 license and was authored, remixed, and/or curated by Paola Cappellaro (MIT OpenCourseWare) via source content that was edited to the style and standards of the LibreTexts platform.

Support Center

How can we help?