11.02.02 · stat-mech-physics / kinetic-theory

Transport phenomena: diffusion, viscosity, thermal conductivity, and the mean free path

shipped3 tiersLean: none

Anchor (Master): Pathria & Beale, Statistical Mechanics, 3rd ed. (2011), Ch. 11; Kardar, Statistical Physics of Particles (2007), Ch. 5

Intuition Beginner

A gas is a sea of molecules in constant random motion. Each molecule travels in a straight line until it collides with another molecule, then changes direction and continues. The average distance a molecule travels between collisions is the mean free path .

Three things happen because of these collisions. First, molecules wander: if you release a blob of perfume in still air, it slowly spreads out because each perfume molecule follows a random, zigzag path. This is diffusion. Second, adjacent layers of gas moving at different speeds exchange momentum through collisions, resisting the shear. This is viscosity. Third, fast-moving (hot) molecules in one region collide with slow-moving (cold) molecules in the adjacent region, transferring kinetic energy. This is thermal conduction.

All three processes share a common structure. Each involves a flux (a flow of something — particles, momentum, energy) driven by a gradient (a spatial variation — of concentration, velocity, temperature). And all three are controlled by the same microscopic quantity: the mean free path and the mean molecular speed .

Visual Beginner

Picture a gas between two parallel plates. The top plate moves to the right; the bottom plate is stationary. Molecules near the top plate are dragged rightward. Through collisions, they transfer rightward momentum downward. A velocity gradient develops: fast at the top, slow at the bottom. The rate of momentum transfer — the friction force per unit area — is the viscous stress, proportional to the velocity gradient.

In each case the flux is proportional to the gradient, with the proportionality constant being the transport coefficient: the diffusion constant , the viscosity , or the thermal conductivity .

Worked example Beginner

Mean free path in air. Air at standard temperature and pressure (STP) has number density molecules per cubic metre. The molecular diameter is angstroms. The mean free path is

That is about 65 nanometres — roughly 200 molecular diameters. The mean molecular speed at room temperature is m/s. So the average time between collisions is seconds — about 0.13 nanoseconds.

From these, the diffusion constant is roughly m/s and the viscosity is Pa s, both in reasonable agreement with measured values for air.

Check your understanding Beginner

Formal definition Intermediate+

Mean free path

For a gas of hard spheres of diameter at number density , the mean free path is

The factor accounts for the relative velocity of colliding pairs: two molecules approach each other with a typical relative speed . The collision frequency is and the collision time is .

Fick's law of diffusion

The particle flux (number of particles crossing unit area per unit time) is proportional to the negative concentration gradient:

where is the diffusion coefficient (self-diffusion constant). From kinetic theory, , where is the mean speed.

Newton's law of viscosity

The viscous stress (force per unit area) between layers of gas with a velocity gradient is

where is the dynamic viscosity. From kinetic theory, , where is the mass density.

Fourier's law of heat conduction

The heat flux is proportional to the negative temperature gradient:

where is the thermal conductivity. From kinetic theory, per unit volume, or where is the heat capacity per particle.

Key result: Kinetic-theory transport coefficients

All three transport coefficients share the form (transport coefficient) :

These are estimates accurate to within a factor of 2–3. The exact values require solving the Boltzmann equation 11.02.03 and differ by numerical prefactors (e.g., for hard spheres from the Chapman-Enskog solution).

Key derivation: Mean free path from collision geometry Intermediate+

Proposition. For a gas of hard spheres of diameter at number density , the mean free path is .

Proof. Consider one molecule — the "test" particle — moving with speed through a sea of stationary scatterers. In time , the test particle sweeps out a cylinder of cross-sectional area (because two spheres of diameter collide when their centres are within ) and length . The number of scatterers in this cylinder is .

But the scatterers are not stationary. The effective relative speed between the test particle and a scatterer is (the factor comes from averaging over all directions of the scatterer velocity). Replacing by and averaging: the collision rate is .

Wait — more carefully: the cross-section for two particles of diameter is ... No. The cross-section for two spheres of diameter is where is the range of interaction. Actually, the total cross-section is , but in kinetic theory the convention is to use the collision cross-section where is the distance of closest approach between centres.

Let me redo this. Two molecules of diameter collide when their centres come within distance of each other (if is the diameter, the centres must be within ; if is the radius, within ). Following the convention where is the molecular diameter:

Cross-section for collision: (impact parameter), so .

Hmm, this depends on convention. Let me use = diameter.

Collision occurs when centres approach within . Cross-section: .

Collision rate: .

Mean free path: .

Bridge. The mean-free-path derivation builds toward the Boltzmann transport equation 11.02.03, where the collision rate becomes the collision operator acting on the distribution function. This is exactly the connection between microscopic collision geometry and macroscopic transport: the transport coefficients , , are all proportional to because longer free paths carry gradients further before equilibrating. The foundational reason transport exists at all is that the mean free path is finite — if collisions were instantaneous () the gas would be in local equilibrium everywhere and there would be no transport, which is dual to the statement that an infinitely collisional fluid has zero viscosity, a paradox resolved by the finite- kinetic theory.

Exercises Intermediate+

Lean formalization Intermediate+

Transport coefficients have no formalization in Mathlib. The Green-Kubo relations are time-correlation integrals of the form , where is a flux observable. Formalising these requires a framework for equilibrium time-correlation functions in a Hamiltonian (or stochastic) dynamical system — a significant infrastructure investment beyond Mathlib's current scope.

The mean-free-path derivation is geometric: given randomly placed hard spheres per unit volume, compute the mean distance between collisions. This is a Poisson-process argument that could be formalised in Mathlib's probability theory framework, but the physical content (identifying from a random-walk model) requires connecting the geometric calculation to the continuum diffusion equation.

Advanced results Master

Chapman-Enskog theory

The kinetic-theory estimates , , are accurate to about a factor of 2. The Chapman-Enskog solution of the Boltzmann equation improves these by systematically expanding the distribution function in powers of the gradient (the Knudsen number where is the system size).

For hard spheres, the Chapman-Enskog first-order results are:

These differ from the mean-free-path estimates by numerical prefactors of order unity. The second-order (Burnett) corrections are small for but become important for rarefied gas flows (e.g., high-altitude aerodynamics).

Green-Kubo relations

The Green-Kubo relations express transport coefficients as equilibrium time-correlation functions:

These are exact results from linear response theory 11.02.04, valid for any system (not just dilute gases). They are the basis for computing transport coefficients in molecular dynamics simulations.

Knudsen number and the limits of continuum hydrodynamics

The Knudsen number measures the ratio of the mean free path to the system size. The transport-coefficient formalism (and the Navier-Stokes equations it feeds into) requires — many collisions per macroscopic length scale. When (rarefied gas, micro-electromechanical systems), the continuum description breaks down and the full Boltzmann equation must be solved. When (free molecular flow), particle-surface interactions dominate and the mean free path is irrelevant.

Synthesis. Transport phenomena build toward the fluctuation-dissipation theorem 11.02.04, which provides the general framework connecting dissipation (transport coefficients) to equilibrium fluctuations (correlation functions). The central insight is that the same molecular collisions that equilibrate the gas also produce the random forces that cause diffusion — these are two faces of the same microscopic process. This is dual to the Onsager reciprocal relations, which connect different transport processes through the symmetry of the underlying correlations. The foundational reason transport coefficients are proportional to the mean free path is that sets the distance over which a molecule carries information about local conditions; putting these together with the Green-Kubo relations gives the exact answer in terms of time-correlation functions, generalising the mean-free-path picture to arbitrary density and interaction potential.

Full proof set Master

Proposition. For a hard-sphere gas, the Prandtl number from Chapman-Enskog theory is Pr .

Proof. The Chapman-Enskog first-order results for hard spheres give and . The Prandtl number is

where is the specific heat per unit mass. For a monatomic ideal gas, per particle. So

The Prandtl number Pr for a monatomic hard-sphere gas is exact to first order in the Chapman-Enskog expansion. Experimental values for noble gases range from 0.66 (argon) to 0.67 (xenon), in excellent agreement.

Connections Master

  • 11.02.01 The Maxwell-Boltzmann speed distribution provides , which enters every transport-coefficient formula.
  • 11.02.03 The Boltzmann transport equation is the systematic framework that reproduces the mean-free-path transport coefficients and provides the exact numerical prefactors via the Chapman-Enskog expansion.
  • 11.02.04 The fluctuation-dissipation theorem connects the transport coefficients derived here to equilibrium time-correlation functions through the Green-Kubo relations.
  • 11.04.04 The Sackur-Tetrode entropy of the ideal gas, derived from the classical partition function, provides the thermodynamic background for the kinetic-theory treatment.
  • 37.01.01 The probability foundations (random walks, Poisson processes) underlie the mean-free-path calculation and the diffusion equation.

Historical and philosophical context Master

The kinetic theory of transport phenomena was developed in the 1860s by Maxwell and Clausius. Maxwell (1860) derived the viscosity formula and was surprised to find that gas viscosity is independent of density — a prediction so counter-intuitive that he built an experimental apparatus to test it, confirming the result.

The mean-free-path approach was refined by Chapman (1916–17) and Enskog (1917) independently, both solving the Boltzmann equation to obtain accurate transport coefficients. The Chapman-Enskog method remains the standard approach for computing transport properties of gases.

The Green-Kubo relations (Green 1954, Kubo 1957) provided the modern linear-response framework, expressing transport coefficients as equilibrium time-correlation functions. This shifted the computational problem from solving the Boltzmann equation to measuring equilibrium fluctuations — a change in perspective that underlies modern molecular dynamics methods for computing transport properties.

Bibliography Master

@book{reif1965,
  author = {Reif, Frederick},
  title = {Fundamentals of Statistical and Thermal Physics},
  publisher = {McGraw-Hill},
  year = {1965}
}

@book{kittel-kroemer1980,
  author = {Kittel, Charles and Kroemer, Herbert},
  title = {Thermal Physics},
  edition = {2nd},
  publisher = {Freeman},
  year = {1980}
}

@book{kardar2007,
  author = {Kardar, Mehran},
  title = {Statistical Physics of Particles},
  publisher = {Cambridge University Press},
  year = {2007}
}

@book{chapman-cowling1970,
  author = {Chapman, Sydney and Cowling, T. G.},
  title = {The Mathematical Theory of Non-Uniform Gases},
  edition = {3rd},
  publisher = {Cambridge University Press},
  year = {1970}
}

@article{kubo1957,
  author = {Kubo, Ryogo},
  title = {Statistical-Mechanical Theory of Irreversible Processes. {I.} General Theory and Simple Applications to Magnetic and Conduction Problems},
  journal = {J. Phys. Soc. Jpn.},
  volume = {12},
  pages = {570--586},
  year = {1957}
}