Classical Ideal Gas
The classical ideal gas is the hydrogen atom of statistical mechanics — the one model simple enough to solve completely and rich enough to teach every essential lesson. It is a collection of point particles that do not interact, confined to a volume at temperature . From this bare skeleton the full partition function follows in closed form, and from the partition function everything else falls out: the equation of state , the caloric law , the heat capacities and , and the absolute entropy given by the Sackur–Tetrode equation. Two subtleties make the model more than a triviality. First, the single-particle partition function carries a quantum length scale — the thermal de Broglie wavelength — even though the gas is "classical". Planck's constant sneaks in through the correct counting of phase-space cells; it cancels from the equation of state but survives in the absolute entropy. Second, the factor of in — Gibbs's correct Boltzmann counting for indistinguishable particles — is not optional bookkeeping. Without it the entropy is not extensive and the Gibbs paradox (a spurious entropy of mixing when two identical gases merge) appears. The is the thumbprint of quantum indistinguishability on an otherwise classical theory. Because it is exactly solvable, the ideal gas is the reference point against which every real gas, every interacting system, and every quantum gas is measured. Virial expansions correct it for interactions; Bose and Fermi statistics correct it for degeneracy; but the ideal gas is always the leading term, the baseline that says what "no interactions, no quantum degeneracy" looks like.
- The classical ideal gas is non-interacting point particles in a box; its single-particle partition function is with .
- Indistinguishability requires (correct Boltzmann counting); differentiating gives all thermodynamics.
- The equation of state is and the internal energy is , so , , .
- The absolute entropy is the Sackur–Tetrode equation, — the is exact, and survives here.
- Without the the entropy is non-extensive and the Gibbs paradox appears; the factor is quantum indistinguishability leaking into a classical theory.
- Key idea: one function, , regenerates the entire thermodynamics of the ideal gas — the equation of state, the caloric law, and the absolute entropy — with cancelling from but surviving in the entropy.
Every thermodynamic property of the ideal gas is a derivative of one object, the partition function . The volume derivative gives ; the derivative gives ; the temperature derivative of the free energy gives the Sackur–Tetrode entropy. The makes the entropy extensive; the thermal wavelength carries Planck's constant into the absolute entropy.
Where this lives today
The classical ideal gas is the baseline of essentially all of physical chemistry and much of engineering thermodynamics; every real-gas equation of state (van der Waals, virial, Redlich–Kwong) is written as a correction to it. In modern research it plays a subtler role as the reference system: quantum-gas experiments quote the degeneracy parameter to say how far they are from the classical limit, and the Sackur–Tetrode entropy is used as an absolute-entropy benchmark in precision thermodynamics and even in redefinitions of the temperature scale. The thermal wavelength has become an everyday quantity in cold-atom laboratories, where crossing marks the onset of Bose–Einstein condensation or Fermi degeneracy — the exact boundary at which the classical ideal gas surrenders to its quantum successors.
The physical picture
Think of each molecule as an independent explorer of phase space. Its accessible positions fill the volume ; its accessible momenta are spread over a Gaussian of width set by temperature. The single-particle partition function counts the number of quantum cells (each of phase-space volume ) that the molecule can visit — spatial volume divided by the momentum-space cell . When , there are vastly more cells than molecules, each cell is essentially empty, and the gas is safely classical. The whole gas is then independent explorers, so its partition function is — except that swapping two identical molecules is not a new state. Dividing by removes the ways of relabelling, and this single correction is what makes the entropy add up correctly when you join two boxes. The payoff of all this machinery is spectacular economy: and drop out of one logarithm.
The punchline is the way the partition function converts, in one differentiation each, into the two laws every student memorizes — with a quantum length that leaves no trace in the mechanical law but a permanent one in the entropy.
The core equations
The single-particle partition function is a phase-space integral over one molecule's position and momentum, divided by to count in units of quantum cells. The Gaussian momentum integral produces the thermal wavelength.
where: — container volume; — thermal de Broglie wavelength, the quantum length set by ; — Planck's constant. The spatial integral gives ; the three Gaussian momentum integrals give . Classicality requires . The -particle partition function is the product of independent single-particle factors, corrected by for indistinguishability, and the free energy is its logarithm.
where: — Gibbs's correct Boltzmann counting; it removes the relabellings of identical particles. is the Helmholtz free energy, the generating function for the mechanical and thermal properties below. Two derivatives of (or of ) give the mechanical and caloric equations of state. Planck's constant, carried by , cancels from both.
where: the pressure follows from the volume dependence ; the internal energy from the dependence . Both are independent of — the quantum scale drops out of mechanics. The absolute entropy is the Sackur–Tetrode equation, obtained from . Here the (as ) and (hence ) both survive.
where: the argument is intensive thanks to the ; the additive is exact (it is from plus from ). This entropy is measurable and matches calorimetry.
The goal is to show that both equations of state of the ideal gas — the mechanical and the caloric — are simple derivatives of the single logarithm , and that Planck's constant cancels from both. The strategy is to assemble using Stirling's approximation for , then differentiate with respect to volume for the pressure and with respect to for the energy.
Step 1. Take the logarithm of (2): , using Stirling .
Step 2. The free energy is . Only the term depends on , so . Hence — the ideal-gas law, with (and ) absent.
Step 3. For the energy, isolate the dependence. Since , we have , so . Why the . Each of the three momentum integrals contributes ; the three together give , the origin of the in the energy.
Step 4. Differentiate: . Again cancels.
Step 5. The heat capacity is , and with (Mayer) , giving — matching the noble gases. Verified: symbolic differentiation of gives (so ) and , with and — all in verify_aq-sm-classical-ideal-gas.py.
Go deeper · Derivation B · 1 minThe Sackur–Tetrode entropy and why the 1/N! is essential
The goal is to derive the absolute entropy of the ideal gas and to show that the indistinguishability factor is what makes it extensive, resolving the Gibbs paradox. The strategy is to compute with the in place, then repeat without it to expose the non-extensive failure.
Step 1. Write . With and , the entropy per particle is .
Step 2. Combine the logarithms: . The additive constant is . Hence , the Sackur–Tetrode equation (4).
Step 3. The argument is intensive — it depends only on the density and temperature — so scales linearly with : it is extensive, as an entropy must be.
Step 4. Now delete the : then with no , and , whose argument grows with at fixed density. This is not extensive. Why it matters. A non-extensive entropy predicts a spurious increase when two identical gas samples merge (the Gibbs paradox): for identical gases. The turns into and the paradox vanishes.
Step 5. Check numerically: for argon at , , plugging into and the density into (4) gives a molar entropy of — in exact agreement with the calorimetric value. Verified: symbolically (the confirmed), the argon molar entropy computes to , and dropping yields a non-extensive — verify_aq-sm-classical-ideal-gas.py.
Limiting cases
The ideal gas is a limit itself — the leading term of every more complete theory.
| Case | Result | Meaning |
|---|---|---|
| Dilute, | Ideal-gas laws hold | Cells vastly outnumber particles; classical, non-degenerate. |
| Density up, | Quantum corrections appear | Approaching degeneracy; Bose/Fermi statistics take over. |
| Interactions turned on | Virial expansion | Ideal gas is the leading term. |
| (classically) | Sackur–Tetrode goes unphysical — signals quantum degeneracy sets in first. | |
| Drop the | Non-extensive , Gibbs paradox | Indistinguishability is required, not optional. |
Worked examples
Example 1 — Thermal wavelength and classicality of air (enumerate, apply, boundary number). Check that nitrogen at room temperature is safely classical, and find the temperature where it stops being so.
Step 1. Enumerate the inputs: , , number density at is .
Step 2. Apply (1): .
Step 3. Degeneracy parameter . Air is classical by seven orders of magnitude.
Step 4. Boundary number: degeneracy () at fixed density would need about larger, i.e. smaller by , so of order — far below where nitrogen has long since liquefied. This is why quantum statistics of gases needs either ultracold atoms or the huge densities inside stars.
Example 2 — Molar entropy of argon (Sackur–Tetrode versus calorimetry). Compute the standard molar entropy of argon and compare with the tabulated value.
Step 1. Inputs: , , , so and .
Step 2. Thermal wavelength: , so .
Step 3. Apply (4): .
Step 4. Multiply by : . The calorimetric (Third-Law) value for argon is — agreement to the last figure, a striking confirmation that the "classical" ideal gas secretly knows about .
Origins · 1 minideal gas and how this was discovered
The ideal gas is the limiting model of a gas whose particles have negligible size and no mutual interactions. Its empirical laws were assembled over two centuries — Boyle's const (1662), Charles's and Gay-Lussac's temperature laws, and Avogadro's hypothesis — and unified by Clapeyron (1834) into . Statistical mechanics later derived this from the partition function and, crucially, supplied what thermodynamics alone could not: the absolute entropy (Sackur–Tetrode, 1912), complete with Planck's constant and the indistinguishability factor. The ideal gas remains the universal reference state — the , corner of the phase diagram against which every correction (virial, quantum, interacting) is measured.
Going further
References. Pathria & Beale, Statistical Mechanics, 3rd ed., Ch. 1–3 · Reif, Fundamentals of Statistical and Thermal Physics, §7.2–7.5 · Kardar, Statistical Physics of Particles, §4 (the ideal gas from the canonical ensemble) · Callen, Thermodynamics, Ch. 3 · Landau & Lifshitz, Statistical Physics Part 1, §41–45.
Provenance. The chain , , , , and the Sackur–Tetrode is standard (Pathria §1.4–2.4). A verifier should confirm: (i) gives for argon at ; (ii) and symbolically; (iii) the Sackur–Tetrode constant; (iv) the argon molar entropy ; (v) , ; (vi) dropping makes non-extensive. All in verify_aq-sm-classical-ideal-gas.py. Constants: , , .
Builds on: Canonical Ensemble / Partition Function · Correct Boltzmann Counting · Thermal de Broglie Wavelength Leads to: Sackur-Tetrode Equation · Maxwell-Boltzmann Velocity Distribution · Virial Equation of State · Classical Limit of Quantum Statistics
Why does a "classical" gas involve Planck's constant at all?
Because counting states requires a unit of phase-space volume, and that unit is per degree of freedom — a purely quantum input. In the mechanical and caloric equations of state (, ) the -dependence cancels between numerator and denominator, so those look fully classical. But the absolute entropy cannot be fixed without choosing the phase-space cell size, and there survives explicitly through . The Sackur–Tetrode entropy is the classical thermodynamic quantity that most directly betrays the quantum graininess of phase space.
What exactly is the thermal de Broglie wavelength?
It is the quantum length , roughly the de Broglie wavelength of a particle with thermal momentum . Physically it is the size of a particle's quantum "wave packet" at temperature . When the average interparticle spacing is much larger than — equivalently — the wave packets do not overlap, the particles behave as distinguishable classical objects, and the ideal-gas laws hold. When they overlap and quantum statistics takes over.
Where does the 3/2 in U = (3/2)NkT come from?
From three translational degrees of freedom, each contributing by equipartition — or, in the partition-function language, from the three Gaussian momentum integrals, each of which gives a factor in . So , , and . For a diatomic gas with rotational and vibrational modes active the coefficient rises to and then ; the monatomic is just the translational part.
Is the ideal-gas entropy really measurable, or just a formula?
It is genuinely measurable. The Third Law fixes at for a perfect crystal, and integrating the calorimetric heat capacity up through melting and vaporization to the gas phase gives the absolute molar entropy. For argon and other monatomic gases this calorimetric value agrees with the Sackur–Tetrode prediction to within experimental error (both about for argon at standard conditions). This agreement is one of the classic experimental confirmations that statistical mechanics — including its quantum phase-space counting — is correct.
Does the ideal gas ever fail, and what replaces it?
Yes, in two ways. When interactions matter (dense or cold-but-not-degenerate gases) the virial expansion corrects with density-dependent terms set by the interparticle potential. When quantum degeneracy matters (, i.e. ultracold or ultradense) the classical counting fails and you must use Bose–Einstein or Fermi–Dirac statistics, giving degeneracy pressure, Bose–Einstein condensation, and the electronic heat capacity of metals. In both regimes the ideal gas remains the leading term of the correct theory.
Why divide by N! and not by something else?
Because there are exactly ways to permute the labels of identical particles, and in classical mechanics these permuted configurations are counted as distinct microstates even though they are physically identical. Dividing by removes this overcounting. It is an approximation to the exact quantum symmetrization (which would give the Bose or Fermi count), valid in the non-degenerate regime where multiple occupancy of a single state is negligible — precisely the classical regime where the ideal-gas model lives.