Fluctuation–dissipation theorem

Template:Short description The fluctuation–dissipation theorem (FDT) or fluctuation–dissipation relation (FDR) is a powerful tool in statistical physics for predicting the behavior of systems that obey detailed balance. Given that a system obeys detailed balance, the theorem is a proof that thermodynamic fluctuations in a physical variable predict the response quantified by the admittance or impedance (in their general sense, not only in electromagnetic terms) of the same physical variable (like voltage, temperature difference, etc.), and vice versa. The fluctuation–dissipation theorem applies both to classical and quantum mechanical systems.

The fluctuation–dissipation theorem was proven by Herbert Callen and Theodore Welton in 1951<ref name=Callen-Welton>Template:Cite journal</ref> and expanded by Ryogo Kubo. There are antecedents to the general theorem, including Einstein's explanation of Brownian motion<ref> Template:Cite journal </ref> during his annus mirabilis and Harry Nyquist's explanation in 1928 of Johnson noise in electrical resistors.<ref>Template:Cite journal</ref>

Qualitative overview and examples

The fluctuation–dissipation theorem says that when there is a process that dissipates energy, turning it into heat (e.g., friction), there is a reverse process related to thermal fluctuations. This is best understood by considering some examples:

Drag and Brownian motion

If an object is moving through a fluid, it experiences drag (air resistance or fluid resistance). Drag dissipates kinetic energy, turning it into heat. The corresponding fluctuation is Brownian motion. An object in a fluid does not sit still, but rather moves around with a small and rapidly changing velocity, as molecules in the fluid bump into it. Brownian motion converts heat energy into kinetic energy—the reverse of drag.

Resistance and Johnson noise

If electric current is running through a wire loop with a resistor in it, the current will rapidly go to zero because of the resistance. Resistance dissipates electrical energy, turning it into heat (Joule heating). The corresponding fluctuation is Johnson noise. A wire loop with a resistor in it does not actually have zero current, it has a small and rapidly fluctuating current caused by the thermal fluctuations of the electrons and atoms in the resistor. Johnson noise converts heat energy into electrical energy—the reverse of resistance.

Light absorption and thermal radiation

When light impinges on an object, some fraction of the light is absorbed, making the object hotter. In this way, light absorption turns light energy into heat. The corresponding fluctuation is thermal radiation (e.g., the glow of a "red hot" object). Thermal radiation turns heat energy into light energy—the reverse of light absorption. Indeed, Kirchhoff's law of thermal radiation confirms that the more effectively an object absorbs light, the more thermal radiation it emits.

Examples in detail

The fluctuation–dissipation theorem is a general result of statistical thermodynamics that quantifies the relation between the fluctuations in a system that obeys detailed balance and the response of the system to applied perturbations.

Brownian motion

For example, Albert Einstein noted in his 1905 paper on Brownian motion that the same random forces that cause the erratic motion of a particle in Brownian motion would also cause drag if the particle were pulled through the fluid. In other words, the fluctuation of the particle at rest has the same origin as the dissipative frictional force one must do work against, if one tries to perturb the system in a particular direction.

From this observation Einstein was able to use statistical mechanics to derive the Einstein–Smoluchowski relation <math display="block">

D = \mu \, k_\text{B} T,

</math> which connects the diffusion constant D and the particle mobility Template:Mvar, the ratio of the particle's terminal drift velocity to an applied force; Template:Math is the Boltzmann constant, and Template:Mvar is the absolute temperature.

Thermal noise in a resistor

In 1928, John B. Johnson discovered and Harry Nyquist explained Johnson–Nyquist noise. With no applied current, the mean-square voltage depends on the resistance <math>R</math>, <math>k_\text{B} T</math>, and the bandwidth <math>\Delta\nu</math> over which the voltage is measured:<ref name="Blundell2009">Template:Cite book</ref> <math display="block">

\langle V^2 \rangle \approx 4Rk_\text{B}T\,\Delta\nu.

</math>

File:JohnsonThermalNoise.png

A simple circuit for illustrating Johnson–Nyquist thermal noise in a resistor

This observation can be understood through the lens of the fluctuation-dissipation theorem. Take, for example, a simple circuit consisting of a resistor with a resistance <math>R</math> and a capacitor with a small capacitance <math>C</math>. Kirchhoff's voltage law yields <math display="block">

V = -R\frac{dQ}{dt}+\frac{Q}{C},

</math> and so the response function for this circuit is <math display="block">

\chi(\omega) \equiv \frac{Q(\omega)}{V(\omega)} = \frac{1}{\frac{1}{C} - i\omega R}.

</math>

In the low-frequency limit <math>\omega \ll (RC)^{-1}</math>, its imaginary part is simply <math display="block">

\operatorname{Im}\left[\chi(\omega)\right] \approx \omega RC^2,

</math> which then can be linked to the power spectral density function <math>S_V(\omega)</math> of the voltage via the fluctuation-dissipation theorem: <math display="block">

S_V(\omega) = \frac{S_Q(\omega)}{C^2} \approx \frac{2k_\text{B}T}{C^2\omega} \operatorname{Im}\left[\chi(\omega)\right] = 2Rk_\text{B}T.

</math>

The Johnson–Nyquist voltage noise <math>\langle V^2 \rangle</math> was observed within a small frequency bandwidth <math>\Delta \nu = \Delta\omega/(2\pi)</math> centered around <math>\omega=\pm \omega_0</math>. Hence <math display="block">

\langle V^2 \rangle \approx S_V(\omega) \times 2\Delta \nu \approx 4Rk_\text{B}T\Delta \nu.

</math>

General formulation

The fluctuation–dissipation theorem can be formulated in many ways; one particularly useful form is the following:Template:Citation needed.

Let <math>x(t)</math> be an observable of a dynamical system with Hamiltonian <math>H_0(x)</math> subject to thermal fluctuations. The observable <math>x(t)</math> will fluctuate around its mean value <math>\langle x \rangle_0</math> with fluctuations characterized by a power spectrum <math>S_x(\omega) = \langle \hat{x}(\omega)\hat{x}^*(\omega) \rangle</math>. Suppose that we can switch on a time-varying, spatially constant field <math>f(t)</math> which alters the Hamiltonian to <math>H(x) = H_0(x) - f(t)x</math>. The response of the observable <math>x(t)</math> to a time-dependent field <math>f(t)</math> is characterized to first order by the susceptibility or linear response function <math>\chi(t)</math> of the system <math display="block">

\langle x(t) \rangle = \langle x \rangle_0 + \int_{-\infty}^t f(\tau) \chi(t - \tau)\,d\tau,

</math> where the perturbation is adiabatically (very slowly) switched on at <math>\tau = -\infty.</math>

The fluctuation–dissipation theorem relates the two-sided power spectrum (i.e. both positive and negative frequencies) of <math>x</math> to the imaginary part of the Fourier transform <math>\hat{\chi}(\omega)</math> of the susceptibility <math>\chi(t)</math>: <math display="block">

S_x(\omega) = -\frac{2 k_\text{B} T}{\omega} \operatorname{Im}\hat{\chi}(\omega),

</math> which holds under the Fourier transform convention <math>f(\omega) =\int_{-\infty}^\infty f(t) e^{-i\omega t}\, dt</math>. The left-hand side describes fluctuations in <math>x</math>, the right-hand side is closely related to the energy dissipated by the system when pumped by an oscillatory field <math>f(t) = F \sin(\omega t + \phi)</math>. The spectrum of fluctuations reveal the linear response, because past fluctuations cause future fluctuations via a linear response upon itself.

This is the classical form of the theorem; quantum fluctuations are taken into account by replacing <math>2 k_\text{B} T / \omega</math> with <math>\hbar \, \coth(\hbar\omega / 2k_\text{B}T)</math> (whose limit for <math>\hbar \to 0</math> is <math>2 k_\text{B} T/\omega</math>). A proof can be found by means of the LSZ reduction, an identity from quantum field theory.Template:Citation needed

The fluctuation–dissipation theorem can be generalized in a straightforward way to the case of space-dependent fields, to the case of several variables or to a quantum-mechanics setting.<ref name=Callen-Welton/>

Derivation

Classical version

We derive the fluctuation–dissipation theorem in the form given above, using the same notation. Consider the following test case: the field Template:Math has been on for infinite time and is switched off at Template:Math

<math display="block"> f(t) = f_0 \theta(-t) , </math> where <math> \theta(t)</math> is the Heaviside function. We can express the expectation value of Template:Mvar by the probability distribution Template:Math and the transition probability <math> P(x',t | x,0) </math>

<math display="block"> \langle x(t) \rangle = \int dx' \int dx \, x' P(x',t|x,0) W(x,0) . </math>

The probability distribution function W(x,0) is an equilibrium distribution and hence given by the Boltzmann distribution for the Hamiltonian <math> H(x) = H_0(x) - x f_0 </math>

<math display="block"> W(x,0)= \frac{\exp(-\beta H(x))}{\int dx' \, \exp(-\beta H(x'))} \,, </math> where <math>\beta^{-1} = k_\text{B}T</math>. For a weak field <math> \beta x f_0 \ll 1 </math>, we can expand the right-hand side

<math display="block"> W(x,0) \approx W_0(x) [1+\beta f_0 (x-\langle x \rangle_0)], </math>

here <math> W_0(x) </math> is the equilibrium distribution in the absence of a field. Plugging this approximation in the formula for <math> \langle x(t) \rangle </math> yields Template:NumBlk where A(t) is the auto-correlation function of x in the absence of a field:

<math display="block"> A(t)=\langle [x(t)-\langle x \rangle_0][ x(0)-\langle x \rangle_0] \rangle_0. </math>

Note that in the absence of a field the system is invariant under time-shifts. We can rewrite <math> \langle x(t) \rangle - \langle x \rangle_0 </math> using the susceptibility of the system and hence find with the above Template:EqNote

<math display="block"> f_0 \int_0^{\infty} d\tau \, \chi(\tau) \theta(\tau-t) = \beta f_0 A(t) </math>

Consequently, Template:NumBlk

To make a statement about frequency dependence, it is necessary to take the Fourier transform of Template:EqNote. By integrating by parts, it is possible to show that <math display="block"> -\hat\chi(\omega) = i\omega\beta \int_0^\infty e^{-i\omega t} A(t)\, dt -\beta A(0).</math>

Since <math>A(t)</math> is real and symmetric, it follows that <math display="block"> 2 \operatorname{Im}[\hat\chi(\omega)] = -\omega\beta \hat A(\omega).</math>

Finally, for stationary processes, the Wiener–Khinchin theorem states that the two-sided spectral density is equal to the Fourier transform of the auto-correlation function: <math display="block"> S_x(\omega) = \hat{A}(\omega).</math>

Therefore, it follows that <math display="block"> S_x(\omega) = -\frac{2k_\text{B} T}{\omega} \operatorname{Im}[\hat\chi(\omega)].</math>

Quantum version

The fluctuation-dissipation theorem relates the correlation function of the observable of interest <math>\langle \hat{x}(t)\hat{x}(0)\rangle</math> (a measure of fluctuation) to the imaginary part of the response function <math>\text{Im}\left[\chi(\omega)\right]=\left[\chi(\omega)-\chi^*(\omega)\right]/2i</math> in the frequency domain (a measure of dissipation). A link between these quantities can be found through the so-called Kubo formula<ref>Template:Cite journal</ref>

<math display="block">\chi(t-t')=\frac{i}{\hbar}\theta(t-t')\langle [\hat{x}(t),\hat{x}(t')] \rangle</math>

which follows, under the assumptions of the linear response theory, from the time evolution of the ensemble average of the observable <math>\langle\hat{x}(t)\rangle</math> in the presence of a perturbing source. Once Fourier transformed, the Kubo formula allows writing the imaginary part of the response function as

<math display="block">\text{Im}\left[\chi(\omega)\right] = \frac{1}{2\hbar} \int_{-\infty}^{+\infty}\langle \hat{x}(t)\hat{x}(0) - \hat{x}(0)\hat{x}(t)\rangle e^{i\omega t}dt.</math>

In the canonical ensemble, the second term can be re-expressed as

<math display="block">\langle \hat{x}(0) \hat{x}(t)\rangle = \operatorname{Tr} e^{-\beta \hat{H}}\hat{x}(0)\hat{x}(t) = \operatorname{Tr} \hat{x}(t) e^{-\beta \hat{H}}\hat{x}(0) = \operatorname{Tr} e^{-\beta \hat{H}}\underbrace{e^{\beta \hat{H}}\hat{x}(t) e^{-\beta \hat{H}}}_{\hat{x}(t-i\hbar\beta)}\hat{x}(0)=\langle \hat{x}(t-i\hbar\beta) \hat{x}(0)\rangle</math>

where in the second equality we re-positioned <math>\hat{x}(t)</math> using the cyclic property of trace. Next, in the third equality, we inserted <math>e^{-\beta \hat{H}}e^{\beta \hat{H}}</math> next to the trace and interpreted <math>e^{-\beta\hat{H}}</math> as a time evolution operator <math>e^{-\frac{i}{\hbar}\hat{H}\Delta t}</math> with imaginary time interval <math>\Delta t = -i\hbar\beta</math>. The imaginary time shift turns into a <math>e^{-\beta\hbar\omega}</math> factor after Fourier transform

<math display="block">\int_{-\infty}^{+\infty}\langle \hat{x}(t-i\hbar\beta)\hat{x}(0)\rangle e^{i\omega t}dt = e^{-\beta\hbar\omega}\int_{-\infty}^{+\infty} \langle \hat{x}(t)\hat{x}(0)\rangle e^{i\omega t}dt</math>

and thus the expression for <math>\text{Im}\left[\chi(\omega)\right]</math> can be easily rewritten as the quantum fluctuation-dissipation relation <ref>Template:Cite journal</ref>

<math display="block">S_{x}(\omega)=2\hbar\left[n_\text{BE}(\omega)+1\right]\text{Im}\left[\chi(\omega)\right]</math>

where the power spectral density <math>S_{x}(\omega)</math> is the Fourier transform of the auto-correlation <math>\langle \hat{x}(t) \hat{x}(0)\rangle</math> and <math>n_\text{BE}(\omega)=\left(e^{\beta\hbar\omega}-1\right)^{-1}</math> is the Bose-Einstein distribution function. The same calculation also yields

<math display="block">S_{x}(-\omega) = e^{-\beta\hbar\omega}S_{x}(\omega) = 2\hbar\left[n_\text{BE}(\omega)\right] \text{Im}\left[\chi(\omega)\right]\neq S_{x}(+\omega)</math>

thus, differently from what obtained in the classical case, the power spectral density is not exactly frequency-symmetric in the quantum limit. Consistently, <math>\langle \hat{x}(t)\hat{x}(0)\rangle</math> has an imaginary part originating from the commutation rules of operators.<ref>Template:Cite journal</ref> The additional "<math>+1</math>" term in the expression of <math>S_x(\omega)</math> at positive frequencies can also be thought of as linked to spontaneous emission. An often cited result is also the symmetrized power spectral density

<math display="block">\frac{S_x(\omega)+S_x(-\omega)}{2} = 2\hbar\left[n_\text{BE}(\omega)+\frac{1}{2}\right] \text{Im}\left[\chi(\omega)\right] = \hbar\coth\left(\frac{\hbar\omega}{2k_BT}\right)\text{Im}\left[\chi(\omega)\right].</math>

The "<math>+1/2</math>" can be thought of as linked to quantum fluctuations, or to zero-point motion of the observable <math>\hat{x}</math>. At high enough temperatures, <math>n_\text{BE}\approx (\beta\hbar\omega)^{-1}\gg 1</math>, i.e. the quantum contribution is negligible, and we recover the classical version.

Violations in glassy systems

While the fluctuation–dissipation theorem provides a general relation between the response of systems obeying detailed balance, when detailed balance is violated comparison of fluctuations to dissipation is more complex. Below the so called glass temperature <math>T_\text{g}</math>, glassy systems are not equilibrated, and slowly approach their equilibrium state. This slow approach to equilibrium is synonymous with the violation of detailed balance. Thus these systems require large time-scales to be studied while they slowly move toward equilibrium.

To study the violation of the fluctuation-dissipation relation in glassy systems, particularly spin glasses, researchers have performed numerical simulations of macroscopic systems (i.e. large compared to their correlation lengths) described by the three-dimensional Edwards-Anderson model using supercomputers.<ref name="Parisi2017">Template:Cite journal</ref> In their simulations, the system is initially prepared at a high temperature, rapidly cooled to a temperature <math>T=0.64 T_\text{g}</math> below the glass temperature <math>T_\text{g}</math>, and left to equilibrate for a very long time <math>t_\text{w}</math> under a magnetic field <math>H</math>. Then, at a later time <math>t + t_\text{w}</math>, two dynamical observables are probed, namely the response function <math display="block">\chi(t+t_\text{w},t_\text{w})\equiv\left.\frac{\partial m(t+t_\text{w})}{\partial H}\right|_{H=0}</math> and the spin-temporal correlation function <math display="block">C(t+t_\text{w},t_\text{w})\equiv \frac{1}{V}\left.\sum_{x}\langle S_x(t_\text{w}) S_x(t+t_\text{w})\rangle\right|_{H=0}</math> where <math>S_x = \pm 1</math> is the spin living on the node <math>x</math> of the cubic lattice of volume <math>V</math>, and <math display="inline">m(t) \equiv \frac{1}{V} \sum_{x} \langle S_{x}(t) \rangle</math> is the magnetization density. The fluctuation-dissipation relation in this system can be written in terms of these observables as <math display="block">T\chi(t+t_\text{w}, t_\text{w}) = 1-C(t+t_\text{w}, t_\text{w})</math>

Their results confirm the expectation that as the system is left to equilibrate for longer times, the fluctuation-dissipation relation is closer to be satisfied.

In the mid-1990s, in the study of dynamics of spin glass models, a generalization of the fluctuation–dissipation theorem was discovered that holds for asymptotic non-stationary states, where the temperature appearing in the equilibrium relation is substituted by an effective temperature with a non-trivial dependence on the time scales.<ref>Template:Cite journal</ref> This relation is proposed to hold in glassy systems beyond the models for which it was initially found.

Nonequilibrium driven systems

In systems subjected to an external driving force, which could be an electromagnetic field or a mechanical shear flow, the standard fluctuation-dissipation theorem gets modified because the statistics of the bath is influenced by the driving field. As a result, the thermal noise becomes biased and the fluctuation-dissipation relation becomes intrinsically non-Markovian, typically with a memory related to the time-autocorrelation of the external field (for the case of a time-dependent external drive). These modified fluctuation-dissipation relations can be derived from a Caldeira-Leggett Hamiltonian for a particle interacting with a thermal bath, where both the particle and the bath respond to the external field.<ref>Template:Cite journal</ref><ref>Template:Cite journal</ref>

See also

• Non-equilibrium thermodynamics
• Green–Kubo relations
• Onsager reciprocal relations
• Equipartition theorem
• Boltzmann distribution
• Dissipative system

References

• Template:Cite journal
• Template:Cite book
• Template:Cite journal

Further reading

• Audio recording of a lecture by Prof. E. W. Carlson of Purdue University
• Kubo's famous text: Fluctuation-dissipation theorem
• Template:Cite journal
• Template:Cite journal
• Template:Cite journal
• Template:Cite book
• Template:Cite book
• Template:Cite book
• Template:Cite book
• Template:Cite book
• Template:Cite book
• Template:Cite journal