Open Access Article
Gerhard
Jung
*a and
Friederike
Schmid
b
aInstitut für Theoretische Physik, Universität Innsbruck, Technikerstraße 21A, A-6020 Innsbruck, Austria. E-mail: gerhard.jung@uibk.ac.at
bInstitut für Physik, Johannes Gutenberg-Universität Mainz, 55099 Mainz, Germany. E-mail: friederike.schmid@uni-mainz.de
First published on 7th June 2021
Fluctuation–dissipation relations or “theorems” (FDTs) are fundamental for statistical physics and can be rigorously derived for equilibrium systems. Their applicability to non-equilibrium systems is, however, debated. Here, we simulate an active microrheology experiment, in which a spherical colloid is pulled with a constant external force through a fluid, creating near-equilibrium and far-from-equilibrium systems. We characterize the structural and dynamical properties of these systems, and reconstruct an effective generalized Langevin equation (GLE) for the colloid dynamics. Specifically, we test the validity of two FDTs: The first FDT relates the non-equilibrium response of a system to equilibrium correlation functions, and the second FDT relates the memory friction kernel in the GLE to the stochastic force. We find that the validity of the first FDT depends strongly on the strength of the external driving: it is fulfilled close to equilibrium and breaks down far from it. In contrast, we observe that the second FDT is always fulfilled. We provide a mathematical argument why this generally holds for memory kernels reconstructed from a deterministic Volterra equation for correlation functions, even for non-stationary non-equilibrium systems. Motivated by the Mori–Zwanzig formalism, we therefore suggest to impose an orthogonality constraint on the stochastic force, which is in fact equivalent to the validity of this Volterra equation. Such GLEs automatically satisfy the second FDT and are unique, which is desirable when using GLEs for coarse-grained modeling.
For equilibrium systems, the FDTs can be rigorously derived within linear response theory,3,13 their validity in non-equilibrium situations has, however, been extensively and controversially discussed in the literature.9–11,14–24 Outside the linear response regime, these theorems should therefore be rather seen as unproven “relations”.25 One reason for the controversies might be that an apparent violation of the FDT could be caused by an incorrect generalization of the equilibrium FDT to non-equilibrium systems. For example, in the case of active microrheology, it has been shown that close to equilibrium a FDT can be recovered when considering an additive correction accounting for the local mean velocity of the particle.6,17,26 For our system this implies that the 1FDT is valid in the Galilean reference frame that moves with the average velocity of the colloid (which will be called “colloid frame” in the following). This can be intuitively understood from Onsager's hypothesis according to which the relaxation of forced fluctuations in the non-equilibrium steady-state should be related to spontaneous fluctuations around this non-equilibrium state. Other situations that can lead to apparent violation of the 1FDT have been discussed in.9,27,28 An intuitive Gedanken-experiment is a system in which two thermostats with different temperature act on different degrees of freedom of a particle (i.e. in different dimensions) and a cross correlation exists between these degrees of freedom. Such systems appear to violate the 1FDT, however, differences between response and fluctuations can be directly related to the temperature difference and the strength of the cross correlations.27,28
Discussions of the 2FDT in non-equilibrium systems have so far been scarce in the literature. From a theoretical perspective, the situation is clear for dynamical systems with unitary time evolution. This includes classical and quantum mechanical Hamiltonian systems, but also quasi-Hamiltonian systems such as Molecular Dynamics models that include Nose–Hoover thermostats. Applying the Mori–Zwanzig formalism, one can then exactly rewrite the microscopic equations of motion in terms of a GLE for coarse-grained variables, and derive an 2FDT for stationary29 or non-stationary30 systems without any assumptions – apart from the requirement that the space of dynamical variables forms a Hilbert space (and thus an inner product is defined). In non-Hamiltonian systems, however, the validity of the 2FDT has been questioned, and in fact several recent papers have suggested violation of the 2FDT.19–23,31,66 It is therefore desirable to understand potential origins for the violation of FDTs in non-equilibrium systems.
In the present paper, we investigate the validity of the fluctuation–dissipation relations in non-equilibrium steady-states using the example of active microrheology.32 For this purpose we study the linear and non-linear response of a colloid immersed in a fluid described by dissipative particle dynamics (DPD)33,34 to an externally applied driving force. To evaluate the FDTs we analyze the properties of the tracer particle in the colloid frame in detail. We reconstruct the memory kernel, which allows us to determine the coloured thermal noise. In this way we can not only validate the 2FDT but also extract the noise distribution which shows an unexpected, asymmetric non-Gaussian behaviour for systems far away from equilibrium (i.e. pulling forces outside the linear response regime). Furthermore, we observe an apparent violation of the 1FDT far away from equilibrium, which we interpret in terms of the aforementioned two-thermostat model.
Our manuscript is organized as follows. In Section II we introduce in detail the two fluctuation–dissipation relations that will be studied in this work and present some novel results on the 2FDT in non-equilibrium and possibly even non-stationary systems. We then describe the simulation model and analysis techniques, including the reconstruction of the memory kernel and determination of the noise in Section III. Afterwards, in Section IV, we analyze the response of the colloid in the reference frame. The main results of this paper about the properties of fluctuations and friction in non-equilibrium steady states, as well as the validity and breaking of fluctuation–dissipation relations are presented in Section V. In Section VI we then discuss the implications of these results for future investigations of non-equilibrium systems. We summarize and conclude in Section VII.
![]() | (1) |
![]() | (2) |
| CXY(t) = 〈X(0)* Y(t)〉eq = 〈X(0)|Y(t)〉, | (3) |
![]() | (4) |
In Section VC we apply a perturbation α(t) = MV0δ(t), i.e. an instantaneous force, acting on the position of the colloid, X, and we investigate the response of the velocity, Y(t) = V(t). Here, M is the colloid mass and V0 the instantaneous velocity, V0 = δ〈V(0)〉. The 1FDT can thus be transformed to,
![]() | (5) |
![]() | (6) |
as the non-equilibrium “temperature” of the fluid. At equilibrium, one clearly has Tneq = T (and thus βneq = β). In situations close to equilibrium where βneq ≈ β, eqn (5) can still assumed to be valid.6 For larger external driving, eqn (6) is correct for t = 0 and it remains to be investigated whether it also holds for larger times t > 0.
![]() | (7) |
![]() | (8) |
| 〈Ai(0)∂Fj(t)〉eq = 0. | (9) |
The expression for the memory kernel in the MZ formalism can also be transformed into the 2FDT,
| 〈∂Fi(0)∂Fj(t)〉eq = Kik(t)〈Ak(0)Aj(0)〉eq, | (10) |
As has been discussed in the introduction, the validity of this 2FDT in dissipative systems far from equilibrium has been questioned. However, we will now show that it is much more generally valid. For simplicity, we omit direct interactions between selected variables in the following. We consider a set of selected variables Ai(t) whose dynamical evolution is characterized by a correlation matrix Cij(t,t0) = 〈Ai(t)Aj(t0)〉neq. Here, 〈⋯〉neq denotes the non-equilibrium average over an ensemble of trajectories starting from an initial probability density ρ(Γ) at an arbitrary “initial” time T < t,t0, which can also be chosen T → −∞. We do not impose invariance with respect to time translation. However, we assume that the correlation functions can be connected to memory kernels Kij(t,t0) by means of a deterministic Volterra equation
![]() | (11) |
Based on eqn (11), we show in the Appendix A that the correlation structure defined by Cij(t,t0) can be reproduced by a coarse-grained non-stationary GLE model of the form,30,43
![]() | (12) |
| 〈∂Fi(t)∂Fj(t0)〉neq = Kik(t,t0)Ckj(t0,t0). | (13) |
It is possible to establish a relation to the Mori–Zwanzig framework by noting (see Appendix A) that eqn (11) is also equivalent to the requirement 〈∂Fi(t)Aj(T)〉 = 0 at time t0 = T. Hence the Volterra equation also implies that the fluctuating force is perpendicular to the selected variable Ai at some (arbitrary) reference time T. We emphasize that we do not assume the fluctuating force to be Gaussian distributed.
In the following, we will first investigate the implications of this result on the concrete example of active microrheology. We therefore describe the dynamics of the colloid in the colloid frame using the selected variables {A1 = X, A2 = V}, resulting in the GLE,
![]() | (14) |
![]() | (15) |
| 〈∂F(0)∂F(t)〉ss = kBTneqK(t). | (16) |
In recent years several different numerical algorithms have been proposed to calculate the memory kernel from microscopic simulations.37,39,44,45 Here, we employ the most straightforward reconstruction technique, directly based on the numerical inversion of the Volterra equation,
![]() | (17) |
![]() | (18) |
![]() | (19) |
![]() | (20) |
and ωD(r) = ωR(r)2. The random forces are described by independent increments of a Wiener process dWijdWi′j′ = (δii′δjj′ + δij′δji′)dt.34 In the present work, we do not include any conservative forces in the DPD equations of motion. Since DPD is purely based on pairwise interactions, it can be regarded as a Galilean invariant thermostat. Marsh et al.46 showed that DPD indeed reproduces the hydrodynamic equations (Navier–Stokes equation) and calculated theoretical values for transport coefficients.
Here, we use the weight function
. The simulation units are given by kBT = ε (unit of energy), rcut = σ (unit of length length) and
(unit of time). We choose the DPD parameters, γ = 5ετσ−2, density ρ = 3σ−3 and the time step Δt = 0.005τ. The shear viscosity is η = 1.28ετσ−3
47 and the solvent diffusion coefficient can be approximated to Ds = 0.75σ2τ−1.46
The colloid is modelled as a raspberry-like object, consisting of 80 independent particles placed on a spherical shell with radius R = 3σ. The total mass of the colloid is M = 80m. The colloid is a rigid body, i.e., the relative distances of all particles forming the colloid are fixed. These particles interact with the fluid particles via a purely repulsive interaction, i.e., a truncated LJ potential with cutoff
. We use a cuboid simulation box with periodic boundary conditions in all three dimensions and edge lengths Lx = 55.4689σ, Ly = Lz = 27.7345σ. To create the non-equilibrium steady-state we pull on the colloid with a constant and permanent force Fext in positive x-direction, and apply a very small negative bulk force to the fluid such that the total momentum in the system is conserved. All simulations are performed using the simulation package Lammps.48,49
To determine the response δ〈V(t)〉 and test the 1FDT in computer simulations, we apply the perturbation α(t) = MV0δ(t) to a steady-state system. We then perform two simulations in parallel; one with the perturbation (pert) and one without (unpert). The response can then be calculated as δV(t) = Vpert(t) − Vunpert(t). This quantity is then averaged over many different systems, δ〈V(t)〉, with initial perturbations at t = 0. With this method, some statistical noise in the calculation of the response function can be eliminated.
![]() | (21) |
![]() | (22) |
Using the solvent diffusion coefficient, Ds, we can also define the Peclet number, Pe = 〈v〉/vdiff, with
. This dimensionless quantity thus quantifies the ratio of the advective transport due to the external force to the diffusive transport. The linear response regime extends to Peclet numbers of roughly Pe < 1, as can be observed in Fig. 1b. For larger driving forces, the mobility clearly depends on the strength of the external force.
![]() | (23) |
![]() | ||
| Fig. 2 Cylindrical geometry in which the profiles in Fig. 3 are evaluated. The colloid center is X. In this work we have used Δr = 0.2σ and Δx = 0.4σ. | ||
![]() | ||
| Fig. 3 Radial distribution function and velocity profiles of DPD particles around the colloid in non-equilibrium steady-states with different Peclet numbers Pe. The quantities are calculated in a cylindrical geometry where the axis is set by the direction of the external force (pulling in positive x-direction). Averages are taken in wheel-shaped slices with radius r and a mid-point distance x from the colloid center (see Fig. 2). For the sake of visualization, the profiles are mirrored at r = 0, i.e. f(−r) = f(r). Shown are radial distribution function g(x,r) (a and d), average velocity parallel (b and e) and perpendicular (c and f) to the direction of the external field. The stripe at |r| < 0.2σ results from insufficient sampling in a very small volume. The colour code shows the magnitude of the scalar fields (different scales for each plot). | ||
From this analysis we can thus conclude that although the linear response regime only extends up to Pe < 1, the properties of the surrounding fluid significantly changes only for larger Pe > 3.3. We therefore expect that this similarly holds for the dynamic properties of the colloid in the colloid frame.
60,61 (not shown here due to large statistical fluctuations). As expected from linear response theory, the correlation functions for Pe < 1 are independent of the external force and isotropic. When increasing the driving above Pe > 1 the first small deviations are observable for larger times, which are, however, barely visible, in agreement with our previous observations. For very large Peclet number the VACF then qualitatively changes. First, we observe an increase in “local temperature” as defined kinetically via Tneq ∼ CV(t = 0). Second, the changes of the local fluid structure induce an oscillatory behavior in the VACF parallel to the external driving, C‖(t), as can be seen in Fig. 4a. If the colloid moves in the negative x-direction, it leaves the bow wave which counteracts the external driving, which automatically means that the external force will push the colloid back into position. If the colloid moves in the positive x-direction, the density of fluid particle significantly increases which similarly leads to a restoring force. Both cases thus effectively induce a “trapped” motion, which explains the oscillations in the VACF. In perpendicular direction, this effect is much smaller, most importantly, the local temperature does not increase as much as in parallel direction, i.e. T⊥neq < T‖neq (see Fig. 4b). Moreover, in the intermediate driving regime at Pe = 5.9 one in fact observes a slower decay of the VACF, which is most probably due to the small decrease in density in the direction perpendicular to the colloid. Only when increasing the driving even further, one observes a similar behavior as discussed in parallel direction, consistent with the change in structure shown in Fig. 3a and d.
The same observations hold for the memory kernel K(t). In equilibrium, the memory kernel also has an initial exponential decay, however for larger times it becomes negative and approaches zero with the same power law as the VACF but different sign,
.52,62 The oscillatory dependence on t discussed in the VACF for large Pe is reflected in the memory kernel by a strong initial damping, followed by a very pronounced minimum with negative friction (see Fig. 4c and d).
Comparing this normalized response to the VACF, we can immediately investigate the validity of the 1FDT. While in equilibrium the 1FDT is indeed fulfilled, for strong external forces we can clearly observe a strong violation of the first fluctuation–dissipation relation. To rationalize this important observation, we recall the results of the previous section. There, we have discussed that the instantaneous fluctuations of the velocity, CV(0), in the directions parallel and perpendicular to the external force are significantly different. A closer look at the bow wave in Fig. 3d–f also shows that the structure in the surrounding fluid can induce a coupling between these two different directions. This means that the effective restoring forces, F‖(x,r), which induce the oscillatory behavior of C‖V(t) at strong driving, do not only depend on x, but also on r (and similarly in perpendicular direction). We therefore have precisely the situation described in the introduction, with two coupled degrees of freedom which have different temperature.27,28 Here, the situation is clearly more complicated than in this toy model and it is not possible to disentangle the different contributions to the response function, but the model gives a reasonable explanation for the (apparent) violation of the 1FDT in active microrheology.
Comparing the time-correlation function of the thermal forces, C∂F(t) = 〈∂F(0)∂F(t)〉ss with the memory kernel K(t) discussed at the beginning of this section, we clearly see that the 2FDT is fulfilled for all different driving forces (see Fig. 6). Different from the 1FDT, which only holds strictly in equilibrium conditions (at least in its naive version, as discussed in ref. 27), the 2FDT indeed remains valid in a non-equilibrium steady state. This numerically confirms the theoretical calculations presented in Section II and derived in Appendix A. Interestingly, one can also calculate the correlation functions in the laboratory frame and extract the memory kernel and the thermal fluctuations in the same way as described before. The resulting memory kernel will clearly be different, but the validity of the 2FDT is not affected (see Fig. 6, black curve). This result also highlights the importance of describing the system in the colloid frame. While both descriptions are mathematically sound, the description in the colloid frame highlights the universality of the memory kernel inside the linear response regime (and even beyond).
We also investigate the distribution of the thermal fluctuations. In equilibrium, the distribution is an almost perfect Gaussian function, as one might expect from central limit theorem (see Fig. 7a), since the total force consists of hundreds of collisions which are basically independent (apart from hydrodynamic interactions). Interestingly this no longer holds outside the linear response regime. In Fig. 7b one can clearly observe a slight asymmetry in the distribution of forces parallel to the external driving, which occurs due to a long tail of “negative forces” (i.e. anti-parallel to the external force). This tail emerges since the colloid is constantly pulled through an otherwise stationary fluid. Inside the linear response regime, the diffusive dipole as discussed in ref. 59 ensures that the particles close to the colloid indeed have the same relative velocity (and thus the same statistics of collisions). This is no longer the case for Pe > 1, hence some fluid particles, illustratively, crash into the colloid, and thus induce large negative forces. Since the total average force is zero, these strong negative forces have to be compensated by a slightly enhanced probability of observing a positive thermal force. The distribution outside the linear response regime can, in fact, be described by a split normal distribution (SN-Gauss),
![]() | (24) |
= 0 and maximum
![]() | ||
| Fig. 7 Distribution of the stochastic force, ∂F(t) in non-equilibrium steady-states with different Peclet numbers, Pe = 0.0 (a) and Pe = 19 (b). The data is fitted with a split normal distribution (see eqn (24)) (SN-Gauss). In the top panel, all curves perfectly overlap. | ||
Using the split normal distribution, we can define an asymmetry factor
. It shows an unexpected non-monotonic dependence on the Pe number (see Fig. 8). For Pe < 1 it is clearly zero, consistent with the above discussion of the linear response regime. Intriguingly, we can observe a very sharp transition away from ΔLR = 0, allowing us to determine the end of the linear response regime with much more precision than possible from a simple inspection of the average steady-state velocity. Furthermore, the asymmetry reaches a maximum at around Pe = 5 and then decays rapidly again. We explain this behavior with the formation of a thick and dense particle “shield” as illustrated in Fig. 3. This bow wave is dense enough to efficiently accelerate the particles in front of the colloid, shielding it from stronger impacts, as described above.
![]() | ||
| Fig. 8 Asymmetry factor ΔLR of the split normal distribution as fitted in Fig. 7. The error bars are smaller than or basically have the same size as the points. | ||
As mentioned in the introduction, violations of the 2FDT have repeatedly been reported in the literature.19–22,31 The reason is that, when investigating the forces on a selected probe particle due to an orthogonal bath, it is not a priori clear how to distribute them between the memory and the noise term in the GLE, without additional requirements. Mitterwallner et al.23 have recently pointed out that an infinite number of GLEs are compatible with a given VACF CssV(t). However, if one imposes an orthogonality condition on the noise or, equivalently, the validity of the Volterra equation, this singles out one GLE, in which the 2FDT is fulfilled.
This remains correct in non-stationary situations, as discussed in Section IIB and should also be valid in the presence of (external) drift terms, i.e., for GLEs of the form
![]() | (25) |
(1) Determine V0i(t) = 〈V〉neqi(t).
(2) Rewrite Vi(t) = V0i(t) + ui(t), determine Cuij(t,t0) = 〈ui(t)uj(t0)〉neq and then eqn (25) can be separated as follows
![]() | (26) |
(3) Determine Kij(t,t0) by Volterra inversion of Cuij(t,t0). One obtains a GLE for ui(t) that satisfies the 2FDT.
(4) Determine the effective drift force via
.
The resulting GLE would satisfy the 2FDT.
Cui et al. have discussed a particularly intriguing case of a particle coupled to a bath of charged oscillators and subject to an oscillatory electric field.22 They derived a GLE by integrating out the bath particles following a procedure outlined by Zwanzig.29 The resulting GLE does not satisfy the 2FDT, moreover, the noise has a deterministic component that reflects the oscillatory motion of the charged bath particles. Based on our construction above we argue that also in this system, an equivalent GLE can be constructed that does satisfy the 2FDT.
To summarize, it is possible to formulate GLEs that do not satisfy the 2FDT. It some cases, working with them may be more convenient – they may have a simpler structure, the simulation may be easier, or they are the direct result of a theoretical calculation.22,66 However, different from the 1FDT one cannot use such equations to postulate a fundamental violation of the 2FDT, as it is always possible to construct equivalent GLEs that do satisfy the 2FDT. If the GLE is constructed based on the principle that the noise should be perpendicular to the selected variable at some time t = T, then this automatically results in the 2FDT relation. From a modelling perspective this latter choice strikes us as desirable since it enables a systematic and unique separation into deterministic drift, deterministic memory and friction forces as well as stochastic noise, as illustrated above.
With our analysis, we have observed a violation of the 1FDT, i.e. the relationship between non-equilibrium response and the stationary correlation function. The violation can be explained by the emergence of two different “temperatures” in the direction parallel and perpendicular to the external driving. Furthermore, we have validated the 2FDT, i.e. the connection between the friction and stochastic interaction in the system, even in conditions far away from equilibrium. We have further studied the properties of the stochastic forces and found an emerging asymmetry in its distribution function, which can be described by a screw normal distribution. This asymmetry appears to be a strong indicator to determine the linear response regime, since it depends very sensitively on perturbations of the usual diffusive dipole.59
The purpose of this work is to engage a discussion on fluctuation–dissipation relations, particular the 2FDT, in out-of-equilibrium conditions. As we have argued in the previous section and as has been argued by Mitterwallner et al.,23 the distinction between systematic and stochastic interactions with bath particles is a priori somewhat arbitrary.
We therefore suggest to impose, as additional fundamental criterion, an orthogonality condition as it directly follows from the Mori–Zwanzig formalism.29,30 This uniquely defines the relationship between the dissipative and the random forces in the system, which is then given by the 2FDT, and it is applicable to systems far away from equilibrium and also non-stationary dynamics. Such a separation is crucial for consistent modeling and should enable to use dynamic coarse-graining techniques developed in recent years42,63,64 for non-equilibrium systems. From a practical point of view, it could sometimes be convenient to use equivalent versions of the GLE that violate the 2FDT. However, in our opinion, this should then be seen as a mathematical trick rather than a fundamental property of the underlying dynamical system.
![]() | (A1) |
In the following, we will discuss the connection between the three following relations:
(I) The deterministic Volterra equation
![]() | (A2) |
(II) An expression for the correlation between the random force and velocity
![]() | (A3) |
(III) The second fluctuation–dissipation relation
| 〈∂Fi(t)∂Fj(t0)〉neq = MKik(t,t0)Ckj(t0,t0) | (A4) |
The relation (I) and (III) have been shown to hold for non-stationary Hamiltonian systems using the Mori–Zwanzig formalism.30,65
We can easily see that (I) and (II) are equivalent. We simply multiply eqn (A1) with Aj(t0) and take the ensemble average. We will now show that (I) implies (III). To this end, we first express ∂Fj(t0) using eqn (A1) multiply with ∂Fi(t), take the ensemble average and thus write the force-force correlation as
![]() | (A5) |
![]() | (A6) |
![]() | (A7) |
Based on these general results, we can now specifically discuss stationary GLEs with Kij(t,s) = Kij(t − s) and their stationary solutions with Cij(t,t0) = Cij(t − t0). We consider the two most popular such GLEs, the Mori–Zwanzig GLE with T = 0, and the “stationary GLE” with T → −∞.37 In these cases, the conditions (I–III) read
![]() | (A8) |
(II) (Mori–Zwanzig GLE): 〈Ai(0)∂Fj(t)〉ss = 0.
(II′) (Stationary GLE):37
![]() | (A9) |
(III) 〈∂Fi(0)∂Fj(t)〉0 = Kik(t)Ckj(0)
We close with a note on the invertibility of eqn (A8). Provided Cij(t) has a locally integrable second derivative, eqn (A8) can be inverted in a straightforward manner by Fourier methods, yielding a unique memory kernel Kij(t). Whereas this integrability condition is usually met at t > 0, it can broken at t = 0 if Ċii(t) ≠ 0 at t → 0+ (since Ċii(t) = −Ċii(−t)). However, such cases can be handled as well. The memory kernel then acquires a δ-shaped instantaneous friction contribution.
| This journal is © The Royal Society of Chemistry 2021 |