# Angular Momentum in Quantum Mechanics: Commutators and Eigenvalues

## Table of contents

- Angular momentum commutators Here you will learn how to derive the commutators for the three components of angular momentum and L².
- Angular momentum ladder operators Here you will learn about the raising and lowering operators and how they can be used to algebraically find the eigenvalues and eigenfunctions of the angular momentum operator.
- Eigenvalues of Lz and L² Here we derive the eigenvalues of the angular momentum operators using the raising and lowering operators and encounter two quantum numbers that describe angular momentum.

The **angular momentum** (more precisely: **orbit angular momentum**) \( \boldsymbol{L} \) of a classical particle is given by the cross product between the distance \( \boldsymbol{r} \) of the particle from the axis of rotation and the particle momentum \( \boldsymbol{p} \):

**Classical angular momentum**

Thus, the angular momentum is perpendicular to \( \boldsymbol{r} \) and \( \boldsymbol{p} \) because of the cross product and has the following three components, each in one spatial direction:

**Angular momentum component in \(x\)-direction**:**Classical angular momentum in x-direction**Formula anchor $$ \begin{align} L_{\text x} ~=~ y \, p_{\text z} ~-~ z \, p_{\text y} \end{align} $$**Angular momentum component in \(y\) direction**:**Classical angular momentum in y-direction**Formula anchor $$ \begin{align} L_{\text y} ~=~ z \, p_{\text x} ~-~ x \, p_{\text z} \end{align} $$**Angular momentum component in \(z\) direction**:**Classical angular momentum in z-direction**Formula anchor $$ \begin{align} L_{\text z} ~=~ x \, p_{\text y} ~-~ y \, p_{\text x} \end{align} $$

## Angular momentum commutators

Using a **commutator** \([A,\, B]\), we can directly determine whether the quantities (observables) \(A\) and \(B\) in quantum mechanics are simultaneously measurable, in principle, with arbitrary accuracy. If the commutator of two observables does not vanish, the *uncertainty relation* applies to them.

In classical mechanics places \(x,y,z\) as well as momentum \(p_{\text x}, p_{\text y}, p_{\text z}\) but also angular momentum components \( L_{\text x}, L_{\text y}, L_{\text z} \) are scalar quantities, i.e. 'ordinary' numbers, which do not make any difference if you multiply this way \( z \, p_{\text z} \) or that way \( p_{\text z} \, z \). The commutator of two quantities gives the *deviation* when two quantities are multiplied in reversed order. It is obvious that ordinary numbers are commutative. Therefore, all commutators with classical locations, momenta and angular momentum vanish. Physically it means that we could measure the classical angular momentum components in principle arbitrarily exactly in an experiment. The uncertainty relation does not apply to them.

In quantum mechanics, on the other hand, things are quite different, because here we are interested in operators with the help of which (and with the help of the wave function) we can predict the measurement results. Let us therefore consider the angular momentum components 2

, 3

, and 4

as operators.

To do this, we replace the momentum occurring in angular momentum components 2

, 3

, and 4

with the following **axiomatic assignments**:

Momentum component \( p_{\text x} \) becomes operator: \( \hat{p}_{\text x} ~=~ -\mathrm{i} \, \hbar \partial_x \).

Momentum component \( p_{\text y} \) becomes operator: \( \hat{p}_{\text y} ~=~ -\mathrm{i} \, \hbar \partial_y \).

Momentum component \( p_{\text z} \) becomes operator: \( \hat{p}_{\text z} ~=~ -\mathrm{i} \, \hbar \partial_z \).

Here \( \mathrm{i} \) is the imaginary unit, \( \hbar \) is reduced Planck constant and \(\partial_x\) is the derivative operator which, applied to a function, gives the derivative of this function with respect to \(x\). Of course, a stand-alone derivative makes no sense. Therefore an operator unfolds its effect only if it is applied to a function. The result is a new function modified by the operator.

What about the \(x\), \(y\) and \(z\) positions? Don't they also have to be replaced somehow? Of course, the positions are now also operators \(\hat{x}\), \(\hat y\) and \(\hat z\). But since we work here in the so-called position space, the positions remain unmodified. The operator \(\hat{x}\) applied to a function \(f\) simply yields a multiple of the function: \( \hat{x}\,f ~=~ x \, f\). By the way, in momentum space it would be the other way around. Here the positions must be replaced, while the momenta remain unchanged.

Since we now understand positions, momenta and angular momenta as operators, you have to be careful now. You cannot handle operators as carelessly as numbers. Therefore it is sometimes useful to put hats on the momenta \( p_{\text x} \), \( p_{\text y} \) and \( p_{\text z} \) to mark them as operators: \( \hat{p}_{\text x} \), \( \hat{p}_{\text y} \) und \( \hat{p}_{\text z} \). Analogously, you would also have to provide positions and angular momenta with little hats. Since they make the equations look a bit more cluttered, I omit the hats. We have agreed that we have now switched to the operators.

A useful property of the commutator is that it is *distributive*:

**Commutator is distributive**

& ~=~ [A ,\, C] ~+~ [B ,\, C] ~+~ [A ,\, D] ~+~ [B ,\, D] \end{align} $$

We can exploit this property to write down the commutator of two components of angular momentum in a useful way for the further procedure:

**Commutator of \( L_{\text x} \) and \( L_{\text y} \)**:**Commutator of Lx and Ly**Formula anchor $$ \begin{align} [L_{\text x}, \, L_{\text y} ] & ~=~ [ y \, p_{\text z} - z \, p_{\text y}, \, z \, p_{\text x} - x \, p_{\text z} ] \\ \\

& ~=~ [ y \, p_{\text z}, \, z \, p_{\text x} ] ~-~ [ y \, p_{\text z}, \, x \, p_{\text z} ] ~-~ [ z \, p_{\text y}, \, z \, p_{\text x} ] ~+~ [ z \, p_{\text y}, \, x \, p_{\text z} ]

\end{align} $$**Commutator of \( L_{\text y} \) and \( L_{\text z} \)**:**Commutator of Lx and Lz**Formula anchor $$ \begin{align} [L_{\text x}, \, L_{\text z} ] & ~=~ [ y \, p_{\text z} - z \, p_{\text y}, \, x \, p_{\text y} - y \, p_{\text x} ] \\ \\

& ~=~ [ y \, p_{\text z}, \, x \, p_{\text y} ] ~-~ [ y \, p_{\text z}, \, y \, p_{\text x} ] ~-~ [ z \, p_{\text y}, \, x \, p_{\text y} ] ~+~ [ z \, p_{\text y}, \, y \, p_{\text x} ] \end{align} $$**Commutator of \( L_{\text y} \) and \( L_{\text z} \)**:**Commutator of Ly and Lz**Formula anchor $$ \begin{align} [L_{\text y}, \, L_{\text z} ] & ~=~ [ z \, p_{\text x} - x \, p_{\text z}, \, x \, p_{\text y} - y \, p_{\text x} ] \\ \\

& ~=~ [ z \, p_{\text x}, \, x \, p_{\text y} ] ~-~ [ z \, p_{\text x}, \, y \, p_{\text x} ] ~-~ [ x \, p_{\text z}, \, x \, p_{\text y} ] ~+~ [ x \, p_{\text z}, \, y \, p_{\text x} ] \end{align} $$

Swapping the components, for example \( [ L_{\text x}, \, L_{\text y} ]\) to \( [ L_{\text y}, \, L_{\text x} ] \) just gives a minus sign. This is the *antisymmetric* property of the commutator.

Let's break down the commutators a little further. For this we use another property of the commutator, namely the **product rule**:

**Commutator product rule**

Let us first look at the first angular momentum commutator 6

. Let us apply the product rule 9

twice to each summand. Let's start with the first summand of 6

:

**Apply product rule to commutator of Lx and Ly**

& ~=~ p_{\text z} \, [ y, \, z ] \, p_{\text x} ~+~ y \, [ p_{\text z}, \, z ] \, p_{\text x} ~+~ y \, [ p_{\text z}, \, p_{\text x} ] \, z ~+~ p_{\text z} \, [ y, \, p_{\text x} ] \, z \\ \\

& ~=~ 0 ~+~ y \, [ p_{\text z}, \, z ] \, p_{\text x} ~+~ 0 ~+~ 0 \end{align} $$

The first term in 10

vanishes because \( [ y, \, z ] = 0 \). The third and fourth terms also vanish since \( [ p_{\text z}, \, p_{\text x} ] = 0 \) and \([ y, \, p_{\text x} ] = 0 \). You can easily check this, e.g. for the term \( [ p_{\text z}, \, p_{\text x} ] ~= -\hbar^2 \partial_{\text z} \partial_{\text x} + \hbar^2 \partial_{\text x} \partial_{\text z} = 0 \), because it doesn't matter whether you first partially differentiate a function with respect to \(x\) or with respect to \(z\). The partial derivatives can be interchanged so that the two terms cancel exactly.

The term that does not vanish in 10

contains the commutator of the position \(z\) and momentum \( p_{\text z} \). Hopefully you already know this commutator. If not, you can easily calculate it by applying it to some test function \(f\):

**Commutator of position z and momentum pz**

& ~=~ -\mathrm{i} \, \hbar \, f ~-~ \mathrm{i} \, \hbar \, z \, \partial_{\text z} \, f ~+~ \mathrm{i} \, \hbar \, z \, \partial_{\text z} \, f \\\\

& ~=~ -\mathrm{i} \, \hbar \, f \end{align} $$

So the commutator must be \( [ p_{\text z}, \, z ] = -\mathrm{i} \, \hbar \). Of course, the commutator does not vanish for other positions \( x \) and \(y\) if the momentum points in the same direction: \( [ p_{\text x}, \, x ] = -\mathrm{i} \, \hbar \) und \( [ p_{\text y}, \, y ] = -\mathrm{i} \, \hbar \).

Let's move on to the next summand in 6

. For the second summand we get:

**Commutator of y pz and x pz vanishes**

You can say that right away without having to do much math, since there is no \(z\) in this commutator. Indeed, we know that only momenta and positions result in a non-vanishing commutator if the momentum points along this direction. We can also apply this directly to the third summand in 6

. It is also zero, because in this commutator the momenta do not point along \(z\):

**Commutator of z py and z px vanishes**

The last summand in 6

, on the other hand, does not vanish, since noncommutative \( z \) and \(p_{\text z}\) appear there:

**Commutator of z py and x pz does not vanish**

& ~=~ z \, [ p_{\text y}, \, p_{\text z} ] \, x ~+~ z \, [ p_{\text y}, \, x ] \, p_{\text z} ~+~ p_{\text y} \, [ z, \, x ] \, p_{\text z} ~+~ p_{\text y} \, [ z, \, p_{\text z} ] \, x \\ \\

& ~=~ 0 ~+~ 0 ~+~ 0 ~+~ p_{\text y} \, (\mathrm{i}\hbar) \, x \end{align} $$

Overall, the angular momentum commutator 6

, together with the non-vanishing terms 10

and 14

become:

**Commutator of Lx and Ly combined**

& ~=~ \mathrm{i}\hbar \left( x \, p_{\text y} ~-~ y \, p_{\text x} \right) \end{align} $$

The expression in the parenthesis is exactly the \(L_{\text z} \) component of the angular momentum, as seen in 4

. Thus we have:

**Angular momentum commutator for Lx and Ly**

Similarly you proceed to find out the other two commutators 7

and 8

. As a result you get:

**Angular momentum commutator for Ly and Lz**

**Angular momentum commutator for Lz and Lx**

For example, if you remember the commutator 16

, you can easily get the other two commutators by *cyclically permuting* the indices.

If you like, you can compactly combine the three angular momentum commutators 16

, 17

and 18

. To do this, we replace the position labels \(x,y,z\) with three indices \(i, j, k\), which can take the values 1, 2, and 3. For any two angular momentum components \(L_i\) and \( L_j\) the commutator is then:

**Angular momentum commutator for any two components**

Here \( \varepsilon_{ijk} \) is the levi-civita symbol, which is always \( \varepsilon_{ijk} = 1\) when indices \(ijk\) are rotated (all indices are permuted). And the symbol is \( \varepsilon_{ijk} = -1\) exactly if only two indices are swapped. The symbol is \( \varepsilon_{ijk} = 0\) if at least two indices are equal. For example, this results in the following: \( [ L_1, \, L_2 ] ~=~ \mathrm{i}\hbar \, L_3 \) or \( [ L_2, \, L_1 ] ~=~ -\mathrm{i}\hbar \, L_3 \) or \( [ L_1, \, L_1 ] ~=~ 0 \) and so on.

With the Levi-Civita symbol, we can represent *all possible* (16 in total) angular momentum commutators and do it in a *single* equation! Isn't that handy?

Using the angular momentum commutators, we can also say that there are no functions \(Y\) that are *simultaneous* eigenfunctions of \( L_{\text z} \) and \( L_{\text y} \). So it is *not* possible that the following is valid: \(L_{\text z} \, Y = \lambda \, Y \) AND simultaneously \(L_{\text y} \, Y = \kappa \, Y \), for all eigenfunctions \(Y\) of \(L_{\text z}\). Two operators which do not commute have no common eigenfunctions.

Common eigenfunctions exist, for example, for \( L_{\text z} \) and the *square of angular momentum operator* \( L^2 = {L_{\text x}}^2 + {L_{\text y}}^2 + {L_{\text z}}^2 \). Thus, the commutator of \( L^2 \) and \( L_{\text z} \) vanishes:

**Commutator of L^2 and Lz written using three commutators**

Apply product rule 9

. Thereby commutator \([ {L_{\text z}}^2, \, L_{\text z} ]\) with equal components is eliminated:

**Commutator of L^2 and Lz with applied product rule**

Now insert angular momentum commutators 16

and 17

:

**Commutator of L^2 and Lz with inserted angular momentum commutators**

& ~=~ \mathrm{i}\hbar \, ( - L_{\text x} \, L_{\text y} ~-~ L_{\text y}\,L_{\text x} ~+~ L_{\text y}\,L_{\text x} ~+~ L_{\text x}\,L_{\text y}) \\\\

& ~=~ 0 \end{align} $$

By the way, the commutator with \(L^2\) vanishes for all angular momentum components:

**Angular momentum commutator of L² with Lx, Ly and Lz**

[ L^2, \, L_{\text y} ] & ~=~ 0 \\\\

[ L^2, \, L_{\text z} ] & ~=~ 0 \end{align} $$

Since the commutator of \(L^2\) and an angular momentum component \(L_{\text z}\) vanishes, eigenfunctions \(Y\) exist which are simultaneously eigenfunctions of \(L_{\text z}\) and \(L^2\):

**Eigenvalue equations for L^2 and Lz**

L_{\text z} \, Y & ~=~ \lambda \, Y \end{align} $$

Here \(\mu\) is the **eigenvalue** of \(L^2\) and \(\lambda\) is the eigenvalue of \(L_{\text z}\). Why do we need \(L^2\) at all? Well, this operator will help us to find out the eigenvalues, but also the eigenfunctions \(Y\) concretely.

## Angular momentum ladder operators

Ladder operator method is a powerful algebraic method that allows you to determine the eigenvalues \(\lambda\) of \(L_{\text z}\) WITHOUT having to know eigenfunctions \(Y\). We define the ladder operators \(L_+\) and \(L_-\) as follows:

**Definition of angular momentum ladder operators**

L_- & ~=~ L_{\text x} ~-~ \mathrm{i}\,L_{\text y} \end{align} $$

First, let's calculate four useful commutators, which we will exploit immediately afterwards:

**Commutator of \(L_{\text z}\) and \(L_+\)**:**Angular momentum commutator of Lz and raising operator**Formula anchor $$ \begin{align} [L_{\text z},\, L_+] & ~=~ [L_{\text z},\, L_{\text x}] ~+~ \mathrm{i}\, [L_{\text z},\, L_{\text y}] \\\\

& ~=~ \mathrm{i}\,\hbar\,L_{\text y} ~+~ \mathrm{i}(-\mathrm{i}\,\hbar\,L_{\text x}) \\\\

& ~=~ \hbar \, (L_{\text x} ~+~ \mathrm{i} \, L_{\text y}) \\\\

& ~=~ \hbar \, L_+ \end{align} $$**Commutator of \(L_{\text z}\) and \(L_-\)**:**Commutator of Lz and annihilation operator**Formula anchor $$ \begin{align} [L_{\text z},\, L_-] & ~=~ [L_{\text z},\, L_{\text x}] ~-~ \mathrm{i}\, [L_{\text z},\, L_{\text y}] \\\\

& ~=~ \mathrm{i}\,\hbar\,L_{\text y} ~-~ \mathrm{i}(-\mathrm{i}\,\hbar\,L_{\text x}) \\\\

& ~=~ -\hbar \, (L_{\text x} ~-~ \mathrm{i} \, L_{\text y}) \\\\

& ~=~ -\hbar \, L_- \end{align} $$**Commutator of \(L^2\) and \(L_+\)**:**Commutator of L^2 and raising operator**Formula anchor $$ \begin{align} [L^2,\, L_+] & ~=~ [{L_{\text x}}^2,\, L_+] ~+~ [{L_{\text y}}^2,\, L_+] ~+~ [{L_{\text z}}^2,\, L_+] \\\\

& ~=~ [{L_{\text x}}^2,\, L_\text x] ~+~ \mathrm{i}\,[{L_{\text x}}^2,\, L_\text y] ~+~ [{L_{\text y}}^2,\, L_\text x] ~+~ \mathrm{i} \, [{L_{\text y}}^2,\, L_\text y] \\

& ~+~ [{L_{\text z}}^2,\, L_\text x] ~+~ \mathrm{i} \, [{L_{\text z}}^2,\, L_\text y] \end{align} $$All commutators containing the same components are dropped:

**Commutator of L^2 and L+ reduced**Formula anchor $$ \begin{align} [L^2,\, L_+] ~=~ \mathrm{i}\,[{L_{\text x}}^2,\, L_\text y] ~+~ [{L_{\text y}}^2,\, L_\text x]

~+~ [{L_{\text z}}^2,\, L_\text x] ~+~ \mathrm{i} \, [{L_{\text z}}^2,\, L_\text y] \end{align} $$Apply product rule:

**Commutator of L^2 and L+ with applied product rule**Formula anchor $$ \begin{align} [L^2,\, L_+] & ~=~ \mathrm{i}\,L_{\text x}\,[L_{\text x},\, L_\text y] ~+~ \mathrm{i}\,[L_{\text x},\, L_\text y]\,L_{\text x} ~+~ L_{\text y}\,[L_{\text y},\, L_\text x] ~+~ [L_{\text y},\, L_\text x] \, L_{\text y} \\

& ~+~ L_{\text z}\,[L_{\text z},\, L_\text x] ~+~ [L_{\text z},\, L_\text x] \, L_{\text z} ~+~ \mathrm{i}\,L_{\text z}\,[L_{\text z},\, L_\text y] ~+~ \mathrm{i}\,[L_{\text z},\, L_\text y]\,L_{\text z} \end{align} $$Insert angular momentum commutators:

**Commutator of L^2 and L+ with inserted angular momentum commutators**Formula anchor $$ \begin{align} [L^2,\, L_+] & ~=~ -\,\hbar\,L_{\text x}\,L_{\text z} ~-~ \hbar\,L_{\text z}\,L_{\text x} ~-~ \mathrm{i}\, \hbar\,L_{\text y}\, L_{\text z} ~-~ \mathrm{i}\,\hbar\,L_{\text z}\,L_{\text y} \\

& ~+~ \mathrm{i}\,\hbar\,L_{\text z}\,L_{\text y} ~+~ \mathrm{i}\, \hbar\,L_{\text y}\, L_{\text z}~+~ \hbar\,L_{\text z}\,L_{\text x} ~+~ \hbar\,L_{\text x}\,L_{\text z} \\\\

& ~=~ 0 \end{align} $$**Commutator of \(L^2\) and \(L_-\)**:

You can work it out analogously to28

.**Commutator of L^2 and annihilation operator vanishes**Formula anchor $$ \begin{align} [L^2,\, L_-] ~=~ 0 \end{align} $$

So far so good. We know that \(Y\) is an eigenfunction of both \(L^2\) and \(L_{\text z}\). If we apply our defined ladder operator \(L_+\) to \(Y\), we get a new modified function: \( (L_+ \, Y) \). Next, we can ask whether \( (L_+ \, Y) \) is also an eigenfunction of \(L^2\) and \(L_{\text z}\). Let's check this:

**L^2 is eigenfunction of L+Y**

& ~=~ L_+ \, \mu \, Y \\\\

& ~=~ \mu \, (L_+ \, Y) \end{align} $$

After the first equal sign in Eq. 33

we have exchanged \(L_+\) and \(L^2\). We are allowed to do so, because in 31

we have tediously calculated that their commutator vanishes. Is the commutator of two operators equal to zero? Then we may swap both operators as much as we want. With 33

we can confirm that \((L_+ \, Y)\) is an eigenfunction of \(L^2\). We get the same function \((L_+ \, Y)\), scaled with the eigenvalue \(\mu\).

Also \((L_- \, Y)\) is an eigenfunction of \(L^2\), as we can easily verify:

**L^2 is eigenfunction of L-Y**

& ~=~ L_- \, \mu \, Y \\\\

& ~=~ \mu \, (L_- \, Y) \end{align} $$

Using the previously calculated commutators between \(L_{\text z}\) and \(L_{\pm}\), we can easily prove that \(L_+\,Y\) and \(L_-\,Y\) are also eigenfunctions of \(L_{\text z}\). But beware! Here the commutators, as we calculated in 26

and 27

, are not zero. So, for example, if we swap \(L_{\text z}\) and \(L_+\), then we need to add the associated commutator 26

to compensate for the difference in swapping. With this in mind, we get:

**L+Y is eigenfunction of Lz**

& ~=~ L_+ \, L_{\text z} \, Y ~+~ \hbar \, L_+ \, Y \\\\

& ~=~ L_+ \, \lambda \, Y ~+~ \hbar \, L_+ \, Y \\\\

& ~=~ (\lambda ~+~ \hbar) \, (L_+ \, Y) \end{align} $$

*Have you noticed how useful commutators are when working with operators?*

With Eq. 35

we have shown that \((L_+ \, Y)\) is an eigenfunction of \(L_{\text z}\), with an *increased* eigenvalue \( \lambda + \hbar\).

Also, reapplying \(L_+\) to \((L_+ \, Y)\) increases the eigenvalue \( \lambda + \hbar\) by another \(\hbar\):

**Applying the creation operator twice on Y**

And so on... Since \(L_+\) increases the eigenvalue of \( L_{\text z} \) by \(+\hbar\) for each further application to \(Y\), we call \(L_+\) an **raising operator**. Its "opposite" is the **lowering operator** \(L_-\).

We can quickly check this with the help of their commutator 27

:

**L-Y is eigenfunction of Lz**

& ~=~ L_- \, L_{\text z} \, Y ~-~ \hbar \, L_- \, Y \\\\

& ~=~ L_- \, \lambda \, Y ~-~ \hbar \, L_- \, Y \\\\

& ~=~ (\lambda ~-~ \hbar) \, (L_- \, Y) \end{align} $$

You will encounter the raising and lowering operators not only in the case of quantum mechanical angular momentum, but also, for example, in the case of the quantum mechanical harmonic oscillator or in quantum field theory.

## Eigenvalues of Lz and L²

If we apply the raising operator \(L_+\) to \(Y\) again and again, we increase the eigenvalue \(\lambda\) by \(+\hbar\) each time. Can the new eigenvalue become arbitrarily large if we apply \(L_+\) incessantly?

In quantum mechanics, the eigenvalue represents, physically speaking, a possible measured value of the angular momentum component in the \(z\) direction. A closed system, for example being an H atom, has an *finite* angular momentum \(\langle L \rangle \). This total angular momentum is preserved. The eigenvalue \(\lambda\) representing its \(L_{\text z}\) component cannot become larger than the total angular momentum. So there must be a **`topmost' eigenfunction** \( \overline{Y\,} := L_+...L_+ \, Y\) of \(L_{\text z}\) which is *not* an eigenfunction of \(L_+\):

**Raising operator applied to uppermost eigenfunction yields zero**

The eigenvalue \(\lambda\) of \(L_{\text z}\) is *maximal* when applied to the `topmost' eigenfunction \( \overline{Y\,} \). We write this maximum eigenvalue as a multiple of \(\hbar\), namely as \(\lambda = l\, \hbar\):

**Lz applied to the uppermost eigenfunction**

We do not know the quantity \(l\). We still have to find out how it behaves exactly.

And, if we apply \(L^2\) to \( \overline{Y\,} \), we still get the eigenvalue \(\mu\) because we saw in Eq. 33

that \(L_+\) does not change the eigenvalue of \(L^2\) at all:

**L^2 applied to the top eigenfunction**

Let us express the eigenvalue \(\mu\) of \(L^2\) with the maximum eigenvalue \(l \, \hbar\) of \(L_{\text z}\). For this purpose we first determine \(L_-\,L_+\):

**Product of the raising and lowering operator**

& ~=~ {L_{\text x}}^2 ~+~ {L_{\text y}}^2 ~+~ \mathrm{i}\,(L_{\text x}\,L_{\text y} ~-~ L_{\text y}\,L_{\text x}) \\\\

& ~=~ {L_{\text x}}^2 ~+~ {L_{\text y}}^2 ~+~ \mathrm{i}\,[L_{\text x}, \,L_{\text y}] \\\\

& ~=~ L^2 ~-~ {L_{\text z}}^2 ~+~ \mathrm{i}\, (\mathrm{i}\,\hbar\,L_{\text z}) \\\\

& ~=~ L^2 ~-~ {L_{\text z}}^2 ~-~ \hbar \, L_{\text z} \end{align} $$

Rearrange Eq. 41

for \(L^2\):

**L^2 expressed with lowering and raising operators**

Let us apply the transformed operator \(L^2\) to the `topmost' eigenfunction \(\overline{Y\,}\):

**Transformed L^2 applied to the uppermost eigenfunction**

& ~=~ L_- \, L_+ \, \overline{Y\,} ~+~ L_{\text z}\,L_{\text z} \, \overline{Y\,} ~+~ \hbar \, L_{\text z} \, \overline{Y\,} \end{align} $$

The term \(L_- \, (L_+ \, \overline{Y\,}) = 0\) vanishes according to Eq. 38

, since \(\overline{Y\,}\) is already the `topmost' eigenfunction. A further application of \(L_+\) eliminates the term. And, what yields \(L_{\text z} \, \overline{Y\,}\) is in Eq. 39

. Let us turn our attention to Eq. 45

:

**L^2 applied to the uppermost eigenfunction expressed with quantum number**

& ~=~ l^2\,\hbar^2\,\overline{Y\,} ~+~ l \, \hbar^2\,\overline{Y\,} \\\\

& ~=~ l \, (l ~+~ 1) \, \hbar^2 \, \overline{Y\,} \end{align} $$

The eigenvalue \(\mu \) of \(L^2\) expressed with \(l\) is: \(\mu ~=~ l \, (l ~+~ 1) \, \hbar^2\).

Now what happens if we excessively apply the lowering operator \(L_-\) to \(Y\): \(L_- ... L_-\,Y\)? At some point we land or cross zero as a possible eigenvalue and the eigenvalue becomes negative. Can the angular momentum eigenvalue \(\lambda\) become negative arbitrarily large? It cannot become negative arbitrarily large for the same reason as it cannot become positive arbitrarily large. The eigenvalue of the \( L_{\text z} \) component, which is maximum in magnitude but negative, cannot exceed the total angular momentum.

Let us denote the **'lowest' eigenfunction** of \( L_{\text z} \) as \(\underline{Y}\) and the **smallest eigenvalue** as \(\underline{l} \, \hbar \). The lowering operator \(L_-\) is not an eigenfunction of \(\underline{Y}\):

**Lowering operator applied to lowest eigenfunction is zero**

And the eigenvalue equations for \(L_{\text z}\) and \(L^2\) are:

**Eigenvalue equations of Lz and L^2**

L^2 \, \underline{Y} & ~=~ \mu \, \underline{Y} \end{align} $$

Let us first calculate \(L_+ \, L_-\), analogously to Eq. 41

. This time, however, the ladder operators are reversed:

**Product of the raising operator with the lowering operator**

& ~=~ {L_{\text x}}^2 ~+~ {L_{\text y}}^2 ~-~ \mathrm{i}\,(L_{\text x}\,L_{\text y} ~-~ L_{\text y}\,L_{\text x}) \\\\

& ~=~ L^2 ~-~ {L_{\text z}}^2 ~-~ \hbar \, L_{\text z} \end{align} $$

Let us use Eq. 47

, rearranged for \(L^2\), to express the eigenvalue \(\mu\) of \(L^2\) with the lowest eigenvalue \(\underline{l} \, \hbar\) of \(L_{\text z} \):

**L^2 applied to the lowest eigenfunction**

& ~=~ L_+ \, L_- \, \underline{Y} ~+~ {L_{\text z}}^2 \, \underline{Y} ~-~ \hbar \, L_{\text z} \, \underline{Y} \\\\

& ~=~ 0 ~+~ \underline{l}^2\, \hbar^2\, \underline{Y} ~-~ \underline{l}\, \hbar^2\,\underline{Y} \\\\

& ~=~ \underline{l} \, (\underline{l} ~-~ 1) \, \hbar^2 \,\underline{Y} \end{align} $$

Thus the eigenvalue ist \(\mu ~=~ \underline{l} \, (\underline{l} ~-~ 1) \, \hbar^2\). This eigenvalue is not changed by ladder operators, that is, the \(\underline{l} \, \hbar\) eigenvalue expressed with lowest eigenvalue \(\underline{l} \, \hbar\) is still the same eigenvalue if we express it with the highest eigenvalue \(l \, \hbar\) of \(L_{\text z}\). When we expressed \(\mu \) with the highest eigenvalue in 44

, we had gotten \(\mu ~=~ l \, (l ~+~ 1) \, \hbar^2 \). Both expressions must be the same:

**Smallest eigenvalue equated with highest eigenvalue**

Here are two possibilities for \( \underline{l} \). Either \( \underline{l} ~=~ l ~+~ 1 \) or \( \underline{l} ~=~ -l \). The first solution would mean that the lowest eigenvalue of \(L_{\text z}\) is larger than the highest eigenvalue with \( l \), which makes little sense. On the other hand, the second solution \( \underline{l} ~=~ -l \) is plausible and therefore we continue to use this solution.

Let's keep our results together:

The

*highest*eigenvalue of \(L_{\text z}\) is: \(l \, \hbar\).The

*lowest*eigenvalue of \(L_{\text z}\) is: \(-l \, \hbar\).We get from one eigenvalue to another by increasing or decreasing the eigenvalue by \(\hbar\), staying between the highest and lowest eigenvalues.

The eigenvalue of \(L^2\) is expressed with the highest \(L_{\text z}\) eigenvalue: \( \mu = l \,(l ~+~ 1) \, \hbar^2\).

The \(L_{\text z}\) angular momentum component has eigenvalues that are multiples of \( \hbar\): \(\lambda = m_l \, \hbar\). The value of \(m_l\) ranges from \( -l \) to \( l \):

**Value range of the magnetic quantum number**

Here \(m_l\) runs in *integer* steps (two neighboring eigenvalues differ by \(\hbar\)). If there are total \(N\) values between \(-l\) and \(l\), then it follows from \( l ~=~ -l ~+~ N \) that: \( l = N/2\). For example, for \(N=5\) values, \(l = 2.5\) would be *half-integer* and for \( N = 10\), \( l = 5\) would be *integer*. The half-integer values of \(l\) describe the spin states of quantum particles and integer values of \(l\) describe orbital angular momentum of quantum particles:

**Value range of the orbital angular momentum quantum number**

**Eigenvalue equations for \(L_{\text z}\) and \(L^2\)**

L^2 \,Y_{l}^{m_l} & ~=~ l \, (l~+~1) \, \hbar^2 \, Y_{l}^{m_l} \end{align} $$

For each value of \(m_l\) there is an eigenfunction \(Y_{l}^{m_l}\). With the help of the ladder operators we have found out eigenvalues of \(L^2\) and \(L_{\text z}\). In the next lesson we will determine the eigenfunctions \(Y_{l}^{m_l}\). As it will turn out: They are **spherical harmonics**!