Skip to main content
Chemistry LibreTexts

6.3: The Three Components of Angular Momentum Cannot be Measured Simultaneously with Arbitrary Precision

  • Page ID
    142997
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

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

    \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\id}{\mathrm{id}}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

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

    \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\)

    \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\)

    \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    \( \newcommand{\vectorA}[1]{\vec{#1}}      % arrow\)

    \( \newcommand{\vectorAt}[1]{\vec{\text{#1}}}      % arrow\)

    \( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vectorC}[1]{\textbf{#1}} \)

    \( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

    \( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

    \( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

    \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)
    Learning Objectives
    • Understand how to measure the orbital angular momentum of an electron around a nucleus.
    • Understand how the Heisenburgh Uncertainty Principle extends to orbital angular momenta.
    • Manipulate the angular momenta cyclic permutations that allow two of the three projects to be simultaneous measured

    Consider a particle described by the Cartesian coordinates \((x, y, z)\equiv \vec{r}\) and their conjugate momenta \((p_x, p_y, p_z)\equiv \vec{p}\). The classical definition of the orbital angular momentum of such a particle about the origin is (i.e., via the vector cross product):

    \[ \vec{L} = \vec{r} \times \vec{p} \nonumber \]

    which can be separated into projections into each of the primary axes :

    \[ \begin{align*} L_x &= y\, p_z - z\, p_y, \label{6.3.1a} \\[4pt] L_y &= z\, p_x - x\, p_z \label{6.3.1b} \\[4pt] L_z &= x\,p_y - y \,p_x \label{6.3.1c} \end{align*} \]

    Extending this discussion to the quantum mechanics, we can assume that the operators \((\hat{L}_x, \hat{L}_y, \hat{L}_z)\equiv \vec{L}\) - that represent the components of orbital angular momentum in quantum mechanics - can be defined in an analogous manner to the corresponding components of classical angular momentum. In other words, we are going to assume that the above equations specify the angular momentum operators in terms of the position and linear momentum operators.

    In Cartesian coordinates, the three operators for the orbital angular momentum components can be written as

    \[\hat{L}_x = -{\rm i}\,\hbar\left(y\,\dfrac{\partial}{\partial z} - z\,\dfrac{\partial} {\partial y}\right) \label{6.3.2a} \]

    \[ \hat{L}_y = -{\rm i}\,\hbar\left(z\,\dfrac{\partial}{\partial x} - x\,\dfrac{\partial} {\partial z}\right) \label{6.3.2b} \]

    \[ \hat{L}_z = -{\rm i}\,\hbar\left(x\,\dfrac{\partial}{\partial y} - y\,\dfrac{\partial} {\partial x}\right) \label{6.3.2c} \]

    These can be transforming to operators in standard spherical polar coordinates,

    \[ \begin{align*} x &= r \,\sin\theta\, \cos\varphi \label{6.3.3a} \\[4pt] y &= r\, \sin\theta\, \sin\varphi \label{6.3.3b} \\[4pt] z &=r \cos \theta \label{ 6.3.3c} \end{align*} \]

    we obtain

    \[ \begin{align*} \hat{L}_x &= {\rm i}\,\hbar\,\left(\sin\varphi\, \dfrac{\partial}{\partial \theta} + \cot\theta \cos\varphi\,\dfrac{\partial}{\partial \varphi}\right) \label{6.3.4a} \\[4pt] \hat{L}_y &= -{\rm i} \,\hbar\,\left(\cos\varphi\, \dfrac{\partial}{\partial\theta} -\cot\theta \sin\varphi \,\dfrac{\partial}{\partial \varphi}\right) \label{6.3.4b} \\[4pt] \hat{L}_z &= -{\rm i}\,\hbar\,\dfrac{\partial}{\partial\varphi} \label{6.3.4c} \end{align*} \]

    We can introduce a new operator \(\hat{L^2}\):

    \[ \begin{align} \hat{L^2} &= \hat{L}_x^{\,2}+\hat{L}_y^{\,2}+\hat{L}_z^{\,2} \label{6.3.5} \\[4pt] &= - \hbar^2\left( \dfrac{1}{\sin\theta}\dfrac{\partial}{\partial \theta} \sin \theta \dfrac{\partial}{\partial \theta} + \dfrac{1}{\sin^2\theta}\dfrac{\partial^2} {\partial\varphi^2}\right) \label{6.3.6} \end{align} \]

    The eigenvalue problem for \(\hat{L^2}\) takes the form

    \[\hat{L^2} | \psi \rangle = \lambda \,\hbar^2 | \psi \rangle \label{6.3.6a} \]

    where \(\psi(r, \theta, \varphi)\) is the wavefunction, and \(\lambda\) is a number. Let us write

    \[ \psi(r, \theta, \varphi) = R(r) \,Y(\theta, \varphi) \label{6.3.6b} \]

    By definition,

    \[\boxed{L^2 \,Y_{l}^{m_l} = l\,(l+1)\,\hbar^2\,Y_{l}^{m_l}} \label{6.3.9} \]

    where \(l\) is an integer. This is an important conclusion that argues the angular momentum is quantized with the square of the magnitude of the angular momentum only capable of assume one of the discrete set of values (Equation \(\ref{6.3.9}\)). From this, the amplitude of angular momentum can be expressed

    \[\boxed{ |\vec{L}| =\sqrt{L^2} = \sqrt{l(l+1)} \hbar }\label{6.3.10} \]

    Warning

    We often refer to a particle in a state with angular momentum quantum number \(l\) as having angular momentum \(l\), rather than saying that it has angular momentum of \(\sqrt{l(l+1)} \hbar\) magnitude, primarily since it is awkward to say quickly.

    The properties of spherical harmonics that the z-component of the angular momentum (\(L_z\)) is also quantized and can only assume a one of a discrete set of values

    \[ L_z \,Y_{l}^{m_l} = m\,\hbar\,Y_l^{m_l} \label{6.3.11} \]

    where \(m_l\) is an integer lying in the range \(-l\leq m_l \leq l\).

    • \(l\) is sometimes called "azimuthal quantum number" or "orbital quantum number"
    • \(m_l\) is sometimes called "magnetic quantum number"

    Simultaneous Measurements

    Note that observables associated with \(\hat{L}_x\), \(\hat{L}_y\), and \(\hat{L}_z\) can, in principle, be measured. However, to determine if they can be measured simultaneously with infinite precision, the corresponding operators must commute. Remember that the fundamental commutation relations satisfied by the position and linear momentum operators are:

    \[ \begin{align*} [\hat{x}_i, \hat{x}_j] &=0 \label{6.3.12} \\[4pt] [\hat{p}_i, \hat{p}_j] &=0 \label{6.3.13} \\[4pt] [\hat{x}_i, \hat{p}_j] &= {\rm i}\,\hbar \,\delta_{ij} \label{6.3.14} \end{align*} \]

    where \(i\) and \(j\) stand for either \(x\), \(y\), or \(z\). Consider the commutator of the operators \(\hat{L}_x\) and \(\hat{L}_z\) :

    \[ \begin{align*} [\hat{L}_x, \hat{L}_y] & = [(y\,p_z-z\,p_y), (z\,p_x-x \,p_z)] \\[4pt] &= y\,[p_z, z]\,p_x + x\,p_y\,[z, p_z] \label{6.3.15} \\[4pt] &= {\rm i}\,\hbar\,(-y \,p_x+ x\,p_y) \\[4pt] &= {\rm i}\,\hbar\, \hat{L}_z \label{6.3.16} \end{align*} \]

    The cyclic permutations of the above result yield the fundamental commutation relations satisfied by the components of an orbital angular momentum:

    \[[\hat{L}_x, \hat{L}_y] = {\rm i}\,\hbar\, \hat{L}_z \label{6.3.17a} \]

    \[[\hat{L}_y, \hat{L}_z] = {\rm i}\,\hbar\, \hat{L}_x \label{6.3.17b} \]

    \[[\hat{L}_z, \hat{L}_x] = {\rm i}\,\hbar\, \hat{L}_y \label{6.3.17c} \]

    The three commutation relations (Equations \(\ref{6.3.17a}\) - \(\ref{6.3.17c}\)) are the foundation for the whole theory of angular momentum in quantum mechanics. Whenever we encounter three operators having these commutation relations, we know that the dynamical variables that they represent have identical properties to those of the components of an angular momentum (which we are about to derive). In fact, we shall assume that any three operators that satisfy the commutation relations (Equations \(\ref{6.3.17a}\) - \(\ref{6.3.17c}\)) represent the components of some sort of angular momentum.

    Any three operators that satisfy the cyclic commutation relations represent the components of some sort of angular momentum.

    Example 6.3.1 : Commutators

    Show that the \(\hat{L^2}\) and \(\hat{L}_x\) operators commute.

    Solution

    We want to confirm that \([\hat{L^2}, \hat{L}_x] = 0\) that from Equation \(\ref{6.3.5}\) this can be expanded

    \[[\hat{L^2}, \hat{L}_x] = [\hat{L}_x^2 + \hat{L}_y^2 + \hat{L}_z^2, \hat{L}_x] \nonumber \]

    from the properties of commutators, this can be expanded

    \[[\hat{L^2}, \hat{L}_x] = [\hat{L}_x^2, \hat{L}_x] + [\hat{L}_y^2, \hat{L}_x] + [\hat{L}_z^2 , \hat{L}_x] \nonumber \]

    However,

    \[[\hat{L}_x^2, \hat{L}_x] = \hat{L}_x^2 \hat{L}_x - \hat{L}_x \hat{L}_x^2 = \hat{L}_x \hat{L}_x \hat{L}_x - \hat{L}_x \hat{L}_x \hat{L}_x = 0\nonumber \]

    So

    \[ \begin{align*} [\hat{L^2}, \hat{L}_x] &= [\hat{L}_y^2, \hat{L}_x] + [\hat{L}_z^2, \hat{L}_x]\nonumber \\ &= \hat{L}_y^2 \hat{L}_x - \hat{L}_x \hat{L}_y^2 + \hat{L}_z^2 \hat{L}_x - \hat{L}_x \hat{L}_z^2 \nonumber \\ &= \hat{L}_y \hat{L}_y \hat{L}_x - \hat{L}_x \hat{L}_y \hat{L}_y + \hat{L}_z \hat{L}_z \hat{L}_x - \hat{L}_x \hat{L}_z \hat{L}_z \nonumber \end{align*} \nonumber \]

    Lets look at some related forms which can be used to simplify the above expression. The first two terms can and final two terms can be rewritten as different commutators

    \[ \begin{align*} [\hat{L}_y , \hat{L}_x] &= \hat{L}_y + \hat{L}_y [\hat{L}_y , \hat{L}_x] \nonumber \\ &= (\hat{L}_y \hat{L}_x - \hat{L}_x \hat{L}_y) \hat{L}_y + \hat{L}_y (\hat{L}_y \hat{L}_x - \hat{L}_x \hat{L}_y) \nonumber \\ &= \cancel{\hat{L}_y \hat{L}_x \hat{L}_y} - \hat{L}_x \hat{L}_y \hat{L}_y + \hat{L}_y \hat{L}_y \hat{L}_x - \cancel{\hat{L}_y \hat{L}_x \hat{L}_y} \nonumber \end{align*} \nonumber \]

    The first & fourth terms cancel, giving

    \[[\hat{L}_y , \hat{L}_x] \hat{L}_y + \hat{L}_y [\hat{L}_y , \hat{L}_x] = \hat{L}_y \hat{L}_y \hat{L}_x - \hat{L}_x \hat{L}_y \hat{L}_y \nonumber \]

    Similarly,

    \[[Lz , \hat{L}_x] \hat{L}_z + \hat{L}_z [\hat{L}_z, \hat{L}_x] = \hat{L}_z \hat{L}_z \hat{L}_x - \hat{L}_x \hat{L}_z \hat{L}_z \nonumber \]

    So,

    \[ \begin{align*} [\hat{L^2} , \hat{L}_x] &= [\hat{L}_y , \hat{L}_x] \hat{L}_y + \hat{L}_y [\hat{L}_y , \hat{L}_x] + [\hat{L}_z , \hat{L}_x] \hat{L}_z + \hat{L}_z [\hat{L}_z , \hat{L}_x]\nonumber \\[4pt] &= - i\hbar \hat{L}_z \hat{L}_y - i\hbar \hat{L}_y \hat{L}_z + i\hbar \hat{L}_y \hat{L}_z + ih \hat{L}_z \hat{L}_y \\[4pt] &= 0 \nonumber \end{align*} \nonumber \]

    One can also show similarly that

    \[[\hat{L^2}, \hat{L}_y] = [\hat{L^2}, \hat{L}_z] = 0 \nonumber \]

    Example 6.3.1 shows that while \(L_z\) can be known with certainty, \(L_x\) and \(L_y\) would unknown. This means that every vector with the appropriate length and z-component can drawn to represent \(\vec{L}\), which forms a cone (Figure 6.3.1 ). The expected value of the angular momentum for a given ensemble of systems in the quantum state characterized by \(l\) and \(m_l\) could be somewhere on this cone while it cannot be defined for a single system (since the components of \(L\) do not commute with each other).

    Vector_model_of_orbital_angular_momentuml1.svg
    Vector_model_of_orbital_angular_momentum.svg
    Figure 6.3.1 : Illustration of the vector model of orbital angular momentum. (left) A set of states with quantum numbers \(l=1\), and \(m_l = -1, 0, +1,\). (right) A set of states with quantum numbers \(l=2\), and \(m_l = -2, -1, 0, +1, +2\). (Public Domain; Maschen via Wikipedia)
    The Meaning of Commutation of Two Operators

    The mathematics of commutation relations is relatively straightforward, but what does it physically mean for an observable (Hermitian operator) to commute with another observable (Hermitian operator) in quantum mechanics?

    If two operators \(\hat{A}\) and \(\hat{B}\) commute with each other then

    \[\hat A \hat B - \hat B \hat A = 0, \nonumber \]

    which can be rearranged to

    \[\hat A \hat B = \hat B \hat A. \nonumber \]

    This is not a trivial statement and many operations do not commute and hence the end-result depends on how you have ordered the operations.

    If you recall that operators act on quantum mechanical states and give you a new state in return, then this means that with \(\hat{A}\) and \(\hat{B}\) commuting, the state you obtain from letting first \(\hat{A}\) act and then \(\hat{B}\) act on some initial state is the same as if you let first \(\hat{B}\) and then \(\hat{A}\) act on that state, i.e.,

    \[\hat A \hat B | \psi \rangle = \hat B \hat A | \psi \rangle. \nonumber \]

    Recall that when you perform a quantum mechanical measurement, you will always measure an eigenvalue of your operator, and after the measurement your state is left in the corresponding eigenstate. The eigenstates to the operator are precisely those states for which there is no uncertainty in the measurement: You will always measure the eigenvalue.

    Therefore, \(\hat{B} |a \rangle\) must be an eigenfunction of \(\hat{A}\) with eigenvalue \(a\) just like \(|a \rangle\) itself is. That is essentially saying that \(|a \rangle\) is an eigenfunction of \(\hat{B}\).

    A key example of this is since \(\hat{L^2}\) and \(\hat{L}_x\) commute (Example 6.3.1 ) then both operators share the same eigenstates. Hence, we do no need to solve two eignevalue problems:

    \[\hat{L^2} | \psi \rangle = \lambda | \psi \rangle \nonumber \]

    and

    \[\hat{L}_x | \psi \rangle = \beta| \psi \rangle \nonumber \]

    If we solve one, we then know the eigenvalues (\(| \psi \rangle\)) for the other!

    What does it mean when some observable \(\hat{A}\) commutes with the Hamiltonian \(\hat{H}\)? First, we get all the result from above: There is a simultaneous eigenbasis of the energy-eigenstates and the eigenstates of \(\hat{A}\). This can yield a tremendous simplification of the task of solving Schrödinger equations. For example, the Hamiltonian of the hydrogen atom commutes with \(\hat{L}\), the angular momentum operator, and with \(\hat{L}_z\), its z-component. This tells you that you can classify the eigenstates by an angular- and magnetic quantum number \(l\) and \(m\).

    Summary

    In the quantum world, angular momentum is quantized. The square of the magnitude of the angular momentum (determined by the eigenvalues of the \(\hat{L^2}\) operator) can only assume one of the discrete set of values

    \[L^2 = l(l + 1)\hbar^2 \nonumber \]

    or the magnitude of the angular momentum

    \[L = \sqrt{l(l + 1)}\hbar \nonumber \]

    with \(l = 0, 1, 2, ... \nonumber\)

    The z-component of the angular momentum (i.e., projection of \(L\) onto the \(z\)-axis) is also quantized with

    \[L_z= m_{l} \hbar \nonumber \]

    with \(m_l = -l, 0-1, ..., 0, ... +l +1, l \nonumber\) for a given value of \(l\). Hence, \(l\) and \(m_l\) are the angular momentum quantum number and the magnetic quantum number, respectively.

    Contributors and Attributions


    6.3: The Three Components of Angular Momentum Cannot be Measured Simultaneously with Arbitrary Precision is shared under a CC BY-NC-SA 4.0 license and was authored, remixed, and/or curated by LibreTexts.