This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

Stochastic Thermodynamics of Brownian motion in Temperature Gradient

Mingnan Ding1 [email protected]    Jun Wu1    Xiangjun Xing1,2,3 [email protected] 1Wilczek Quantum Center, School of Physics and Astronomy, Shanghai Jiao Tong University, Shanghai, 200240 China
2T.D. Lee Institute, Shanghai Jiao Tong University, Shanghai, 200240 China
3Shanghai Research Center for Quantum Sciences, Shanghai 201315, China
Abstract

We study stochastic thermodynamics of a Brownian particle which is subjected to a temperature gradient and is confined by an external potential. We first formulate an over-damped Ito-Langevin theory in terms of local temperature, friction coefficient, and steady state distribution, all of which are experimentally measurable. We then study the associated stochastic thermodynamics theory. We analyze the excess entropy production (EP) both at trajectory level and at ensemble level, and derive the Clausius inequality as well as the transient fluctuation theorem (FT). We also use molecular dynamics to simulate a Brownian particle inside a Lennard-Jones fluid and verify the FT. Remarkably we find that the FT remains valid even in the under-damped regime. We explain the possible mechanism underlying this surprising result.

I Introduction

After several decades of hard work, two types of Fluctuation theorems (FTs) [1, 4, 3, 5, 2, 6] have been firmly established. Firstly the steady state FT (SSFT) characterizes the large deviation behaviors [4, 8, 7, 1] of entropy production (EP) rate in non-equilibrium steady states. Secondly, various transient FTs [3, 2, 5] characterize the fluctuations of dissipated work in non-equilibrium processes starting from equilibrium states. These results constitute the backbone of an emerging field called stochastic thermodynamics [5, 9, 10], which provides a unified view of non-equilibrium fluctuations.

Many physical systems and most biological systems are however embedded in dissipative backgrounds and undergo non-stationary processes. They therefore do not fall into either of above mentioned two categories. Remarkably, a series of seminal theoretical works [11, 12, 13, 14, 15, 16, 17] indicate that in Markov processes with even variables, the total EP may be broken into two parts, each satisfying a separate FT. For Langevin systems, it may be understood that these two parts of EP are due to respectively the dissipative work of the conservative and non-conservative components of forces [21]. This decomposition of EP is also intimately related to the Glansdorff-Prigogine stability theory of non-equilibrium steady states [20, 18, 19, 21], as well as the steady-state thermodynamics of Sasa and Tasaki [22, 21]. Following these earlier literatures, it is therefore natural to call them respectively the excess EP and the house-keeping EP 111They are called respectively the non-adiabatic EP and adiabatic EP by Esposito and Van den Broeck [14, 15, 16].. We note that except for a few partial results [23, 24], there has been no systematic verification of these theories, either experimentally or numerically.

Brownian motion in a temperature gradient constitutes one of the simplest systems embedded in dissipative backgrounds. In the absence of external force, a particle immersed in a temperature exhibits directed motion, an effect known as Ludwig-Soret effect [25, 26, 27], or thermophoresis [29, 30, 28], which has many important applications and has been studied in various situations [32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 31]. Regardless of significant recent progresses [47, 48, 49], the statistical mechanism of thermophoresis is not yet fully understood [29, 50]. The stochastic thermodynamics of Brownian motion in temperature gradient has also attracted some recent interests [51, 52, 53, 54]. Due to the difficulties associated with the multiplicative nature of noises, however, a systematic and consistent theory however has yet to be developed. In particular there has been no derivation or verification of fluctuation theorems for Brownian motion in temperature gradient.

In the present work, we shall develop a systematic theory of stochastic thermodynamics for this system, and make contact with thermodynamics of thermophoresis [28, 29]. In Sec. II, we shall model the over-damped Brownian dynamics using covariant Langevin equation, whose general theory was developed in Ref. [55]. Unlike the previous studies [51, 52, 53, 54], our Langevin equation is fully characterized by steady-state distribution and the position dependent temperature/friction coefficient, all of which are experimentally measurable. Regardless of the non-equilibrium nature of the background fluid, however, the Langevin equation obeys the conditions of detailed balance. In Sec. III, we proceed to construct a stochastic thermodynamic theory using the over-damped Langevin equation. Because the background does not have a fixed temperature, however, the conventional formulation of stochastic thermodynamics in terms of heat and work is not applicable. We therefore forego the concepts of work/heat and deal with EP directly. Also the background fluid is in a non-equilibrium steady state which constantly dissipates energy. This dissipation is completely invisible in our theory. Hence the EP captured by our theory is not the full EP, but only the excess EP. We study this excess EP both at the trajectory level and at the ensemble level, and prove rigorously the Clausius inequality as well as the transient FT obeyed by this quantity. In the limit of vanishing temperature gradient, our theory reduces to the usual theory of stochastic thermodynamics. Our theory can be understood as a simple showcase of the general theory which we developed in Ref. [21]. In Sec. IV, we verify our theory by simulating a Brownian particle immersed in a Lennard-Jones fluid subjected to a temperature gradient. We compute the position-dependent temperature and friction coefficient, as well as the generalized potential using the simulation data. Using these results, we explicitly verify the validity of the FT for the excess EP. Remarkably, the FT remains valid not only in the over-damped regime, but also deep in the under-damped regime. We briefly explain this surprising result. Finally in Sec. V we summarize our result and project future directions.

II Langevin dynamics

As discussed in the Introduction, we start directly with the over-damped limit. Let 𝒙{\bm{x}} be the position vector of the Brownian particle, T(𝒙),γ(𝒙)T({\bm{x}}),\gamma({\bm{x}}) respectively the position-dependent temperature and friction coefficient. We assume that the Brownian particle is coupled to a confining potential, so that its steady state probability density function (pdf) pss(𝒙)p_{\rm ss}({\bm{x}}) is normalizable. Defining the generalized potential U(𝒙)U({\bm{x}}) via

pss(𝒙)eU(𝒙),\displaystyle p_{\rm ss}({\bm{x}})\equiv e^{-U({\bm{x}})}, (1)

the over-damped Langevin equation is given by

dxi=T(𝒙)γ(𝒙)iU(𝒙)dt+iT(𝒙)γ(𝒙)dt+2T(𝒙)γ(𝒙)dWi,\displaystyle dx^{i}=-\frac{T({\bm{x}})}{\gamma({\bm{x}})}\partial_{i}U({\bm{x}})dt+\partial_{i}\frac{T({\bm{x}})}{\gamma({\bm{x}})}dt+\sqrt{\frac{2T({\bm{x}})}{\gamma({\bm{x}})}}dW^{i},\quad (2)

where xix^{i} is i-th Cartesian component of 𝒙{\bm{x}}, i=/xi\partial_{i}=\partial/\partial x^{i}, whilst dWidW^{i} are the standard Wiener noises satisfying

dWi\displaystyle\langle dW^{i}\rangle =\displaystyle= 0,\displaystyle 0, (3a)
dWidWj\displaystyle\langle dW^{i}dW^{j}\rangle =\displaystyle= δijdt.\displaystyle\delta^{ij}\,dt. (3b)

The ratio T(𝒙)/γ(𝒙)T({\bm{x}})/\gamma({\bm{x}}) can be understood as the position-dependent diffusion constant. The product 2T/γdWi\sqrt{{2T}/{\gamma}}\,dW^{i} in the r.h.s. of Eq. (2) is defined in Ito’s sense. Letting p=p(𝒙,t)p=p({\bm{x}},t) be the pdf of 𝒙{\bm{x}}, using the standard methods of stochastic analysis [56], one can show that the Langevin equation (2) is mathematically equivalent to the following Fokker-Planck equation (FPE):

tp=iT(𝒙)γ(𝒙)(i+(iU))p.\displaystyle\partial_{t}\,p=\partial_{i}\frac{T({\bm{x}})}{\gamma({\bm{x}})}\left(\partial_{i}+\left(\partial_{i}U\right)\right)p. (4)

Note that repeated indices are summed over. In this work we do not distinguish superscripts from subscripts. This does not lead to any ambiguity, because we will not carry out any nonlinear coordinate transformation. It is easily seen that Eq. (1) is indeed the steady state solution of Eq. (4). Note that the FPE (4) can also be written as

tp=iji,\displaystyle\partial_{t}\,p=-\partial_{i}j_{i}, (5)

where ji=ji(𝒙,t)j_{i}=j_{i}({\bm{x}},t) is the probability current:

ji(𝒙,t)=T(𝒙)γ(𝒙)(i+(iU))p(𝒙,t),\displaystyle j_{i}({\bm{x}},t)=-\frac{T({\bm{x}})}{\gamma({\bm{x}})}(\partial_{i}+(\partial_{i}U))p({\bm{x}},t), (6)

which vanishes identically in the steady state Eq. (1).

The Langevin equation (2) and the Fokker-Planck equation (4) are in the covariant form as studied in Ref. [55], with a diagonal but position dependent kinetic matrix Lij(𝒙)=(T(𝒙)/γ(𝒙))δijL^{ij}({\bm{x}})=(T({\bm{x}})/\gamma({\bm{x}}))\delta^{ij}. The term i(T(𝒙)/γ(𝒙))dt\partial_{i}({T({\bm{x}})}/{\gamma({\bm{x}})})dt in the r.h.s. of Eq. (2) is called the spurious drift [55], which is necessary to guarantee that Eqs. (2) and (4) are mathematically equivalent.

Since the position variable 𝒙{\bm{x}} is even under time reversal, Eq. (2) also satisfies conditions of detailed balance, which are given in Eqs. (3.16) of Ref. [55], or Eqs. (2.31) of Ref. [57]. This guarantees that two-time pdf satisfies the following symmetry:

p(𝒙2,t2;𝒙1,t1)=p(𝒙1,t1;𝒙2,t2),p({\bm{x}}_{2},t_{2};{\bm{x}}_{1},t_{1})=p({\bm{x}}_{1},t_{1};{\bm{x}}_{2},t_{2}),

where 𝒙1,𝒙2{\bm{x}}_{1},{\bm{x}}_{2} are two distinct position vectors.

The generalized potential U(𝒙)U({\bm{x}}), whose concrete form is irrelevant at this stage, depends both on the external confining potential and on the temperature gradient. In the absence of external confining potential, the Brownian particle exhibits thermophoresis, i.e., it moves with a constant average speed, parallel or anti-parallel to the temperature gradient. This implies that U(𝒙)U({\bm{x}}) has a term approximately linear in temperature T(𝒙)T({\bm{x}}), which will be verified using simulation data in Sec. IV.3. Additionally, as usual in the study of stochastic thermodynamics, the external confining potential is externally tuned by certain control parameters. These parameters are defined and discussed in detail in Sec. IV. As a consequence, we should write the generalized potential as U(𝒙;λ)U({\bm{x}};\lambda), and the external confining potential as V(𝒙;λ)V({\bm{x}};\lambda), where λ\lambda denote the control parameters. To avoid clutter, however, we often hide the dependence of VV and UU on 𝒙{\bm{x}} and λ\lambda.

III Stochastic thermodynamics

In Ref. [57] we constructed a theory of stochastic thermodynamics for covariant nonlinear Langevin systems satisfying detailed balance [55], under the assumption that the system is in contact with a heat bath with a fixed temperature. The quantity that plays a crucial role in this theory is Hamiltonian of mean force (HMF) H(𝒙;λ)H({\bm{x}};\lambda), which is related to the equilibrium pdf via:

peq(𝒙;λ)=eU(𝒙;λ)=eβ(FH(𝒙;λ)),\displaystyle p^{\rm eq}({\bm{x}};\lambda)=e^{-U({\bm{x}};\lambda)}=e^{\beta(F-H({\bm{x}};\lambda))}, (7)

where U(𝒙;λ)U({\bm{x}};\lambda) is the generalized potential, and F=F(λ)F=F(\lambda) is the equilibrium free energy defined as

F(λ)=Tlog𝒙eβH(𝒙;λ).\displaystyle F(\lambda)=-T\log\int_{\bm{x}}e^{-\beta H({\bm{x}};\lambda)}. (8)

Note that we use 𝒙𝑑𝒙\int_{\bm{x}}\equiv\int d{\bm{x}} to denote volume integral over 𝒙\bm{x}. As one can see from Eq. (7), both H(𝒙;λ)H({\bm{x}};\lambda) and F(λ)F(\lambda) are defined only up to an additive constant, which may depend on λ\lambda. This uncertainty arises because the microscopic Hamiltonian is defined only up to an additive constant. We then defined [57] H(𝒙;λ)H({\bm{x}};\lambda) as the fluctuating internal energy, and defined differential heat and work at the trajectory level as: d¯𝒲dλH(𝒙;λ),d¯𝒬d𝒙H(𝒙;λ)d\bar{}\hskip 1.00006pt{\mathscr{W}}\equiv d_{\lambda}H({\bm{x}};\lambda),d\bar{}\hskip 1.00006pt{\mathscr{Q}}\equiv d_{{\bm{x}}}H({\bm{x}};\lambda), where dλ,d𝒙d_{\lambda},d_{\bm{x}} are respectively the differentials due to variations of λ\lambda and of 𝒙{\bm{x}}. Entropy production was constructed using these quantities. The first law, the second law, as well as various FTs were then established.

The approach pursued in Ref. [57] is however not directly applicable in the present case. We note that, in the presence of temperature gradient, the r.h.s. of Eq. (8) becomes 𝒙{\bm{x}}-dependent, whereas the l.h.s. is expected to be 𝒙{\bm{x}}-independent. Hence there is no straightforward way to define free energy of a Brownian particle if temperature is position dependent. The same difficulty also shows up when one tries to define HMF, or the differential heat and work.

In view of this difficulty, we shall avoid defining any energy-like quantity, and deal only with entropy-like quantities. This does not prevent us from understanding of the second law of thermodynamics or FTs, since the essence of these results is entropy rather than energy.

As explained in the Introduction, the EPs that we shall study using the Langevin theory (2) is the excess EP which arises due to the insertion of the Brownian particle and variation of external control parameter. The missing entropy product, which may be called the housekeeping EP, is extensive in the size of the fluid and is completely invisible in our theory.

III.1 Excess EP and excess Clausius inequality

As in previous works [55, 57], we introduce the notations for partial differentials:

d𝒙U(𝒙;λ)\displaystyle d_{{\bm{x}}}U({\bm{x}};\lambda) \displaystyle\equiv U(𝒙+d𝒙,λ)U(𝒙;λ),\displaystyle U({\bm{x}}+d{\bm{x}},\lambda)-U({\bm{x}};\lambda), (9)
dλU(𝒙;λ)\displaystyle d_{\lambda}U({\bm{x}};\lambda) \displaystyle\equiv U(𝒙,λ+dλ)U(𝒙;λ).\displaystyle U({\bm{x}},\lambda+d\lambda)-U({\bm{x}};\lambda). (10)

The full differential of U(𝒙;λ)U({\bm{x}};\lambda) can be decomposed as

dU(𝒙;λ)=d𝒙U(𝒙;λ)+dλU(𝒙;λ).\displaystyle dU({\bm{x}};\lambda)=d_{{\bm{x}}}U({\bm{x}};\lambda)+d_{\lambda}U({\bm{x}};\lambda). (11)

It is important to note that d𝒙U(𝒙;λ)d_{{\bm{x}}}U({\bm{x}};\lambda) should be expanded in terms of d𝒙d{\bm{x}} up to the second order:

d𝒙U(𝒙)=(iU)dxi+12(ijU)dxidxj+o(d𝒙2),\displaystyle d_{{\bm{x}}}U({\bm{x}})=(\partial_{i}U)\,dx^{i}+\frac{1}{2}(\partial_{i}\partial_{j}U)\,dx^{i}dx^{j}+o(d{\bm{x}}^{2}), (12)

where all partial derivatives are evaluated at 𝒙{\bm{x}}. It is well known that in Langevin dynamics with white noises dWidW^{i} scales with dt\sqrt{dt}, whereas according to (2), we have dxidWidtdx^{i}\sim dW^{i}\sim\sqrt{dt}. Hence expanding d𝒙U(𝒙)d_{{\bm{x}}}U({\bm{x}}) to the order d𝒙2d{\bm{x}}^{2} means that we are expanding it to the order dtdt, which is necessary in order to obtain a well-defined continuum limit.

We define the excess change of environmental entropy 222As discuss in the Introduction, there is a housekeeping part of the change of the environmental entropy, which cannot be captured by our theory. In an expanded theory which includes both the Brownian particle and the ambient fluid, both parts of entropy change show up explicitly. at the trajectory level:

d𝒮envexd𝒙U(𝒙;λ),\displaystyle d\mathcal{S}_{\rm env}^{\rm ex}\equiv-d_{{\bm{x}}}U({\bm{x}};\lambda), (13)

which depends both on the initial position 𝒙{\bm{x}} and the incremental d𝒙d{\bm{x}}. We may use Eq. (12) to express d𝒮envexd\mathcal{S}_{\rm env}^{\rm ex} in terms of d𝒙d{\bm{x}}, and use the Langevin equation (2) to express it in terms of Wiener noises dWdW. Further averaging over the noises using Eqs. (3), and keeping terms up to the order dtdt, we obtain

d𝒮envex\displaystyle\langle d\mathcal{S}_{\rm env}^{\rm ex}\rangle =\displaystyle= [Tγ(iU)2(iTγ)(iU)Tγ(i2U)]dt\displaystyle\left[\frac{T}{\gamma}(\partial_{i}U)^{2}-\left(\partial_{i}\frac{T}{\gamma}\right)(\partial_{i}U)-\frac{T}{\gamma}(\partial_{i}^{2}U)\right]\,dt (14)
=\displaystyle= (i(iU))Tγ(iU)dt.\displaystyle{-}(\partial_{i}-(\partial_{i}U))\frac{T}{\gamma}(\partial_{i}U)\,dt.

Multiplying both sides by p(𝒙,t)p({\bm{x}},t) and integrating over 𝒙{\bm{x}}, we obtain the excess change of environmental entropy at the ensemble level:

dSenvex=d𝒮envex=dt𝒙p(i(iU))TγiU.\displaystyle dS_{\rm env}^{\rm ex}=\langle\!\langle d\mathcal{S}_{\rm env}^{\rm ex}\rangle\!\rangle={-}dt\int_{\bm{x}}p(\partial_{i}-(\partial_{i}U))\frac{T}{\gamma}\partial_{i}U. (15)

Integrating by parts once, we transform Eq. (15) into:

dSenvex=dt𝒙(iU)Tγ(i+iU)p.\displaystyle dS_{\rm env}^{\rm ex}=dt\int_{{\bm{x}}}(\partial_{i}U)\frac{T}{\gamma}(\partial_{i}+\partial_{i}U)p. (16)

The system entropy is given by the usual Gibbs-Shannon expression:

Ssys=𝒙plogp.\displaystyle S_{\rm sys}=-\int_{\bm{x}}p\log p. (17)

Its differential is given by

dSsys\displaystyle dS_{\rm sys} =\displaystyle= dt𝒙(logp)tp\displaystyle-dt\int_{{\bm{x}}}(\log p)\,\partial_{t}p (18)
=\displaystyle= dt𝒙(logp)iTγ(i+(iU))p\displaystyle-dt\int_{{\bm{x}}}(\log p)\partial_{i}\frac{T}{\gamma}\left(\partial_{i}+\left(\partial_{i}U\right)\right)p
=\displaystyle= dt𝒙(ip)Tγp(i+(iU))p,\displaystyle dt\int_{{\bm{x}}}(\partial_{i}p)\frac{T}{\gamma\,p}\left(\partial_{i}+\left(\partial_{i}U\right)\right)p, (19)

where in the second equality, we have used Eq. (4), whilst in the last equality, we have integrated by parts once.

The excess EP 333This is called the non-adiabatic EP by Esposito and van der Broeck. Here we follow the terminology of Glansdorff and Prigogine. at ensemble level is defined as the sum of Eqs. (16) and (19), which is easily seen to be non-negative:

dSex\displaystyle dS^{\rm ex} =\displaystyle= dSenvex+dSsys\displaystyle dS_{\rm env}^{\rm ex}+dS_{\rm sys} (20)
=\displaystyle= dt𝒙Tγp[(i+(iU))p]20.\displaystyle dt\int_{\bm{x}}\frac{T}{\gamma p}\left[\left(\partial_{i}+\left(\partial_{i}U\right)\right)p\right]^{2}\geq 0.\quad

This inequality may be called the excess Clausius inequality.

We may also define a dimensionless functional

Φ[p]\displaystyle\Phi[p] =\displaystyle= 𝒙p(𝒙)[U(𝒙)+logp(𝒙)]\displaystyle\int_{{\bm{x}}}p({\bm{x}})[U({\bm{x}})+\log p({\bm{x}})] (21)
=\displaystyle= 𝒙p(𝒙,t)logp(𝒙,t)pss(𝒙)=D(p||pss),\displaystyle\int_{\bm{x}}p({\bm{x}},t)\log\frac{p({\bm{x}},t)}{p_{\rm ss}({\bm{x}})}=D(p||p_{\rm ss}),

which is the relative entropy between the pdf and the steady state pdf. Being non-negative and minimized at the steady state, Φ[p]\Phi[p] is in fact the Lyapunov functional of the Fokker-Planck dynamics. Furthermore, for fixed control parameter, it is easy to see that the rate of Φ[p]\Phi[p] is precisely negative the rate of excess EP:

dΦdt=dSexdt0.\displaystyle-\frac{d\Phi}{dt}=\frac{dS^{\rm ex}}{dt}\geq 0. (22)

III.2 Limit of vanishing temperature gradient

For the special case of vanishing temperature gradient, both TT and γ\gamma are fixed constants. We will show that the theory developed above restores to the well known theory of stochastic thermodynamics for Brownian motion in an equilibrium fluid. For simplicity we assume that the interaction between the Brownian particle and the fluid has no effect on the equilibrium pdf.

Firstly, in the absence of temperature gradient, the equilibrium pdf is:

peq(𝒙)=eβ(V(𝒙)F),\displaystyle p_{\rm eq}({\bm{x}})=e^{-\beta(V({\bm{x}})-F)}, (23)

where F=Tlog𝒙eβV(𝒙)F=-T\log\int_{\bm{x}}e^{-\beta V({\bm{x}})} is the equilibrium free energy. Comparing this with Eq. (1), we see that

U(𝒙)=β(V(𝒙)F).\displaystyle U({\bm{x}})=\beta(V({\bm{x}})-F). (24)

Using this to replace UU in terms of VV, we find that the Langevin equation (2) reduces to the familiar form of over-damped dynamics of a Brownian particle coupled to a single heat bath with temperature TT:

dxi=1γiV(𝒙)dt+2TγdWi.\displaystyle dx^{i}=-\frac{1}{\gamma}\partial_{i}V({\bm{x}})dt+\sqrt{\frac{2T}{\gamma}}dW^{i}.\quad (25)

Now following the procedure in Ref. [57], we define VV as the fluctuating internal energy, and define the differential heat and work at the trajectory level as

d¯𝒬\displaystyle d\bar{}\hskip 1.00006pt{\mathscr{Q}} \displaystyle\equiv d𝒙V(𝒙;λ),\displaystyle d_{\bm{x}}V({\bm{x}};\lambda), (26)
d¯𝒲\displaystyle d\bar{}\hskip 1.00006pt{\mathscr{W}} \displaystyle\equiv dλV(𝒙;λ).\displaystyle d_{\lambda}V({\bm{x}};\lambda). (27)

Since the fluid is in equilibrium, the entropy change of the fluid is related to the differential heat via

d𝒮envβd¯𝒬=βd¯V=d𝒙U,\displaystyle d{\mathcal{S}}_{\rm env}\equiv-\beta d\bar{}\hskip 1.00006pt{\mathscr{Q}}=-\beta d\bar{}\hskip 1.00006ptV=-d_{\bm{x}}U, (28)

which agrees with Eq. (13). The inequality (20) then reduces to

dStot=dSsys+dSenv=dSsysβd¯Q0,\displaystyle dS^{\rm tot}=dS_{\rm sys}+dS_{\rm env}=dS_{\rm sys}-\beta d\bar{}\hskip 1.00006ptQ\geq 0, (29)

which is precisely the usual Clausius inequality. Finally the functional defined in Eq. (21) reduces to

Φ[p]\displaystyle\Phi[p] =\displaystyle= β𝒙p(V+Tlogp)βF\displaystyle\beta\int_{\bm{x}}p(V+T\log p)-\beta F (30)
=\displaystyle= β(F[p]F),\displaystyle\beta\left(F[p]-F\right),

where F[p]F[p] is the non-equilibrium free energy defined as

F[p]𝒙p(V+Tlogp).\displaystyle F[p]\equiv\int_{\bm{x}}p(V+T\,\log p). (31)

Hence TΦT\,\Phi is the deviation of the non-equilibrium free energy from its equilibrium value.

III.3 Fluctuation Theorem for excess EP

Let P(𝒙|𝒙;dt)P({\bm{x}}^{\prime}|{\bm{x}};dt) be the pdf that the system evolves to state 𝒙=𝒙+d𝒙{\bm{x}}^{\prime}={\bm{x}}+d{\bm{x}} at time dtdt, given that it is in state 𝒙{\bm{x}} at time 0 444We note that both d𝒙d{\bm{x}} and dtdt are infinitesimal quantities.. P(𝒙|𝒙;dt)P({\bm{x}}|{\bm{x}}^{\prime};dt) is then the pdf of the backward process 𝒙𝒙{\bm{x}}^{\prime}\rightarrow{\bm{x}}. Invoking Eq. (A27) of Ref. [57] we obtain 555note that in the present case both 𝒙{\bm{x}} and the control parameter λ\lambda are even under time-reversal, hence 𝒙=𝒙,λ=λ{\bm{x}}={\bm{x}}^{*},\lambda=\lambda^{*}. :

logP(𝒙|𝒙;dt)P(𝒙|𝒙;dt)=U(𝒙)+U(𝒙)=d𝒙U(𝒙).\displaystyle\log\frac{P({\bm{x}}^{\prime}|{\bm{x}};dt)}{P({\bm{x}}|{\bm{x}}^{\prime};dt)}=-U({\bm{x}}^{\prime})+U({\bm{x}})=-d_{\bm{x}}U({\bm{x}}).\quad (32a)
which, in view of Eq. (13), may be rewritten into
logP(𝒙|𝒙;dt)P(𝒙|𝒙;dt)=d𝒮envex.\displaystyle\log\frac{P({\bm{x}}^{\prime}|{\bm{x}};dt)}{P({\bm{x}}|{\bm{x}}^{\prime};dt)}=d\mathcal{S}_{\rm env}^{\rm ex}. (32b)

​​​​​ This establishes the connection between the Langevin dynamics and thermodynamics. We shall call Eqs. (32a) and (32b) the condition of local detailed balance. Provided that the steady state (1) exists, Eq. (32a) is in fact equivalent to the condition of detailed balance:

P(𝒙|𝒙;dt)eU(𝒙)=P(𝒙|𝒙;dt)eU(𝒙).\displaystyle P({\bm{x}}^{\prime}|{\bm{x}};dt)\,e^{-U({\bm{x}})}=P({\bm{x}}|{\bm{x}}^{\prime};dt)\,e^{-U({\bm{x}}^{\prime})}. (33)

We define the forward process with a dynamic protocol λ(t),0tτ\lambda(t),0\leq t\leq\tau, where the system starts from the steady state corresponding to the initial parameter λ(0)=λi\lambda(0)=\lambda_{i}:

pF(𝒙,0)=eU(𝒙,λi).\displaystyle p_{F}({\bm{x}},0)=e^{-U({\bm{x}},\lambda_{i})}. (34a)
The backward process is defined by the protocol λ~(t)=λ(τt),0tτ\tilde{\lambda}(t)=\lambda(\tau-t),0\leq t\leq\tau, where the system starts from the steady state corresponding to the initial parameter λ~(0)=λ(τ)=λf\tilde{\lambda}(0)=\lambda(\tau)=\lambda_{f}:
pB(𝒙,0)=eU(𝒙,λf).\displaystyle p_{B}({\bm{x}},0)=e^{-U({\bm{x}},\lambda_{f})}. (34b)

In both the forward and backward processes, the temperature gradient remains fixed.

Now consider a forward trajectory 𝒙(t){\bm{x}}(t), with initial state 𝒙(0){\bm{x}}(0). To simplify notations, we shall use 𝜸\bm{\gamma} (bold phase) to denote the forward trajectory, which should be carefully distinguished from the friction coefficient γ\gamma. The corresponding backward trajectory is defined as 𝒙~(t)𝒙(τt)𝜸~\tilde{\bm{x}}(t)\equiv{\bm{x}}(\tau-t)\equiv\tilde{\bm{\gamma}}. The initial state 𝒙~(0)=𝒙(τ)\tilde{\bm{x}}(0)={\bm{x}}(\tau) of the backward trajectory is identical to the final state of the forward trajectory and vice versa. We can break both the forward and backward trajectories into a large number of small segments, and apply Eqs. (32) to each pair of segments. Adding up all these results, we obtain

logpF[𝜸|𝒙(0)]pB[𝜸~|𝒙~(0)]=𝜸d𝒙U=Δ𝒮env,Fex[𝜸].\displaystyle\log\frac{p_{F}[\bm{\gamma}|{\bm{x}}(0)]}{p_{B}[\tilde{\bm{\gamma}}|\tilde{\bm{x}}(0)]}=-\int_{\bm{\gamma}}d_{\bm{x}}U=\Delta\mathcal{S}_{\rm env,F}^{\rm ex}[{{\bm{\gamma}}}]. (35)

For a careful derivation of this result, see Ref. [57]. The r.h.s. of the equation is the excess change of environmental entropy along the entire forward trajectory 𝜸{\bm{\gamma}} in the forward process. In the l.h.s., pF[𝜸|𝒙(0)]p_{F}[\bm{\gamma}|{\bm{x}}(0)] and pB[𝜸~|𝒙~(0)]p_{B}[\tilde{\bm{\gamma}}|\tilde{\bm{x}}(0)] are the pdfs of forward and backward trajectories conditioned on their initial states.

The backward of the backward process is the forward process, whilst the backward of the backward trajectory is the forward trajectory. Hence analogous to Eq. (35), we also have

logpB[𝜸~|𝒙~(0)]pF[𝜸|𝒙(0)]=𝜸~d𝒙U=Δ𝒮env,Bex[𝜸~].\displaystyle\log\frac{p_{B}[\tilde{\bm{\gamma}}|\tilde{\bm{x}}(0)]}{p_{F}[\bm{\gamma}|{\bm{x}}(0)]}=\int_{\tilde{\bm{\gamma}}}d_{\bm{x}}U=\Delta\mathcal{S}_{\rm env,B}^{\rm ex}[{\tilde{\bm{\gamma}}}]. (36)

Equation (36) is the opposite of Eq. (35), hence we find

Δ𝒮env,Fex[𝜸]=Δ𝒮env,Bex[𝜸~]=𝜸d𝒙U.\displaystyle\Delta\mathcal{S}_{\rm env,F}^{\rm ex}[{{\bm{\gamma}}}]=-\Delta\mathcal{S}_{\rm env,B}^{\rm ex}[{\tilde{\bm{\gamma}}}]=\int_{{\bm{\gamma}}}d_{\bm{x}}U. (37)

Using the initial state pdfs (34), the unconditional pdfs of the forward and backward trajectories can be found:

pF[𝜸]\displaystyle p_{F}[\bm{\gamma}] =\displaystyle= pF[𝜸|𝒙(0)]eU(𝒙(0),λi),\displaystyle p_{F}[\bm{\gamma}|{\bm{x}}(0)]\,e^{-U({\bm{x}}(0),\lambda_{i})}, (38a)
pB[𝜸~]\displaystyle p_{B}[\tilde{\bm{\gamma}}] =\displaystyle= pB[𝜸~|𝒙~(0)]eU(𝒙~(0),λf).\displaystyle p_{B}[\tilde{\bm{\gamma}}|\tilde{\bm{x}}(0)]\,e^{-U(\tilde{\bm{x}}(0),\lambda_{f})}. (38b)

Taking the ratio, and using Eq. (35), we obtain

logpF[𝜸]pB[𝜸~]=U(𝒙f,λf)U(𝒙i,λi)𝜸d𝒙U.\displaystyle\log\frac{p_{F}[\bm{\gamma}]}{p_{B}[\tilde{\bm{\gamma}}]}=U({\bm{x}}_{f},\lambda_{f})-U({\bm{x}}_{i},\lambda_{i})-\int_{\bm{\gamma}}d_{\bm{x}}U. (39)

Whilst the last term in the r.h.s. is the excess change of environmental entropy along the forward trajectory of the forward process, the first two terms in the r.h.s. may be understood as the change of stochastic entropy [63] of the system along the forward trajectory of the forward process. Combining these two contributions, we define the r.h.s. of Eq. (39) as the excess EP along the forward trajectory of the forward process, denoted as ΣFex[𝜸]\Sigma^{\rm ex}_{\rm F}[{\bm{\gamma}}]. It immediately follows that the excess EP along the backward trajectory of the backward process is the negative of Eq. (39), i.e. ΣBex[𝜸~]=ΣFex[𝜸]\Sigma^{\rm ex}_{\rm B}[\tilde{\bm{\gamma}}]=-\Sigma^{\rm ex}_{\rm F}[{\bm{\gamma}}].

Since the difference U(𝒙f,λf)U(𝒙i,λi)U({\bm{x}}_{f},\lambda_{f})-U({\bm{x}}_{i},\lambda_{i}) can be written as the integral 𝜸𝑑U\int_{\bm{\gamma}}dU, which can be further written as 𝜸(d𝒙U+dλU)\int_{\bm{\gamma}}(d_{\bm{x}}U+d_{\lambda}U) up on invoking Eq. (11), we may also write Eq. (39) as:

ΣFex[𝜸]=ΣBex[𝜸~]=𝜸dλU=logpF[𝜸]pB[𝜸~].\displaystyle\Sigma^{\rm ex}_{\rm F}[{\bm{\gamma}}]=-\Sigma^{\rm ex}_{\rm B}[\tilde{\bm{\gamma}}]=\int_{\bm{\gamma}}d_{\lambda}U=\log\frac{p_{F}[\bm{\gamma}]}{p_{B}[\tilde{\bm{\gamma}}]}. (40)

which may be called the detailed FT for the excess EP.

The pdfs of excess EP of the forward and backward processes are respectively:

pF(Σex)D𝜸pF(𝜸)δ(ΣexlogpF[𝜸]pB[𝜸~]),\displaystyle p_{F}(\Sigma^{\rm ex})\equiv\int D{\bm{\gamma}}\,p_{F}({\bm{\gamma}})\,\delta\left(\Sigma^{\rm ex}-\log\frac{p_{F}[{\bm{\gamma}}]}{p_{B}[\tilde{\bm{\gamma}}]}\right),\quad\quad (41a)
pB(Σex)D𝜸~pB(𝜸~)δ(Σex+logpF[𝜸]pB[𝜸~]).\displaystyle p_{B}(\Sigma^{\rm ex})\equiv\int D\tilde{\bm{\gamma}}\,p_{B}(\tilde{\bm{\gamma}})\,\delta\left(\Sigma^{\rm ex}+\log\frac{p_{F}[{\bm{\gamma}}]}{p_{B}[\tilde{\bm{\gamma}}]}\right). (41b)

The functional integrals over trajectories should be calculated using time-slicing, much similar to the Feynman path integral in quantum mechanics. Using Eq. (40), we can then show

pF(Σex)\displaystyle p_{F}(\Sigma^{\rm ex}) =\displaystyle= D𝜸pF(𝜸)δ(ΣexlogpF[𝜸]pB[𝜸~])\displaystyle\int\!\!D{\bm{\gamma}}\,p_{F}({\bm{\gamma}})\,\delta\left(\Sigma^{\rm ex}-\log\frac{p_{F}[{\bm{\gamma}}]}{p_{B}[\tilde{\bm{\gamma}}]}\right) (42)
=\displaystyle= D𝜸pB(𝜸~)eΣexδ(ΣexlogpF[𝜸]pB[𝜸~])\displaystyle\int\!\!D{\bm{\gamma}}\,p_{B}(\tilde{\bm{\gamma}})\,e^{\Sigma^{\rm ex}}\,\delta\left(\Sigma^{\rm ex}-\log\frac{p_{F}[{\bm{\gamma}}]}{p_{B}[\tilde{\bm{\gamma}}]}\right)
=\displaystyle= eΣexD𝜸~pB(𝜸~)δ(Σex+logpB[𝜸~]pF[𝜸])\displaystyle e^{\Sigma^{\rm ex}}\int D\tilde{\bm{\gamma}}\,p_{B}(\tilde{\bm{\gamma}})\delta\left(\Sigma^{\rm ex}+\log\frac{p_{B}[\tilde{\bm{\gamma}}]}{p_{F}[{\bm{\gamma}}]}\right)
=\displaystyle= eΣexpB(Σex).\displaystyle e^{\Sigma^{\rm ex}}p_{B}(-\Sigma^{\rm ex}).

Hence we arrive at

logpF(Σex)pB(Σex)=Σex.\displaystyle\log\frac{p_{F}(\Sigma^{\rm ex})}{p_{B}(-\Sigma^{\rm ex})}={\Sigma^{\rm ex}}. (43)

which is called the transient FT for the excess EP.

In the limit of vanishing temperature gradient, we may use Eq. (24) and Eq. (40) to obtain

ΣF[𝜸]\displaystyle\Sigma_{F}[{\bm{\gamma}}] =\displaystyle= β𝜸dλ(V(𝒙;λ)F(λ))\displaystyle\beta\int_{\bm{\gamma}}d_{\lambda}\left(V({\bm{x}};\lambda)-F(\lambda)\right) (44)
=\displaystyle= β𝒲[𝜸]βΔF,\displaystyle\beta{\mathcal{W}}[{\bm{\gamma}}]-\beta\Delta F,

where ΔF=F(λf)F(λi)\Delta F=F(\lambda_{f})-F(\lambda_{i}) is the change of the equilibrium free energy, whilst 𝒲[𝜸]=𝜸dλV(𝒙;λ){\mathcal{W}}[{{\bm{\gamma}}}]=\int_{{\bm{\gamma}}}d_{\lambda}V({\bm{x}};\lambda) is the work done by the external parameter. Hence the excess FT (43) reduces to the well-known Crooks FT:

logpF(W)pB(W)=β(WΔF).\displaystyle\log\frac{p_{F}(W)}{p_{B}(-W)}=\beta(W-\Delta F). (45)

IV Numerical simulation

In this section, we simulate a Brownian particle in a temperature gradient, and verify that the dynamics of the Brownian particle is indeed described by the over-damped Langevin equation (2), with appropriate choices of system parameters. We will numerically compute the position-dependent temperature T(𝒙)T({\bm{x}}) and friction coefficient γ(𝒙)\gamma({\bm{x}}), as well as the generalized potential U(𝒙;λ)U({\bm{x}};\lambda). Using these results, we explicitly verify the FT (43), which turns out to hold not only in the over-damped regime, but also in the under-damped regime.

IV.1 Setup of simulation

We simulate a Brownian particle immersed in a 2D Lennard-Jones fluid using LAMMPS package [59] of Molecular Dynamics (MD).

Both the interaction between fluid particles, as well as that between the Brownian particle and fluid particles, are modeled by the 12-6 Lennard-Jones (LJ) pair potential truncated at zero potential. Throughout this section all lengths are in units of the Lennard-Jones diameter σ0\sigma_{0}, all energies are in units of the well-depth ϵ0\epsilon_{0}, and the unit of time is τ=m0σ02/ϵ0\tau=\sqrt{m_{0}\sigma_{0}^{2}/\epsilon_{0}}, where m0m_{0} is the mass of the fluid particles. Boltzmann’s constant is set to unity. The interaction potential between two fluid particles is

Vff(r)={4[(1r)12(1r)6],r<1,0,r1.V_{\rm ff}(r)=\left\{\begin{aligned} &4\left[\left(\frac{1}{r}\right)^{12}-\left(\frac{1}{r}\right)^{6}\right],&r<1,\\ &0,&r\geq 1.\\ \end{aligned}\right. (46)

The mass of the Brownian particle is set to be M=10m0M=10m_{0}. The diameter of the Brownian particle is chosen to be triple that of the fluid particles. Consequently, the interaction potential between the Brownian particle and a fluid particle is

Vcf(r)={4[(2r)12(2r)6],r<2,0,r2.V_{\rm cf}(r)=\left\{\begin{aligned} &4\left[\left(\frac{2}{r}\right)^{12}-\left(\frac{2}{r}\right)^{6}\right],&r<2,\\ &0,&r\geq 2.\\ \end{aligned}\right. (47)
Refer to caption
Figure 1: Brownian particle in temperature gradient and external potential. The green dots show the fluid temperature determined numerically, whereas the green shade gives the error bar. The straight-line is the linear fit of temperature given by Eq. (51).

The system consists of N=2810N=2810 fluid particles and a single Brownian particle. All particles are put into a two-dimensional square box with length L=200L=200. The dimensionless density of the fluid is pe=0.07p_{e}=0.07, which corresponds to a gas phase. The NVE ensemble is used to carry out the MD simulation. A temperature gradient is established using the Langevin thermostat method [60], by introducing a hot region with temperature Th=5.8T_{h}=5.8 near the left boundary, and a cold region with temperature Tc=4.2T_{c}=4.2 near the right boundary. We choose the reflection boundary condition at x=±100x=\pm 100, so that there is no macroscopic transport of fluid particles in the steady state. We choose the periodic boundary condition at y=±100y=\pm 100. See Fig. 1 for an illustration.

We choose the time step of MD integration as dt=0.001dt=0.001, and start the simulation from a random state. After running 6×1056\times 10^{5} steps, a steady temperature gradient is set up.

To calibrate the simulation, we first simulate an equilibrium fluid by choosing Th=Tc=5T_{h}=T_{c}=5, without inserting the Brownian particle. The radial distribution function (RDF) of fluid particles as a function of rr is shown in Fig. 2 (a). The normalized velocity auto-correlation function (VACF) as a function of tt is shown in Fig. 2 (b) in log-linear scale. It can be fit well by an exponential:

v(t)v(0)v(0)2=eγ0t/m0.\frac{\langle v(t)v(0)\rangle}{\langle v(0)^{2}\rangle}=e^{-\gamma_{0}t/m_{0}}. (48)

These results indicate the equilibrium nature of the fluid.

Refer to caption
Figure 2: (a) and (b) refer to equilibrium fluid. (a) Radial distribution function (RDF) of fluid particles; (b) log-linear pro of normalized velocity auto-correlation function (VACF) of fluid particles, where c1c_{1} is the slope of the linear fit . (c) and (d) refer to fluid with temperature gradient. (c) Third order cumulants of vx,vyv_{x},v_{y} as functions of xx; (d) temperature as a function of xx computed use three different methods. The meaning of vertical axis is shown on the top of each panel.

We then introduce the temperature gradient. We cut the system into many slices along the xx axis, with thickness Δx=5,or 10\Delta x=5,{\rm or}\,10, both of which are longer than the mean free path of fluid particles. Within each slice, the velocity distribution of fluid particles is approximately Gaussian. Deviations from Gaussian may be characterized by the normalized third-order cumulants:

κ3x\displaystyle\kappa_{3x} =\displaystyle= (vxvx)3(vxvx)23/2,\displaystyle\frac{\langle(v_{x}-\langle v_{x}\rangle)^{3}\rangle}{\langle(v_{x}-\langle v_{x}\rangle)^{2}\rangle^{3/2}}, (49)
κ3y\displaystyle\quad\kappa_{3y} =\displaystyle= (vyvy)3(vyvy)23/2.\displaystyle\frac{\langle(v_{y}-\langle v_{y}\rangle)^{3}\rangle}{\langle(v_{y}-\langle v_{y}\rangle)^{2}\rangle^{3/2}}. (50)

These cumulants are computed in each slice and shown in Fig. 2 (c). As one can see there, κ3y\kappa_{3y} fluctuates around zero, whereas κ3x\kappa_{3x} exhibits systematic deviation from zero by a few percent. The latter is evidently related to the heat transport along xx direction in the steady state. Hence the pdf of vyv_{y} is Gaussian, whereas the pdf of vxv_{x} exhibits a small yet systematic deviation from Gaussian.

We compute the temperature of each slice using three different methods: (1) average kinetic energy T=12vx2+12vy2T=\langle\frac{1}{2}v_{x}^{2}\rangle+\langle\frac{1}{2}v_{y}^{2}\rangle, (2) variance of vxv_{x}, and (3) variance of vyv_{y}. As shown in Fig.2 (d), all three methods are consistent with a constant temperature temperature. The best fit of the temperature profile is

T(x)=0.0083x+5.005.\displaystyle T(x)=-0.0083\,x+5.005. (51)

IV.2 Velocity distribution of the Brownian particle

Refer to caption
Figure 3: (a) The VACF of the Brownian particle in xx direction at difference external potential kxk_{x}; (b): third order cumulant of vxv_{x} of the Brownian particle as a function of xx. The black straight-line is computed using the Eq. (15) of Ref. [51]. (c) and (d): Variances of vx,vyv_{x},v_{y} can be used to compute the local temperature. The parameters corresponding to the colored lines are the same as in (b). The black straight-line is the linear fit Eq. (51). The meaning of vertical axis is shown on the top of each panel.

A Brownian particle is inserted, which also couples to an anisotropic harmonic potential:

V(𝒙)=12kx(xx0)2+12kyy2.\displaystyle V({\bm{x}})=\frac{1}{2}k_{x}(x-x_{0})^{2}+\frac{1}{2}k_{y}y^{2}. (52)

First we set ky=x0=0k_{y}=x_{0}=0, and compute the VACF of Brownian particle in xx direction, for different values of kxk_{x}. As shown in Fig. 3 (a), for kx>0.05k_{x}>0.05, the VACF decays in an oscillatory fashion, which means that the system is in the under-damped regime. By contrast for kx<0.05k_{x}<0.05, the VACF decays without oscillation, which means that the system is in the over-damped regime. Hence we expect that for kx<0.05k_{x}<0.05, the Brownian dynamics is adequately described by the over-damped Langevin equation (2), whereas for kx>0.05k_{x}>0.05, the dynamics should be described by under-damped Langevin equation.

Next we compute the velocity pdf of the Brownian particle in each xx-slice. Similar to the fluid particles, the normalized third order cumulant κ3x\kappa_{3x} of the Brownian particle also deviate slightly but systematically from zero, as shown in Fig. 3(b). Furthermore, κ3x\kappa_{3x} seems independent of confining potential and of the slice, and is also systematically different from the prediction of Ref. [51].

We also plot the variances of velocity components vx,vyv_{x},v_{y} of the Brownian particle as a function of xx. As shown in Fig. 3(c) and (d), the results are consistent with the temperature profile Eq. (51), which is computed using the velocity distributions of the fluid particles. This verifies that the Brownian particle establishes local thermal equilibrium with the fluid within each slice.

IV.3 Position distribution of the Brownian particle

We compute the steady state position pdf of Brownian particle, and use it to obtain the generalized potential via Eq. (1). The results are shown as dotted lines in Fig. 4(a) for different values of x0x_{0}. Also shown there are eβ(x)V(x)e^{-\beta(x)V(x)} (dashed lines, normalized properly), which appear always to the left of the steady state pdf. This indicates that the thermophoresis drives Brownian particle to the right (with lower temperature).

We fit the steady state position distribution by eUfit(𝒙;λ)e^{-U_{\rm fit}({\bm{x}};\lambda)}, where Ufit(𝒙;λ)U_{\rm fit}({\bm{x}};\lambda) is given by

Ufit(𝒙;λ)=β(𝒙)V(𝒙;λ)+ST𝒙T+b(λ),\displaystyle U_{\rm fit}({\bm{x}};\lambda)=\beta({\bm{x}})V({\bm{x}};\lambda)+S_{T}\,{\bm{x}}\cdot\nabla T+b(\lambda), (53)

with T=0.0083T^{\prime}=-0.0083 as given by Eq. (51), STS_{T} is the fitting parameter, whilst bb is a normalization constant. As shown by solid lines in Fig. 4(a), the fitting quality is remarkably good.

In Fig. 4(b) we plot UfitβVU_{\rm fit}-\beta V as a function of xx, for fixed kxk_{x} but different values of x0x_{0}. The slope of these straight-lines, which can be understood as the effective thermophoresis force, renormalized by the local temperature T(x)T(x), are approximately independent of x0x_{0}. This again verifies the validity of Eq. (53).

Refer to caption
Figure 4: (a) Numerically measured steady state pdf (dotted line), exp(Ufit)\exp(-U_{\rm fit}) (solid line), and exp(βV)\exp(-\beta V) (dashed line); (b) (UfitβV)(U_{fit}-\beta V); (c) UβVU-\beta V against xx for different values of temperature gradient. The black straight-lines are linear fitting. (d): The slope of the linear fit against the temperature gradient gives the Soret coefficient. kx=0.01k_{x}=0.01 in all these simulations. The meaning of vertical axis is shown on the top of each panel.

IV.4 Soret coefficient

Let us now establish the connection between our theory and the thermodynamic theory of thermophoresis [29]. In the latter theory, there is no external potential, the probability current of the Brownian particle is [29]

𝒋(𝒙)=D(p(𝒙)+STp(𝒙)T),{\bm{j}}({\bm{x}})=-D\left(\nabla p({\bm{x}})+S_{T}\,p({\bm{x}})\,\nabla T\right), (54)

where STS_{T} is the Soret coefficient, whilst DD is the diffusion constant. In general, both STS_{T} and DD depend on position. However, in the thermodynamic theory of thermophoresis, it is always assumed that the overall variation temperature is small, so that STS_{T} and DD may be treated as constants.

In our theory, the probability current is given by Eq. (6), where UU is given by Eq. (53). In the absence of external potential, Eq. (6) reduces to

𝒋(𝒙)=T(𝒙)γ(𝒙)(p(𝒙)+STp(𝒙)T).\displaystyle{\bm{j}}({\bm{x}})=-\frac{T({\bm{x}})}{\gamma({\bm{x}})}\left(\nabla p({\bm{x}})+S_{T}\,p({\bm{x}})\,\nabla T\right). (55)

This is precisely Eq. (54) with a position-dependent diffusion constant D(𝒙)=T(𝒙)/γ(𝒙)D({\bm{x}})=T({\bm{x}})/\gamma({\bm{x}}). Hence the parameter STS_{T} in Eq. (53) is precisely the Soret coefficient.

In Fig. 4 (c) we fix x0=0x_{0}=0, and use simulation data to plot UβVU-\beta V against xx for different values of temperature gradient. In Fig. 4 (d) we plot the slope of linear fitting in Fig. 4 (c) against temperature gradient. This clearly demonstrates that the Soret coefficient STS_{T} is approximately constant within the region of simulation. Indeed, in the region of simulation, the overall variation of temperature is less than 8%, hence STS_{T} can be treated approximately as a constant.

IV.5 Friction coefficient

Refer to caption
Figure 5: (a) The linear relation between force FF and average velocity is used to calculate the friction coefficient γ(x)\gamma(x). It is seen that γ(x)\gamma(x) is only very weakly dependent on xx. (b) The friction coefficient γ\gamma computed using two different methods. kx=0.01k_{x}=0.01 in all these simulations.

We use two different methods to compute the friction coefficient as a function of xx. In the first method, we apply a constant force along yy direction, and compute the friction coefficient via:

γ(x0)vy(t)=F,{\gamma(x_{0})}\langle v_{y}(t)\rangle={F}, (56)

where x0x_{0} is the minimum of the potential Eq. (52). In Fig. 5 (a) the relation between vy(t)\langle v_{y}(t)\rangle and FF is shown for different x0x_{0}, from which we deduce that the dependence of γ(x0){\gamma(x_{0})} on x0x_{0} is very weak. The computed friction coefficient is shown as orange symbols in Fig. 5 (b).

In the second method, we set ky=0k_{y}=0, so that the Brownian particle diffuses freely along yy direction, whilst it is confined along xx direction. Provided that the Langevin equation (2) is applicable, the mean square displacement (MSD) is given by

Δy(t)2=2T(x0)γ(x0)t,\langle\Delta y(t)^{2}\rangle=\frac{2T(x_{0})}{\gamma(x_{0})}t, (57)

where T(x)T(x) is given by the linear fit Eq. (51). Using Eq. (57) to fit simulation data, we obtain the friction coefficient shown as blue symbols in Fig. 5 (b).

It can be seen from Fig. 5 (b) that whilst two methods are yield generally consistent results, the result of the second method exhibit much larger fluctuations. According to the first method, the friction coefficient is approximately independent of the position along xx direction. This is rather expected, since variation of temperature in the simulation region is only a few percent.

IV.6 Verification of FT

We simulate three types of forward processes as well as the corresponding backward processes. In all simulations we fix ky=0.1k_{y}=0.1, so that the Brownian particle is localized in yy direction. In the first protocol, we fix kxk_{x} and vary the equilibrium position x0x_{0} during the process. In the second protocol, we fix x0x_{0} and vary kxk_{x}. In the third protocol we vary kx,x0k_{x},x_{0} simultaneously. x0x_{0}, or kxk_{x}, or both, therefore, are the control parameter λ\lambda we discussed in Sec. II. The details of these protocols are explained in the captions of Fig. 6.

Refer to caption
Figure 6: Verification of excess FT. (a), (b), (c): Histograms of excess EP. In all legends F,BF,B means forward and backward respectively. The protocol of (a) is x0=10+20t/τ,kx=0.01,ky=0.01,t(0,τ)x_{0}=-10+20t/\tau,k_{x}=0.01,k_{y}=0.01,t\in(0,\tau). The value of τ\tau (duration of the process) is shown in the legend. The protocol of (b) is x0=0,kx=0.01+0.1t/τ,ky=0.1x_{0}=0,k_{x}=0.01+0.1t/\tau,k_{y}=0.1. The protocol of (c) is x0=10+20t/τ,kx=0.01+0.1t/τ,ky=0.1x_{0}=-10+20t/\tau,k_{x}=0.01+0.1t/\tau,k_{y}=0.1. (d): Verification of FT for all three processes, where circles, triangles, and squares are respectively data from the first, second, and third protocols. Inset: The fitting slope and estimated error of the FT for each process. Symbols and colors are as the same as shown in the legend.

For each process, we sample a large number of trajectories. For each trajectory, we calculate the excess EP using Eq. (40). More specifically, we discretize each trajectory and approximate the excess EP by:

Σex[𝜸]=iUfit(λi+1,xi)Ufit(λi,xi),\Sigma^{\rm{ex}}[\bm{\gamma}]=\sum_{i}U_{\rm{fit}}(\lambda_{i+1},x_{i})-U_{\rm{fit}}(\lambda_{i},x_{i}), (58)

where UfitU_{\rm{fit}} is given by Eq. (53). The pdfs of Σex\Sigma^{\rm ex} in the forward process are then obtained using histograms. The pdfs of Σex\Sigma^{\rm ex} in the backward process are obtained using similar methods. The results are shown in Fig. 6(a), (b), (c), respectively, for three processes. In Fig. 6(d), the log ratio logpF(Σex)/pB(Σex)\log p_{F}(\Sigma^{\rm ex})/p_{B}(-\Sigma^{\rm ex}) is plotted against Σex\Sigma^{\rm ex} for all three processes. As shown there, all data collapse to the straight-line with unit slope, as predicted by the excess FT Eq. (43).

As explained in the captions of Fig. 6 and Fig. 7, in the second and third protocols, the spring constant kxk_{x} is tuned from 0.010.01 to 0.110.11. According to the results demonstrated in Fig. 3 (c), for kx0.05k_{x}\geq 0.05, the Brownian dynamics is under-damped, and hence the over-damped Langevin equation (2) is not applicable. Nonetheless, the excess FT seems hold to high precision in these two processes, as can be seen from Fig. 6(d). It then seems that the excess FT Eq. (43) is valid even in the under-damped regime. To test this hypothesis, we also simulate two other protocols where the system is deep in the under-damped regime in the entire process. As shown in Fig. 7, indeed the excess FT (43) remains valid as well.

Refer to caption
Figure 7: Verification of excess FT in the under-damped regime. The protocols of the blue and orange lines are x0=10+20t/τ,kx=0.1,ky=0.1x_{0}=-10+20t/\tau,k_{x}=0.1,k_{y}=0.1, with values of τ\tau shown in the legend. The data are shown as circles in (b). The protocols of the green and read lines are x0=10+20t/τ,kx=0.1+0.1t/τ,ky=0.1x_{0}=-10+20t/\tau,k_{x}=0.1+0.1t/\tau,k_{y}=0.1. The data are shown as squares in (b). Inset: The slopes of linear fitting and the estimated errors, where symbols and colors are the same as shown in the legend.

The validity of the excess FT in the under-damped regime may be understood using the stochastic thermodynamic theory developed in Ref. [21], together with two reasonable assumptions. The Brownian dynamics can be described by certain under-damped Langevin equation. Even though we do not know the concrete form of this equation, we do expect that it obeys local detailed balance. The stochastic thermodynamic theory developed in Ref. [21] is then applicable. (Unlike the over-damped theory as studied in the present work, in the under-damped theory, the house-keeping EP is generically non-vanishing. This point is however irrelevant, since we are only interested in the excess EP. ) The excess EP in the underdamped theory is defined as

Σudex[𝜸]=𝜸dλUud(𝒙,𝒑;λ),\displaystyle\Sigma^{\rm ex}_{\rm ud}[\bm{\gamma}]=\int_{\bm{\gamma}}d_{\lambda}U_{\rm ud}({\bm{x}},{\bm{p}};\lambda), (59)

where 𝒑{\bm{p}} is the momentum of the Brownian particle and Uud(𝒙,𝒑;λ)U_{\rm ud}({\bm{x}},{\bm{p}};\lambda) is the generalized potential of the under-damped theory. Here the subscript ud denotes “under-damped”. In fact Σudex[𝜸]\Sigma^{\rm ex}_{\rm ud}[\bm{\gamma}] is precisely the functional defined in Eq. (4.62) of Ref. [21]), which is also shown there to obey the fluctuation theorem (c.f. Eq. (4.63) of Ref. [21]):

logpF(Σudex)pB(Σudex)=Σudex.\displaystyle\log\frac{p_{F}(\Sigma^{\rm ex}_{\rm ud})}{p_{B}(-\Sigma^{\rm ex}_{\rm ud})}={\Sigma^{\rm ex}_{\rm ud}}. (60)

We can decompose the generalized potential Uud(𝒙,𝒑;λ)U_{\rm ud}({\bm{x}},{\bm{p}};\lambda) into the following form:

Uud(𝒙,𝒑;λ)=U𝑿(𝒙;λ)+U𝑷(𝒑;𝒙,λ),\displaystyle U_{\rm ud}({\bm{x}},{\bm{p}};\lambda)=U_{\bm{X}}({\bm{x}};\lambda)+U_{\bm{P}}({\bm{p}};{\bm{x}},\lambda), (61)

such that the conditional steady-state distribution of 𝒑{\bm{p}} given 𝒙{\bm{x}} and λ\lambda is given by

pSS(𝒑|𝒙,λ)=eU(𝒙,𝒑;λ)eU(𝒙,𝒑;λ)𝑑𝒑=eU𝑷(𝒑;𝒙,λ).\displaystyle p^{\rm SS}({\bm{p}}|{\bm{x}},\lambda)=\frac{e^{-U({\bm{x}},{\bm{p}};\lambda)}}{\int e^{-U({\bm{x}},{\bm{p}};\lambda)}d{\bm{p}}}=e^{-U_{\bm{P}}({\bm{p}};{\bm{x}},\lambda)}. (62)

It then follows that the marginal steady-state pdf of 𝒙{\bm{x}} is related to U𝑿U_{\bm{X}} via

p𝑿SS(𝒙)=eU𝑿(𝒙;λ).\displaystyle p^{\rm SS}_{\bm{X}}({\bm{x}})=e^{-U_{\bm{X}}({\bm{x}};\lambda)}. (63)

Hence U𝑿(𝒙;λ)U_{\bm{X}}({\bm{x}};\lambda) is precisely the generalized potential appearing in our over-damped theory.

Now, all results shown in Fig. 3 indicate that the velocity pdfs of the Brownian particle, conditioned on position variable, is independent of the control parameters λ\lambda, i.e. dλU𝑷(𝒑;𝒙,λ)=0d_{\lambda}U_{\bm{P}}({\bm{p}};{\bm{x}},\lambda)=0. From Eq. (61) we then deduce

dλUud(𝒙,𝒑;λ)=dλU𝑿(𝒙;λ),\displaystyle d_{\lambda}U_{\rm ud}({\bm{x}},{\bm{p}};\lambda)=d_{\lambda}U_{\bm{X}}({\bm{x}};\lambda), (64)

Substituting this back into Eq. (59) we find:

Σudex[𝜸]=𝜸dλUud=𝜸dλU𝑿=Σodex[𝜸].\displaystyle\Sigma^{\rm ex}_{\rm ud}[\bm{\gamma}]=\int_{\bm{\gamma}}d_{\lambda}U_{\rm ud}=\int_{\bm{\gamma}}d_{\lambda}U_{{\bm{X}}}=\Sigma^{\rm ex}_{\rm od}[\bm{\gamma}]. (65)

In other words, the excess EP in the under-damped theory is identical to that in the over-damped theory, provided that (i) the under-damped Langevin theory obeys local detailed balance, and (ii) the velocity distribution of the Brownian particle is independent of the control parameter λ\lambda. This explains why the excess FT (43) also holds in the under-damped regime.

V Conclusion and discussion

In this work, we developed a full theory of stochastic thermodynamics for Brownian motion inside a temperature gradient, and supply systematic numerical verification of the theory. The present work consists a first concrete example of the general theoretical framework developed in a sequel of recent papers [55, 57, 58, 21]. The problem of Brownian motion in temperature gradient has two distinct features: (i) the system is embedded in a dissipative background, and (ii) the system is coupled to multiplicative noises. Whilst there have been numerous previous works on this problem, to the best of our knowledge, our work is the first to supply a relatively complete and self-consistent theory of stochastic thermodynamics for this system.

The over-damped theory of Brownian motion in temperature is simple, because it obeys the conditions of detailed balance, so that the house-keeping entropy production vanishes identically. Also because both the variables and the control parameters are even under time-reversal, there is no entropy pumping [21]. In the future works, we shall apply the framework developed in Ref. [55, 57, 58, 21] to more complicated systems, such as Brownian dynamics of rigid bodies, of micro-magnetism, and of Brownian particles in gradient flow. We are also interested in stochastic thermodynamics of active matters, which have attracted some recent interests [61, 62].

The authors acknowledge support from Chenxing Post Doctoral Incentive Project, NSFC grant #12375035, and Shanghai Municipal Science and Technology Major Project via grant 2019SHZDZX01.

References