7.1: Angular Momenum Operators
- Page ID
- 15764
\( \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}\)In classical mechanics, the vector angular momentum, L, of a particle of position vector \({\bf r}\) and linear momentum \({\bf p}\) is defined as \[\label{e8.0} {\bf L} = {\bf r}\times {\bf p}.\] It follows that \[\begin{aligned} \label{e8.1} L_x &= y\,p_z - z\,p_y,\\[0.5ex] L_y &= z\,p_x - x\,p_z,\\[0.5ex] L_z &= x\,p_y - y\,p_x.\label{e8.3}\end{aligned}\] Let us, first of all, consider whether it is possible to use the previous expressions as the definitions of the operators corresponding to the components of angular momentum in quantum mechanics, assuming that the \(x_i\) and \(p_i\) (where \(x_1\equiv x\), \(p_1\equiv p_x\), \(x_2\equiv y\), etc.) correspond to the appropriate quantum mechanical position and momentum operators. The first point to note is that expressions ([e8.1])–([e8.3]) are unambiguous with respect to the order of the terms in multiplicative factors, because the various position and momentum operators appearing in them all commute with one another. [See Equations ([commxp]).] Moreover, given that the \(x_i\) and the \(p_i\) are Hermitian operators, it is easily seen that the \(L_i\) are also Hermitian. This is important, because only Hermitian operators can represent physical variables in quantum mechanics. (See Section [s4.6].) We, thus, conclude that Equations ([e8.1])–([e8.3]) are plausible definitions for the quantum mechanical operators that represent the components of angular momentum.
Let us now derive the commutation relations for the \(L_i\). For instance, \[\begin{aligned} [L_x, L_y]& = [y\,p_z-z\,p_y, z\,p_x-x\,p_z] = y\,p_x\,[p_z,z] + x\,p_y\,[z,p_z]\nonumber\\[0.5ex] &= {\rm i}\,\hbar\,(x\,p_y-y\,p_x) = {\rm i}\,\hbar\,L_z,\end{aligned}\] where use has been made of the definitions of the \(L_i\) [see Equations ([e8.1])–([e8.3])], and commutation relations ([commxx])–([commxp]) for the \(x_i\) and \(p_i\). There are two similar commutation relations: one for \(L_y\) and \(L_z\), and one for \(L_z\) and \(L_x\). Collecting all of these commutation relations together, we obtain \[\begin{aligned} \label{e8.6} [L_x, L_y]&= {\rm i}\,\hbar\,L_z,\\[0.5ex] [L_y, L_z]&= {\rm i}\,\hbar\,L_x,\\[0.5ex] [L_z,L_x]&= {\rm i}\,\hbar\,L_y.\label{e8.8}\end{aligned}\]
By analogy with classical mechanics, the operator \(L^{2}\), that represents the magnitude squared of the angular momentum vector, is defined \[\label{e8.9} L^2 = L_x^{\,2} + L_y^{\,2} + L_z^{\,2}.\] Now, it is easily demonstrated that if \(A\) and \(B\) are two general operators then \[\label{e8.10} [A^2,B] = A\,[A, B] +[A,B]\,A.\] Hence, \[\begin{aligned} [L^2,L_x] &= [L_y^{\,2},L_x] + [L_z^{\,2},L_x]\nonumber\\[0.5ex] &= L_y\,[L_y,L_x] + [L_y,L_x]\,L_y + L_z\,[L_z,L_x] + [L_z, L_x]\,L_z\nonumber\\[0.5ex] &= {\rm i}\,\hbar\left(-L_y\,L_z - L_z\,L_y + L_z\,L_y + L_y\,L_z\right) = 0,\end{aligned}\] where use has been made of Equations ([e8.6])–([e8.8]). In other words, \(L^2\) commutes with \(L_x\). Likewise, it is easily demonstrated that \(L^2\) also commutes with \(L_y\), and with \(L_z\). Thus, \[\label{e8.12} [L^2, L_x] = [L^2, L_y] = [L^2,L_z] = 0.\]
Recall, from Section [smeas], that in order for two physical quantities to be (exactly) measured simultaneously, the operators that represent them in quantum mechanics must commute with one another. Hence, the commutation relations ([e8.6])–([e8.8]) and ([e8.12]) imply that we can only simultaneously measure the magnitude squared of the angular momentum vector, \(L^2\), together with, at most, one of its Cartesian components. By convention, we shall always choose to measure the \(z\)-component, \(L_z\).
Finally, it is helpful to define the operators \[\label{e8.13} L_\pm = L_x\pm {\rm i}\,L_y.\] Note that \(L_+\) and \(L_-\) are not Hermitian operators, but are the Hermitian conjugates of one another (see Section [s4.6]): that is, \[\label{e8.14} (L_\pm)^\dagger = L_\mp,\\[0.5ex]\] Moreover, it is easily seen that \[\begin{aligned} L_+\,L_- &= (L_x+{\rm i}\,L_y)\,(L_x-{\rm i}\,L_y) = L_x^{\,2} + L_y^{\,2} - {\rm i}\,[L_x, L_y] = L_x^{\,2} + L_y^{\,2} + \hbar\,L_z\nonumber\\[0.5ex] &= L^2 - L_z^{\,2} + \hbar\,L_z.\label{e8.15}\end{aligned}\] Likewise, \[\label{e8.17} L_-\,L_+ = L^2 - L_z^{\,2} -\hbar\,L_z,\] giving \[[L_+, L_-] = 2\,\hbar\,L_z.\] We also have \[\label{e8.19} [L_+,L_z] = [L_x,L_z] + {\rm i}\,[L_y,L_z] = -{\rm i}\,\hbar\,L_y - \hbar\,L_x= - \hbar\,L_+,\] and, similarly, \[[L_-,L_z] = \hbar\,L_-.\]
Contributors and Attributions
Richard Fitzpatrick (Professor of Physics, The University of Texas at Austin)
\( \newcommand {\ltapp} {\stackrel {_{\normalsize<}}{_{\normalsize \sim}}}\) \(\newcommand {\gtapp} {\stackrel {_{\normalsize>}}{_{\normalsize \sim}}}\) \(\newcommand {\btau}{\mbox{\boldmath$\tau$}}\) \(\newcommand {\bmu}{\mbox{\boldmath$\mu$}}\) \(\newcommand {\bsigma}{\mbox{\boldmath$\sigma$}}\) \(\newcommand {\bOmega}{\mbox{\boldmath$\Omega$}}\) \(\newcommand {\bomega}{\mbox{\boldmath$\omega$}}\) \(\newcommand {\bepsilon}{\mbox{\boldmath$\epsilon$}}\)