Skip to main content
Physics LibreTexts

4.3: Classical Monatomic Ideal Gas

  • Page ID
  • \( \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}\)

    I’ve told you that it’s easier to do calculations in the canonical ensemble than in the microcanonical ensemble. Today I’m going to demonstrate the truth of this assertion.

    Remember how we found the entropy S(E, V, N) for a classical monatomic ideal gas? The hard part involved finding the volume of a shell in 3N-dimensional space. It took us three or four hours to derive the Sackur-Tetrode formula (equation (2.32)), namely

    \[ S(E, V, N)=k_{B} N\left[\frac{3}{2} \ln \left(\frac{4 \pi m E V^{2 / 3}}{3 h_{0}^{2} N^{5 / 3}}\right)+\frac{5}{2}\right].\]

    It took us another hour or so to show that the energy of this system is (equation (2.57))

    \[ E=\frac{3}{2} N k_{B} T\]


    \[ S(T, V, N)=k_{B} N\left[\frac{3}{2} \ln \left(\frac{2 \pi m k_{B} T V^{2 / 3}}{h_{0}^{2} N^{2 / 3}}\right)+\frac{5}{2}\right].\]

    In this section, we’ll derive this same equation using the canonical ensemble. While the derivation is no stroll in the park, most people find it considerably easier than the microcanonical derivation.

    Our strategy will be: (1) Integrate the Boltzmann factor over all phase space to find the partition function Z(T, V, N). (2) Find the Helmholtz free energy using

    \[F(T, V, N) = −k_BT ln(Z(T, V, N)).\]

    And finally (3) use the thermodynamic result

    \[ S(T, V, N)=-\frac{\partial F}{\partial T} )_{V, N}\]

    to find the entropy.

    The Hamiltonian for this model system is

    \[ 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),\]

    where the potential energy function for each individual atom as a function of its location x is

    \[ U(\mathbf{x})=\left\{\begin{array}{cl}{0} & {\text { if } \mathbf{x} \text { is inside the container }} \\ {\infty} & {\text { if outside }}\end{array}\right.\]

    This has been background. Now we’re ready to roll up our sleeves and plunge into the work. Any questions? Okay, let’s go.

    The canonical partition function is

    \[ \begin{aligned} Z(T, V, N)=& \frac{1}{N ! h_{0}^{3 N}} \int d \Gamma e^{-\beta H(\Gamma)} \\=& \frac{1}{N ! h_{0}^{3 N}} \int_{-\infty}^{+\infty} d x_{1} \int_{-\infty}^{+\infty} d y_{1} \int_{-\infty}^{+\infty} d z_{1} \cdots \int_{-\infty}^{+\infty} d x_{N} \int_{-\infty}^{+\infty} d y_{N} \int_{-\infty}^{+\infty} d z_{N} \\ & \times \int_{-\infty}^{+\infty} d p_{x, 1} \int_{-\infty}^{+\infty} d p_{y, 1} \int_{-\infty}^{+\infty} d p_{z, 1} \cdots \int_{-\infty}^{+\infty} d p_{x, N} \int_{-\infty}^{+\infty} d p_{y, N} \int_{-\infty}^{+\infty} d p_{z, N} e^{-\beta H(\mathrm{r})} \end{aligned}\]

    There are N triplets of integrals over positions and N triplets of integrals over momenta. . . in total, a 6N-dimensional integral. Because the Hamiltonian consists of a sum of terms, the Boltzmann factor consists of a product of quantities:

    \[ e^{-\beta H(\Gamma)}=e^{-\beta\left(p_{x, 1}^{2} / 2 m\right)} e^{-\beta\left(p_{y, 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)}.\]

    More importantly, however, each of these quantities depends on a different set of variables. Therefore the partition function also breaks up into a product of quantities:

    \[ \begin{aligned} Z(T, V, N)=& \frac{1}{N ! h_{0}^{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_{z, 1}^{2} / 2 m\right)}\right] \times \cdots \times\left[\int_{-\infty}^{+\infty} d p_{z, N} e^{-\beta\left(p_{s, N}^{2} / 2 m\right)}\right] \end{aligned}\]

    The partition function, which in general is a 6N-dimensional integral, has been reduced in this case to a product of N three-dimensional integrals over position and 3N one-dimensional integrals over momentum. (This near-miraculous simplification comes about because all of the limits of integration are constants. . . if the limits of integration of py,1 were functions of px,1—as they are in the microcanonical ensemble—then it wouldn’t happen.)

    Moreover, the N position integrals differ only in the dummy variable of integration: they all have the same value. The same holds for the 3N integrals over momentum. The partition function is nothing more than

    \[ \begin{aligned} Z(T, V, N)=& \frac{1}{N ! h_{0}^{3 N}}\left[\int_{-\infty}^{+\infty} d x \int_{-\infty}^{+\infty} d y \int_{-\infty}^{+\infty} d z e^{-\beta U(\mathbf{x})}\right]^{N} \\ \times &\left[\int_{-\infty}^{+\infty} d p e^{-\beta\left(p^{2} / 2 m\right)}\right]^{3 N} \end{aligned}.\]

    It is not difficult to evaluate the two integrals remaining. The position integral ranges over all space, but for any point in space outside of the container, its integrand is

    \[ e^{-\beta U(\mathbf{x})}=e^{-\beta(\infty)}=0.\]

    Meanwhile, for any point in space within the container, the integrand is

    \[ e^{-\beta U(\mathbf{x})}=e^{-\beta(0)}=1.\]


    \[ \int_{-\infty}^{+\infty} d x \int_{-\infty}^{+\infty} d y \int_{-\infty}^{+\infty} d z e^{-\beta U(\mathbf{x})}=\iiint_{\text { container }} d x_{1} d y_{1} d z_{1} 1=V.\]

    Meanwhile, the momentum integral is a clear cousin to the Gaussian integral (equation B.5)

    \[ \int_{-\infty}^{+\infty} e^{-u^{2}} d u=\sqrt{\pi}.\]

    Use of the substitution \( u=\sqrt{\beta / 2 m} p\) in the momentum integral gives

    \[ \int_{-\infty}^{+\infty} d p e^{-\beta\left(p^{2} / 2 m\right)}=\sqrt{2 m / \beta} \int_{-\infty}^{+\infty} e^{-u^{2}} d u=\sqrt{2 \pi m k_{B} T}.\]

    Putting all this together gives us

    \[ Z(T, V, N)=\frac{V^{N}}{N ! h_{0}^{3 N}}\left(\sqrt{2 \pi m k_{B} T}\right)^{3 N}=\frac{1}{N !}\left(\frac{2 \pi m k_{B} T V^{2 / 3}}{h_{0}^{2}}\right)^{3 N / 2}.\]

    We’ve completed the first step of our three-step plan. Now we must find the free energy

    \[ F(T, V, N)=-k_{B} T \ln Z=-k_{B} T \ln \left[\frac{1}{N !}\left(\frac{2 \pi m k_{B} T V^{2 / 3}}{h_{0}^{2}}\right)^{3 N / 2}\right].\]

    Something’s a bit funny here. If we double V and N, we should double F, but this doesn’t exactly happen: that factor of N! is sure to mess things up. What’s gone wrong? We ran into the same problem in when we used the microcanonical ensemble (at equation (2.24)) and it has the same solution: we must take the thermodynamic limit. For large values of N,

    \( \begin{aligned} F(T, V, N) &=-k_{B} T \ln \left[\frac{1}{N !}\left(\frac{2 \pi m k_{B} T V^{2 / 3}}{h_{0}^{2}}\right)^{3 N / 2}\right] \\ &=-k_{B} T\left[\ln \left(\frac{2 \pi m k_{B} T V^{2 / 3}}{h_{0}^{2}}\right)^{3 N / 2}-\ln N !\right] \\ & \approx-k_{B} T\left[\frac{3}{2} N \ln \left(\frac{2 \pi m k_{B} T V^{2 / 3}}{h_{0}^{2}}\right)-N \ln N+N\right] \end{aligned}.\)


    \( -N \ln N=\frac{3}{2} N\left(-\frac{2}{3} \ln N\right)=\frac{3}{2} N \ln \left(N^{-2 / 3}\right)\)


    \[ F(T, V, N)=-k_{B} T N\left[\frac{3}{2} \ln \left(\frac{2 \pi m k_{B} T V^{2 / 3}}{h_{0}^{2} N^{2 / 3}}\right)+1\right].\]

    This feels a lot healthier: If we double both V and N, then the ratio (V 2/3/N2/3 ) is unchanged, so the free energy exactly doubles. Now the final step: Take the derivative with respect to temperature to find the entropy. To do this, recognize that within the square brackets we have

    \( \left[\frac{3}{2} \ln (T)+\text { a lot of things independent of } T\right]\)

    With this realization the derivative becomes straightforward:

    \[ S(T, V, N)=-\frac{\partial F}{\partial T} )_{V, N}=k_{B} N\left[\frac{3}{2} \ln \left(\frac{2 \pi m k_{B} T V^{2 / 3}}{h_{0}^{2} N^{2 / 3}}\right)+1\right]+k_{B} T N\left[\frac{3}{2} \frac{1}{T}\right]\]


    \[ S(T, V, N)=k_{B} N\left[\frac{3}{2} \ln \left(\frac{2 \pi m k_{B} T V^{2 / 3}}{h_{0}^{2} N^{2 / 3}}\right)+\frac{5}{2}\right] .\]

    Wow. This is exactly the same as expression (4.10), which came from a (considerably longer) microcanonical derivation.

    We’ve come a long way and it is certainly appropriate to take a moment here to bask in our triumph. But while doing so, a small but troubling question might arise: Why should we get the same answer from a canonical and a microcanonical calculation? After all, the ensembles in question are quite distinct: In a microcanonical ensemble each system has the same energy. In a canonical ensemble the individual systems can have any energy they’d like, as reflected by states that range from crystalline to plasma. Why should we get identical entropies from such very different collections?

    Loose remark: One often hears that for a gas at temperature T, the probability of an atom having energy E is proportional to the “Boltzman factor” e−E/kBT. This is true only for non-interacting atoms. If the atoms interact then the kinetic energy belongs to atoms but the potential energy belongs to atom pairs, so it’s impossible to define “the energy of an atom”. What is always true is that in the canonical ensemble at temperature T, the probability of a system having energy E is proportional to e−E/kBT.

    This page titled 4.3: Classical Monatomic Ideal Gas is shared under a CC BY-SA license and was authored, remixed, and/or curated by Daniel F. Styer.

    • Was this article helpful?