View source for Jarzynski equality

{{Short description|Equation in statistical mechanics}}
The '''Jarzynski equality''' ('''JE''') is an [[equation]] in [[statistical mechanics]] that relates [[Thermodynamic free energy|free energy]] differences between two states and the irreversible work along an ensemble of trajectories joining the same states. It is named after the physicist [[Christopher Jarzynski]] (then at the [[University of Washington]] and [[Los Alamos National Laboratory]], currently at the [[University of Maryland]]) who derived it in 1996.<ref name="Jarzynski1">{{citation|first1=C.|last1=Jarzynski|title=Nonequilibrium equality for free energy differences|journal=Phys. Rev. Lett.|volume=78| page=2690|year=1997|issue=14|doi=10.1103/PhysRevLett.78.2690|arxiv = cond-mat/9610209 |bibcode = 1997PhRvL..78.2690J |s2cid=16112025}}</ref><ref name="Jarzynski2">{{citation|first1=C.|last1=Jarzynski|title=Equilibrium free-energy differences from nonequilibrium measurements: A master-equation approach|journal=Phys. Rev. E|volume=56|page=5018|year=1997|issue=5|doi=10.1103/PhysRevE.56.5018|arxiv = cond-mat/9707325 |bibcode = 1997PhRvE..56.5018J |s2cid=119101580}}</ref>  Fundamentally, the Jarzynski equality points to the fact that the fluctuations in the work satisfy certain constraints separately from the average value of the work that occurs in some process.

==Overview==
In [[thermodynamics]], the free energy difference <math>\Delta F = F_B - F_A</math> between two states ''A'' and ''B'' is connected to the work ''W'' done on the system through the ''inequality'':

: <math> \Delta F \leq W </math>,

with equality holding only in the case of a [[quasistatic process]], i.e. when one takes the system from ''A'' to ''B'' infinitely slowly (such that all intermediate states are in [[thermodynamic equilibrium]]).  In contrast to the thermodynamic statement above, the JE remains valid no matter how fast the process happens. The JE states:

: <math> e^ { -\Delta F / k T} = \overline{ e^{ -W/kT } }. </math>

Here ''k'' is the [[Boltzmann constant]] and ''T'' is the temperature of the system in the equilibrium state ''A'' or, equivalently, the temperature of the [[heat reservoir]] with which the system was thermalized before the process took place.

The over-line indicates an average over all possible realizations of an external process that takes the system from the equilibrium state ''A'' to a new, generally nonequilibrium state under the same external conditions as that of the equilibrium state ''B''.  This average over possible realizations is an average over different possible fluctuations that could occur during the process (due to Brownian motion, for example), each of which will cause a slightly different value for the work done on the system.  In the limit of an infinitely slow process, the work ''W'' performed on the system in each realization is numerically the same, so the average becomes irrelevant and the Jarzynski equality reduces to the thermodynamic equality <math>\Delta F = W</math> (see above).  Away from the infinitely slow limit, the average value of the work obeys <math>\Delta F \leq \overline{W}, </math> while the distribution of the fluctuations in the work are further constrained such that  <math> e^ { -\Delta F / k T} = \overline{ e^{ -W/kT } }. </math>  In this general case, ''W'' depends upon the specific initial [[microstate (statistical mechanics)|microstate]] of the system, though its average can still be related to <math>\Delta F</math> through an application of [[Jensen's inequality]] in the JE, viz.

: <math>\Delta F \leq \overline{W}, </math>

in accordance with the second law of thermodynamics.

The Jarzynski equality holds when the initial state is a Boltzmann distribution (e.g.  the system is in equilibrium) and the system and environment can be described by a large number of degrees of freedom evolving under arbitrary Hamiltonian dynamics. The final state does not need to be in equilibrium. (For example, in the textbook case of a gas compressed by a piston, the gas is equilibrated at piston position ''A'' and compressed to piston position ''B''; in the Jarzynski equality, the final state of the gas does not need to be equilibrated at this new piston position).

Since its original derivation, the Jarzynski equality has been verified in a variety of contexts, ranging from experiments with biomolecules to numerical simulations.<ref>{{Cite journal |last1=Rademacher |first1=Markus |last2=Konopik |first2=Michael |last3=Debiossac |first3=Maxime |last4=Grass |first4=David |last5=Lutz |first5=Eric |last6=Kiesel |first6=Nikolai |date=2022-02-15 |title=Nonequilibrium Control of Thermal and Mechanical Changes in a Levitated System |url=https://link.aps.org/doi/10.1103/PhysRevLett.128.070601 |journal=Physical Review Letters |language=en |volume=128 |issue=7 |pages=070601 |doi=10.1103/PhysRevLett.128.070601 |pmid=35244419 |arxiv=2103.10898 |bibcode=2022PhRvL.128g0601R |s2cid=232290453 |issn=0031-9007}}</ref> The [[Crooks fluctuation theorem]], proved two years later, leads immediately to the Jarzynski equality.  Many other theoretical derivations have also appeared, lending further confidence to its generality.

== Examples ==

=== Fluctuation-dissipation theorem ===
Taking the log of <math>E[e^{-\beta W}] = e^{-\beta \Delta F} </math>, and use the [[Cumulant|cumulant expansion]] up to the second cumulant, we obtain <math>E[W] - \Delta F \approx \frac 12 \beta \sigma_W^2</math>. The left side is the work dissipated into the heat bath, and the right side could be interpreted as the fluctuation in the work due to thermal noise.

Consider dragging an overdamped particle in a viscous fluid with temperature <math>T</math> at constant force <math>f</math> for a time <math>t</math>. Because there is no potential energy for the particle, the change in free energy is zero, so we obtain <math>E[W] = \frac 12 \beta \sigma_W^2 = \frac 12 \beta f^2 \sigma_x^2</math>.

The work expended is <math>fx</math>, where <math>x</math> is the total displacement during the time. The particle's displacement has a mean part due to the external dragging, and a varying part due to its own diffusion, so <math>\sigma_{x}^2 = 2D t</math>, where <math>D</math> is the diffusion coefficient. Together, we obtain<math display="block">f = \frac{k_B T}{D} E[x]/t</math>or <math>\gamma D = k_BT  </math>, where <math>\gamma</math> is the [[viscosity]]. This is the [[fluctuation-dissipation theorem]].<ref>{{Cite journal |last=Gittes |first=Fred |date=2018-01-01 |title=Two famous results of Einstein derived from the Jarzynski equality |url=https://pubs.aip.org/ajp/article/86/1/31/1045863/Two-famous-results-of-Einstein-derived-from-the |journal=American Journal of Physics |language=en |volume=86 |issue=1 |pages=31–35 |doi=10.1119/1.5003009 |issn=0002-9505|arxiv=1704.07805 }}</ref>

In fact, for most trajectories, the work is positive, but for some rare trajectories, the work is negative, and those contribute enormously to the expectation, giving us an expectation that is exactly one.

==History==

A question has been raised about who gave the earliest statement of the Jarzynski equality.  For example, in 1977 the Russian physicists G.N. Bochkov and Yu. E. Kuzovlev (see Bibliography) proposed a generalized version of the [[fluctuation-dissipation theorem]] which holds in the presence of arbitrary external time-dependent forces. Despite its close similarity to the JE, the Bochkov-Kuzovlev result does not relate free energy differences to work measurements, as discussed by Jarzynski himself in 2007.<ref name="Jarzynski1"/><ref name="Jarzynski2"/>

Another similar statement to the Jarzynski equality is the [[nonequilibrium partition identity]], which can be traced back to Yamada and Kawasaki. (The Nonequilibrium Partition Identity is the Jarzynski equality applied to two systems whose free energy difference is zero - like straining a fluid.) However, these early statements are very limited in their application. Both Bochkov and Kuzovlev as well as Yamada and Kawasaki consider a deterministic time reversible [[Hamiltonian system]].  As Kawasaki himself noted this precludes any treatment of nonequilibrium steady states. The fact that these nonequilibrium systems heat up forever because of the lack of any thermostatting mechanism leads to divergent integrals etc. No purely Hamiltonian description is capable of treating the experiments carried out to verify the [[Crooks fluctuation theorem]], Jarzynski equality and the [[fluctuation theorem]]. These experiments involve thermostatted systems in contact with heat baths.

==See also==
* [[Fluctuation theorem]] - Provides an equality that quantifies fluctuations in time averaged entropy production in a wide variety of nonequilibrium systems.
* [[Crooks fluctuation theorem]] - Provides a fluctuation theorem between two equilibrium states.  Implies Jarzynski equality.
* [[Nonequilibrium partition identity]]

==References==
{{reflist}}

==Bibliography==
* {{citation|first1=G. E.|last1=Crooks|title=Nonequilibrium measurements of free energy differences for microscopically reversible Markovian systems|journal= J. Stat. Phys.|volume=90|page=1481|year=1998|issue=5/6|doi=10.1023/A:1023208217925|bibcode = 1998JSP....90.1481C |s2cid=7014602}}

For earlier results dealing with the statistics of work in adiabatic (i.e. Hamiltonian) nonequilibrium processes, see:
* {{citation|first1=G. N.| last1= Bochkov| first2=Yu. E. | last2=Kuzovlev|journal= Zh. Eksp. Teor. Fiz.| title= General theory of thermal fluctuations in nonlinear systems| volume=72| page= 238| year= 1977| bibcode = 1977ZhETF..72..238B }}; ''op. cit.'' '''76''', 1071 (1979)
* {{citation|first1=G. N.|last1= Bochkov| first2=Yu. E.|last2=Kuzovlev|journal=Physica A| title= Nonlinear fluctuation-dissipation relations and stochastic models in nonequilibrium thermodynamics: I. Generalized fluctuation-dissipation theorem| volume=106| page=443| year=1981|issue= 3| doi=10.1016/0378-4371(81)90122-9|bibcode = 1981PhyA..106..443B }}; ''op. cit.'' '''106A''', 480 (1981)
* {{citation|first1=K.|last1=Kawasaki|first2=J.D.|last2=Gunton|title=Theory of Nonlinear Transport Processes: Nonlinear Shear Viscosity and Normal Stress Effects| journal=Phys. Rev. A|volume=8| page=2048| year=1973|issue=4| doi=10.1103/PhysRevA.8.2048|bibcode = 1973PhRvA...8.2048K }}
* {{citation| first1=T.| last1=Yamada| first2=K.| last2=Kawasaki| journal=Prog. Theor. Phys. | title=Nonlinear Effects in the Shear Viscosity of Critical Mixtures| volume=38| page= 1031| year=1967 | issue=5|doi=10.1143/PTP.38.1031|bibcode = 1967PThPh..38.1031Y | doi-access=free}}

For a comparison of such results, see:
* {{citation|first1=C.|last1=Jarzynski|title=Comparison of far-from-equilibrium work relations|journal=Comptes Rendus Physique|volume=8|page=495|year=2007|issue=5–6|doi=10.1016/j.crhy.2007.04.010|arxiv = cond-mat/0612305 |bibcode = 2007CRPhy...8..495J |s2cid=119086414}}

For an extension to relativistic Brownian motion, see:
* {{citation|first1=P. S.|last1=Pal|first2=Sebastian|last2=Deffner|title=Stochastic thermodynamics of relativistic Brownian motion|journal=New Journal of Physics|volume=22|page=073054|year=2020|issue=7|doi=10.1088/1367-2630/ab9ce6|arxiv=2003.02136|bibcode=2020NJPh...22g3054P|doi-access=free}}

==External links==
* [http://xstructure.inr.ac.ru/x-bin/theme2.py?arxiv=cond-mat&level=1&index1=6091 Jarzynski Equality on arxiv.org]
* [https://arxiv.org/abs/0803.0719 "Fluctuation-Dissipation: Response Theory in Statistical Physics" by Umberto Marini Bettolo Marconi, Andrea Puglisi, Lamberto Rondoni, Angelo Vulpiani]

[[Category:Statistical mechanics]]
[[Category:Non-equilibrium thermodynamics]]
[[Category:Equations]]