Abstract
We asymptotically derive a non-linear Langevin-like equation with non-Gaussian white noise for a wide class of stochastic systems associated with multiple stochastic environments, by developing the expansion method in our previous paper (Kanazawa et al. in Phys Rev Lett 114:090601–090606, 2015). We further obtain a full-order asymptotic formula of the steady distribution function in terms of a large friction coefficient for a non-Gaussian Langevin equation with an arbitrary non-linear frictional force. The first-order truncation of our formula leads to the independent-kick model and the higher-order correction terms directly correspond to the multiple-kicks effect during relaxation. We introduce a diagrammatic representation to illustrate the physical meaning of the high-order correction terms. As a demonstration, we apply our formula to a granular motor under Coulombic friction and get good agreement with our numerical simulations.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Stochastic theory has been a powerful tool to understand phenomena in various fields, such as physics [1], chemistry [2], biophysics [3], and economics [4]. In particular, the Langevin model with the white Gaussian noise, which we call the Gaussian Langevin equation in this paper, is often used in modeling fluctuating systems [5]. Its microscopic foundation has been understood for a system driven by a single stochastic environment in terms of microscopic theories [6–9]. For example, van Kampen’s theory [6, 7] predicts that a stochastic system associated with a single environment is asymptotically described by a Gaussian model in the large system size limit (or equivalently, the small noise limit). Furthermore, the Gaussian Langevin model is sufficiently simple to be analytically solvable for a wide class of setups [10]. For these reasons, the Gaussian Langevin model has been accepted as a minimal model for the Brownian motion with a single environment, and has played an important role in the recent development of thermodynamics of small systems [11–27].
On the other hand, stochastic systems associated with multiple environments have not been fully understood. The role of multiple stochastic environments is significant for athermal systems, where both thermal and athermal fluctuations coexist because of external energy injection from the reservoirs. For example, athermal noise (e.g., avalanche [28, 29] or shot noise [30]) plays an important role as well as thermal noise in electrical circuits. In granular and biological systems, it is known that the granular noise [31–34] and active noise [35, 36], respectively, appear because of external vibration and consumption of adenosine triphosphate (ATP). These systems cannot be addressed by the conventional microscopic theories because they are coupled with multiple environments. A generalization of van Kampen’s approach toward athermal systems has recently been formulated in Ref. [37] by considering systems associated with two different environments, i.e., thermal and athermal environments. In Ref. [37], it is predicted that athermal stochastic systems are universally characterized by Langevin-like equations driven by non-Gaussian noise, which is consistent with experimental reports on athermal fluctuations in electric, granular, and biological systems [28, 34–36]. Such non-Gaussian models are expected to be important in non-equilibrium statistical mechanics for athermal systems [37–43].
In this paper, we extend the formulation in Ref. [37] to non-linear frictional systems. We asymptotically derive a non-linear Langevin-like equation with non-Gaussian noise, which we call the non-linear non-Gaussian Langevin equation, in the small noise limit for the environments. We further obtain an analytic solution for an arbitrary non-Gaussian Langevin equation with a non-linear frictional force. We derive a full-order asymptotic formula in terms of a large frictional coefficient for the velocity distribution function (VDF), and show that the first-order approximation corresponds to the independent-kick model, which was phenomenologically introduced in Ref. [44]. We also show that the higher-order terms directly correspond to the multiple-kicks effect during relaxation, and introduce a diagrammatic representation to illustrate the higher-order terms. As a demonstration, we address the stochastic motion of a granular motor under dry friction to verify the validity of our theory.
This paper is organized as follows: In Sect. 2, we asymptotically derive the non-Gaussian Langevin equation with a non-linear friction by a small noise expansion. In Sect. 3, we study the steady distribution function of the non-Gaussian Langevin equation, and derive the full-order asymptotic solution in terms of the inverse of the frictional coefficient. In Sect. 4, we study a granular motor under dry friction and verify our formulation numerically. In Appendix 1, we apply our formulation to the nonequilibrium steady state of a rotor in granular and molecular gases. In Appendix 2, we derive the solution of the iterative integral equation for the Fourier representation of the distribution. In Appendix 3, we check the asymptotic tail of the Fourier representation of the distribution for the cubic friction. In Appendix 4, we check the validity of the first-order renormalized solution for the cubic friction. In Appendix 5, we heuristically derive the non-smooth property of Coulombic friction from a smooth friction. In Appendix 6, we derive the Gaussian Langevin equation for the granular motor in the FCL. In Appendix 7, we show the detailed derivation of the cumulant function for the granular noise. In Appendix 8, we show the detailed derivation of the first-order formula of the steady distribution function for the granular motor.
2 Asymptotic Derivation of Non-Gaussian Langevin Equations
2.1 Setup
Let us consider a Brownian particle moving in one dimensional space coupled with multiple environments (see Fig. 1a). For simplicity, we assume that the mass of the particle is unity and that its motion obeys the Markovian dynamics characterized by a small parameter \(\varepsilon \). As will be illustrated later, \(\varepsilon \) characterizes the amplitude of noise terms and corresponds to the inverse of the system size as in Refs. [6, 7]. The dynamics of the velocity \(\hat{v}\) of the particle then obey the following master equation (so-called the differential Chapman–Kolmogorov equation [10]):
where \(P(v,t)\equiv P(\hat{v}(t)=v)\) is probability density, N is the number of stochastic environments, and \(L_{i;\varepsilon }\) is the time-independent Liouville operator originating from the ith environment. Throughout this paper, we denote a stochastic variable by a variable with a hat such as \(\hat{v}\). For \(0\le i \le N'<N\) with an integer \(N'\), we assume that the ith environment frequently interacts with the tracer particle and is described by a continuous force (the combination of the deterministic force and the Gaussian noise):
where \(\alpha _{i;\varepsilon }(v)\) is deterministic friction and \(\beta _{i;\varepsilon }^2(v)\) is the variance of the Gaussian noise. We note that the Fokker–Planck operator with multiplicative noise (2) appears when environmental fluctuation does not satisfy a stability condition (See Chap. XI in Ref. [7]). We also note that these operators have locality, which describe diffusion processes. In fact, the sample paths related to \(L_{i;\varepsilon }\) for \(1\le i \le N'\) are continuous but not differentiable almost everywhere [10]. For \(N'< i \le N\), we assume that the ith environment rarely but strongly interacts with the tracer particle and is described by the Markovian jump process:
where \(T_{i;\varepsilon }(v;y)\) is the transition rate from v with velocity jump y, the first term on the right-hand side (rhs) represents the probability inflow into v, and the second term represents the probability outflow from v. Note that these operators have non-locality because they describe non-local jump processes. We assume that \(T_{i;\varepsilon }(v;y)\) converges to zero for \(y\rightarrow \pm \infty \) in a sufficiently rapid speed (e.g., \(T_{i;\varepsilon }(v^*_{\varepsilon };y)\lesssim e^{-|y|/y^*_{i;\varepsilon }}\) for \(y\rightarrow \infty \), where \(v^*_{\varepsilon }\) is the typical velocity scale and \(y^*_{i;\varepsilon }\) is the typical velocity jump scale). Note that this assumption is necessary to avoid the divergence of cumulants (e.g., Lévy flights [45–47]). We then introduce the following synthesized Liouville operators (see Fig. 1b):
where \(A_{\varepsilon }(v)\equiv \sum _{i=1}^{N'} \alpha _{i;\varepsilon }(v)\), \(B^2_{\varepsilon }(v)\equiv \sum _{i=1}^{N'}\beta _{i;\varepsilon }^2(v)\), and \(W_{\varepsilon }(v;y)\equiv \sum _{i=N'+1}^N T_{i;\varepsilon }(v;y)\). The Liouville operators \(\mathcal {L}^c_{\varepsilon }\) and \(\mathcal {L}^d_{\varepsilon }\) describe continuous and discontinuous motions induced by stochastic forces, respectively (Fig. 2a). By introducing the white Gaussian noise \(\hat{\xi }_G(t)\) satisfying \(\langle \hat{\xi }_G(t)\rangle =0\) and \(\langle \hat{\xi }_G(t)\hat{\xi }_G(s)\rangle =\delta (t-s)\) and the Poisson noise \(\hat{\xi }_P(t;\lambda )\) with transition rate \(\lambda \), Eqs. (1), (4), and (5) are equivalent to the stochastic differential equation:
with
where the symbol \(\sum _y\) takes the summation for velocity jump y, and we introduce conditional transition rate \(\lambda _{y}^{\varepsilon }(\hat{v}) \equiv dyW_{\varepsilon }(\hat{v};y)\). The correspondence between the master equation (1) and the stochastic differential equation (6) is shown in Refs. [48–51]. Note that, if Eq. (6) satisfies the detailed balance condition, the system can be regarded as associated with thermal fluctuation (See Ref. [52], where thermal non-Gaussian noise is studied from the viewpoint of the detailed balance). On the other hand, inherent properties of athermal fluctuation originate from the violation of the detailed balance. As will be shown later, the Langevin-like equation with athermal non-Gaussian noise is derived from assumptions relevant to the violation of the detailed balance. In the following, we denote the ensemble averages of stochastic quantities as \(\langle \hat{A}\rangle \). We here stress that the fluctuation terms \(\hat{F}^c_\varepsilon (t;\hat{v})\) and \(\hat{F}^d_\varepsilon (t;\hat{v})\) have correlation with the velocity of the tracer \(\hat{v}\), which implies that the environmental fluctuation is not white noise but complicated stochastic force. We also note that the Poisson noise is the sum of \(\delta \)-type spike noise terms (Fig. 2b) as
where \(\{\hat{t}_i\}_i\) are the times at which the Poisson flights happen and are characterized by the transition rate \(\lambda \). The transition rate \(\lambda \) characterizes the typical interval between two successive Poisson flights as \(\hat{t}_{i+1}-\hat{t}_i \sim \lambda ^{-1}\). We also note that the summation in Eq. (8) can be formally written as the integral form: \(\hat{F}^d_{\varepsilon }(t;\hat{v}) = \int _{-\infty }^{\infty } y\hat{\xi }_P(t;\lambda _{y}^{\varepsilon }(\hat{v}))\) [53].
2.2 Derivation of Non-Gaussian Langevin Equations with Non-linear Friction Terms
In this subsection, we derive non-Gaussian Langevin equations with non-linear friction terms for more general setups than those in Ref. [37]. Non-linear frictions are ubiquitous in nature [55–57] and are known to appear in systems such as granular [58–60], biological [61–64] and atomic-surface ones [65–67]. We note that non-linear frictions can be discontinuous functions with respect to velocity in general (e.g., Coulombic friction), and their singular effects on stochastic properties have been interesting topics [31–34, 51, 68–77]. Indeed, as will be shown in the next section, the distribution function can be strongly singular around the peak. To derive the non-Gaussian Langevin equation, we here introduce critical assumptions as follows:
-
(i)
Small noise assumption The noise amplitudes in \(\hat{F}^c_\varepsilon (t;\hat{v})\) and \(\hat{F}^d_\varepsilon (t;\hat{v})\) are small. In other words, their stochastic parts are scaled by a small positive constant \(\varepsilon \) as
$$\begin{aligned} b_{\varepsilon }(\hat{v}) \cdot \xi _G(t)&= \varepsilon \mathcal {B}(\hat{v})\cdot \hat{\xi }_G(t), \end{aligned}$$(10)$$\begin{aligned} \hat{F}^d_{\varepsilon }(t;\hat{v})&= \varepsilon \hat{\eta }(t;\hat{v}), \end{aligned}$$(11)where \(\mathcal {B}(\hat{v})\) is a non-negative smooth function independent of \(\varepsilon \) and \(\hat{\eta }(t;\hat{v})\) is a Markovian jump force whose transition rate \(\overline{W}(v;\mathcal {Y})\) (i.e., the Poisson jump rate with the jump amplitude \(\mathcal {Y}\) on the condition \(\hat{v}(t)=v\)) is independent of \(\varepsilon \) and is a smooth function in terms of v. We note that \(\hat{\eta }(t;\hat{v})\) can be decomposed into the following form:
$$\begin{aligned} \hat{\eta }(t;\hat{v}) = \sum _{\mathcal {Y}}\mathcal {Y}\hat{\xi }_P\big (t;\tilde{\lambda }_{\mathcal {Y}}(\hat{v})\big ), \end{aligned}$$(12)where \(\tilde{\lambda }_{\mathcal {Y}}(\hat{v})\equiv d\mathcal {Y}\overline{W}(\hat{v};\mathcal {Y})\). We here stress that \(\hat{\eta }(t;\hat{v})\) is independent of \(\varepsilon \), corresponding to the \(\varepsilon \)-independence of \(\overline{W}(v;\mathcal {Y})\).
-
(ii)
Strong deterministic friction The friction function \(A_{\varepsilon }(\hat{v})\) can be expanded as,
$$\begin{aligned} A_{\varepsilon }(\hat{v}) = \sum _{n=1}^\infty \frac{\varepsilon ^n}{n!} \mathcal {A}_{(n)}\big (\hat{\mathcal {V}}\big ), \end{aligned}$$(13)where \(\hat{\mathcal {V}}\equiv \hat{v}/\varepsilon \) is the scaled velocity and \(\mathcal {A}_{(n)}(\hat{\mathcal {V}})\) is independent of \(\varepsilon \). This scaling implies that the frictional effect in \(\hat{F}_\varepsilon ^d(t;\hat{v})\) is negligible compared with that in \(\hat{F}_\varepsilon ^c(t;\hat{v})\) (see Fig. 3a as a schematics).
-
(iii)
Stable deterministic friction Both \(A_{\varepsilon }(\hat{v})\) and \(\mathcal {A}_{(1)}(\hat{\mathcal {V}})\) are piecewise smooth functions of \(\hat{v}\) and \(\hat{\mathcal {V}}\), and have the single stable zero points \(\hat{v}=\hat{\mathcal {V}}=0\) as
$$\begin{aligned} A_{\varepsilon }(0)=0, \quad&A_{\varepsilon }(\hat{v}) >0, \quad A_{\varepsilon }(-\hat{v}) <0, \end{aligned}$$(14)$$\begin{aligned} \mathcal {A}_{(1)}(0)=0, \quad&\mathcal {A}_{(1)}\big (\hat{\mathcal {V}}\big ) >0, \quad \mathcal {A}_{(1)}\big (-\hat{\mathcal {V}}\big ) <0, \end{aligned}$$(15)where \(\hat{v}\) and \(\hat{\mathcal {V}}\) are arbitrary positive numbers.
We note that the condition (i) is the weak-coupling condition between the system and the environment, which is necessary to truncate the environmental correlation. We also note that the scalings (10) and (11) are equivalent to
where \(\overline{W}(v;\mathcal {Y})\) is the scaled jump rate independent of \(\varepsilon \) with the scaled jump \(\mathcal {Y}\equiv y/\varepsilon \). The scaling (17) can be derived as follows: According to the scaling (11), the jump size y by the discontinuous force \(\hat{F}^d_{\varepsilon }\) should be scaled as \(\mathcal {Y}\equiv y/\varepsilon \) to remove the \(\varepsilon \)-dependence. Then, the following relation holds:
which implies the scaling (17). The scaling (17) is essentially equivalent to that introduced by van Kampen [6, 7], where \(\varepsilon \) corresponds to the inverse of the system size. We also note two examples satisfying the assumptions (ii) and (iii): The first example is the viscous friction \(A_{\varepsilon }(\hat{v})=\gamma \hat{v}\) with an \(\varepsilon \)-independent parameter \(\gamma >0\). The second example is Coulombic friction \(A_{\varepsilon }(\hat{v})=\varepsilon \gamma \mathrm{\>sgn}(\hat{v})\) with an \(\varepsilon \)-independent parameter \(\gamma >0\). We note that Coulombic friction appears for systems in contact with solid [44, 58, 59]. We also note that the sign function \(\mathrm{sgn}(v)\) is defined as follows: For \(v>0\), \(\mathrm{sgn}(v) = +1\). For \(v=0\), \(\mathrm{sgn}(v) = 0\). For \(v<0\), \(\mathrm{sgn}(v) = -1\).
We next derive the non-Gaussian Langevin equation using an asymptotic expansion in terms of \(\varepsilon \). In the small noise limit \(\varepsilon \rightarrow 0\), the steady distribution function \(P_\mathrm{SS}(v)\equiv \lim _{t\rightarrow \infty }P(v,t)\) converges to the \(\delta \)-function around the stable point \(v=0\) as \(\lim _{\varepsilon \rightarrow 0}P_\mathrm{SS}(v)=\delta (v)\), because the small noise expansion is a singular perturbation [54] (see Fig. 3b). In order to solve this singular perturbation, we have to introduce an appropriate scaled variable
which enlarges the peak of the distribution P(v, t), where the Langevin-like description is asymptotically valid (see Fig. 3b).
On the basis of the above assumptions (i), (ii) and (iii), let us derive non-linear Langevin equations. By introducing the scaled variable \(\mathcal {V}=v/\varepsilon \) and the scaled distribution \(\mathcal {P}(\mathcal {V},t)=\varepsilon P(v,t)\), the master equation (1) can be written as
where we have used Eq. (13) and
We note that the integral \(\int _{-\infty }^\infty d\mathcal {Y} \overline{W}^*_{(n)}(\mathcal {Y})(\mathcal {V}-\mathcal {Y})^n \mathcal {P}(\mathcal {V}-\mathcal {Y},t)\) in Eq. (20) converges because the transition rate is assumed to decay rapidly. We also note that the Taylor expansion in Eq. (20) may be inappropriate for anomalous fluctuation because of divergence of integrals. We then obtain the following reduced master equation in the limit \(\epsilon \rightarrow 0\)
where we have introduced the friction function \(F(\mathcal {V})\equiv \mathcal {A}_{(1)}(\mathcal {V})\), the variance of the Gaussian noise \(\sigma ^2\equiv \mathcal {B}_{(0)}^{2*}\), and the transition rate \(\mathcal {W}(\mathcal {Y})\equiv \overline{W}^*_{(0)}(\mathcal {Y})\). Note that the transition rate \(\mathcal {W}(\mathcal {Y})\) is independent of \(\mathcal {V}\), which implies that the environmental correlation disappears and the discontinuous stochastic force is reduced to white noise. Equation (22) is then equivalent to the non-linear non-Gaussian Langevin equation:
with the white non-Gaussian noise \(\hat{\xi }_\mathrm{NG}\) whose transition rate is given by \(\mathcal {W}(\mathcal {Y})\). We note that the frictional effect only appears from the continuous force \(\hat{F}_\varepsilon ^c(t;\hat{v})\), not from the discontinuous force \(\hat{F}_\varepsilon ^d(t;\hat{v})\) (see Fig. 3a). We further note that the non-Gaussian Langevin equation (23) does not satisfy the detailed balance as shown in Refs. [38, 42, 43] and Sect. 2.5.2. This property originates from the assumptions (i)–(iii), which are relevant to the violation of the detailed balance, and is consistent with the non-equilibrium property of athermal fluctuation.
2.3 Weak Friction Cases: Reduction to the Gaussian Langevin Equation
We next analyze the case that the friction \(A_\varepsilon (\hat{v})\) is weak or absent. We note that the original theory by van Kampen addresses the case without the continuous force as \(\hat{F}_{\varepsilon }^c(t;\hat{v})=0\) (see Fig. 4a), and is applied to various systems, such as granular [78, 79], biological [80], and chemical systems [81]. We make the following assumptions (ii\(^{\prime }\))–(iv\(^{\prime }\)) instead of the above assumptions (ii)–(iii):
-
(ii\(^\prime \)) Weak deterministic friction The friction \(A_{\varepsilon }(\hat{v})\) is scaled by \(\varepsilon \) as
$$\begin{aligned} A_{\varepsilon }(\hat{v}) = \varepsilon \mathcal {A}(\hat{v}), \end{aligned}$$(24)where \(\mathcal {A}(\hat{v})\) is independent of \(\varepsilon \). This scaling implies that the frictional effect in \(\hat{F}_\varepsilon ^d(t;\hat{v})\) is comparable with that in \(\hat{F}_\varepsilon ^c(t;\hat{v})\) (see Fig. 4b as a schematic).
-
(iii\(^{\prime }\)) Stable deterministic friction The friction \(\mathcal {A}(\hat{v})\) is zero (\(\mathcal {A}(\hat{v})=0\)), or is a smooth function of \(\hat{v}\) which has a single stable zero point at \(\hat{v}=0\) as
$$\begin{aligned} \mathcal {A}(0)=0, \quad \mathcal {A}'(0)\equiv (d\mathcal {A}/d\hat{v})|_{\hat{v}=0}>0. \end{aligned}$$(25) -
(iv\(^{\prime }\)) Stable jump force The jump force \(\hat{F}_\varepsilon ^d(t;\hat{v})\) is stable around \(\hat{v}=0\). In other words, the following relations are assumed for the jump rate: Let us introduce the scaled variable \(\mathcal {Y}\equiv y/\epsilon \) and the scaled Kramers–Moyal coefficients
$$\begin{aligned} \mathcal {K}_n(v) \equiv (-1)^n\int _{-\infty }^\infty d\mathcal {Y}\mathcal {Y}^n \overline{W}(v;\mathcal {Y}). \end{aligned}$$(26)We assume that the Kramers–Moyal coefficients \(\{\mathcal {K}_n(v)\}_{n\ge 1}\) are smooth functions and the first-order coefficient \(\mathcal {K}_1(v)\) has a single stable zero point \(v=0\) as
$$\begin{aligned} \mathcal {K}_1(0)=0, \quad \mathcal {K}_1' (0) \equiv (d\mathcal {K}_1/dv)|_{v=0} >0. \end{aligned}$$(27)
Under the assumptions (i) and (ii\(^{\prime }\))–(iv\(^{\prime }\)), we derive a Gaussian Langevin equation. According to the Kramers–Moyal expansion, we obtain
Then, the master equation (1) can be written as
We here introduce the following scaled variables:
where the scaled velocity \(\tilde{\mathcal {V}}\) is introduced to enlarge the peak of the distribution (see Fig. 5a), and the scaled time \(\tau \) is introduced to describe the coarse-grained dynamics (see Fig. 5b). Note that the appropriate scaled variables (30) are different from the scaled variable (19) in Sect. 2.2. This difference is important because the introduction of appropriate scaled variables is the key to the singular perturbation. We then obtain the Kramers–Moyal expansion for the scaled distribution \(\mathcal {P}(\tilde{\mathcal {V}},\tau )\equiv \sqrt{\varepsilon }P(v,t)\) as
with \(\mathcal {K}^*_{1;(0)}=0\). In the limit \(\varepsilon \rightarrow 0\), we obtain the Fokker–Planck equation:
where \(\tilde{\gamma } \equiv A_{(1)}^*\), \(\gamma ' \equiv \mathcal {K}_{1;(1)}^*\), \(\sigma ^2 \equiv \mathcal {B}_{(0)}^{2*}\), and \(\sigma '^2 \equiv \mathcal {K}_{2;(0)}^*\). The Fokker–Planck equation (33) is equivalent to the Gaussian Langevin equation as
where \(\hat{\xi }_G\) and \(\hat{\xi }_G'\) are the independent white Gaussian noise terms satisfying \(\langle \hat{\xi }_G(\tau )\rangle =\langle \hat{\xi }'_G(\tau )\rangle =0\) and \(\langle \hat{\xi }_G(\tau _1)\hat{\xi }_G(\tau _2)\rangle =\langle \hat{\xi }'_G(\tau _1)\hat{\xi }_G'(\tau _2)\rangle =\delta (\tau _1-\tau _2)\). Note that the frictional effect appears not only from the continuous force \(\hat{F}_\varepsilon ^c\) but also from the discontinuous force \(\hat{F}_\varepsilon ^d\) (see Fig. 4b). In other words, the emergence of the Gaussian property is equivalent to the emergence of the frictional effect from the discontinuous force. We also note that a parallel formulation is applicable to non-linear systems when \(A_\varepsilon (\hat{v})\) is expanded as \(A_\varepsilon (\hat{v}) = \sum _{n=1}^\infty \varepsilon ^{1/2+n}\mathcal {A}_{(n)}(\tilde{\mathcal {V}})/n!\), where \(A_{\varepsilon }(\hat{v})\) and \(A_{(1)}(\tilde{\mathcal {V}})\) are piecewise smooth functions with single stable zero points \(\hat{v}= \tilde{\mathcal {V}}=0\) (e.g., the granular motor in the FCL in Sect. 4.2).
2.4 Asymptotic Connection from the Non-Gaussian to the Gaussian Theory
As we have shown, whether the system obeys the non-Gaussian Langevin equation (23) or the Gaussian one (34) depends on the amplitude of the frictional effect in \(\hat{F}^c_{\varepsilon }(t)\). We here explain an asymptotic connection from the non-Gaussian Langevin equation (23) to the Gaussian one (34) in terms of the amplitude of the frictional effect. We first make the assumptions (i), (iv’), the linear friction \(A_\varepsilon (\hat{v})=\gamma _{\varepsilon } \hat{v}\), and the symmetric jump noise \(\overline{W}(0;\mathcal {Y})=\overline{W}(0;-\mathcal {Y})\) (or equivalently, \(K_{2n+1;(0)}^*=0\)), and restrict our analysis to the following two cases:
-
1.
The strong frictional case \(\gamma _\varepsilon \) is positive and independent of \(\varepsilon \) , i.e., \(\gamma _\varepsilon =\gamma \). In this case, the assumptions (ii) and (iii) are satisfied. We then obtain
$$\begin{aligned} \frac{d\hat{v}}{dt} = -\gamma \hat{v} + \varepsilon \sigma \hat{\xi }_\mathrm{G} + \varepsilon \hat{\xi }_\mathrm{NG}, \end{aligned}$$(35)where \(\hat{\xi }_G\) is the white Gaussian noise, \(\hat{\xi }_\mathrm{NG}\) is the white non-Gaussian noise characterized by the transition rate \(\mathcal {W}(\mathcal {Y})=\overline{W}^*_{(0)}(\mathcal {Y})\), and \(\sigma ^2\equiv \mathcal {B}_{(0)}^{2*}\). We here use the original variable \(\hat{v}\) as the representation.
-
2.
The weak frictional case \(\gamma _\varepsilon \) is scaled as \(\gamma _\varepsilon =\varepsilon \tilde{\gamma }\) with a positive and \(\varepsilon \)-independent constant \(\tilde{\gamma }\). In this case, the assumptions (ii\(^{\prime }\)) and (iii\(^{\prime }\)) are satisfied. We therefore obtain
$$\begin{aligned} \frac{d\hat{v}}{dt} = -\varepsilon \tilde{\gamma } \hat{v}-\varepsilon \gamma ' \hat{v} + \varepsilon \sigma \hat{\xi }_\mathrm{G} + \varepsilon \sigma ' \hat{\xi }'_\mathrm{G}, \end{aligned}$$(36)where \(\gamma ' = \mathcal {K}_{1;(1)}^*\), \(\sigma '^2 = \mathcal {K}_{2;(0)}^*\), and \(\hat{\xi }_G\) and \(\hat{\xi }_G'\) are the independent white Gaussian noise terms satisfying \(\langle \hat{\xi }_G\rangle =\langle \hat{\xi }'_G\rangle =0\) and \(\langle \hat{\xi }_G(t_1)\hat{\xi }_G(t_2)\rangle =\langle \hat{\xi }'_G(t_1)\hat{\xi }_G'(t_2)\rangle =\delta (t_1-t_2)\). Note that we use the original variable \(\hat{v}\) again as the representation.
We note that the models (35) and (36) are not uniformly valid for the amplitude of \(\gamma \).
We now propose the following single equation which is valid for both cases 1 and 2:
In fact, Eq. (37) is reduced to Eqs. (35) and (36) to leading order in terms of \(\varepsilon \) for the cases 1 and 2, respectively. In the case 1, the second term on the rhs of Eq. (37) is negligible because the typical value of \(\hat{v}\) is the order of \(\varepsilon \) as shown in Sect. 2.2, which implies that Eq. (37) is reduced to Eq. (35) to leading order. In the case 2, Eq. (37) is reduced to Eq. (36) as follows. The Kramers–Moyal equation for Eq. (37) is given by
By introducing scaled variables \(\tilde{\mathcal {V}}\equiv v/\sqrt{\varepsilon }\), \(\tau = \varepsilon t\), and \(\mathcal {P}(\tilde{\mathcal {V}},\tau ) \equiv \sqrt{\varepsilon }P(v,t)\), we obtain
which implies Eq. (33) in the limit \(\varepsilon \rightarrow 0\). Equation (37) is then equivalent to Eq. (36) at leading order.
2.5 Discussion on the Validity of the Non-Gaussian Langevin Equation
We first remark the relationship of our formulation to the central limit theorem (CLT) and the non-equilibrium steady state. We next generalize the concept of the non-linear temperature, which has been introduced in Ref. [37], to show the explicit criteria where the small noise expansion is valid. We also show that the small noise expansion fails to reproduce the tail of the distribution.
2.5.1 Relation to the Central Limit Theorem
We explain the relation between the CLT and our theory. According to the CLT, the summation of independent and identically distributed (i.i.d) random variables asymptotically obeys the Gaussian distribution if all the cumulants of the i.i.d variables are finite. Because the white non-Gaussian noise belongs to the class of the i.i.d random variables, the simple summation of the white non-Gaussian noise \(\int _0^t ds\hat{\xi }_\mathrm{NG}(s)/\sqrt{t}\) asymptotically converges to the Gaussian noise for \(t\gg \tau _\mathrm{CLT}^*\) with the characteristic time scaleFootnote 1 \(\tau _\mathrm{CLT}^*\). If the relaxation time scale \(\tau _\mathrm{S}^*\) is sufficiently long (i.e., \(\tau _\mathrm{S}^* \gg \tau _\mathrm{CLT}^*\)), the system can be regarded as unchanged during time of the order \(\tau _\mathrm{CLT}^*\) and the CLT is valid. We therefore obtain the Gaussian Langevin equation (34) under the condition (ii\(^{\prime }\)), which is physically equivalent to \(\tau _\mathrm{S}^* \gg \tau _\mathrm{CLT}^*\). On the other hand, if the relaxation time scale is not long enough as \(\tau _{S}^* \lesssim \tau _\mathrm{CLT}^*\), the CLT is no longer applicable because the system changes its state during time of the order \(\tau _\mathrm{CLT}^*\). We then obtain the non-Gaussian Langevin equation (23) under the conditions (ii), which is physically equivalent to \(\tau _{S}^* \lesssim \tau _\mathrm{CLT}^*\).
2.5.2 Relation to the Non-equilibrium Steady State
The non-Gaussian Langevin equation (23) describes a system far from equilibrium because the local detailed balance condition is not satisfied. To clarify this point, let us analyze stochastic energetics for the non-Gaussian Langevin equation [17–19, 40] from the following two viewpoints. The first is on energy flux from the athermal to the thermal baths, and the other is on extracted work from the fluctuation.
We first discuss the energy flux from the athermal bath to the thermal one. For simplicity, let us assume the linear friction \(F(\hat{\mathcal {V}})=\gamma \hat{\mathcal {V}}\) and the symmetric non-Gaussian noise \(K_{2n+1}=0\) for \(n\ge 0\). The heat absorbed by the Gaussian bath is defined by \(d\hat{Q}/dt = (\gamma \hat{\mathcal {V}}-\sigma \hat{\xi }_\mathrm{G})\circ \hat{\mathcal {V}}\) with the Stratonovich product “\(\circ \)” [10] (see Fig. 6a as a schematic). The heat flux then flows from the non-Gaussian to the Gaussian bath: \(J = \langle d\hat{Q}/dt\rangle = K_2>0\), where \(K_2\) is the second cumulant of the non-Gaussian noise \(\hat{\xi }_\mathrm{NG}\). Remarkably, the direction of heat flux is independent of \(\sigma ^2\) (i.e., the thermal temperature). This result implies that the effective temperature of the non-Gaussian bath is much higher than that of the Gaussian bath. Indeed, high temperature difference is shown necessary between the two baths in the example of a granular rotor associated with rarefied molecular gas (see Appendix 1). We note that this condition is valid for systems where the non-Gaussian athermal fluctuations appear.
We next discuss extracted work from the athermal fluctuation through cyclic manipulation. Let us consider a non-Gaussian Langevin equation trapped by an external potential as
where \(\hat{\mathcal {X}}\) is the position of the particle, \(\hat{\mathcal {V}}\equiv d\hat{\mathcal {X}}/dt\) is the velocity, \(U(\hat{\mathcal {X}};\mathbf {a}(t))\) is an external potential, and \(\mathbf {a}(t)=(a_1(t),\dots ,a_N(t))\) is a set of external parameters. We consider extracted work through a cyclic manipulation \(\mathbf {a}(0)=\mathbf {a}(T)\) for the interval [0, T] as \(\hat{W} \equiv -\sum _{i=1}^N\int _0^T (\partial U(\hat{\mathcal {X}};\mathbf {a})/\partial a_i)da_i\). According to Ref. [43], there exists a cyclic manipulation through which average positive work can be extracted as \(\langle \hat{W}\rangle \ge 0\) even if the athermal noise has spatial symmetry (see Fig. 6b as a schematic). This result implies that the energy flux from the athermal bath is available as work when we manipulate the system in an appropriate way. This is a clear demonstration of the violation of the detailed balance originating from the assumptions in Sect. 2.2.
2.5.3 Non-linear Temperature
We here discuss the explicit criteria of the small noise assumption (i) by introducing the concept of the non-linear temperature. For simplicity, we make the assumptions (i) and (iv’), and consider the linear friction case \(A_\varepsilon (\hat{v})=\gamma \hat{v}\) with an \(\varepsilon \)-independent positive parameter \(\gamma \). We then expand \(\mathcal {B}(\varepsilon \mathcal {V})\) and \(\overline{W}(\varepsilon \mathcal {V};\mathcal {Y})\) as
where \(\mathcal {B}^{2*}_{(1)}\) and \(\overline{W}_{(1)}^*(\mathcal {Y})\) are assumed to be non-zero. The essence of our expansion is to ignore the sub-leading terms as
where \(\mathcal {V}^*\) and \(\mathcal {Y}^*\) are the typical values of \(\mathcal {V}\) and \(\mathcal {Y}\), respectively. Note that the typical value of \(\mathcal {V}\) relates to the effective temperature \(\mathcal {T}\) as
where \(\sigma ^2\equiv \mathcal {B}^{2*}_{(0)}\), \(\sigma '^2\equiv \mathcal {K}_{2;(0)}^*\). Then, the condition (42) is equivalent to the low temperature condition:
where we have introduced the non-linear temperature
Note that the minimum function is defined as \(\min (A,B)=A\) for \(A\le B\) and \(\min (A,B)=B\) for \(B<A\). The non-linear temperature (45) characterizes the temperature over which the non-linear terms in Eq. (41) become relevant.
2.5.4 Tail of the Distribution
We note that the Langevin-like description (23) is only valid for typical states of the system (i.e., \(|\mathcal {V}|\lesssim \mathcal {V}^*\equiv \sqrt{(\sigma ^2+\sigma '^2)/\gamma }\)) and is invalid for rare states (i.e., \(|\mathcal {V}|\gg \mathcal {V}^*\)). This is because the small noise expansion is not a uniform asymptotic expansion in terms of the velocity \(\mathcal {V}\). Indeed, for rare states \(|\mathcal {V}|\gtrsim \mathcal {V}^*/\varepsilon \), the higher-order terms in Eq. (20) are not negligible anymore. Fortunately, the probability of such rare trajectories is estimated to be extremely small, which ensures the validity of the Langevin-like description for typical trajectories. We note that the same limitation also exists for the original theory of van Kampen (i.e., the Gaussian Langevin equation is also an effective description for typical trajectories).
3 Asymptotic Solutions for Non-Gaussian Langevin Equation with General Non-linear Friction
We have studied the derivation of the non-Gaussian Langevin equation (23). We next study its analytical solutions for the steady distribution function. Because the exact solution for the linear case (i.e., \(F(\hat{\mathcal {V}}) = \gamma \hat{\mathcal {V}}\)) has been already obtained in Refs. [37, 82], we study the non-linear frictional case and derive a full-order asymptotic formula in terms of the frictional coefficient. We also show that the first-order truncation of the formula leads to the independent-kick model, which was phenomenologically introduced in Ref. [44]. We verify in detail the validity of the first-order formula for some specific cases: Coulombic and cubic frictions. Furthermore, we introduce a diagrammatic representation for the multiple-kicks process during relaxation.
3.1 Setup
Let us consider the non-Gaussian Langevin equation with the non-linear friction (23). For simplicity, we focus on the case without the Gaussian noise \(\sigma ^2=0\). We assume that the velocity \(\mathcal {V}\) and time t are nondimensionalized by the characteristic velocity of the friction functionFootnote 2 and the characteristic interval of the Poisson noises, respectively. The steady distribution \(\mathcal {P}_\mathrm{SS}(\mathcal {V})\equiv \lim _{t\rightarrow \infty }\mathcal {P}(\mathcal {V},t)\) satisfies
We assume that Eq. (46) has a unique solution satisfying \(\mathcal {P}_{SS}(\mathcal {V})\ge 0\) and \(\int _{-\infty }^\infty d\mathcal {V}\mathcal {P}_\mathrm{SS}(\mathcal {V})=1\). By introducing the Fourier representations
and
Equation (46) is reduced to
where we have introduced the cumulant function
Our goal is to obtain the analytic solution of the linear integral equation (49).
3.2 Asymptotic Solution for Strong Friction
We here study the asymptotic expansion in terms of the inverse of the frictional coefficient. Let us assume that the friction function \(F(\mathcal {V})\) is scaled by a positive large parameter \(\gamma \) as
where a typical trajectory of the tracer is illustrated in Fig. 7. We note that the relaxation time scale \(\tau _R^*\) is proportional to \(\gamma ^{-1}\), which implies that \(\gamma \gg 1\) is physically equivalent to \(\tau _R^*/\tau _P^* \ll 1\) with the characteristic time interval of the Poisson noise \(\tau _P^*\) (see Fig. 7). We also assume that all integrals appropriately converge in the following calculations. In the limit \(\gamma \rightarrow \infty \), the steady distribution converges to the \(\delta \)-function around the stable point \(\mathcal {V}=0\), i.e., \(\lim _{\gamma \rightarrow \infty }\mathcal {P}_\mathrm{SS}(\mathcal {V})=\delta (\mathcal {V})\), which is equivalent to \(\lim _{\gamma \rightarrow \infty }\tilde{P}(s)=1\). We then expand the Fourier representation \(\tilde{P}(s)\) in terms of the inverse of the friction coefficient \(\mu \equiv 1/\gamma \) as
where \(\tilde{a}_n(s)\) is a smooth function. We note that \(\tilde{a}_n(s)\) satisfies the following relation because of the conservation of the probability:
By introducing \(\tilde{f}(s)\equiv \int _{-\infty }^{\infty }d\mathcal {V} e^{is\mathcal {V}}f(\mathcal {V})\) and substituting Eq. (52) into Eq. (49), we obtain
From the assumption \((1/2\pi )\int _{-\infty }^{\infty }du \tilde{f}(s-u)=f(0)=0\), we obtain an iterative relation for \(\tilde{a}_n\):
where we define \(\tilde{a}_0(s)=0\). On the condition that \(\tilde{a}_n(0)=0\), Eq. (55) can be formally solved (see Appendix 2 for details):
where we have introduced a linear operator \(\mathcal {I}\) for an arbitrary function \(h(s')\) as
We then obtain the full-order asymptotic solution in terms of \(\mu \):
where we introduce \({\varvec{1}}(s') = 1\) as the indicator function for the whole real-number space \({\varvec{R}}^1\). This formula is applicable to perturbatively calculate the steady distribution function for an arbitrary frictional force. Furthermore, all of the terms in Eq. (58) can be physically interpreted as will be shown from the next subsections.
3.3 First-Order Approximation: The Independent-Kick Model
We here explain that the first-order asymptotic solution is equivalent to the independent-kick model, which was phenomenologically introduced in Ref. [44]. Let us first obtain the explicit form of the first-order solution as follows: The explicit form of \(\mathcal {I}[s;{\varvec{1}}(s')]\) can be simplified as
where we have introduced the indicator function (see Fig. 8a):
The indicator function takes the following values for \(b\ge a\) as
We also note that the indicator function satisfies the relations for arbitrary numbers a and b:
We then obtain the first-order asymptotic solution as
We next show the first-order solution (63) can be interpreted as the independent-kick model [44]. According to the physical picture of the independent-kick model, the system is typically in the rest state (\(\mathcal {V}\)=0) due to the large friction, but is sometimes excited by single-kicks. We here assume that the system is not kicked during relaxation,Footnote 3 and is kicked only in the rest state (see Fig. 8b as a schematic of the independent-kick model).
This scenario leads to the following formula:
where \(h(\mathcal {V})\) is an arbitrary function of \(\mathcal {V}\). Here, \(\mathcal {V}(t;\mathcal {Y})\) is the solution of the following differential equation on the initial condition \(\mathcal {V}(0;\mathcal {Y})=\mathcal {Y}\) as
and \(\tau ^*(\mathcal {Y})\) is the stopping time defined by
We note that \(\tau ^*(\mathcal {Y})\) satisfies \(\mathcal {V}(\tau ^*;\mathcal {Y})=0\). We also note that \(\tau ^*(\mathcal {Y})\) can diverge (e.g., the case of the viscous friction \(f(\mathcal {V})=\mathcal {V}\)). By substituting \(h(v)=e^{isv}-1\) into Eq. (64) and using Eq. (65), we obtain
which is equivalent to Eq. (63). We note that the assumption (iii) is implicitly used in the above calculation: Under the assumption (iii), the differential equation (65) has a monotonically decreasing (increasing) solution in terms of t satisfying \(\mathcal {V}(0;\mathcal {Y})=\mathcal {Y}\) and \(\mathcal {V}(\tau ^*(\mathcal {Y});\mathcal {Y})=0\) for a positive (negative) number \(\mathcal {Y}\). Therefore, the equation \(\mathcal {V}(t;\mathcal {Y})=y\) can be implicitly solved uniquely for \(t=t(y;\mathcal {Y})\).
3.4 Toy Model 1: Coulombic Friction
We first consider the case with Coulombic friction and the symmetric jump force:
We note that, in this case, the tail of \(\mathcal {P}_\mathrm{SS}(\mathcal {V})\) is given by the exponential form for an arbitrary \(\mu \) as
where \(\mathcal {D}^*\) is the characteristic jump distance and a is the solution of \(a = \mu \Phi (-ia)\). The asymptotic tail (69) can be shown as follows: Assuming that the transition rate \(\mathcal {W}(\mathcal {Y})\) decays sufficiently fast (i.e., \(\mathcal {W}(\mathcal {Y})\rightarrow 0\) for \(|\mathcal {Y}|\gg \mathcal {D}^*\)), we substitute Eq. (69) into the rhs of the master equation (46) for \(\mathcal {V} \gg \mathcal {D}^*\) to obtain
Then, the asymptotic tail (69) satisfies the master equation (46).
We next study the first-order asymptotic solution in terms of \(\mu \). From Eq. (63), the first-order asymptotic solution is given by
From Eq. (71) and the relation \(\langle \hat{\mathcal {V}}^n\rangle = (d^n\tilde{P}(s)/d(is)^n)|_{s=0}\), we obtain the moment as
Note that the asymptotic solution (71) is uniformly valid in terms of s, which implies that Eq. (71) can be used to obtain the steady distribution function \(\mathcal {P}_\mathrm{SS}(\mathcal {V})\). Using the Fourier transformation, we obtain the steady distribution in the first-order approximation:
where we have introduced \(c_1\equiv 2\int _0^\infty d\mathcal {Y}\mathcal {W}(\mathcal {Y})\mathcal {Y}\). The first term on rhs of Eq. (73) implies that the \(\delta \)-type singularity exists in the distribution function even for finite \(\mu \), which emerges because Coulombic friction is sufficiently strong around \(\mathcal {V}=0\) (i.e., the stopping time \(\tau ^*(\mathcal {Y})=\mu \mathcal {Y}\) is finite). In the case with the symmetric Poisson noise \(\mathcal {W}(\mathcal {Y}) =\lambda [\delta (\mathcal {Y}-\mathcal {Y}_0)+\delta (\mathcal {Y}+\mathcal {Y}_0)]/2\), we obtain
We here comment on the limitation of the first-order solutions (73) and (74). The asymptotic solution (73) is not uniformly valid for \(\mathcal {V}\), and is only valid for \(|\mathcal {V}| \lesssim \mathcal {D}^*\) with the characteristic jump distance \(\mathcal {D}^*\). This is because the first-order solution (73) corresponds to the independent-kick picture. If we are interested in the behavior for \(|\mathcal {V}|\gg \mathcal {D}^*\), we have to take into account the multiple-kicks effect during relaxation, which will be studied in Sect. 3.6. Indeed, the tail form (69) is totally different from the independent-kick solution (73).
3.4.1 Numerical Validation
We have numerically checked the validity of the formulas (74) and (69). We perform the Monte Carlo simulation for the symmetric Poisson noise \(\mathcal {W}(\mathcal {Y}) = \lambda [\delta (\mathcal {Y}-\mathcal {Y}_0)+\delta (\mathcal {Y}+\mathcal {Y}_0)]/2\) with parameters \(\gamma =10\), \(\lambda =1\) and \(\mathcal {Y}_0=1\). In Fig. 9a, we demonstrate that the first-order solution (74) is only valid for \(|\mathcal {V}| \le \mathcal {Y}_0=1\). In Fig. 9b, we also show that the asymptotic tail of the distribution function can be well-described by the exponential function (69). We note that the second-order solution (104), which is illustrated in Fig. 9a, will be discussed in detail in Sect. 3.6.
3.5 Toy Model 2: The Cubic Friction
Let us consider the case of the cubic friction [64] and the symmetric noise:
In this case, the integral equation (49) is reduced to the third-order ordinary differential equation:
The asymptotic tail of \(\tilde{P}(s)\) for an arbitrary \(\mu \) is given by
where \(\lambda ^*\equiv 2\int _0^{\infty }d\mathcal {Y}\mathcal {W}(\mathcal {Y})\) and C is an appropriate constant (see Appendix 3 for detail). We note that the cubic friction is sufficiently weak around \(\mathcal {V}=0\) and the stopping time diverges to infinity as \(\tau ^*(\mathcal {Y})\rightarrow \infty \). This implies that the velocity of the tracer cannot exactly stay rest at \(\mathcal {V}=0\), but distributes around \(\mathcal {V}=0\). Then, the steady distribution function \(\mathcal {P}_\mathrm{SS}(\mathcal {V})\) has no singular part or, equivalently, its Fourier representation \(\tilde{P}(s)\) belongs to the class of the \(L^1\)-functions. Indeed, the asymptotic form (77) implies that \(\mathcal {P}_\mathrm{SS}(\mathcal {V})\) asymptotically diverges around the stable zero point \(\mathcal {V}=0\) for \(\mu \lambda ^* < 1\) as
because \(\tilde{P}(s)\sim |s|^{-\mu \lambda ^*}\) for \(|s|\gg 1\). We also note that the asymptotic form (77) implies the existence of a transition point \(\mu \lambda ^*=1\). For \(\mu \lambda ^* > 1\), the distribution \(\mathcal {P}_\mathrm{SS}(\mathcal {V})\) is regular around \(\mathcal {V}=0\), while \(\mathcal {P}_\mathrm{SS}(\mathcal {V})\) diverges at \(\mathcal {V}=0\) for \(\mu \lambda ^*<1\).
Here, let us calculate the first-order asymptotic solution in terms of \(\mu \). From Eq. (63), we obtain
From the formula \(\langle \hat{\mathcal {V}}^{n}\rangle =(d^n\tilde{P}(s)/d(is)^n)|_{s=0}\), we obtain the moment \(\langle \hat{\mathcal {V}}^{n}\rangle \) as
where \(\beta _{z}(a,b)\equiv \int _0^zdt t^{a-1}(1-t)^{b-1}\) is the incomplete beta function. For the symmetric Poisson noise \(\mathcal {W}(\mathcal {Y}) = \lambda [\delta (\mathcal {Y}-\mathcal {Y}_0)+\delta (\mathcal {Y}+\mathcal {Y}_0)]/2\), Eq. (80) is reduced to \(\langle \hat{\mathcal {V}}^{n}\rangle = (-1)^{n/2}\mu \beta _{-\mathcal {Y}^2_0}(n/2,0)/2+O(\mu ^2)\) for even n.
Unfortunately, the asymptotic expansion (79) is not uniformly valid for s because the second term on the rhs of Eq. (79) diverges in the limit \(s\rightarrow \pm \infty \):
where \(\mathrm{Cin}(x)\equiv \int _{0}^{x}dt (1-\cos {t})/t\) is the cosine integral and we have used the Riemann-Lebesgue lemma \(\lim _{s\rightarrow \infty }\int _0^\mathcal {Y}d\mathcal {V} \mathcal {V}\cos {s\mathcal {V}}/(1+\mathcal {V}^2)=0\) [83]. From the asymptotic form of the cosine integral as \(\mathrm{Cin}(x) = \log {x} + O(1)\) for \(x\gg 1\), the second term on the rhs of Eq. (79) diverges in the limit \(s\rightarrow \infty \) as \(\int _0^\infty d\mathcal {Y}\mathcal {W}(\mathcal {Y})\int _0^\mathcal {Y}d\mathcal {V} (\cos {s\mathcal {V}}-1)/(\mathcal {V}(1+\mathcal {V}^2)) \sim -(\lambda ^*/2) \log {s} \rightarrow -\infty \). In order to renormalize this singular term, we here assume the following first-order solution
Note that the renormalized solution (82) reproduces the asymptotic tail (77) for \(s\rightarrow \infty \) as
where we have introduced a constant \(C'\equiv \exp [\mu \int _0^\infty d\mathcal {Y}\mathcal {W}(\mathcal {Y})\log {(1+\mathcal {Y}^2)}]\). Furthermore, Eq. (82) satisfies the original differential equation (76) without divergence even in the limit \(s\rightarrow \infty \) as shown in Appendix 4. From Eq. (82), we obtain the steady distribution function:
We note that Eq. (84) is only valid for \(|\mathcal {V}| \lesssim \mathcal {D}^*\) with the characteristic jump distance \(\mathcal {D}^*\) because the first-order solution (82) corresponds to the independent-kick model.
3.5.1 Numerical Validation
We numerically verify the validity of the first-order solution for the symmetric Poisson noise \(\mathcal {W}(\mathcal {Y})=\lambda [\delta (\mathcal {Y}-\mathcal {Y}_0)+\delta (\mathcal {Y}+\mathcal {Y}_0)]/2\) with parameters \(\gamma =10\), \(\lambda =1\), and \(\mathcal {Y}_0=1\). In this case, Eq. (82) can be rewritten as
The asymptotic form of the peak \(\mathcal {V}=0\) is given by
for \(-1< -(1-\mu \lambda ) < 0\), where \(\mathcal {P}_\mathrm{SS}(\mathcal {V})\) is integrable around the peak. To verify the validity of Eqs. (84) and (86), we perform the Monte Carlo simulation to obtain the numerical distribution function \(\mathcal {P}_\mathrm{SS}(\mathcal {V})\) and compared it with Eqs. (84) and (86). As shown in Fig. 10, our formulas (84) and (86) agree with our simulation for \(|\mathcal {V}|\le \mathcal {Y}_0\). We also note that the power-law peak (86) for the cubic friction is quite different from the \(\delta \)-type peak (74) for Coulombic friction. This power-law originates from the divergence of the stopping time as \(\tau ^*(\mathcal {Y})\rightarrow \infty \).
3.6 Higher-Order Corrections: Multiple-Kicks
We here explicitly write the higher-order correction terms to illustrate their physical meaning. We first note the following identity:
Higher-order correction terms can be obtained using this identity. For example, the second-order formula is given by
Introducing the abbreviation \(d\Gamma _i\equiv \mu d\mathcal {Y}_i\mathcal {W}(\mathcal {Y}_i)d\mathcal {V}_i/f(\mathcal {V}_i)\) and \({\varvec{1}}_{[1,b]}^{(i)}\equiv {\varvec{1}}_{[1,b]}(\mathcal {V}_i)\), the explicit formula for the nth-order term with an integer \(n\ge 2\) is represented as
We next discuss the physical meaning of the higher-order terms by introducing a diagram representation. In the following, we restrict our theory to the case where \(\tau ^*(\mathcal {Y})\) is finite for an arbitrary finite number \(\mathcal {Y}\) (e.g., Coulombic friction case). For simplicity, we first consider the second-order formula (88). The second-order solution can be rewritten as
where we have introduced the following diagrams:
We here also introduce the linear operator for an arbitrary function \(h(\mathcal {V}')\) as
The symbol \(\bullet \) denotes the bound variable coupled with the exponential factor \((e^{is\mathcal {V}}-1)\) in the integrals (e.g., \(\mathcal {V}_1\) in Eq. (91) and \(\mathcal {V}_2\) in Eq. (93)), the symbol \(\circ \) denotes the bound variable decoupled of the exponential factor in the integrals (e.g., \(\mathcal {V}_1\) in Eqs. (92) and (93)), and the arrow \(\rightarrow \) represents that the limits of the latter integral is a function of the bound variable in the former integral (e.g., the integration range for \(\mathcal {V}_2\) is designated by \(\mathcal {V}_1\) as \(\mathcal {V}_2\in [\mathcal {V}_1,\mathcal {V}_1+\mathcal {Y}_2]\) in Eq. (93)). The diagram \((\bullet )\) corresponds to the effect of the single-kicks trajectories (the two-dot-dash line trajectory in Fig. 8b), where \(\mathcal {V}_1\) moves along the two-dot-dash line. Note that the diagram \((\bullet )\) depends on s through the factor \((e^{is\mathcal {V}}-1)\). From Eq. (66), on the other hand, the diagram \((\circ )\) can be rewritten as (the integral along the solid line in Fig. 11a):
which is the probability that the second kick takes place during relaxation to leading order. Note that the diagram \((\circ )\) is just a constant. Furthermore, the diagram \((\circ \rightarrow \bullet )\) represents the effect of the second kick during relaxation (the two-dot-dash line in Fig. 11a), where \(\mathcal {Y}_1\) is the initial condition from the first kick, \(\mathcal {V}_1 \in [0,\mathcal {Y}_1]\) is the velocity before the second kick, and \(\mathcal {Y}_2\) is the flight distance by the second kick, and \(\mathcal {V}_2\in [\mathcal {V}_1,\mathcal {V}_1+\mathcal {Y}_2]\) moves along the trajectory after the second kick. Thus, the term \([1-(\circ )]\) represents the probability that the second kick does not occur during relaxation, and is used to modify the effect of the single-kicks trajectories up to the second-order as \([1-(\circ )](\bullet )\). The term \((\circ \rightarrow \bullet )\) represents the direct contribution of the double-kicks trajectory.
On the basis of the above argument, we generalize the diagrammatic representation toward general multiple-kicks effect. We here introduce the following diagrams:
where we have introduced \(\mathcal {V}_0\equiv 0\). The diagram \((\circ ^n)\) corresponds to the probability that the system is kicked n times during relaxation, and the diagram \((\circ ^{n-1}\rightarrow \bullet )\) corresponds to the effect by the nth-kick (the two-dot-dash line in Fig. 11b)). Using these diagrams, Eq. (87) can be rewritten as
From Eq. (98), we easily obtain explicit higher-order multiple-kicks processes as
We summarize the rules of the diagrams in Table 1. We note that, when the stopping time diverges as \(\tau ^*(\mathcal {Y})\rightarrow \infty \) (e.g., the cubic case), the above diagrammatic representation is not valid because some diagrams diverge and termwise integration is not allowed (e.g., the diagram \((\circ )\) diverges for the cubic case). Nevertheless, we note that the formulas (88) and (89) are valid even for such cases.
3.6.1 The Second-Order Approximation for the Toy Model 1 with Symmetric Poisson Noise
We here explicitly calculate the second-order approximation for the toy model 1 with the symmetric Poisson noise \(\mathcal {W}(\mathcal {Y})=\lambda [\delta (\mathcal {Y}-\mathcal {Y}_0)+\delta (\mathcal {Y}+\mathcal {Y}_0)]/2\). From Eq. (68), we obtain the analytic representation of the following diagrams:
We then obtain the steady distribution up to the second-order as
where we have introduced the trapezoid function (see Fig. 12):
We numerically verify the validity of the second-order formula (104) in Fig. 9a. Note that the convexity of the distribution is violated by the third term on the rhs of Eq. (104), which is consistent with the numerical result. We also note that the second-order formula (104) is valid only for \(|\mathcal {V}|\le 2\mathcal {Y}_0\) because the second-order approximation takes in the effect of single and double kicks.
4 Example: Granular Motor Under Dry Friction
We here apply our formulation to the motion of granular motors, which has been investigated experimentally and theoretically in Refs. [31–34, 44, 84] (Gálvez LO, Van der Meer D, 2014, Private communication). We first explain the setup of the granular motor under dry friction, and introduce the Boltzmann–Lorentz model, which is valid for dilute granular gases [78]. We next show the reduction of the Boltzmann–Lorentz model into the non-Gaussian Langevin equation under dry friction when the mass of the rotor is sufficiently large and the collisions of gases on the rotor are not frequent. We then obtain the analytical formula for the steady distribution of the angular velocity of the rotor using the perturbation in terms of the friction coefficient. We numerically verify the validity of our theory from the comparison of the direct Monte Carlo simulation of the Boltzmann–Lorentz model.
4.1 Setup
Let us consider a cuboid rotor with mass M, inertial moment I, height h, width w, and depth l. The rotor is placed in a dilute granular gas and is influenced by dry friction as shown in Fig. 13a. The granular gas is externally vibrated and is preserved to be in the non-equilibrium steady state. We assume that the granular gas has an isotropic velocity distribution \(\phi (|\mathbf {v}|)\) as reported in the experiments[32–34]. We also assume that the angular velocity distribution function of the rotor can be described by the Boltzmann–Lorentz equation. We further assume that the dry friction around the z-axis can be described by the Amontons-Coulomb law. Note that a heuristic derivation of the non-smooth Coulombic friction is shown from a smooth friction in Appendix 5. Then, the dynamics of the rotor are described by the following equation:
where the transition rate is given by
Here, x is the coordinate along the cuboid (see Fig. 13b), \(\gamma \) is the friction coefficient, \(\mathbf {n}(x)\) is the normal unit vector to the surface at the point x, \(R_I\equiv \sqrt{I/M}\) is the inertia radius, e is the the restitution coefficient between the rotor and the granular particles, and we have introduced the following relations:
4.2 Reduction to the Non-Gaussian Langevin Equation
We next take the zero mass-ratio limit \(\varepsilon =m/M\rightarrow 0\). According to Refs. [32–34], the characteristics of the dynamics of the rotor depend on whether collisions between the rotor and gases are sufficiently frequent. To characterize the collision frequency, let us introduce the characteristic relaxation time of the rotor caused by Coulombic friction as \(\tau _R \equiv mv_0R_I/\gamma I=\varepsilon v_0/\gamma R_I,\) where \(v_0\) is a characteristic granular velocity (e.g., the standard deviation of the velocity for the Maxwellian distribution) and \(S\equiv 2(l+w)h\) is the area of the rotor. We also introduce the characteristic collision interval: \(\tau _C\equiv (\rho Sv_0)^{-1}.\) The dynamics of the system are then characterized by the following parameterFootnote 4:
For \(\beta ^{-1} \gg 1\) (the frequent collision limit (FCL)) or \(\beta ^{-1}=\infty \) (the case without the dry friction), the collisions are sufficiently frequent and the typical behavior of the angular velocity is well characterized by the Gaussian Langevin equation as discussed in Refs. [32–34] and Appendix 6. For \(\beta ^{-1} \ll 1\) (the rare collision limit (RCL)), the collisions are so rare that the typical behavior of the system is well described by the independent-kick model [34]. We address the case for \(\beta ^{-1} \sim 1\) (we call it the occasional collision regime (OCR) in this paper), where the non-Gaussian Langevin equation under Coulombic friction is an appropriate equation in characterizing the dynamical motion of the rotor. In the OCR, the friction coefficient \(\gamma \) is effectively scaled by \(\varepsilon \):
where we have introduced the scaled frictional coefficient \(\tilde{\gamma }\equiv \beta \rho S v_0^2/R_I\). The OCR scaling (111) implies that the dry friction satisfies the conditions (ii) as \(\gamma \mathrm{\>sgn}(\varepsilon \Omega )=\varepsilon \tilde{\gamma } \mathrm{\>sgn}(\Omega )\), where we have introduced the scaled angular velocity \(\Omega \equiv \omega /\varepsilon \). Furthermore, the Boltzmann–Lorentz equation satisfies the condition (i) and the dry friction satisfies the condition (iii). In the small \(\varepsilon \) limit, then, the master equation is reduced to
where we have introduced the \(\Omega \)-independent transition rate \(\mathcal {W}(\mathcal {Y})\) as
with
Equation (112) is equivalent to the non-Gaussian Langevin equation under Coulombic friction:
where the granular noise \(\hat{\xi }_{g}\) is the white non-Gaussian noise whose transition rate is \(\mathcal {W}(\mathcal {Y})\). We note that the validity of the non-Gaussian Langevin equation (115) has already been experimentally verified in (Gálvez LO, Van der Meer D, 2014, Private communication). The cumulant generating function of the granular noise is given by
where we have introduced
for an arbitrary real number p (see Appendix 7 for the derivation). The cumulant function has even parity \(\Phi (s)=\Phi (-s)\) because of the symmetry of the rotor’s shape, which implies that no constant drift appears in Eq. (115). We note that there may exist a constant drift term as discussed in Ref. [84] when the rotor is asymmetric. We further note the asymptotic tail of the angular velocity under Coulombic friction is given by the exponential form:
where the exponent a is determined by \(\tilde{\gamma } a=\Phi (-ia)\) as shown in Sect. 3.4.
We present the explicit forms of the cumulant generating functions for some specific cases. Let us first consider the case for Maxwellian velocity distribution function: \(\phi (v)=e^{-v^2/2v_0^2}/(2\pi v_0^2)^{3/2}\). We note that this condition can be experimentally realized in strong vibration conditions using a specific container in Refs. [34, 85]. In this case, the cumulant generating function is given by
where we have introduced \(\Omega _p^*\equiv p(1+e)v_0/2R_I^2\) and \(\mathcal {G}(x)\equiv \mathcal {F}_D(x)/x-1\) with the Dawson function \(\mathcal {F}_D(x)\equiv e^{-x^2}\int _0^x dte^{t^2}\).
We next consider the exponential case: \(\phi (v)=e^{-v/v_0}/8\pi v_0^3\). We note that the exponential distribution is also experimentally realized for the weak vibration condition as shown in Ref. [85]. We obtain the following form of the cumulant function:
4.3 First-Order Asymptotic Solution
Let us analyze the dynamics of the rotor in the RCL condition (\(\beta ^{-1}\ll 1\)). In the RCL, the scaled friction coefficient \(\tilde{\gamma }\) is sufficiently large (\(\tilde{\gamma } \propto 1/\beta ^{-1} \gg 1\)), and the asymptotic expansion is valid in terms of the inverse of the friction coefficient: \(\mu \equiv 1/\tilde{\gamma }\). We then show the explicit form of the first-order asymptotic formula, which corresponds to the independent-kick model. According to the first-order solution for Coulombic friction (73), we obtain the stationary distribution function (see Appendix 8 for the derivation):
where we have introduced \(F_p\equiv p(1+e)/2R_I^2\) for an arbitrary real number p and
We now study the explicit form of the distribution function (121) for the following two cases: the Maxwellian and exponential ones. In the Maxwellian case \(\phi (v)=e^{-v^2/2v_0^2}/(2\pi v_0^2)^{3/2}\), we obtain
where the smooth part \(\mathcal {P}^{(p)}_\mathrm{smooth}(\Omega )\) for an arbitrary real number p is given by
Here, the complementary error function is defined as \(\mathrm{erfc}(x)\equiv 2\int _x^\infty dte^{-t^2}/\sqrt{\pi }\). In the exponential case \(\phi (v)=e^{-v/v_0}/8\pi v_0^3\), we obtain
where the smooth part \(\mathcal {P}^{(p)}_\mathrm{smooth}(\Omega )\) for an arbitrary real number p is given by
4.3.1 Numerical Validation
We now numerically verify the validity of the non-Gaussian Langevin equation (115) and the asymptotic formula (123). We first perform the direct Monte Carlo simulations of the Boltzmann–Lorentz equation (106) and the non-Gaussian Langevin equation (115) with parameters \(\rho =h=v_0=R_I=I=M=1\), \(l=0\), \(w=\sqrt{12}\), \(m=0.001\), and \(\tilde{\gamma }=2\sqrt{12}\). We note that the above parameters correspond to the OCR; \(\beta ^{-1}=1\). As shown in Fig. 14a, the numerical data for the non-Gaussian Langevin equation (115) and the asymptotic tail (118) agree with the numerical data for the Boltzmann–Lorentz equation (106).
We next perform the direct Monte Carlo simulation of the Boltzmann–Lorentz equation (106) with parameters \(\rho =h=v_0=R_I=I=M=1\), \(l=0\), \(w=\sqrt{12}\), \(m=0.01\), and \(\tilde{\gamma }=200\), and compare the numerical data with our analytic solution (123). We note that the above parameters correspond to the RCL; \(\beta ^{-1}\simeq 0.035 \ll 1\). As shown in Fig. 14b, the first-order asymptotic solution (123) is valid in the range \(|\Omega | \lesssim 2\Omega _w^*\simeq 7\).
5 Conclusion
We derive the non-Gaussian Langevin equation for an arbitrary non-linear friction (23) on the conditions (i)–(iii), and propose an asymptotic connection (37) from the Gaussian to the non-Gaussian Langevin equation. We obtain the full-order asymptotic formula (58) for the steady distribution function in terms of the inverse of the friction coefficient, and show that the first-order truncation of our formula leads to the independent-kick model. Moreover, we show that the higher-order terms directly correspond to the multiple-kicks processes during relaxation by introducing the diagrammatic representations (91)–(97). We apply our formulation to the granular motor under dry friction, and we systematically show that the dynamics of the rotor can be described by the non-Gaussian Langevin equation (115) and the independent-kick model (121) under the OCR and RCL conditions, respectively. We numerically verify our formulas for both OCR and RCL conditions.
Notes
The CLT time-scale \(\tau _\mathrm{CLT}^*\) can be estimated to be \(\tau _\mathrm{CLT}^*\simeq K_4/K_2^2\) with the second and fourth order cumulants \(K_2\) and \(K_4\).
For example, in the case with the cubic friction \(f(\mathcal {V})=a\mathcal {V}+b\mathcal {V}^3\), the characteristic velocity scale of the friction function \(f(\mathcal {V})\) is given by \(\mathcal {V}^*\equiv \sqrt{a/b}\).
This assumption is valid for the first-order approximation. Modification due to higher-order corrections is discussed in Sect. 3.6
References
Kubo, R., Toda, M., Hashitsume, N.: Statistical Physics II: Non-equilibrium Statistical Mechanics, 2nd edn. Springer, Berlin (1991)
Nicolis, G., Prigogine, I.: Self-Organization in Nonequilibrium Systems. Wiley, New York (1977)
Phillips, R., Kondev, J., Theriot, J.: Physical Biology of the Cell. Garland Science, New York (2008)
Black, F., Scholes, M.: The pricing of options and corporate liabilities. J. Polit. Econ. 81, 637–654 (1973)
Langevin, P.: Sur la théorie du mouvement brownien. C. R. Acad. Sci. (Paris) 146, 530–533 (1908)
Van Kampen, N.G.: A power series expansion of the master equation. Can. J. Phys. 39, 551–567 (1961)
Van Kampen, N.G.: Stochastic Processes in Physics and Chemistry, 3rd edn. North-Holland, Amsterdam (2007)
Zwanzig, R.: Nonlinear generalized Langevin equations. J. Stat. Phys. 9, 215–220 (1973)
Bacco, C.D., Baldovin, D., Orlandini, E., Sekimoto, K.: Nonequilibrium statistical mechanics of the heat bath for two Brownian particles. Phys. Rev. Lett. 112, 180605–180609 (2014)
Gardiner, C.: Stochastic Methods, 4th edn. Springer-Verlag, Berlin (2009)
Bustamante, C., Liphardt, J., Ritort, F.: The nonequilibrium thermodynamics of small systems. Phys. Today 58, 43–48 (2005)
Liphardt, J., Dumont, S., Smith, S.B., Tinoco Jr, I., Bustamante, C.: Equilibrium information from nonequilibrium measurements in an experimental test of Jarzynski’s equality. Science 296, 1832–1835 (2002)
Trepagnier, E.H., Jarzynski, C., Ritort, F., Crooks, G.E., Bustamante, C., Liphardt, J.: Experimental test of Hatano and Sasa’s nonequilibrium steady-state equality. Proc. Natl. Acad. Sci. USA 101, 15038–15041 (2004)
Blickle, V., Speck, T., Helden, L., Seifert, U., Bechinger, C.: Thermodynamics of a colloidal particle in a time-dependent nonharmonic potential. Phys. Rev. Lett. 96, 070603–070606 (2006)
Garnier, N., Ciliberto, S.: Nonequilibrium fluctuations in a resistor. Phys. Rev. E 71, 060101–060104 (2005)
Ciliberto, S., Imparato, S., Naert, A., Tanase, M.: Heat flux and entropy produced by thermal fluctuations. Phys. Rev. Lett. 110, 180601–180605 (2013)
Sekimoto, K.: Kinetic characterization of heat bath and the energetics of thermal Ratchet models. J. Phys. Soc. Jpn. 66, 1234–1237 (1997)
Sekimoto, K.: Langevin equation and thermodynamics. Prog. Theor. Phys. Suppl. 130, 17–27 (1998)
Sekimoto, K.: Stochastic Energetics. Springer-Verlag, Berlin (2010)
Seifert, U.: Stochastic thermodynamics, fluctuation theorems and molecular machines. Rep. Prog. Phys. 75, 126001–126058 (2012)
Seifert, U.: Stochastic thermodynamics: principles and perspectives. Eur. Phys. J. B 64, 423–431 (2008)
Evans, D.J., Cohen, E.G.D., Morriss, G.P.: Probability of second law violations in shearing steady states. Phys. Rev. Lett. 71, 2401–2404 (1993)
Gallavotti, G., Cohen, E.G.D.: Dynamical ensembles in nonequilibrium statistical mechanics. Phys. Rev. Lett. 74, 2694–2697 (1995)
Jarzynski, C.: Nonequilibrium equality for free energy differences. Phys. Rev. Lett. 78, 2690–2693 (1997)
Crooks, G.E.: Entropy production fluctuation theorem and the nonequilibrium work relation for free energy differences. Phys. Rev. E 60, 2721–2726 (1999)
Seifert, U.: Entropy production along a stochastic trajectory and an integral fluctuation theorem. Phys. Rev. Lett. 95, 040602–040605 (2005)
Kurchan, J.: Fluctuation theorem for stochastic dynamics. J. Phys. A Math. Gen 31, 3719–3729 (1998)
Gabelli, J., Reulet, B.: Full counting statistics of avalanche transport: an experiment. Phys. Rev. B 80, 161203–161206 (2009)
Zaklikiewicz, A.M.: 1/f noise of avalanche noise. Solid-State Electron. 43, 11–15 (1999)
Blanter, Y.M., Büttiker, M.: Shot noise in mesoscopic conductors. Phys. Rep. 336, 1–166 (2000)
Eshuis, P., Van der Weele, K., Lohse, D., Van der Meer, D.: Experimental realization of a rotational ratchet in a granular gas. Phys. Rev. Lett. 104, 248001–248004 (2010)
Gnoli, A., Petri, A., Dalton, F., Pontuale, G., Gradenigo, G., Sarracino, A., Puglisi, A.: Brownian ratchet in a thermal bath driven by Coulomb friction. Phys. Rev. Lett. 110, 120601–120605 (2013)
Gnoli, A., Puglisi, A., Touchette, H.: Granular Brownian motion with dry friction. Eur. Phys. Lett. 102, 14002–14007 (2013)
Gnoli, A., Sarracino, A., Puglisi, A., Petri, A.: Nonequilibrium fluctuations in a frictional granular motor: experiments and kinetic theory. Phys. Rev. E 87, 052209–052214 (2013)
Ben-Isaac, E., Park, Y.K., Popescu, G., Brown, F.L.H., Gov, N.S., Shokef, Y.: Effective temperature of red-blood-cell membrane fluctuations. Phys. Rev. Lett. 106, 238103–238106 (2011)
Toyota, T., Head, D.A., Schmidt, C.F., Mizuno, D.: Non-Gaussian athermal fluctuations in active gels. Soft Matter 7, 3234–3239 (2011)
Kanazawa, K., Sano, T.G., Sagawa, T., Hayakawa, H.: Minimal model of Stochastic athermal systems: origin of non-Gaussian noise. Phys. Rev. Lett. 114, 090601–090606 (2015)
Łuczka, J., Czernik, T., Hänggi, P.: Symmetric white noise can induce directed current in ratchets. Phys. Rev. E 56, 3968–3975 (1997)
Baule, A., Cohen, E.G.D.: Fluctuation properties of an effective nonlinear system subject to Poisson noise. Phys. Rev. E 79, 030103–030106 (2009)
Kanazawa, K., Sagawa, T., Hayakawa, H.: Stochastic energetics for non-Gaussian processes. Phys. Rev. Lett. 108, 210601–210605 (2012)
Morgado, W.A.M., Duarte Queiros, S.M.: Role of the nature of noise in the thermal conductance of mechanical systems. Phys. Rev. E 86, 041108–041111 (2012)
Kanazawa, K., Sagawa, T., Hayakawa, H.: Heat conduction induced by non-Gaussian athermal fluctuations. Phys. Rev. E 87, 052124–052133 (2013)
Kanazawa, K., Sagawa, T., Hayakawa, H.: Energy pumping in electrical circuits under avalanche noise. Phys. Rev. E 90, 012115–012122 (2014)
Talbot, J., Wildman, R.D., Viot, P.: Kinetics of a frictional granular motor. Phys. Rev. Lett. 107, 138001–138005 (2011)
Klafter, J., Sokolov, I.M.: First Steps in Random Walks: From Tools to Applications. Oxford University Press, New York (2011)
Metzler, R., Klafter, J.: The random walk’s guide to anomalous diffusion: a fractional dynamics approach. Phys. Rep. 339, 1–77 (2000)
Klages, R., Radons, G., Sokolov, I.M.: Anomalous Transport: Foundation and Applications. Wiley-VCH, Weinheim (2008)
Hänggi, P.: Correlation functions and masterequations of generalized (non-Markovian) Langevin equations. Z. Phys. B 31, 407–416 (1978)
Hänggi, P.: Langevin description of markovian integro-differential master equations. Z. Phys. B 36, 271–282 (1980)
Hänggi, P., Shuler, K.E., Oppenheim, I.: On the relations between Markovian master equations and stochastic differential equations. Phys. A 107, 143–157 (1981)
Sano, T.G., Hayakawa, H.: Roles of dry friction in the fluctuating motion of an adiabatic piston. Phys. Rev. E 89, 032104–032110 (2014)
Dubkov, A.A., Hänggi, P., Goychuk, I.: Non-linear Brownian motion: the problem of obtaining the thermal Langevin equation for a non-Gaussian bath. J. Stat. Mech. P01034–P01042 (2009)
Applebaum, D.: Lévy Processes and Stochastic Calculus, 2nd edn. Cambridge University Press, Cambridge (2009)
Bender, C.M., Orszag, S.A.: Advanced Mathematical Methods for Scientists and Engineers. McGraw-Hill, New York (1978)
Persson, B.N.J.: Sliding Friction. Springer-Verlag, Berlin (2000)
Wang, B., Anthony, S.M., Bae, S.C., Granick, S.: Anomalous yet Brownian. Proc. Natl. Acad. Sci. USA 106, 15160–15164 (2009)
Wang, B., Kuo, J., Bae, S.C., Granick, S.: When Brownian diffusion is not Gaussian. Nature. Mater. 11, 481 (2012)
Kawamura, H., Hatano, T., Kato, N., Biswas, S., Chakrabarti, B.K.: Statistical physics of fracture, friction, and earthquakes. Rev. Mod. Phys. 84, 839–884 (2012)
Olsson, H., Åström, K.J., Canudas de Wit, C., Gäfvert, M., Lischinsky, P.: Friction models friction compensation. Eur. J. Control 4, 176–195 (1998)
Jop, P., Forterre, Y., Pouliquen, O.: A constitutive law for dense granular flows. Nature 441, 727–730 (2006)
Bormuth, V., Varga, V., Howard, J., Schäffer, E.: Protein friction limits diffusive and directed movements of kinesin motors on microtubules. Science 325, 870–873 (2009)
Veigel, C., Schmidt, C.F.: Friction in motor proteins. Science 325, 826–827 (2009)
Jagota, A., Hui, C.-Y.: Adhesion, friction, and compliance of bio-mimetic and bio-inspired structured interfaces. Mater. Sci. Eng. R 72, 253–292 (2011)
Romanczuk, P., Bär, M., Ebeling, W., Lindner, B., Schimansky-Geier, L.: Active Brownian particles. Eur. Phys. J. 202, 1–162 (2012)
Urbakh, M., Klafter, J., Gourdon, D., Israelachvili, J.: The nonlinear nature of friction. Nature 430, 525–528 (2004)
Li, Q., Dong, Y., Perez, D., Martini, A., Carpick, R.W.: Speed dependence of atomic stick-slip friction in optimally matched experiments and molecular dynamics simulations. Phys. Rev. Lett. 106, 126101–126104 (2011)
Weymouth, A.J., Meuer, D., Mutombo, P., Wutscher, T., Ondracek, M., Jelinek, P., Giessibl, F.J.: Atomic structure affects the directional dependence of friction. Phys. Rev. Lett. 111, 126103–126106 (2013)
Kawarada, A., Hayakawa, H.: Non-Gaussian velocity distribution function in a vibrating granular bed. J. Phys. Soc. Jpn. 73, 2037–2040 (2004)
Hayakawa, H.: Langevin equation with Coulomb friction. Phys. D 205, 48–56 (2005)
De Gennes, P.-G.: Brownian motion with dry friction. J. Stat. Phys. 119, 953–962 (2005)
Touchette, H., Van der Straeten, E., Just, W.: Brownian motion with dry friction: Fokker–Planck approach. J. Phys. A Math. Theor. 43, 445002–445022 (2010)
Menzel, A.M., Goldenfeld, N.: Effect of Coulombic friction on spatial displacement statistics. Phys. Rev. E 84, 011122–011130 (2011)
Baule, A., Sollich, P.: Singular features in noise-induced transport with dry friction. Europhys. Lett. 97, 20001–20006 (2012)
Talbot, J., Viot, P.: Effect of dynamic and static friction on an asymmetric granular piston. Phys. Rev. E 85, 021310–021319 (2012)
Chen, Y., Baule, A., Touchette, H., Just, W.: Weak-noise limit of a piecewise-smooth stochastic differential equation. Phys. Rev. E 88, 052103–052117 (2013)
Sarracino, A., Gnoli, A., Puglisi, A.: Ratchet effect driven by Coulomb friction: the asymmetric Rayleigh piston. Phys. Rev. E 87, 040101–040105 (2013)
Baule, A., Sollich, P.: Rectification of asymmetric surface vibrations with dry friction: an exactly solvable model. Phys. Rev. E 87, 032112–032120 (2013)
Brilliantov, N.V., Pöschel, T.: Kinetic Theory of Granular Gases. Oxford University Press, Oxford (2004)
Sarracino, A., Villamaina, D., Costantini, G., Puglisi, A.: Granular Brownian motion. J. Stat. Mech. P04013 (2010)
Hayot, F., Jayaprakash, C.: The linear noise approximation for molecular fluctuations within cells. Phys. Biol. 1, 205 (2004)
Grima, R.: An effective rate equation approach to reaction kinetics in small volumes: theory and application to biochemical reactions in nonequilibrium steady-state conditions. J. Chem. Phys. 133, 035101 (2010)
Eliazar, I., Klafter, J.: Lévy–Driven Langevin systems: targeted stochasticity. J. Stat. Phys. 111, 739–768 (2003)
Strichartz, R.: A Guide to Distribution Theory and Fourier Transforms. World Scientific, Singapore (2008)
Cleuren, B., Eichhorn, R.: Dynamical properties of granular rotors. J. Stat. Mech. P10011–P10026 (2008)
Olafsen, J.S., Urbach, J.S.: Velocity distributions and density fluctuations in a granular gas. Phys. Rev. E 60, R2468–R2471 (1999)
Arfken, G.B., Weber, H.J.: Mathematical Methods for Physicists. Academic Press, New York (1995)
Takada, S., Saitoh, K., Hayakawa, H.: Simulation of cohesive fine powders under a plane shear. Phys. Rev. E 90, 062207–062218 (2014)
Acknowledgments
We are grateful for the useful discussions between N. Nakagawa and A. Puglisi. A part of the numerical calculations was carried out on SR16000 at YITP in Kyoto University. This work was supported by the JSPS Core-to-Core Program “Non-equilibrium dynamics of soft matter and information,” Grants-in-Aid for the Japan Society for Promotion of Science (JSPS) Fellows (Grant Nos. 24\(\cdot \)3751 and 26\(\cdot \)2906), and JSPS KAKENHI Grant Nos. 25287098, and 25800217.
Author information
Authors and Affiliations
Corresponding author
Appendices
Appendix 1: Relation to the Non-equilibrium Steady State: Granular Rotor Under Viscous Friction
We here study the relation between our formulation and the non-equilibrium steady state through the example of the granular motor under viscous friction. We consider a rotor placed in the granular and molecular rarefied gases characterized by isotropic velocity distributions \(\phi _g(|\mathbf {v}|)\) and \(\phi _m(|\mathbf {v}|)\) (see Fig. 15a). The rotor is cuboid with height h, width w, and depth l. The masses of the rotor, the granular particle, and the molecular particle are M, \(m_g\), and \(m_m\), respectively. For simplicity, we assume that all the restitution coefficients are equal to 1 and \(l=0\). If the granular and molecular gases are sufficiently dilute (i.e., their density \(\rho _g\) and \(\rho _m\) are sufficiently small), the dynamics of the rotor are governed by the Boltzmann–Lorentz equation as:
where x is the coordinate along the cuboid (see Fig. 15b), \(\mathbf {n}(x)\) is the normal unit vector to the surface at the point x, and we introduce the inertia radius \(R_I\equiv \sqrt{I/M}\) and
We here assume that the granular mass ratio \(\varepsilon \equiv r_g= m_g/M\) is small. Furthermore, we make the following three assumptions:
-
(A1)
The masses of the rotor, granular, and molecular particles satisfy the relations \(M\gg m_g \gg m_m\). In other words, the mass ratio \(r_i\) is scaled as
$$\begin{aligned} \frac{r_m}{r_g} =O(\varepsilon ) \Longleftrightarrow r_m=\varepsilon c_r r_g=\varepsilon ^2 c_r, \end{aligned}$$(131)where \(c_r\) is a dimensionless constant independent of \(\varepsilon \).
-
(A2)
The density of the granular gas is much smaller than that of the molecular gas as \(\rho _m \gg \rho _g\). In other words, \(\rho _g\) is scaled as
$$\begin{aligned} \frac{\rho _g}{\rho _m} = O(\varepsilon ^2) \Longleftrightarrow \rho _g = \varepsilon ^2 c_\rho \rho _m, \end{aligned}$$(132)where \(c_\rho \) is a dimensionless constant independent of \(\varepsilon \). This assumption implies that the collision frequency of the granular particles is much lower than that of the molecular particles.
-
(A3)
The velocity distributions \(\phi _i(|\mathbf {v}|)\) are Maxwellian forms characterized by temperatures \(T_i\) for \(i=g,m\):
$$\begin{aligned} \phi _i(|\mathbf {v}|) = \left( \frac{m_i}{2\pi T_i}\right) ^{3/2}\exp {\left[ -\frac{m_i|\mathbf {v}|^2}{2T_i}\right] }. \end{aligned}$$(133)Furthermore, the granular temperature \(T_g\) is much higher than the molecular temperature \(T_m\) as \(T_g \gg T_m\). In other words, \(T_m\) is scaled with an \(\varepsilon \)-independent dimensionless constant \(c_T\) as
$$\begin{aligned} \frac{T_m}{T_g} = O(\varepsilon ) \Longleftrightarrow T_m = \varepsilon c_T T_g. \end{aligned}$$(134)
Under the assumptions (A1)–(A3), we use the Kramers–Moyal expansion for the molecular gas:
with the scaled Kramers–Moyal coefficient
where \(\phi _m(|\mathbf {v}|)\) is independent of \(\varepsilon \) as \(\phi _m(|\mathbf {v}|) = (c_r m_g/2\pi c_TT_g)^{3/2}\exp {[-c_r m_g|\mathbf {v}|^2/2c_T T_g]}\). The scaled Kramers–Moyal coefficients are expanded as
where \(K_{1;(0)}^*=0\) and \(K_{1;(1)}^*\ne 0\). Introducing the scaled variables
we obtain the scaled master equation (127) as
where \(\phi _g(|\mathbf {v}|)\) is independent of \(\varepsilon \) as \(\phi _g(|\mathbf {v}|) = (m_g/2\pi T_g)^{3/2}\exp {[-m_g|\mathbf {v}|^2/2 T_g]}\) and we introduce
In the limit \(\varepsilon \rightarrow 0\), Eq. (139) is reduced to
where we have used
with \(\mathcal {T}_m\equiv c_T T_g\) and \(\mathcal {I}\equiv m_gR_I^2\). Equation (142) is equivalent to the non-Gaussian Langevin equation
where \(\hat{\xi }_\mathrm{NG}\) is characterized by the transition rate \(\mathcal {W}(\mathcal {Y})\). As can be seen in the assumption (A3), the non-Gaussian Langevin equation (145) is only valid for system connected with two reservoirs characterized by extremely different temperatures. If there is no temperature difference (i.e., the system is in equilibrium condition as \(T_g=T_m\)), the non-Gaussian Langevin equation (145) does not appear. We also note that there exists a energy current from the granular to the molecular gas.
Appendix 2: Check of the Solution (56) of the Integral Equation (55)
In this appendix, we check that the solution (56) satisfies the integral equation (55) on the condition that \(\tilde{a}_n(0)=0\). We note that Eq. (55) belongs to the class of the first-kind Fredholm integral equations with convolution kernels [86]. Substituting the solution (56) into the left hand-side of Eq. (55), we obtain
where we have used the relation \(\int _{-\infty }^\infty du\tilde{f}(s-u)=f(0)=0\) in the third line. We note that the solution (56) satisfies the condition for the conservation of the probability \(\tilde{a}_n(0)=0\). Equation (56) is then the solution of the integral equation (55).
Appendix 3: Derivation of the Asymptotic Tail (77) for the Cubic Friction
We here check that the explicit form of the asymptotic tail (77) for the cubic friction. We first assume that \(|d\tilde{P}/ds| \gg |d^3\tilde{P}/ds^3|\) for \(s\rightarrow \infty \). Using the method of dominant balance, we obtain
where we have used the relation \(\int _0^s ds'(\cos {s'\mathcal {Y}}-1)/s' = \int _0^{\mathcal {Y}} d\mathcal {V}(\cos {s\mathcal {V}}-1)/\mathcal {V}\). Note that \(d\tilde{P}(s)/ds\) and \(d^3\tilde{P}(s)/ds^3\) decay for \(s\rightarrow \infty \) as
where we have introduced \(\lambda ^* \equiv 2\int _{0}^\infty d\mathcal {Y}\mathcal {W}(\mathcal {Y})\) and used the relation \(\lim _{s\rightarrow \infty }\Phi (s) = -\lambda ^*\). Equation (148) ensures the consistency of the assumption \(|d\tilde{P}/ds| \gg |d^3\tilde{P}/ds^3|\) for \(s\rightarrow \infty \). We note that the solution (147) asymptotically behaves as
where we have used the asymptotic form of the cosine integral \(\mathrm{Cin}(x)\equiv \int _0^x dt(1-\cos {t})/t \sim \log {x}\) for \(x\rightarrow \infty \).
Appendix 4: Check of the Renormalized Solution (84)
In this appendix, we check whether the postulated expression (84) satisfies the ordinary differential equation (76) by the direct substitution. For simplicity, we assume that \(\mathcal {W}(\mathcal {Y})\) is an \(L^2\)-function, where \(\Phi (s)\) is an bounded function as \(|\Phi (s)| \le \lambda ^*\) with \(\lambda ^* \equiv 2\int _{0}^\infty d\mathcal {Y}\mathcal {W}(\mathcal {Y})\). We note that \(\Phi (s)/s\) is also a bounded function because \(\Phi (s)/s\) is regular at \(s=0\) as \(\lim _{s\rightarrow 0}\Phi (s)/s = 0\) due to the symmetry \(\Phi (s)=\Phi (-s)\). We also note that \(\Phi (s)/s\) behaves as \(\Phi (s)/s = O(s^{-1})\) in the limit \(s\rightarrow \infty \). The differential equation (76) then has only two singular points at \(s=\pm \infty \). We here introduce the following quantities:
For these quantities, the following relations hold:
Then, we obtain
Note that \(Q_2\) and \(Q_3\) are bounded as
where \(E\equiv \int _0^\infty d\mathcal {Y}\mathcal {W}(\mathcal {Y})\mathcal {Y}>0\). Furthermore, \(\Phi (s)/s\), \(Q_2\), and \(Q_3\) decay for \(s\rightarrow \infty \) as
where we have used the Riemann-Lebesgue lemma as \(\lim _{s\rightarrow \infty }\int _0^\infty \mathcal {W}(\mathcal {Y}) \cos {s\mathcal {V}}=0\). This implies that the second term on the rhs of Eq. (153) is negligible compared with the first term for \(s\rightarrow \infty \) and that \(\tilde{P}(s)=e^{Q_1(s)/\gamma }\) uniformly satisfies Eq. (76) up to the first-order. We also note asymptotic relations as
Appendix 5: Heuristic Derivation of the Non-smooth Coulombic Friction from a Smooth Friction
We heuristically derive the non-smooth property of Coulombic friction from a smooth friction in this appendix. For simplicity, we set \(l=0\) and consider the case where the solid friction is given by a hyperbolic smooth friction
where \(\omega _\mathrm{C}\) is the characteristic angular velocity scale for the solid friction. Note that this form of a friction is used to analyze the non-smoothness of Coulombic friction in Ref. [75] because it recovers Coulomb friction as
We here assume the following two scalings. The first scaling is the OCR scaling
which implies that the relaxation time originating from Coulombic friction is equivalent to the typical collision interval. The second scaling is for the typical angular velocities:
where \(\omega _\mathrm{G}\equiv \varepsilon \Omega _w\) is the typical angular velocity jump by granular impulses. This scaling implies that the typical angular velocity during relaxation \(\omega _\mathrm{G}\) is much larger than \(\omega _\mathrm{C}\), and the hyperbolic friction can be approximated as
On these conditions, the formulation in Sect. 4.2 can be heuristically validated. Note that the emergence of the non-smooth Coulombic friction is studied more rigorously for the Gaussian noise in Ref. [75]. We also note that the derivation of Coulombic friciton and the estimation of the friction coefficient are addressed in Ref. [87].
Appendix 6: Derivation of the Granular Langevin Equation in the FCL
In this appendix, we derive the granular Langevin equation for the FCL regime on the basis of the parallel formulation in Sect. 2.3. Let us consider the case where \(l=0\) and the FCL scaling \(\beta ^{-1} = O(\varepsilon ^{-1/2}) \gg 1\) is satisfied. We then introduce the scaled friction \(\tilde{\gamma }'\equiv \beta \varepsilon ^{-1/2} \rho S v_0^2/R_I\), which implies
We further introduce the FCL scaling variables as follows:
The Kramers–Moyal expansion of Eq. (106) is given by
where we have introduced the Kramers–Moyal coefficient and its expansion
with \(\mathcal {K}^*_{1;(0)}=0\). We then obtain the Gaussian Langevin equation in the FCL
where \(\gamma _g\equiv -\mathcal {K}^*_{1;(1)} = (\pi \rho h (1+e)w^3 /3R_I^2)\int _0^\infty dv v^3 \phi (v)\) and \(\Gamma _g \equiv \mathcal {K}^*_{2;(0)} = (\pi \rho h (1+e)^2 w^3/12R_I^4)\int _0^\infty dvv^5\phi (v)\). This result is consistent with the theoretical and experimental results in Refs. [32–34, 84].
Appendix 7: Cumulant Generating Function of the Granular Noise (116)
In this appendix, we derive the explicit form of the cumulant generating function of the granular noise (116). The cumulant generating function \(\Phi (s)\) can be transformed as
Introducing the representation of the polar coordinate system \((v,\theta ',\psi )\), we obtain
where we have introduced \(\chi = -\cos \psi \) and
Substituting \(g(x)=(x-l/2)/R_I\) for \(0\le x\le l\) into Eq. (172), we obtain
We similarly obtain
Appendix 8: First Order Solution of the Angular Velocity’s Distribution for the Granular Motor
We here write the explicit derivation of Eq. (121). From Eqs. (73) and (107), we obtain
where we have introduced \(c_1 = \int _0^\infty d\mathcal {Y}\mathcal {W}(\mathcal {Y})\mathcal {Y}\). Here we calculate the following integral:
where we have introduced the polar coordinate \((v,\theta ',\psi )\), the flight distance \(\mathcal {Y}^\dagger (x,v,\psi ) \equiv (1+e)(x-l/2)\chi v/R_I^2\), and the variable transformation \(\chi = -\cos \psi \), and have used \(g(x)=(x-l/2)/R_I\) for \(0\le x \le l\). We remark that
We then rewrite the rhs of Eq. (177) into the following form:
where we have introduced the variable transformation \(x'=x-l/2\) and used the identity for an arbitrary positive number c as
Similarly, we obtain
We then obtain
where we have used \(F_p\equiv p(1+e)/2R_I^2\) for an arbitrary real number p. From Eqs. (176) and (182), we obtain Eq. (121). We also obtain the explicit form of \(c_1\) as follows:
We here calculate the following integral as
Similarly, we obtain
Rights and permissions
About this article
Cite this article
Kanazawa, K., Sano, T.G., Sagawa, T. et al. Asymptotic Derivation of Langevin-like Equation with Non-Gaussian Noise and Its Analytical Solution. J Stat Phys 160, 1294–1335 (2015). https://doi.org/10.1007/s10955-015-1286-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10955-015-1286-x