6.3 Diffusion as a random walk

The diffusion equation of the previous lesson is a macroscopic law, but its origin is microscopic and statistical: it is the smooth shadow of an underlying random walk. A particle buffeted by molecular collisions takes a long sequence of uncorrelated steps, and the probability distribution of its position obeys Fick’s law exactly. This lesson makes that connection precise.

From random steps to Fick’s law

The diffusion equation from a random walk Derivation

Let p(x,t)p(x,t) be the probability density for the walker’s position. In a short time δt\delta t it takes a random step whose distribution GG has zero mean and variance σ2δt\sigma^2\delta t. The new density is the old one convolved with the step distribution:

p(x,t+δt)  =  p(x,t)G(xx;σ2δt)dx.p(x, t+\delta t) \;=\; \int p(x', t)\,G(x - x';\,\sigma^2\delta t)\,dx'.

Expand p(x,t)p(x',t) about xx to second order, writing Δx=xx\Delta x = x' - x:

p(x,t)    p(x,t)+Δxpx+12Δx2pxx.p(x',t) \;\approx\; p(x,t) + \Delta x\,p_x + \tfrac12\Delta x^2\,p_{xx}.

Insert this and use the moments of GG: GdΔx=1\int G\,d\Delta x = 1, ΔxGdΔx=0\int \Delta x\,G\,d\Delta x = 0 (no bias), and Δx2GdΔx=σ2δt\int \Delta x^2\,G\,d\Delta x = \sigma^2\delta t. The first moment kills the pxp_x term, leaving

p(x,t+δt)p(x,t)    12σ2δtpxx.p(x, t+\delta t) - p(x,t) \;\approx\; \tfrac12\sigma^2\delta t\,p_{xx}.

Divide by δt\delta t:

pt  =  12σ22px2.\frac{\partial p}{\partial t} \;=\; \tfrac12\sigma^2\,\frac{\partial^2 p}{\partial x^2}.

This is the diffusion equation, with diffusion coefficient D=σ2/2D = \sigma^2/2. Nothing about the microscopic step distribution survives except its variance: a walk of tiny frequent steps and a walk of larger rarer ones diffuse identically if σ2/δt\sigma^2/\delta t matches. This insensitivity to detail — a consequence of the central limit theorem (refresher: random walks and Brownian motion →) — is why diffusion is so universal.

Mean-squared displacement

The signature of normal diffusion is the way a walker’s spread grows with time. The variance of position increases linearly,

x2=2Dt    (1-D),r2=4Dt    (2-D),r2=6Dt    (3-D),\langle x^2 \rangle = 2Dt \;\;(\text{1-D}), \qquad \langle r^2 \rangle = 4Dt \;\;(\text{2-D}), \qquad \langle r^2 \rangle = 6Dt \;\;(\text{3-D}),

with one factor of 2D2D per spatial dimension. The root-mean-squared displacement therefore grows only as t\sqrt{t} — diffusion is slow over long distances, a fact with sharp consequences for the timescales of the final lesson.

2-D walkers±4.0⟨r²⟩t = 5.0⟨r²⟩ = 4Dt
D1.00
t0.0
measured ⟨r²⟩
theory 4Dt0.00

Each walker takes an independent Gaussian step every frame; the cloud spreads, and the mean-squared distance from the origin grows linearly in time with slope 4D (in 2-D; 2D in 1-D, 6D in 3-D). This linearity — not the cloud shape, not the particle paths — is the *signature* of diffusion. Below it lies the Einstein relation D = kBT / γ that ties the diffusion constant to the microscopic friction.

Many independent walkers, each stepping randomly, collectively trace out the spreading Gaussian that solves the diffusion equation. The histogram of their positions broadens as t\sqrt{t} while staying centred, exactly as x2=2Dt\langle x^2\rangle = 2Dt requires.

one heavy particle (M = 20m) in a bath of 5000 light onesMean squared displacement vs. timeConverges to Einstein's relation ⟨|Δr|²⟩ = 4Dt01234 Mpx²0306090120Time (seconds)straight-line motion: r² = ⟨V²⟩ · t²average of 0 runsthis run

Each 120-second run of the heavy particle's (t) is noisy (light blue). Averaged over many runs, the noise washes out (black). If the particle moved in a straight line at the thermal speed ⟨V²⟩ = 2kT/M, the average would grow as — the green parabola. It does not. Because each collision randomises direction, the average grows linearly in t, with slope 4D. Linearity is the signature of randomness.

A single such trajectory is Brownian motion: the erratic, never-settling path of a microscopic particle suspended in a fluid, kicked at random by the thermal motion of the molecules around it. The path is continuous but nowhere smooth — zoom in and it looks statistically the same at every scale. That a visible particle should jitter this way was the first direct evidence that the fluid around it is made of discrete, moving molecules, the subject of the Einstein relation two lessons on.