The Fluctuation-Dissipation Theorem
A resistor left alone develops a tiny hiss of thermal voltage across its terminals. A grain of pollen in water jitters without anyone touching it. Both facts are inseparable from a second fact: the resistor dissipates when a current is driven through it, and the pollen grain feels drag when pushed. The fluctuation-dissipation theorem is the exact statement that these are two faces of one molecular mechanism. The same random collisions that make an observable jiggle on its own are the collisions that drain energy when the observable is gently forced — and equilibrium fixes their ratio through a single number, the temperature. A system that fluctuates must dissipate, and by exactly the amount its fluctuations dictate. Formally the theorem lives inside linear response theory. Perturb the Hamiltonian by with a weak field conjugate to ; the induced response is a retarded susceptibility given by the Kubo formula. Independently, equilibrium statistical mechanics fixes the correlation function and its power spectrum . The fluctuation-dissipation theorem is the exact algebraic identity relating the dissipative part to the fluctuation spectrum , derived from nothing more than the canonical density matrix and time-translation invariance. Classically it reads ; quantum mechanically a factor appears, reproducing zero-point noise as . Because the derivation uses only equilibrium and linearity, the theorem is both extraordinarily robust and a sharp diagnostic. Its special cases are a roll-call of physics: Einstein's diffusion–mobility relation, the Nyquist–Johnson thermal-noise formula, the Green–Kubo transport integrals, the Langevin noise–friction balance. And whenever a measured response and a measured fluctuation spectrum fail to satisfy it, the system is not in equilibrium — a fact now exploited to define effective temperatures in glasses, to characterize molecular motors and active matter, and to test the thermostats in simulations. The theorem underpins equilibrium transport theory and, by its violation, demarcates the very boundary of equilibrium.
- The fluctuation-dissipation theorem (FDT) states that a system's near-equilibrium response to a weak perturbation is completely fixed by its spontaneous equilibrium fluctuations of the same observable — dissipation and fluctuation share one molecular origin.
- Quantitatively, the dissipative part of the response is proportional to the fluctuation power spectrum , with temperature the bridging constant.
- Classically ; the full quantum (Callen–Welton) form carries , which reduces to the classical result and leaves zero-point noise as .
- The quantum form follows from KMS detailed balance , the exact equilibrium signature.
- Famous special cases: the Einstein relation , the Nyquist–Johnson formula , the Green–Kubo transport formulas, and the Langevin second-FDT .
- Key idea: equilibrium fluctuations and near-equilibrium dissipation are governed by the same correlation function; the canonical density matrix forces their ratio to be a universal function of and — classically .
Where this lives today
The fluctuation-dissipation theorem is a working tool in three distinct communities. In simulation, the Green–Kubo formulas — direct FDT corollaries — let molecular dynamics compute diffusion constants, shear viscosities, and thermal conductivities from equilibrium-trajectory autocorrelations, avoiding the finite-size and nonlinearity artifacts of explicitly driven runs. In precision metrology, the Nyquist relation and its mechanical analogue set the fundamental noise floor of amplifiers, atomic-force microscopes, and gravitational-wave detectors: LIGO's mirror-coating thermal noise is a literal FDT calculation, and the only ways to beat it are to cool the optic or engineer a lower-loss () material. The most active frontier is the theorem's violation. In aging glasses, sheared suspensions, and active matter — bacterial baths, molecular motors, driven colloids — experimenters measure response and fluctuation spectrum independently and read off an effective temperature . Its deviation from the bath temperature quantifies how far the system is from equilibrium and how much energy activity injects. The FDT thus does double duty: it underpins equilibrium transport theory, and by its breakdown it draws the boundary of equilibrium itself.
The physical picture
Picture a Brownian particle. The random molecular kicks make it jiggle (fluctuation); the same collisions resist steady motion (drag). Kicks and drag come from one stream of collisions, so the strength of the jiggle and the strength of the drag cannot be set independently — equilibrium ties them with the knot . Made quantitative, that single sentence is the entire theorem. The noise amplitude in the Langevin equation and its friction coefficient are not two parameters but one, welded by temperature. Think frequency by frequency. A weak oscillating force at frequency pumps energy into the system at a rate set by , the absorptive response. In equilibrium that absorbed energy must, on average, come back out as fluctuations at the same frequency. The bookkeeping "energy in equals energy out" pins the fluctuation spectrum to — a detailed balance in the frequency domain.
Callen and Welton's quantum insight, from 1951, is that even at a system fluctuates because of zero-point motion, and these fluctuations still control the dissipation. The classical is replaced by — the mean energy of an oscillator including its ground-state . Absorption and emission become asymmetric, and their ratio is exactly the Boltzmann factor . Onsager's regression hypothesis is the theorem's time-domain face: a spontaneous fluctuation decays, on average, by the same macroscopic law that governs the relaxation of a deliberately prepared deviation. You cannot tell from the decay whether the bump arose by chance or by your hand — the link made quantitative in response and relaxation functions.
The core equations
The starting point is the linear-response relation: the induced deviation of an observable is a causal convolution of the field with a retarded response function. This is the object the Kubo formula supplies from the microscopic dynamics.
where: — induced deviation of observable from equilibrium; — retarded response function, for (causality); — weak external field conjugate to via . The classical response is , tying the response to the slope of the correlation. The fluctuation side is the equilibrium correlation function and its power spectrum, the Wiener–Khinchin transform. These are properties of the undriven system; no field appears.
where: — equilibrium two-time correlation function; — power spectrum (Fourier transform of ). Stationarity makes even in , so is real and even — a manifestly measurable spectral density. The quantum fluctuation-dissipation theorem, in its Callen–Welton form, ties the symmetrized spectrum to the dissipative response through a factor. This is the master relation from which every special case falls out.
where: — symmetrized spectrum ; — dissipative (imaginary, absorptive) part of ; the carries the Bose occupation plus the ground-state . Reading it: the fluctuation spectrum is the dissipative response weighted by the mean oscillator energy per unit . In the classical (high-temperature) limit , and the theorem collapses to the celebrated one-line relation between spectrum and dissipation, with as the sole bridge.
where: — thermal energy, the bridging constant. Equivalently : measure the fluctuation spectrum and you have measured the dissipation, and vice versa. Applied to a resistor, whose dissipative element is , the theorem is the Nyquist–Johnson formula for thermal voltage noise — the experimental cornerstone of the whole subject.
where: — resistance (the dissipative element); — measurement bandwidth in Hz; — mean-square thermal voltage. The factor (versus the two-sided ) comes from folding the spectrum into a one-sided positive-frequency band. Applied to a Langevin particle, the theorem fixes the strength of the random force in terms of the friction — the "second fluctuation-dissipation theorem." A system cannot thermalize unless its noise and drag obey this.
where: — random (white-noise) force; — friction coefficient (the dissipation). Requiring the Langevin equation to relax to Maxwell–Boltzmann () forces this amplitude — noise and friction are one parameter.
The goal is to derive directly from the classical Kubo response and the equilibrium correlation, using only classical statistical mechanics and integration by parts. We start from the Poisson-bracket form of the response, Fourier transform it, integrate by parts to expose the boundary term and the correlation transform, and read off the imaginary part. The strategy exploits two facts: the response is the time-derivative of the correlation (Onsager regression), and stationarity makes the correlation even so its spectrum is a cosine transform.
Step 1. Write the classical response with and . Why: this is the classical Kubo formula; stationarity makes even in , so is odd — a fact that survives into the frequency domain.
Step 2. Fourier transform, , the lower limit coming from the step function. Why: causality restricts the transform to , which is exactly what makes analytic in the upper half-plane and splits it into reactive and dissipative parts.
Step 3. Integrate by parts: . Why: the boundary term at gives the static (real) piece , and the remaining integral is the half-line transform of itself — moving the derivative off and onto the exponential.
Step 4. Extract the imaginary part using even: , since the full-line spectrum is twice the cosine half-line transform, . Why: only the term contributes to , and evenness of turns the transform into a cosine integral equal to .
Step 5. Invert: . Why: this is the classical FDT; because for (passivity), the spectrum is manifestly positive, and the limit reproduces the static sum rule . *Verified: verify_aq-sm-fluctuation-dissipation-theorem.py confirms the by-parts identity on the exponential-correlation (OU) model, the static sum rule , and positivity of .*
Go deeper · Derivation B · 1 minThe quantum Callen-Welton form from KMS detailed balance
The goal is to obtain the factor of the quantum theorem from the spectral (Lehmann) decomposition of the equilibrium correlation and response, via the detailed-balance (KMS) relation between positive- and negative-frequency spectral weight. We insert energy eigenstates into the spectrum, derive the KMS relation by relabeling dummy indices, express the dissipation as the antisymmetric spectral combination coming from the Kubo commutator, and assemble the symmetrized spectrum. The one identity that closes it is .
Step 1. Write the unsymmetrized spectrum in the energy eigenbasis, with . Why: this is manifestly positive (a sum of squared matrix elements weighted by Boltzmann factors) — the true, physical, non-symmetrized fluctuation spectrum.
Step 2. Derive KMS detailed balance by swapping the dummy indices : the swap sends and multiplies the Boltzmann weight by on the delta-support . Why: this exact equilibrium relation is the quantum content of detailed balance — emission () outweighs absorption () by the Boltzmann factor.
Step 3. Express the dissipation from the Kubo commutator as the antisymmetric spectral combination, . Why: the response function is built from , whose Fourier transform is the difference of the two orderings — precisely .
Step 4. Substitute KMS: . Why: this is already the exact quantum FDT in unsymmetrized form; the factor is what distinguishes quantum from classical.
Step 5. Symmetrize and divide by : using gives . Why: as this reduces to the classical ; as , , leaving the zero-point floor — dissipation persists but no net absorption. *Verified: verify_aq-sm-fluctuation-dissipation-theorem.py confirms the KMS relation , the identity symbolically, the classical limit, and the zero-point limit.*
Limiting cases
The single master relation collapses to many famous laws in appropriate limits — each row is a landmark theorem in disguise.
| Case | Result | Meaning |
|---|---|---|
| Classical / high temperature | ; recovers Nyquist and Green–Kubo forms. | |
| Quantum / zero temperature | Only spontaneous (zero-point + emission) noise survives; absorption noise is suppressed — vacuum fluctuations. | |
| Static / zero frequency | Static susceptibility equals the equilibrium covariance over — the compressibility/susceptibility sum rule. | |
| Single Brownian particle | Velocity-correlation form at zero frequency: mobility and diffusion tied by (Einstein). |
Worked examples
Example 1 — Johnson noise of a real resistor. This computes the actual voltage you would measure across a laboratory resistor from the FDT, a number an instrument engineer must know.
Step 1. Take at measured over a bandwidth , with .
Step 2. Apply the Nyquist form .
Step 3. Evaluate the product: ; times gives .
Step 4. Take the root: . The resistor hisses at about RMS — the fundamental thermal-noise floor no amplifier design can beat without lowering or .
Example 2 — The Einstein relation from the zero-frequency FDT. This shows the diffusion–mobility relation is the single-particle, static special case of the theorem, with a concrete number.
Step 1. For a tagged particle the velocity response to a constant force is the mobility (drift ), the response; the diffusion constant is , the zero-frequency velocity correlation.
Step 2. The FDT at ties correlation to response: . Take a micron-scale bead in water with mobility where the Stokes drag gives for , : .
Step 3. Then and .
Step 4. Evaluate: . The bead diffuses at , fixed entirely by its drag and the temperature — fluctuation () and dissipation () welded by .
Origins · 1 minryogo kubo and how this was discovered
Going further
References. Pathria & Beale, Statistical Mechanics, 3rd ed., ch. 15 (Fluctuations and Linear Response) · Kardar, Statistical Physics of Particles, ch. 9 · Reif, Fundamentals of Statistical and Thermal Physics, ch. 15 · Sethna, Statistical Mechanics: Entropy, Order Parameters, and Complexity, ch. 10 · Landau & Lifshitz, Statistical Physics Part 1, §118–§124 · H. B. Callen and T. A. Welton, Phys. Rev. 83, 34 (1951) · R. Kubo, Rep. Prog. Phys. 29, 255 (1966)
Provenance. Equations and limits verified against Pathria & Beale ch. 15, Kardar SPP ch. 9, Reif ch. 15, and Landau–Lifshitz Stat. Phys. Part 1 §118–§124. A verifier recomputes: (1) the classical FDT by-parts derivation yielding ; (2) the KMS detailed-balance relation and its assembly into (Callen–Welton, Phys. Rev. 83, 34); (3) the Nyquist estimate V for , K, kHz using ; (4) the Langevin noise amplitude from equipartition and the Einstein Stokes-bead number. No nonstandard values asserted.
Builds on: Linear Response Theory · Brownian Motion · The Langevin Equation · Wiener Process and White Noise. Leads to: The Einstein Relation · The Ornstein-Uhlenbeck Process · The Fokker-Planck Equation · Kramers' Escape Rate Theory.
Why is and not the full response tied to the fluctuations?
Because only , the imaginary/dissipative part, describes irreversible energy uptake from a periodic drive — power absorbed is . Energy balance in equilibrium says whatever the system absorbs it must, on average, give back as fluctuations, so only the dissipative channel appears in the theorem. The reactive part describes lossless, in-phase energy storage and is not fed by the fluctuations directly. It is not independent, though: causality (Kramers–Kronig) determines from , so measuring the fluctuation spectrum ultimately fixes the entire response, reactive part included.
What is the difference between the classical and quantum forms, physically?
The classical form says fluctuations vanish as : no thermal energy, no jiggle. The quantum form replaces by , the mean energy of a harmonic oscillator including its ground-state . As a result the quantum spectrum does not vanish at — zero-point motion keeps the system fluctuating. The crossover happens at : below it the mode is thermally excited and classical; above it the mode is frozen into its ground state and only quantum fluctuations remain. This is why the quantum correction matters for high-frequency modes and low-temperature devices.
How is the second fluctuation-dissipation theorem related to the first?
The "first" FDT is the frequency-domain statement relating an observable's fluctuation spectrum to its dissipative response. The "second" FDT is the noise-amplitude condition on a Langevin equation, , tying the random-force strength to the friction. They are the same physics at two levels of description: the second FDT is what you must impose on the microscopic Langevin model so that it reproduces the first FDT (and thermalizes to Maxwell–Boltzmann). If you set the noise amplitude to anything other than , the particle equilibrates to the wrong temperature and the response–fluctuation relation breaks.
Does the theorem require the system to be linear?
The response side is linear by construction — the theorem relates first-order response to equilibrium fluctuations. The fluctuations themselves need not be Gaussian or the dynamics linear; the correlation function is a genuine equilibrium quantity of the full interacting system. What is required is that the reference state be true thermal equilibrium and that the perturbation be weak enough that only the linear response matters (). For strong driving, higher-order response functions appear, and there are nonlinear generalizations of the FDT that relate them to higher equilibrium correlations, but the clean two-object identity is a linear-response statement.
How does the FDT actually detect that a system is out of equilibrium?
Measure two things independently: the response (drive the system weakly and record the absorptive part) and the fluctuation spectrum (record spontaneous fluctuations with no drive). In equilibrium the ratio must equal at every frequency. If instead the ratio is frequency-dependent — say larger at low frequencies in an aging glass — the system is not in equilibrium, and the ratio defines a frequency-dependent effective temperature . This "FDT-violation" measurement is the standard experimental probe for glasses (slow structural modes look hotter than the bath) and active matter (molecular-motor activity injects extra low-frequency fluctuations).
Why does the Green–Kubo formula follow from the FDT?
Transport coefficients are zero-frequency limits of dissipative responses. The FDT relates that dissipation to the fluctuation spectrum, and the fluctuation spectrum at zero frequency is the time-integral of the equilibrium autocorrelation of the relevant flux. Put together, a transport coefficient equals up to a factor — the Green–Kubo relation. So the same theorem that gives Johnson noise for a resistor gives the diffusion constant from the velocity autocorrelation and the viscosity from the stress autocorrelation. The Kubo formula develops these current-correlation expressions in full; here we note they are FDT corollaries at .