Abstract
We consider the generalized Langevin equation (GLE) in a harmonic potential with power law decay memory. We study the anomalous diffusion of the particle’s displacement and velocity. By comparison with the free particle situation in which the velocity was previously shown to be either diffusive or subdiffusive, we find that, when trapped in a harmonic potential, the particle’s displacement may either be diffusive or superdiffusive. Under slightly stronger assumptions on the memory kernel, namely, for kernels related to the broad class of completely monotonic functions, we show that both the free particle and the harmonically bounded GLE satisfy the equipartition of energy condition. This generalizes previously known results for the GLE under particular kernel instances such as the generalized Rouse kernel or (exactly) a power law function.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The classical Langevin equation describes the movement of a foreign particle freely suspended in Newtonian, viscous fluids. If the particle is further subjected to a harmonic potential \(U(x)=\gamma x^2/2\), where \(\gamma \) reflects the strength of the oscillator, the Langevin equation system is given by
In (1.1), (x(t), v(t)) is a two-dimensional process, m is the particle’s mass, \(\lambda >0\) represents the viscous drag coefficient, \(k_B\) is the Boltzman constant, T is the temperature and \(\{W(t)\}_{t\in {\mathbb {R}}}\) is a two–sided standard Brownian motion. However, unlike in a classical Langevin framework, fluid viscoelasticity induces time correlation between the foreign particle movement and molecular bombardment [6,7,8, 21, 24, 28, 33]. To capture this memory effect, (1.1) is modified into the so–named generalized Langevin equation (GLE) system [18, 22, 23], namely,
In (1.2), the function \(K:{\mathbb {R}}\rightarrow {\mathbb {R}}^+\) is an even memory kernel that characterizes the delayed response of the fluid medium to the particle’s past movement [12, 29]. In turn, \(\{F(t)\}_{t\in {\mathbb {R}}}\) is a zero mean, stationary, Gaussian process that is linked to K(t) via the relation
The equality in (1.3) expresses the so–called fluctuation–dissipation relationship between K and F. In other words, such relationship is the requirement that, in an equilibrium state, the covariance observed in thermal fluctuations be determined by the underlying memory kernel [24, 32, 33].
In this paper, we provide two main sets of results on the long term behavior of a particle whose dynamics are given by the system (1.2). Namely, under broad assumptions, (i) we asymptotically characterize the particle’s (ensemble) mean squared displacement (MSD) assuming \(\gamma > 0\) and (ii) we establish that equipartition of energy holds assuming \(\gamma \ge 0\) (which includes the free particle instance \(\gamma = 0\) as in (1.4) below). We now provide a more detailed description of each set of results.
By setting \(\gamma = 0\) in (1.2), we arrive at
Expression (1.4) is the GLE for a particle moving freely in a viscoelastic medium. Historically, this instance of the GLE was first proposed and studied in the seminal work [24] and later popularized in [28, 32]. In the last several decades, (1.4) has attracted a great deal of attention due to its ability to model what is known as anomalous diffusion [22, 29, 31]. To be more precise, write \(f(t)\sim g(t)\), \(t\rightarrow \infty \), when, for some \(c \in (0,\infty )\), \(\lim _{t\rightarrow \infty }f(t)/g(t)=c\). A stochastic process is said to exhibit diffusive behavior if its MSD grows linearly in time, i.e., \({\mathbb {E}}|\int _0^t v(s)\mathrm {d}s|^2\sim t\) as \(t\rightarrow \infty \). Otherwise, if the growth rate is given by \(t^\alpha \), where either \(\alpha <1\) or \(\alpha >1\), then the process is called subdiffusive or superdiffusive, respectively. It was once a longstanding conjecture that the anomalously diffusive behavior of the stationary solution of (1.4) was dictated by the decaying rate of the memory kernel K [31]. There have been several attempts to establish such conjecture by means of the asymptotic analysis of either Laplace [21, 25, 31] or Fourier transforms [7, 22, 29]. Recently, anomalous diffusion for (1.4) was fully characterized in terms of the memory kernel K. In other words, if K is integrable, then it can be shown that the second moment \({\mathbb {E}}|\int _0^t v(s)\mathrm {d}s|^2\) grows linearly in time. On the other hand, if there exists \(\alpha \in (0,1]\) such that \(K(t)\sim t^{-\alpha }\) as \(t\rightarrow \infty \), then for \(\alpha \in (0,1)\), \({\mathbb {E}}|\int _0^t v(s)\mathrm {d}s|^2\sim t^\alpha \) [29]. Moreover, for \(\alpha =1\), \({\mathbb {E}}|\int _0^t v(s)\mathrm {d}s|^2\sim t/\log (t)\) as \(t\rightarrow \infty \) [7].
Anomalous diffusion has been mostly investigated for free particles. Nevertheless, there are many viscoelastic fluid systems in which the particle is trapped by a damped harmonic motion under the action of a stationary noise term that follows the fluctuation–dissipation relationship. In recent work [5, 49], similar systems to (1.2)—with the memory kernel restricted to the interval [0, t], instead of \((-\infty ,t]\)—have been examined. Using a combination of Laplace analysis and Tauberian theorems, asymptotic expressions for the velocity autocorrelation functions were established in terms of the large scale (time) asymptotics of the memory kernel and the correlation function of the random force.
In this paper, we employ the framework of weakly stationary random operators ( [29]; see also [7, 11, 20, 51]) to construct stationary solutions for the system (1.2). Moreover, following up on results for the MSD of the system (1.4) [7, 22, 29], we use Fourier analysis [42, 43] to characterize the asymptotic behavior of the MSD of the bivariate stationary–increment process \(\int _0^t (x(s),v(s))\mathrm {d}s\) in terms of the asymptotic decay rate of K(t). Notably, whereas the process v(t) as in (1.4) may either be diffusive or subdiffusive depending on the memory kernel, in this paper we show that, for a large class of memory kernels K (see Assumption 2.1), the process x(t) in (1.2) is either diffusive or superdiffusive (see Theorem 3.3).
In the second set of main results, under slightly stronger assumptions on the memory kernel, we investigate the so–named equipartition of energy condition for the solution pair (x(t), v(t)) for (1.2) as well as for the solution v(t) for (1.4). In Statistical Mechanics, it is well known that a stationary process in thermodynamical equilibrium [3, 15, 38] must satisfy such condition, i.e., any degree of freedom (e.g., particle position or velocity) appearing quadratically in the energy contributes \(k_B T /2\) to the average kinetic energy of the system. However, the equipartition condition may hold even for out-of-equilibrium systems [34]. Since such systems are commonly found in nature, the search for generalized equipartition laws and nonequilibrium relations is still a quite active research topic [1, 27, 48]. One key motivation for studying the equipartition property in the framework of the GLE stems from the fact that (1.2) is a biophysical model [22]; hence, it is of a matter of interest in practice whether or not an equilibrium condition generally holds.
To the best of the authors’ knowledge, results on the equipartition of energy for instances of the GLE seem to have first been established in [22] based on memory kernels of the form
For the free particle case (1.4), it was shown that
In turn, under a harmonic potential as in (1.2) (with \(\gamma > 0\)), it was further proven that
In other words, relations (1.6) and (1.7) show that equipartition of energy holds in each case. More recently [16,17,18], relation (1.6) was established in the case of a free particle GLE (1.4) assuming the so–named generalized Rouse class of memory kernels, i.e.,
where \(\tau _1< \cdots < \tau _N\) are called relaxation times. For such kernels, Fourier transforms are known in explicit form. This naturally allows for the use of contour integration in the complex plane and the calculation of the second moments of x(t) and v(t).
Note that, for a general potential U(x), the system (1.2) is recast in the form
For several kernel instances having the form of an infinite sums of exponentials, the so–named Mori–Zwanzig formalism [10, 13, 36, 52] can be used to produce a Markovian approximation to (1.9) which in turn admits a stationary distribution [12, 37]. In particular, relation (1.7) holds under harmonic potentials and kernels K that are either integrable [36, 37] or exhibit power law decay \(K(t)\sim t^{-\alpha }\) for all \(\alpha >1/2\) [12, 14]. The question of whether (1.7) holds—even under harmonic potentials—for \(K(t)\sim t^{-\alpha }\), \(\alpha \in (0,1/2]\), remains open [14].
In this paper, we tackle the problem of establishing equipartition of energy for both (1.4) and (1.2). Namely, we show that relations (1.6) and (1.7) hold under the former (see Theorem 3.4) and the latter (see Theorem 3.5) systems, respectively. In both cases, we assume memory kernels either coming from the large class of completely monotonic functions (cf. Definition 2.4) or which can be expressed as \(\varphi (t^2)\), where \(\varphi \) is a completely monotonic function. In particular, the former class includes the kernels (1.5) and (1.8), whereas the latter class includes Gaussian and Cauchy kernels, namely, \(e^{-t^2}\) and \((t^2+1)^{-\alpha }\), respectively [44,45,46]. Besides its great generality, the class of completely monotonic functions is made up of Laplace transforms of positive Radon measures, which is very convenient for the purpose of establishing analytical results (cf. Theorem C.1).
The paper is organized as follows. In Sect. 2, we introduce the notation as well as the assumptions. In Sect. 3, we state the main results of the paper, including Theorem 3.3 on the anomalous diffusion of (1.2) and Theorem 3.5 on equipartition of energy. We address the well–posedness of (1.2) as well as the proofs of the main results in Sect. 4. In the Appendix, we review the framework of stationary distributions that is employed in the construction of solutions for (1.2). We also recapitulate several properties of Fourier transforms of the memory kernels that are useful in establishing the main theorems.
2 Assumptions and Preliminaries
For a function \(f:{\mathbb {R}}\rightarrow {\mathbb {C}}\), we define the Fourier transform of f and its inverse as
We will also make use of the Fourier cosine and sine transforms
where the two integrals are understood in the sense of improper integrals. Let \({\mathcal {S}}\) be the Schwartz space of all smooth functions whose derivatives are rapidly decreasing. Recall that its dual space \({\mathcal {S}}'\) is the so–named class of tempered distributions on \({\mathcal {S}}\). For a given tempered distribution \(g\in {\mathcal {S}}'\), we write \({\mathcal {F}}\left[ g\right] \) to denote the Fourier transform of g in \({\mathcal {S}}'\). Namely, for all \(\varphi \in {\mathcal {S}}\),
where \(\langle g,{\widehat{\varphi }} \rangle \) denotes the action of a tempered distribution g on a Schwartz function \({\widehat{\varphi }}\). It is well known that this transformation is a one–to–one relation in \({\mathcal {S}}'\).
Throughout the paper, we make the following assumptions on the memory kernel (cf. [7, 29]).
Assumption 2.1
Let \(K:{\mathbb {R}}\rightarrow {\mathbb {R}}\cup \{\infty \}\) be a real–valued function for \(t \ne 0\) and which may be infinite at \(t = 0\). We assume that
-
(I)
-
(a)
\(K \in L^1_{loc}({\mathbb {R}})\) is symmetric around zero and positive for all nonzero t;
-
(b)
\(K(t) \rightarrow 0\) as \(t \rightarrow \infty \) and is eventually decreasing;
-
(c)
the improper integral \({\mathcal {K}}_{\cos }(\omega )=\int _0^\infty \! K(t)\cos (\omega t) \, \mathrm {d}t\) is positive for all nonzero \(\omega \).
-
(a)
-
(II)
Furthermore, K(t) satisfies either
-
(a)
\(K(t)\in L^1({\mathbb {R}})\); or
-
(b)
\(K(t)\sim t^{-1}\) as \(t\rightarrow \infty \); or
-
(c)
there exists \(\alpha \in (0,1)\) such that \(K(t)\sim t^{-\alpha }\) as \(t\rightarrow \infty \).
-
(a)
Weakly stationary operators generalize stationary distributions in the sense of [11, 20]. The conceptual details can be found in “Appendix A”. We now make use of (weakly) stationary operators to construct a weak solution for the system (1.2). The procedure consists in reexpressing the system (1.2) in terms of operators as applied to test functions, and then extracting (covariance) relations that will enter into the definition of a weak solution. Since (1.2) is a linear Gaussian system, then such covariance relations fully characterize the weak solution.
We begin by formally multiplying both sides the first equation of (1.2) by a test function \(\varphi \in {\mathcal {S}}\). Then, after integration by parts, we obtain
Moreover, again by integration by parts,
Also, for K(t) as in (1.2) and for a test function \(\varphi \in {\mathcal {S}}\), let
Then, based on relations (2.1), (2.2) and (2.3), we can formally write
By grouping together terms in v and terms in x,
where \({\widetilde{\varphi }}(t):=\varphi (-t)\).
So, let \(L^2(\Omega )\) be the space of squared integrable, complex–valued random variables. Also let \(\Phi =(X,V):\text {Dom}(\Phi )\subset {\mathcal {S}}'\rightarrow L^2(\Omega )^2\) (i.e., \(d =2\)) be a weakly stationary operator as in Definition A.10. In the formal relation (2.1), we may interpret X and V as operators acting on test functions \(\varphi \in {\mathcal {S}}\). In particular, the (Gaussian) operator \(\Phi =(X,V)\) is fully characterized by its covariance structure, which we describe next.
First, note that (2.1) yields an intrinsic connection between the correlation structures of X and V, namely,
In regard to the cross–correlation between X and V, again from the integral equation (2.1) we obtain
Moreover, on the right-hand side of (2.4), the functions \(F:{\mathcal {S}}\rightarrow L^2(\Omega )\) and \({\dot{W}}:{\mathcal {S}}\rightarrow L^2(\Omega )\) are understood as stationary random distributions in the sense of Definition A.5. Their autocorrelation functions are given by, respectively,
and
In (2.8), the last equality follows from the fact that \(2{\mathcal {K}}_{\cos }\) is the Fourier transform of K in the sense of distributions (cf. Lemma B.2). In other words, the spectral measure of \(\dot{W}\) as in Theorem A.6 is the Lebesgue measure, and that of K is \(\pi ^{-1}{\mathcal {K}}_{\cos }(\omega )\mathrm {d}\omega \). Define the operator
Then, we can conveniently recast (2.4) in the form
In particular, relation (2.10) can be used in characterizing the covariance structure of the left-hand side of (2.10) in terms of the covariance structure of the noise terms F and \(\dot{W}\). In other words, for \(\varphi _1,\varphi _2 \in {{\mathcal {S}}}\),
We now add the standard assumption that the two thermal forcing terms F and \({\dot{W}}\) are uncorrelated.
Assumption 2.2
Let \({\dot{W}}\) and F be the stationary random distributions as in Definition A.5 whose covariance functions are given by (2.7) and (2.8). F and \({\dot{W}}\) are uncorrelated, i.e., for all \(\varphi _1,\,\varphi _2\in {\mathcal {S}}\),
In light of relations (2.5), (2.6), (2.11), as well as of Assumption 2.2, we are now in a position to define weak solutions for (1.2).
Definition 2.3
Under Assumptions 2.1 and 2.2, let \(\Phi =(X,V):\text {Dom} (\Phi )\subset {\mathcal {S}}'\rightarrow L^2(\Omega )^2\) be a stationary operator as in Definition A.10. Then \(\Phi =(X,V)\) is called a weak stationary solution for Eq. (1.2) if the following conditions are satisfied.
-
(a)
For all \(\varphi \in {\mathcal {S}}\), \({\mathbb {E}}|\langle V,\Psi (\varphi )\rangle |^2<\infty \), where \(\Psi (\varphi )\) is the transformation as in (2.9).
-
(b)
For any \(\varphi _1,\varphi _2\in {\mathcal {S}}\),
$$\begin{aligned}&{\mathbb {E}}\Big [\langle X,-\varphi _1'\rangle \overline{\langle X,-\varphi _2'\rangle }\Big ]={\mathbb {E}}\Big [\langle V,\varphi _1\rangle \overline{\langle V,\varphi _2\rangle }\Big ]={\mathbb {E}}\Big [\langle X,-\varphi _1'\rangle \overline{\langle V,\varphi _2\rangle }\Big ], \end{aligned}$$(2.12)$$\begin{aligned}&\text {and}\qquad {\mathbb {E}}\Big [ \big (\langle V,\Psi (\varphi _1)\rangle +\langle X,\gamma \varphi _1\rangle \big ) \overline{\langle V,\Psi (\varphi _2)\rangle +\langle X,\gamma \varphi _2\rangle }\Big ]\\&\quad = k_BT\,{\mathbb {E}}\Big [ \langle \sqrt{\beta }F+ \sqrt{2\lambda }{\dot{W}},\varphi _1\rangle \overline{\langle \sqrt{\beta }F+ \sqrt{2\lambda }{\dot{W}},\varphi _2\rangle }\Big ]\nonumber \\&\quad =k_BT\Big ({\mathbb {E}}\Big [ \beta \langle F,\varphi _1\rangle \overline{\langle F,\varphi _2\rangle }\Big ]+{\mathbb {E}}\Big [2\lambda \langle {\dot{W}},\varphi _1\rangle \overline{\langle {\dot{W}},\varphi _2\rangle }\Big ]\Big ).\nonumber \end{aligned}$$(2.13)
In Sect. 4, we show that, for a weak stationary solution \(\Phi =(X,V)\) of (1.2), its spectral densities can be computed explicitly, as pointed out in [22]. In other words, let
Then, by Lemma 4.1, there exists a unique stationary operator \(\Phi \), cf. Definition A.10, associated with a \(2\times 2\) Hermitian positive definite matrix of measures \(\nu \) such that
for \(r_{ij}\) as in (2.14), (2.15) or (2.16).
For results on equipartition of energy, as mentioned in the Introduction, we consider kernels that are related to the so–named class of completely monotonic functions, denoted by \({{\mathcal {C}}}{{\mathcal {M}}}\). We recall their definition next.
Definition 2.4
A function \(K:(0,\infty )\rightarrow [0,\infty )\) is called completely monotonic if \(K \in C^\infty (0,\infty )\) and \((-1)^n K^{(n)}(t)\ge 0\) for all \(n\ge 0\), \(t>0\).
So, we make the following additional assumption on the memory kernels.
Assumption 2.5
Let \(K:{\mathbb {R}}\rightarrow {\mathbb {R}}\cup \{\infty \}\) be a real–valued function for \(t \ne 0\) and which may be infinite at \(t = 0\). We assume that either
-
(a)
\(K\in {{\mathcal {C}}}{{\mathcal {M}}}\); or
-
(b)
\(K(t)=\varphi (t^2)\), where \(\varphi \in {{\mathcal {C}}}{{\mathcal {M}}}\).
As briefly discussed in the Introduction, the former class includes exact power-law and sum-of-exponential kernels as in (1.5) and (1.8), respectively, whereas the latter class includes Gaussian and Cauchy kernels, namely, \(e^{-t^2}\) and \((t^2+1)^{-\alpha }\), respectively [44,45,46]. Besides the broad scope of the \({{\mathcal {C}}}{{\mathcal {M}}}\) class, dealing with completely monotonic functions involves the technically convenient fact that they can be represented as Laplace transforms of Radon measures on \([0,\infty )\) (cf. Theorem C.1). As a consequence, one is able to express the Fourier transforms of the memory kernels described in Assumption 2.5 based on the Radon measures (cf. Lemmas C.2 and C.3). For this reason, we are able to extend these transforms to the complex plane and calculate contour integrals involving the completely monotonic functions in question.
3 Main Results
In this section, we state the main results of the paper. In Theorem 3.1, we establish the existence of weakly stationary solutions for (1.2). In Theorem 3.3, we characterize the mean squared displacement of \(\int ^{t}_{0}x(s)ds\) and \(\int ^{t}_{0}v(s)ds\) for weak solutions of (1.2). Starting from the broad class of completely monotonic kernels, in Theorems 3.4 and 3.5, respectively, we establish the equipartition relation in the GLE framework for free particles or particles under a harmonic potential.
We start off with the existence of solutions.
Theorem 3.1
Under Assumptions 2.1 and 2.2, then \(\Phi =(X,V)\) is a weakly stationary solution of (1.2) as in Definition 2.3 if and only if the spectral measure \(\nu (\mathrm {d}\omega )= k_BT(2\pi )^{-1}(r_{ij}(\omega )\mathrm {d}\omega )_{1\le i,j\le 2}\) is given by relations (2.14), (2.15) and (2.16).
The proof of Theorem 3.1 is discussed in detail in Sect. 4.1.
Remark 3.2
When \(\gamma =0\), Eq. (1.2) is reduced to (1.4), whose weak solution \(V:\text {Dom}(V)\subset {\mathcal {S}}'\rightarrow L^2(\Omega )\) is defined as satisfying a relation similar to (2.13), namely,
The existence of such V for Eq. (1.4) was previously studied in [7, 29]. In particular, the spectral measure of V is also given by \(r_{22}\) as in (2.15) with \(\gamma =0\).
Next, we turn to the topic of characterizing of the anomalously diffusive behavior of solutions to (1.4). For this purpose, we consider the integrated bivariate process resulting from the solutions encountered in Theorem 3.1. More precisely, in view of Lemma 4.1 (see Sect. 4.1) together with Remark A.13, since \(r_{11}\) and \(r_{22}\) are both integrable, we can define the bivariate process (x(t), v(t)) associated with the weak stationary solution (X, V) as in Definition A.12. Namely, we set
where \(\delta _t\) is the Dirac \(\delta \) distribution centered at t. Moreover, it can be shown that (x(t), v(t)) is a \({\mathbb {R}}^2\)–valued process and has a continuous modification (see Lemma 4.2). It follows that we may define the integrals \(\int _0^t x(s)\mathrm {d}s\) and \(\int _0^t v(s)\mathrm {d}s\) in the usual Riemann-Lebesgue sense. Note that these integrals do agree with \(\langle X,1_{[0,t]}\rangle \) and \(\langle V,1_{[0,t]}\rangle \), respectively (see Remark 4.3).
As explained in the Introduction, for the case of a free particle as in (1.4) (\(\gamma =0\)), for a large class of memory kernels the process v(t) may either be diffusive or subdiffusive [7, 29] depending on the asymptotic decay of K(t) as \(t\rightarrow \infty \). In contrast, the process x(t) defined in (3.1) may be either diffusive or superdiffusive. This is all precisely stated in the following theorem.
Theorem 3.3
Let (x(t), v(t)) be the bivariate process associated with (X, V) the weak stationary solution of (1.2) as in Theorem 3.1. Then, under Assumptions 2.1 and 2.2, the following holds.
-
(a)
For all \(t\in {\mathbb {R}}\), \({\mathbb {E}}\big [\int _0^t x(s)\mathrm {d}s\int _0^tv(s)\mathrm {d}s\big ]=0\).
-
(b)
As \(t\rightarrow \infty \), \({\mathbb {E}}\big |\int _0^t v(s)\mathrm {d}s\big |^2\rightarrow 2\,{\mathbb {E}}|x(0)|^2\).
-
(c)
\(\text {If } K(t){\left\{ \begin{array}{ll}\in L^1({\mathbb {R}}),\\ \sim t^{-1},\quad t\rightarrow \infty ,\\ \sim t^{-\alpha },\,\alpha \in (0,1),\quad t\rightarrow \infty ,\end{array}\right. } \text {then }{\mathbb {E}}\big |\int _0^t x(s)\mathrm {d}s\big |^2\sim {\left\{ \begin{array}{ll} t,\\ t\,\log (t),\\ t^{2-\alpha } \end{array}\right. } \text {as } t\rightarrow \infty .\)
The claim in Theorem 3.3, (a), is not surprising in view of the fact that, for several other GLE instances in stationarity, x(t) is uncorrelated with v(t) [12, 37]. Also, the appearance of x(0) in Theorem 3.3, (b), may be intuitively explained based on the observation that v(t) can be regarded as the derivative of x(t). Thus, formally,
where the asymptotic equivalence is a consequence of the fact that x(t) is Gaussian, (weakly) stationary and mixing [39]. However, note that establishing the asymptotic growth of \({\mathbb {E}}|\int _0^t x(s)\mathrm {d}s|^2\) requires a careful characterization of the spectral density \(r_{11}\) in terms of the asymptotics of K(t). The proof of Theorem 3.3 can be found in Sect. 4.2.
We now turn to equipartition of energy. First, we discuss the case \(\gamma =0\), namely, a free particle as defined by Eq. (1.4). In what follows, we state the result for (1.4) under kernels K either in the class \({{\mathcal {C}}}{{\mathcal {M}}}\) or such that \(K(t) = \varphi (t^2)\), \(\varphi \in {{\mathcal {C}}}{{\mathcal {M}}}\). As discussed in the Introduction, this generalizes the results in [16, Formula (2.7)] and [22, Theorem 4.1].
Theorem 3.4
Suppose that \(\gamma =0\) and that Assumptions 2.1, 2.2 and 2.5 are satisfied. Let v(t) be the process associated with V, a weak solution for (1.4) in the sense of Remark 3.2. Then,
The proof of Theorem 3.4 can be found in Sect. 4.3.1.
In the following theorem, we describe the analogous result for the case \(\gamma > 0\), namely, a harmonically bounded particle as defined by (1.2). Its proof is presented in Sect. 4.3.2.
Theorem 3.5
Suppose that \(\gamma >0\) and that Assumptions 2.1, 2.2 and 2.5 are satisfied. Let (x(t), v(t)) be the process associated with \(\Phi =(X,V)\), a weak solution for (1.2) as in (3.1). Then,
4 Proofs of the Main Results
Throughout the rest of the paper, c denotes a generic positive constant. The main parameters that c depends on will appear between parenthesis, e.g., c(T, q) is a function of T and q.
4.1 Wellposedness
In this section, we provide the proof of Theorem 3.1 giving the existence of weak solution for (1.2). We start with the following result, which asserts that \(\{r_{ij}\}\) is a spectral density of a weak stationary operator \(\Phi \).
Lemma 4.1
Let \(\nu (\mathrm {d}\omega )=k_BT(2\pi )^{-1}(r_{ij}(\omega )\mathrm {d}\omega )_{1\le i,j\le 2}\) where \(r_{ij}\) is as in (2.14), (2.15) or (2.16). Then, \(\nu \) is the spectral measure of a stationary operator as in Definition A.10.
Proof
By symmetry, the Fourier transform \({\widehat{K}}\) of K satisfies \({\widehat{K}}=2{\mathcal {K}}_{\cos }\). Thus, we can rewrite \(r_{11}\) in (2.14) as
By Assumption 2.1 (I) (c), \({\mathcal {K}}_{\cos }\) is positive. Hence, \(r_{11}\) is positive a.e., and so is \(r_{22}(\omega )=\omega ^2 r_{11}(\omega )\). In view of (2.14)–(2.16), \(\nu \) is a Hermitian nonnegative definite matrix a.e.
Next, we claim that both \(r_{11}\) and \(r_{22}\) are integrable. To see this, by symmetry again, we only need to consider \(\omega \in [0,\infty )\). In addition, due to continuity, we only need to check integrability at \(\omega \rightarrow \infty \) and around the origin. On one hand, as \(\omega \rightarrow \infty \), we invoke (B.1) to conclude that \({\mathcal {K}}_{\cos }(\omega )\) and \({\mathcal {K}}_{\sin }(\omega )\) converge to zero. It follows that \(r_{11}(\omega )\) is dominated by \(\omega ^{-4}\), which also implies that \(r_{22}\) is dominated by \(\omega ^{-2}\). This proves integrability at infinity. On the other hand, when \(\omega \) is near the origin, there are three cases to be considered, depending on the behavior of K(t).
Case 1: K is integrable, cf. Assumption 2.1 (II) (a). By virtue of Lemma B.3 (a), it is clear that
Case 2: \(K\sim t^{-1}\) as \(t\rightarrow \infty \), cf. Assumption 2.1 (II) (b). From (4.1), we have
By (B.5),
Case 3: For some \(\alpha \in (0,1)\), \(K\sim t^{-\alpha }\) as \(t\rightarrow \infty \), cf. Assumption 2.1 (II) (c). Similarly to Case 2, from (4.1), we obtain
In all three cases, both \(r_{11}\) and \(r_{22}\) are integrable near the origin. Since they are also integrable at \(\infty \), they are integrable on \({\mathbb {R}}\), as claimed.
As a consequence, in view of (2.16), by the Cauchy-Schwarz inequality
It follows that \(k_BT(2\pi )^{-1} (r_{ij})_{1\le i,j\le 2}\) satisfies inequality (A.5) with \(p=0\). By virtue of Theorem A.6, this implies the existence of a unique stationary distribution G whose spectral density is \(k_BT(2\pi )^{-1} (r_{ij})\). Furthermore, since \(\nu \) is absolutely continuous with respect to the Lebesgue measure, there exists a unique weak stationary operator \(\Phi :\text {Dom}(\Phi )\subset {\mathcal {S}}'\rightarrow L^2(\Omega )^2\) extending G as in Definition A.10. Thus, the proof is complete. \(\square \)
Theorem 3.1 asserts that \(\Phi \) is, indeed, a weak solution of (1.2). The argument is based on that of [29, Theorem 4.5] tailored to our setting.
Proof of Theorem 3.1
(\(\Rightarrow \)) Let \(\Phi =(X,V)\) be a stationary operator associated with a spectral measure \(\nu (\mathrm {d}\omega )=k_BT(2\pi )^{-1} (r_{ij}(\omega )\mathrm {d}\omega )_{1\le i,j\le 2}\). Suppose \(\Phi \) is a weak solution for (1.2). For \(\varphi \in {\mathcal {S}}\), consider \(\Psi (\varphi )\) as in (2.9). Its Fourier transform in \({\mathcal {S}}'\) is given by
For any \(\varphi _1,\,\varphi _2\in {\mathcal {S}}\), in view of (2.12) together with (A.3) for stationary operators, we have
Recall that the Fourier transform is an automorphism on \({{\mathcal {S}}}\) [47]. Hence, we can rewrite (4.6) as
Since (4.7) holds for any \(\varphi _1,\,\varphi _2\in {\mathcal {S}}\), we conclude that, a.e.,
Note that, in (4.8), the last equality follows from the fact that \(\nu \) is a Hermitian measure, so that \(r_{21}=\overline{r_{12}}\).
It remains to show that \(r_{11}\) is given by (2.14) or, equivalently, by (4.1). On one hand, by (4.5), (4.8) and a simple calculation,
On the other hand, together with (2.7) and (2.8), the zero correlation assumption between F and \({\dot{W}}\) (see Assumption 2.2) implies that
In view of relation (2.13), for all \(\varphi _1,\,\varphi _2\in {\mathcal {S}}\) we readily obtain
It follows that (2.14) holds, namely,
(\(\Leftarrow \)) Suppose \(\Phi =(X,V)\) is the weakly stationary operator whose spectral density is given by (2.14)–(2.16). We first check condition (a) in Definition 2.3. In fact, by (4.5),
Similarly to the proof of Lemma 4.1, it suffices to consider the integrand in (4.9) as \(\omega \) tends to infinity and for \(\omega \) around the origin. On one hand, since \(r_{11}\sim \omega ^{-4}\) as \(\omega \rightarrow \infty \), it is clear that the integrand (4.9) is dominated by \({\widehat{\varphi }}\), which is integrable. On the other hand, in view of Lemma B.3, \(|{{\mathbf {i}}}m\omega +\lambda +\beta \widehat{K^+}(\omega )|^2|\omega ^2\) tends to zero as \(\omega \rightarrow 0\). It follows that, around the origin, the integrand is dominated by \( r_{11}(\omega )\), which is integrable (see the proof of Lemma 4.1).
To verify condition (b) in Definition 2.3, one can adapt the calculation in part (a) so as to arrive at (2.12) and (2.13). The proof is thus complete. \(\square \)
Lemma 4.2
Let \((x(t),v(t))=\langle \Phi ,\delta _t\rangle \) be the stochastic process defined by (3.1). Then (x(t), v(t)) is a well defined real stationary bivariate process. Moreover, (x(t), v(t)) has a continuous modification.
Proof
Establishing that the bivariate stochastic process (x(t), v(t)) is well defined is equivalent to showing that \(\delta _t\in \text {Dom}(\Phi )\). In turn, the latter is equivalent to proving that \(r_{11}\) and \(r_{22}\) are integrable, cf. Remark A.13, which is established in the proof of Lemma 4.1. In addition, since \(r_{11}\) and \(r_{22}\) are even functions, x(t) and v(t) are, indeed, real–valued (weakly) stationary processes [20].
Recall that, by [4, Chapter 9.3], if there exists a constant \(a>3\) such that
then (x(t), v(t)) has a continuous modification. In fact, following the proof of Lemma 4.1, \(r_{11}\) and \(r_{22}\) are dominated by \(\omega ^{-4}\) and \(\omega ^{-2}\), respectively, as \(\omega \rightarrow \infty \). Also, both functions are integrable around the origin. As a consequence, (4.10) does hold for any \(a>3\). Therefore, (x(t), v(t)) has a continuous modification, as claimed. \(\square \)
Remark 4.3
Since the bivariate, stationary stochastic process (x(t), v(t)) has a continuous modification, then we can define the integral \(\int _0^t (x(s),v(s))\mathrm {d}s\) in the usual Riemann–Lebesgue sense. However, integration over t may also be defined by means of the action \(\langle (X,V),1_{[0,t]}\rangle \). Moreover, it can be shown that, for all \(t\ge 0\),
This implies that, for every \(t\ge 0\), these two notions of integration agree a.s.
4.2 Anomalous diffusion of (x(t), v(t))
In this section, we prove Theorem 3.3 on the asymptotic behavior of \(\int _0^t(x(s), v(s))\mathrm {d}s\). While the result for \({\mathbb {E}}|\int _0^t v(s)\mathrm {d}s|^2\) and the cross–covariance between x(t) and v(t) are relatively straightforward, the asymptotics of \({\mathbb {E}}|\int _0^t x(s)\mathrm {d}s|^2\) requires a more careful analysis depending on three cases of K as in Assumption 2.1 (II). The approach that we are going to employ is similar to those in [7, Section 5] and [29, Section 6]. For the reader’s convenience, we first summarize the method to characterize the growth rate of \({\mathbb {E}}|\int _0^t x(s)\mathrm {d}s|^2\).
-
Step 1: we relate the large (time) scale behavior of the memory K to the behavior of \({\mathcal {K}}_{\cos }(\omega )\) and \({\mathcal {K}}_{\sin }(\omega )\) as \(\omega \rightarrow 0\). This result appears in Lemma B.3.
-
Step 2: similarly to the proof of Lemma 4.1, we obtain the near–zero behavior of the spectral densities \(r_{11}(\omega )\), the spectral density for x(t) as in (2.14), through that of \({\mathcal {K}}_{\cos }(\omega )\) and \({\mathcal {K}}_{\sin }(\omega )\) as \(\omega \rightarrow 0\);
-
Step 3: the behavior of \(r_{11}(\omega )\) as \(\omega \rightarrow 0\) and the Dominated Convergence Theorem are used to characterize the asymptotic growth of \({\mathbb {E}}\big |\int _0^tx(s)\mathrm {d}s\big |^2\).
Proof of Theorem 3.3
(a) Recall that \(r_{12}={{\mathbf {i}}}\omega r_{11}(\omega )\) by relation (2.16). By (A.3) for the operator \(\Phi \),
The last equality in (4.11) is a consequence of the fact that the integrand is an odd function. This establishes (a).
(b) Similarly to part (a), we compute the second moment of \(\int _0^t v(s)\mathrm {d}s\) using formula \(r_{22}=\omega ^2 r_{11}\) as in (2.15) and covariance function (A.3) for \(\Phi \). In fact,
Since \(r_{11}\) is integrable by virtue of the proof of Lemma 4.1, its Fourier cosine transform converges to zero as t tends to infinity. This establishes part (b).
(c) As in the proofs of parts (a) and (b), note that the second moment of \(\int _0^t x(s)\mathrm {d}s\) can be written explicitly as
where \(r_{11}\) is the even function given by (4.1). Now, there are three situations depending on the asymptotic behavior of K as characterized in Assumption 2.1 (II).
Case 1: K is integrable (Assumption 2.1 (II) (a)). By a change of variable \(u:=t\omega \) in (4.12), we obtain
Similarly to the proof of Lemma 4.1, on one hand, as \(\omega \) tends to infinity, \(r_{11}\) converges to zero. On the other hand, by virtue of relation (4.2), \(r_{11}(\omega )\) converges to \(2\lambda /\gamma ^2\) as \(\omega \rightarrow 0\). In other words, \(r_{11}\) is bounded on \([0,\infty )\). As a consequence, by the Dominated Convergence Theorem, we arrive at the limit
as \(t \rightarrow \infty \).
Case 2: \(K\sim t^{-1}\) as \(t\rightarrow \infty \) (Assumption 2.1 (II) (b)). In this situation, \(r_{11}(\omega )\sim |\log (\omega )|\) as \(\omega \rightarrow 0\) (see (B.5)). In particular, \(\sup _{\omega \in (0,1/2)}r_{11}(\omega )/|\log (\omega )|\) is finite.
Starting from (4.13), recast
We want to show that the right-hand side of (4.14) converges to a finite limit as \(t \rightarrow \infty \). To this end, we first decompose the integral into three terms, i.e.,
With regard to \(I_3\), recall from the proof of Lemma 4.1 that \(r_{11}(\omega )\sim \omega ^{-4}\) as \(\omega \rightarrow \infty \). Then,
Concerning \(I_1(t)\), rewrite
Note that, for sufficiently large t and for all \(u\in (0,e^{-2})\),
Together with (4.3), this implies that
It follows from Lemma B.3, (b), combined with the Dominated Convergence Theorem, that
Regarding \(I_2(t)\), similarly to \(I_1(t)\), we note that, for all \(u\in (e^{-2},t/2)\),
So,
In light of the Dominated Convergence Theorem together with Lemma B.3, (b), we obtain
The asymptotic expression for \({\mathbb {E}}\Big |\int _0^t x(s)\mathrm {d} s\Big |^2\) now follows from (4.14), (4.15), (4.17) and (4.18).
Case 3: For some \(\alpha \in (0,1)\), \(K\sim t^{-\alpha }\) as \(t\rightarrow \infty \) (Assumption 2.1 (II) (c)). Note that (4.13) may be rewritten as
On one hand, for large \(\omega \), \(r_{11}(\omega ) \le C \omega ^{-4}\). Thus, \(r_{11}(\omega )/\omega ^{\alpha -1} \rightarrow 0\) as \(\omega \rightarrow \infty \). On the other hand, as \(\omega \rightarrow 0\), relation (4.4) implies that \(r_{11}(\omega )/\omega ^{\alpha -1}\) has a finite limit. In particular, this also implies that \(r_{11}(\omega )/\omega ^{\alpha -1}\) is bounded on \((0,\infty )\). In light of the Dominated Convergence Theorem together with (4.4), we obtain
as \(t \rightarrow \infty \). This completes the proof. \(\square \)
4.3 Equipartition of Energy
In what follows, we provide the proofs of Theorems 3.4 and 3.5. So, let
be the upper half and lower half complex plane, respectively. Also, let
be the left half plane of nonpositive real part in \({\mathbb {C}}\).
4.3.1 Free-particle case (\(\varvec{\gamma }=0\))
In this subsection, we consider the case of a free particle as in Eq. (1.4). Our approach builds upon the work in [16, 22].
We introduce \(f_1(z)\), the complex–valued function given by
The function \(f_1(z)\) is closely related to the expressions for spectral densities \(r_{22}\) and \(r_{11}\), respectively, as in (2.15) and (4.1), and will be used in the proof of Lemma 4.4 (see also (4.42) in the proof of Lemma 4.5).
Remark 4.4
Note that, whereas \({\mathcal {K}}_{\cos }(\omega )\) and \({\mathcal {K}}_{\sin }(\omega )\) are well-defined for \(\omega \in {\mathbb {R}}\setminus \{0\}\) (see Lemmas C.2 and C.3), \({\mathcal {K}}_{\cos }(z)\) and \({\mathcal {K}}_{\sin }(z)\) need not be for every \(z\in {\mathbb {C}}\setminus \{0\}\). Hence, in formula (4.19), \({\mathcal {K}}_{\cos }(z)-{{\mathbf {i}}}{\mathcal {K}}_{\sin }(z)\) is understood as the integrals in either (C.2) or (C.6) extended to \({\mathbb {C}}\), depending on either \(K\in {{\mathcal {C}}}{{\mathcal {M}}}\) or \(K=\varphi (t^2)\), \(\varphi \in {{\mathcal {C}}}{{\mathcal {M}}}\), respectively. Later in the proof of Theorem 3.4, we will see that \({\mathcal {K}}_{\cos }(z)-{{\mathbf {i}}}{\mathcal {K}}_{\sin }(z)\) is actually analytic on suitable subspaces of \({\mathbb {C}}\).
For a large constant \(R>0\), define, respectively, the outer circle and inner half circle in \({\mathbb {C}}^+\) as
Further define their counterparts in \({\mathbb {C}}^-\) as
Also, let
be a closed curve in \({\mathbb {C}}^-\), oriented clockwise.
Before discussing the proof of Theorem 3.4, it is illuminating to recapitulate some technical aspects of previous work. In [16], establishing (1.6) for the case of generalized Rouse kernels involved considering a complex–valued function similar to \(f_1\) as in (4.19) and its contour integrals on the upper half plane \({\mathbb {C}}^+\). The argument relies heavily on a careful analysis of the locations of the poles of the functions involved. In turn, in [22], establishing (1.6) for the class of memory kernels (1.5) involved employing an integration trick via a smart change of variables.
Nevertheless, neither approach is available in the more general framework of this paper, which involves memory kernels that either are in \({{\mathcal {C}}}{{\mathcal {M}}}\) or which have the form \(\varphi (t^2)\) for \(\varphi \in {{\mathcal {C}}}{{\mathcal {M}}}\). As in [16], we investigate contour integrals of \(f_1(z)\) as in (4.19). However, we shift the analysis to the lower half complex plane \({\mathbb {C}}^-\). As it turns out, unlike in [16], dealing with poles is not needed when \(K\in {{\mathcal {C}}}{{\mathcal {M}}}\) since, in this case, the function \(f_1(z)\) is analytic in \({\mathbb {C}}^-\setminus \{0\}\).
For the reader’s convenience, we summarize the idea of the proof of Theorem 3.4. The argument essentially consists of three steps as follows.
-
Step 1: We first consider \(f_1(z)\) as in (4.19) and show that this function is analytic on \({\mathbb {C}}^-\setminus \{0\}\). This is established via the auxiliary results Lemma 4.6 and Lemma 4.7, respectively, for the cases \(K\in {{\mathcal {C}}}{{\mathcal {M}}}\) and \(K(t)=\varphi (t^2)\), \(\varphi \in {{\mathcal {C}}}{{\mathcal {M}}}\).
-
Step 2: Next, we consider the contour integral on \({\mathbb {C}}^-\setminus \{0\}\) given by
$$\begin{aligned} \int _{C(R)}\!\!\!f_1(z)\mathrm {d}z=\Big \{\int _{-R}^{-1/R}\!\!\!+\int _{C^-_{1/R}} \!\!\!+\int _{1/R}^{R}+\int _{C_R^-}\Big \}f_1(z)\mathrm {d}z=0. \end{aligned}$$(4.23)In (4.23), the second equality holds by the analyticity of \(f_1(z)\), as established in step 1. Then, we show that, as \(R\rightarrow \infty \), the sum of the first and third integrals in (4.23) converges to \({\mathbb {E}}[m\, v(0)^2]\), whereas the sum of the two remaining integrals converges to \(-k_BT\). This establishes equipartition of energy for v(t). This is discussed in detail in the proof of another auxiliary result, namely, Lemma 4.5, which states sufficient conditions on \(f_1\), \({\mathcal {K}}_{\cos }\) and \({\mathcal {K}}_{\sin }\) for equipartition of energy to hold for the system (1.4).
-
Step 3: We prove Theorem 3.4 by verifying the assumptions of Lemma 4.5, while making use of Lemma 4.6 and Lemma 4.7 depending on whether \(K\in {\mathcal CM}\) or \(K(t) = \varphi (t^2)\), \(\varphi \in {\mathcal CM}\), respectively.
For the sake of clarity, the proofs of Lemmas 4.5–4.7 will be deferred to the end of this section. We start by stating Lemma 4.5, where equipartition of energy is established directly based on assumptions on \(f_1\), \({\mathcal {K}}_{\cos }\) and \({\mathcal {K}}_{\sin }\).
Lemma 4.5
Suppose that \(\gamma =0\). Let v(t) be the process associated with the weak solution V of (1.4) and \(f_1(z)\) be as in (4.19). Suppose that
and
Furthermore, suppose that, for all large enough \(R>0\),
where C(R) is the curve (4.22). Then,
Next, we state Lemma 4.6, which is employed in showing that \(f_1\) as in (4.19) is analytic on \({\mathbb {C}}^-\setminus \{0\}\) when \(K\in {{\mathcal {C}}}{{\mathcal {M}}}\).
Lemma 4.6
Let \(\mu \) be the representation measure on \([0,\infty )\) for \(K\in {{\mathcal {C}}}{{\mathcal {M}}}\) as in Theorem C.1. Let p(z) and \(q_1(z)\) be the complex–valued functions defined on \({\mathbb {C}}^*\setminus \{0\}\) and given by
-
(a)
Then, the function p(z) is analytic on \({\mathbb {C}}^*\setminus \{0\}\). Moreover, for \(z\in {\mathbb {C}}^*\setminus \{0\}\), it satisfies
$$\begin{aligned} \lim _{|z|\rightarrow \infty }|p(z)/z|=0 = \lim _{|z|\rightarrow 0}|z \cdot p(z)|, \end{aligned}$$(4.29)and, for \(|z| \le 1\) in \({\mathbb {C}}^*\setminus \{0\}\)
$$\begin{aligned} |\lambda -\beta p(z)|\ge \frac{\beta }{\sqrt{2}}\int _0^\infty \!\!\!\frac{1}{x+1}\mu (\mathrm {d}x). \end{aligned}$$(4.30) -
(b)
The function \(q_1(z)\) in (4.28) is analytic in \({\mathbb {C}}^*\setminus \{0\}\) and \(q_1(z)\) does not admit any complex root in \({\mathbb {C}}^*\setminus \{0\}\).
In Lemma 4.7, covering the case where \(K=\varphi (t^2)\), \(\varphi \in {{\mathcal {C}}}{{\mathcal {M}}}\), the analysis involves the special class of error functions. For the reader’s convenience, we briefly recapitulate some related notions.
Recall that the so–named complementary error function is given by
where the error function admits the MacLaurin series representation
In particular, both \(\text{ erf }\) and \(\text{ erfc }\) are entire functions. Now consider the function
also called Faddeeva function or plasma dispersion function. The function w(z) also admits the Hilbert transform representation [9, expression (8)]
When \(z = x \in {\mathbb {R}}\), (4.34) should be modified to
where the so–named Dawson integral is given by [50, pp. 1497–1498]
Having introduced these special functions, we are now in a position to state Lemma 4.7, which is employed in showing that \(f_1\) as in (4.19) is analytic in \({\mathbb {C}}^-\setminus \{0\}\) when \(K=\varphi (t^2)\), \(\varphi \in {{\mathcal {C}}}{{\mathcal {M}}}\).
Lemma 4.7
Suppose \(K(t)=\varphi (t^2)\) where \(\varphi \in {{\mathcal {C}}}{{\mathcal {M}}}\). Let \(\mu \) be the representation measure on \([0,\infty )\) for \(\varphi \) as in Theorem C.1. Let \({\widetilde{p}}(z)\) and \({\widetilde{q}}_1(z)\) be the complex–valued functions defined on \({\mathbb {C}}^-\setminus \{0\}\) and given by
-
(a)
Then, the function \({\widetilde{p}}(z)\) is analytic on \({\mathbb {C}}^-\setminus \{0\}\). Moreover, for \(z\in {\mathbb {C}}^-\setminus \{0\}\), it satisfies
$$\begin{aligned} \lim _{|z|\rightarrow \infty }|{\widetilde{p}}(z)/z|=0 = \lim _{|z|\rightarrow 0}|z \cdot {\widetilde{p}}(z)|, \end{aligned}$$(4.38)and, for \(|z| \le 1\) in \({\mathbb {C}}^-\setminus \{0\}\)
$$\begin{aligned} |\lambda +\beta {\widetilde{p}}(z)|\ge \beta \frac{\sqrt{\pi }}{4}\int _0^\infty \!\!\!\frac{1}{\sqrt{x}}e^{-\frac{1}{2x}}\mu (\mathrm {d}x). \end{aligned}$$(4.39) -
(b)
The function \({\widetilde{q}}_1(z)\) in (4.37) is analytic in \({\mathbb {C}}^-\setminus \{0\}\) and \({\widetilde{q}}_1(z)\) does not admit any complex root in \({\mathbb {C}}^-\setminus \{0\}\).
After stating Lemmas 4.5–4.7, we provide the proof of Theorem 3.4.
Proof of Theorem 3.4
We first consider the case where \(K\in {{\mathcal {C}}}{{\mathcal {M}}}\). The proof is based on verifying the assumptions of Lemma 4.5, while making use of Lemma 4.6.
With regard to condition (4.24), note that, by virtue of formula (C.2) extended to \({\mathbb {C}}^-\setminus \{0\}\),
where p(x) is as in (4.28). Also, since \(z\in {\mathbb {C}}^-\setminus \{0\}\), it is clear that \(-{{\mathbf {i}}}z\in {\mathbb {C}}^*\setminus \{0\}\). In light of Lemma 4.6, (a), cf. (4.29), we conclude that (4.24) holds.
Turning to the limit (4.25), first recall that \(q_1(z)\) is given by (4.28). Next, let \(f_1(z)\) be as in (4.19). Recast
Then, for \(z\in {\mathbb {C}}^-\setminus \{0\}\) such that |z| is small enough, relation (4.30) in Lemma 4.6, (a), implies that
Since the upper bound in (4.41) converges to zero as \(|z|\rightarrow 0\) in \({\mathbb {C}}^-\setminus \{0\}\), then condition (4.25) holds.
However, by Lemma 4.6, (b), \(q_1(-{{\mathbf {i}}}z)\) is analytic as a function of \(z \in {\mathbb {C}}^-\setminus \{0\}\) and, also, does not admit any complex root in the same domain. Therefore, by expression (4.40), \(f_1(z)\) is analytic in \({\mathbb {C}}^-\setminus \{0\}\). In particular, condition (4.26) holds. Consequently, by Lemma 4.5, relation (3.2) is established.
We now turn to the case \(K(t)=\varphi (t^2)\) where, \(\varphi \in {{\mathcal {C}}}{{\mathcal {M}}}\). Similarly to the previous case, we need to verify the assumptions of Lemma 4.5 while making use of the auxiliary results in Lemma 4.7. Concerning limit (4.24), in view of expressions (C.6) and (4.37), we immediately obtain for \(z\in {\mathbb {C}}^-\setminus \{0\}\)
by virtue of Lemma 4.7, (a), cf. (4.38).
Considering the limit (4.25), first recall that \({\widetilde{p}}(z)\) and \({\widetilde{q}}_1(z)\) are given by (4.37). Next, observe that \(f_1(z)\) as in (4.19) can be rewritten as
In light of the estimate (4.39), for \(z \in {\mathbb {C}}^-\setminus \{0\}\) and sufficiently small |z|, we obtain
This establishes (4.25).
In regard to condition (4.26), fix \(R > 0\). By virtue of Lemma 4.7, (b), since \({\widetilde{q}}_1(z)\) is analytic and does not admit any root in \({\mathbb {C}}^-\setminus \{0\}\), then there exists a simply connected region \(D \supseteq C(R)\) such that \({\widetilde{q}}_1(z) \ne 0\), for all \(z \in D\). Hence, \(f_1(z)=1/{\widetilde{q}}_1(z)\) is analytic on D, implying that condition (4.26) holds.
As a consequence, by Lemma 4.5, relation (3.2) is established. This concludes the proof. \(\square \)
We now turn to the proofs of the auxiliary results. First, we provide the proof of Lemma 4.5.
Proof of Lemma 4.5
Recall that the spectral density \(r_{22}\) for v(t) is given by (2.15) and (4.1). Together with the covariance function (A.3) and based on the condition that \(\gamma =0\), we have
It therefore suffices to prove that \(\int _0^\infty r_{22}(\omega )\mathrm {d}\omega =\pi m^{-1}\).
Now, consider the contour integral of the function \(f_1\) as in (4.19) on C(R). Note that we may decompose
where we recall that \(C^-_R\) and \(C^-_{1/R}\), respectively, are the outer and inner half circles in \({\mathbb {C}}^-\) as in (4.21). Using the variable \(\omega \) for integration along the real axis, it is straightforward to see that
Concerning \(I_1(R)\), note that \({\mathcal {K}}_{\cos }(\omega )\) and \({\mathcal {K}}_{\sin }(\omega )\) are even and odd functions, respectively. Thus, by a change of variable \(z:=-\omega \), we obtain
It follows immediately that
By the Monotone Convergence Theorem, we obtain
Concerning \(I_2(R)\), by making the change of variable \(z:=R^{-1}e^{{{\mathbf {i}}}\theta }\), we can write
Then, by virtue of the Dominated Convergence Theorem together with (4.25),
Likewise, with regards to \(I_4(R)\), by the change of variable \(z:=Re^{{{\mathbf {i}}}\theta }\),
In view of condition (4.24), the integrand in (4.45) converges to \(m^{-1}\) as \(R\rightarrow \infty \). By the Dominated Convergence Theorem, we further obtain
Together with the limits (4.44), (4.43) and (4.46), expression (4.26) yields the limit
Hence,
This establishes (4.27).\(\square \)
Next, we provide the of Lemma 4.6.
Proof of Lemma 4.6
(a) Firstly, with regards to analyticity, letting \(z_0\in {\mathbb {C}}^*\setminus \{0\}\), it suffices to show that p(z) as in (4.28) can be expanded for all \(z\in B(z_0,|z_0|/2)\). To see this, we compute
where the second equality is obtained by interchanging integration and summation. To justify this interchange, we claim that the series in (4.48) converges absolutely for all \(z\in B(z_0,|z_0|/2)\). Indeed, by writing \(z_0=-u+{{\mathbf {i}}}v\in {\mathbb {C}}^*\setminus \{0\}\), with \(u \ge 0\), for all \(x\ge 0\) we can bound
Thus, we can estimate
This implies that
where the last implication follows from the fact that \(\mu ([0,1])\) and \(\int _1^\infty \frac{1}{x}\mu (\mathrm {d}x)\) are both finite by virtue of (C.3)-(C.4). This establishes the analyticity of p(z).
Next, we turn to (4.29). On one hand, by (4.49),
implying that \(\lim _{|z|\rightarrow \infty }|p(z)/z|=0\). On the other hand, the bound (4.49) (with \(z \in {\mathbb {C}}^* \backslash \{0\}\) in place of \(z_0\)) implies that
Since \(\int _1^\infty x^{-1}\mu (\mathrm {d}x)<\infty \), cf. (C.4), the second term on the right-hand side of (4.50) converges to zero as \(|z| \rightarrow 0\). Also, by virtue of (4.49), the integrand in the first term on the right-hand side of (4.50) is bounded uniformly in x. By the Dominated Convergence Theorem, this implies that its limit is also zero. Therefore, \(\lim _{|z|\rightarrow 0}|z \cdot p(z)| = 0\), as claimed. This establishes (4.29).
In regard to (4.30), let \(z=-u+{{\mathbf {i}}}v\in {\mathbb {C}}^*\setminus \{0\}\), \(u\ge 0\), such that \(|z|\le 1\). Then, for any \(x,u,|v|\ge 0\), we claim that
Indeed, by multiplying through the denominators, the above inequality is equivalent to
i.e.,
However, inequality (4.51) always holds, since \(u,|v|\in [0,1]\) and \(x\ge 0\).
Therefore, by the elementary inequality \(\sqrt{2(a^2+b^2)} \ge |a| + |b|\),
This establishes (a).
(b) Since p(z) is analytic, then so is \(q_1(z)\). To show that \(q_1(z)\) does not admit any root in \({\mathbb {C}}^*\setminus \{0\}\), suppose, by means of contradiction, that, for some \(z_0:= -u + {{\mathbf {i}}}v \in {\mathbb {C}}^*\setminus \{0\}\), \(q_1 (z_0) = 0\). In particular, \(u\ge 0\), \(v \in {\mathbb {R}}\). A simple calculation yields
a contradiction. This shows (b). \(\square \)
We finish this subsection by presenting the proof of Lemma 4.7.
Proof of Lemma 4.7
(a) Similarly to the proof of Lemma 4.6, fixing \(z_0\in {\mathbb {C}}^-\setminus \{0\}\), we want to show \({\widetilde{p}}(z)\) can be expanded in a neighborhood of \(z_0\). To see this, we first choose an open disk \(B(z_0,\varepsilon )\) centered at \(z_0\) with radius \(\varepsilon \) such that
For each \(x>0\), let \(w_x(z)=w\big (-\frac{z}{2\sqrt{x}}\big )\). Since w(z) is entire, then so is \(w_x(z)\). In light of Cauchy’s integral formula, for all \(z_1\in B(z_0,\varepsilon )\), we can write
Recall that \({\widetilde{p}}(z)\) is given by (4.37). Then,
In the third equality, we formally interchanged the order of integration with respect to \(\mu (\mathrm {d}x)\) and the summation. To justify this step, it suffices to show that the series in (4.53) converges absolutely for all \(z_1\in B(z_0,\varepsilon )\). In fact, considering \(I_n\),
where \(c=c(z_0,\varepsilon )\) is a positive constant independent of n. We now bound the integrals with respect to \(\mu \) on the right-hand side of (4.54). On one hand, we invoke (C.8) together with the fact that w(z) is entire to bound
On the other hand, by the choice of \(B(z_0,\varepsilon )\) as in (4.52), for all \(z\in B(z_0,\varepsilon )\) and \(x\in (0,1)\),
In view of Lemma C.4, cf. (C.15), namely, \(|w(z)|\le c/|z|\), we have the bound
By (4.55) and (4.56), we conclude that there exists a constant \(c=c(z_0,\varepsilon )>0\), independent of n, such that
Recall that \(z_1\in B(z_0,\varepsilon )\). Relation (4.57) implies that
This establishes the analyticity of \({\widetilde{p}}(z_0)\) for all \(z_0\in {\mathbb {C}}^-\setminus \{0\}\).
Next, we turn to the limits (4.38). To show that
first recast
Now, to bound \(I_3\), consider \(z\in {\mathbb {C}}^-\setminus \{0\}\) such that \(|z|>1\). Then, we can invoke (C.8) to conclude that
as \(|z|\rightarrow \infty \) in \({\mathbb {C}}^-\setminus \{0\}\). With regard to \(I_2\), by combining (C.8) with (C.15), we obtain
Likewise,
Relation (4.58) is now a consequence of (4.59), (4.60) and (4.61).
We now show that
Similarly to the argument for (4.58), for \(|z|<1\) we write
By (C.8),
Likewise, again as \(|z|\rightarrow 0\),
and
In the last limit above, we employed the fact that \(\lim _{|z|\rightarrow 0}\mu ([0,|z|])=\mu (\{0\})=0\) as in (C.5). Moreover, by combining (C.8) with (C.15), we obtain
which converges to 0 as \(|z|\rightarrow 0\). Then, relations (4.63)–(4.66) imply (4.38).
Next, we establish (4.39). We break up the proof into two cases, depending on whether or not z is real. We consider the first case \(z=u+{{\mathbf {i}}}v\in {\mathbb {C}}^-\setminus \{0\}\) where \(v<0\) and \(|z|^2=u^2+v^2 < 1\) . In view of expression (4.34) together with (4.37), we write
Then, in view of the fact that \(1\big / [(\frac{u}{2\sqrt{x}}+t) +{{\mathbf {i}}}\frac{v}{2\sqrt{x}}] = [\frac{u}{2\sqrt{x}}+t - {{\mathbf {i}}}\frac{v}{2 \sqrt{x}}]\big / [(\frac{u}{2\sqrt{x}}+t)^2 + \frac{v^2}{4x}]\), we can bound
Now consider the elementary system of inequalities
which holds for \(|t|<1\) and \(u^2+v^2<1\). Then,
where the equality follows from the elementary identity \(\int _{-1}^1\frac{1}{t^2+1} dt =\frac{\pi }{2}\). This proves (4.39) for the case \(\Im (z)<0\).
We now consider the second case where \(z=u\in {\mathbb {R}}\setminus \{0\}\) and \(|u|\le 1\). In view of expression (4.35) together with (4.37), we can write
Since \(e^{-\frac{u^2}{4x}} \ge e^{-\frac{1}{2x}}\) for \(|u|\le 1\), this implies that
This proves (4.39). Hence, part (a) is established.
(b) By part (a), \({\widetilde{q}}_1(z)\) is analytic. It remains to show that \({\widetilde{q}}_1(z)\) does not admit any root in \({\mathbb {C}}^-\setminus \{0\}\).
Similarly to the proof of (4.39), we consider two cases depending on whether or not z is real.
Let \(z= u + {{\mathbf {i}}}v\), \(v < 0\), and consider \({\widetilde{q}}_1(z)\) as in (4.37). Note that, by expression (4.34),
So,
Therefore, \({\widetilde{q}}_1(z)\) has no root in \(\{z \in {\mathbb {C}}: \Im (z) < 0\}\).
Now fix \(z = u \in {\mathbb {R}}\setminus \{0\}\) (i.e., \(v = 0\)). Then, expression (4.35) implies that we can write
In particular,
It follows that \({\widetilde{q}}_1(z)\) has no root in \(z\in {\mathbb {R}}\setminus \{0\}\). This concludes the proof. \(\square \)
4.3.2 Harmonically bounded case (\(\varvec{\gamma >0}\))
We now turn to the proof of Theorem 3.5. Similarly to the previous subsection, let
Remark 4.8
Similarly to Remark 4.4, we note that in formula (4.67), \({\mathcal {K}}_{\cos }(z)+{{\mathbf {i}}}{\mathcal {K}}_{\sin }(z)\) is understood in the sense of (C.2) and (C.6) extended to \({\mathbb {C}}\). Furthermore, \({\mathcal {K}}_{\cos }(z)+{{\mathbf {i}}}{\mathcal {K}}_{\sin }(z)\) is actually analytic on suitable subspaces of \({\mathbb {C}}\) (see the proof of Theorem 3.5).
For a large constant \(R>0\), recall that \(C_R^+ \) and \(C_{1/R}^+ \) are, respectively, the outer and inner half circles as in (4.20). Also consider the following closed curve \({\widetilde{C}}(R)\subset {\mathbb {C}}^+\) oriented counterclockwise
Our approach is similar to that in the proof of Theorem 3.4. We essentially need to show that \(f_2\) as in (4.67) is analytic on the upper half plane \({\mathbb {C}}^+\). Once this is accomplished, in view of Cauchy’s theorem for contour integrals, we are then able to establish Theorem 3.5, whence equipartition of energy holds for (1.2). Some statements appear in the auxiliary Lemmas 4.9–4.11, whose proofs are deferred to the end of the section.
First, in the following lemma we provide sufficient conditions on \(f_2\) and on the Fourier transform of K for equipartition of energy to hold.
Lemma 4.9
Let (x(t), v(t)) be the stationary process associated with the weak solution (X, V) of (1.2). Suppose that, for \(z\in {\mathbb {C}}^+\setminus \{0\}\),
Let \(f_2(z)\) be as in (4.67) and let \({\widetilde{C}}(R)\) be the curve as in (4.68). Then, the following holds.
-
(a)
If, for all large enough \(R>0\),
$$\begin{aligned} \int _{{\widetilde{C}}(R)}\!\!\!f_2(z)\mathrm {d}z=0, \end{aligned}$$(4.70)then
$$\begin{aligned} {\mathbb {E}}[\gamma x(0)^2]=k_BT. \end{aligned}$$(4.71) -
(b)
If, for all large enough \(R>0\),
$$\begin{aligned} \int _{{\widetilde{C}}(R)}\!\!\!z^2f_2(z)\mathrm {d}z=0, \end{aligned}$$(4.72)then
$$\begin{aligned} {\mathbb {E}}[m v(0)^2]=k_BT. \end{aligned}$$(4.73)
The proof of Theorem 3.5 is based on verifying that the assumptions of Lemma 4.9 are met. To this end, we show that \(f_2\) is analytic on \({\mathbb {C}}^+\setminus \{0\}\), which is established based on the following lemmas.
Lemma 4.10
Let \(\mu \) be the representation measure on \([0,\infty )\) for \(K\in {{\mathcal {C}}}{{\mathcal {M}}}\) as in Theorem C.1. Let \(q_2(z)\) be the function defined on \({\mathbb {C}}^*\setminus \{0\}\) and given by
where \(p(z)=\int _0^\infty \frac{1}{z-x}\mu (\mathrm {d}x)\) is as in (4.28). Then,
-
(a)
\(q_2(z)\) is analytic on \({\mathbb {C}}^*\setminus \{0\}\); and
-
(b)
\(q_2(z)\) does not admit any root in \({\mathbb {C}}^*\setminus \{0\}\).
Lemma 4.11
Suppose \(K(t)=\varphi (t^2)\) where \(\varphi \in {{\mathcal {C}}}{{\mathcal {M}}}\). Let \(\mu \) be the representation measure on \([0,\infty )\) for \(\varphi \) as in Theorem C.1. Let \({\widetilde{q}}_2(z)\) be the function defined on \({\mathbb {C}}^+\setminus \{0\}\) and given by
where \({\widetilde{p}}(z)=\frac{\sqrt{\pi }}{2}\int _0^\infty \!\!\!\frac{1}{\sqrt{x}}w\Big (\!-\frac{z}{2\sqrt{x}}\Big )\mu (\mathrm {d}x)\) is as in (4.37). Then,
-
(a)
\({\widetilde{q}}_2(z)\) is analytic on \({\mathbb {C}}^+\setminus \{0\}\); and
-
(b)
\({\widetilde{q}}_2(z)\) does not admit any root in \({\mathbb {C}}^+\setminus \{0\}\).
We now provide the proof of Theorem 3.5.
Proof of Theorem 3.5
Similarly to the proof of Theorem 3.4, we first consider the case where \(K\in {{\mathcal {C}}}{{\mathcal {M}}}\). It suffices to check that the conditions for Lemma 4.9 are met using auxiliary results provided in Lemma 4.10.
We first verify the limit condition (4.69). First note that \(z\in {\mathbb {C}}^+\setminus \{0\}\) implies \({{\mathbf {i}}}z\in {\mathbb {C}}^*\setminus \{0\}\). Then, as a consequence of relations (C.2) extended to \({\mathbb {C}}^+\setminus \{0\}\),
where p(z) is as in (4.28). Condition (4.69) now follows immediately from Lemma 4.6, (a), cf. (4.29).
To verify the contour integral conditions (4.70) and (4.72) for all large enough R, it suffices to prove that \(f_2(z)\) is, indeed, analytic on \({\mathbb {C}}^+\setminus \{0\}\). To this end, recast
where \(q_2(\cdot )\) is as in (4.74). Since \(z\in {\mathbb {C}}^+\setminus \{0\}\), then \({{\mathbf {i}}}z\in {\mathbb {C}}^*\setminus \{0\}\). Also, in view of Lemma 4.10, \(q_2(\cdot )\) is analytic and does not have poles in \({\mathbb {C}}^*\setminus \{0\}\). It then follows immediately that, for \(z\in {\mathbb {C}}^+\setminus \{0\}\), \(({{\mathbf {i}}}z q_2({{\mathbf {i}}}z))^{-1}=f_2(z)\) is analytic on \({\mathbb {C}}^+\setminus \{0\}\), which clearly implies the contour integral conditions (4.70) and (4.72).
We now turn to the case where \(K(t)=\varphi (t^2)\in {{\mathcal {C}}}{{\mathcal {M}}}\). We have to verify the assumptions of Lemma 4.9 by combining auxiliary results in Lemmas 4.7 and 4.11. Recall that \({\widetilde{p}}(z)\) and \({\widetilde{q}}_2(z)\), respectively, are given by (4.37) and (4.75). In light of (C.6), for \(z\in {\mathbb {C}}^+\setminus \{0\}\),
The limits in (4.69) are now a consequence of the fact that, for \(z\in {\mathbb {C}}^+\setminus \{0\}\),
where (4.76) follows from Lemma 4.7, (a), cf. (4.38).
Also, by Lemma 4.11, the function \(f_2(z)=(z{\widetilde{q}}_2(z))^{-1}\) is analytic on \({\mathbb {C}}^+\setminus \{0\}\). It follows that the contour integral conditions (4.70) and (4.72) hold for all large enough R. Consequently, the assumptions of Lemma 4.9 have been verified, which implies that relations (4.71) and (4.73) hold. Thus, the proof is complete. \(\square \)
We now provide the proof of Lemma 4.9.
Proof of Lemma 4.9
(a) First, recall from (2.14) and covariance relation (A.3) that
Hence, it suffices to prove that the value of the integral (4.77) is \(\pi \gamma ^{-1}\).
Let \(f_2(z)\) be the function as in (4.67). Then, the contour integral of \(f_2\) on \({\widetilde{C}}(R)\) may be decomposed into
We now proceed to reexpress and establish the limiting behavior of each integral \(I_i(R)\), \(i = 1,2,3,4\), as \(R \rightarrow \infty \). First, note that
where, once again, we use the notation \(\omega \) for integration along the real axis. Turning to \(I_3(R)\), recall that the function \({\mathcal {K}}_{\cos }\) is even, whereas \({\mathcal {K}}_{\sin }\) is odd. Thus, by a change of variable \(z:=-\omega \), we can reexpress
Therefore,
By virtue of the Monotone Convergence Theorem,
With regard to \(I_2(R)\), for \(z\in C_{R}\subset {\mathbb {C}}^+\setminus \{0\}\), recast \(f_2(z)\) in the form
By making the change of variable \(z:=Re^{{{\mathbf {i}}}\theta }\),
By (4.69), as \(R\rightarrow \infty \), the integrand in (4.79) converges to 0. Hence, by the Dominated Convergence Theorem,
Similarly, by making a change of variable \(z=R^{-1}e^{{{\mathbf {i}}}\theta }\), we have
As \(R\rightarrow \infty \), again by relation (4.69), the integrand in (4.81) converges to \(\gamma ^{-1}\). In light of the Dominated Convergence Theorem, this implies that
Collecting the limits (4.78), (4.80) and (4.82), we obtain
Hence,
which establishes (4.71).
With regard to \({\mathbb {E}}[v(0)^2]\), expressions (2.14) and (2.15) imply that
We now claim that the integral in (4.83) is equal to \(\pi m^{-1}\). Similarly to the argument for \({\mathbb {E}}[x(0)^2]\), to establish this we consider the contour integral
By calculations analogous to those for \(I_1(R)+I_3(R)\),
where the limit is a consequence of the Monotone Convergence Theorem.
On the other hand, in regard to integration along the outer half circle \(C^+_R\), note that we can express
Thus, by making a change of variable \(z= Re^{{{\mathbf {i}}}\theta } \), we obtain
Consequently, in light of the Dominated Convergence Theorem together with condition (4.69),
Likewise, by a change of variable \(z=R^{-1}e^{{{\mathbf {i}}}\theta }\),
By (4.69), the integrand in (4.88) converges to zero. Therefore, by the Dominated Convergence Theorem,
Based on expressions (4.84), (4.86), (4.87) and (4.89), we obtain the limit
Hence,
This establishes (4.73). \(\square \)
We now provide the proof of Lemma 4.10.
Proof of Lemma 4.10
In view of Lemma 4.6 (a), p(z) is analytic in \({\mathbb {C}}^*\setminus \{0\}\), and so is \(q_2(z)\). This shows (a).
We now show (b), i.e., we prove that \(q_2(z)\) does not admit any root in \({\mathbb {C}}^*\setminus \{0\}\). Similarly to the proof of Lemma 4.6 for \(q_1(z)\), first observe that \(q_2(z)\) cannot have a (real) negative real root. Indeed, if \(z<0\), then
Next, by means of contradiction, suppose that \(z_0 =-u+{{\mathbf {i}}}v\), is a root of \(q_2(z)\), where \(u\ge 0\) and
A routine calculation shows that the condition \(q_2(z_0) = 0\) is equivalent to
Consequently, \(v=0\), which contradicts (4.90). This establishes (b). \(\square \)
We now provide the proof of Lemma 4.11. The argument is essentially the same as that for proving Lemma 4.7, (b).
Proof of Lemma 4.11
By Lemma 4.7, (a), \({\widetilde{p}}(z)\) is analytic on \({\mathbb {C}}^-\setminus \{0\}\). Therefore, \({\widetilde{q}}_2(z)=\lambda z+\beta z{\widetilde{p}}(-z) +{{\mathbf {i}}}(\gamma -mz^2)\) is analytic on \({\mathbb {C}}^+\setminus \{0\}\). This establishes (a).
We now turn to (b), i.e., we want to show that \({\widetilde{q}}_2(z)\) does not admit any root in \({\mathbb {C}}^+\setminus \{0\}\). To see this, first recall that \({\widetilde{q}}_1(z)\) is given by (4.37). Then, \({\widetilde{q}}_2(z)\) as in (4.75) can be rewritten as
Thus, it suffices to show that \({\widetilde{q}}_1(z)-{{\mathbf {i}}}\frac{\gamma }{z}\) does not admit any root in \({\mathbb {C}}^-\setminus \{0\}\). The argument for showing this is similar to the one in the proof of Lemma 4.7, (b), and involves two cases, i.e., for real and non-real \(z\in {\mathbb {C}}^-\setminus \{0\}\).
Assume first that \(\Im (z)<0\). Write \(z=u+{{\mathbf {i}}}v\), \(v<0\) and note that, by expression (4.34),
After a routine calculation, we obtain
Alternatively, assume \(z = u \in {\mathbb {R}}\setminus \{0\}\). Then, by expression (4.35),
Hence,
By (4.91) and (4.92), we conclude that \({\widetilde{q}}_1(z)-{{\mathbf {i}}}\gamma /z\) has no root in \(z\in {\mathbb {C}}^-\setminus \{0\}\), and that neither does \({\widetilde{q}}_2(z)\) in \({\mathbb {C}}^+\setminus \{0\}\). This finishes the proof. \(\square \)
References
Argun, A., Moradi, A.-R., Pinçe, E., Bagci, G.B., Imparato, A., Volpe, G.: Non-Boltzmann stationary distributions and nonequilibrium relations in active baths. Phys. Rev. E 94(6), 062150 (2016)
Brockwell, P.J., Davis, R.A.: Time Series: Theory and Methods. Springer, Berlin (1991)
Chandler, D.: Introduction to Modern Statistical Mechanics. Oxford University Press, Oxford (1987)
Cramér, H., Leadbetter, R.: Stationary and related stochastic processes: sample function properties and their applications. Courier Corporation, Chelmsford (1967)
Desposito, M.A., Viñales, A.D.: Memory effects in the asymptotic diffusive behavior of a classical oscillator described by a generalized Langevin equation. Phys. Rev. E 77(3), 031123 (2008)
Didier, G., McKinley, S.A., Hill, D.B., Fricks, J.: Statistical challenges in microrheology. J. Time Ser. Anal. 33(5), 724–743 (2012)
Didier, G., Nguyen, H.: Asymptotic analysis of the mean squared displacement under fractional memory kernels. SIAM J. Math. Anal. 52(4), 3818–3842 (2020)
Didier, G., Zhang, K.: The asymptotic distribution of the pathwise mean squared displacement in single particle tracking experiments. J. Time Series Anal. 38(3), 395–416 (2017)
Fettis, H.E., Caslin, J.C., Cramer, K.R.: Complex zeros of the error function and of the complementary error function. Math. Comp. 401–407 (1973)
Fricks, J., Yao, L., Elston, T.C., Forest, M.G.: Time-domain methods for diffusive transport in soft matter. SIAM J. Appl. Math. 69(5), 1277–1308 (2009)
Gelfand, I.M.: Generalized random processes. Dokl. Akad. Nauk SSSR 100(5), 853–856 (1955)
Glatt-Holtz, N.E., Herzog, D.P., McKinley, S.A., Nguyen, H.D.: The generalized Langevin equation with power-law memory in a nonlinear potential well. Nonlinearity 33(6), 2820 (2020)
Goychuk, I.: Viscoelastic subdiffusion: from anomalous to normal. Phys. Rev. E 80(4), 046125 (2009)
Herzog, D.P., Mattingly, J.C., Nguyen, H.D.: Gibbsian dynamics and the generalized Langevin equation (2021). arXiv preprint arXiv:2111.04187
Hill, T.L.: An Introduction to Statistical Thermodynamics. Courier Corporation, North Chelmsford (1986)
Hohenegger, C.: On equipartition of energy and integrals of generalized Langevin equations with generalized Rouse kernel. Commun. Math. Sci. 15(2), 539–554 (2017)
Hohenegger, C., McKinley, S.: Fluid-particle dynamics for passive tracers advected by a thermally fluctuating viscoelastic medium. J. Comput. Phys. 340, 688–711 (2017)
Hohenegger, C., McKinley, S.: Reconstructing complex fluid properties from the behavior of fluctuating immersed particles. SIAM J. Appl. Math. 78(4), 2200–2226 (2018)
Inoue, A.: On Abel-Tauber theorems for Fourier cosine transforms. J. Math. Anal. Appl. 196(2), 764–776 (1995)
Itô, K.: Stationary random distributions. Mem. Coll. Sci. Univ. Kyoto Ser. A Math. 28(3), 209–223 (1954)
Kneller, G.: Generalized Kubo relations and conditions for anomalous diffusion: physical insights from a mathematical theorem. J. Chem. Phys. 134(22), 224106 (2011)
Kou, S.: Stochastic modeling in nanoscale biophysics: subdiffusion within proteins. Ann. Appl. Stat. 501–535 (2008)
Kou, S., Xie, X.: Generalized Langevin equation with fractional Gaussian noise: subdiffusion within a single protein molecule. Phys. Rev. Lett. 93(18), 180603 (2004)
Kubo, R.: The fluctuation-dissipation theorem. Rep. Prog. Phys. 29(1), 255 (1966)
Kupferman, R.: Fractional kinetics in Kac–Zwanzig heat bath models. J. Stat. Phys. 114(1), 291–326 (2004)
Lindgren, G.: Stationary Stochastic Processes: Theory and Applications. CRC Press, Boca Raton (2012)
Maggi, C., Paoluzzi, M., Pellicciotta, N., Lepore, A., Angelani, L., Di Leonardo, R.: Generalized energy equipartition in harmonic oscillators driven by active baths. Phys. Rev. Lett. 113(23), 238303 (2014)
Mason, T., Weitz, D.: Optical measurements of frequency-dependent linear viscoelastic moduli of complex fluids. Phys. Rev. Lett. 74(7), 1250 (1995)
McKinley, S., Nguyen, H.: Anomalous diffusion and the generalized Langevin equation. SIAM J. Math. Anal. 50(5), 5119–5160 (2018)
McKinley, S.A., Nguyen, H.D.: On the Hölder regularity of a linear stochastic partial-integro-differential equation with memory. J. Fourier Anal. Appl. 28(2), 1–31 (2022)
Morgado, R., Oliveira, F., Batrouni, G., Hansen, A.: Relation between anomalous and normal diffusion in systems with memory. Phys. Rev. Lett. 89(10), 100601 (2002)
Mori, H.: A continued-fraction representation of the time-correlation functions. Prog. Theor. Phys. 34(3), 399–416 (1965)
Mori, H.: Transport, collective motion, and Brownian motion. Prog. Theor. Phys. 33(3), 423–455 (1965)
Nichol, K., Daniels, K.E.: Equipartition of rotational and translational energy in a dense granular gas. Phys. Rev. Lett. 108(1), 018001 (2012)
Olver, F., Lozier, D.W., Boisvert, R.F., Clark, C.W.: NIST Handbook of Mathematical Functions. Cambridge University Press, Cambridge (2010)
Ottobre, M., Pavliotis, G.: Asymptotic analysis for the generalized Langevin equation. Nonlinearity 24(5), 1629 (2011)
Pavliotis, G.: Stochastic Processes and Applications. Springer, Berlin (2014)
Reif, F.: Fundamentals of Statistical and Thermal Physics. Waveland Press, Long Grove (1965)
Rosiński, J., Żak, T.: Simple conditions for mixing of infinitely divisible processes. Stoch. Process. Appl. 61(2), 277–288 (1996)
Rozanov, I.A.: Stationary Random Processes. Holden-Day, San Francisco (1967)
Soni, K., Soni, R.: The Parseval relation and monotone functions. J. Math. Anal. Appl. 48(3), 633–645 (1974)
Soni, K., Soni, R.: Slowly varying functions and asymptotic behavior of a class of integral transforms I. J. Math. Anal. Appl. 49(1), 166–179 (1975)
Soni, K., Soni, R.: Slowly varying functions and asymptotic behavior of a class of integral transforms II. J. Math. Anal. Appl. 49(2), 477–495 (1975)
Spiechowicz, J., Bialas, P., Łuczka, J.: Quantum partition of energy for a free Brownian particle: Impact of dissipation. Phys. Rev. A 98(5), 052107 (2018)
Spiechowicz, J., Łuczka, J.: On superstatistics of energy for a free quantum Brownian particle. J. Stat. Mech Theory Exp. 2019(6), 064002 (2019)
Spiechowicz, J., Łuczka, J.: Energy of a free Brownian particle coupled to thermal vacuum. Sci. Rep. 11(1), 1–12 (2021)
Strichartz, R.S.: A Guide to Distribution Theory and Fourier Transforms. World Scientific Publishing Company, Singapore (2003)
To, K.: Boltzmann distribution in a nonequilibrium steady state: measuring local potential by granular Brownian particles. Phys. Rev. E 89(6), 062111 (2014)
Viñales, A.D., Desposito, M.A.: Anomalous diffusion: exact solution of the generalized Langevin equation for harmonically bounded particle. Phys. Rev. E 73(1), 016111 (2006)
Weideman, J.A.C.: Computation of the complex error function. SIAM J. Numer. Anal. 31(5), 1497–1518 (1994)
Yaglom, A.M.: Some classes of random fields in n-dimensional space, related to stationary random processes. Theory Probab. Appl. 2(3), 273–320 (1957)
Zwanzig, R.: Nonequilibrium Statistical Mechanics. Oxford University Press, Oxford (2001)
Acknowledgements
The authors would like to thank two anonymous reviewers for their helpful comments and suggestions.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by S. Chatterjee.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Appendix A: Stationary Random Operators
In this section, we review and generalize the framework of stationary distributions [7, 20, 29, 51]. The goal is to construct stationary random operators for the purpose of analyzing the well–posedness of the 2D GLE.
Hereinafter, \(^*\) denotes Hermitian transposition and \(\Vert \cdot \Vert \) denotes the operator norm. \({{\mathcal {H}}}_{\ge 0}(d,{\mathbb {C}})\) and \({{\mathcal {M}}}(d,{\mathbb {C}})\) denote, respectively, the convex cone of Hermitian positive semidefinite matrices and the space of \(d \times d\), entry–wise \({\mathbb {C}}\)-valued matrices.
Given \(d\in {\mathbb {N}}\), \({\varvec{u}}(t)=(u_1(t),\dots ,u_d(t))^T\) denotes a \({\mathbb {C}}^d\)–valued stochastic process. We now briefly recall the definitions of weak stationarity and mean squared continuity.
Definition A.1
A stochastic process \(\{{\varvec{u}}(t)\}_{t \in {\mathbb {R}}}\) is said to be weakly stationary if, for all \(t, s\in {\mathbb {R}}\),
-
(a)
\({\mathbb {E}}\Vert {\varvec{u}}(t) {\varvec{u}}(t)^*\Vert <\infty \);
-
(b)
\({\mathbb {E}}[{\varvec{u}}(t)]={\varvec{u}}\), for some constant vector \({\varvec{u}}\) (we may assume \({\varvec{u}}={\varvec{0}}\)); and
-
(c)
the covariance matrix \({\mathbb {E}}\big [{\varvec{u}}(t){\varvec{u}}(s)^* \big ]\) only depends on the difference \(t-s\).
Definition A.2
A second order stochastic process \(\{{\varvec{u}}(t)\}_{t \in {\mathbb {R}}}\) is said to be mean squared continuous if, for all \(t \in {\mathbb {R}}\), \(\lim _{h\rightarrow 0}{\mathbb {E}}({\varvec{u}}(t+h)-{\varvec{u}}(t))^*({\varvec{u}}(t+h)-{\varvec{u}}(t)) =0\).
In the following theorem, we recall the fact that, under mild conditions, the covariance structure of a weakly stationary process is characterized by its so-named spectral measure (see also [40, 26, Theorem 7.1] and [2, Chapter 4]).
Theorem A.3
A mean squared continuous process \(\{{\varvec{u}}(t)\}_{t \in {\mathbb {R}}}\) is weakly stationary if and only if its matrix–valued covariance function has the representation
In (A.1),
is a matrix-valued Borel measure such that \(\Vert \nu ({\mathbb {R}})\Vert < \infty \).
Remark A.4
If the matrix–valued measure \(\nu (\mathrm {d}\omega )\) is entry–wise absolutely continuous with respect to the Lebesgue measure, then we can write
for some entry-wise integrable function f taking values in \({{\mathcal {H}}}_{\ge 0}(d,{\mathbb {C}})\) a.e. (cf. [26, Theorem 7.1]). The function f is called the spectral density of \({\varvec{u}}(t)\).
Analogously, we briefly recall the notion of stationary random distributions, a generalization of multivariate stationary processes, first introduced in [11, 20]. So, let \(\tau _y\) be the shift operator given by \(\tau _y\varphi (x):=\varphi (x-y)\) for any \(\varphi \in {\mathcal {S}}\). Also, let \(L^2(\Omega )\) be the space of all complex–valued random variables with finite variance. We now provide the definition of a stationary distribution (see [51, Section 1]).
Definition A.5
A linear functional \(F:{\mathcal {S}}\rightarrow L^2(\Omega )^d\) given by \(\langle F,\varphi \rangle =( \langle F_1,\varphi \rangle , \dots ,\langle F_d,\varphi \rangle )^T\) is called a stationary random distribution on \({\mathcal {S}}\) if the following two conditions hold.
-
(a)
For all \(y\in {\mathbb {R}}\) and for all \(\varphi \in {\mathcal {S}}\), \({\mathbb {E}}\langle F,\tau _y\varphi \rangle ={\mathbb {E}}\langle F,\varphi \rangle \); and
-
(b)
for all \(y\in {\mathbb {R}}\) and for all \(\varphi _1,\varphi _2\in {\mathcal {S}}\),
$$\begin{aligned} {\mathbb {E}}\big [ \langle F,\tau _y \varphi _1\rangle \langle F,\tau _y\varphi _2 \rangle ^* \big ]={\mathbb {E}}\big [ \langle F, \varphi _1\rangle \langle F,\varphi _2 \rangle ^*\big ]. \end{aligned}$$
Analogously to Theorem A.3, we have the following characterization of the second order structure of a stationary distribution in terms of covariance functionals and spectral measures. See also [26, 51].
Theorem A.6
A linear functional \(F:{\mathcal {S}}\rightarrow L^2(\Omega )^d\) is a stationary random distribution on \({\mathcal {S}}\) if and only if its covariance matrix \(B(\varphi _1,\varphi _2)\) has the representation
In (A.3), \(\nu (\mathrm {d}\omega )=(\nu _{ij}(\mathrm {d}\omega ))_{1\le i,j\le d}\) is a \({{\mathcal {H}}}_{\ge 0}(d,{\mathbb {C}})\)–valued measure such that, for some \(p\in {\mathbb {R}}\),
Remark A.7
-
(a)
Note that, due to condition (A.4) and to the fact that \(\varphi \) is a Schwartz function, \(\langle F, \varphi \rangle \) is, indeed, an element of \(L^2(\Omega )^d\).
-
(b)
Similarly to Remark A.4, in case the measure \(\nu \) as in Theorem A.6 has the form \(\nu (\mathrm {d}\omega )=f(\omega )\mathrm {d}\omega \) for some a.e. \({{\mathcal {H}}}_{\ge 0}(d,{\mathbb {C}})\)–valued function f, then f is called the spectral density of the stationary distribution F. Furthermore, in view of (A.4), there exists \(p\in {\mathbb {R}}\) such that
$$\begin{aligned} \int _{{\mathbb {R}}} \frac{\Vert f(\omega )\Vert }{(1+\omega ^2)^p}\mathrm {d}\omega <\infty . \end{aligned}$$(A.5)
Whereas Theorem A.6 describes the spectral representation of the covariance structure of the stationary distribution F, a representation formula for the linear functional F itself is provided next. For this purpose, we need the definition of a random measure.
Definition A.8
Let \(\nu \) be a matrix-valued Borel measure satisfying (A.2) and (A.4). Let \({\mathcal {B}}_\nu \) be the collection of all Borel sets \(E\subset {\mathbb {R}}\) such that \(\Vert \nu (E)\Vert <\infty \). A map \(Z:{\mathcal {B}}_\nu \rightarrow L^2(\Omega )^d\) is called a random measure with respect to \(\nu \) if for \(E_1, E_2\in {\mathcal {B}}_\nu \),
So, let \(Z(\mathrm {d}\omega )\) be a random measure with respect to \(\nu \) as in Definition A.8. The natural space of integrands for \(Z(\mathrm {d}\omega )\) is given by
In fact, for every \(g_1,g_2\in L^2(\nu )\), the stochastic integral \(\int _{\mathbb {R}}g(\omega )Z(\mathrm {d}\omega )\) is a well defined random vector such that
(see [20, 51] for a detailed discussion). In the following theorem, F is characterized by means of random measures (see also [51, Theorem 3]).
Theorem A.9
Let F be a stationary random distribution with the spectral measure \(\nu \) as in Theorem A.6. Then, there exists a random measure Z corresponding to \(\nu \) as in Definition A.8 such that, for all \(\varphi \in {\mathcal {S}}\),
where \(I_d\) is the identity matrix. Moreover, Z is uniquely determined by F and \(\nu \).
Note that, as of now, the stationary distribution F is a functional whose domain is restricted to \({\mathcal {S}}\). In order to define the process \({\varvec{u}}(t)\) via F, it is necessary to extend the definition of F to a subclass of tempered distributions \({\mathcal {S}}'\). For this purpose, we employ the approach introduced in [7, 29].
Definition A.10
Let \(\nu \) be a matrix–valued Borel measure satisfying conditions (A.4) and (A.2). Let Z be the vector–valued random measure associated with \(\nu \) as in Definition A.8. Further suppose that \(\nu \) is absolutely continuous with respect to Lebesgue measure. Then, we define an operator \(\Phi \, : \, {\mathcal {S}}' \rightarrow L^2(\Omega )^d\) by means of the mapping
The domain of \(\Phi \), denoted by \(\text {Dom}(\Phi )\), is the set of tempered distributions g such that its Fourier transform \({\mathcal {F}}\left[ g\right] \) in \({\mathcal {S}}'\) is a function defined on \({\mathbb {R}}\) and that \({\mathcal {F}}\left[ g\right] \in L^2(\nu )\).
In the following lemma we establish that the absolute continuity of \(\nu \) with respect to Lebesgue measure is a sufficient condition for the extension of \(\Phi \) as in Definition A.10 to be well defined. This extends analogous results for one–dimensional settings [7, 29].
Lemma A.11
Let \(\Phi :{{\mathrm{Dom}}}(\Phi )\subset {\mathcal {S}}'\rightarrow L^2(\Omega )^d\) be the operator as in Definition A.10. Then, \(\Phi \) is well defined.
The proof of Lemma A.11 is essentially the same as that of [29, Lemma 2.15]. Since the argument is short, we include it here for the sake of completeness.
Proof of Lemma A.11
By the absolutely continuity of \(\nu \) with respect to Lebesgue measure, we may write \(\nu (\mathrm {d}\omega )=f(\omega )\mathrm {d}\omega \). We proceed to show that the right-hand side of (A.8) does not depend on the choice of \({\mathcal {F}}\left[ g\right] \). To see that, suppose \({\mathcal {F}}_1[g]\) and \({\mathcal {F}}_2[g]\) are Fourier transforms of g in \({\mathcal {S}}'\). Then, \({\mathcal {F}}_1[g] = {\mathcal {F}}_2[g]\) a.e. [47]. In view of (A.6), this implies that
It follows that the random vectors \(\int _{\mathbb {R}}{\mathcal {F}}_1[g](\omega )\cdot I_d Z(\mathrm {d}\omega )\) and \(\int _{\mathbb {R}}{\mathcal {F}}_2[g](\omega )\cdot I_d Z(\mathrm {d}\omega )\) are equal a.s., implying that \(\Phi \) is well defined. This finishes the proof. \(\square \)
Having obtained the extension \(\Phi \) of F to \({\mathcal {S}}'\), we are now ready to define the process \({\varvec{u}}(t)\) via the action of \(\Phi \) on Dirac functions as in the following definition.
Definition A.12
(The function–valued version of a stationary random operator) Let \(\delta _t\) be the Dirac \(\delta \) distribution centered at t. If \(\delta _t\in \text {Dom }(\Phi )\), then we define
Remark A.13
We note that the condition \(\delta _t\in \text {Dom }(\Phi )\) in Definition A.12 is equivalent to the assumption \(\nu _{ii}\) are all finite nonnegative measures. To see this, by Definition A.10 together with (A.6) and (A.8), it holds that
where the last implication above is equivalent to \(\sum _{i=1}^d\nu _{ii}({\mathbb {R}})<\infty ,\) since \(\nu \in {{\mathcal {H}}}_{\ge 0}(d,{\mathbb {C}})\). In view of Theorem A.3, \({\varvec{u}}(t)=\langle \Phi ,\delta _t\rangle \) is thus simply the ordinary stochastic process version for \(\Phi \) (cf. Lemma 4.2).
Appendix B: Fourier Analysis of the Memory Kernel K(t)
In this section, we collect several useful properties of Fourier transforms for K(t) under Assumption 2.1. More details can be found in [7, 29, 41,42,43].
In the following lemma, we state the fact that the Fourier transform of K under Assumption 2.1 is well defined in the sense of improper integrals.
Lemma B.1
Suppose that K satisfies Assumption 2.1 (I) (a) and (b). Then, for \(\omega \ne 0\), the improper integrals \({\mathcal {K}}_{\cos }(\omega )=\int _0^\infty K(t)\cos (t\omega ) \mathrm {d}t\) and \({\mathcal {K}}_{\sin }(\omega )=\int _0^\infty K(t)\sin (t\omega ) \mathrm {d}t\) are well defined, continuous in \(\omega \), and
Proof
The proof is essentially the same as in [29, Lemma 2.18]. See also [42, Lemma 1]. \(\square \)
Next, we describe the Fourier transform of K in the sense of distributions.
Lemma B.2
Suppose that K satisfies Assumption 2.1. Then, the following holds.
-
(a)
The Fourier transform of K in the sense of tempered distributions is given by \(2{\mathcal {K}}_{\cos }\). In other words, for every \(\varphi \in {\mathcal {S}}\),
$$\begin{aligned} \int _{\mathbb {R}}K(t){\widehat{\varphi }}(t)\mathrm {d}t = \int _{\mathbb {R}}2{\mathcal {K}}_{\cos }(\omega )\varphi (\omega )\mathrm {d}\omega . \end{aligned}$$(B.2) -
(b)
For any \(\varphi \in {\mathcal {S}}\), the Fourier transform of \(K^+*\varphi \) in \({\mathcal {S}}'\) is given by
$$\begin{aligned} {\mathcal {F}}\left[ K^+*\varphi \right] (\omega ) = \widehat{K^+}\cdot {\widehat{\varphi }}= \left( {\mathcal {K}}_{\cos }(\omega )-{{\mathbf {i}}}{\mathcal {K}}_{\sin }(\omega )\right) {\widehat{\varphi }}(\omega ), \end{aligned}$$(B.3)where \(K^+(t)=K(t)1_{[0,\infty )}(t)\).
Proof
(a) If K is integrable then (B.2) is a consequence of Fubini’s theorem. When K satisfies the tail behavior \(t^{-1}\) (see Assumption 2.1 (II) (b)), then the argument can be found in the proof of [7, Proposition 17]. Finally, if K satisfies Assumption 2.1 (II) (c), the argument is the same as that in the proof of [29, Proposition 2.19 (a)].
(b) The proof of (B.3) is essentially the same as the proof of [29, Proposition 2.19 (b)].
\(\square \)
In the following result, we provide the asymptotic behavior of the functions \({\mathcal {K}}_{\cos }\) and \({\mathcal {K}}_{\sin }\) near the origin. These properties play an import role in establishing the asymptotic growth of \(\int _0^t (x(s),v(s))\mathrm {d}s\) as \(t \rightarrow \infty \) in Theorem 3.3. See also [19, 42, 43] for related results.
Lemma B.3
(Abelian direction). Suppose that \(K\in L^1_{\text {loc}}(0,\infty )\) satisfies Assumption 2.1. Then, the following holds.
-
(a)
If K is integrable, then
$$\begin{aligned} {\mathcal {K}}_{\cos }(\omega )\rightarrow \int _0^\infty \!\!\!K(t)\mathrm {d}t\quad \text {and}\quad {\mathcal {K}}_{\sin }(\omega )\rightarrow 0\quad \text {as } \omega \rightarrow 0. \end{aligned}$$(B.4) -
(b)
If \(K(t)\sim t^{-1}\) as \(t\rightarrow \infty \), then
$$\begin{aligned} \frac{{\mathcal {K}}_{\cos }(\omega ) }{|\log (\omega )|}\rightarrow c_1, \quad \text {and}\quad {\mathcal {K}}_{\sin }(\omega ) \rightarrow c_1 \frac{\pi }{2},\quad \text {as }\omega \rightarrow 0, \end{aligned}$$(B.5)where \(c_1=\lim _{t\rightarrow \infty }t\,K(t)\in (0,\infty )\).
-
(c)
If there exists \(\alpha \in (0,1)\) such that \(K(t)\sim t^{-\alpha }\) as \(t\rightarrow \infty \), then
$$\begin{aligned}&\omega ^{1-\alpha }{\mathcal {K}}_{\cos }(\omega )\rightarrow c_\alpha \int _0^\infty \frac{\cos (u)}{u^\alpha }\mathrm {d}u \quad \text {and}\\&\quad \omega ^{1-\alpha }{\mathcal {K}}_{\sin }(\omega )\rightarrow c_\alpha \int _0^\infty \frac{\sin (u)}{u^\alpha }\mathrm {d}u\quad \text {as }\omega \rightarrow 0, \end{aligned}$$(B.6)where \(c_\alpha =\lim _{t\rightarrow \infty }t^{\alpha }\,K(t)\in (0,\infty )\).
Proof
The limit (B.4) is a consequence of the Dominated Convergence Theorem. The limits (B.5) and (B.6B.7) can be found in [7, Proposition 9] and [29, Proposition 3.1], respectively. \(\square \)
Appendix C: Completely Monotonic Functions
In this section, we discuss two important properties of completely monotonic functions that are needed in the calculation of the second moment of (x(t), v(t)) (see Theorems 3.4 and 3.5). First, we recall the following well–known theorem on the representation of the class \({{\mathcal {C}}}{{\mathcal {M}}}\) in terms of Laplace transforms of Radon measures.
Theorem C.1
(Hausdorff–Bernstein–Widder Theorem) A function K is completely monotone as in Definition 2.4 if and only if K admits the formula
for some positive Borel measure \(\mu \) on \([0,\infty )\).
In Lemma C.2, stated and proven next, we compute Fourier transforms of completely monotonic functions based on their representation measures.
Lemma C.2
Suppose that \(K\in {{\mathcal {C}}}{{\mathcal {M}}}\) and that K is locally integrable and is decreasing to 0 as \(t\rightarrow \infty \). Let \(\mu \) be the representation measure as in (C.1). Then for every \(\omega \ne 0\), we can write
The proof of Lemma C.2 is essentially the same as that of [30, Lemma 3.8]. The only difference is that in [30, Lemma 3.8], K belongs to \({{\mathcal {C}}}{{\mathcal {M}}}_b\), the class of completely monotone functions such that K(0) is finite, whereas in Lemma C.2, we assume a slightly more general condition, namely, K being locally integrable around the origin.
Proof of Lemma C.2
First note that, for all \(\omega \ne 0\), the integrals in (C.2) are finite. Indeed, since K is locally integrable, Fubini’s theorem implies that
In particular,
and
It follows that
Likewise,
Now, by the definition of improper integral,
Based on the representation \(K(t)=\int _0^\infty e^{-tx}\mu ( \mathrm {d}x )\) (see (C.1)) and on Fubini’s theorem, we obtain
Also, since K(t) decreases to 0 as \(t\rightarrow \infty \), the Dominated Convergence Theorem implies that
It follows that \(\mu -\)a.e. on \(x\in [0,\infty )\),
Again by the Dominated Convergence Theorem, we obtain
This establishes (C.2) for \({\mathcal {K}}_{\cos }(\omega )-{{\mathbf {i}}}{\mathcal {K}}_{\sin }(\omega )\). The formula for \({\mathcal {K}}_{\cos }(\omega )+{{\mathbf {i}}}{\mathcal {K}}_{\sin }(\omega )\) can be derived using a similar argument. \(\square \)
Next, we consider the case \(K=\varphi (t^2)\), where \(\varphi \in {{\mathcal {C}}}{{\mathcal {M}}}\). Unlike in the situation where \(K\in {{\mathcal {C}}}{{\mathcal {M}}}\), computing the Fourier transform of \(K=\varphi (t^2)\) is more complicated since it relies on delicate estimates for the error functions \(\text{ erf }\) and \(\text{ erfc }\) as well as for the Faddeeva function w introduced in (4.31)-(4.33).
Lemma C.3
Suppose that \(K(t)=\varphi (t^2)\), where \(\varphi \in {{\mathcal {C}}}{{\mathcal {M}}}\). Also suppose that K is locally integrable and decreases to 0 as \(t\rightarrow \infty \). Let \(\mu \) be the representation measure for \(\varphi \in {{\mathcal {C}}}{{\mathcal {M}}}\) as in (C.1). Then, for every \(\omega \ne 0\), we can write
Proof
We will prove formula (C.6) for \({\mathcal {K}}_{\cos }(\omega )-{{\mathbf {i}}}{\mathcal {K}}_{\sin }(\omega )\). The formula for \({\mathcal {K}}_{\cos }(\omega )+{{\mathbf {i}}}{\mathcal {K}}_{\sin }(\omega )\) can be derived using a similar argument.
In view of the expression (C.1) for \(\varphi \in {{\mathcal {C}}}{{\mathcal {M}}}\), K(t) admits the representation
For \(\mu (dx)\) as in (C.7), we claim that
To see this, first note that, due to the local integrability of K,
where the second equality in (C.9) follows from a change of variable. Also,
which proves (C.8).
Now fix \(A>0\) and let \(\omega \ne 0\). Fubini’s Theorem and a change of variable imply that
When considering the limit \(A \rightarrow \infty \), we want to apply the Dominated Convergence Theorem in expression (C.10) so as to establish formula (C.6). To this end, it suffices to find a dominating \(\mu -\)integrable function for the family of integrands \(\frac{e^{-\frac{\omega ^2}{4x}}}{\sqrt{x}}\int _{{{\mathbf {i}}}\frac{\omega }{2\sqrt{x}}}^{A\sqrt{x}+{{\mathbf {i}}}\frac{\omega }{2\sqrt{x}}}e^{-z^2}\mathrm {d}z\), \(A > 0\).
We consider the contour integral on the rectangle curve
By the analyticity of \(e^{-z^2}\), \(\int _{D_1} e^{-z^2}\mathrm {d}z=0\), whence
By making the changes of variable \(z={{\mathbf {i}}}t\) and \(z=A\sqrt{x}+{{\mathbf {i}}}t\) in the second and last terms on the right-hand side of (C.11), we obtain
It follows that
It remains to show that
and
To show (C.12), we employ (C.8) and the elementary bound \(e^{-t}<1/t\) for all \(t>0\) to construct the estimate
In turn, to show (C.13), note that, for all real t, \(\text{ daw }(t)\) as in (4.36) satisfies [35, Section 7.8]
Therefore,
This concludes the proof. \(\square \)
We finish this section by the establishing the following useful estimate on w(z). The result is employed in Sect. 4 in establishing the equipartition of energy condition.
Lemma C.4
Let w(z) be the Faddeeva function as in (4.33). For all \(z=r e^{{{\mathbf {i}}}\theta }\), \(-\pi /8<\theta <9\pi /8\) and sufficiently large r,
Remark C.5
The interval \((-\pi /8,9\pi /8)\) in Lemma C.4 can actually be any \((\theta _1,\theta _2)\) such that \(-\pi /4<\theta _1<\theta _2<5\pi /4\).
Proof of Lemma C.4
There are two situations to be considered, depending on the location of z in \({\mathbb {C}}\).
We first consider the case where \(\Im (z)\ge 0\). By writing \(z=u+{{\mathbf {i}}}v\), \(v\ge 0\), in view of (4.31), (4.32) and (4.33), we can reexpress w(z) as
We consider the contour integral on the triangle curve
Since \(\int _{D_2} e^{-z^2}\mathrm {d}z=0\), then
It follows that
Therefore,
So, the bound (C.15) holds provided we can show that
We first consider \(I_1(u,v)\). Note that there exists a positive \(c>0\) such that, for all \(|u|,\, v\ge 0\),
Hence, for all \(u\in {\mathbb {R}}\) and \(v\ge 0\),
implying
In regard to \(I_2(u,v)\), we invoke (C.14) to estimate
To bound \(vI_2(u,v)\), it suffices to consider \(v\ge 1\). Note that
By Second Mean Value Theorem, for each \(v\ge 1\), there exists \(0<u_*<|u|\) such that
Likewise,
Therefore, still for \(v\ge 1\),
The bounds (C.17), (C.18) and (C.19) imply (C.16). This establishes (C.15) for the case \(v = \Im (z)\ge 0\).
Alternatively, consider the case \(z=re^{{{\mathbf {i}}}\theta }\), \(\theta \in [-\pi /8,0]\cup [\pi ,9\pi /8]\). In particular, \(\Im (z) < 0\). By writing \(z=u-{{\mathbf {i}}}v\), \(v>0\), we note that
In other words, there exists \(\varepsilon \in (0,1)\) such that \(v\le \varepsilon |u|\). Note that w(z) satisfies the property [9, expression (3)]
Then, for \(v\ge 0\),
We invoke (C.15) for the first case \(\Im (z)\ge 0\) to see that for all \(|u|,\,v\ge 0\),
Also, since \(0\le v\le \varepsilon |u|\), \(\varepsilon \in (0,1)\), we infer the existence of a (possibly different) positive constant \(c>0\) such that
We finally combine the estimates (C.22) and (C.21) with (C.20) to establish the desired estimate (C.15) for the second case \(z=re^{{{\mathbf {i}}}\theta }\), \(\theta \in [-\pi /8,0]\cup [\pi ,9\pi /8]\). This concludes the proof. \(\square \)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Didier, G., Nguyen, H.D. The Generalized Langevin Equation in Harmonic Potentials: Anomalous Diffusion and Equipartition of Energy. Commun. Math. Phys. 393, 909–954 (2022). https://doi.org/10.1007/s00220-022-04378-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00220-022-04378-x