The Ideal Gas Partition Function and the Gibbs Paradox
The classical monatomic ideal gas built from the partition function. The single-particle sum is with the thermal de Broglie wavelength ; the -particle partition function is $z_1^N/N!
╌╌╌╌
The monatomic ideal gas is the first system where the canonical machinery is carried all the way to a closed thermodynamic potential. Its Hamiltonian is purely kinetic, so the partition function factorizes into single-particle pieces and the integrals are Gaussian. The result, the Sackur–Tetrode entropy, exposes two features that the classical theory alone cannot supply: a length scale set by that fixes the additive constant of the entropy, and a factor that makes the entropy extensive. The missing is the Gibbs paradox, and its origin is the indistinguishability of identical particles.
The single-particle partition function
A single structureless particle of mass confined to a box of volume has the Hamiltonian , with no potential energy inside the box. In the classical phase-space form of the canonical ensemble, each quantum state occupies a cell of volume in the six-dimensional single-particle phase space, so the partition function is the phase-space integral divided by ,1
The configuration integral is trivial: the integrand is independent of position, so . The momentum integral factorizes into three identical Gaussians,
Collecting the factors,
The quantity is the thermal de Broglie wavelength. It is the de Broglie wavelength of a particle whose kinetic energy is of order , and it sets the scale on which quantum coherence between particles matters. With in hand, has a direct reading: it counts how many thermal cells of volume fit inside the container.
Two limits fix the meaning. At high temperature or low density, is small compared with the mean interparticle spacing , where ; the particles are far apart on the scale of their thermal wavelength and behave classically. When grows to the interparticle spacing, the wave packets overlap and quantum statistics take over. The classical treatment of this lesson requires the nondegeneracy condition
The N-particle partition function and the factor N!
For noninteracting particles the Hamiltonian is a sum, , so the Boltzmann factor factorizes and the phase-space integral separates into identical single-particle integrals. If the particles were labelled and distinguishable, this would give . They are not. Two configurations that differ only by a permutation of identical particles are the same physical state, and the labelled integral counts each physical state times over. Correcting the overcount divides by :
The division by is correct Boltzmann counting. It is exact only in the nondegenerate regime, where the probability that any single-particle state holds more than one particle is negligible; then every occupied state is occupied once and the permutations of the occupied states are all distinct, giving exactly relabellings per physical configuration. When occupancies are not small the count of permutations that produce genuinely distinct arrangements is more subtle, and the correct bookkeeping is Bose or Fermi statistics. For the classical gas, guarantees the simple .
Thermodynamics from the free energy
The Helmholtz free energy follows from . Using Stirling's approximation ,
so
Every equilibrium property comes from derivatives of . The combination appearing inside the logarithm is the reciprocal of the degeneracy parameter, large in the classical regime.
Pressure. The mechanical equation of state is . Only the term carries volume dependence,
The ideal-gas law is recovered, and it is independent of : the pressure knows nothing about or the mass, because those enter only the additive constant of .
Internal energy. With , the temperature dependence of sits in , so . Writing ,
which is per translational degree of freedom, three per particle. The heat capacity is , constant.
Entropy. The entropy is . Since contributes from acting on the explicit prefactor and another from the inside the bracket, the two pieces combine with the constant to give
This is the Sackur–Tetrode equation for the monatomic ideal gas.2 Its structure is worth reading term by term: the logarithm measures the number of thermal cells per particle, and the additive collects the Gaussian normalization and the Stirling remainder. The appearance of , and hence of , inside the logarithm means the classical entropy carries an absolute zero-point set by quantum mechanics — a purely classical calculation would leave the additive constant undetermined.
Extensivity and the Gibbs paradox
Entropy is extensive: doubling a system at fixed intensive parameters must double . Scale and at fixed . Then is unchanged, is unchanged, and
Extensivity holds precisely because the turned inside the logarithm into . Drop the and the entropy becomes
which fails the test: under it picks up a spurious . The non-extensive form assigns a larger entropy to a combined system than to the sum of its parts, in violation of thermodynamics.
The physical face of this failure is the Gibbs paradox. Take two gas samples, each of particles in volume at the same temperature and pressure, separated by a partition, and remove the partition. Two cases must be distinguished.
Distinct species. If the two samples are different gases, say species on the left and on the right, each expands into the full volume . Each contributes an entropy increase from the volume doubling, so the total entropy of mixing is
This is real and measurable; interdiffusion of distinct gases is irreversible, and unmixing them costs work.
Identical species. If the two samples are the same gas, removing the partition changes nothing: the equilibrium state of particles in at the same is identical before and after, and reinserting the partition restores the original state exactly. The entropy change must be zero. Sackur–Tetrode, with the , delivers exactly this. Before,
and after, with particles in ,
so . The factors of two inside the logarithm cancel because both and doubled. Without the , the same calculation gives even for identical gases — the paradox, an entropy of mixing where nothing has mixed.
The resolution is that the is not an ad hoc fix for one paradox but the statement that permuting identical particles does not produce a new microstate. Once identical particles are indistinguishable, the mixing of identical gases is a non-event and the entropy of mixing vanishes automatically, while genuinely distinct species still mix irreversibly. The same indistinguishability, followed to its quantum conclusion, becomes Bose and Fermi statistics; the classical is its leading, dilute-limit shadow.
Chemical potential and the fugacity
The chemical potential follows from , or more cleanly from by differentiation,
In the classical regime , so the logarithm is large and negative: the chemical potential of a dilute classical gas is negative, and it grows toward zero as the gas is compressed or cooled toward degeneracy. The fugacity is then small, and it is the natural expansion parameter for the corrections beyond the ideal gas. Consistency with the free energy is immediate through the Euler relation : substituting and reproduces .
Summary
- The single-particle partition function is with the thermal wavelength ; it counts thermal cells of volume in the box. Classical validity requires .
- Indistinguishability forces (correct Boltzmann counting), exact when no single-particle state is multiply occupied.
- From come , , , and the Sackur–Tetrode entropy .
- The makes extensive and resolves the Gibbs paradox: identical gases mix with , while distinct species mix with .
- The chemical potential is negative for a dilute gas; the fugacity is the small parameter of the classical limit.
Footnotes
- The measure and the below are imposed here as the classical limit of the quantum trace; both are derived from the quantum ideal gas in the grand-canonical treatment. Kardar §4.8 and Pathria & Beale §3.5 present the same limit. See MIT OCW 8.333, ocw.mit.edu/courses/8-333. ↩
- Derived independently by Sackur and Tetrode in 1912. Schroeder §6.7 and Reif §7.3 give the same result; the numerical agreement with measured vapor entropies of monatomic gases was an early confirmation that sets the entropy constant. ↩
╌╌ END ╌╌