5.4 Angular Momentum

5.4.1 Quantum Mechanical Definition of Angular Momentum

Classically, angular momentum is defined as

𝑳=𝒓×𝒑. (5.69)

It is a useful quantity to study in classical mechanics because it is conserved for any particle under the influence of a central force such that the Coulomb force. We should therefore expect that angular momentum is conserved for the electron in hydrogen as well, so let’s investigate.

Quantum mechanically, we define angular momentum in the same way it is defined classically, except using (vector) operators instead of just vectors.

Definition 5.1.

The angular momentum operator is defined in terms of the position and momentum operators as

𝑳^=𝒓^×𝒑^. (5.70)

Writing out the cross product, we see that the components of the angular momentum operator are

L^x =y^p^zz^p^y (5.71)
L^y =z^p^xx^p^z (5.72)
L^z =x^p^yy^p^x. (5.73)

Recall that r^ip^j commute as long as ij, so the ordering does not matter when writing out the components. However, given that we cannot know all components of 𝒓^ and 𝒑^ simultaneously due to the uncertainty principle, it seems like we will not be able to know all components of angular momentum simultaneously either.

5.4.2 Commutation Relations

Let us test this out by finding some commutators. Note that as a general tip for calculating commutators, it is almost always useful to use standard commutator identities to simplify as much as possible before expanding the commutators themselves. For example, when finding the commutator of L^x and L^y, we use the fact that

[A^,B^+C^]=[A^,B^]+[A^,C^], (5.74)

to write

[L^x,L^y] =[y^p^zz^p^y,z^p^xx^p^z] (5.75)
=[y^p^z,z^p^x]+[z^p^y,x^p^z][y^p^z,x^p^z][z^p^y,z^p^x]. (5.76)

The last two terms contain only things that all commute with each other, so they must be zero. Similarly, in the first two terms involving y and x commute with everything else in their commutators, so we can pull them out as constants:

[L^x,L^y]=y^[p^z,z^]p^x+p^y[z^,p^z]x^. (5.77)

Now we can insert the value of the commutator that we know, [z^,p^z]=i, to get

[L^x,L^y] =iy^p^x+ip^yx^ (5.78)
=i(x^p^yy^p^x) (5.79)
=iL^z. (5.80)

Hence the x and y components of angular momentum do not commute and we cannot know them both simultaneously. Calculating the commutators between the other components, we find the same outcome. The values are

[L^y,L^z] =iL^x (5.81)
[L^z,L^x] =iL^y. (5.82)

Notice that these commutators follow a cyclic pattern under the exchange of labels x, y, and z. This is just a consequence of the definition of 𝑳^ as a cross product.

What properties can be know about the electron’s angular momentum simultaneously? What about one of the components and the total magnitude? To try this, we calculate the commutator of one of the components with the operator L^2, which is defined as

L^2=𝑳^𝑳^=L^x2+L^y2+L^z2. (5.83)

So the commutator between L^x and L^2 is

[L^x,L^2] =[L^x,L^x2+L^y2+L^z2] (5.84)
=[L^x,L^xL^x]+[L^x,L^yL^y]+[L^x,L^zL^z]. (5.85)

The first term will be zero, and using the identity

[A^,B^C^]=B^[A^,C^]+[A^,B^]C^, (5.86)

the second and third terms can be written as

[L^x,L^2] =L^y[L^x,L^y]+[L^x,L^y]L^y+L^z[L^x,L^z]+[L^x,L^z]L^z (5.87)
=L^y(iL^z)+iL^zL^y+L^z(iL^y)+(iL^y)L^z (5.88)
=i(L^yL^z+L^zL^yL^zL^yL^yL^z) (5.89)
=0. (5.90)

Hence we can know the total magnitude of angular momentum and one of its components simultaneously, as one can show similarly that

[L^y,L^2] =0 (5.91)
[L^z,L^2] =0. (5.92)

It can also be shown that L^2 and the components of angular momentum also all commute with the Hamiltonian:

[H^,L^2]=[H^,L^x]=[H^,L^y]=[H^,L^z]=0, (5.93)

meaning that the eigenfunctions of H^ are also simultaneously eigenfunctions of L^2 and one component of angular momentum, conventionally taken to be L^z. This is a maximal set of mutually commuting operators, a set of operators where each one commutes with all others.

5.4.3 Eigenvalues of Angular Momentum

Let us find the eigenvalues of the L^2 and L^z operators. Given that angular momentum is a quantity relating to rotations, it is reasonable to assume that it will act on the angular part of the wavefunction. For this reason, we will write out the angular momentum operators explicitly in terms of angular position coordinates.

In the position basis, we can write

L^x=y^p^zz^p^y=i(yzzy), (5.94)

with similar results for L^y and L^z. Using these and the chain rule, e.g.

z=rrz+θθz+ϕϕz, (5.95)

we get the following results for angular momentum operators in the position basis:

L^x =i(sinϕθ+cotθcosϕϕ) (5.96)
L^y =i(cosϕθ+cotθsinϕϕ) (5.97)
L^z =iϕ (5.98)
L^2 =2(1sinθθ(sinθθ)+1sin2θ2ϕ2). (5.99)

So we were right to assume that no derivatives of r would appear in these operators.

Notice that equation 5.99 looks very similar to the angular equation for the hydrogen atom electron (equation 5.11). In fact, if we take the angular equation and multiply it by 2Ym(θ,ϕ), bearing in mind that Ym(θ,ϕ)=Θ(θ)Φ(ϕ) since the spherical harmonics were the solution to the angular equation, we get

2(1sinθθ(sinθθ)+1sin2θ2ϕ2)Ym(θ,ϕ)=2(+1)Ym(θ,ϕ), (5.100)

where we have substituted λ2 for (+1). This looks like an eigenvalue equation, and in fact it looks exactly like what we would get if we acted L^2 on a wavefunction:

L^2ψ=2(1sinθθ(sinθθ)+1sin2θ2ϕ2)ψ, (5.101)

therefore the eigenfunctions of L^2 must be the spherical harmonics, which makes sense since they are the angular part of the eigenfunctions of the hydrogen Hamiltonian, and their eigenvalues are 2(+1).

L^2Ym(θ,ϕ)=2(+1)Ym(θ,ϕ). (5.102)

This finally explains why is called the orbital angular momentum quantum number, as it determines the magnitude of the angular momemtum of an electron in a certain orbital. An electron in a state with a given will have orbital angular momentum with magnitude

L=(+1). (5.103)

This implies that the angular momentum of the electron is forced to be quantised. Depending on the total energy the electron has, which is determined by the principal quantum number n, the angular momentum can only have a magnitude given by the eigenvalue equation above for the allowed values of . For example, if an electron is sitting in the 2nd excited state (n=3), then the magnitude of its angular momentum can either be , 2, or 6.

The spherical harmonics are also eigenfunctions of L^z, which we can calculate explicitly by writing

L^zYm(θ,ϕ) =iϕYm(θ,ϕ) (5.104)
=iΘ(θ)2πϕ(eimϕ) (5.105)
=mΘ(θ)2πeimϕ (5.106)
=mYm(θ,ϕ). (5.107)

So the allowed values of the z-component of angular momentum are

Lz=m. (5.108)

If we consider again the electron in the 2nd excited state and suppose it has =2, the allowed values for the z-component of its angular momentum are 2, , 0, , and 2. So the magnetic quantum number m determines the alignment of the electron’s angular momentum with the z-axis, the larger the magnitude of m, the more aligned they are. Note that Lz can never be as large as the total magnitude of angular momentum, i.e. the angular momentum can never point exactly along z. This is because if Lz=L, then we know that Lx=Ly=0, which is not allowed! However, as gets larger, the maximum allowed value of Lz gets closer and closer to L.

5.4.4 Visualising the Allowed Values of Angular Momentum

We can visualise the allowed values of angular momentum for a given state in the 3D space of angular momentum with Lx, Ly, and Lz each on their own axis. The angular momentum vector has a fixed length determined by , and the different allowed values of m sweep out cones around the z-axis since the values of Lx and Ly are unknown.

Note that this does not imply that Lx and Ly are allowed to take on a continuous set of values, they are also quantised. The cones are simply a visual aid which denotes that the values of Lx and Ly are unknown.

The angle between 𝑳 and the z-axis in this diagram can be written

cosθ=LzL=m(+1)=m(+1). (5.109)

The minimal angle occurs for maximal Lz, which occurs when |m|=.

cosθmin=(+1)<1. (5.110)

This implies that

θmin>0, (5.111)

as we have seen, however as , we get

cosθmin1θmin0, (5.112)

which is what we expect from classical physics.