Fluctuation–dissipation theorem

From testwiki
Jump to navigation Jump to search

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[1] and expanded by Ryogo Kubo. There are antecedents to the general theorem, including Einstein's explanation of Brownian motion[2] during his annus mirabilis and Harry Nyquist's explanation in 1928 of Johnson noise in electrical resistors.[3]

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:

Template:Bullet list

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

D=μkBT

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 R, kBT, and the bandwidth Δν over which the voltage is measured:[4]

V24RkBTΔν.

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 R and a capacitor with a small capacitance C. Kirchhoff's voltage law yields

V=RdQdt+QC

and so the response function for this circuit is

χ(ω)Q(ω)V(ω)=11CiωR

In the low-frequency limit ω(RC)1, its imaginary part is simply

Im[χ(ω)]ωRC2

which then can be linked to the power spectral density function SV(ω) of the voltage via the fluctuation-dissipation theorem

SV(ω)=SQ(ω)C22kBTC2ωIm[χ(ω)]=2RkBT

The Johnson–Nyquist voltage noise V2 was observed within a small frequency bandwidth Δν=Δω/(2π) centered around ω=±ω0. Hence

V2SV(ω)×2Δν4RkBTΔν

General formulation

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

Let x(t) be an observable of a dynamical system with Hamiltonian H0(x) subject to thermal fluctuations. The observable x(t) will fluctuate around its mean value x0 with fluctuations characterized by a power spectrum Sx(ω)=x^(ω)x^*(ω). Suppose that we can switch on a time-varying, spatially constant field f(t) which alters the Hamiltonian to H(x)=H0(x)f(t)x. The response of the observable x(t) to a time-dependent field f(t) is characterized to first order by the susceptibility or linear response function χ(t) of the system

x(t)=x0+tf(τ)χ(tτ)dτ,

where the perturbation is adiabatically (very slowly) switched on at τ=.

The fluctuation–dissipation theorem relates the two-sided power spectrum (i.e. both positive and negative frequencies) of x to the imaginary part of the Fourier transform χ^(ω) of the susceptibility χ(t): Sx(ω)=2kBTωImχ^(ω).

which holds under the Fourier transform convention f(ω)=f(t)eiωtdt. The left-hand side describes fluctuations in x, the right-hand side is closely related to the energy dissipated by the system when pumped by an oscillatory field f(t)=Fsin(ωt+ϕ). 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 2kBT/ω with coth(ω/2kBT) (whose limit for 0 is 2kBT/ω). 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.[1]

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

f(t)=f0θ(t), where θ(t) is the Heaviside function. We can express the expectation value of Template:Mvar by the probability distribution Template:Math and the transition probability P(x,t|x,0)

x(t)=dxdxxP(x,t|x,0)W(x,0).

The probability distribution function W(x,0) is an equilibrium distribution and hence given by the Boltzmann distribution for the Hamiltonian H(x)=H0(x)xf0

W(x,0)=exp(βH(x))dxexp(βH(x)), where β1=kBT. For a weak field βxf01, we can expand the right-hand side

W(x,0)W0(x)[1+βf0(xx0)],

here W0(x) is the equilibrium distribution in the absence of a field. Plugging this approximation in the formula for x(t) yields Template:NumBlk where A(t) is the auto-correlation function of x in the absence of a field:

A(t)=[x(t)x0][x(0)x0]0.

Note that in the absence of a field the system is invariant under time-shifts. We can rewrite x(t)x0 using the susceptibility of the system and hence find with the above Template:EqNote

f00dτχ(τ)θ(τt)=βf0A(t)

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 χ^(ω)=iωβ0eiωtA(t)dtβA(0).

Since A(t) is real and symmetric, it follows that 2Im[χ^(ω)]=ωβA^(ω).

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: Sx(ω)=A^(ω).

Therefore, it follows that Sx(ω)=2kBTωIm[χ^(ω)].

Quantum version

The fluctuation-dissipation theorem relates the correlation function of the observable of interest x^(t)x^(0) (a measure of fluctuation) to the imaginary part of the response function Im[χ(ω)]=[χ(ω)χ*(ω)]/2i in the frequency domain (a measure of dissipation). A link between these quantities can be found through the so-called Kubo formula[5]

χ(tt)=iθ(tt)[x^(t),x^(t)]

which follows, under the assumptions of the linear response theory, from the time evolution of the ensemble average of the observable x^(t) in the presence of a perturbing source. Once Fourier transformed, the Kubo formula allows writing the imaginary part of the response function as

Im[χ(ω)]=12+x^(t)x^(0)x^(0)x^(t)eiωtdt.

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

x^(0)x^(t)=TreβH^x^(0)x^(t)=Trx^(t)eβH^x^(0)=TreβH^eβH^x^(t)eβH^x^(tiβ)x^(0)=x^(tiβ)x^(0)

where in the second equality we re-positioned x^(t) using the cyclic property of trace. Next, in the third equality, we inserted eβH^eβH^ next to the trace and interpreted eβH^ as a time evolution operator eiH^Δt with imaginary time interval Δt=iβ. The imaginary time shift turns into a eβω factor after Fourier transform

+x^(tiβ)x^(0)eiωtdt=eβω+x^(t)x^(0)eiωtdt

and thus the expression for Im[χ(ω)] can be easily rewritten as the quantum fluctuation-dissipation relation [6]

Sx(ω)=2[nBE(ω)+1]Im[χ(ω)]

where the power spectral density Sx(ω) is the Fourier transform of the auto-correlation x^(t)x^(0) and nBE(ω)=(eβω1)1 is the Bose-Einstein distribution function. The same calculation also yields

Sx(ω)=eβωSx(ω)=2[nBE(ω)]Im[χ(ω)]Sx(+ω)

thus, differently from what obtained in the classical case, the power spectral density is not exactly frequency-symmetric in the quantum limit. Consistently, x^(t)x^(0) has an imaginary part originating from the commutation rules of operators.[7] The additional "+1" term in the expression of Sx(ω) at positive frequencies can also be thought of as linked to spontaneous emission. An often cited result is also the symmetrized power spectral density

Sx(ω)+Sx(ω)2=2[nBE(ω)+12]Im[χ(ω)]=coth(ω2kBT)Im[χ(ω)].

The "+1/2" can be thought of as linked to quantum fluctuations, or to zero-point motion of the observable x^. At high enough temperatures, nBE(βω)11, 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 Tg, 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.[8] In their simulations, the system is initially prepared at a high temperature, rapidly cooled to a temperature T=0.64Tg below the glass temperature Tg, and left to equilibrate for a very long time tw under a magnetic field H. Then, at a later time t+tw, two dynamical observables are probed, namely the response function χ(t+tw,tw)m(t+tw)H|H=0 and the spin-temporal correlation function C(t+tw,tw)1VxSx(tw)Sx(t+tw)|H=0 where Sx=±1 is the spin living on the node x of the cubic lattice of volume V, and m(t)1VxSx(t) is the magnetization density. The fluctuation-dissipation relation in this system can be written in terms of these observables as Tχ(t+tw,tw)=1C(t+tw,tw)

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.[9] 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.[10][11]

See also

Notes

Template:Reflist

References

Template:Refbegin

Template:Refend

Further reading