next up previous
Next: Pauli Representation Up: Spin Angular Momentum Previous: Spin Space

Eigenstates of $S_z$ and $S^2$

Since the operators $S_z$ and $S^2$ commute, they must possess simultaneous eigenstates (see Sect. 4.10). Let these eigenstates take the form [see Eqs. (556) and (557)]:
$\displaystyle S_z \chi_{s,m_s}$ $\textstyle =$ $\displaystyle m_s \hbar \chi_{s,m_s},$ (717)
$\displaystyle S^2 \chi_{s,m_s}$ $\textstyle =$ $\displaystyle s (s+1) \hbar^{ 2} \chi_{s,m_s}.$ (718)

Now, it is easily demonstrated, from the commutation relations (711) and (712), that

\begin{displaymath}
S_z (S_+ \chi_{s,m_s}) = (m_s+1) \hbar (S_+ \chi_{s,m_s}),
\end{displaymath} (719)

and
\begin{displaymath}
S_z (S_- \chi_{s,m_s}) = (m_s-1) \hbar (S_- \chi_{s,m_s}).
\end{displaymath} (720)

Thus, $S_+$ and $S_-$ are indeed the raising and lowering operators, respectively, for spin angular momentum (see Sect. 8.4). The eigenstates of $S_z$ and $S^2$ are assumed to be orthonormal: i.e.,
\begin{displaymath}
\chi^\dag _{s,m_s} \chi_{s',m_s'} =\delta_{ss'} \delta_{m_s m_s'}.
\end{displaymath} (721)

Consider the wavefunction $\chi=S_+ \chi_{s,m_s}$. Since we know, from Eq. (713), that $\chi^\dag \chi\geq 0$, it follows that

\begin{displaymath}
(S_+ \chi_{s,m_s})^\dag (S_+ \chi_{s,m_s}) = \chi_{s,m_s}...
...chi_{s,m_s} = \chi_{s,m_s}^\dag S_- S_+ \chi_{s,m_s}\geq 0,
\end{displaymath} (722)

where use has been made of Eq. (708). Equations (710), (717), (718), and (721) yield
\begin{displaymath}
s (s+1) \geq m_s (m_s+1).
\end{displaymath} (723)

Likewise, if $\chi=S_- \chi_{s,m_s}$ then we obtain
\begin{displaymath}
s (s+1)\geq m_s (m_s-1).
\end{displaymath} (724)

Assuming that $s\geq 0$, the above two inequalities imply that
\begin{displaymath}
-s \leq m_s\leq s.
\end{displaymath} (725)

Hence, at fixed $s$, there is both a maximum and a minimum possible value that $m_s$ can take.

Let $m_{s min}$ be the minimum possible value of $m_s$. It follows that (see Sect. 8.6)

\begin{displaymath}
S_- \chi_{s,m_{s min}}= 0.
\end{displaymath} (726)

Now, from Eq. (709),
\begin{displaymath}
S^2 = S_+ S_-+S_z^{ 2}-\hbar S_z.
\end{displaymath} (727)

Hence,
\begin{displaymath}
S^2 \chi_{s,m_{s min}} = (S_+ S_- +S_z^{ 2}-\hbar S_z) \chi_{s,m_{s min}},
\end{displaymath} (728)

giving
\begin{displaymath}
s (s+1) = m_{s min} (m_{s min}-1).
\end{displaymath} (729)

Assuming that $m_{s min}<0$, this equation yields
\begin{displaymath}
m_{s min} = -s.
\end{displaymath} (730)

Likewise, it is easily demonstrated that
\begin{displaymath}
m_{s max} = +s.
\end{displaymath} (731)

Moreover,
\begin{displaymath}
S_- \chi_{s,-s} = S_+ \chi_{s,s} = 0.
\end{displaymath} (732)

Now, the raising operator $S_+$, acting upon $\chi_{s,-s}$, converts it into some multiple of $\chi_{s,-s+1}$. Employing the raising operator a second time, we obtain a multiple of $\chi_{s,-s+2}$. However, this process cannot continue indefinitely, since there is a maximum possible value of $m_s$. Indeed, after acting upon $\chi_{s,-s}$ a sufficient number of times with the raising operator $S_+$, we must obtain a multiple of $\chi_{s,s}$, so that employing the raising operator one more time leads to the null state [see Eq. (732)]. If this is not the case then we will inevitably obtain eigenstates of $S_z$ corresponding to $m_s>s$, which we have already demonstrated is impossible.

It follows, from the above argument, that

\begin{displaymath}
m_{s max}-m_{s min} = 2 s = k,
\end{displaymath} (733)

where $k$ is a positive integer. Hence, the quantum number $s$ can either take positive integer or positive half-integer values. Up to now, our analysis has been very similar to that which we used earlier to investigate orbital angular momentum (see Sect. 8). Recall, that for orbital angular momentum the quantum number $m$, which is analogous to $m_s$, is restricted to take integer values (see Cha. 8.5). This implies that the quantum number $l$, which is analogous to $s$, is also restricted to take integer values. However, the origin of these restrictions is the representation of the orbital angular momentum operators as differential operators in real space (see Sect. 8.3). There is no equivalent representation of the corresponding spin angular momentum operators. Hence, we conclude that there is no reason why the quantum number $s$ cannot take half-integer, as well as integer, values.

In 1940, Wolfgang Pauli proved the so-called spin-statistics theorem using relativistic quantum mechanics. According to this theorem, all fermions possess half-integer spin (i.e., a half-integer value of $s$), whereas all bosons possess integer spin (i.e., an integer value of $s$). In fact, all presently known fermions, including electrons and protons, possess spin one-half. In other words, electrons and protons are characterized by $s=1/2$ and $m_s=\pm 1/2$.


next up previous
Next: Pauli Representation Up: Spin Angular Momentum Previous: Spin Space
Richard Fitzpatrick 2010-07-20