Nonequilibrium fluctuation theorems in the presence of a time-reversal symmetry-breaking field and nonconservative forces Punyabrata Pradhan Physics Department, Technion - Israel Institute of Technology, Haifa, Israel We study nonequilibrium fluctuation theorems for classical systems in the presence of a time-reversal symmetry-breaking field and nonconservative forces in a stochastic as well as a deterministic set up. We consider a system and a heat bath, called the combined system, and show that the fluctuation theorems are valid even when the heat bath goes out of equilibrium during driving. The only requirement for the validity is that, when the driving is switched off, the combined system relaxes to a state having a uniform probability measure on a constant energy surface, consistent with microcanonical ensemble of an isolated system. PACS numbers: 05.70.Ln, 05.20.-y, 05.40.-a INTRODUCTION where F ( ) and F ( ) are equilibrium free energy of the A B system at state and respectively, and β =1/kBT , kB A B Understanding thermodynamics of irreversible pro- the Boltzmann constant. The Crooks theorem relates the cesses from time reversible microscopic dynamics has ratio of the probabilities of work done W for the forward been a subject of great interest since the time of founda- process and that for the reverse process, tion of statistical physics. A fair amount of progress has PF (W ) β(W −∆F ) been made since then, especially through the recently = e (2) PR( W ) discovered fluctuation theorems [1–6]. The fluctuation − theorems give a quantitative measure of irreversibility where PF (W ) and PR(W ) are the probability distribu- in terms of asymmetries in the probability distributions tions of work for the forward and the reverse processes, of various quantities in a driven system, e.g., heat pro- respectively. duced in a sheared fluid [1–3], heat exchanged between a Dissipative mechanism of a heat bath is crucial for un- hot and a cold body being in contact [7, 8], etc. These derstanding irreversible phenomena and the fluctuation nonequilibrium quantities, usually termed as ‘entropy theorems [18], and is modeled in various ways, such as, by production’ in an irreversible process [9–13], are on av- employing deterministic thermostatted dynamics [2, 3], erage non-negative and give an insight into the 2nd law stochastic Langevin dynamics satisfying the fluctuation- of thermodynamics. The fluctuation theorem was orig- dissipation theorem [9, 19–21] or Markov dynamics sat- inally derived for deterministic thermostatted dynamics isfying detailed balance with respect to canonical mea- [3] and later for stochastic one, such as Langevin dynam- sure [17, 22]. However in these cases, the heat bath is ics [9] and Markovian jump processes [10]. not considered explicitly, and is assumed to be always Closely connected to the fluctuation theorems, there in equilibrium. In a realistic scenario, heat generated are two remarkable relations, called the Jarzynski equal- by a driving force is continuously dissipated to the heat ity [14–16] and the Crooks theorem [17], which involve bath, and consequently the portion of the heat bath in fluctuation of work done on a system driven arbitrarily the vicinity of the system goes away from equilibrium far away from equilibrium by varying an external parame- during driving [23, 24]. ter. Consider a system which is initially at an equilibrium It is therefore important how one employs a heat bath state at temperature T and coupled to an external pa- to take into account the nonequilibrium effect of the rameterA λ(t). The system is driven out of equilibrium by bath. Recently there is a prescription of modeling a varying λ(t) in a time interval 0 t τ where λ(t) is driven system, possibly in contact with a nonequilib- ≤ ≤ arXiv:0911.3929v2 [cond-mat.stat-mech] 22 Feb 2010 constant outside this time interval. In this process, called rium heat bath, by applying Jaynes’ principle of entropy- forward process for a fixed protocol λ(t), an amount of maximization [25] to nonequilibrium trajectories with a work W is done on the system. The system eventually macroscopic flux constraint [26–28]. However we follow a relaxes to an equilibrium state at same temperature different path where we explicitly consider a system and T . In the reverse process, the systemB is driven from the a heat bath combined, either obeying microscopic New- initial equilibrium state for a reverse protocol λ(τ t) tonian dynamics or obeying stochastic dynamics with and eventually the systemB relaxes to the equilibrium state− symmetries of the microscopic Newtonian dynamics pre- . The Jarzynski equality relates average of exp( βW ) served. The work fluctuation relations have been stud- performedA over nonequlibrium trajectories to equilibrium− ied along this line before for classical Hamiltonian dy- free energy difference ∆F = F ( ) F ( ) as namics [29, 30] as well as stochastic dynamics [31], but B − A any time-reversal symmetry-breaking fields or noncon- exp( βW ) = exp( β∆F ) (1) servative forces have not been considered. Recently, the h − i − 2 fluctuation theorem involving particle-current has been the classical systems consisting of particles which do not studied in a case of quantum mechanical transport of have any intrinsic magnetic moment. electrons across a quantum dot in the presence of a time- Here is a brief outline of the paper. In section II, we independent magnetic field [32]. study systems obeying Newtonian dynamics in the pres- In this paper, we generalize the fluctuation theorems ence of an external magnetic field and some other non- for classical systems in the presence of a time-reversal conservative force fields. In section III, we give a general symmetry-breaking field, such as an external magnetic proof of the fluctuation theorems for stochastic systems field, and nonconservative forces which cannot be derived in the absence of detailed balance in a microcanonical set from gradient of scalar potentials. We consider a system up, in section IV we then illustrate the ideas using two and a heat bath, combined, in a deterministic as well as a simple stochastic models. In section V, we generalize the stochastic set up and we show that the fluctuation theo- results for other intensive thermodynamic variables, e.g., rems are valid in the presence of time-reversal symmetry- pressure and chemical potential which determine the ini- breaking fields and nonconservative forces, even when the tial and final equilibrium states of the system in contact heat bath goes out of equilibrium during the driving. The with a heat bath. validity only requires that (1) in the absence of driving the system and the heat bath, combined, relax to a state with a uniform probability measure on a constant en- NEWTONIAN DYNAMICS ergy surface, and (2) there exists a time-reversal opera- tion under which work performed on the system is odd. First, we study the nonequilibrium fluctuation theo- Although we specifically consider an external magnetic rems in a general deterministic framework for a system field in the paper, the results are also applicable to other and a heat bath combined, called the combined system time-reversal symmetry-breaking fields, e.g., a Coriolis (CS). We consider the CS, which is governed by micro- force present in a rotating system. scopic Newtonian dynamics, in the presence of an ex- In a deterministic set up, we consider a system obeying ternal magnetic field B~ (~r, t) and a nonconservative force Newtonian dynamics and we prove the fluctuation theo- field f~(~r, t). Force fields in general may be dependent rems using the fact that Liouville’s theorem is valid even both on position ~r and time t. The nonconservative force in the presence of an external time-dependent magnetic f~(~r, t) cannot be derived from gradient of a scalar po- field as well as other nonconservative forces. We also ex- tential. In addition, there may be conservative forces tend our analysis to stochastic dynamics in the presence present in the CS which can be derivable from gradient of a time-reversal symmetry-breaking field in a micro- of scalar potentials. A microstate of the CS is denoted canonical set up. We consider an isolated system gov- by a variable Y which contains positions and velocities erned by Markovian dynamics where there is violation of of all particles, i.e., Y (~r1, ~r2,...,~v1, ~v2,... ) ~ri, ~vi ≡ ≡{ } detailed balance with respect to a uniform measure, i.e., where ~ri and ~vi are position and velocity of i-th particle forward and corresponding reverse transition probabili- in the CS respectively. Newton’s equations of motion for ties are not equal in general. Reversing the time-reversal i-th particle can be written as symmetry-breaking field results in dynamics where all ~r˙ = ~v , (3) forward and corresponding reverse transition probabili- i i ˙ ~ ~ mi~vi = ~ri V (~ri, λ(t)) + qi~vi B(~ri,t) ties are interchanged with each other. Although detailed −∇ × balance is violated, we prove the fluctuation theorems ∂A~(~ri,t) qi + f~(~ri,t) (4) only requiring that the steady state measure of an iso- − ∂t lated system is uniform on a constant energy surface. where mi and qi are mass and charge of the i-th particle, We primarily focus on the work fluctuation relations, V (~r, λ(t)) is total scalar potential at position ~r due to the i.e., the Jarzynski equality and the Crooks fluctuation inter-particle interaction potentials as well as an external theorem. The system is driven by varying a control pa- potential with a time-dependent control parameter λ(t), rameter of an external potential or (and) by nonconser- ~ ~ri the gradient operator with respect to coordinate ~ri, vative forces. For systems obeying Newtonian dynam- ∇~ ics, the driving force may be due to a nonconservative A(~r, t) is the vector potential at position ~r and time t ~ electric field induced by an external time varying mag- due to the external magnetic field B(~r, t) which can be netic field in addition to other nonconservative forces.