24.2: The Partition Function for N Indistinguishable, Non-interacting Molecules
- Page ID
- 151979
\( \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 all of our considerations to this point, we focus on systems in which the molecules are distinguishable. This effectively confines the practical applications to crystalline solids. Since there is no way to distinguish one molecule of a given substance from another in the gas phase, it is evident that the assumptions we have used so far do not apply to gaseous systems. The number and importance of practical applications increases dramatically if we can extend the theory to describe the behavior of ideal gases.
We might suppose that distinguishability is immaterial—that there is no difference between the behavior of a system of distinguishable particles and an otherwise-identical system of indistinguishable particles. Indeed, this is an idea well worth testing. We know the partition function for a particle in box, and we have every reason to believe that this should be a good model for the partition function describing the translational motion of a gas particle. If an ideal gas behaves as a collection of \(N\) distinguishable particles-in-a-box, the translational partition of the gas is just \(z^N\). Thermodynamic properties calculated on this basis for, say, argon should agree with those observed experimentally. Indeed, when the comparison is made, this theory gives some properties correctly. The energy is correct; however, the entropy is not.
Thus, experiment demonstrates that the partition function for a system of indistinguishable molecules is different from that of an otherwise-identical system of distinguishable molecules. The reason for this becomes evident when we compare the microstates available to a system of distinguishable molecules to those available to a system of otherwise-identical indistinguishable molecules. Consider the distinguishable-molecule microstate whose energy is
\[E_i={\epsilon }_{1,v}+{\epsilon }_{2,w}+\dots +{\epsilon }_{r,k}+\dots +{\epsilon }_{N,y} \nonumber \]
As a starting point, we assume that every molecule is in a different energy level. That is, all of the \(N\) energy levels, \({\epsilon }_{i,j}\), that appear in this sum are different. For the case in which the molecules are distinguishable, we can write down additional microstates that have this same energy just by permuting the energy values among the \(N\) molecules. (A second microstate with this energy is \(E_i = {\epsilon }_{\mathrm{1,}w} + {\epsilon }_{\mathrm{2,}v}\mathrm{+\dots +}{\epsilon }_{r,k}\mathrm{+\dots +}{\epsilon }_{N,y}\).) Since there are \(N!\) such permutations, there are a total of \(N!\) quantum states that have this same energy, and each of them appears as an exponential term in the product \(z_1z_2\dots z_r\dots z_N=z^N\).
If, however, the \(N\) molecules are indistinguishable, there is no way to tell one of these \(N!\) assignments from another. They all become the same thing. All we know is that some one of the \(N\) molecules has the energy \({\epsilon }_w\), another has the energy \({\epsilon }_v\), etc. This means that there is only one way that the indistinguishable molecules can have the energy \(E_i\). It means also that the difference between the distinguishable-molecules case and the indistinguishable-molecules case is that, while they contain the same system energy levels, each level appears \(N!\) more times in the distinguishable-molecules partition function than it does in the indistinguishable-molecules partition function. We have
\[Z_{\mathrm{indistinguishable}}=\frac{1}{N!}Z_{\mathrm{distinguishable}}=\frac{1}{N!}z^N \nonumber \]
In the next section, we see that nearly all of the molecules in a sample of gas must have different energies, so that this relationship correctly relates the partition function for a single gas molecule to the partition function for a system of \(N\) indistinguishable gas molecules.
Before seeing that nearly all of the molecules in a macroscopic sample of gas actually do have different energies, however, let us see what happens if they do not. Suppose that just two of the indistinguishable molecules have the same energy. Then there are not \(N!\) permutations of the energies among the distinguishable molecules; rather there are only \({N!}/{2!}\) such permutations. In this case, the relationship between the system and the molecular partition functions is
\[Z_{\mathrm{indistinguishable}}=\frac{2!}{N!}Z_{\mathrm{distinguishable}}=\frac{2!}{N!}z^N \nonumber \]
For the population set \(\{N_1,\ N_2,\dots ,N_r,\dots ,N_{\omega }\}\) the relationship is
\[Z_{\mathrm{indistinguishable}}=\frac{N_1!N_2!\dots N_r!\dots N_{\omega }!}{N!}z^N \nonumber \] which is much more complex than the case in which all molecules have different energies. Of course, if we extend the latter case, so that the population set consists of N energy levels, each occupied by at most one molecule, the relationship reverts to the one with which we began.
\[Z_{indistinguishable}=\frac{1}{N!}\left(\prod^{\infty }_{i=1}{N_i!}\right)z^N=\frac{1}{N!}\left(\prod^{\infty }_{i=1}{1}\right)z^N=\frac{1}{N!}z^N \nonumber \]