5.4: Identical Particles
- Page ID
- 15753
\( \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}\)Consider a system consisting of two identical particles of mass \(m\). As before, the instantaneous state of the system is specified by the complex wavefunction \(\psi(x_1,x_2,t)\). This wavefunction tells us is that the probability of finding the first particle between \(x_1\) and \(x_1+dx_1\), and the second between \(x_2\) and \(x_2+dx_2\), at time \(t\) is \(|\psi(x_1,x_2,t)|^{\,2}\,dx_1\,dx_2\). However, because the particles are identical, this must be the same as the probability of finding the first particle between \(x_2\) and \(x_2+dx_2\), and the second between \(x_1\) and \(x_1+dx_1\), at time \(t\) (because, in both cases, the result of the measurement is exactly the same). Hence, we conclude that
\[|\psi(x_1,x_2,t)|^{\,2} = |\psi(x_2,x_1,t)|^{\,2},\] or \[\psi(x_1,x_2,t) = {\rm e}^{\,{\rm i}\,\varphi}\,\psi(x_2,x_1,t),\]
where \(\varphi\) is a real constant. However, if we swap the labels on particles 1 and 2 (which are, after all, arbitrary for identical particles), and repeat the argument, we also conclude that
\[\psi(x_2,x_1,t) = {\rm e}^{\,{\rm i}\,\varphi}\,\psi(x_1,x_2,t).\]
Hence,
\[{\rm e}^{\,2\,{\rm i}\,\varphi} = 1.\]
The only solutions to the previous equation are \(\varphi=0\) and \(\varphi=\pi\). Thus, we infer that, for a system consisting of two identical particles, the wavefunction must be either symmetric or anti-symmetric under interchange of particle labels. That is, either \[\psi(x_2,x_1,t) = \psi(x_1,x_2,t),\] or \[\psi(x_2,x_1,t) = -\psi(x_1,x_2,t).\] The previous argument can easily be extended to systems containing more than two identical particles.
It turns out that the question of whether the wavefunction of a system containing many identical particles is symmetric or anti-symmetric under interchange of the labels on any two particles is determined by the nature of the particles themselves . Particles with wavefunctions that are symmetric under label interchange are said to obey Bose-Einstein statistics , and are called bosons. For instance, photons are bosons. Particles with wavefunctions that are anti-symmetric under label interchange are said to obey Fermi-Dirac statistics , and are called fermions. For instance, electrons, protons, and neutrons are fermions.
Consider a system containing two identical and non-interacting bosons. Let \(\psi(x,E)\) be a properly normalized, single-particle, stationary wavefunction corresponding to a state of definite energy \(E\). The stationary wavefunction of the whole system is written
\[\psi_{E\,{\rm boson}}(x_1,x_2) = \frac{1}{\sqrt{2}}\left[\psi(x_1,E_a)\,\psi(x_2,E_b)+\psi(x_2,E_a)\,\psi(x_1,E_b)\right],\]
when the energies of the two particles are \(E_a\) and \(E_b\). This expression automatically satisfies the symmetry requirement on the wavefunction. Incidentally, because the particles are identical, we cannot be sure which particle has energy \(E_a\), and which has energy \(E_b\)—only that one particle has energy \(E_a\), and the other \(E_b\).
For a system consisting of two identical and non-interacting fermions, the stationary wavefunction of the whole system takes the form
\[\psi_{E\,{\rm fermion}}(x_1,x_2) = \frac{1}{\sqrt{2}}\left[\psi(x_1,E_a)\,\psi(x_2,E_b)-\psi(x_2,E_a)\,\psi(x_1,E_b)\right],\]
Again, this expression automatically satisfies the symmetry requirement on the wavefunction. Note that if \(E_a=E_b\) then the total wavefunction becomes zero everywhere. Now, in quantum mechanics, a null wavefunction corresponds to the absence of a state. We thus conclude that it is impossible for the two fermions in our system to occupy the same single-particle stationary state.
Finally, if the two particles are somehow distinguishable then the stationary wavefunction of the system is simply
\[\psi_{E\,{\rm dist}}(x_1,x_2) = \psi(x_1,E_a)\,\psi(x_2,E_b).\]
Let us evaluate the variance of the distance, \(x_1-x_2\), between the two particles, using the previous three wavefunctions. It is easily demonstrated that if the particles are distinguishable then
\[\langle (x_1-x_2)^{\,2}\rangle_{ {\rm dist}} = \langle x^{\,2}\rangle_a + \langle x^{\,2}\rangle_b - 2\,\langle x\rangle_a\,\langle x\rangle_b,\] where \[\langle x^{\,n}\rangle_{a,b} = \int_{-\infty}^\infty\psi^\ast(x,E_{a,b})\,x^{\,n}\,\psi(x,E_{a,b})\,dx.\]
For the case of two identical bosons, we find
\[\label{ebos} \langle (x_1-x_2)^{\,2}\rangle_{ {\rm boson}} = \langle (x_1-x_2)^{\,2}\rangle_{ {\rm dist}} - 2\,|\langle x\rangle_{ab}|^{\,2},\]
where
\[\langle x \rangle_{ab} = \int_{-\infty}^\infty \psi^\ast(x,E_a)\,x\,\psi(x,E_b)\,dx.\]
Here, we have assumed that \(E_a\neq E_b\), so that
\[\int_{-\infty}^\infty \psi^\ast(x,E_a)\,\psi(x,E_b)\,dx = 0.\]
Finally, for the case of two identical fermions, we obtain
\[\label{efer} \langle (x_1-x_2)^{\,2}\rangle_{ {\rm fermion}} = \langle (x_1-x_2)^{\,2}\rangle_{ {\rm dist}} + 2\,|\langle x\rangle_{ab}|^{\,2},\]
Equation \ref{ebos} indicates that the symmetry requirement on the total wavefunction of two identical bosons causes the particles to be, on average, closer together than two similar distinguishable particles. Conversely, Equation \ref{efer} indicates that the symmetry requirement on the total wavefunction of two identical fermions causes the particles to be, on average, further apart than two similar distinguishable particles. However, the strength of this effect depends on square of the magnitude of \(\langle x\rangle_{ab}\), which measures the overlap between the wavefunctions \(\psi(x,E_a)\) and \(\psi(x,E_b)\). It is evident, then, that if these two wavefunctions do not overlap to any great extent then identical bosons or fermions will act very much like distinguishable particles.
For a system containing \(N\) identical and non-interacting fermions, the anti-symmetric stationary wavefunction of the system is written
\[\psi_{E}(x_1,x_2,\ldots x_N) =\frac{1}{\sqrt{N!}} \left| \begin{array}{cccc} \psi(x_1,E_1)&\psi(x_2,E_1)&\ldots&\psi(x_N,E_1)\\[0.5ex] \psi(x_1,E_2)&\psi(x_2,E_2)&\ldots&\psi(x_N,E_2)\\[0.5ex] \vdots&\vdots&\vdots&\vdots\\[0.5ex] \psi(x_1,E_N)&\psi(x_2,E_N)&\ldots&\psi(x_N,E_N) \end{array}\right|.\]
This expression is known as the Slater determinant, and automatically satisfies the symmetry requirements on the wavefunction. Here, the energies of the particles are \(E_1, E_2, \ldots, E_N\). Note, again, that if any two particles in the system have the same energy (i.e., if \(E_i=E_j\) for some \(i\neq j\)) then the total wavefunction is null. We conclude that it is impossible for any two identical fermions in a multi-particle system to occupy the same single-particle stationary state. This important result is known as the Pauli exclusion principle .
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$}}\)