Peeter Joot's (OLD) Blog.

Math, physics, perl, and programming obscurity.

PHY456H1F: Quantum Mechanics II. Lecture 17 (Taught by Prof J.E. Sipe). Two spin systems and angular momentum.

Posted by peeterjoot on November 10, 2011

[Click here for a PDF of this post with nicer formatting and figures if the post had any (especially if my latex to wordpress script has left FORMULA DOES NOT PARSE errors.)]


Peeter’s lecture notes from class. May not be entirely coherent.

More on two spin systems.

READING: Covering section 26.5 of the text [1].

\begin{aligned}\frac{1}{{2}} \otimes \frac{1}{{2}} = 1 \oplus 0\end{aligned} \hspace{\stretch{1}}(2.1)

where 1 is a triplet state for s=1 and 0 the “singlet” state with s=0. We want to consider the angular momentum of the entire system

\begin{aligned}j_1 \otimes j_2 = ?\end{aligned} \hspace{\stretch{1}}(2.2)

Why bother? Often it is true that

\begin{aligned}\left[{H},{\mathbf{J}}\right] = 0,\end{aligned} \hspace{\stretch{1}}(2.3)

so, in that case, the eigenstates of the total angular momentum are also energy eigenstates, so considering the angular momentum problem can help in finding these energy eigenstates.

Rotation operator

\begin{aligned}e^{-i \theta \hat{\mathbf{n}} \cdot \mathbf{J}/\hbar}\end{aligned} \hspace{\stretch{1}}(2.4)

\begin{aligned}\hat{\mathbf{n}} \cdot \mathbf{J} = n_x J_x + n_y J_y + n_z J_z\end{aligned} \hspace{\stretch{1}}(2.5)

Recall the definitions of the raising or lowering operators

\begin{aligned}J_\pm = J_x \pm i J_y,\end{aligned} \hspace{\stretch{1}}(2.6)


\begin{aligned}J_x &= \frac{1}{{2}} (J_{+} + J_{-}) \\ J_y &= \frac{1}{{2i}} (J_{+} - J_{-})\end{aligned} \hspace{\stretch{1}}(2.7)

We have

\begin{aligned}\hat{\mathbf{n}} \cdot \mathbf{J} = n_x \frac{1}{{2}} (J_{+} + J_{-})+ n_y \frac{1}{{2i}} (J_{+} - J_{-})+ n_z J_z,\end{aligned} \hspace{\stretch{1}}(2.9)


\begin{aligned}J_\pm {\left\lvert {j m} \right\rangle} = \hbar \Bigl((j \mp m)(j \pm m_1)\Bigr)^{1/2}{\left\lvert {j, m \pm 1} \right\rangle}\end{aligned} \hspace{\stretch{1}}(2.10)


\begin{aligned}{\left\langle {j' m'} \right\rvert} e^{-i \theta \hat{\mathbf{n}} \cdot \mathbf{J}/\hbar} {\left\lvert {j m} \right\rangle} = 0\end{aligned} \hspace{\stretch{1}}(2.11)

unless j = j'.

\begin{aligned}{\left\langle {j m'} \right\rvert} e^{-i \theta \hat{\mathbf{n}} \cdot \mathbf{J}/\hbar} {\left\lvert {j m} \right\rangle}\end{aligned} \hspace{\stretch{1}}(2.12)

is a (2j + 1) \times (2 j+ 1) matrix.

Combining rotations

\begin{aligned}{\left\langle {j m'} \right\rvert} e^{-i \theta_b \hat{\mathbf{n}}_a \cdot \mathbf{J}/\hbar}e^{-i \theta_a \hat{\mathbf{n}}_b \cdot \mathbf{J}/\hbar} {\left\lvert {j m} \right\rangle}=\sum_{m''}{\left\langle {j m'} \right\rvert} e^{-i \theta_b \hat{\mathbf{n}}_a \cdot \mathbf{J}/\hbar}{\left\lvert {j m''} \right\rangle} {\left\langle {j m''} \right\rvert}e^{-i \theta_a \hat{\mathbf{n}}_b \cdot \mathbf{J}/\hbar} {\left\lvert {j m} \right\rangle}\end{aligned} \hspace{\stretch{1}}(2.13)


\begin{aligned}e^{-i \theta \hat{\mathbf{n}} \cdot \mathbf{J}/\hbar}=e^{-i \theta_b \hat{\mathbf{n}}_a \cdot \mathbf{J}/\hbar}e^{-i \theta_a \hat{\mathbf{n}}_b \cdot \mathbf{J}/\hbar}\end{aligned} \hspace{\stretch{1}}(2.14)

(something that may be hard to compute but possible), then

\begin{aligned}{\left\langle {j m'} \right\rvert} e^{-i \theta \hat{\mathbf{n}} \cdot \mathbf{J}/\hbar} {\left\lvert {j m} \right\rangle}=\sum_{m''}{\left\langle {j m'} \right\rvert} e^{-i \theta_b \hat{\mathbf{n}}_a \cdot \mathbf{J}/\hbar}{\left\lvert {j m''} \right\rangle} {\left\langle {j m''} \right\rvert}e^{-i \theta_a \hat{\mathbf{n}}_b \cdot \mathbf{J}/\hbar} {\left\lvert {j m} \right\rangle}\end{aligned} \hspace{\stretch{1}}(2.15)

For fixed j, the matrices {\left\langle {j m'} \right\rvert} e^{-i \theta \hat{\mathbf{n}} \cdot \mathbf{J}/\hbar} {\left\lvert {j m} \right\rangle} form a representation of the rotation group. The (2 j + 1) representations are irreducible. (This won’t be proven).

It may be that there may be big blocks of zeros in some of the matrices, but they cannot be simplified any further?

Back to the two particle system

\begin{aligned}j_1 \otimes j_2 = ?\end{aligned} \hspace{\stretch{1}}(2.16)

If we use

\begin{aligned}{\left\lvert {j_1 m_1} \right\rangle} \otimes {\left\lvert {j_2 m_2} \right\rangle}\end{aligned} \hspace{\stretch{1}}(2.17)

If a j_1 and a j_2 are picked then

\begin{aligned}{\left\langle {j_1 m_1' ; j_2 m_2'} \right\rvert} e^{-i \theta \hat{\mathbf{n}} \cdot \mathbf{J}/\hbar} {\left\lvert {j_1 m_1 ; j_2 m_2} \right\rangle}\end{aligned} \hspace{\stretch{1}}(2.18)

is also a representation of the rotation group, but these sort of matrices can be simplified a lot. This basis of dimensionality (2 j_1 + 1)(2 j_2 + 1) is reducible.

A lot of this is motivation, and we still want a representation of j_1 \otimes j_2.

Recall that

\begin{aligned}\frac{1}{{2}} \otimes \frac{1}{{2}} = 1 \oplus 0= \left(\frac{1}{{2}} + \frac{1}{{2}} \right) \oplus \left(\frac{1}{{2}} - \frac{1}{{2}} \right)\end{aligned} \hspace{\stretch{1}}(2.19)

Might guess that, for j_1 \ge j_2

\begin{aligned}j_1 \otimes j_2 = \left( j_1 + j_2 \right) \oplus \left( j_1 + j_2 - 1 \right) \oplus \cdots\left( j_1 - j_2 \right)\end{aligned} \hspace{\stretch{1}}(2.20)

Suppose that this is right. Then

\begin{aligned}5 \otimes \frac{1}{{2}} = \frac{11}{2} \oplus \frac{9}{2}\end{aligned} \hspace{\stretch{1}}(2.21)

Check for dimensions.

\begin{aligned}\begin{array}{l l l l l l l l l}1 &\otimes &1 &= &2 &\oplus &1 &\oplus &0 \\ 3 & \times &3 &= &5 & +     &3 & +     &1\end{array}\end{aligned} \hspace{\stretch{1}}(2.22)

Q: What was this \oplus?

It was just made up. We are creating a shorthand to say that we have a number of different basis states for each of the groupings. I Need an example!

Check for dimensions in general

\begin{aligned}(2 j_1 + 1)(2 j_2 + 1) \stackrel{?}{=}\end{aligned} \hspace{\stretch{1}}(2.23)

We find

\begin{aligned}\sum_{j_1 - j_2}^{j_1 + j_2} (2 j+ 1) &= \sum_{j=0}^{j_1 + j_2} (2 j + 1) -\sum_{j=0}^{j_1 - j_2 - 1} (2 j + 1) \\ &=(2 j_1 + 1)(2 j_2 + 1) \end{aligned}


\begin{aligned}\sum_{n=0}^N n = \frac{N(N+1)}{2}\end{aligned} \hspace{\stretch{1}}(2.24)

\begin{aligned}j_1 \otimes j_2= (j_1 + j_2) \oplus(j_1 + j_2 - 1) \oplus\cdots(j_1 - j_2) \end{aligned} \hspace{\stretch{1}}(2.25)

In fact, this is correct. Proof “by construction” to follow.

\begin{aligned}{\left\lvert {j_1 m_1} \right\rangle} \otimes{\left\lvert {j_2 m_2} \right\rangle} \end{aligned} \hspace{\stretch{1}}(2.26)

\begin{aligned}J^2 {\left\lvert {j m} \right\rangle} &= j (j+1) \hbar^2 {\left\lvert {j m} \right\rangle} \\ J_z {\left\lvert {j m} \right\rangle} &= m \hbar {\left\lvert {j m} \right\rangle}\end{aligned} \hspace{\stretch{1}}(2.27)

denote also by

\begin{aligned}{\left\lvert {j m ; j_1 j_2} \right\rangle},\end{aligned} \hspace{\stretch{1}}(2.29)

but will often omit the ; j_1 j_2 portion.


\begin{aligned} \begin{array}{| l | l | l | l | l |} \hline j = & j_1 + j_2				& j_1 + j_2 -1 				& \cdots 	& j_1 - j_2 \\ \hline \hline &  \left\lvert j_1 + j_2, j_1 + j_2 \right\rangle	 	&					& 		& \\ \hline &  \left\lvert j_1 + j_2, j_1 + j_2 - 1 \right\rangle	&  \left\lvert j_1 + j_2 - 1, j_1 + j_2 - 1 \right\rangle	& 		& \\ \hline &                                     & \left\lvert j_1 + j_2 - 1, j_1 + j_2 - 2 \right\rangle	& 		& \\ \hline & \vdots 	 			&					& 		& \left\lvert j_1 - j_2, j_1 - j_2 \right\rangle \\ \hline & \vdots 	 			&					& 		& \vdots \\ \hline & \vdots 	 			&					& 		& \left\lvert j_1 - j_2, -(j_1 - j_2) \right\rangle \\ \hline & \vdots 	 			&					& 		& \\ \hline &  \left\lvert j_1 + j_2, -(j_1 + j_2 - 1) \right\rangle	& \left\lvert j_1 + j_2 -1, -(j_1 + j_2 - 1) \right\rangle	& 		& \\ \hline &  \left\lvert j_1 + j_2, -(j_1 + j_2) \right\rangle	&					& 		&  \\ \hline \end{array} \end{aligned} \hspace{\stretch{1}}(2.30)

Look at

\begin{aligned}{\left\lvert {j_1 + j_2, j_1 + j_2} \right\rangle}\end{aligned} \hspace{\stretch{1}}(2.31)

\begin{aligned}J_z{\left\lvert {j_1 + j_2, j_1 + j_2} \right\rangle}= (j_1 + j_2) \hbar{\left\lvert {j_1 + j_2, j_1 + j_2} \right\rangle}\end{aligned} \hspace{\stretch{1}}(2.32)

\begin{aligned}J_z \Bigl({\left\lvert {j_1 m_1} \right\rangle} \otimes {\left\lvert {j_2 m_2} \right\rangle} \Bigr)= (m_1 + m_2) \hbar\Bigl({\left\lvert {j_1 m_1} \right\rangle} \otimes {\left\lvert {j_2 m_2} \right\rangle} \Bigr)\end{aligned} \hspace{\stretch{1}}(2.33)

we must have

\begin{aligned}{\left\lvert {j_1 + j_2, j_1 + j_2} \right\rangle}= e^{i\phi}\Bigl({\left\lvert {j_1 j_1} \right\rangle} \otimes {\left\lvert {j_2 j_2} \right\rangle} \Bigr)\end{aligned} \hspace{\stretch{1}}(2.34)

So {\left\lvert {j_1 + j_2, j_1 + j_2} \right\rangle} must be a superposition of states {\left\lvert {j_1 m_1} \right\rangle} \otimes {\left\lvert {j_2 m_2} \right\rangle} with m_1 + m_2 = j_1 + j_2. Choosing e^{i\phi} = 1 is called the Conbon Shotley convention.

\begin{aligned}{\left\lvert {j_1 + j_2, j_1 + j_2} \right\rangle}= {\left\lvert {j_1 j_1} \right\rangle} \otimes {\left\lvert {j_2 j_2} \right\rangle}\end{aligned} \hspace{\stretch{1}}(2.35)

We now move down column.

\begin{aligned}J_{-} {\left\lvert {j_1 + j_2, j_1 + j_2} \right\rangle}=\hbar\Bigl(2 (j_1 + j_2)\Bigr)^{1/2}{\left\lvert {j_1 + j_2, j_1 + j_2 - 1} \right\rangle}\end{aligned} \hspace{\stretch{1}}(2.36)


\begin{aligned}{\left\lvert {j_1 + j_2, j_1 + j_2 - 1} \right\rangle}&=\frac{J_{-} {\left\lvert {j_1 + j_2, j_1 + j_2} \right\rangle}}{\hbar\Bigl(2 (j_1 + j_2)\Bigr)^{1/2}} \\ &=\frac{(J_{1-} + J_{2-}) {\left\lvert {j_1 j_1} \right\rangle} \otimes {\left\lvert {j_2 j_2} \right\rangle}}{\hbar\Bigl(2 (j_1 + j_2)\Bigr)^{1/2}}\end{aligned}


[1] BR Desai. Quantum mechanics with basic field theory. Cambridge University Press, 2009.


Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: