7.4: Composite Systems with Angular Momentum
- Page ID
- 56579
\( \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}\)Now consider two systems, 1 and 2, with total angular momentum \(\mathbf{J}_{1}\) and \(\text { J }_{2}\), respectively. The total angular momentum is again additive, and given by
\[\mathbf{J}=\mathbf{J}_{1}+\mathbf{J}_{2} \equiv \mathbf{J}_{1} \otimes \mathbb{I}+\mathbb{I} \otimes \mathbf{J}_{2}.\tag{7.53}\]
Completely analogous to the addition of spin and orbital angular momentum, we can construct the commuting operators \(\mathrm{J}^{2}\), \(J_{z}\), \(\mathbf{J}_{1}^{2}\), and \(\mathrm{J}_{2}^{2}\), but not \(J_{1 z}\) and \(J_{2 z}\). Again, we construct two natural bases for the total angular momentum of the composite system, namely
\[\{|j, m\rangle\} \quad \text { or } \quad\left\{\left|j_{1}, m_{1}\right\rangle \otimes\left|j_{2}, m_{2}\right\rangle\right\} \equiv\left\{\left|j_{1}, j_{2}, m_{1}, m_{2}\right\rangle\right\}\tag{7.54}\]
We want to know how the two bases relate to each other, because sometimes we wish to talk about the angular momentum of the composite system, and at other times we are interested in the angular momentum of the subsystems. Since the second basis (as well as the first) in Eq. (7.54) forms a complete orthonormal basis, we can write
\[|j, m\rangle=\sum_{m_{1}, m_{2}}\left|j_{1}, j_{2}, m_{1}, m_{2}\right\rangle\left\langle j_{1}, j_{2}, m_{1}, m_{2} \mid j, m\right\rangle\tag{7.55}\]
The amplitudes \(\left\langle j_{1}, j_{2}, m_{1}, m_{2} \mid j, m\right\rangle\) are called Clebsch-Gordan coefficients, and we will now present a general procedure for calculating them.
Let’s first consider a simple example of two spin\(-\frac{1}{2}\) systems, such as two electrons. The spin basis for each electron is given by \(\left|\frac{1}{2}, \frac{1}{2}\right\rangle=|\uparrow\rangle\) and \(\left|\frac{1}{2},-\frac{1}{2}\right\rangle=|\downarrow\rangle\). The spin basis for the two electrons is therefore
\[\left|j_{1}, j_{2}, m_{1}, m_{2}\right\rangle \in\{|\uparrow, \uparrow\rangle,|\uparrow, \downarrow\rangle,|\downarrow, \uparrow\rangle,|\downarrow, \downarrow\rangle\}.\tag{7.56}\]
The total spin is given by \(j=\frac{1}{2}+\frac{1}{2}=1\) and \(j=\frac{1}{2}-\frac{1}{2}=0\), so the four basis states for total angular momentum are
\[|j, m\rangle \in\{|1,1\rangle,|1,0\rangle,|1,-1\rangle,|0,0\rangle\}\tag{7.57}\]
The latter state is the eigenstate for \(j=0\). The maximum total angular momentum state \(|1,1\rangle\) can occur only when the two electron spins a parallel, and we therefore have
\[|1,1\rangle=|\uparrow, \uparrow\rangle=\left|\frac{1}{2}, \frac{1}{2}\right\rangle \otimes\left|\frac{1}{2}, \frac{1}{2}\right\rangle\tag{7.58}\]
To find the expansion of the other total angular momentum eigenstates in terms of spin eigenstates we employ the following trick: use that \(J_{\pm}=J_{1 \pm}+J_{2 \pm}\). We can then apply \(J_{\pm}\) to the state \(|1,1\rangle\), and \(J_{1 \pm}+J_{2 \pm}\) to the state \(\left|\frac{1}{2}, \frac{1}{2}\right\rangle \otimes\left|\frac{1}{2}, \frac{1}{2}\right\rangle\). This yields
\[J_{-}|1,1\rangle=\hbar \sqrt{j(j+1)-m(m-1)}|1,0\rangle=\hbar \sqrt{2}|1,0\rangle\tag{7.59}\]
Similarly, we calculate
\[J_{1-}\left|\frac{1}{2}, \frac{1}{2}\right\rangle=\hbar \sqrt{\frac{1}{2}\left(\frac{3}{2}\right)-\frac{1}{2}\left(-\frac{1}{2}\right)}\left|\frac{1}{2},-\frac{1}{2}\right\rangle=\hbar\left|\frac{1}{2},-\frac{1}{2}\right\rangle,\tag{7.60}\]
and a similar result for \(J_{2-}\). Therefore, we find that
\[\hbar \sqrt{2}|1,0\rangle=\hbar|\uparrow, \downarrow\rangle+\hbar|\downarrow, \uparrow\rangle \quad \Longrightarrow \quad|1,0\rangle=\frac{|\uparrow, \downarrow\rangle+|\downarrow, \uparrow\rangle}{\sqrt{2}}.\tag{7.61}\]
Applying \(J_{-}\) again yields
\[|1,-1\rangle=|\downarrow, \downarrow\rangle\tag{7.62}\]
This agrees with the construction of adding parallel spins. The three total angular momentum states
\[\begin{aligned}
|1,1\rangle &=|\uparrow, \uparrow\rangle, \\
|1,0\rangle &=\frac{1}{\sqrt{2}}(|\uparrow, \downarrow\rangle+|\downarrow, \uparrow\rangle), \\
|1,-1\rangle &=|\downarrow, \downarrow\rangle
\end{aligned}\tag{7.63}\]
form a so-called triplet of states with \(j=1\). We now have to find the final state corresponding to \(j=0, m=0\). The easiest way to find it at this point is to require orthonormality of the four basis states, and this gives us the singlet state
\[|0,0\rangle=\frac{1}{\sqrt{2}}(|\uparrow, \downarrow\rangle-|\downarrow, \uparrow\rangle).\tag{7.64}\]
The singlet state has zero total angular momentum, and it is therefore invariant under rotations.
In general, this procedure of finding the Clebsch-Gordan coefficients results in multiplets of constant \(j\). In the case of two spins, we have a tensor product of two two-dimensional spaces, which are decomposed in two subspaces of dimension 3 (the triplet) and 1 (the singlet), respectively. We write this symbolically as
\[2 \otimes 2=3 \oplus 1.\tag{7.65}\]
If we had combined a spin 1 particle with a spin \(\frac{1}{2}\) particle, the largest multiplet would have been due to \(j=1+\frac{1}{2}=\frac{3}{2}\), which is a 4-dimensional subspace, and the smallest subspace is due to \(j=1-\frac{1}{2}=\frac{1}{2}\), which is a two-dimensional subspace:
\[3 \otimes 2=4 \oplus 2.\tag{7.66}\]
In general, the total angular momentum of two systems with angular momentum \(k\) and \(l\) is decomposed into multiplets according to the following rule \((k \geq l)\):
\[(2 k+1) \otimes(2 l+1)=[2(k+l)+1] \oplus[2(k+l)-1] \oplus \ldots \oplus[2(k-l)+1],\tag{7.67}\]
or in terms of the dimensions of the subspaces \((n \geq m)\):
\[n \otimes m=(n+m-1) \oplus(n+m-3) \oplus \ldots \oplus(n-m+1).\tag{7.68}\]
- Angular momentum algebra.
- Prove the algebra given in Eq. (7.2). Also show that \(\left[L^{2}, L_{i}\right]=0\), and verify the commutation relations in Eq. (7.7).
- Show that \(L^{2}|l, m\rangle=l(l+1) \hbar^{2}|l, m\rangle\). Use the fact that \(\left[L_{-}, L^{2}\right]=0\).
- Pauli matrices.
- Check that the matrix representation of the spin\(-\frac{1}{2}\) operators obey the commutation relations.
- Calculate the matrix representation of the Pauli matrices for \(s=1\).
- Prove that \(\exp [-i \theta \cdot \sigma]\) is a 2×2 unitary matrix.
- Isospin I describes certain particle families called multiplets, and the components of the isospin obey the commutation relations \(\left[I_{i}, I_{j}\right]=i \epsilon_{i j k} I_{k}\).
- What is the relation between spin and isospin?
- Organize the nucleons (proton and neutron), the pions \(\left(\pi^{+}, \pi^{0}, \text { and } \pi^{-}\right)\), and the delta baryons \(\left(\Delta^{++}, \Delta^{+}, \Delta^{0}, \text { and } \Delta^{-}\right)\) into multiplets. You will have to determine their isospin quantum number.
- Give all possible decay channels of the delta baryons into pions and nucleons (use charge and baryon number conservation).
- Calculate the relative decay ratios of \(\Delta^{+}\) and \(\Delta^{0}\) into the different channels.
- A simple atom has orbital and spin angular momentum, and the Hamiltonian for the atom contains a spin-orbit coupling term \(H_{\mathrm{so}}=g \hbar \mathbf{L} \cdot \mathbf{S}\), where \(g \hbar\) is the coupling strength.
- Are orbital and spin angular momentum good quantum numbers for this system? What about total angular momentum?
- Use first-order perturbation theory to calculate the energy shift due to the spin-orbit coupling term.
- Calculate the transition matrix elements of \(H_{\mathrm{so}}\) in the basis \(\left\{\left|l, m ; s, m_{s}\right\rangle\right\}\).
- Multiplets.
- A spin \(\frac{3}{2}\) particle and a spin 2 particle form a composite system. How many multiplets are there, and what is the dimension of the largest multiplet?
- How many multiplets do two systems with equal angular momentum have?