5.1: Classical Monatomic Ideal Gases
- Page ID
- 6357
\( \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}\)We have already found the Helmholtz free energy of the classical monatomic ideal gas (section 4.3). I think you will agree that the canonical calculation is considerably easier than the corresponding microcanonical calculation. Here we will review the calculation, then go back and investigate just what caused the solution to be so much easier, and this investigation will lead to an important theorem.
5.1.1 Solving the problem
The energy
\[ H(\Gamma)=\frac{1}{2 m}\left(p_{x, 1}^{2}+p_{y, 1}^{2}+p_{z, 1}^{2}+p_{x, 2}^{2}+\cdots+p_{z, N}^{2}\right)+U\left(\mathbf{x}_{1}\right)+U\left(\mathbf{x}_{2}\right)+\cdots+U\left(\mathbf{x}_{N}\right)\]
is a sum of terms, each involving different variables, so the Boltzmann factor
\[ e^{-\beta H(\Gamma)}=e^{-\beta\left(p_{z, 1}^{2} / 2 m\right)} e^{-\beta\left(p_{\nu, 1}^{2} / 2 m\right)} \times \cdots \times e^{-\beta\left(p_{z, N}^{2} / 2 m\right)} e^{-\beta U\left(\mathbf{x}_{1}\right)} e^{-\beta U\left(\mathbf{x}_{2}\right)} \times \cdots \times e^{-\beta U\left(\mathbf{x}_{N}\right)}\]
is a product of factors, each involving different variables. Thus the partition function, which in general is an integral in a 6N-dimensional space, factors into 3- and 1-dimensional integrals
\[ \begin{aligned} Z(T, V, N)=\frac{1}{N ! h^{3 N}}\left[\int_{-\infty}^{+\infty} d x_{1} \int_{-\infty}^{+\infty} d y_{1} \int_{-\infty}^{+\infty} d z_{1} e^{-\beta U\left(\mathbf{x}_{1}\right)}\right] \times \cdots \times\left[\int_{-\infty}^{+\infty} d x_{N} \int_{-\infty}^{+\infty} d y_{N} \int_{-\infty}^{+\infty} d z_{N} e^{-\beta U\left(\mathbf{x}_{N}\right)}\right] \\ \times\left[\int_{-\infty}^{+\infty} d p_{x, 1} e^{-\beta\left(p_{x, 1}^{2} / 2 m\right)}\right] \times \cdots \times\left[\int_{-\infty}^{+\infty} d p_{z, N} e^{-\beta\left(p_{z, N}^{2} / 2 m\right)}\right]. \end{aligned}\]
This doesn’t happen in the microcanonical calculation!
Moreover, we found it easy to evaluate the N three-dimensional position integrals and the 3N one-dimensional momentum integrals. The result was
\[ Z(T, V, N)=\frac{V^{N}}{N ! h^{3 N}}\left[\sqrt{2 \pi m k_{B} T}\right]^{3 N}.\]
The result above is correct, but it is not the most convenient form for the partition function. There are lots of variables and constants floating around, many of them with hard-to-remember dimensions. The quantity Z is in fact dimensionless, but that’s not obvious from the expression. For this reason is customary to define the quantity
\[ \lambda(T)=\frac{h}{\sqrt{2 \pi m k_{B} T}},\]
called the “thermal de Broglie wavelength”. Like any wavelength, it has the dimensions of length, and the notation λ(T) suggests this. It is, of course, an intensive quantity. In terms of the thermal de Broglie wavelength, the partition function for the classical monatomic ideal gas is
\[ Z(T, V, N)=\frac{1}{N !}\left(\frac{V}{\lambda^{3}(T)}\right)^{N}.\]
If a particle of mass m has kinetic energy kBT, then it has momentum √ 2mkBT and thus a quantum-mechanical de Broglie wavelength of
\[ \lambda=\frac{h}{p}=\frac{h}{\sqrt{2 m k_{B} T}}.\]
The definition (5.4) above slips in an extra dimensionless factor of \( \sqrt{\pi}\) = 1.77 just to make the result (5.5) easier to remember and to work with. Physically, the thermal de Broglie wavelength represents the quantal smearing of each individual point particle. Thus if the mean separation between atoms is much greater than λ(T), we expect that the classical approximation will be a good one. If the mean separation is less than or about equal to λ(T), we expect that a quantal treatment will be required.
After doing any calculation is it useful to perform a “debriefing” to figure out why—in general rather than technical terms—the calculation went the way it did. Almost everyone agrees that this canonical calculation is a lot easier than the corresponding microcanonical calculation to find Ω(E, V, N) for the classical monatomic ideal gas. But what was the particular feature that made it so much easier? Surely it was the factorization of the Boltzmann factor and the subsequent factorization of the partition function. This enabled us to perform one- and three-dimensional integrals rather than the 3N-dimensional integral required (see appendix D) for the microcanonical calculation. Is there anything that can be said more generally about this feature?
5.1.2 Theorem on decoupling Hamiltonians
Indeed there is. Suppose a Hamiltonian is a sum of two pieces
\[ H(\Gamma)=H_{1}\left(\Gamma_{1}\right)+H_{2}\left(\Gamma_{2}\right),\]
where Γ1 and Γ2 are exclusive. (That is, the phase space variables in the list Γ1 and the phase space variables in the list Γ2 together make up the whole list Γ, and no variable appears in both lists.) The Hamiltonian H(Γ) is then said to “decouple” into the two parts H1(Γ1) and H2(Γ2).1 Then it is easy to see that the partition function will factor into two parts:
\[ Z(T, V, N)=\frac{1}{N ! h^{3 N}} \int d \Gamma e^{-\beta H(\Gamma)}=\frac{1}{N ! h^{3 N}} \int d \Gamma_{1} e^{-\beta H\left(\Gamma_{1}\right)} \int d \Gamma_{2} e^{-\beta H\left(\Gamma_{2}\right)}.\]
If the Hamiltonian decouples into three parts, then this reasoning can be used to show that the partition function breaks into three factors. And so forth.
For example, the Hamiltonian of the classical monatomic ideal gas that we have just investigated decouples into 4N pieces,
\[ H(\Gamma)=\frac{p_{x, 1}^{2}}{2 m}+\frac{p_{y, 1}^{2}}{2 m}+\cdots+\frac{p_{z, N}^{2}}{2 m}+U\left(\mathbf{x}_{1}\right)+U\left(\mathbf{x}_{2}\right)+\cdots+U\left(\mathbf{x}_{N}\right).\]
Each term of the form p2/2m in the Hamiltonian leads to a factor of h/λ(T) in the partition function. . . each term of the form U(x) leads to a factor of V. Thus our theorem on decoupling Hamiltonians shows that the partition function is
\[ Z(T, V, N)=\frac{1}{N ! h^{3 N}}\left(\frac{h}{\lambda(T)}\right)^{3 N} V^{N}.\]
If the particles do interact, then the potential energy part of the Hamiltonian does not break up into exclusive pieces, but the kinetic energy part still does. Thus for an interacting gas with potential energy of interaction
\[ U_{N}\left(\mathbf{x}_{1}, \mathbf{x}_{2}, \ldots, \mathbf{x}_{N}\right)\]
the partition function is
\[ Z(T, V, N)=\frac{1}{N ! \lambda^{3 N}(T)} \int_{-\infty}^{+\infty} d x_{1} \cdots \int_{-\infty}^{+\infty} d z_{N} e^{-\beta U_{N}}.\]
Although the potential energy part of the problem is now excruciatingly difficult, our theorem on decoupling Hamiltonians assures us that the kinetic energy part is just as easy to handle for an interacting as for a non-interacting gas.
5.1 Gas with pair interactions
For a pure classical monatomic gas that interacts only through pair interactions (i.e. for which there are no three-body or higher interactions) the Hamiltonian is
\[ H(\Gamma)=\sum_{i=1}^{N} \frac{\mathbf{p}_{i}^{2}}{2 m}+\sum_{i=1}^{N} U_{A}\left(\mathbf{x}_{i}\right)+\sum_{i=1}^{N-1} \sum_{j=i+1}^{N} U_{B}\left(\mathbf{x}_{i}, \mathbf{x}_{j}\right),\]
where UA(x) is the potential energy due to the interaction between a particle at point x and the container, and UB(x, y) is the potential energy due to the interaction between a particle at point x and a particle at point y. The potential energy thus breaks up into a sum of N + N(N − 1)/2 pieces. Does the decoupling theorem apply?
1Alternatively, the two parts of the Hamiltonian are called “uncoupled”. These terms derive from the ordinary English word “to couple”, meaning to join or to connect.