Arxiv:1906.10069V2 [Cond-Mat.Stat-Mech] 8 May 2020 Intermadrltdtopics
Total Page:16
File Type:pdf, Size:1020Kb
1 Nonequilibrium and In this review only the foundations of the theory are Fluctuation Relation discussed, as I cannot present the many (pertinent) de- Giovanni Gallavotti velopments that followed, starting with the early ones, [3–7]. May 11, 2020 The FR arises from a simple theorem on dynamical This review is dedicated to Joel Lebowitz to systems, the Fluctuation Theorem, (FT). The FT ap- witness my gratitude for his constant guidance plies, under further suitable assumptions, to Anosov sys- and teaching which influenced indelibly my work. tems: which can be considered as playing a role analogous to that played for non chaotic systems by the harmonic Abstract: A review on the fluctuation relation, fluctua- oscillators, although sometimes they are considered an tion theorem and related topics. abstract mathematical notion.1 In natural observations initial data are generated by a well defined procedure, that is sometimes called a pro- tocol, but are always affected by unavoidable errors, no Contents matter how carefully one fixes the protocol. Therefore initial data are generated with a probabil- I. Introduction 1 ity distribution: defined by the protocol and unknown. II. Stationary Distributions (SRB) 3 Yet it is subject to the fundamental assumption that it III. Symmetries, (time reversal) 3 is a probability distribution on the “phase space” M (a IV. Example: reversible dissipation 4 smooth Riemannian manifold here) which admits a den- sity with respect to the volume of M. The probability V. Hamiltonian dissipation? 5 of x M being in a open set dx around x has the form VI. Fluctuation Relation (FR) 6 ρ(x)dx∈ where ρ is some continuous function (or slightly VII. Nonequilibrium ensembles. Ensembles equivalence 7 more general). This is an assumption which should not VIII. Strong Dissipation: attracting set size. Lyapunov pairs. 9 be overlooked: it cannot be proved but it is always as- sumed (at least tacitly) and is, therefore, a law of na- IX. Dissipation. Time Reversal & FR. 10 ture, with the far reaching consequence that it leads to X. Fluctuation Dissipation Theorem 12 the determination of the probability distributions of the XI. Onsager’s Reciprocity 13 stationary states in equilibrium as well as in nonequilib- XII. Fluctuation Patterns 14 rium systems: see below. XIII. Irreversibility time scale 15 The connection with Physics is established via the hy- pothesis (called Chaotic Hypothesis, (CH)) stating that XIV. Chaos. Structure of Anosov systems. Their digital codes. 16 “all” systems exhibiting chaotic motions can be treated XV. Volume as stochastic process. SRB as Ising spin chain equilibrium 18 for many purposes as Anosov systems. Informally, in such systems an observer co-moving, in phase space M, with XVI. Entropy ? Stationarity & Approach to it 20 a point x sees it as a “saddle point” (mathematically a XVII. Viscous Fluids and Reversibility 21 “hyperbolic fixed point”), while it wanders invading an XVIII. Simulations on 2D-NS 23 attracting surface in M, The notion of Anosov maps A XIX. Other relations. Comments. 25 and flows, [9, 10],[11, Ch.4], is briefly recalled in the foot- A. Transient fluctuation theorem 25 2 B. The Jarzinsky relation 26 note. C. Ruelle-Lieb bounds 27 D. Wishes 27 A. About certain comments on CH 28 B. Local Fluctuations. An example. 28 1e.g. “Whether or not speculations concerning such hypotheti- C. Reversible heating 30 cal Anosov systems are an aid or a hindrance to understanding seems to be an aesthetic question”, [8, p.221]. D. Arnold-Euler geodesics 31 2If M is a smooth (i.e. -differentiable) bounded manifold ∞ References 32 and S is an invertible smooth (i.e. -differentiable together −1 ∞ arXiv:1906.10069v2 [cond-mat.stat-mech] 8 May 2020 with the inverse S ) map on M, the system (M,S) is an Anosov map if (a) at every point x M there are two complementary tan- ∈ I. INTRODUCTION gent planes Ts(x) and Tu(x), transverse in x, which depend continuosly on x, are covariant in the sense that the Jacobian ∂S(x)±1 acts on the plane tangent to the attracting set so Many works investigate the Fluctuation Relation, ±1 ±1 that ∂S(x) Tγ (x)= Tγ (S(x) ),γ = u, s, (FR): but its interpretation is often very far from the (b) furthermore there are C > 0,λ< 1 such that ∂Sn(x)v < n −n n| | original one proposed in [1] and in subsequent works, see Cλ v ,n> 0 if v Ts(x) and ∂S (x)v < Cλ v ,n> 0 if | | ∈ | | | | for instance [2]. Here I present the original point of view v Tu(x), referring also a few of its interpretations, consequences (c)∈ there is a point whose orbit is dense in M. and related conjectures. The definition of Anosov flow is similar: the covariant mutu- 1 2 Suppose that evolution ( -smooth, for simplicity) of a defined on a manifold M containing a globally attracting mechanical system is defined∞ by a map S on a phase space smooth surface on which the motion is an Anosov map M and is attracted by an -smooth surface M on or flow. Then allA initial data x, aside from a set of zero which S is an Anosov map∞S , as consideredA ⊂ here volume, evolve visiting open sets D with a time frequency in most cases (for simplicity).A←→A It transforms an initial µ(D): the probability distribution µ is independent on the datum x into the new datum Sx in a single time step; protocol generating x. The probability µ is ergodic and then the main property of the dynamical system (M,S) mixing at exponential rate for all smooth observables. is that the evolution is chaotic and a phase space point, Phase space M can be a smooth manifold or, more with exceptions forming a set of zero volume, moves ac- n cumulating at the attracting surface densely.3 Such S generally, an open set in R for some n, which is a do- will be called a map with an AnosovA attractor.4 main of attraction of M. For systems with a global Anosov attractor (flowsA⊂ or maps) the associated unique The key property of maps with an Anosov attractor is stationary probability distribution µ(dx) that defines the that the fraction of time asymptotically spent in any open statistical properties of the evolution, (i.e. frequencies of (or just measurable and with > 0 volume) phase space visit to regions of M), is called the SRB distribution, region dx, defines a stationary probability distribution [17–19]. µ(dx) = µ(Sdx) which is independent of the initial x, The just mentioned theorems on maps or flows become again except for data x forming a set of 0 phase space relevant for systems evolving chaotically in the cases in volume, [12, 13]. The probability µ is concentrated on the which the following hypothesis holds i.e., as its name attracting surface , i.e. µ( ) = 1; the data outside the suggests (as intended in [1, 20, 21], see also the warning attracting surface A evolve whileA exponentially attracted in [1, endnote 18]), always when motions are empirically by , [14, 15]. A A chaotic: Likewise if the evolution is instead described by a flow x Stx, generated by a ( -smooth) differential equa- Chaotic hypothesis (CH): A chaotic evolution takes place tion→ on M,x ˙ = f(x), which∞ on M is an Anosov on a phase space M being attracted by a bounded smooth flow and is an attractive smoothA surface, ⊂ then any ini- attracting surface M and on the map S (or the A A ⊂ A tial point x M, with exceptions forming a set of zero flow St) is an Anosov map (or flow). volume, moves∈ accumulating densely at and spending The SRB distribution µ has support on the attract- a well defined fraction of time in everyA measurable re- ing set : so smoothness of is a strong assumption.5 gion of M with positive volume: thus uniquely defining Of courseA there is the possibilityA that is a surface of a stationary probability distribution µ(dx) = µ(S dx), t dimension lower than that of M, as specifiedA in the CH.6 concentrated on , which is independent of the initial x, again except forA data forming a set of 0 volume in phase The CH is a general and heuristic (more restrictive) in- terpretation of original ideas on turbulence phenomena, space M, [12, 13, 16]: such flow St will be called a flow with an Anosov attractor. [22], and has been introduced in [1, 23] to interpret simu- lations on evolutions with attracting set coinciding with Formally: the full phase space, and extended to the more general Theorem: Suppose that a smooth dynamical system is case in which the attracting surface is lower dimensional, [20, 21]). Hereafter the CH will be supposed to hold for all dy- namical systems considered, unless stated otherwise. ally transversal planes are now three: Tu(x),Ts(x) on which The above formulation in which the Anosov system is expansion and contraction take place under action of the flow realized on a attracting surface = M, rather than on A 6 St as in the map case and a third 1-dimensional tangent plane the full phase space, already hinted in [1], has become parallel to f(x), ifx ˙ = f(x) is the differential equation defin- relevant as soon as attempts were undertaken to apply ing the flow St; this is a tangent vector supposed not zero, f(x) > 0, and which, of course, neither expands nor con- | | tracts under the ∂St(x). The stable and unstable planes of Anosov systems (maps or 5Which contrasts the picture of as a fractal set.