Abstract
We study the random conductance model on the lattice \({\mathbb {Z}}^d\), i.e. we consider a linear, finite-difference, divergence-form operator with random coefficients and the associated random walk under random conductances. We allow the conductances to be unbounded and degenerate elliptic, but they need to satisfy a strong moment condition and a quantified ergodicity assumption in form of a spectral gap estimate. As a main result we obtain in dimension \(d\ge 3\) quantitative central limit theorems for the random walk in form of a Berry–Esseen estimate with speed \(t^{-\frac{1}{5}+\varepsilon }\) for \(d\ge 4\) and \(t^{-\frac{1}{10}+\varepsilon }\) for \(d=3\). Additionally, in the uniformly elliptic case in low dimensions \(d=2,3\) we improve the rate in a quantitative Berry–Esseen theorem recently obtained by Mourrat. As a central analytic ingredient, for \(d\ge 3\) we establish near-optimal decay estimates on the semigroup associated with the environment process. These estimates also play a central role in quantitative stochastic homogenization and extend some recent results by Gloria, Otto and the second author to the degenerate elliptic case.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Stochastic homogenization of elliptic equations in divergence form with random coefficients started from the pioneering works of Kozlov [37] and Papanicolaou-Varadhan [49]. They established a qualitative homogenization result, which (adjusted to a discrete setting) can be rephrased as follows. The unique bounded solution \(u_\varepsilon \) to the elliptic finite difference equation
with \({\varvec{\omega }}\) describing stationary and ergodic, uniformly elliptic, random coefficients, and f an appropriate right-hand side, e.g. \(f\in C_c({\mathbb {R}}^d)\) with zero mean, converges after a rescaling to the solution \(u_0\) of the deterministic, elliptic equation
where \({\varvec{\omega }}_{\hom }\) denotes a deterministic coefficient matrix, the so-called homogenized coefficients. Quantitative stochastic homogenization is concerned with finding the rate of convergence of \(u_\varepsilon \) towards \(u_0\). The first result in this direction was obtained by Yurinskii [51] and relied on probabilistic arguments. Recently, Gloria and Otto in [29, 30] and together with the second author in [28] obtained the optimal scaling of the error for the discrete, uniformly elliptic case by combining input from elliptic and parabolic regularity theory with input from statistical mechanics, in particular a spectral gap inequality used to quantify ergodicity. Thereafter, an increasing interest emerged in quantitative stochastic homogenization, e.g. see [6,7,8,9,10, 12, 14, 15, 22, 25, 31, 32, 42].
Closely related to the topic of homogenization in PDE theory is the problem of deriving invariance principles or functional central limit theorems for the so-called random conductance model in probability theory, which refers to the random walk X in random environment generated by the operator in (1.1). Roughly speaking, an invariance principle states that the scaling limit of X converges to a Brownian motion with a non-random covariance matrix \(\Sigma ^2\) only depending on the law of the conductances, see Theorem 1.2 below. In particular, the covariance matrix of the limiting process and the homogenized coefficients are related by the identity \(\Sigma ^2=2{\varvec{\omega }}_{\hom }\). Such invariance principles are subject of very active research since more than a decade, see the surveys [16, 39] and references therein.
The goal of this paper is to extend the quantitative theories of stochastic homogenization and invariance principles to the case of non-uniformly elliptic conductances. In particular, we are interested in moment bounds and decay estimates for the so-called corrector problem of homogenization and a Berry–Esseen theorem. Regarding the latter, a first inspiring result in this direction has been obtained by Mourrat [43] for uniformly elliptic i.i.d. conductances. In the uniformly elliptic case, we improve this result (in terms of the convergence rate) in dimension \(d=2,3\), and we extend this result to degenerate and correlated environments in dimension \(d\ge 3\) with a weaker rate of convergence in dimension \(d=3\). Our analysis invokes input from the quantitative theory of stochastic homogenization as developed; in particular, we extend some key estimates obtained in [28] under the assumption of uniform ellipticity to degenerate elliptic operators under moment conditions.
1.1 The model
Let \(d\ge 2\). We study the nearest-neighbour random conductance model on the d-dimensional Euclidean lattice \(({\mathbb {Z}}^d, E_d)\), where \(E_d:=\{ e=\{x,x\pm e_i\}:\,x\in {\mathbb {Z}}^d,i=1,\ldots ,d\,\}\) denotes the set of non-oriented nearest neighbour edges and \(\{e_1, \ldots ,e_d\}\) the canonical basis in \({\mathbb {R}}^d\). We endow the graph with positive random weights, which we describe by a family \(\omega =\{\omega (e), \, e\in E_d\}\in \Omega :=(0,\infty )^{E_d}\). We refer to \(\omega (e)\) as the conductance of an edge \(e\in E_d\). To simplify notation, for any \(x,y \in {\mathbb {Z}}^d\), we set
and define the matrix field \({\varvec{\omega }}:{\mathbb {Z}}^d\rightarrow {\mathbb {R}}^{d\times d}\) by
Henceforth, we consider random conductances that are distributed according to a probability measure \({{\mathrm{\mathbb {P}}}}\) on \(\Omega \), equipped with the \(\sigma \)-algebra \({\mathcal {F}}\mathrel {\mathop :}=\mathcal {B}((0,\infty ))^{\otimes E_d}\). We write \({{\mathrm{\mathbb {E}}}}\) for the expectation operator with respect to \({{\mathrm{\mathbb {P}}}}\). The measure space \((\Omega , {\mathcal {F}})\) is naturally equipped with a group of space shifts\(\big \{\tau _x : x \in {\mathbb {Z}}^d\big \}\), which act on \(\Omega \) as
where the shift by x of an edge \(e=\{\underline{e},{\overline{e}}\}\in E_d\) is defined as \(e+x:=\{\underline{e}+x,{\overline{e}}+x\}\).
The random conductance model is defined as follows. For any fixed realisation \(\omega \) it is a reversible continuous time Markov chain, \(X = \{X_t: t \ge 0 \}\), on \({\mathbb {Z}}^d\) with generator \({\mathcal {L}}^{\omega }\) acting on bounded functions \(f: {\mathbb {Z}}^d \rightarrow {\mathbb {R}}\) as
With the help of the discrete gradient \(\nabla \) and its adjoint \(\nabla ^*\) (see Sect. 1.3 below), we can represent the generator in the compact form \({\mathcal {L}}^{\omega }=-\nabla ^*{\varvec{\omega }}\nabla \), which highlights the fact that \({\mathcal {L}}^{\omega }\) is a (finite difference) second order operator in divergence form. We denote by \({{\mathrm{\mathrm {P}}}}_x^\omega \) the law of the process starting at the vertex \(x \in {\mathbb {Z}}^d\) and by \({{\mathrm{\mathrm {E}}}}_x^\omega \) the corresponding expectation . This random walk waits at x an exponential time with mean \(1/ \mu ^\omega (x)\) with \(\mu ^\omega (x) \mathrel {\mathop :}=\sum _{y \in {\mathbb {Z}}^d} \omega (x,y)\) and chooses the vertex y for its next position with probability \(\omega (x,y) / \mu ^{\omega }(x)\). Since the law of the waiting times does depend on the location, X is also called the variable speed random walk (VSRW). A general assumption required in the context of invariance principles is stationarity and ergodicity of the environment.
Definition 1.1
(Stationarity and ergodicity) We say the measure \({{\mathrm{\mathbb {P}}}}\) is stationary with respect to translations of \({\mathbb {Z}}^d\), if \({{\mathrm{\mathbb {P}}}}\circ \, \tau _x^{-1} = {{\mathrm{\mathbb {P}}}}\,\) for all \(x \in {\mathbb {Z}}^d\). We say \({{\mathrm{\mathbb {P}}}}\) is ergodic, if \({{\mathrm{\mathbb {P}}}}[A] \in \{0,1\}\,\) for any \(A \in {\mathcal {F}}\) such that \(\tau _x(A) = A\,\) for all \(x \in {\mathbb {Z}}^d\).
First results in this context are annealed (or averaged) functional central limit theorems that yield the convergence of the rescaled random walk under the annealed measure \({{\mathrm{\mathbb {P}}}}_0\) defined by \({{\mathrm{\mathbb {P}}}}_0 [\cdot ] := \int _\Omega P_0^\omega [\cdot ] \, d{{\mathrm{\mathbb {P}}}}(\omega )\). This has been established in [19] (cf. also [36]) for general ergodic environments under the assumption of strict positivity and a first moment condition
It is of particular interest to understand the finer question whether an invariance principle also holds for \({{\mathrm{\mathbb {P}}}}\)-a.e. \(\omega \), that is in a quenched form. In [1] the quenched invariance principle has been shown for general i.i.d. conductances. However, in the case of a general ergodic environment, due to a trapping phenomenon, it is clear that some moment conditions (stronger than the one in (1.3)) are needed. Indeed, Barlow, Burdzy and Timar [11] give an example on \({\mathbb {Z}}^2\) which satisfies a weak moment condition, but not a quenched invariance principle. To formulate the moment condition used in our paper, we set for any \( p,q \in [1,\infty ]\),
Note that in the special case, when \(M(p,q)<\infty \) for \(p=q=\infty \), we obtain the uniformly elliptic case, i.e. \({{\mathrm{\mathbb {P}}}}[1/c \le \omega (e) \le c ] = 1\) for some \(c > 0\) and the generator \({\mathcal {L}}^\omega =-\nabla ^*{\varvec{\omega }}\nabla \) defines a uniformly elliptic discrete operator. Recently, the following quenched invariance principle has been proven for random walks under ergodic conductances.
Theorem 1.2
[2] Suppose that \({{\mathrm{\mathbb {P}}}}\) is stationary and ergodic, and that the moment condition \(M(p,q)<\infty \) holds for exponents \(p, q \in (1, \infty ]\) satisfying \(p^{-1} + q^{-1} < 2/d\). For \(n\in {\mathbb {N}}\), define \(X_t^{(n)} \mathrel {\mathop :}=\frac{1}{n} X_{n^2 t}\), \(t\ge 0\). Then, for \({{\mathrm{\mathbb {P}}}}\)-a.e. \(\omega \), \(X^{(n)}\) converges (under \({{\mathrm{\mathrm {P}}}}_{0}^\omega \)) in law towards a Brownian motion on \({\mathbb {R}}^d\) with a deterministic non-degenerate covariance matrix \(\Sigma ^2\).
For further invariance principles in the setting of random degenerate conductances we refer to [1, 16, 39] and references therein; for recent results on (qualitative) stochastic homogenization of elliptic operators in divergence form with degenerate coefficients, see [13, 23, 40, 48].
1.2 Main results
In this paper our main concern is to establish a quantitative central limit theorem for the random walk X. For definiteness, let \(\xi \in \mathbb {R}^d\) be fixed and set
where \(\Sigma ^2\) still denotes the covariance matrix in Theorem 1.2. Then, the invariance principle of Theorem 1.2 yields for \({\mathbb {P}}\)-a.e. \(\omega \),
where \(\Phi (x):=(2\pi )^{-1/2} \int _{-\infty }^x e^{-u^2/2} \, du\) denotes the distribution function of the standard normal distribution. Our goal is to quantify the speed of convergence in (1.5) for \(d\ge 3\) by means of a Berry–Esseen theorem. For a general ergodic environment the speed of convergence can be arbitrarily slow, since ergodic environments may have very weak mixing properties. Therefore it is necessary to quantify the assumption of ergodicity. For this purpose, following the approach of [28,29,30], we assume that \({{\mathrm{\mathbb {P}}}}\) satisfies a spectral gap estimate with respect to a Glauber dynamics on the field of conductances.
Assumption 1.3
(Spectral gap) Suppose \({{\mathrm{\mathbb {P}}}}\) is stationary, and assume that there exists \(\rho >0\) such that
for any \(u \in L^2(\Omega )\). Here, the vertical derivative\(\partial _e u\) is defined as
where \(\delta _e:E_{d}\rightarrow \{0,1\}\) stands for the Dirac function satisfying \(\delta _e(e)=1\) and \(\delta _e(e')=0\) if \(e'\not = e\).
Remark 1.4
-
(i)
There is a certain freedom in the choice of the derivative that appears on the right-hand side in (SG). In [28] the following vertical derivative is considered,
$$\begin{aligned} \partial _e u=u-{{\mathrm{\mathbb {E}}}}[u|{\mathcal {F}}_e], \end{aligned}$$(1.6)where \({{\mathrm{\mathbb {E}}}}[\cdot |{\mathcal {F}}_e]\) denotes the conditional expectation w.r.t. the \(\sigma \)-algebra \({\mathcal {F}}_e=\sigma (\omega (e'):\,e'\ne e)\). In this form the (SG) turns into an Efron-Stein inequality, which holds for any environment generated by i.i.d. random variables having second moments, see e.g. [27, Lemma 7]. All results in our paper extend to this version of (SG). Since (1.6) does not satisfy a Leibniz rule, using (1.6) instead of the classical partial derivative appearing in (SG) leads to not very enlightening technicalities in various calculations.
-
(ii)
Any stationary environment satisfying Assumption 1.3 is ergodic, see [27, Corollary 6]. In a sense Assumption 1.3 can be interpreted as a quantified version of ergodicity as it implies an optimal variance decay for the semigroup associated with the “process of the environment as seen from the particle” induced by the simple random walk on \({\mathbb {Z}}^d\), cf. [27, Proposition 1 and Remark 5].
-
(iii)
Under Assumption 1.3 we have the following p-version of the spectral gap estimate. For \(p\ge 1\) and any \(u \in L^{2p}(\Omega )\) with \({{\mathrm{\mathbb {E}}}}[u]=0\),
$$\begin{aligned} {{\mathrm{\mathbb {E}}}}\big [u^{2p}\big ] \le c(p,\rho )&{{\mathrm{\mathbb {E}}}}\bigg [ \Big ( \sum _{e\in E_d} \big ( \partial _e u \big )^2 \Big )^{ p} \bigg ], \end{aligned}$$(1.7)which basically follows by applying (SG) to the function \(|u|^{p}\), see [28, Lemma 11].
In addition to Assumption 1.3 we need to assume stronger moment conditions than in Theorem 1.2. We do not keep track of the precise lower bounds for p and q in the moment condition \(M(p,q)<\infty \) that we require in our analysis, since our approach is not optimal in that direction. Recall that in view of the counterexample in [11] a moment condition is necessary already for the (non-quantitative) invariance principle to hold.
Our first result is an annealed Berry–Esseen theorem in dimension \(d\ge 3\) with speed \(t^{-\frac{1}{5} +\varepsilon }\) for \(d\ge 4\) and \(t^{-\frac{1}{10}+\varepsilon }\) for \(d=3\), as well as a quenched Berry–Esseen theorem with the same speed but in an integrated form.
Theorem 1.5
(Berry–Esseen theorem) Let \(d \ge 3\) and suppose that Assumption 1.3 holds. For any \(\varepsilon >0\) there exist exponents \(p,q\in (1,\infty )\) (only depending on d, \(\rho \), and \(\varepsilon \)) such that under the moment condition \(M(p,q)<\infty \) the following hold.
-
(i)
There exists a constant \(c=c(d,\rho , \varepsilon , M(p,q))\) such that for all \(t\ge 0\),
$$\begin{aligned} \sup _{x \in {\mathbb {R}}} \left| {{\mathrm{\mathbb {P}}}}_0\big [\xi \cdot X_t \le \sigma _\xi x \sqrt{t} \ \big ] - \Phi (x)\right| \; \le \; {\left\{ \begin{array}{ll} \; c \, t^{- \frac{1}{10} + \varepsilon } &{} \text {if }d=3, \\ \; c \, t^{-\frac{1}{5} + \varepsilon } &{} \text {if }d\ge 4. \end{array}\right. } \end{aligned}$$ -
(ii)
There exists a random variable \({\mathcal {X}}={\mathcal {X}}(d,\rho ,\varepsilon , M(p,q))\in L^1({{\mathrm{\mathbb {P}}}})\) such that for \({{\mathrm{\mathbb {P}}}}\)-a.e. \(\omega \),
$$\begin{aligned}&\int _0^\infty \left( \sup _{x \in {\mathbb {R}}} \left| P_0^\omega \big [\xi \cdot X_t \le \sigma _\xi x \sqrt{t} \ \big ] - \Phi (x)\right| \right) ^{ 5} \, (t+1)^{-\frac{1}{2}-\varepsilon }\, dt \; \\&\quad \le \; {\mathcal {X}}(\omega ) \, < \; \infty \qquad \text {if }d=3, \end{aligned}$$and
$$\begin{aligned}&\int _0^\infty \Big ( \sup _{x \in {\mathbb {R}}} \left| P_0^\omega \big [\xi \cdot X_t \le \sigma _\xi x \sqrt{t} \ \big ] - \Phi (x)\right| \Big )^{ 5} \, (t+1)^{-\varepsilon }\, dt \; \\&\quad \le \; {\mathcal {X}}(\omega ) \, < \; \infty \qquad \text {if }d\ge 4. \end{aligned}$$
In the case of uniformly elliptic i.i.d. conductances an annealed Berry–Esseen theorem as in (i) has been proven in [43] for arbitrary dimension \(d\ge 1\) with rate \(t^{-1/10}\) (plus logarithmic corrections) for \(d=2\), and rate \(t^{-1/5}\) for \(d\ge 3\) (with some logarithmic corrections for \(d=3\)). Theorem 1.5 extends this result to unbounded and correlated random conductances. In Sect. 7 below we discuss some relevant examples linked to Ginzburg-Landau interface models that naturally yield correlated conductances. To our knowledge (ii) is the first quenched Berry–Esseen-type result for the random conductance model.
Let us anticipate that the general strategy of our proof is the same as the one in [43]. However, there is a genuine difference between the uniformly elliptic case treated there and the degenerate elliptic case considered here. In the uniformly elliptic case in [43] the comparability (on the level resolvents) of the simple random walk and the random walk in the random environment is exploited (see [43, Proof of Theorem 5.1]), which comes in hand in studying the variance decay of the associated semigroup. In our case, no such principle is available. Instead, following ideas in [28], we first establish a semigroup estimate that invokes the gradient of the heat kernel associated with the degenerate elliptic operator \(\nabla ^*{\varvec{\omega }}\nabla \). Another difference to [43] is that we introduce a representation in divergence form for the carré du champ applied to harmonic coordinates. It invokes the so called extended corrector \((\phi _i,\sigma _i)\), which has been recently introduced in the random case in [25]. Our refined argument allows to improve the rates obtained in [43] in the uniformly elliptic case in low dimensions \(d=2,3\):
Theorem 1.6
(Improved Berry–Esseen theorem in the uniformly elliptic case) Let \(d \ge 2\). Suppose that Assumption 1.3 and uniform ellipticity hold, i.e. \(M(p,q)<\infty \) for \(p=q=\infty \). Then there exists a constant \(c=c(d,\rho ,M(\infty ,\infty ))\) such that for all \(t\ge 0\),
The above result can be obtained by modifying the proof of Theorem 1.5 and is based on recent estimates that are known to hold in the uniformly elliptic case. We describe the modifications in Appendix A for the reader’s convenience.
The proof of Theorem 1.5 is given in Sect. 6 below. In the following we explain the general strategy. The most classical approach to show an invariance principle is to decompose the process X into a martingale part and a remainder (cf. e.g. [36]). It turns out that for the invariance principle the remainder is negligible, and thus the scaling limit of X is the same as the one for the martingale part. The latter can be analysed by martingale theory as for instance the well-established Lindeberg-Feller functional central limit theorem or Helland’s martingale convergence theorem (see [34]). In the proof of Theorem 1.5 we follow the same strategy. Yet, since we seek for an estimate on the rate of convergence, at various places we need to replace qualitative arguments by estimates. A key result in this procedure is the following decay estimate for the semigroup \((P_t)_{t\ge 0}\) defined by
where \(p^{\omega }(t,x,y) \mathrel {\mathop :}={{\mathrm{\mathrm {P}}}}_{x}^{\omega }[X_t = y]\) denotes the transition densities or heat kernel associated with \({\mathcal {L}}^\omega \). Throughout the paper we will often write \(p(t,y)\mathrel {\mathop :}=p^\omega (t,0,y)\) in short and use the fact that \( p^{\tau _z \omega }(t, x, y) \;=\; p^{\omega }(t, x+z, y+z)\) due to the definition of the space shifts. The semigroup \((P_t)_{t\ge 0}\) can be interpreted as the transition semigroup of the process \((\tau _{X_t}\omega )_{t\ge 0}\), which is known as the process of the environment as seen from the particle. It is a contraction and generated by the (degenerate) elliptic operator \(-D^*{\varvec{\omega }}(0) D\), where D and \(D^*\) denote the horizontal derivative and its adjoint (see Sect. 1.3 for the precise definition). Our key estimate is the following.
Theorem 1.7
(Semigroup decay) Let \(d\ge 3\) and suppose that Assumption 1.3 holds. Let \(\varepsilon \in (0,1)\) and \(n\ge \frac{d}{2\varepsilon }\). Then there exist \(p, q \in (1,\infty )\) (only depending on \(d,\varepsilon ,n\)) such that under the moment condition \(M(p,q)<\infty \) the following holds. For any \(F\in L^{8n}(\Omega ,{\mathbb {R}}^d)\) and all \(t\ge 0\) we have
where \(c=c(d,\rho ,n,\varepsilon ,M(p,q))\).
Remark 1.8
(Comparison to the uniformly elliptic case) For uniformly elliptic conductances, in [28], Gloria, Otto and the second author established the decay estimate
and deduced various estimates in stochastic homogenization based on this decay estimate. The estimate (1.9) is optimal in terms of the scaling in t and in terms of the exponent of the norm on the right-hand side. In the degenerate elliptic case, we do not expect to get the same scaling. However, under sufficiently strong moment conditions, our estimate shows that we can get arbitrarily close to the scaling of the uniformly elliptic case. The argument in [28] crucially relies on a deterministic parabolic regularity estimate for \(\nabla p^\omega \) with optimal scaling in t. In the degenerate elliptic case this estimate is not valid. We replace it by a non-deterministic estimate on \(\nabla p^\omega \) with near-optimal scaling, see Proposition 2.1 below, which we combine with an interpolation argument that exploits the contraction property of the semigroup. The latter is the reason for the exponent 8n in our estimate.
Remark 1.9
Recently, a similar estimate has been obtained in [24] for conductances uniformly bounded from above satisfying a moment condition on \(\omega (e)^{-1}\). The proofs of both Theorem 1.7 and the results in [24] follow the strategy in [28]. However, in [24] the required on-diagonal estimate on the heat kernel is derived from the anchored Nash inequality established in [45], which makes a uniform upper ellipticity necessary, while in our setting the analogue heat kernel bound in Lemma 2.5 can be deduced from the upper off-diagonal heat kernel estimates in [4, 5]. For the opposite case, i.e. conductances bounded from below having quadratic moments, we refer to [18], where the simpler situation \(P_tf\) (instead of \(P_tD^*F\)) is studied.
We will use Theorem 1.7 to quantify the convergence of the martingale part in the decomposition of the process X mentioned above, which relies on harmonic coordinates\(\Psi : \Omega \times {\mathbb {Z}}^d \rightarrow {\mathbb {R}}^d\) defined as
where \(\phi _i\) denotes the corrector from stochastic homogenization defined in Proposition 1.10 below. Roughly speaking, \(\phi _i\) is a sublinearly growing solution to the equation \(\nabla ^*\omega (\nabla \phi _i+e_i)\). The corrector \(\phi _i\) is a fundamental object in the qualitative and quantitative theory of stochastic homogenization, see e.g. the seminal work by Papanicolaou-Varadhan [49] or [28] for quantitative results. In particular, the covariance matrix \(\Sigma ^2\) of the limiting process in Theorem 1.2 may be represented in terms of \(\phi _i\) or \(\psi _i\), respectively, as
see [2, Proposition 2.5]. It is well-known that for \({{\mathrm{\mathbb {P}}}}\)-a.e. \(\omega \),
-
(i)
the process \(M=\Psi (\omega ,X)\) is a martingale (see Corollary 6.2 below) and thus features an invariance principle;
-
(ii)
the remainder \(X-M\) vanishes in the scaling limit due to the sublinear growth of the corrector.
For our purpose we need to quantify both the speed of convergence in (i) and the smallness of the remainder in (ii). For this reason we establish the existence of high moments of the corrector \(\phi _i\) (and an additional flux corrector \(\sigma _i\), which we explain below). In the following we say that a random variable u is stationary, if \(u(\omega ,x+y)=u(\tau _y\omega ,x)\) for all \(x,y\in {\mathbb {Z}}^d\) and \({{\mathrm{\mathbb {P}}}}\)-a.e. \(\omega \in \Omega \).
Proposition 1.10
(Extended correctors and moment bounds) Let \(d\ge 3\) and suppose that Assumption 1.3 is satisfied. Then there exist \(p,q\in (1,\infty )\) (only depending on d and, if applicable, on the upcoming parameters n, \(\theta \), \(p_\theta \)) such that under the moment condition \(M(p,q)<\infty \) the following hold for \(i=1,\ldots ,d\).
-
(a)
(Existence of a non-stationary extended corrector). There exist a (unique) random scalar field \(\phi _i:\Omega \times {\mathbb {Z}}^d\rightarrow {\mathbb {R}}\) and a (unique) random matrix field \(\sigma _{i}:\Omega \times {\mathbb {Z}}^d\rightarrow {\mathbb {R}}^{d\times d}\) with the following properties.
-
(a.1)
For \({{\mathrm{\mathbb {P}}}}\)-a.e. \(\omega \) we have
$$\begin{aligned} \nabla ^*\omega \, \big (\nabla \phi _i+e_i\big )&=0\qquad \text {on }{\mathbb {Z}}^d, \end{aligned}$$(1.12a)$$\begin{aligned} \nabla ^*\sigma _i&=q_i \qquad \text {on }{\mathbb {Z}}^d, \end{aligned}$$(1.12b)$$\begin{aligned} \nabla ^*\nabla \sigma _{i}&=Sq_i \quad \text {on }{\mathbb {Z}}^d, \end{aligned}$$(1.12c)where \(q_i:\Omega \times {\mathbb {Z}}^d\rightarrow {\mathbb {R}}^d\) and \(Sq_i:\Omega \times {\mathbb {Z}}^d\rightarrow {\mathbb {R}}^{d\times d}\) are defined by
$$\begin{aligned} q_i&:=\;{\varvec{\omega }}\, \big (\nabla \phi _i+e_i\big )-{\varvec{\omega }}_{\hom }e_i,\\ Sq_i&:=\;(Sq_i)_{k\ell }=\nabla _k q_{i\ell }-\nabla _\ell q_{ik}, \end{aligned}$$and \({\varvec{\omega }}_{\hom }\in {\mathbb {R}}^{d\times d}\) denotes the homogenized coefficient matrix characterised by
$$\begin{aligned} {\varvec{\omega }}_{\hom }e_i\;=\; {{\mathrm{\mathbb {E}}}}\left[ \omega \, \big (\nabla \phi _i+e_i\big )\right] ,\qquad i=1,\ldots ,d. \end{aligned}$$(1.13)(Above, the divergence \(\nabla ^*\sigma _i\) is defined as the vector with entries \((\nabla ^*\sigma _i)_k=\sum _{\ell =1}^d\nabla ^*_\ell \sigma _{ik\ell }\)).
-
(a.2)
\({{\mathrm{\mathbb {P}}}}\)-a.s. the fields satisfy \(\phi _i(0)=0\), \(\sigma _i(0)=0\), and \(\sigma \) is skew-symmetric, i.e. \(\sigma _{i\alpha \beta }=-\sigma _{i\beta \alpha }\).
-
(a.3)
The gradient fields \(\nabla \phi _i\) and \(\nabla \sigma _{i}\) are stationary, have finite 2nd moments, and vanishing expectation, i.e.
$$\begin{aligned} {{\mathrm{\mathbb {E}}}}\big [\nabla \phi _i\big ]\;=\;0, \qquad {{\mathrm{\mathbb {E}}}}\big [\nabla \sigma _{i}\big ]\;=\;0, \qquad {{\mathrm{\mathbb {E}}}}\Big [\big |\nabla \phi _i\big |^{2}+ \big |\nabla \sigma _{i}\big |^{2}\Big ] \; \le \; c, \end{aligned}$$for some \(c=c(d,\rho ,M(p,q))\).
-
(a.1)
-
(b)
(Moment bound and stationary representation for \(\phi _i\)). Let \(n\in {\mathbb {N}}\). Then there exists a random variable \(\phi ^0_i\) with \({{\mathrm{\mathbb {E}}}}[\phi ^0_i]=0\) and
$$\begin{aligned} {{\mathrm{\mathbb {E}}}}\Big [ \big |\phi ^0_i\big |^{2n}+\big |D\phi ^0_i\big |^{2n}\Big ]^{\frac{1}{2n}} \; \le \; c, \end{aligned}$$(1.14)for some \(c=(d,\rho ,n,M(p,q))\) and we have the stationary representation
$$\begin{aligned} \phi _i(\omega ,x)=\phi _i^0(\tau _x\omega )-\phi _i^0(\omega ). \end{aligned}$$ -
(c)
(Sublinear growth of \(\sigma \)). Let \(\theta \) satisfy
$$\begin{aligned} \begin{array}{ll} \theta>\frac{1}{2} &{} \text{ if } d=3,\\ \theta >0&{} \text{ if } d=4,\\ \theta =0&{} \text{ if } d\ge 5. \end{array} \end{aligned}$$Then there exists \(p_\theta >2\) such that
$$\begin{aligned} {{\mathrm{\mathbb {E}}}}\Big [\big |\sigma _i(x)\big |^{p_\theta }\Big ]^{\frac{1}{p_\theta }}\; \le \; c \, (|x|+1)^\theta , \end{aligned}$$(1.15)for some \(c=c(d,\rho ,\theta ,p_\theta ,M(p,q))\).
While the sublinearity of the corrector can be established for general ergodic environments satisfying the relatively weak assumptions in Theorem 1.2 (cf. [2]), the existence of high moments of \(\phi _i\) and \(\nabla \phi _i\) as in Proposition 1.10 only holds true under sufficiently strong mixing assumptions. In dimension \(d=2\), even in the case of uniformly elliptic, i.i.d. conductances, the stationary version of the corrector does not exist. On the other hand, for \(d\ge 3\), in the uniformly elliptic case and under sufficiently strong mixing assumptions, the stationary representations of \(\phi _i\)and\(\sigma _i\) exist and satisfy (high) moment bounds. This has been first achieved on the level of \(\phi _i\) in [29] (see also [28] where bounds are obtained via a decay estimate similar to Theorem 1.7, and see [15] for moment bounds on \(\sigma _i\) and \(\nabla \sigma _i\)). To our knowledge Proposition 1.10 is the first result on moment bounds in the degenerate elliptic setting. The dependence on the growth exponent on the dimension in statement (c) is non-optimal. In fact, we expect the statements to hold for \(d\ge 3\) (with \(\theta =0\) and arbitrary \(p_\theta <\infty \)) as in the uniformly elliptic case; see Remark 2.4.
Using the moments of \(\phi _i\) and ergodicity we obtain a sufficiently good control on the remainder, see Proposition 6.8 below. In order to quantify the convergence of the martingale part in (i), we use a Berry–Esseen estimate for martingales in [33] (see Theorem 6.4 below). It requires to quantify the speed of convergence of \(E_0^\omega \Big [\Big | \frac{\langle \xi \cdot M \rangle _t}{t} -\sigma _\xi ^2 \Big |^2 \Big ]\) towards zero, where \(\langle \xi \cdot M \rangle \) denotes the quadratic variation process of the martingale \(\xi \cdot M\). For that purpose we establish the following result which also exploits the moment bounds on \((\phi _i,\sigma _i)\) obtained in Proposition 1.10.
Proposition 1.11
Let \(d\ge 3\), \(\varepsilon >0\), and suppose Assumptions 1.3 is satisfied. Then there exist \(p, q \in (1,\infty )\) (only depending on d and \(\varepsilon \)) such that under the moment condition \(M(p,q)<\infty \) the following holds. For any direction \(\xi \in {\mathbb {R}}^d\) with \(|\xi |=1\), we denote by \(\phi _\xi \) the corrector associated with \(\xi \), i.e. \(\phi _\xi =\sum _{i=1}^d\xi _i\phi _i\) with \(\phi _i\) as in Proposition 1.10, and by
the associated harmonic coordinate. Consider
where \(\Gamma ^\omega \) denotes the opérateur carré du champ associated with \(\mathcal {L}^\omega \), i.e.
Then there exists a constant \(c=c(d,\rho , \theta , M(p,q))\) such that
In the proof of the proposition we make use of the field \(\sigma _i\) defined in Proposition 1.10, which allows us to represent the quadratic variation of M in divergence form, see Lemma 5.1 below. Similarly as \(\phi _i\), the field \(\sigma _i\) is a classical object in periodic homogenization. Yet, in the stochastic case it has been utilised just recently, see e.g. [15, 25].
Remark 1.12
The exponent 1 / 5 in Theorem 1.5 is non-optimal. However, the decay rates in Theorem 1.7 and Proposition 1.11 (for \(d\ge 4\)) are optimal apart from the \(\varepsilon \) which appears due to the degeneracy of the environment. The exponent 1 / 5 then arises by the application of the general Berry–Esseen theorem for martingales (see Theorem 6.4 below with the choice \(n=2\)). In \(d\ge 3\) it can be deduced from the moments bounds on the corrector in Proposition 1.10 that the jumps of the martingale part are in \(L^n(P_0^\omega )\) for any \(n\in {\mathbb {N}}\) (cf. Proposition 6.7 below). In such a situation the results in [44] show that the decay \(E_0^\omega \Big [\Big | \frac{\langle \xi \cdot M \rangle _t}{t} -\sigma _\xi ^2 \Big |^2 \Big ]^{1/5}\) is optimal (for the choice \(n=2\) in Theorem 6.4). Thus, a possibility to improve the exponent 1 / 5 (within the above approach) is to apply the Berry–Esseen theorem for martingales in Theorem 6.4 for larger values of n which would require control on higher moments of \(\big | \frac{\langle \xi \cdot M \rangle _t}{t} -\sigma _\xi ^2 \big |\) (cf. the discussion in [43, p. 6]). An alternative PDE-approach towards an optimal result would be to estimate the difference between the heterogeneous and homogenized parabolic Green’s function. Very recently, Armstrong et al. [7, Theorem 9.11] obtained such an estimate for the equation on \({\mathbb {R}}^d\) in the case of uniformly elliptic coefficients and under a finite range of dependence assumption. The estimate suggests that the exponent in Theorem 1.5 (in the uniformly elliptic, i.i.d. case) can be improved to 1 / 2 (up to a logarithmic correction for \(d=2\)). The rate 1 / 2 is the best one can hope for, since it is the convergence rate for the simple random walk. The argument in [7] relies on a large scale regularity theory for elliptic operators, which is not established in the degenerate case yet. For general non-uniformly elliptic and (possibly strongly) correlated coefficients, we expect the optimal rate of convergence to depend on the parameters p and q as well as on the mixing behaviour of the environment. We remark that the qualitative statement in form of a quenched invariance principle holds for general i.i.d. conductances (cf. [1]) and is conjectured to hold for ergodic conductances under the moment condition \(M(1,1)<\infty \), which is known to be necessary in the case of general ergodic environments (cf. [11]).
1.3 Notation
We finally introduce some further notation used in the paper. We write c to denote a positive, finite constant which may change on each appearance. Random constants depending on \(\omega \in \Omega \) will be denoted by calligraphic letters such as \({\mathcal {X}}\), \({\mathcal {Y}}\) etc. Further, \(\lesssim \) means \(\le \) up to a constant depending only on some quantities specified in the particular context.
The cardinality of a set \(A \subset {\mathbb {Z}}^d\) will be denoted by \(\# A\). For \(x=(x_1,\ldots , x_d)\in {\mathbb {R}}^d\) let \(|x|=\sum _{i=1}^d |x_i|\). We denote by \(B(R):=\{x\in {\mathbb {Z}}^d:|x|<R\}\) the ball with radius \(R>0\) in \({\mathbb {Z}}^d\). We denote by \(\ell ^r({\mathbb {Z}}^d)\) and \(\ell ^r(E_d)\)\((r\ge 1)\) the usual \(\ell ^r\) spaces for functions on \({\mathbb {Z}}^d\) and \(E_d\), respectively. For any edge \(e\in E_d\) we denote by \(\underline{e},{\overline{e}}\in {\mathbb {Z}}^d\) the unique vertices such that \(e=\{\underline{e},{\overline{e}}\}\) and \({\overline{e}}-\underline{e}\in \{e_1,\ldots ,e_d\}\). For \(f:{\mathbb {Z}}^d\rightarrow {\mathbb {R}}\) and \(e\in E_d\) we define the discrete derivative
and note that for \(f,g:{\mathbb {Z}}^d\rightarrow {\mathbb {R}}\), the discrete product rule takes the form
We define the discrete divergence of a function \(F:E_d\rightarrow {\mathbb {R}}\) by
Since for all \(f\in \ell ^2({\mathbb {Z}}^d)\) and \(F \in \ell ^2(E_d)\) we have
\(\nabla ^*\) can be seen as the adjoint of \(\nabla \). Note that the generator \({\mathcal {L}}^\omega \) defined in (1.2) above is a finite-difference operator in divergence form as it can be rewritten as
We tacitly identify scalar functions defined on \(E_d\) with vector-valued functions on \({\mathbb {Z}}^d\). In particular, given \(F:E_d\rightarrow {\mathbb {R}}\) we write \(F(x)\mathrel {\mathop :}=\big ( F(\{x,x+e_1\}), \ldots ,F(\{x,x+e_d\})\); and given \(f:{\mathbb {Z}}^d\rightarrow {\mathbb {R}}\) we write \(\nabla f(x):=(\nabla _1 f(x),\ldots ,\nabla _d f(x))\) with \(\nabla _i f(x) \mathrel {\mathop :}=f(x+e_i)-f(x)\). Likewise, for \(f:\mathbb Z^d\times \mathbb Z^d\rightarrow \mathbb R\) we define the second mixed discrete derivatives as
and denote by \(\nabla \nabla f(x,y)=(\nabla _i\nabla _j f(x,y))_{i,j=1,\ldots d}\) the matrix valued function with entries \(\nabla _i\nabla _j f(x,y):=\nabla \nabla f(\{x,x+e_i\},\{y,y+e_j\})\). Further, we will also use the abbreviation
With any random variable \(\zeta : \Omega \rightarrow {\mathbb {R}}\) we associate its \({{\mathrm{\mathbb {P}}}}\)-stationary extension\({\bar{\zeta }}: \Omega \times {\mathbb {Z}}^d \rightarrow {\mathbb {R}}\) via \( {\bar{\zeta }}(\omega ,x) \mathrel {\mathop :}=\zeta (\tau _x \omega )\). Conversely, we say that a random field \({\tilde{\zeta }}: \Omega \times {\mathbb {Z}}^d \rightarrow {\mathbb {R}}\) is \({{\mathrm{\mathbb {P}}}}\)-stationary if there exists a random variable \(\zeta \) with \({\tilde{\zeta }}={\bar{\zeta }}\)\({{\mathrm{\mathbb {P}}}}\)-a.s. For a random variable \(\zeta : \Omega \rightarrow {\mathbb {R}}\) we define the horizontal derivative\(D\zeta \) via
Its adjoint in \(L^2(\Omega )\) denoted by \(D^*:L^2(\Omega )^d \rightarrow L^2(\Omega )\) is defined by
Note that we have \(\overline{(D^*{\varvec{\omega }}(0)D u)}(\omega ,x)=\nabla ^*\omega (x)\nabla {\overline{u}}(\omega ,x)\).
1.4 Structure of the paper
In Sect. 2 we establish the estimates on the gradient of the heat kernel and the Green’s function needed in the proofs. Then Sect. 3 is devoted to the proof of the semigroup decay stated in Theorem 1.7 and Sect. 4 to the construction and the moment bounds of the extended corrector. The variance decay for the semigroup applied to the carré du champ operator in Proposition 1.11 is shown in Sect. 5. Then, the Berry–Esseen estimates in Theorem 1.5 are proven in Sect. 6. Finally, some relevant examples satisfying our assumptions are discussed in Sect. 7.
2 Gradient heat kernel and annealed Green’s function estimates
In this section we establish regularity estimates for averages of the gradient of the heat-kernel and the mixed second gradient of the elliptic Green’s function, which we require for the proofs in Sect. 3. We consider both annealed estimates, where the average is taken w.r.t. the probability measure \({{\mathrm{\mathbb {P}}}}\), and spatially averaged estimates in weighted \(\ell ^2\)-spaces with weight \(m^{2\alpha }\) where
In the case of uniformly elliptic and bounded conductances the upcoming estimates are well-known. The estimates that we obtain in the degenerate case are weaker in two ways.
-
We only obtain near optimal estimates, in the sense that the decay rate deviates from the optimal decay rate in the uniformly elliptic case by a small parameter \(\varepsilon >0\).
-
The estimates are random, in the sense that they hold up to a random constant, whose integrability is monitored by an exponent \(n\ge 1\).
-
The parameters \(\varepsilon \) and n can be chosen arbitrarily close 0 and \(\infty \), respectively, provided we impose sufficiently strong moment conditions on the conductances.
Throughout this section we assume \(d\ge 2\). We start with the following (spatially averaged) decay estimate for the gradient of the heat-kernel, which is a key ingredient for the proof of Theorem 1.7.
Proposition 2.1
Suppose that Assumption 1.3 holds. For any \(\varepsilon \in (0,1)\), \(n\ge 1\) and \(\alpha \ge 0\) there exist \(p, q \in (1,\infty )\) (only depending on \(d,\varepsilon ,n, \alpha \)) such that under the moment condition \(M(p,q)<\infty \) the following holds. There exists a family of random variables \(({\mathcal {Z}}_t)_{t\ge 0}\) with \(\sup _{t\ge 0}{{\mathrm{\mathbb {E}}}}[|{\mathcal {Z}}_t|^{n}]\le c\) for some \(c=(d,\rho ,\varepsilon ,n,\alpha , M(p,q))\) such that \({{\mathrm{\mathbb {P}}}}\)-a.s.
In the uniformly elliptic case, in particular in the special case of \(\nabla ^*{\varvec{\omega }}\nabla =\nabla ^*\nabla \), the estimate holds with \(\varepsilon =0\) (which corresponds to the optimal decay in time), and with \(\sup _{t\ge 0}{\mathcal {Z}}_t\) bounded by a deterministic constant, see e.g. [28, Theorem 3]. In the present situation the degeneracy of the conductances leads to a loss in the decay. As we will explain in Sect. 2.1.1, our proof of the estimate relies on an on-diagonal upper heat kernel bound. The result is then obtained by parabolic regularity arguments following [28].
From Proposition 2.1 we deduce a couple of annealed estimates.
Corollary 2.2
(Suboptimal annealed heat kernel estimate) Suppose that Assumption 1.3 is satisfied. For any \(\varepsilon \in (0,1)\), \(n\ge 1\), and \(\alpha \ge 0\), there exist \(p, q \in (1,\infty )\) (only depending on \(d,\varepsilon ,n,\alpha \)) such that under the moment condition \(M(p,q)<\infty \) the following holds. There exists \(c=c(d,\rho ,\varepsilon ,\alpha ,M(p,q))\) such that for all \(x\in {\mathbb {Z}}^d\) and all \(t\ge 0\),
The proofs of Corollaries 2.2 and the 2.3 below are presented in Sect. 2.2. Next we establish an annealed estimate on the gradient and the mixed second derivative of the elliptic Green’s function, which for \({{\mathrm{\mathbb {P}}}}\)-a.e. \(\omega \) and all \(x,y\in {\mathbb {Z}}^d\) can be defined by the integral
Corollary 2.3
(Suboptimal annealed Green’s function estimate) Suppose that Assumption 1.3 holds and let \(\varepsilon \in (0,1)\) and \(n\ge 1\). There exist \(p, q \in (1,\infty )\) (only depending on \(d,\varepsilon ,n\)) such that under the moment condition \(M(p,q)<\infty \) we have for all \(x\in {\mathbb {Z}}^d\),
with \(c=(d,\rho ,\varepsilon ,m,M(p,q))\).
The decay exponent in Corollary 2.3 is not optimal. For \(n=1\) we miss the optimal decay by \(\varepsilon \), and for large n by the additional exponent \(\frac{n-1}{n}\) and \(2\frac{n-1}{n}\), respectively. As shown recently in [41] in the uniformly elliptic case and under the assumption that \({\mathbb {P}}\) satisfies a logarithmic Sobolev inequality, the estimate holds for any \(n\in {\mathbb {N}}\) with the optimal decay exponent \(d-1\) and d, respectively. The argument in [41] lifts the estimate for \(n=1\) to higher moments by using the logarithmic Sobolev inequality and a deterministic regularity estimate, which is not available in our degenerate setting. Our (simple, yet suboptimal) argument is as follows. For \(n=1\) the estimate follows from Proposition 2.1 exploiting stationarity. For \(n\gg 1\) we obtain it by interpolating with a suboptimal estimate on high moments of \(\nabla p\), that follows from Proposition 2.1 as well.
Remark 2.4
The non-optimality of the above estimate is the limiting factor that hinders us to improve the decay exponent in our main result, Theorem 1.5, in dimension \(d=3\). This becomes visible in the sublinear growth estimate for \(\sigma \), see (1.15). In the proof of this estimate we exploit that thanks to Corollary 2.3 we have
for exponents \(0<n-2\ll 1\) and \(s>\frac{d}{d-1}\). With the optimal estimate for \(\nabla \nabla G\) at hand, the above estimate would hold for any \(s>1\), and we would obtain (1.15) with \(\theta =0\) for any \(d\ge 3\). Eventually, this would improve the decay rate in Theorem 1.5 for \(d=3\) to \(\frac{1}{5}-\varepsilon \).
2.1 Gradient heat kernel estimate: proof of Proposition 2.1
In this section we prove Proposition 2.1. The starting point of the argument is an on-diagonal upper heat kernel bound.
Lemma 2.5
(On-diagonal heat kernel estimate) Suppose that Assumption 1.3 holds. For any \(n\in {\mathbb {N}}\) there exist \(p, q \in (1,\infty )\) (only depending on d, n) such that under the moment condition \(M(p,q)<\infty \) the following holds. There exists a random variable \({\mathcal {Y}}\ge 1\) with \({{\mathrm{\mathbb {E}}}}\big [|{\mathcal {Y}}|^n \big ]\le c\) for some \(c=c(d,\rho ,n,M(p,q))\) such that \({{\mathrm{\mathbb {P}}}}\)-a.s. for all \(t\ge 0\),
For the proof see Sect. 2.1.1 below. Next, we introduce the stationary weights
and write \(\mu \mathrel {\mathop :}=\mu ^\omega (0)\) and \(\nu \mathrel {\mathop :}=\nu ^\omega (0)\) for abbreviation. Henceforth the random varable \(\mathcal {Y}\) in (2.3) is fixed as defined in the proof of Lemma 2.5 below. In addition to \({\mathcal {Y}}\), further random variables will appear in the estimates below. In this subsection, to keep the presentation lean, we say \({\mathcal {X}}\) denotes a random variable of class \({\mathcal {X}}(c_1,c_2,\ldots ,c_n)\) (in short \({\mathcal {X}}={\mathcal {X}}(c_1,c_2,\ldots ,c_n)\)), if it can be written in the form
with exponents \(p_1,p_2\ge 1\) and a constant \(c_0\ge 1\) that can be chosen only depending on the parameters \(c_1,\ldots ,c_n\). Evidently, the class is stable under taking products, sums and powers of such random variables. Moreover, finite moments of such a random variable are bounded, provided \({{\mathrm{\mathbb {E}}}}[\mu ^p]<\infty \) for p sufficiently large.
Following [28], we lift the on-diagonal estimate of Lemma 2.5 to a weighted \(\ell ^2\)-estimate for p and \(\nabla p\).
Lemma 2.6
Suppose that (2.3) holds. Let \(\alpha \ge \frac{d}{2}+1\) and \(\varepsilon >0\). Then there exists a random variable \({\mathcal {X}}={\mathcal {X}}(d,\alpha ,\varepsilon )\) such that for all \(t\ge 0\) and \(T\ge 1\),
Remark 2.7
In the case of conductances that are bounded from above, we may choose \(\varepsilon =0\) and thus recover the optimal scaling in t.
Based on Lemma 2.6 we establish the following variant of Proposition 2.1.
Lemma 2.8
Suppose that (2.3) holds. Let \(\alpha \ge 0\) and \(0<\varepsilon <1\). Then there exists a random variable \({\mathcal {X}}={\mathcal {X}}(d,\alpha ,\varepsilon )\) such that \({{\mathrm{\mathbb {P}}}}\)-a.s. for all \(t\ge 0\),
where
In particular, for every \(n\in {\mathbb {N}}\), \(\sup _{t\ge 0}{{\mathrm{\mathbb {E}}}}[|{\mathcal {X}}_t|^{n}]\le c\) for some \(c=(d,\rho ,\varepsilon ,n,M(p,q))\).
The proofs of Lemma 2.6 and Lemma 2.8 are postponed to Sects. 2.1.2 and 2.1.3, respectively. Proposition 2.1 easily follows from Lemma 2.8 and Lemma 2.5 as can be seen by the following short argument.
Proof of Proposition 2.1
It suffices to consider \(n\ge \frac{d}{\varepsilon }\). Let \(\theta > \frac{2d}{n}\) and set
By Lemma 2.8 we have
provided \(M(p,q)<\infty \) for p and q sufficiently large. Next we consider
Note that \({{\mathcal {Z}}}^2_t=(t+1)^{-\varepsilon }\sum _{e\in E_d}g(e)f_t(e)\) where \(g(e):=m(t,\underline{e})^{-\theta } \, \omega (e)^{-1}\). Hence, Hölder’s inequality with exponent \((\frac{n}{2},\frac{n}{n-2})\) and the discrete estimate \(\Vert f_t\Vert _{\ell ^{\frac{n}{n-2}}}\le \Vert f_t\Vert _{\ell ^1}\) yield \({{\mathcal {Z}}}^2_t \le (t+1)^{-\varepsilon }\Vert g\Vert _{\ell ^{\frac{n}{2}}}\Vert f_t\Vert _{\ell ^1}\). We take the n / 2-th moment and apply Hölder’s inequality (w.r.t. \({{\mathrm{\mathbb {P}}}}\)) with exponents \((\frac{2q}{n},\frac{2q}{2q-n})\) and the shift-invariance of \({{\mathrm{\mathbb {P}}}}\) to obtain
Note that \(\sup _{t\ge 0}(t+1)^{-\varepsilon \frac{n}{2}}\sum _{e\in E_d} m(t,\underline{e})^{-\theta \frac{n}{2}}<\infty \) since \(\theta n/2>d\) and \(\varepsilon n/2>\frac{d}{2}\). Furthermore, \({{\mathrm{\mathbb {E}}}}\big [|{\varvec{\omega }}(0)|^{-q}\big ]<\infty \) by the moment condition. Combined with (2.7) we finally deduce that \(\sup _{t\ge 0}{{\mathrm{\mathbb {E}}}}\big [{{\mathcal {Z}}}_t^n\big ]<\infty \), which completes the proof. \(\square \)
2.1.1 On-diagonal heat kernel estimate: proof of Lemma 2.5
The statement is a rather direct consequence of an on-diagonal estimate (see Lemma 2.9 below), which can be obtained from [5], and an application of the spectral gap estimate of Assumption 1.3 used to control moments of the estimate’s random constant, see Lemma 2.10. Assuming \(M(p,q)<\infty \) for any \(p,q\in (1,\infty )\), we denote by \(\mathcal {R}={\mathcal {R}}(\omega ,p,q)\ge 1\) the smallest integer such that for all \(R\ge \mathcal {R}\),
with \(\mu ^\omega \) and \(\nu ^\omega \) defined in (2.4). Then, \({{\mathrm{\mathbb {P}}}}\)-a.s., \({\mathcal {R}}<\infty \) by the ergodic theorem.
Lemma 2.9
Let \(p,q\in (1,\infty )\) satisfy \(\frac{1}{p}+\frac{1}{q}<\frac{2}{d}\). Suppose that \({{\mathrm{\mathbb {P}}}}\) is stationary and ergodic, and that the moment condition \(M(p,q)<\infty \) is satisfied. Then, there exists \(c=c(d,p,q,M(p,q))\) such that for \(t\ge {\mathcal {R}}^2\),
Proof
This on-diagonal bound follows immediately from the upper heat kernel bounds in [5, Theorem 2.5], which is based on arguments in [4]. Indeed, by our assumptions \(\mathcal {R}=\mathcal {R}(\omega ,p,q)\) defined via (2.9) is \({{\mathrm{\mathbb {P}}}}\)-a.s. finite for \(p,q\in (1,\infty )\) with \(\frac{1}{p}+\frac{1}{q}<\frac{2}{d}\). Therefore the assumptions of [5, Theorem 2.5] are satisfied for \({{\mathrm{\mathbb {P}}}}\)-a.e. \(\omega \). Alternatively, the estimate can be deduced from the parabolic Harnack inequality established in [3], see Proposition 4.7 and Remark 1.5 therein. \(\square \)
Lemma 2.10
Suppose that Assumption 1.3 holds and for any \(p,q\in (1,\infty )\) let \(\mathcal {R}\) be defined via (2.9). Then, for any \(n\in {\mathbb {N}}\) there exist \(p',q'\in (1,\infty )\) (only depending on p, q, n) such that under the moment condition \(M(p',q')<\infty \) we have \({{\mathrm{\mathbb {E}}}}\big [|{\mathcal {R}}|^n\big ]\le c\) with \(c=c(d,\rho ,p,q,n,M(p',q'))\).
Proof
We only present the argument for \(\mu ^\omega \), since the argument for \(\nu ^\omega \) is the same. To that end consider the random variable
which is well-defined since \({{\mathrm{\mathbb {E}}}}[\mu ^p]>0\) by assumption. We claim that for any \(k\in {\mathbb {N}}\),
Indeed, since \({{\mathrm{\mathbb {E}}}}[f_R]=0\), the spectral gap inequality in form of (1.7) yields
Since \(\partial _e\mu (x)={\mathchoice{1\mathrm l}{1\mathrm l}{1\mathrm l}{1\mathrm l}}_{\{\underline{e},{\overline{e}}\}}(x)\), we deduce that
Now, the combination of the previous two estimates gives (2.10).
Next, by a slight abuse of notation let \({\mathcal {R}}(\omega )\ge 1\) be the smallest integer such that
Since \(\mu \) is stationary and \({{\mathrm{\mathbb {E}}}}[f_R]=0\), Birkhoff’s ergodic theorem shows that \({{\mathrm{\mathbb {P}}}}\)-a.s. \(\sup _{r\ge R}f_r\rightarrow 0\) as \(R\uparrow \infty \). In particular, \({\mathcal {R}}<\infty \)\({{\mathrm{\mathbb {P}}}}\)-a.s. and \({\mathcal {R}}\) satisfies the first property in (2.9). We finally estimate the moments of \({\mathcal {R}}\) by using (2.10). To that end, note that for all \(R\in {\mathbb {N}}\) with \(R\ge 2\),
Hence,
We choose \(k>(n+1)/d\) and \(p'=2(p-1)k\) to get the claim. \(\square \)
Lemma 2.5 is now a simple consequence of the previous two results.
Proof of Lemma 2.5
Since \(p(2t,0) = \sum _{y\in {\mathbb {Z}}^d} p(t,y)^2 \) by the symmetry of the kernel, and the fact that \(\sum _{y\in {\mathbb {Z}}^d}p(t,y)=1\), we deduce from Lemma 2.9 that
By Lemma 2.10 we can achieve \({{\mathrm{\mathbb {E}}}}[{\mathcal {Y}}^n]<\infty \) if sufficiently high moments of \(\omega \) and \(\omega ^{-1}\) exist. \(\square \)
2.1.2 Proof of Lemma 2.6
Step 1. First we prove (2.5). For abbreviation we set \(m_0(x)\mathrel {\mathop :}=1+|x|\), \(x\in {\mathbb {Z}}^d\). Recall that \( \partial _t p = -\nabla ^*({\varvec{\omega }}\nabla p)\). Hence, by (1.18) and the discrete product rule in (1.17) we get
Since \(\big |\nabla (m_0(e)^{2\alpha })\big |\le \sqrt{c_\alpha } \, m_0({\overline{e}})^{\alpha -1} \, m_0(\underline{e})^{\alpha }\), Young’s inequality yields
with \(|\cdot |_{{\varvec{\omega }}}\) as defined in (1.19). We conclude that
To estimate I(t) we set \(\theta :=\alpha +\varepsilon \) and write \(2\alpha -2=2\alpha (1-\frac{1}{\theta })-2(1-\frac{\alpha }{\theta })\). Then by Hölder’s inequality with exponent \(\frac{d+1}{2(1-\frac{\alpha }{\theta })}>1\) and the discrete \(\ell ^{q}-\ell ^1\)-estimate (for \(q\ge 1\)) we get
In combination with
Lemma 2.5 and (2.11) (where we drop the non-positive second term on the right-hand side), this implies
Hence,
Since \(\frac{d}{2}\frac{1}{\theta }<1\) as \(\alpha >\frac{d}{2}\), an integration in t and the fact that \(f(0)=1\) yields (2.5).
Step 2. Next we show (2.6). The starting point of the argument is (2.11), which we recall in an integrated and rearranged form
By Step 1 the first term on the right-hand side is bounded by \({\mathcal {Y}}{\mathcal {X}}(T+1)^{-\frac{d}{2}-1+\varepsilon +\alpha }\). Furthermore, by Hölder’s inequality and Step 1 we have for all \(t\in (T,2T)\),
The combination of the previous estimates yields (2.6). \(\square \)
2.1.3 Proof of Lemma 2.8
Throughout the proof, \({\mathcal {X}}\) denotes a generic random variable (that might change from line to line) of class \({\mathcal {X}}(d,\alpha ,\varepsilon )\). Moreover, we write \(\lesssim \) if \(\le \) holds up to a constant only depending on \(d,\alpha ,\varepsilon \).
Step 1. First we show that there exists \({\mathcal {X}}={\mathcal {X}}(d,\alpha ,\varepsilon )\) such that for all \(t\ge 0\) and \(T\ge 1\),
We start with (2.12). First assume that \(\alpha \ge \alpha _0:=\frac{d}{2}+1\). Since \(m(t,y)^{2\alpha } \lesssim \left( \frac{(|y|+1)^{2\alpha }}{(t+1)^{\alpha }}+ 1\right) \),
which combined with Lemmas 2.6 and 2.5 yields the desired estimate. In the case \(0\le \alpha \le \alpha _0\) we proceed by interpolating the estimate for \(\alpha =0\) and \(\alpha =\alpha _0\). Indeed, Hölder’s inequality yields
The first term on the right-hand side can be estimated as above, and the second term on the right-hand side is estimated by Lemma 2.5.
Next, we prove (2.13). First note that
Indeed, by integrating the identity \(\frac{1}{2} \frac{d}{dt} \sum _{y\in {\mathbb {Z}}^d} p(t,y)^2 = - \sum _{y\in {\mathbb {Z}}^d} |\nabla p(t,y)|^2_{\varvec{\omega }}\) w.r.t. t, we get \(\frac{1}{T}\int _T^{2T} \sum _{y\in {\mathbb {Z}}^d} \big |\nabla p(t,y)\big |^2_{{\varvec{\omega }}} \, dt \le \frac{1}{2T} \sum _{y\in {\mathbb {Z}}^d} p(T,y)^2\), which in combination with Lemma 2.5 yields (2.14). Now, we argue as above to obtain (2.13) for \(\alpha \ge \alpha _0\) by using Lemma 2.6. Finally, the estimate for \(0\le \alpha \le \alpha _0\) follows (as in the proof of (2.12)) by interpolation.
Step 2. In this step we show that for any \(\alpha \ge 0\) and \(0<\varepsilon <1\) there exists \({\mathcal {X}}={\mathcal {X}}(d,\alpha ,\varepsilon )\) such that
for all \(z\in {\mathbb {Z}}^d\) and \(t\ge 0\). By the triangle inequality for the weight in form of \(m(2t,z)^\alpha \lesssim m(t,z-y)^\alpha \, m(t,y)^\alpha \), the semigroup property, and the shift property \(p^{\tau _z\omega }(t,0,y-z)=p^\omega (t,y,z)\),
Using symmetry in form of \(p^{\tau _z\omega }(t,y-z,0)=p^{\tau _z\omega }(t,0,y-z)\) and applying (2.12) yields
Step 3. Now we show the statement. First note that it suffices to prove the claimed estimate for \(t\ge 1\), since for \(0\le t\le 1\) the estimate follows from (2.12) and the fact that \(|\nabla p(t,e)|\le p(t,\underline{e})+p(t,{\overline{e}})\). For \(t\ge 1\), by the semigroup property and Jensen’s inequality we have for all \(e\in E_d\),
and by the triangle inequality for the weight in form of \(m(s,\underline{e})^{2\alpha }\lesssim m(t-s,z)^{2\alpha }\, m(s,\underline{e}-z)^{2\alpha }\),
Now, note that Step 2 implies for all \(s\in (\frac{t}{3},\frac{2t}{3})\),
where we used in the last step that \(\frac{t}{3}\le t-s\le \frac{2t}{3}\). Further, the shift property \(\nabla p^{\tau _z\omega }(s,0,e-z)=\nabla p^\omega (s,z,e)\) gives that
We conclude that
Finally, \(\sup _{t\ge 1}{{\mathrm{\mathbb {E}}}}\big [|\mathcal {X}_t|^n\big ]<\infty \) for every \(n\in {\mathbb {N}}\) since \(\Vert {\tilde{m}}(t,x)\Vert _{\ell ^1}\lesssim 1\) uniformly in t and arbitrarily high moments of \({\mathcal {Y}}\) and \({\mathcal {X}}\) exist if \(M(p,q)<\infty \) holds for p and q sufficiently large. \(\square \)
2.2 Annealed estimates: proofs of Corollary 2.2 and Lemma 2.3
Proof of Corollary 2.2
Step 1. Estimates for \(\nabla p\) and \(\nabla \nabla p\) for \(n=1\).
Since the argument for \(\nabla p\) and \(\nabla \nabla p\) are similar, we only discuss the estimate for \(\nabla \nabla p\), which follows the discussion below [41, Proposition 1]. For the reader’s convenience we sketch the short argument. Since \(p(t,x,x')=\sum _{y\in {\mathbb {Z}}^d}p(\frac{t}{2},x,y) \, p(\frac{t}{2},y,x')\) by the semigroup property, for any \(e,e'\in E_d\) we have
We multiply this identity with \(m(t,\underline{e}-\underline{e}')^\alpha \) and obtain by the triangle inequality for the weight, i.e. \(m(t,\underline{e}-\underline{e}')^\alpha \le 2^\alpha m(t,\underline{e}-y)^\alpha m(t,\underline{e}'-y)^\alpha \), and the Cauchy Schwarz inequality in \(\sum _{y\in {\mathbb {Z}}^d}\),
We take the expectation, apply Cauchy Schwarz w.r.t. \({{\mathrm{\mathbb {P}}}}\) and exploit stationarity and symmetry in form of \({{\mathrm{\mathbb {E}}}}\big [|\nabla p(t,e,y)|^2\big ]={{\mathrm{\mathbb {E}}}}\big [|\nabla p(t,e-y,0)|^2\big ]\) to obtain
where the last inequality holds by Proposition 2.1. Since \(e,e' \in E_d\) are arbitrary, the claim follows.
Step 2. Estimate for \(\nabla p\) and \(n\gg 1\).
Proposition 2.1 yields
where we used that \(\mathcal {Z}_t\) defined in (2.8) satisfies \(\sup _{t\ge 0}{{\mathrm{\mathbb {E}}}}[{\mathcal {Z}}_t^{n}]^{\frac{1}{n}}<\infty \).
Step 3. Estimates for \(\nabla p\) and \(\nabla \nabla p\) for \(n>1\).
For \(n>1\) we obtain the claimed estimates by interpolation of the estimates in Step 1 and Step 2 via Hölder’s inequality in form of
Indeed, applied to \(u=\nabla p\), we obtain
and the claimed estimate follows by choosing \(\lambda \) close to \(\frac{1}{n}\). For \(\nabla \nabla p\) first notice that by the triangle inequality we have
Now, the estimate follows by interpolating the estimate for \(\nabla \nabla p\) for \(n=1\) with the estimate for \(\nabla p\) for \(n'\gg n\). \(\square \)
Proof of Corollary 2.3
First note that for \(\theta >0\) and \(0\le \alpha <2\theta \), we have for all \(x\in {\mathbb {Z}}^d\) the elementary estimate
which follows by using that \(m(t,x)^{-\alpha }\lesssim \big (|x|+1\big )^{-\alpha } \big (t+1\big )^{\alpha /2}\). Now, the claimed estimates follow from the identities \(\nabla G(x,0)=\int _0^\infty \nabla p(t,x,0)\,dt\) and \(\nabla \nabla G(x,0)=\int _0^\infty \nabla \nabla p(t,x,0)\,dt\), the estimates in Corollary 2.2 and (2.15) by choosing \(\alpha \) close to \(2\theta \). \(\square \)
3 Semigroup decay: proof of Theorem 1.7
In this section we prove Theorem 1.7, which yields a rate for the decay of the semigroup \(P_t:L^\infty (\Omega )\rightarrow L^\infty (\Omega )\) defined by \(P_tu(\omega ):=\sum _{y\in {\mathbb {Z}}^d}p^\omega (t,0,y)\, u(\tau _y\omega )\). First we recall some basic facts on the semigroup \((P_t)_{t\ge 0}\). We refer to [28] for details.
-
Since the heat kernel is normalised such that \(\sum _{y\in {\mathbb {Z}}^d}p^\omega (t,0,y)=1\), the semigroup \(P_t\) is a contraction on \(L^\infty (\Omega )\).
-
The semigroup is characterised by a discrete heat equation on \({\mathbb {Z}}^d\). The connection is based on the stationary extension that associates a random variable, say \(u(\omega )\), with the random field \({\bar{u}}(\omega ,x):=u(\tau _x\omega )\) called the stationary extension of u. Now, consider \(u\in L^\infty (\Omega )\) and \(v(t):=P_t u\). Then for \({{\mathrm{\mathbb {P}}}}\)-a.e. \(\omega \), the function \({\bar{v}}(\omega ,\cdot ,\cdot ):[0,\infty )\times {\mathbb {Z}}^d\rightarrow {\mathbb {R}}\), \({\bar{v}}(\omega ,t,x):=v(t,\tau _x\omega )\) is the unique solution in \(C([0,\infty ),\ell ^\infty ({\mathbb {Z}}^d))\cap C^1((0,\infty ),\ell ^\infty ({\mathbb {Z}}^d))\) to the Cauchy problem
$$\begin{aligned} \begin{array}{rl} (\partial _t+\nabla ^*{\varvec{\omega }}\nabla ){\bar{v}} \; = \; 0&{}\qquad \text {on }(0,\infty )\times {\mathbb {Z}}^d,\\ {\bar{v}}(0,\cdot )\; = \; {\bar{u}}&{}\qquad \text {on }{\mathbb {Z}}^d, \end{array} \end{aligned}$$(3.1)which directly follows from the definition of the semigroup.
-
An alternative characterisation by a Cauchy problem in \(L^\infty (\Omega )\) is as follows. The stationary extension \(\overline{(\cdot )}\), the discrete derivatives \(\nabla _i,\nabla _i^*\) and the horizontal derivatives \(D_i,D_i^*\) (see Sect. 1.3) are related by the identities
$$\begin{aligned} \nabla _i{\bar{u}}(\omega ,x)=\overline{(D_iu)}(\omega ,x),\qquad \nabla _i^*{\bar{u}}(\omega ,x)=\overline{(D_i^*u)}(\omega ,x). \end{aligned}$$Therefore, (3.1) is equivalent to the Cauchy problem in \(L^\infty (\Omega )\) given by
$$\begin{aligned} \begin{aligned} (\partial _t+D^*{\varvec{\omega }}(0)D)v \; = \;&0&\qquad&\text {for }t>0,\\ v(0)\; = \;&u.&\end{aligned} \end{aligned}$$(3.2) -
The family \((P_t)_{t\ge 0}\) is the Markovian transition semigroup associated with the \(\Omega \)-valued process \(\{ \tau _{X_t} \omega \}_{t\ge 0}\), which is known as the process of the “environment as seen from the particle”. Furthermore, if \({{\mathrm{\mathbb {P}}}}\) is stationary and ergodic, and (1.3) holds, then the measure \({{\mathrm{\mathbb {P}}}}\) is stationary, reversible and ergodic for the environment process \(\{ \tau _{X_t} \omega \}_{t\ge 0}\) and its semigroup \((P_t)_{t\ge 0}\), respectively (see e.g. [2, Lemma 2.4]).
3.1 Proof of Theorem 1.7
We follow the argument of [28, Theorem 1], where the optimal estimate is obtained in the case of uniformly elliptic coefficients. In our setting the lack of uniform ellipticity leads to a loss of decay, since at various places we use Hölder’s inequality and the moment conditions in order to move the conductances outside (or inside) of some integrals. A central element is the weighted \(\ell ^2\)-regularity estimate for the gradient of the heat kernel obtained in Proposition 2.1, which we apply in form of the following two estimates, the proof of which are postponed to Sect. 3.2.
Lemma 3.1
Let \(\varepsilon \in (0,1)\), \(n\ge \frac{d}{2\varepsilon }\) and \(\theta \in (1,2)\). There exists \(p,q\in (1,\infty )\) (only depending on \(d,n,\varepsilon ,\theta \)) and a constant \(c=c(d,n,\varepsilon ,\theta ,M(p,q))\) such that if \(M(p,q)<\infty \) the following holds. For all \(F\in L^{2n\theta }(\Omega ,{\mathbb {R}}^d)\) and \(t\ge 0\),
where \({\bar{F}}(\omega ,x):=F(\tau _x\omega )\).
Remark 3.2
In the uniformly elliptic case Lemma 3.1 holds with \(\varepsilon =0\) and \(\theta =1\), which can be shown along the lines of [28]. For our purpose it is important that \(\theta \) and \(\varepsilon \) can be chosen arbitrarily close to 1 and 0, respectively, provided we suppose a sufficiently strong moment condition.
Lemma 3.3
Let \(\varepsilon \in (0,1)\) and \(n\ge \frac{d}{2\varepsilon }\). There exist \(p,q\in (1,\infty )\) (only depending on \(d,n,\varepsilon \)) and a constant \(c=c(d,n,\varepsilon ,M(p,q))\) such that if \(M(p,q)<\infty \) the following holds. For any random field \(H:\Omega \times E_d \rightarrow {\mathbb {R}}^d\) and \(t\ge 0\),
For the proof of Theorem 1.7 we further need a non-linear Caccioppoli inequality for the operator \(D^*{\varvec{\omega }}(0) D\). The following result is an extension of [28, Lemma 5] to the degenerate setting.
Lemma 3.4
(Caccioppoli) Let \(v(t)=P_tu\). Then for every \(n\in {\mathbb {N}}\) and \(1<\theta <2\) we have
with \(c=c(d,n,\theta )\).
A last ingredient is the decay estimate on ordinary differential inequalities.
Lemma 3.5
Assume that
with \(n\in [1,\infty )\), \(\gamma \in [1,\infty )\) and \(\delta \in \big (\frac{\gamma }{\gamma +\frac{1}{2n}},1\big )\). Then, there exists \(c=c(n, \gamma , \delta , c_0)<\infty \) such that
This is a generalisation of [28, Lemma 15], obtained in [24, Lemma 3.1].
Proof of Theorem 1.7
Let \(\theta \in (1,2)\) to be chosen later. In the following \(\lesssim \) stands for \(\le \) up to a constant only depending on \(d,\rho ,n,\theta ,\varepsilon \) and M(p, q). For abbreviation we set \(\gamma :=(\frac{d}{4}+\frac{1}{2})-\varepsilon \), \(u:=D^*F\) and \(v(\omega ,t):=P_tu(\omega )=\sum _{y\in {\mathbb {Z}}^d}p^\omega (t,0,y) \, {\bar{u}}(\omega ,y)\). By the homogeneity of the estimate it suffices to consider the case
We claim that for any \(\theta \in (1,2)\),
We first note that \({{\mathrm{\mathbb {E}}}}[u]=0\) implies \({{\mathrm{\mathbb {E}}}}[v(t)]=0\) for all \(t\ge 0\). Hence, the n-version of the spectral gap estimate in (1.7) gives
In order to identify \(\partial _e v\), recall that \({\bar{v}}(\omega ,\cdot ,\cdot )\) solves
Now we apply \(\partial _e\) to this equation to get a characterisation of \(\partial _e{\bar{v}}\). More precisely, since \(\partial _e(\nabla ^*\omega \nabla {\bar{v}})=\nabla ^*\omega \nabla \partial _e{\bar{v}}(s,\cdot )+\nabla ^*\delta _e(\cdot )\nabla {\bar{v}}(s,e)\) (here \(\delta _e:E_d\rightarrow \{0,1\}\) denotes the Dirac function with \(\delta _e(e)=1\) and \(\delta _e(e')=0\) for any \(e'\ne e\)), we have
and thus by Duhamel’s formula
We combine this identity with (3.5) and apply the triangle inequality to obtain
For term I note that \({\bar{u}}(\omega ,x)=\nabla ^*{\bar{F}}(\omega ,x)\) where \({\bar{F}}\) denotes the stationary extension of F. By definition of \(\partial _e\), \(\nabla ^*\) and the stationary extension, we have for any random variable f the general calculus rules \(\partial _e(\nabla _if)=\nabla _i(\partial _ef)\) and \(\partial _e{\bar{f}}(\omega ,x)=\overline{(\partial _{\omega (e-x)}f)}(\omega ,x)\). Hence,
where \(H(\omega ,e):=\partial _eF(\omega )\). Hence, using an integration by parts, Lemma 3.3 and (3.3) we get
For term II we use Lemma 3.1 and get for any \(\theta \in (1,2)\),
which completes the argument for (3.4).
Next we apply Lemma 3.4 to obtain
where we have used that
thanks to (1.7), a discrete \(\ell ^2\)-\(\ell ^1\)-estimate and (3.3). Finally, in view of (3.4) and (3.9), choosing \(\theta >1\) sufficiently close to 1 (only depending on d, \(\varepsilon \) and n), we may apply Lemma 3.5 with \( a(t):={{\mathrm{\mathbb {E}}}}\big [v(t)^{2n}\big ]^{\frac{1}{2n}}\), \(b(t):= {{\mathrm{\mathbb {E}}}}\Big [\big |Dv(t)\big |^{2n\theta } \Big ]^{\frac{1}{2n(2-\theta )}}\) and \(\delta :=\frac{2-\theta }{\theta }\) and get
which is the claimed estimate. \(\square \)
3.2 Proofs of Lemmas 3.1, 3.3 and 3.4
Proof of Lemma 3.1
In the following \(\lesssim \) stands for \(\le \) up to a constant only depending on \(d,n, \theta \) and \(\varepsilon \). Fix \(\alpha >\frac{d}{2n}\). Consider \(I:=\left( \sum _{y\in {\mathbb {Z}}^d}m(t,y)^{-2n\alpha }\big |{\bar{F}}(y)\big |^{2n}\right) ^\frac{1}{n}\). Hölder’s inequality, the discrete \(\ell ^{\frac{n}{n-1}}\)-\(\ell ^1\)-estimate and Proposition 2.1 yield
We take the expectation of the n-th power to obtain
By Hölder’s inequality with exponents \((\theta ,\frac{\theta }{\theta -1})\) and by stationarity this can be further estimated from above by
where we used that \(\big (\sum _{y\in {\mathbb {Z}}^d}m(t,y)^{-2n\alpha }\big )^{\frac{1}{2n}}\lesssim (t+1)^{\frac{d}{4 n}}\) thanks to \(2n\alpha >d\). Since we may assume that the \(2n\frac{\theta }{\theta -1}\)-moment of \({\mathcal {Z}}_t\) is bounded by a constant independent of t, and because \(\frac{d}{4n}\le \frac{\varepsilon }{2}\), the proof is complete. \(\square \)
Proof of Lemma 3.3
First we compute
In order to estimate the expectation, we apply Lemma 3.1 to \(F(\omega )=H(\omega ,e')\) for any \(e'\in E_d\) and obtain
Combined with Hölder’s inequality in form of \({{\mathrm{\mathbb {E}}}}\Big [\big |H(\omega ,e')\big |^{2n\theta }\Big ]^{\frac{1}{2n\theta }}\le {{\mathrm{\mathbb {E}}}}\Big [\big |H(\omega ,e')\big |^{4n}\Big ]^{\frac{1}{4n}}\) the claim follows. \(\square \)
Proof of Lemma 3.4
We first claim that
where here and below we write \(\lesssim \) if the relation holds up to a constant only depending on d, n and \(\theta \). Indeed, using the elementary estimate
by appealing to (3.2) we get
and thus the claimed inequality (3.10). Next, we need to estimate \({{\mathrm{\mathbb {E}}}}\big [\big |Dv(t)\big |^{2n\theta }\big ]^\frac{1}{2n\theta }\) by the left-hand side in (3.10). To that end set \(\theta _0=2-\theta \), so that \(\theta =\theta _0+2(\theta -1)\). Hölder’s inequality with exponents \((\frac{1}{\theta _0},\frac{1}{\theta -1})\) yields
Using \(|Dv(\omega ,t)|\lesssim \sum _{|x| \le 1}|v(\tau _{x}\omega ,t)|\), the shift-invariance of \({{\mathrm{\mathbb {P}}}}\) and the contractivity of the semigroup \(P_t:L^{8n}(\Omega )\rightarrow L^{8n}(\Omega )\), we deduce that
In combination with (3.10) these estimates give the claim. \(\square \)
4 Moment bounds for the extended corrector: proof of Proposition 1.10
In this section, unless stated otherwise, \(\xi \) denotes one of the coordinate vectors \(e_1,\ldots ,e_d\), and we drop the index in the notation for \(\phi \), \(\sigma \) and q. We split the proof of Proposition 1.10 into three steps. In Step 1 we prove (a) and (b), i.e. the existence of \(\phi \) and \(\sigma \), and the moment bounds for \(\phi \), which is a rather direct consequence of Theorem 1.7. In Step 2 we establish a sensitivity estimate for the right-hand side of (1.12c). In Step 3 we establish the growth bound for \(\sigma \).
Step 1. Proof of (a) and (b).
We first claim that there exists \(\phi ^0\in L^{2n}(\Omega )\) with \({{\mathrm{\mathbb {E}}}}[\phi ^0]=0\) satisfying (1.14) such that
For the argument set \(F:=-{\varvec{\omega }}(0)\xi \), \(u(t):=P_tD^*F\), and note that
Consequently, Theorem 1.7 yields \({{\mathrm{\mathbb {E}}}}\Big [\big |u(t)\big |^{2(n+1)}\Big ]^\frac{1}{2(n+1)}\lesssim (t+1)^{-\gamma }\) for some \(1<\gamma <\frac{d}{4}+\frac{1}{2}\). Since \(\gamma >1\), we can define the sought random variable as Laplace transform \(\phi ^0:=\int _0^\infty u(t)\,dt\).
Next, we set \(\phi (\omega ,x):=\phi ^0(\tau _x\omega )-\phi ^0(\omega )\). By construction we have \(\phi (\omega ,0)=0\). Since \(D_i\) is the discrete generator of the shift \(\tau _{e_i}\), we deduce that
and we conclude that \(\phi \) satisfies all the claimed properties.
Next, we prove the existence of \(\sigma \). To that end we first rewrite the right-hand side in (1.12c) in divergence form. For \(k,\ell =1,\ldots d\) we introduce the random vector fields
and denote by \(Q_{k\ell }(\omega ,x):=Q^0_{k\ell }(\tau _x\omega )\) the stationary extension. Note that by construction we have \(q(\omega ,x)=q^0(\tau _x\omega )\) and \((Sq)_{k\ell }=\nabla ^*Q_{k\ell }\). From the moment bound (1.14) and moment condition on the conductances we deduce that \(q^0\) and \(Q^0\) have finite second moments. Therefore, for any \(T\ge 1\) the regularized equation \((\frac{1}{T}+D^*D)\sigma _{T,k\ell }^0=D^*Q_{k\ell }^0\) admits a unique solution in \(L^2(\Omega )\) satisfying the a priori estimate
Since the estimate on \(D\sigma ^0_T\) is uniform in \(T\ge 1\), we deduce that (up to a subsequence) \(D\sigma ^0_{T,k\ell }\) weakly converges for \(T\uparrow \infty \) to some random variable \(W_{k\ell }=(W_{k\ell ,1},\ldots ,W_{k\ell ,d})\) with \({{\mathrm{\mathbb {E}}}}[|W_{k\ell }|^2]\le \frac{1}{2}{{\mathrm{\mathbb {E}}}}\Big [\big |Q^0_{k\ell }\big |^2\Big ]\) satisfying
Note that \({{\mathrm{\mathbb {E}}}}[W_{k\ell }]=0\), since \({{\mathrm{\mathbb {E}}}}[D\sigma ^0_T]=0\). Moreover, \(W_{k\ell }\) is curl-free in the sense that \(D_iW_{k\ell ,j}=D_jW_{k\ell ,i}\). Hence, there exists a random field \(\sigma _{T,k\ell }(\omega ,x)\) with \(\sigma _{T,k\ell }(\omega ,0)=0\) and \(\nabla \sigma _{T,k\ell }(\omega ,x)=W_{k\ell }(\tau _x\omega )\), and (4.1) turns into \(\nabla ^*\nabla \sigma _{T,k\ell }=\nabla ^*Q_{k\ell }\), which is (1.12c) due to the definition of Q. Moreover, \(\sigma _{k\ell }\) is skew-symmetric in \(k,\ell \), since so is \((Sq)_{k\ell }\). Moreover, (1.12b) follows from the identity \(\nabla ^*\nabla (\nabla ^*_\ell \sigma _{k\ell }-q_k)=0\) (see e.g. [15, Proof of Lemma 9, Step 2]).
Step 2. Sensitivity estimate.
Let \(f:{\mathbb {Z}}^d\rightarrow {\mathbb {R}}\) be compactly supported and Q be defined as in Step 1. Consider exponents s, r such that
Then for any \(p>1\) satisfying
(i.e. for \(0<p-1\ll 1 \)), we have
This can be seen as follows. By the triangle inequality (w.r.t. \(\Vert \cdot \Vert _{L^p(\Omega , {{\mathrm{\mathbb {P}}}})}\)), by expanding the square, another application of the triangle inequality, and the Cauchy Schwarz inequality,
For the following discussion it is convenient to set
Since \(Q_{k\ell }(\omega ,y)=Q^0_{k\ell }(\tau _y\omega )\) we infer that \( \partial _e Q_{k\ell }(\omega ,y)=(\partial _{e-y}Q^0)(\tau _y\omega )\). Since \({{\mathrm{\mathbb {P}}}}\) is stationary, we obtain \({{\mathrm{\mathbb {E}}}}\big [|\partial _{e}Q_{k\ell }(y)|^{2p}\big ]^{\frac{1}{2p}}={{\mathrm{\mathbb {E}}}}\big [|\partial _{e-y}Q_{k\ell }^0|^{2p}\big ]^{\frac{1}{2p}}\le g(\underline{e}-y)\), and thus
The inner sum is a convolution. Thanks to (4.2) Young’s estimate for convolutions yields
and it remains to show that the norm of g is finite. It suffices to show that for some \(\gamma >0\) with \(\gamma >\frac{d}{s}\) we have
We first note that
Indeed, this follows from applying \(\partial _e\) to (1.12a), which yields
Since \(|\partial _e{\varvec{\omega }}(\cdot )|\le \delta (\cdot -\underline{e})\), and \(\partial _e D\phi ^0(\omega )=\nabla \partial _e\phi (\omega ,0)\), we obtain (4.5) by the Green’s function representation for (4.6). Hence, applying \(\partial _e\) to \(Q^0\) gives
and thus
Since we may assume that high moments of \(D\phi ^0\) and \({\varvec{\omega }}(0)\) exist, Corollary 2.3 yields for any \(p'>p\) and any \(\varepsilon >0\),
provided the conductances satisfy sufficiently strong moment conditions with integrability exponents that depend on \(p'\) and \(\varepsilon \). Note that for \(p'\downarrow p\) and \(\varepsilon \downarrow 0\), we have \(\gamma \uparrow \gamma _p:=d-\frac{2p-1}{p}=(d-1)-\frac{p-1}{p}\). Thanks to (4.3) we have \(\gamma _p\frac{s}{d}>1\), and thus we obtain \(\gamma >\frac{d}{s}\) by choosing \(p'\) and \(\varepsilon \) sufficiently close to p and 0. This completes the argument for (4.4).
Step 3. Sublinear estimate for \(\sigma \).
We basically follow arguments in [26], where a similar statement is obtained for uniformly elliptic, continuous systems, and [47], where the argument is carried out for the corrector \(\phi \) in the uniformly elliptic, discrete setting in dimension \(d=2\). The argument is split into three substeps.
Substep 3.1. For \(L\ge 1\) consider
Then for any exponents r and p satisfying (4.2) and (4.3), we have
For the argument let \(f:{\mathbb {Z}}^d\rightarrow {\mathbb {R}}\) denote the unique decaying solution to
By representing \(\nabla f\) with help of the discrete Green’s function for \(\nabla ^*\nabla \) we find that
Since \(\sigma (\omega ,\cdot )\) grows sublinearly \({{\mathrm{\mathbb {P}}}}\)-a.s., we deduce that
In particular, we find that \({{\mathrm{\mathbb {E}}}}[v_L]=0\), since \({{\mathrm{\mathbb {E}}}}[\nabla \sigma ]=0\). Thus, the p-version of the Spectral Gap estimate, (1.7), yields
Note that \(\partial _e v_L=\sum _{y\in {\mathbb {Z}}^d}\nabla \partial _e\sigma (y)\cdot \nabla f(y)=\sum _{y\in {\mathbb {Z}}^d}\partial _e Q(y)\cdot \nabla f(y)\), where we used that
Hence, we can estimate the right-hand side of (4.9) by appealing to Step 2 and (4.7). This completes the argument.
Substep 3.2. For \(x\in {\mathbb {Z}}^d\) and \(L\ge 1\) consider
Then for any r and p satisfying (4.2) and (4.3), we have
For the argument let \(f:{\mathbb {Z}}^d\rightarrow {\mathbb {R}}\) denote the unique decaying solution to
By representing \(\nabla f\) with help of the discrete Green’s function for \(\nabla ^*\nabla \) we find that
and, moreover,
Hence, arguing as in Substep 3.2 we see that the claim follows from Step 2.
Substep 3.3. Let \(L:=|x|+1\). Then we have
where the last identity holds due to the identities of the previous steps, and by stationarity of \(\nabla \sigma \) in combination with identity (4.8). Hence, the triangle inequality, \(|x|\le L\), and the estimates of Substep 3.1 und Substep 3.2 yield for any exponents r and p satisfying (4.2) and (4.6) the estimate
In dimensions \(3\le d\le 4\) any exponent \(1\le r<\frac{2d}{d+2}\le \frac{d}{d-1}\) is admissible. Since the upper bound \(r\uparrow \frac{2d}{d+2}\) implies \(\frac{d}{r}+(1-d)\downarrow 2-\frac{d}{2}\), the claimed statement follows. On the other hand, in dimension \(d\ge 5\), we might choose any exponent \(\frac{d}{d-1}<r<\frac{2d}{d+2}\), which completes the argument. \(\square \)
5 Variance decay for the carré du champ: proof of Proposition 1.11
A key ingredient in the proof of Proposition 1.11 is the following lemma, which for \(d\ge 3\) yields a representation of \(g_\xi \) in divergence form.
Lemma 5.1
Consider the situation of Proposition 1.10. Let \(\xi \in {\mathbb {R}}^d\) be fixed and let \((\phi ,\sigma )\) denote the associated extended corrector, i.e. \((\phi ,\sigma ):=\sum _{i=1}^d\xi _i \,(\phi _i,\sigma _i)\) with \((\phi _i,\sigma _i)\) as in Proposition 1.10 (a). Consider
Then,
where \(H=(H_{1},\ldots , H_{d})\) is defined by
Proof
Define
and note that \(H_i=H_i'+2(\sigma ^t\xi )\cdot e_i+2H_i''\). We have \(\psi (\omega ,e_i)=\xi _i+\nabla _i\phi (\omega ,0)\) and \(\psi (\omega ,-e_i)=-\xi _i-\nabla _i\phi (\omega ,-e_i)=-\xi _i-\nabla _i\phi (\tau _{-e_i}\omega ,0)\), thanks to stationarity of \(\nabla \phi \) (see Proposition 1.10 (a.3)). Hence,
where the last identity holds, since \(H'\) is stationary in the sense that \(H'(\tau _x\omega ,y)=H'(\omega ,y+x)\).
With \(q(\omega ,x):={\varvec{\omega }}(x)\, \big (\xi +\nabla \phi (\omega ,x)\big )-{\varvec{\omega }}_{\hom }\xi \), we can rewrite the first term on the right-hand side as
In view of Proposition 1.10, the first term takes the form
For the second term on the right-hand side of (5.2) we use the general discrete product rule
which we apply with \(F(x)={\varvec{\omega }}(x) \, \big (\xi +\nabla \phi (\omega ,x)\big )\). By the corrector equation we have \(\nabla ^*F=0\) and therefore
Now the claimed representation follows from (5.1), (5.2) and (5.3), and the fact that the mean of the right-hand side in (5.2) is \(\xi \cdot {\varvec{\omega }}_{\hom }\xi \). \(\square \)
Proof of Proposition 1.11
First we recall that
which holds for any \(f:{\mathbb {Z}}^d\rightarrow {\mathbb {R}}\) as can be seen by a direct calculation. In order to recover \(g_\xi (\omega )\), we need to consider \(f(x)=\psi _\xi (\omega ,x)\) and evaluate at \(x=0\). By the definition of \(\psi _\xi \) we have \(\psi _\xi (\omega ,0)=0\), and thus Lemma 5.1 yields
where H is defined as in Lemma 5.1. Note that \(H(y):=H(\omega ,y)=H(\tau _y \omega , 0)\). Thus, by the definition of \(P_t\), an integration by parts, Hölder’s inequality, and Proposition 2.1, we get for all \(\alpha >d\) and \(0<\varepsilon <1\),
From the definition of H, the moment bounds of Proposition 1.10, and the property that high moments of \({\mathcal {Z}}_t\) are bounded uniformly in t (see Proposition 2.1), we deduce that for any \(\theta >\frac{1}{2}\) in dimension \(d=3\) and any \(\theta >0\) in dimension \(d\ge 4\), we have
and thus
Since \(\sum _{y\in {\mathbb {Z}}^d}m(t,y)^{-\alpha +2\theta } \lesssim (t+1)^{\frac{d}{2}}\) (whenever \(\alpha -2\theta >\frac{d}{2}\)), we conclude that
Note that in dimension \(d\ge 4\) (resp. \(d=3\)) we might choose \(\theta \) arbitrarily close 0 (resp. \(\frac{1}{2}\)), while we can choose \(\varepsilon >0\) as small as we wish. This completes the proof. \(\square \)
6 Berry–Esseen theorem
In this section we prove Theorem 1.5. As mentioned earlier we will show a Berry–Esseen theorem for the martingale part and afterwards derive that the corrector converges sufficiently fast to zero along the path of the random walk. We start by setting-up the decomposition of X. Recall the definition of the corrector in Proposition 1.10 and of the harmonic coordinates \(\Psi : \Omega \times {\mathbb {Z}}^d \rightarrow {\mathbb {R}}^d\) in (1.10) above. Let \(\chi :\Omega \times {\mathbb {Z}}^d \rightarrow {\mathbb {R}}^d\) be defined by
Remark 6.1
The harmonic coordinates satisfy the cocycle property, that is for \({{\mathrm{\mathbb {P}}}}\)-a.e. \(\omega \),
and a similar relation holds for \(\chi \). Note that conventions about the sign of the corrector \(\chi \) differ, compare for instance [2, 16] and [50].
Corollary 6.2
For \({{\mathrm{\mathbb {P}}}}\)-a.e. \(\omega \), the process
is a \(P_0^\omega \)-martingale and
Moreover, for every \(\xi \in {\mathbb {R}}^d\), \(\xi \cdot M\) is a \(P^\omega _0\)-martingale with quadratic variation process given by
Proof
Clearly, \(\nabla ^* \omega \nabla \Psi _i=0\) for every \(i=1,\ldots d\), so \(\Psi _i\) is \(\mathcal {L}^\omega \)-harmonic. In particular, M and hence also \(\xi \cdot M\) are \(P_0^\omega \)-martingales. The decomposition (6.1) follows directly from the definition of \(\chi \). To compute \(\langle \xi \cdot M \rangle \), which is the unique predictable process such that \((\xi \cdot M)^2-\langle \xi \cdot M \rangle \) is a martingale, recall that
where \(\Gamma ^\omega \) still denotes the opérateur carré du champ associated with \(\mathcal {L}^\omega \) given by
and \(\psi _\xi =\xi \cdot \Psi \) as defined in (1.16). Finally, since \(\psi _\xi (\omega ,0)=0\) we observe that for any \(x\in {\mathbb {Z}}^d\),
which completes the proof. \(\square \)
6.1 Quantitative CLT for the martingale part
In this section we show the following Berry–Esseen theorem for the martingale part.
Proposition 6.3
Let \(d \ge 3\) and suppose that Assumption 1.3 holds. For any \(\varepsilon >0\) there exist exponents \(p,q\in [1,\infty )\) (only depending on d, \(\rho \) and \(\varepsilon \)) such that under the moment condition \(M(p,q)<\infty \) the following hold.
-
(i)
There exists a constant \(c=c(d,\rho , \varepsilon , M(p,q))\) such that for all \(t\ge 0\),
$$\begin{aligned} \sup _{x \in {\mathbb {R}}} \Big | {{\mathrm{\mathbb {P}}}}_0 \big [\xi \cdot M_t \le \sigma _\xi x \sqrt{t} \ \big ] - \Phi (x)\Big | \; \le \; {\left\{ \begin{array}{ll} \; c \, t^{- \frac{1}{10} + \varepsilon } &{} \text {if }d=3, \\ \; c \, t^{-\frac{1}{5} + \varepsilon } &{} \text {if }d\ge 4. \end{array}\right. } \end{aligned}$$ -
(ii)
There exists a random \({\mathcal {X}}={\mathcal {X}}(d,\rho , \varepsilon , M(p,q))\) in \(L^1({{\mathrm{\mathbb {P}}}})\) such that for \({{\mathrm{\mathbb {P}}}}\)-a.e. \(\omega \),
$$\begin{aligned}&\int _0^\infty \Big ( \sup _{x \in {\mathbb {R}}} \left| P_0^\omega \big [v \cdot M_t \le \sigma _\xi x \sqrt{t} \ \big ] - \Phi (x)\right| \Big )^5 (t+1)^{-\frac{1}{2}-\varepsilon } \, dt \; \\&\quad \le \; {\mathcal {X}}(\omega ) \; < \; \infty , \qquad \text {if }d=3, \end{aligned}$$and
$$\begin{aligned}&\int _0^\infty \Big ( \sup _{x \in {\mathbb {R}}} \left| P_0^\omega \big [v \cdot M_t \le \sigma _\xi x \sqrt{t} \ \big ] - \Phi (x)\right| \Big )^5 (t+1)^{-\varepsilon } \, dt \; \\&\quad \le \; {\mathcal {X}}(\omega ) \; < \; \infty , \qquad \text {if }d\ge 4. \end{aligned}$$
To prove Proposition 6.3 we will apply the following general quantitative central limit theorem for martingales.
Theorem 6.4
Let \((N_t)_{t\ge 0}\) be a locally square-integrable martingale (w.r.t. some probability measure P) and denote by \(\Delta N_t:=N_t-N_{t-}\) its jump process and by \(\langle N \rangle _t\) its quadratic variation process. Then, for any \(n>1\), there exists a constant \(c>0\) depending only on n such that
Proof
See Theorem 2 in [33] (cf. also [35]). \(\square \)
Proposition 6.5
Let \(d \ge 3\) and suppose that Assumption 1.3 holds. For any \(\varepsilon >0\) there exist exponents \(p,q\in [1,\infty )\) (only depending on d, \(\rho \) and \(\varepsilon \)) such that if \(M(p,q)<\infty \) the following hold.
-
(i)
There exists a constant \(c=c(d,\rho , \varepsilon , M(p,q))\) such that for all \(t > 0\),
$$\begin{aligned} {{\mathrm{\mathbb {E}}}}\Bigg [ E_0^\omega \bigg [\Big | \frac{\langle \xi \cdot M \rangle _t}{t} -\sigma _\xi ^2 \Big |^2 \bigg ] \Bigg ] \; \le \; {\left\{ \begin{array}{ll} \; c \, t^{- \frac{1}{2} + \varepsilon } &{} \text {if }d=3, \\ \; c \, t^{-1 + \varepsilon } &{} \text {if }d\ge 4. \end{array}\right. } \end{aligned}$$ -
(ii)
There exists a random \({\mathcal {X}}={\mathcal {X}}(d,\rho , \varepsilon , M(p,q))\) in \(L^1({{\mathrm{\mathbb {P}}}})\) such that for \({{\mathrm{\mathbb {P}}}}\)-a.e. \(\omega \),
$$\begin{aligned} \int _0^\infty E_0^\omega \bigg [\Big | \frac{\langle \xi \cdot M \rangle _t}{t} -\sigma _\xi ^2 \Big |^2 \bigg ] \, (t+1)^{-\frac{1}{2}-\varepsilon } \, dt \; \le \; {\mathcal {X}}(\omega ) \, < \; \infty , \qquad \text {if }d=3, \end{aligned}$$and
$$\begin{aligned} \int _0^\infty E_0^\omega \bigg [\Big | \frac{\langle \xi \cdot M \rangle _t}{t} -\sigma _\xi ^2 \Big |^2 \bigg ] \, (t+1)^{-\varepsilon } \, dt \; \le \; {\mathcal {X}}(\omega ) \, < \; \infty , \qquad \text {if }d\ge 4. \end{aligned}$$
Proof
(i) Recall that \(g_\xi =\Gamma ^{\omega } (\psi _\xi (\omega , \cdot ))(0)\) and note that \(\sigma _\xi ^2= {{\mathrm{\mathbb {E}}}}[g_\xi ]\) since \(\Sigma ^2=2{\varvec{\omega }}_{\hom }\) (cf. (1.11) and (1.13) above). Setting \(G_\xi \mathrel {\mathop :}=g_\xi - {{\mathrm{\mathbb {E}}}}[g_\xi ]\), we have by Corollary 6.2 that
Arguing as in [43, Sect. 6] we get
where we used the stationarity of \((\tau _{X_s}\omega )\) in the second step and a change of variable in the last step. Since \((\tau _{X_s}\omega )\) is reversible w.r.t. \(\mathbb {P}\), the semigroup operator \(P_s \) is symmetric in \(L^2({\mathbb {P}})\) and we obtain that
Now we apply Proposition 1.11, which gives for any \(\varepsilon >0\),
for some constant \(c=c(d,\rho ,\varepsilon , M(p,q))\) provided \(M(p,q)<\infty \) for suitable p and q. In view of (6.3) this finishes the proof of (i). Further, to show (ii), for a given \(\varepsilon >0\) we use Fubini’s theorem and apply (i) for any \(\varepsilon '\in (0,\varepsilon )\) to obtain for \(d\ge 4\),
which implies (ii). In \(d=3\) the result follows by a similar argument. \(\square \)
Remark 6.6
Using the ergodicity of the environment process in (6.3) one can apply the theory of ‘fractional coboundaries’ of Derriennic and Lin [21] and deduce from the statement in Proposition 6.5 (i), e.g. if \(d\ge 4\), that for any \(\varepsilon >0\) we have for \({\mathbb {P}}\)-a.e. \(\omega \),
Proposition 6.7
Let \(d\ge 3\), \(n\in {\mathbb {N}}\) and suppose that Assumption 1.3 holds. There exist \(p=p(d,n)\) and \(q=q(d,n)\) such that if \(M(p,q)<\infty \) we have that for \({\mathbb {P}}\)-a.e. \(\omega \),
for some random \({\mathcal {X}}={\mathcal {X}}(d,n)\in L^1({{\mathrm{\mathbb {P}}}})\).
Proof
Recall that for any function \(f:{\mathbb {Z}}^d \times {\mathbb {Z}}^d \rightarrow {\mathbb {R}}\) that vanishes on the diagonal, the process
is a local \(P_0^\omega \)-martingale for \({\mathbb {P}}\)-a.e. \(\omega \). Then choosing \( f(x,y)= \big | \psi _\xi (y)-\psi _\xi (x) \big |^n\), we obtain by the cocycle property (cf. Remark 6.1) and the ergodic theorem that
as t tends to infinity \({{\mathrm{\mathbb {P}}}}\)-a.s. and in \(L^1(\Omega , {{\mathrm{\mathbb {P}}}})\), provided sufficiently high moments of \(\psi _\xi \) (or the gradient of \(\phi _\xi \), respectively) are finite, which can be ensured by Proposition 1.10, (1.14). Further, an application of the maximal ergodic theorem yields
which finishes the proof. \(\square \)
Proof of Proposition 6.3
We shall apply the general result in Theorem 6.4 with the choice \(n=2\) on the martingale
Since
we get by Proposition 6.5 that for any \(\varepsilon >0\),
Moreover, for \({{\mathrm{\mathbb {P}}}}\)-a.e. \(\omega \),
and
Furthermore,
and we obtain from Proposition 6.7 that
Now we apply Theorem 6.4, first under the annealed measure \({{\mathrm{\mathbb {P}}}}_0\), which gives
so that (i) follows from (6.5) and (6.8). On the other hand, for \({{\mathrm{\mathbb {P}}}}\)-a.e. \(\omega \) we apply Theorem 6.4 under \(P_0^\omega \) and obtain
which implies (ii) by (6.6) or (6.7), respectively, and (6.8). \(\square \)
6.2 Speed of convergence for the corrector
Proposition 6.8
(Suboptimal estimate for the growth of corrector) Let \(d\ge 3\) and suppose that Assumptions 1.3 holds. For any \(\delta \in (0,1)\) and any \(n\in {\mathbb {N}}\) there exist \(p,q\in [0,\infty )\) (only depending on d, \(\delta \) and n) such that under the moment condition \(M(p,q) <\infty \) the following holds. There exists a random constant \({\mathcal {X}}={\mathcal {X}}(d, p, \delta , n)\) satisfying \({{\mathrm{\mathbb {E}}}}[{\mathcal {X}}^n] < \infty \) such that for \({{\mathrm{\mathbb {P}}}}\)-a.e. \(\omega \),
Proof
We denote by d be the natural graph distance on \({\mathbb {Z}}^d\), i.e. d(x, y) is the minimal length of a path between x and y and with a slight abuse of notation we set \(B(r) := \{y \in {\mathbb {Z}}^d \, | \, d(0, y) \le r\}\). Fix exponents \(\alpha \in (d,d+2\delta )\), \(k\in \mathbb N\) such that \(d+2d/k<\alpha \) and \(\varepsilon \in (0,\delta )\). Hence, with m denoting the weight of (2.1), we get by appealing to Lemma 2.6 the estimate
where \({\mathcal {X}}\) denotes a random constant (with arbitrarily hight moments provided \(M(p,q)<\infty \) for p and q sufficiently large). Consider \(R_t:=d(0,X_t)\) and note that
Now, let \((z_0, \ldots , z_{R_t})\) denote a nearest-neighbour path connecting \(z_0=0\) and \(z_{R_t}=X_t\). Then, by the cocycle property (cf. Remark 6.1),
Hence, with \(H(\omega ):=\sum _{|e|=1} \big | \xi \cdot \chi (\omega ,e) \big |^k\) and \(H^*(\omega ):=\sup _{R>0}\frac{1}{\# B(R)} \sum _{y \in B(R)} H(\tau _y \omega )\) (the associated maximal function), we get
Note that \({{\mathrm{\mathbb {E}}}}[H^{\frac{2n}{k}}] <\infty \) for any \(2n>k\) provided \(M(p,q)<\infty \) for p and q sufficiently large (depending on n and k), see Proposition 1.10 (b). Hence, by the maximal ergodic theorem (cf. e.g. [38, Theorem 6.3 in Chapter 1 and Chapter 6]), we have \({{\mathrm{\mathbb {E}}}}\left[ (H^*)^{\frac{2n}{k}}\right] \lesssim {{\mathrm{\mathbb {E}}}}\Big [H^{\frac{2n}{k}} \Big ] < \infty \), and thus the claimed statement follows. \(\square \)
6.3 Proof of Theorem 1.5
Let \(\delta \in (0, \frac{1}{10})\) be arbitrary and let p and q be such that the statements in Propositions 6.3 and 6.8 hold. Recall that \(X_t=M_t-\chi (\omega ,X_t)\), \(t\ge 0\), for \({\mathbb {P}}\)-a.e. \(\omega \). Hence, for any \(x\in {\mathbb {R}}\),
Further, Proposition 6.8 gives that
and an application of Čebyšev’s inequality yields
Recall that \(\Phi \) denotes the distribution function of the standard normal distribution. Since \(\Phi '\) is bounded by 1, we have
and we get
On the other hand, since
we can derive a similar lower bound by using the same arguments. Thus,
and the same estimate holds if we replace \(P_0^\omega \) by \({{\mathrm{\mathbb {P}}}}_0\). Hence, the claim follows from Proposition 6.3. \(\square \)
7 Examples
In this section we discuss a class of environments satisfying Assumption 1.3 which are related to the Ginzburg Landau \(\nabla \phi \)-interface model (see [20]). This is a well known model for an interface separating two pure thermodynamical phases. We first explain a slightly more general construction and then revisit that specific class of environments at the end of the discussion. Our starting point is a shift-invariant probability measure \({\tilde{\mu }}\) on \({\tilde{\Omega }}:={\mathbb {R}}^{{\mathbb {Z}}^d}\). We suppose that for any \({\tilde{u}}\in C^1({\tilde{\Omega }},{\mathbb {R}})\) the measure \({\tilde{\mu }}\) satisfies the Brascamp-Lieb inequality
where G denotes the Green’s function associated with the discrete Laplacian on \({\mathbb {Z}}^d\), and \({\tilde{\partial }}{\tilde{u}}\) denotes the \(\ell ^2({\mathbb {Z}}^d)\)-gradient of \({\tilde{u}}\), which for sufficiently smooth \({\tilde{u}}\) is characterised by
with Dirac function \(\delta _x:{\mathbb {Z}}^d\rightarrow \{0,1\}\). Further, let \({\bar{\mu }}\) be the probability measure on \({\bar{\Omega }}:={\mathbb {R}}^{E_d}\) defined as the pushforward of \({\tilde{\mu }}\) under the transformation
(see Sect. 1.3 for the definition of the discrete gradient \(\nabla \)). We denote by \(\partial {\bar{u}}\) the \(\ell ^2(E_d)\)-gradient of \({\bar{u}}\), which for sufficiently smooth \({\bar{u}}\) is characterised by
with Dirac function \(\delta _e:E_d\rightarrow \{0,1\}\). It turns out that for any \({\bar{u}}\in C^1({\bar{\Omega }},{\mathbb {R}})\) we have the spectral gap estimate
This can be seen as follows. Setting \({\tilde{u}}({\tilde{\omega }}):={\bar{u}}(T{\bar{\omega }})\) we get from the product rule the relation
where \(\nabla ^*\) denotes the (negative) discrete divergence operator, see Sect. 1.3. Hence,
where \(v:{\mathbb {Z}}^d\rightarrow {\mathbb {R}}\) denotes the convolution
Recall that G denotes the discrete Green function for \(\nabla ^*\nabla \). In particular, v solves \(\nabla ^*\nabla v=\nabla ^*\partial {\bar{u}}\), and a standard energy estimate yields \(\sum _{e\in E_d}|\nabla v|^2\le \sum _{e\in E_d}|\partial {\bar{u}}(e)|^2\). We conclude that
which combined with (7.1) yields the spectral gap estimate in (7.2).
Finally, we define the probability measure \({{\mathrm{\mathbb {P}}}}\) on \(\Omega =(0,\infty )^{E_d}\) as the pushforward of \({\bar{\mu }}\) under the (nonlinear) transformation
with \(\lambda :{\mathbb {R}}\rightarrow (0,\infty )\) denoting a Lipschitz function with global Lipschitz constant \(c_\lambda >0\). With any \(u\in L^2(\Omega ,{{\mathrm{\mathbb {P}}}})\) we may associate \({\bar{u}}\in L^2({\bar{\Omega }},{\bar{\mu }})\) via \({\bar{u}}:=u\circ \Lambda \). Then the chain rule yields
and we thus obtain the spectral gap estimate in Assumption 1.3 in form of
Now we explain the link to the Ginzburg Landau \(\nabla \phi \) interface model. In \(d\ge 3\) consider an interface described by a collection of random height variables \(\varphi \in {\tilde{\Omega }}\) sampled from a Gibbs measure \(\mu \) formally given by
with formal Hamiltonian
and potential function \(V\in C^2({\mathbb {R}}; {\mathbb {R}}_+)\), which we suppose to be even and strictly convex with \(c_- \le V'' \le c_+\) for some \(0< c_- \le c_+ < \infty \). Note that in the special case \(V(x)=\frac{1}{2} x^2\) the field \(\phi =\{\phi (x); x\in {\mathbb {Z}}^d \}\) becomes a discrete Gaussian free field. For more details on the rigorous definition, which is based on taking the thermodynamical limit of Gibbs measures on finite volume approximations of the infinite lattice \({\mathbb {Z}}^d\), see [20, Sect. 4.5]. Then, thanks to the strict convexity we have the Brascamp-Lieb inequality (see [17], cf. also [46])
In particular, (7.1) holds for \(\mu \) and the above considerations show that an environment with random conductances of the form \(\{\omega (e)=\lambda (\nabla \phi (e)), e\in E_d\}\) for any positive, even, globally Lipschitz function \(\lambda \in C^1({\mathbb {R}})\) satisfies Assumption 1.3.
As a further consequence from the Brascamp-Lieb inequality it is known that exponential moments for \(\nabla \phi (e)\) exist (cf. [20, 46]). Thus, the environment \(\{\omega (e)=\lambda (\nabla \phi (e)), e\in E_d\}\) with \(\lambda \) as above also satisfies \(M(p,q)<\infty \) for all \(p,q\in [1,\infty )\).
References
Andres, S., Barlow, M.T., Deuschel, J.-D., Hambly, B.M.: Invariance principle for the random conductance model. Probab. Theory Relat. Fields 156(3–4), 535–580 (2013)
Andres, S., Deuschel, J.-D., Slowik, M.: Invariance principle for the random conductance model in a degenerate ergodic environment. Ann. Probab. 43(4), 1866–1891 (2015)
Andres, S., Deuschel, J.-D., Slowik, M.: Harnack inequalities on weighted graphs and some applications to the random conductance model. Probab. Theory Relat. Fields 164(3–4), 931–977 (2016)
Andres, S., Deuschel, J.-D., Slowik, M.: Heat kernel estimates for random walks with degenerate weights. Electron. J. Probab. 21, 33, 21 (2016)
Andres, S., Deuschel, J.-D., Slowik, M.: Heat kernel estimates and intrinsic metric for random walks with general speed measure under degenerate conductances. Preprint, available at arXiv:1711.11119 (2017)
Armstrong, S., Dario, P.: Elliptic regularity and quantitative homogenization on percolation clusters. ArXiv e-prints, Sept (2016)
Armstrong, S., Kuusi, T., Mourrat, J.-C.: Quantitative stochastic homogenization and large-scale regularity. Preprint, available at arXiv:1705.05300 (2017)
Armstrong, S., Kuusi, T., Mourrat, J.-C.: The additive structure of elliptic homogenization. Invent. Math. 208(3), 999–1154 (2017)
Armstrong, S.N., Mourrat, J.-C.: Lipschitz regularity for elliptic equations with random coefficients. Arch. Ration. Mech. Anal. 219, 255–348 (2016)
Armstrong, S .N., Smart, C .K.: Quantitative stochastic homogenization of convex integral functionals. Ann. Sci. Éc. Norm. Supér. (4) 49(2), 423–481 (2016)
Barlow, M., Burdzy, K., Timár, Á.: Comparison of quenched and annealed invariance principles for random conductance model. Probab. Theory Relat. Fields 164(3–4), 741–770 (2016)
Bella, P., Fehrman, B., Fischer, J., Otto, F.: Stochastic homogenization of linear elliptic equations: higher-order error estimates in weak norms via second-order correctors. SIAM J. Math. Anal. 49(6), 4658–4703 (2017)
Bella, P., Fehrman, B., Otto, F.: A Liouville theorem for elliptic systems with degenerate ergodic coefficients. Ann. Appl. Probab. 28(3), 1379–1422 (2018)
Bella, P., Giunti, A., Otto, F.: Quantitative stochastic homogenization: local control of homogenization error through corrector. In: Mathematics and materials, vol. 23 of IAS/Park City Math. Ser., pp. 301–327. Am. Math. Soc. Providence, RI (2017)
Ben-Artzi, J., Marahrens, D., Neukamm, S.: Moment bounds on the corrector of stochastic homogenization of non-symmetric elliptic finite difference equations. Commun. Partial Differ. Equ. 42(2), 179–234 (2017)
Biskup, M.: Recent progress on the random conductance model. Probab. Surv. 8, 294–373 (2011)
Brascamp, H.J., Lieb, E.H.: On extensions of the Brunn–Minkowski and Prékopa–Leindler theorems, including inequalities for log concave functions, and with an application to the diffusion equation. J. Funct. Anal. 22(4), 366–389 (1976)
de Buyer, P., Mourrat, J.-C.: Diffusive decay of the environment viewed by the particle. Electron. Commun. Probab. 20, 23, 12 (2015)
De Masi, A., Ferrari, P.A., Goldstein, S., Wick, W.D.: An invariance principle for reversible Markov processes. Applications to random motions in random environments. J. Stat. Phys. 55(3–4), 787–855 (1989)
Dembo, A., Funaki, T.: Stochastic interface models. In: Picard, J. (ed.) Lectures on Probability Theory and Statistics. Lecture Notes in Mathematics, vol. 1869. Springer, Berlin, Heidelberg (2005)
Derriennic, Y., Lin, M.: Fractional Poisson equations and ergodic theorems for fractional coboundaries. Israel J. Math. 123, 93–130 (2001)
Fischer, J., Otto, F.: Sublinear growth of the corrector in stochastic homogenization: optimal stochastic estimates for slowly decaying correlations. Stoch. Partial Differ. Equ. Anal. Comput. 5(2), 220–255 (2017)
Flegel, F., Heida, M., Slowik, M.: Homogenization theory for the random conductance model with degenerate ergodic weights and unbounded-range jumps. ArXiv e-prints, Feb (2017)
Giunti, A., Mourrat, J. C.: Quantitative homogenization of degenerate random environments. Ann. de l’Institut Henri Poincaré, Probab. et Statistiques, 54(1), 22–50 (2018)
Gloria, A., Neukamm, S., Otto, F.: A regularity theory for random elliptic operators. arXiv:1409.2678 (2014)
Gloria, A., Neukamm, S., Otto, F.: Quantitative homogenization for correlated coefficient fields (in preparation)
Gloria, A., Neukamm, S., Otto, F.: Quantification of ergodicity in stochastic homogenization: optimal bounds via spectral gap on Glauber dynamics—long version. MPI Leipzig, preprint 3 (2013)
Gloria, A., Neukamm, S., Otto, F.: Quantification of ergodicity in stochastic homogenization: optimal bounds via spectral gap on Glauber dynamics. Invent. Math. 199(2), 455–515 (2015)
Gloria, A., Otto, F.: An optimal variance estimate in stochastic homogenization of discrete elliptic equations. Ann. Probab. 39(3), 779–856 (2011)
Gloria, A., Otto, F.: An optimal error estimate in stochastic homogenization of discrete elliptic equations. Ann. Appl. Probab. 22(1), 1–28 (2012)
Gloria, A., Otto, F.: The corrector in stochastic homogenization: optimal rates, stochastic integrability, and fluctuations. ArXiv e-prints, Oct. (2015)
Gloria, A., Otto, F.: Quantitative results on the corrector equation in stochastic homogenization. J. Eur. Math. Soc. (JEMS) 19(11), 3489–3548 (2017)
Haeusler, E.: On the rate of convergence in the central limit theorem for martingales with discrete and continuous time. Ann. Probab. 16(1), 275–299 (1988)
Helland, I.S.: Central limit theorems for martingales with discrete or continuous time. Scand. J. Stat. 9(2), 79–94 (1982)
Heyde, C.C., Brown, B.M.: On the departure from normality of a certain class of martingales. Ann. Math. Stat. 41, 2161–2165 (1970)
Kipnis, C., Varadhan, S.R.S.: Central limit theorem for additive functionals of reversible Markov processes and applications to simple exclusions. Commun. Math. Phys. 104(1), 1–19 (1986)
Kozlov, S.M.: The averaging of random operators. Mat. Sb. (N.S.), 109(151)(2):188–202, 327 (1979)
Krengel, U.: Ergodic theorems, volume 6 of de Gruyter Studies in Mathematics. Walter de Gruyter & Co., Berlin, (1985). With a supplement by Antoine Brunel
Kumagai, T.: Random walks on disordered media and their scaling limits, volume 2101 of Lecture Notes in Mathematics. Springer, Cham, 2014. Lecture notes from the 40th Probability Summer School held in Saint-Flour, École d’Été de Probabilités de Saint-Flour [Saint-Flour Probability Summer School] (2010)
Lamacz, A., Neukamm, S., Otto, F.: Moment bounds for the corrector in stochastic homogenization of a percolation model. Electron. J. Probab. 20, 30 (2015)
Marahrens, D., Otto, F.: Annealed estimates on the Green function. Probab. Theory Relat. Fields 163(3–4), 527–573 (2015)
Mourrat, J.-C.: Variance decay for functionals of the environment viewed by the particle. In: Annales de l’institut Henri Poincaré (B), vol. 47, pp. 294–327 (2011)
Mourrat, J.-C.: A quantitative central limit theorem for the random walk among random conductances. Electron. J. Probab., 17, 97, 17 (2012)
Mourrat, J.-C.: On the rate of convergence in the martingale central limit theorem. Bernoulli 19(2), 633–645 (2013)
Mourrat, J.-C., Otto, F.: Anchored Nash inequalities and heat kernel bounds for static and dynamic degenerate environments. J. Funct. Anal. 270(1), 201–228 (2016)
Naddaf, A., Spencer, T.: On homogenization and scaling limit of some gradient perturbations of a massless free field. Commun. Math. Phys. 183(1), 55–84 (1997)
Neukamm, S.: An introduction to the qualitative and quantitative theory of homogenization. Interdiscipl. Inform. Sci. 24(1), 1–48 (2018)
Neukamm, S., Schäffner, M., Schlömerkemper, A.: Stochastic homogenization of nonconvex discrete energies with degenerate growth. SIAM J. Math. Anal. 49(3), 1761–1809 (2017)
Papanicolaou, G.C., Varadhan, S.R.S.: Boundary value problems with rapidly oscillating random coefficients. In: Random fields, vol. I, II (Esztergom, 1979), volume 27 of Colloq. Math. Soc. János Bolyai, pp. 835–873. North-Holland, Amsterdam-New York (1981)
Sidoravicius, V., Sznitman, A.S.: Quenched invariance principles for walks on clusters of percolation or among random conductances. Probab. Theory Relat. Fields 129(2), 219–244 (2004)
Yurinskiĭ, V.V.: Averaging of symmetric diffusion in a random medium. Sibirsk. Mat. Zh. 27(4), 167–180, 215 (1986)
Acknowledgements
We thank Jean-Dominique Deuschel, Jean-Christophe Mourrat and Martin Slowik for useful discussions and valuable comments. SA was partially supported by the German Research Foundation in the Collaborative Research Center 1060 ”The Mathematics of Emergent Effects”, Bonn. SN was supported by the DFG in the context of TU Dresdens Institutional Strategy “The Synergetic University”.
Author information
Authors and Affiliations
Corresponding author
Appendix A. The uniformly elliptic case: Proof of Theorem 1.6
Appendix A. The uniformly elliptic case: Proof of Theorem 1.6
In this section we discuss the uniformly elliptic case and establish the improved rates in the Berry–Esseen Theorem as stated in Theorem 1.6. We first recall a deterministic heat kernel estimate, see e.g. [28] for a self-contained proof.
Lemma A.1
Let \(d \ge 2\) and assume that uniform ellipticity holds, i.e. \(M(p,q)<\infty \) for \(p=q=\infty \). Then, for all \(\alpha \ge 0\) there exists a constant \(c=C(d,M(\infty ,\infty ),\alpha )\) such that for all \(t\ge 0\) we have
In the uniformly elliptic case and under the assumption of a spectral gap, in [15, 28,29,30] moment bounds on the corrector have been obtained. The following lemma additionally states that in \(d=2\) the extended corrector grows logarithmically. For a proof see [47, Theorem 4.8] (see also [25] where the case of a continuum system is treated).
Lemma A.2
(Bounds on the corrector) Let \(d \ge 2\) and suppose that Assumption 1.3 and uniform ellipticity hold, i.e. \(M(p,q)<\infty \) for \(p=q=\infty \). Then the extended correctors \((\phi _i,\sigma _i)\) exist in the sense of Proposition 1.10 (a) and for all \(n\in \mathbb N\) and all \(x\in \mathbb Z^d\) we have
with constant \(c=c(d,\rho ,M(\infty ,\infty ),n)\).
For any direction \(\xi \in {\mathbb {R}}^d\) with \(|\xi |=1\), we define the associated corrector \(\phi _\xi \), the harmonic coordinate \(\psi _\xi \), the opérateur carré du champ \(\Gamma ^\omega \), and \(g_\xi \) as in Proposition 1.11, which we can now refine in the uniformly elliptic case.
Lemma A.3
Let \(d \ge 2\). Suppose that Assumption 1.3 and uniform ellipticity hold, i.e. \(M(p,q)<\infty \) for \(p=q=\infty \). Then there exists a constant \(c=c(d,\rho , M(\infty ,\infty ))\) such that for all \(t\ge 0\),
Proof
As in the proof of Proposition 1.11 we deduce that \( g_\xi (\omega )-{{\mathrm{\mathbb {E}}}}[g_\xi ]=\nabla ^*H(\omega ,0)\), where H is defined in Lemma 5.1. Thus,
An integration by parts (which is applicable thanks to Lemma A.2) and an application of Lemma A.1 yield (for \(\alpha =\frac{d}{2}+1\))
For \(d\ge 3\) the random field H is stationary and has finite second moments, cf. Lemma A.2. We thus get the claimed estimate \(I\le c(t+1)^{-\frac{1}{2}}\). For \(d=2\), we infer from the definition of H and the moment bounds in Lemma A.2 that \({{\mathrm{\mathbb {E}}}}\Big [|H(y)|^2\Big ] \le c\log (|y|+1)\), and thus the claimed estimate follows as well. \(\square \)
From Lemma A.3 we obtain the following refinement of Proposition 6.3 (i).
Proposition A.4
Let \(d \ge 2\). Suppose that Assumption 1.3 and uniform ellipticity hold, i.e. \(M(p,q)<\infty \) for \(p=q=\infty \). Then there exists a constant \(c=c(d,\rho , M(\infty ,\infty ))\) such that for all \(t\ge 0\),
The proof is the same as the one for Proposition 6.3. The only difference is that we appeal to Lemma A.3 to improve estimate (6.4). With Lemma A.1 and Lemma A.2 at hand, we also obtain the following refinement of Proposition 6.8:
Lemma A.5
Let \(d \ge 2\), suppose Assumption 1.3 and uniform ellipticity, i.e. \(M(p,q)<\infty \) for \(p=q=\infty \). Then there exists a random variable \({\mathcal {X}}\) such that for all \(t\ge 0\) and \(n\in \mathbb N\),
where \(c=c(d,\rho , M(\infty ,\infty ),n)\).
Proof
We only discuss the case \(d=2\) since the argument for \(d\ge 3\) is similar but simpler. W.l.o.g. let \(\xi =e_i\). By Lemma A.1 we have
and thus we get by Lemma A.2 (with \(\alpha =\frac{d}{2}+1\)) for any \(n\in \mathbb N\),
which is the claim. \(\square \)
With these estimates at hand, Theorem 1.6 follows by the same argument as in the proof of Theorem 1.5.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Andres, S., Neukamm, S. Berry–Esseen theorem and quantitative homogenization for the random conductance model with degenerate conductances. Stoch PDE: Anal Comp 7, 240–296 (2019). https://doi.org/10.1007/s40072-018-0127-8
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40072-018-0127-8