Abstract
We establish a quenched local central limit theorem for the dynamic random conductance model on \({\mathbb {Z}}^d\) only assuming ergodicity with respect to spacetime shifts and a moment condition. As a key analytic ingredient we show Hölder continuity estimates for solutions to the heat equation for discrete finite difference operators in divergence form with timedependent degenerate weights. The proof is based on De Giorgi’s iteration technique. In addition, we also derive a quenched local central limit theorem for the static random conductance model on a class of random graphs with degenerate ergodic weights.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
One of the most studied models for random walks in random environments is the random conductance model (RCM). Objectives of particular interest are homogenisation results such as invariance principles or stronger local limit theorems for the associated heat kernel. For instance, in [5] a local limit theorem has been proven for random walks under general ergodic conductances satisfying a certain moment condition.
For the dynamic RCM evolving in a timevarying random environment a local limit theorem has been stated in [1] which required uniform ellipticity, meaning that the conductances are almost surely uniformly bounded and bounded away from zero, as well as polynomial mixing, i.e. the polynomial decay of the correlations of the conductances in space and time. In this paper we significantly relax these assumptions and show a quenched local limit theorem for the dynamic RCM with degenerate spacetime ergodic conductances that only need to satisfy a moment condition. In contrast to many results on various models for random walks in dynamic random environments, in the present paper the environment is not assumed to be uniformly elliptic or mixing or Markovian in time and we also do not require any regularity with respect to the time parameter.
The proof exploits a quenched invariance principle established under the same assumptions in [3]. In addition and original to this paper, some Hölder continuity in the macroscopic scale for the heat kernel is required. For the proof we extend the De Giorgi iteration technique to discrete finitedifference divergenceform operators with timedependent degenerate coefficients. De Giorgi iteration is an alternative to the wellknown Moser iteration. The latter has been implemented for the discrete graph setting in [5, 24]. It turns out that the De Giorgi’s iteration method performs far more efficiently for proving Hölder regularity of timespace harmonic functions. On one hand, it avoids the need for a parabolic Harnack inequality in contrast to the arguments in [5, 24], and it also makes the proof significantly simpler and shorter.
1.1 Setting and main result
Consider the Euclidean lattice, \(({\mathbb {Z}}^d, E_d)\), for \(d \ge 2\), whose edge set, \(E_d\), is given by the set of all nonoriented nearest neighbour bonds, that is \(E_d = \{ \{x,y\} : x,y \in {\mathbb {Z}}^d,\ xy = 1 \}\). The graph \(({\mathbb {Z}}^d, E_d)\) is endowed with a family of timedependent positive weights \(\omega \equiv \{\omega _t(e) : e \in E_d,\, t \in {\mathbb {R}}\}\). We refer to \(\omega _t(e)\) as the conductance of an edge e at time t. Let \(\Omega \) be the set of measurable functions from \({\mathbb {R}}\) to \((0,\infty )^{E_d}\) equipped with a \(\sigma \)algebra \({\mathcal {F}}\) and let \({{\,\mathrm{\mathbb {P}}\,}}\) be a probability measure on \((\Omega , {\mathcal {F}})\). We write \({{\,\mathrm{\mathbb {E}}\,}}\) for the expectation with respect to \({{\,\mathrm{\mathbb {P}}\,}}\). Upon \(\Omega \) we consider the \(d+1\)parameter group of translations \((\tau _{t,x} : (t,x)\in {\mathbb {R}}\times {\mathbb {Z}}^d)\) given by
Assumption 1.1

(i)
\({{\,\mathrm{\mathbb {P}}\,}}\) is ergodic and stationary with respect to spacetime shifts, that is, for all \(x \in {\mathbb {Z}}^d\), \(t\in {\mathbb {R}}\), \({{\,\mathrm{\mathbb {P}}\,}}\circ \, \tau _{t,x}^{1} \!= {{\,\mathrm{\mathbb {P}}\,}}\,\) , and \({{\,\mathrm{\mathbb {P}}\,}}[A] \in \{0,1\}\,\) for any \(A \in {\mathcal {F}}\) such that \({{\,\mathrm{\mathbb {P}}\,}}[A \triangle \tau _{t,x}(A)] = 0\) for all \(x \in {\mathbb {Z}}^d\), \(t\in {\mathbb {R}}\).

(ii)
For every \(A \in {\mathcal {F}}\) the mapping \((\omega ,t,x)\mapsto \mathbb {1}_A(\tau _{t,x}\omega )\) is jointly measurable with respect to the \(\sigma \)algebra \({\mathcal {F}}\otimes {\mathcal {B}}({\mathbb {R}})\otimes {\mathcal {P}}({\mathbb {Z}}^d)\).

(iii)
\({{\,\mathrm{\mathbb {E}}\,}}\big [\omega _t(e)\big ]< \infty \) and \({{\,\mathrm{\mathbb {E}}\,}}\big [\omega _t(e)^{1}\big ] < \infty \) for any \(e \in E_d\) and \(t \in {\mathbb {R}}\).
For a given \(\omega \in \Omega \) and for \(s \in {\mathbb {R}}\) and \(x \in {\mathbb {Z}}^d\), let \({{\,\mathrm{\mathrm {P}}\,}}_{s,x}^{\omega }\) be the probability measure on the space of \({\mathbb {Z}}^d\)valued càdlàg functions on \({\mathbb {R}}\), under which the coordinate process \(X \equiv (X_t : t \in {\mathbb {R}})\) is the timeinhomogeneous Markov process on \({\mathbb {Z}}^d\) starting in x at time s with timedependent generator (in the \(L^2\)sense) acting on bounded functions \(f\!: {\mathbb {Z}}^d \rightarrow {\mathbb {R}}\) as
In other words, X is the continuoustime random walk with timedependent jump rates given by the conductances, i.e. the random walk X chooses its next position at random proportionally to the conductances. Note that the total jump rate out of any lattice site is not normalised, and the law of the sojourn time of X depends on its timespace position. Therefore, X is often called the variable speed random walk (VSRW). It is known that under Assumption 1.1(iii) the process X does not explode, i.e. there are only finitely many jumps in finite time, see [3, Lemma 4.1]. Note that the counting measure is a timeindependent invariant measure for X. For \(x,y \in {\mathbb {Z}}^d\) and \(t\ge s\), we denote \(p^{\omega }(s,x;t,y)\) the heat kernel of \((X_t : t \ge s )\), that is
During the last decade, considerable effort has been invested in the derivation of a quenched functional central limit theorem (QFCLT) or quenched invariance principle, see the surveys [15, 32] (and references therein), and [4, 13, 27] for more recent results on the static RCM. For RCMs including longrange jumps a QFCLT has been recently established in [16] . For the timedynamic RCM with ergodic degenerate conductances the following QFCLT has been shown in [3]. We refer to [17] for a closely related result including random walks on dynamical bond percolation.
Assumption 1.2
There exist \(p, q \in (1, \infty ]\) satisfying
such that for any \(e \in E_d\) and \(t \in {\mathbb {R}}\),
Theorem 1.3
(QFCLT [3]) Suppose that Assumptions 1.1 and 1.2 hold. Then, for \({{\,\mathrm{\mathbb {P}}\,}}\)a.e. \(\omega \), the process converges (under \({{\,\mathrm{\mathrm {P}}\,}}_{\!0}^\omega \)) in law towards a Brownian motion on \({\mathbb {R}}^d\) with a deterministic nondegenerate covariance matrix \(\Sigma ^2\).
As our main result we establish a quenched local limit theorem (or quenched local CLT) for X, which states that, \({{\,\mathrm{\mathbb {P}}\,}}\)a.s., under diffusive scaling the rescaled transition densities converge uniformly over compact sets towards the Gaussian transition density of the Brownian motion with covariance matrix \(\Sigma ^2\) appearing as the limit process in Theorem 1.3. That Gaussian density will be denoted
Theorem 1.4
(Quenched local CLT) Suppose that Assumptions 1.1 and 1.2 hold. For any \(T_2> T_1 > 0\) and \(K > 0\),
In general, a local limit theorem is a stronger statement than a FCLT. In fact, even in the case of time independent i.i.d. conductances, where the QFCLT is known to hold [2], the heat kernel may behave subdiffusively due to a trapping phenomenon (see [14]), so that a local limit theorem may fail in general. Nevertheless it does hold, for instance, in the case of uniformly elliptic conductances or for random walks on supercritical i.i.d. percolation clusters, see [11]. We refer to [18] for sharp conditions on the tails of i.i.d. conductances at zero for Harnack inequalities and a local limit theorem to hold. Stronger quantitative homogenization results for heat kernels and Green functions can be established by using techniques from quantitative stochastic homogenization, see [8, Chapters 8–9] for details in the uniformly elliptic case. This technique has been adapted to the VSRW on static percolation clusters in [22], and it is expected that it also applies to other degenerate models. In the general ergodic setting it is known that moment conditions are necessary even for the QFCLT to hold (cf. [9]). In fact, in [5, 7] quenched local limit theorems have been derived under moment conditions that turned out to be optimal in certain cases. A corresponding result for a class of symmetric diffusions has been obtained in [19].
Since the static RCM is naturally included in the timedynamic model, the moment condition in Assumption 1.2 is not optimal for both, the QFCLT and local limit theorem. For the static VSRW, a QFCLT holds in \(d=2\) already under the moment condition with \(p=q=1\) (see [15]), a local limit theorem has recently been shown in [12] under the moment condition with \(1/p+1/q<2/(d1)\), which is a weaker condition on p and q as the one in Assumption 1.2.
Relevant examples for dynamic RCMs include random walks in an environment generated by some interacting particle systems like zerorange or exclusion processes, cf. [35]. Some ondiagonal heat kernel upper bounds for a degenerate timedependent conductances model are obtained in [35]. Full twosided Gaussian estimates are known in the uniformly elliptic case for the VSRW [25] or for constant speed walks under effectively nondecreasing conductances [26]. However, unlike for static environments, twosided Gaussian heat kernel bounds are much less regular and some pathologies may arise as they are not stable under perturbations, see [29]. Moreover, such bounds are expected to be governed by a timedynamic version of the intrinsic distance whose exact form in a degenerate setting is unknown (cf. e.g. [6] for some results on the static RCM). These facts make the derivation of Gaussian bounds for the dynamic RCM with unbounded conductances a subtle open challenge.
Finally, let us remark that there is a link between the time dynamic RCM and GinzburgLandau \(\nabla \varphi \) interface models as such random walks appear in the socalled HelfferSjöstrand representation of the spacetime covariance in these models (cf. [7, 25]). In this context, the annealed heat kernel of such a dynamic RCM is relevant. Although the quenched version in Theorem 1.4 does not directly imply an annealed local limit theorem, such a result has recently been shown in [7] under a stronger moment condition (the proof relies on the quenched version in Theorem 1.4), which is then applied in [7, Section 5] to obtain a scaling limit for the spacetime covariances in the GinzburgLandau \(\nabla \varphi \) model. This result also applies to interface models with certain convex but not strictly convex potentials.
1.2 The method
The proof of Theorem 1.4 has two nontrivial main ingredients, the invariance principle in Theorem 1.3 and a Hölder regularity estimate for the heat kernel. For the latter it is common to use a purely analytic approach and to interpret the heat kernel as a fundamental solution of the heat equation
Then the aim becomes a regularity estimate at large scales for solutions to the parabolic Eq. (1.3) with weights \(\omega \) which are not uniformly bounded away from zero and infinity. As observed in (2.3) below, \({\mathcal {L}}^\omega _t f(x) = \nabla ^*(\omega _t\nabla f)\) is in divergence form and thus it may be regarded as the discrete analogue to the operator \((L^a_t f)(x) = \sum _{i,j = 1}^d \partial _{x_i} \big (a_{ij}(t,x) \partial _{x_j} f(x)\big )\), acting on functions on \({\mathbb {R}}^d\), where \(a = (a_{ij}(t,x))\) is a timedependent symmetric positive definite matrix. The question about regularity of solutions to the continuous heat equation \((\partial _t  L^a_t) u = 0\) is very classical. The first results appeared independently in the influential works by De Giorgi [23] and Nash [36]. They showed that solutions to elliptic or parabolic problems are Hölder continuous if the coefficient matrix a is uniformly elliptic. Later, a new and farther reaching proof was provided by Moser [34]. In fact, nowadays the by far most common approach is to deduce Hölder regularity from a parabolic Harnack inequality (PHI) derived by Moser’s iteration technique. In the continuous setting this has been implemented in [31] for parabolic equations with timedependent degenerate coefficients. In the case of static and normalised weights on graphs, the approach has been used in [24] for uniformly elliptic weights and in [5] for degenerate weights satisfying an integrability condition. However, in the present setting the approach fails. Indeed, the most difficult step in the proof of the PHI is to link a certain \(\ell ^{\alpha }\)norm of u with its \(\ell ^{\alpha }\)norm (cf. [5, Section 4.2] or [24, Section 2.4]). Those arguments require maximal inequalities on a whole range of spacetime cylinders. Unless the weights are normalised, due to certain effects on discrete spaces such maximal inequalities can only be derived between timespace cylinders on certain scales (manifested in the lower bound on \(\sigma  \sigma '\) in the maximal inequality in Theorem 2.7 below), which is not sufficient to derive a PHI.
To circumvent those obstructions we take a different route and revisit the original method of De Giorgi [23] and transfer it to the discrete Eq. (1.3) on a certain class of graphs while we allow the weights \(\omega \) to be unbounded. However, in a central step in [23, Lemma II], see also [33, Equation (5.5)], the level sets of a solution are controlled by an application of an isoperimetric inequality, which fails in our setting of a discrete gradient associated with the nonlocal operator \({\mathcal {L}}^\omega _t\). Instead, following an idea in [39], we control the level sets of a solution u to (1.3) by bounding their sizes in terms of \((\ln u)_+\) (see Lemmas 2.12 and 2.13 below). Then, the key result is an oscillation inequality stated in Theorem 2.4 below, which directly implies Hölder regularity. Since we do not assume any uniform upper or lower bound on the conductances \(\omega _t(x,y)\), the global upper and lower bounds on \(\omega _t(x,y)\) need to be replaced by certain integrability conditions on \(\omega _t(x,y)\) and \(1/\omega _t(x,y)\). Although this procedure does not require a full PHI, it still provides a weak PHI, see Theorem 2.14 below.
1.3 Random walks on random graphs
As an additional result we derive in Sect. 5 a local limit theorem for random walks evolving on a random graph under static ergodic random conductances satisfying a similar moment condition, see Theorem 5.6 below. Our assumptions cover a certain class of random graphs including supercritical i.i.d. percolation clusters and clusters in percolation models with long range correlations, see e.g. [28, 38]. The corresponding QFCLT has been shown in [27]. In fact, the oscillation inequality in Theorem 2.4 is sufficiently robust so that Theorem 5.6 can be derived from it by similar arguments as Theorem 1.4.
1.4 Structure of the paper
In Sect. 2 we implement the De Giorgi iteration and show the oscillation inequality. In Sect. 3 we establish in Theorem 3.1 a local limit theorem for random walks on a class of subgraphs of \({\mathbb {Z}}^d\), provided a Hölder continuity estimate at large scales holds. Then this is used to show Theorem 1.4 in Sect. 4. The result for random walks on random graphs is discussed in Sect. 5. “Appendix 1” contains a technical lemma needed in the proofs, and in “Appendix 1” we verify the forward and backward equations for the transition semigroup of X.
2 De Giorgi iteration on graphs
2.1 Setting and notation
In this section we will work in a more general deterministic framework. We consider an infinite, connected, locally finite graph \(G = (V, E)\) with vertex set V and nonoriented edge set E. We write \(x \sim y\) if \(\{x,y\} \in E\). We endow the graph (V, E) with timedependent, positive weights \(\omega = \{\omega _t(e) \in (0, \infty ) : e \in E, t \in {\mathbb {R}}\}\), where for each \(e\in E\) the map \(t\mapsto \omega _t(e)\) is assumed to be measurable. Next we introduce the timedependent finitedifference operator
acting on bounded functions \(f\!:V \rightarrow {\mathbb {R}}\). Further, we define the measures \(\mu _t^{\omega }\) and \(\nu _t^{\omega }\) on V by
We endow (V, E) with the counting measure that assigns to any \(A \subset V\) the number A of elements in A. Moreover, we denote by the closed ball with center x and radius r with respect to the natural graph distance d, and for a set \(A \subset V\) we define its boundary by . For functions \(f\!:A \rightarrow {\mathbb {R}}\), where either \(A \subset V\) or \(A \subset E\), the \(\ell ^p\)norm will be taken with respect to the counting measure. The corresponding scalar products in \(\ell ^2(V)\) and \(\ell ^2(E)\) are denoted by \(\langle \cdot , \cdot \rangle _{\ell ^2(V)}\) and \(\langle \cdot , \cdot \rangle _{\ell ^2(E)}\), respectively. For any nonempty, finite \(B\subset V\) and \(p\in (0,\infty )\), we introduce spaceaveraged norms on functions \(f\!: B \rightarrow {\mathbb {R}}\) by
Moreover, for any nonempty compact interval \(I \subset {\mathbb {R}}\) and any finite \(B \subset V\) and \(p, p' \in (0, \infty )\), we define spacetimeaveraged norms on functions \(u\!: I \times B \rightarrow {\mathbb {R}}\) by
and , where for any \(t \in I\).
Next we need to introduce some discrete calculus. For \(f\!: V \rightarrow {\mathbb {R}}\) and \(F\!: E \rightarrow {\mathbb {R}}\) we define the operators \(\nabla f\!: E \rightarrow {\mathbb {R}}\) and \(\nabla ^*F\!: V \rightarrow {\mathbb {R}}\) by
where for each nonoriented edge \(e \in E\) we specify one of its two endpoints as its initial vertex \(e^+\) and the other one as its terminal vertex \(e^\). Nothing of what will follow depends on the particular choice. Since for all \(f \in \ell ^2(V)\) and \(F \in \ell ^2(E)\), \(\nabla ^*\) can be seen as the adjoint of \(\nabla \). Notice that in the discrete setting the product rule reads
where . We observe that the operator \({\mathcal {L}}_t^{\omega }\) defined in (2.1) has the form
For any \(t \in {\mathbb {R}}\), the timedependent Dirichlet form associated with \({\mathcal {L}}_t^{\omega }\) is given by
and we set .
Finally, throughout the paper, we write c to denote a positive, finite constant which may change on each appearance. Constants denoted by \(C_i\) will remain the same. In this section we make the following assumptions on the graph (V, E).
Assumption 2.1
Let \(d \ge 2\). There exist constants \(c_{\mathrm {reg}}, C_{\mathrm {reg}}, C_{\mathrm {S}_1}, C_{\mathrm {P}} \in (0, \infty )\) and \( C_{\mathrm {W}} \in [1,\infty )\) such that for all \(x \in V\) the following hold.

(i)
Volume regularity of order d for large balls. There exists \(N_1(x) < \infty \) such that for all \(n \ge N_1(x)\),
$$\begin{aligned} c_{\mathrm {reg}}\, n^d \;\le \; B(x, n) \;\le \; C_{\mathrm {reg}}\, n^d. \end{aligned}$$(2.5) 
(ii)
Sobolev inequality. There exist \(d'\ge d\) and \(N_2(x) < \infty \) such that for all \(n \ge N_2(x)\),
(2.6)for every function \(u\!: V \rightarrow {\mathbb {R}}\) with \({{\,\mathrm{\mathrm {supp}}\,}}u \subset B(x, n)\).

(iii)
Weak Poincaré inequality. There exists \(N_3(x) < \infty \) such that for all \(n \ge N_3(x)\),
$$\begin{aligned} \sum _{y \in B(x,n)} \big  u(x)  (u)_{{\mathcal {N}}} \big  \;\le \; C_{\mathrm {P}}\, n\, \bigg ( 1 + \frac{B(x,n)}{{\mathcal {N}}} \bigg )\, \sum _{\begin{array}{c} y, y' \in B(x, C_{\mathrm {W}} n)\\ y \sim y' \end{array}} \nabla u_t(\{y, y'\} \end{aligned}$$(2.7)for every \(u\!: V \rightarrow {\mathbb {R}}\) and \({\mathcal {N}}\subset B(x, n)\) where .
Remark 2.2

(i)
The Euclidean lattice, \(({\mathbb {Z}}^d, E_d)\), satisfies Assumption 2.1 with \(d'=d\) and \(N_1(x)=N_2(x)=N_3(x)=1\).

(ii)
Suppose that Assumption 2.1(i) holds. Then the Sobolev inequality in 2.6 follows from an isoperimetric inequality for large sets, see [27, Proposition 3.5]. The weak Poincaré inequality in (2.7) follows from a classical local \(\ell ^1\)Poincaré inequality, which in turn can be obtained from a (weak) relative isoperimetric inequality by applying a discrete version of the coarea formula, see [37, Lemma 3.3.3].
Next we recall that Assumption 2.1 implies a weighted spacetime Sobolev inequality for functions with compact support. Noting that \(d' \ge d\ge 2\) we set
Proposition 2.3
(Spacetime Sobolev inequality) Suppose that Assumption 2.1(i) and (ii) hold for some \(d' \ge d\). Let \(I \subset {\mathbb {R}}\) be a compact interval. Then, for any \(q \in [1, \infty )\), \(q' \in [1, \infty ]\) there exists \(C_{\mathrm {S}} \equiv C_{\mathrm {S}}(d, \theta , q) < \infty \) such that for any \(x \in V\) and \(n \ge N_1(x) \vee N_2(x)\),
for every \(u\!: {\mathbb {R}}\times V \rightarrow {\mathbb {R}}\) with \({{\,\mathrm{\mathrm {supp}}\,}}u \subset I \times B(x, n)\). If \(\theta > 0\), then (2.9) holds for \(q = \infty \).
Proof
See [3, Proposition 5.4]. \(\square \)
2.2 Hölder regularity estimates
Our main objective in this section is to implement De Giorgi’s iteration scheme in the graph setting with timedependent degenerate weights in order to derive a Hölder regularity estimate for solutions of parabolic equations. Write
for the oscillation a the function u over a set \(Q \subset {\mathbb {R}}\times V\).
Theorem 2.4
(Oscillation inequality) Suppose that Assumption 2.1 holds. For \(t_0 \in {\mathbb {R}}\), \(x_0 \in V\) and , let \(u > 0\) be such that \(\partial _t u  {\mathcal {L}}_t^{\omega } u = 0\) on \(Q(n) =[t_0n^2,t_0]\times B(x_0,n)\). Then, for any \(p, p', q, q' \in [1, \infty ]\) satisfying
and such that , there exist \(\vartheta \in (0, 1/2)\) and
where \(\gamma \!: [0, \infty )^2 \rightarrow (0,1)\) is continuous and increasing in both components, such that
Theorem 2.4 will be proven in Sect. 2.4 below. This oscillation inequality becomes particularly interesting when \(\omega \) is a random weight configuration on \({\mathbb {Z}}^d\) satisfying Assumptions 1.1 and 1.2. Then, by the ergodic theorem, (2.11) holds with the same constant \(\bar{\gamma }\) for all \(n \in {\mathbb {N}}\) large enough.
Assumption 2.5
For any \(\delta > 0\), \(\sqrt{t_0}/2 > \delta \) and \(x_0 \in V\) there exists \(N_5(x_0, t_0) < \infty \) such that
are independent of \(\delta \), \(x_0\) and \(t_0\). Write \(\bar{\gamma } = \gamma ({\bar{\mu }}, {\bar{\nu }}) \in (0,1)\).
Assumption 2.5 is satisfied, for instance, on the lattice \({\mathbb {Z}}^d\) under Assumptions 1.1 and 1.2, cf. Proposition 4.1 below.
Corollary 2.6
Suppose that Assumptions 2.1 and 2.5 hold. For any \(\delta > 0\), \(x_0 \in V\) and \(\sqrt{t_0}/2 > \delta \) fixed, let \(\bar{\gamma }\) be as in Assumption 2.5. Further, let \(n \in {\mathbb {N}}\) be such that \(\delta n \ge N_4(x_0) \vee N_5(x_0,t_0)\). Suppose that \(u > 0\) is such that \(\partial _t u  {\mathcal {L}}_t^{\omega } u = 0\) on \([0, t_0] \times B(x_0, n)\). Then, for any \(t\in n^2 [t_0  \delta ^2, t_0]\) and \(x_1, x_2 \in B(x_0, \delta n)\),
where and \(C_1\) only depends on \(\bar{\gamma }\).
Proof
Set , \(k \ge 0\) and, with a slight abuse of notation, let
Choose \(k_0 \in {\mathbb {N}}\) such that \(\delta _{k_0} \ge \delta > \delta _{k_0+1}\). In particular, for every \(k \le k_0\) we have \(\delta _{k} \in [\delta , \sqrt{t_0}]\).Now we apply Theorem 2.4 and Assumption 2.5, which gives
We iterate the above inequality on the chain \(Q_0 \supset Q_1 \supset \cdots \supset Q_{k_0}\) to obtain
Note that
Hence, since \(\bar{\gamma }^{k_0} \le c \big (\delta / \sqrt{t_0}\big )^\varrho \), the claim follows from (2.12). \(\square \)
2.3 Maximal inequality
For any \(x_0 \in V\), \(t_0 \ge 0\) and \(n \ge 1\), denote by the corresponding timespace cylinder, and set
and \(Q_{\sigma }(n) \equiv Q_{\sigma ,\sigma }(n)\). In this subsection we will show the following maximal inequality as the main result.
Theorem 2.7
Let Assumption 2.1(i) and (ii) be satisfied. For \(t_0 \in {\mathbb {R}}\), \(x_0 \in V\) and \(n \ge 2(N_1(x_0) \vee N_2(x_0))\), suppose that u is such that \(\partial _t u  {\mathcal {L}}_t^{\omega } u = 0\) on Q(n). Then, for any \(0 \le \Delta < 2/(d+2)\) and \(p, p', q, q' \in [1, \infty ]\) satisfying
there exist \(\kappa \equiv \kappa (p, p', q, q', d') \in (0, \infty )\) and \(C_2 \equiv C_2(p, p', q, q', d') < \infty \) such that for all \(h \ge 0\) and \(1/2 \le \sigma ' < \sigma \le 1\) with \(\sigma  \sigma ' > 4 n^{\Delta }\),
The proof of Theorem 2.7 relies on the following two lemmas, an interpolation inequality for timespace averaged norms and an energy estimate for solutions of parabolic equation with timedependent weights. Let \(Q = I \times B\) be a timespace cylinder, where \(I = [s_1, s_2]\) is an interval and B is a finite, connected subset of V.
Lemma 2.8
For any \(\rho > 1\) and \(q' \in [1, \infty ]\) let \(\gamma _1 \in (1,\rho ]\) and \(\gamma _2 \in [q' / (q'+1), \infty )\) be such that
Then, for any \(u\!: I \times B \rightarrow {\mathbb {R}}\),
Proof
This follows by an application of Hölder’s and Young’s inequality, as in [31, Lemma 1.1] \(\square \)
Lemma 2.9
Consider a smooth function \(\zeta \!: {\mathbb {R}}\rightarrow [0, 1]\) with \(\zeta = 0\) on \((\infty ,s_1]\) and a function \(\eta \!: V \rightarrow [0, 1]\) such that
Suppose that \(\partial _t u  {\mathcal {L}}_t^{\omega }\, u \le 0\) on Q. Then, for any \(k \ge 0\) and \(p, p'\in (1, \infty )\),
with and .
Proof
Let \(k \ge 0\) and consider a function u such that \(\partial _t u \le {\mathcal {L}}_t^{\omega }\, u\) on \(Q = I \times B\). To lighten notation, we set \(v = (uk)_+\). By using the discrete version of the product rule (2.2), we obtain for any fixed \(t \in (s_1, s_2)\) that
where we used that \(\mathop {\mathrm {av}}(\eta )^2(e) \le \mathop {\mathrm {av}}(\eta ^2)(e)\) by Jensen’s inequality. Further, by distinguishing four cases it follows that \(\nabla (\eta ^2 v_t)(e) (\nabla v_t)(e) \le \nabla (\eta ^2 v_t)(e) (\nabla u_t)(e)\) for any \(e \in E\). Hence,
Since the map \(s \mapsto (sk)_+\) is continuous on \({\mathbb {R}}\) with piecewise continuous and bounded derivative, we get that \(\partial _t (u_tk)_+^2 = 2 (u_tk)_+\, \partial _t u_t\). In particular,
By combining (2.18) and (2.19), we deduced that
Moreover, since \(\zeta (s_1) = 0\),
for any \(s \in (s_1, s_2]\). Thus, by multiplying both sides of (2.20) with \(\zeta \) and integrating the resulting inequality over \([s_1, s]\) for any \(s \in I\), the assertion (2.17) follows by an application of Hölder’s and Jensen’s inequality. \(\square \)
Proof of Theorem 2.7
For any \(p, p' \in (1, \infty )\), let and be the Hölder conjugate of p and \(p'\), respectively, and set
where \(\rho \) is defined in (2.8). Notice that for any \(p, p', q, q' \in (1,\infty ]\) for which (2.13) is satisfied, \(\alpha > 1\) and therefore \(1/\alpha _* = 1  1/\alpha > 0\). In particular, \(\alpha > 1\) implies that \(\alpha p_*' > q'/(q'+1)\) and \(\alpha p_* \le \rho \) so that Lemma 2.8 is applicable. Suppose that \(n \ge 2(N_1(x_0) \vee N_2(x_0))\). The remaining part of the proof comprises two steps, a “onestep estimate” and the iteration scheme.
Step 1. Let \(1/2 \le \sigma ' < \sigma \le 1\) and \(0 \le k < l\) be fixed constants. We write , and to simplify notation. Note that \(I_{\sigma }/I_{\sigma '} \le 2\) and \(B_{\sigma } / B_{\sigma '} \le 2^d C_{\mathrm {reg}}/c_{\mathrm {reg}}\). Let us stress the fact, that, due to the discrete structure of the underlying space, the discrete balls \(B_{\sigma '}\) and \(B_{\sigma }\) may coincide even if \(\sigma ' < \sigma \). In order to ensure that \(B_{\sigma '} \subsetneq B_{\sigma }\), we assume in the sequel that \((\sigma  \sigma ') n \ge 1\). In this case, we can define a cutoff function \(\eta \!:V \rightarrow [0,1]\) in space having the properties that \({{\,\mathrm{\mathrm {supp}}\,}}\eta \subset B_{\sigma }\), \(\eta \equiv 1\) on \(B_{\sigma '}\), \(\eta \equiv 0\) on \(\partial B_{\sigma }\) and . Moreover, let \(\zeta \!:{\mathbb {R}}\rightarrow [0,1]\) be a smooth cutoff function in time such that \(\zeta \equiv 1\) on \(I_{\sigma '}\), \(\zeta \equiv 0\) on \((\infty , t_0  \sigma n^2]\) and .
The constant \(c \in (0, \infty )\) appearing in the computations below is independent of n but may change from line to line. First, by Hölder’s inequality, we get
Then, the local spacetime Sobolev inequality and the energy estimate yields
and
By combining the estimates above and using the fact that
we finally obtain that
Set and . Then, the inequality above reads
Note that the function \([0,\infty ) \ni k \mapsto \varphi (k, \sigma )\) is nonincreasing for any \(\sigma \in [1/2, 1]\).
Step 2. Suppose that \(n \ge 2(N_1(x_0) \vee N_2(x_0))\). Let \(h \ge 0\) be arbitrary but fixed and, for any \(\Delta \in [0, 2/(d+2) )\), suppose that \(1/2 \le \sigma ' < \sigma \le 1\) are chosen in such a way that \(\sigma \sigma ' > 4n^{\Delta }\). Further, for \(j \in {\mathbb {N}}_0\) define
with . Set . Obviously, \(J \ge 1\). Since \(\alpha _* \ge (d+2)/2\), it follows that
We claim that, by induction,
where \(r = 2^{2(1+\alpha _*)}\). Indeed, for \(j = 0\) the assertion is obvious. Now suppose that (2.25) holds for any \(j \in \{0, \ldots , J1\}\). Then, in view of (2.24), we obtain
which completes the proof of the claim (2.25). Moreover, since \((n^d 2^{2J}) / r^{J} \le 1\) and \((\sigma _{J1}  \sigma _{J})n \ge 1\), we obtain that
Hence,
and the assertion (2.14) follows with . \(\square \)
As an application of Theorem 2.7 we derive a neardiagonal bound for the heat kernel, which we now introduce. For \(s \in {\mathbb {R}}\) and \(x \in V\), let \({{\,\mathrm{\mathrm {P}}\,}}_{s, x}^{\omega }\) be the probability measure on the space of Vvalued càdlàg functions on \({\mathbb {R}}\), under which the coordinate process \((X_t : t \in {\mathbb {R}})\) is the continuoustime Markov chain on V starting at time s in x with timedependent generator \({\mathcal {L}}_t^{\omega }\) as defined in (2.3). Recall that, for any \(x, y \in V\) and \(s, t \in {\mathbb {R}}\) with \(t \ge s\) we denote by \(p^{\omega }(s,x;t,y)\) the transition density (or heat kernel associated to \({\mathcal {L}}_t^{\omega }\)), that is \(p^{\omega }(s,x;t,y) = {{\,\mathrm{\mathrm {P}}\,}}^{\omega }_{s, x}[X_t = y]\). Note that the Markov property implies immediately that, for any \(s \in {\mathbb {R}}\) and \(x \in V\), the function solves
Corollary 2.10
(Neardiagonal heat kernel upper bound) Suppose Assumption 2.1(i) and (ii) hold. Then, for any \(x_1, x_2 \in V\), \(s \ge 0\) and \(p, p', q, q' \in [1, \infty ]\) satisfying (2.13), there exist \(\kappa ' \equiv \kappa '(p, p', q, q', d') \in (0, \infty )\), \(C_3 \equiv C_3(p, p', q, q', d') < \infty \) and \(N_6(x_2)<\infty \) such that for all \(\sqrt{t} \ge N_6(x_2)\) and \(y \in B(x_2, \frac{1}{2}\sqrt{t})\),
where \(Q = [0, t] \times B(x_2, \sqrt{t})\).
Proof
We wish to apply the maximal inequality of Theorem 2.7 iteratively to the function \((t,y) \mapsto u_t(y) \equiv p^{\omega }(s, x_1;s+t,y)\) on the cylinder \(Q(n) \equiv Q(t_0, x_0, n)\) with \(t_0 = t\), \(x_0 = x_1\) and \(n = \sqrt{t}\). We fix , , and set \(\sigma _j = \sigma  2^{j}(\sigma \sigma ')\) for any \(j \in {\mathbb {N}}_0\). Note that \(\sigma _j \uparrow \sigma \) and \(\sigma _0 = \sigma '\). By Hölder’s inequality we have
with \(\gamma = 1/\max \{2\alpha p_*, 2\alpha p'_*\}\) and \(\alpha \) as defined in (2.21). Set and . Then, for all it holds that \(J \ge 3\) and \((\sigma _{j}\sigma _{j1}) > 4 n^{\Delta }\) for all \(j \in \{1, \ldots , J\}\). Hence, an application of the maximal inequality (2.14) yields
where we introduced to simplify the notation. By iterating the inequality above, we get
Further, note that \(u_t(y) = p^{\omega }(s,x_1;s+t,y) \le 1\) for all \(t \ge 0\) and \(y \in V\),
and \(B(x_1, n)^{(1\gamma )^{J}} \le c < \infty \) uniformly in n. Hence, by using the volume regularity, we conclude that
Since \((t,y) \in Q_{1/2}(t, x_1, \sqrt{t})\) for any \(y \in B(x_1, \frac{1}{2} \sqrt{t})\), the assertion follows. \(\square \)
2.4 Proof of the oscillation bound
In this subsection we prove Theorem 2.4. Inspired by the strategy that has been used in [39] to prove Hölder regularity for parabolic equations, we start by constructing a continuously differentiable version of the function \((0, \infty ) \ni r \mapsto (\ln r)_+\). Consider the function \(g\!: (0, \infty ) \rightarrow [0, \infty )\),
where \(c_* \in [1/4, 1/3]\) is the smallest solution of the equation \(2 c \ln (1/c) = 1c\). By construction, the function g is convex, nonincreasing and in \(C^1((0, \infty ))\).
Lemma 2.11
Suppose that \(u > 0\) satisfies \(\partial _t u  {\mathcal {L}}_t^{\omega }\, u \ge 0\) on Q, and let g be the function defined in (2.27). Further, consider a cutoff function \(\eta \!:V \rightarrow [0, 1]\) with
Then,
where and
Proof
Since \(\partial _t u  {\mathcal {L}}_t^{\omega } u \ge 0\) on \(Q = I \times B\) and \(u > 0\), we have
Notice that \(g'\) is piecewise differentiable and \(1/3 g'(r)^2 \le g''(r)\) for a.e. \(r \in (0, \infty )\). In particular, \(r g'(r) \le 4/3\) for any \(r \in (0, \infty )\). Hence, by Lemma A.1 we get
Thus, by combining the estimates above and exploiting the fact that \(g \ge 0\), the assertion (2.28) follows. \(\square \)
In the next lemma we show for a spacetime harmonic function u that, if the size of its sublevel set with respect to some \(k_0\) is bounded from below by a fraction of the size of the timespace cylinder, then the size of the sublevel sets for fixed t and a possibly larger constants, \(k_j\), are bounded from below by a fraction of B(n), provided that t is close to \(t_0\). For that purpose, set for some \(k_0 \in (\infty , M_n)\),
where . For \(\eta \!: V \rightarrow [0, 1]\) with \({{\,\mathrm{\mathrm {supp}}\,}}\eta \subset B(x_0, n)\) we write
to denote the \(\eta ^2\)weighted \(\ell ^1\)norm of a function \(u\!: V \rightarrow {\mathbb {R}}\).
Lemma 2.12
Let Assumption 2.1(i) be satisfied and \(\sigma \in (0,1)\) be fixed. For \(t_0 \in {\mathbb {R}}\), \(x_0 \in V\) and \(\sigma n \ge N_1(x_0)\), suppose that \(u > 0\) is such that \(\partial _t u  {\mathcal {L}}_t^{\omega } u = 0\) on Q(n). Further, let \(\eta \!: V \rightarrow [0,1]\), be a cutoff function in space and set \(B(n) \equiv B(x_0, n)\). If for some \(k_0 \in (\infty , M_n)\),
then for \(\tau = 1/4\) there exists \(\delta \in (0, 1/3)\) and \(i \equiv i(\omega ,\sigma ) < \infty \) such that for all \(j \ge i\),
Proof
In order to simplify the presentation, set
Then, \(\partial _t (v + \varepsilon _j)  {\mathcal {L}}_t^{\omega } (v + \varepsilon _j) = 0\) on Q(n) for all \(j \in {\mathbb {N}}_0\) and \(u_t(x) > k_j\) if and only if \(v_t(x) < h_j\) for any \(x \in V\). Set . In view of (2.30) there exists \(s \in [t_0 n^2, t_0  \bar{\tau } n^2]\) such that
Indeed, if we assume that the contrary is true, that is for all \(s \in [t_0  n^2, t_0  \bar{\tau } n^2]\), then we find that
which leeds to a contradiction. By integrating the energy estimate (2.28) over the interval [s, t] with \(t \in [t_0 \tau n^2, t_0]\) and using that and \({{\,\mathrm{\mathrm {osr}}\,}}(\eta ) \le 2\), we obtain
where \(c \equiv c(\sigma ) \in (0, \infty )\) is a constant independent of n. Since, by construction, g is nonincreasing and vanishes on \([1, \infty )\) we find that
and
This yields, for any \(j \ge 2\),
Hence, there exists \(i(\omega ,\sigma ) \in {\mathbb {N}}\) such that for all \(j \ge i(\omega ,\sigma )\) and \(t \in [t_0 \tau n^2, t_0]\). Since , we obtain
and the assertion follows. \(\square \)
Our next step is to show that the size of the sets where a spacetime harmonic function u exceeds some level k can be made arbitrary small compared to the size of the timespace cylinder Q(n) provided that k is sufficiently close to the maximum of u in Q(n).
Lemma 2.13
Let Assumption 2.1(i) and (iii) be satisfied, and set and . For \(t_0 \in {\mathbb {R}}\), \(x_0 \in V\) and \(\sigma n \ge N_1(x_0) \vee N_3(x_0)\), suppose that \(u > 0\) solves \(\partial u  {\mathcal {L}}_t^{\omega } u = 0\) on Q(n). Assume that there exists \(\delta > 0\) and \(i \in {\mathbb {N}}\) such that
Then, for any \(\varepsilon \in (0, 1)\) there exists \({\mathbb {N}}\ni j(\varepsilon , \delta , \omega ) \ge i\) such that
Proof
Write , and . Let \(\eta \!: V \rightarrow [0, 1]\) be a cutoff function with the properties that \({{\,\mathrm{\mathrm {supp}}\,}}\eta \subset B(n)\), \(\eta \equiv 1\) on \(B_{1/2}\), \(\eta \equiv 0\) on \(\partial B_1\) and linear decaying on \(B_1 \setminus B_{1/2}\). Thus, and \({{\,\mathrm{\mathrm {osr}}\,}}(\eta ) \le 2\). Further, define
Then, \(w \ge 0\) and \(\partial _t (w + \varepsilon _j)  {\mathcal {L}}_t^{\omega } (w + \varepsilon _j) = 0\) on Q(n) for any \(j \in {\mathbb {N}}\). Define for any \(t \in [t_0  \tau n^2, t_0]\). Recall that \(g(r) = 0\) for every \(r \in (1, \infty )\). Hence,
and we deduce from Assumption 2.1(iii) that
for any \(t \in [t_0  \tau n^2, t_0]\). Hence,
where \(c \in (0, \infty )\) is a constant independent of n which may change from line to line. An upper bound on the timeaveraged Dirichlet form follows from the energy estimate. Indeed, by integrating (2.28) over the interval \([t_0  \tau n^2, t_0]\) we obtain that
Thus, by combining (2.34) and (2.35) and using that g is nonincreasing we obtain that for any \(j \ge 2\),
Hence, for any \(\varepsilon > 0\) there exists \({\mathbb {N}}\ni j(\varepsilon , \delta , \omega ) \in [i, \infty )\) such that for all \(j \ge j(\varepsilon , \delta , \omega )\) it holds that , which completes the proof. \(\square \)
Proof of Theorem 2.4
Obviously, if \(M_n = m_n\), where
then (2.11) holds true for any \(\gamma \ge 0\). Therefore, we assume in what follows that \(M_n > m_n\). Set , and let \(k_j\) for any \(j \in {\mathbb {N}}\) be defined as in (2.29). Moreover, consider the cutoff function . We may assume that
Otherwise, we consider \((M_n + m_n)  u\) instead of u. Let \(\tau = 1/4\), \(\sigma = 1/(2C_{\mathrm {W}})\) and . Then, by applying Lemmas 2.12 and 2.13 we find \(j \equiv j(\omega , \varepsilon ) < \infty \) such that
Next, set and apply Theorem 2.7 to obtain that
Since
we find that
Therefore, we have
which proves the theorem. \(\square \)
2.5 Weak Parabolic Harnack inequality
As mentioned before, one appealing aspect of the above proof of Theorem 2.4 is its avoidance of a parabolic Harnack inequality (PHI). Nevertheless, from the maximal inequality in Theorem 2.7 and the auxiliary estimates on the level sets of harmonic functions in Lemmas 2.12 and 2.13 we can deduce the following weaker version of the PHI. In the continuous setting it also possible to derive a full PHI from the conjunction of a weak PHI and a Hölder continuity estimate, see e.g. [39, Section 5.2.3]. However, those arguments cannot be transferred into our discrete setting.
Theorem 2.14
Suppose that Assumption 2.1 holds. For \(t_0 \in {\mathbb {R}}\), \(x_0 \in V\) and \(\sigma =1/(2C_{\mathrm {W}})\) fixed let \(n\in {\mathbb {N}}\) be such that \(\sigma n \ge \max \{N_1(x_0), N_2(x_0), N_3(x_0)\}\). Suppose that \(u > 0\) is a solution of \(\partial _t u  {\mathcal {L}}_t^{\omega } u = 0\) on Q(n). Further, let \(\eta \!: V \rightarrow [0,1]\), be a cutoff function in space and set \(B(n) \equiv B(x_0, n)\). If
for some \(h>0\), then there exists \(j \in {\mathbb {N}}\) such that
Proof
Define , where
Note that, by definition, \(v > 0\) and \(\partial _t v  {\mathcal {L}}_t^{\omega } v = 0\) on Q(n). In particular, we have that \(\sup _{(t,x) \in Q(n)} v(t,x) = M_n\) and \(\inf _{(t,x) \in Q(n)} v(t,x) = m_n\). Since, for any \(h \in (0, m_n]\), the assertion (2.37) is trivial, we assume in the sequel that \(h > m_n\). Set . Then, (2.36) is equivalent to
Let \(\tau = 1/4\) and . Then, by applying Lemmas 2.12 and 2.13 we find \(j \equiv j(\omega , \varepsilon ) < \infty \) such that
for \(k_j\) as defined in (2.29). Thus, by Theorem 2.7 we obtain
where we used that
By using the definition of v, we arrive that
which is the claim. \(\square \)
3 A general criterion for a local CLT
In this section we prove a local central limit theorem for suitably regular subgraphs \({\mathcal {G}}\subset {\mathbb {Z}}^d\), provided that Hölder continuity on large spacetime scales and a CLT hold. The proof will mostly follow the arguments in the proof of a similar result in [11, Section 4], from which we borrow some of the notation. For further related results we refer to [21]. However, the arguments in the present paper require a modification of the criteria in [11, 21], which is why we state it here and also include a proof for the reader’s convenience.
Let \({\mathcal {G}}\subset {\mathbb {Z}}^d\) be an infinite and connected graph and let \(d\!: {\mathcal {G}}\times {\mathcal {G}}\rightarrow [0,\infty )\) denote the graph distance on \({\mathcal {G}}\). We assume that \(0\in {\mathcal {G}}\). For \(x \in {\mathbb {R}}^d\) and \(r > 0\) we set
Let \(g_n\!: {\mathbb {R}}^d \rightarrow {\mathcal {G}}\) be a function so that \(g_n(x)\) is a closest point in \({\mathcal {G}}\) to nx, in the \(\cdot _\infty \) norm (we can put a fixed ordering on \({\mathbb {Z}}^d\) to resolve ties). We denote by Q the law of a timecontinuous random walk \((X_t : t\ge 0)\) on \({\mathcal {G}}\) started at \(0 \in {\mathcal {G}}\) at time \(t = 0\). We set
We assume the following additional properties on \({\mathcal {G}}\) and Q.
 (\({\mathcal {G}}.1\)):

There exists \( {\mathcal {C}}_{\mathcal {G}}>0\) such that for any \(r>0\) and \(x\in {\mathbb {R}}^d\),
$$\begin{aligned} \frac{\Lambda _n(x,r)}{(2n r)^d} \longrightarrow {\mathcal {C}}_{{\mathcal {G}}}, \qquad \text {as } n \rightarrow \infty . \end{aligned}$$  (\({\mathcal {G}}.2\)):

There exist \(\delta > 0\), a constant \(C_4>0\) and \(n_0 \in {\mathbb {N}}\) such that, for each \(r > 0\) and all \(n \ge n_0\),
$$\begin{aligned} d(y,z) \;\le \; \big (C_4 \, y  z_\infty \big ) \vee n^{1\delta }, \qquad \forall \, y, z \in \Lambda _n(x,r). \end{aligned}$$(3.1)  (\({\mathcal {G}}.3\)):

There exists a symmetric matrix \(\Sigma \in {\mathbb {R}}^{d \times d}\) such that for any \(x \in {\mathbb {R}}^d\), \(t > 0\) and \(r > 0\),
$$\begin{aligned} Q\big [ n^{1} X_{n^2 t} \in C(x,r) \big ] \underset{n \rightarrow \infty }{\;\longrightarrow \;} \int _{C(x,r)} k^\Sigma _t(y) \, \mathrm {d} y, \end{aligned}$$where \(k_t^{\Sigma }\), defined in (1.2), denotes the transition kernel of the Brownian motion with covariance \(\Sigma ^2\).
 (\({\mathcal {G}}.4\)):

There exist \(C_5 > 0\) and \(\varrho > 0\) such that for any \(\delta \in (0, 1)\), \(\sqrt{t}/2 \ge \delta \) and \(x \in {\mathbb {R}}^d\),
$$\begin{aligned} \limsup _{n \rightarrow \infty } \sup _{ \begin{array}{c} x_1, x_2 \in B(g_n(x), \delta n) \\ t\delta ^2 <s_1,s_2 \le t \end{array}} n^d \, \big  q(n^2 s_1, x_1)  q(n^2 s_2, x_2) \big  \;\le \; C_5\, \Big (\frac{\delta }{\sqrt{t}}\Big )^{\!\varrho } \, t^{\frac{d}{2}}. \end{aligned}$$
Theorem 3.1
Assume that \(({\mathcal {G}}.1)\)\(({\mathcal {G}}.4)\) hold. Let \(K \subset {\mathbb {R}}^d\) and \(I \subset (0,\infty )\) be compact sets. Then,
Proof
The argument is divided into two steps. First we derive (3.2) pointwise in t and x. Subsequently, we extend the convergence to hold uniformly in \(t \in I\) and \(x \in K\) via a covering argument.
Step 1. Fix any \(x \in {\mathbb {R}}^d\) and \(t > 0\). For \(r > 0\) and \(n \in {\mathbb {N}}\) let
Now we rewrite (3.3) as \(J(n,r) = J_1(n,r) + J_2(n,r) + J_3(n,r) + J_4(n,r)\), where
By rearranging those terms we get
Thus, it suffices to show that the right hand side goes to zero when we first take the limit \(n \rightarrow \infty \) and then \(r \rightarrow 0\). First, it follows directly from \(({\mathcal {G}}.1)\) and \(({\mathcal {G}}.3)\) that
Moreover, by the continuity of \(k^{\Sigma }_t\), Lebesgue’s differentiation theorem and \(({\mathcal {G}}.1)\),
We are left with handling the summand involving \(J_1\). We begin by comparing \(\Lambda _n(x,r)\) with balls in the graph distance. By \(({\mathcal {G}}.1)\) we can find \(\overline{n} \in {\mathbb {N}}\) large enough such that \(\Lambda _n(x,r) > 0\) and \(g_n(x) \in \Lambda _n(x,r)\) for all \(n \ge \overline{n}\). It follows from \(({\mathcal {G}}.2)\), after possibly choosing a larger \(\overline{n}\), that for all \(n \ge \overline{n}\) and all \(y \in \Lambda _n(x,r)\),
Thus \(\Lambda _n(x,r) \subset B\big (g_n(x), (2rc)n\big )\), whenever \(n \ge \overline{n}\). Thus, for all \(n \ge \overline{n}\) (which may depend on r),
Now an application of \(({\mathcal {G}}.4)\) gives
Combining (3.5), (3.6) and (3.8) in (3.4) we get for any fixed \(x \in {\mathbb {R}}^d\) and \(t >0\),
Step 2. We now prove the full result using a covering argument. For \(\eta \in (0,1) \cap {\mathbb {Q}}\) we define the set and for all \(x \in K\), \(t \in I\) we write \(\big ( y(x), s(t) \big )\) for a “closest” point to (x, t) in \({\mathcal {X}}\) so that
We know that (3.9) holds for all \((y,s) \in {\mathcal {X}}\). As \({\mathcal {X}}\) is a finite set, for a given \(\varepsilon > 0\), we can find \(\widetilde{n} \in {\mathbb {N}}\) such that for all \(n \ge \widetilde{n}\),
and from \(({\mathcal {G}}.4)\) we deduce, after taking \(\widetilde{n}\) larger if necessary, that for all \(n \ge \widetilde{n}\),
where . On the other hand, for any \(x \in K\), \(t \in I\) and \(n \ge \widetilde{n}\),
We estimate each term individually. By means of (3.12) we can bound (3.13) by \(\varepsilon \) for \(\eta \) small enough. Clearly, (3.14) is bounded by \(\epsilon \) thanks to (3.11). Finally, the regularity of \(k_t^{\Sigma }(x)\) in space and time, together with (3.10) implies that (3.15) is bounded by \(\varepsilon \) uniformly in \(x \in K\) and \(t \in I\) for \(\eta \) small enough. Hence, there exists \(\widetilde{n} \in {\mathbb {N}}\) such that for all \(n \ge \widetilde{n}\),
which is the desired conclusion. \(\square \)
Remark 3.2
If in addition the ondiagonal estimate
is available, then (3.2) can be extended to hold uniformly in \(t \in [s,\infty )\) for any fixed \(s > 0\). In fact, in that case both \(n^d q(n^2 t,g_n(x))\) and \(k^{\Sigma }_t(x)\) converge to zero as \(t \rightarrow \infty \).
4 Local CLT for the dynamic RCM on \({\mathbb {Z}}^d\)
In this section we will work again in the setting introduced in Sect. 1.1. We aim at applying Theorem 3.1 to the dynamic RCM to prove Theorem 1.4. The main step will be the verification of condition \(({\mathcal {G}}.4)\) based on the oscillation inequality in Theorem 2.4 and on the fact that, for \({{\,\mathrm{\mathbb {P}}\,}}\)a.e. \(\omega \), the function \(u=p^\omega (0,0; \cdot ,\cdot )\) satisfies \(\partial _tu={\mathcal {L}}^\omega _t u\), see Proposition B.3. Another ingredient will be the following version of the ergodic theorem.
Proposition 4.1
Let
Suppose that Assumption 1.1 holds. Then, for any \(f \in L^1(\Omega )\),
Proof
For discrete multiparameter processes such a uniform ergodic theorem under standard scaling has been shown, for instance, in [30, Theorem 1] and the corresponding result for continuous parameter processes in [30, Theorem 2]. The claim, involving different scaling in space and time, follows by the same arguments. \(\square \)
As a direct consequence from Proposition 4.1 we get the following lemma.
Lemma 4.2
Suppose that Assumptions 1.1 and 1.2 hold. Then, \({{\,\mathrm{\mathbb {P}}\,}}\)a.s., for any \(x \in {\mathbb {R}}^d\), \(\delta \in (0,1)\) and \(t \ge \delta ^2\),
Proposition 4.3
Let \(\delta \in (0,1)\), \(\sqrt{t}/2 \ge \delta \) and \(x \in {\mathbb {R}}^d\) be fixed. Then, there exist positive constants \(C_6\) and \(\varrho \) only depending on \(K_{\mu }\) and \(K_{\nu }\) such that
Proof
This follows from the oscillation inequality in Theorem 2.4 similarly as Corollary 2.6. To apply Theorem 2.4, choose \(t_0 = n^2 t\), \(x_0 = g_n(x)\) \(p=p'\) and \(q=q'\) with p and q from Assumption 1.2, and take \(\vartheta \in (0,1/2)\) from Theorem 2.4. Set , \(k \ge 0\) and
Choose \(k_0 \in {\mathbb {N}}\) such that \(\delta _{k_0}\ge \delta > \delta _{k_0+1}\). Then, \(\delta _{k} \in [\delta , \sqrt{t}]\) for every \(k \le k_0\). In view of Lemma 4.2 we can find \(N_7 = N_7(x, t, \delta ) \in {\mathbb {N}}\) such that for all \(n\ge N_7,\)
It follows that we can apply the oscillation inequality iteratively with a common constant \(\bar{\gamma } \in (0,1)\) only depending on \(K_{\mu }\) and \(K_{\nu }\) for all \(n \ge N_7\), so that
and by iteration
Note that \(\bar{\gamma }^{k_0} \le c \big (\delta / \sqrt{t}\big )^\varrho \), for some positive constants \(\varrho \) and c only depending on \(\bar{\gamma }\). Further, we can bound the right hand side of (4.1) by using the ondiagonal bound in Corollary 2.10,
Finally, since
the claim follows. \(\square \)
Proof of Theorem 1.4
We apply Theorem 3.1. Since in the present setting \({\mathcal {G}}={\mathbb {Z}}^d\), conditions (\({\mathcal {G}}.1\)) and (\({\mathcal {G}}.2\)) are obviously satisfied. Condition (\({\mathcal {G}}.3\)) follows from the invariance principle in Theorem 1.3 established in [3]. Finally, Proposition 4.3 implies condition (\({\mathcal {G}}.4\)). \(\square \)
Finally, we remark that a local limit theorem directly implies a neardiagonal lower heat kernel estimate, which complements the upper bounds obtained in Corollary 2.10 above.
Corollary 4.4
Suppose that Assumptions 1.1 and 1.2 hold. For \({\mathbb {P}}\)a.e. \(\omega \), there exists \(N_8(\omega )>0\) and \(C_7=C_7(d)>0\) such that for all \(t\ge N_8(\omega )\) and \(x\in B(0,\sqrt{t})\),
Proof
This follows from Theorem 1.4 exactly as in [5, Lemma 5.3]. \(\square \)
5 Local CLT for the static RCM on random graphs
As a further application of the oscillation bound in Theorem 2.4 we present in this final section a local limit theorem for the static RCM on a class of random graphs. On we consider the conductances , which are now timeindependent but possibly taking the value zero. We call an edge \(e \in E_d\) open if \(\omega (e) > 0\) and denote by \({\mathcal {O}}(\omega )\) the set of open edges. We write \(x \sim y\) if \(\{x,y\} \in {\mathcal {O}}(\omega )\). Again we equip \(\Omega \) with a \(\sigma \)algebra \({\mathcal {F}}\) and a probability measure \({{\,\mathrm{\mathbb {P}}\,}}\).
Assumption 5.1

(i)
The law \({{\,\mathrm{\mathbb {P}}\,}}\) is stationary and ergodic w.r.t. space shifts of \({\mathbb {Z}}^d\).

(ii)
For \({{\,\mathrm{\mathbb {P}}\,}}\)a.e. \(\omega \), there exists a unique infinite cluster \({\mathcal {C}}_{\infty }(\omega )\) of open edges. Moreover, \({{\,\mathrm{\mathbb {P}}\,}}[0\in {\mathcal {C}}_{\infty }] > 0\). Write and \({{\,\mathrm{\mathbb {E}}\,}}_0\) for the expectation w.r.t. \({{\,\mathrm{\mathbb {P}}\,}}_0\).
For any realization \(\omega \in \Omega \) consider the variable speed random walk (VSRW) \(X \equiv (X_t : t \ge 0)\) on \({\mathcal {C}}_{\infty }(\omega )\) with generator \({\mathcal {L}}^{\omega }\) acting on bounded functions \(f\!: {\mathcal {C}}_{\infty }(\omega ) \rightarrow {\mathbb {R}}\) as
Notice that X is reversible with respect to the counting measure. When visiting a vertex \(x\in {\mathcal {C}}_{\infty }(\omega )\), the random walk X waits at x an exponential time with mean \(1/\mu ^\omega (x)\) where , and then it jumps to a vertex \(y \sim x\) with probability \(\omega (\{x,y\})/\mu ^\omega (x)\). We denote by \({{\,\mathrm{\mathrm {P}}\,}}^\omega _x\) the quenched law of the process X starting at \(x\in {\mathcal {C}}_{\infty }(\omega )\), and for \(x, y \in {\mathcal {C}}_{\infty }(\omega )\) and \(t \ge 0\) let \(p^{\omega }(t, x, y)\) be the heat kernel of X, i.e. .
In order to state the results, we need to introduce some further assumptions on the underlying random graph \(({\mathcal {C}}_{\infty }(\omega ), {\mathcal {O}}(\omega ))\) which require some more notation. We denote by \(d^{\omega }\) the graph distance on \(({\mathcal {C}}_{\infty }(\omega ), {\mathcal {O}}(\omega ))\), i.e. for any \(x, y \in {\mathcal {C}}_{\infty }(\omega )\), \(d^{\omega }(x,y)\) is the minimal length of a path between x and y that consists only of edges in \({\mathcal {O}}(\omega )\). For \(x \in {\mathcal {C}}_{\infty }(\omega )\) and \(r \ge 0\), let be the closed ball with center x and radius r with respect to \(d^{\omega }\). Further, for any \( A \subset B \subset {\mathbb {Z}}^d\) we define the relative boundary of A with respect to B by
Definition 5.2
(Regular balls) Let \(C_{\mathrm {V}} \in (0, 1]\), \(C_{\mathrm {riso}} \in (0, \infty )\) and \(C_{\mathrm {W}} \in [1, \infty )\) be fixed constants. For \(x \in {\mathcal {C}}_{\infty }(\omega )\) and \(n \ge 1\), we say a ball \(B^{\omega }(x, n)\) is regular if it satisfies the following conditions.

(i)
Volume regularity of order d, i.e.
$$\begin{aligned} C_{\mathrm {V}}\, n^d \;\le \; B^{\omega }(x, n). \end{aligned}$$ 
(ii)
(Weak) relative isoperimetric inequality. There exists \({\mathcal {S}}^{\omega }(x, n) \subset {\mathcal {C}}_{\infty }(\omega )\) connected such that \(B^{\omega }(x, n) \subset {\mathcal {S}}^{\omega }(x, n) \subset B^{\omega }(x, C_{\mathrm {W}} n)\) and
$$\begin{aligned} \partial _{{\mathcal {S}}^{\omega }(x, n)}^{\omega } A \;\ge \; C_{\mathrm {riso}}\, n^{1}\, A \end{aligned}$$for every \(A \subset {\mathcal {S}}^{\omega }(x, n)\) with \(A \le \tfrac{1}{2}\, {\mathcal {S}}^{\omega }(x, n)\).
Assumption 5.3
For some \(\theta \in (0,1)\), for \({{\,\mathrm{\mathbb {P}}\,}}_0\)a.e. \(\omega \), there exists \(N_0(\omega ) < \infty \) such that for all \(n \ge N_0(\omega )\) the following hold.

(i)
The ball \(B^{\omega }(0, n)\) is \(\theta \)very regular, that is, the ball \(B^{\omega }(x, r)\) is regular for every \(x \in B^{\omega }(0, n)\) and \(r \ge n^{\theta /d}\).

(ii)
There exist \(\delta > 0\) and \(C_8>0\) such that for each \(r>0\),
$$\begin{aligned} d^{\omega }(y,z) \;\le \; \big (C_8 \, y  z_\infty \big ) \vee n^{1\delta }, \qquad \forall y,z\in \Lambda _n(x,r). \end{aligned}$$
Assumption 5.3 is satisfied, for instance, on supercritical Bernoulli percolation clusters, see [10], or clusters in percolation models with long range correlations, see [38, Proposition 4.3] and [28, Theorem 2.3]. Such random graphs have typically a local irregular behaviour, meaning that the required properties in Definition 5.2 fail on small scales. In a sense, Assumption 5.3 provides a uniform lower bound on the radius of regular balls. For more details and examples we refer to [27, Examples 1.11–1.13] and references therein.
Assumption 5.4
There exist \(p, q \in [1, \infty ]\) and \(\theta \in (0, 1)\) satisfying
such that for any \(e\in E_d\),
where we used the convention that \(0/0 = 0\).
Theorem 5.5
(QFCLT [27]) Suppose there exist \(\theta \in (0,1)\) and \(p,q \in [1,\infty ]\) such that Assumptions 5.1, 5.3(i) and 5.4 hold. Then, for \({{\,\mathrm{\mathbb {P}}\,}}_0\)a.e. \(\omega \), the process , converges (under \({{\,\mathrm{\mathrm {P}}\,}}_{\!0}^\omega \)) in law towards a Brownian motion on \({\mathbb {R}}^d\) with a deterministic nondegenerate covariance matrix \(\Sigma ^2\).
Theorem 5.6
(Quenched local CLT) Suppose there exist \(\theta \in (0,1)\) and \(p,q \in [1,\infty ]\) such that Assumptions 5.1, 5.3 and 5.4 hold. Then, for any \(T_2>T_1>0\) and \(K>0\),
with \(k_t^\Sigma \) defined as in (1.2).
Remark 5.7
It appears feasible to derive a local CLT also for a more general class of speed measures for the random walk rather than only for the VSRW as in Theorem 5.6. On \(({\mathbb {Z}}^d,E_d)\) such a result has been shown in [7].
Proof of Theorem 5.6
The result follows from Theorem 3.1 once conditions \(({\mathcal {G}}.1)({\mathcal {G}}.4)\) are verified. For condition \(({\mathcal {G}}.1)\) note that for any \(r>0\) and \(x\in {\mathbb {R}}^d\) by the ergodic theorem in [30, Theorem 1],
and therefore also \({{\,\mathrm{\mathbb {P}}\,}}_0\)a.s. Condition \(({\mathcal {G}}.2)\) coincides with Assumption 5.3(ii) and \(({\mathcal {G}}.3)\) is a consequence of the invariance principle in Theorem 5.5. For condition \(({\mathcal {G}}.4)\) we aim to apply Theorem 2.4 together with the ergodic theorem in [30, Theorem 1] (cf. Proposition 4.1 above for the spacetime version), which implies \(({\mathcal {G}}.4)\) by the same arguments as in the proof of Proposition 4.3 above. Note that the conductances are constant in time in the present setting, so we may choose \(p'=q'=\infty \) in Theorem 2.4 and (2.13) reduces to (5.1).
It remains to check that the graph \(({\mathcal {C}}_{\infty }(\omega ), {\mathcal {O}}(\omega ))\) satisfies Assumption 2.1. Obviously, for every \(x\in {\mathcal {C}}_{\infty }(\omega )\) and \(n \ge 1\), the ball \(B^{\omega }(x,n)\) is contained in the corresponding ball with respect to the graph distance. Thus, \(B^\omega (x,n) \le c n^d\), and the volume regularity in Assumption 2.1(i) follows from this and Assumption 5.3(i). Furthermore, Assumption 5.3(i) also implies an isoperimetric inequality on large sets (see [27, Lemma 2.10]), which in conjunction with the volume regularity implies the Sobolev inequality in Assumption 2.1(ii) with , see [27, Proposition 3.5]. Finally, the weak Poincaré inequality in Assumption 2.1(iii) follows from the relative isoperimetric inequality provided by Assumption 5.3(i) by applying a discrete coarea formula, see [37, Lemma 3.3.3] and cf. Remark 2.2 above. \(\square \)
Similarly as in Corollary 4.4 above, one can derive neardiagonal heat kernel estimates from Theorem 5.6 following the argument in [5, Lemma 5.3].
References
Andres, S.: Invariance principle for the random conductance model with dynamic bounded conductances. Ann. Inst. Henri Poincaré Probab. Stat. 50(2), 352–374 (2014)
Andres, S., Barlow, M.T., Deuschel, J.D., Hambly, B.M.: Invariance principle for the random conductance model. Probab. Theory Related Fields 156(3–4), 535–580 (2013)
Andres, S., Chiarini, A., Deuschel, J.D., Slowik, M.: Quenched invariance principle for random walks with timedependent ergodic degenerate weights. Ann. Probab. 46(1), 302–336 (2018)
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 and intrinsic metric for random walks with general speed measure under degenerate conductances. Electron. Commun. Probab. 24(Paper No. 5), 17 (2019)
Andres, S., Taylor, P.A.: Local limit theorems for the random conductance model and applications to the Ginzburg–Landau \(\nabla \phi \) interface model. J. Stat. Phys. 182(2), 35 (2021). https://doi.org/10.1007/s10955021027055
Armstrong, S., Kuusi, T., Mourrat, J.C.: Quantitative Stochastic Homogenization and LargeScale Regularity. Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 352, pp. xxxviii+518. Springer, Cham (2019). https://doi.org/10.1007/9783030155452
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)
Barlow, M.T.: Random walks on supercritical percolation clusters. Ann. Probab. 32(4), 3024–3084 (2004)
Barlow, M.T., Hambly, B.M.: Parabolic Harnack inequality and local limit theorem for percolation clusters. Electron. J. Probab. 14(1), 1–27 (2009)
Bella, P., Schäffner, M.: Nonuniformly parabolic equations and applications to the random conductance model. Preprint, available at arXiv:2009.11535 (2020)
Bella, P., Schäffner, M.: Quenched invariance principle for random walks among random degenerate conductances. Ann. Probab. 48(1), 296–316 (2020)
Berger, N., Biskup, M., Hoffman, C.E., Kozma, G.: Anomalous heatkernel decay for random walk among bounded random conductances. Ann. Inst. Henri Poincaré Probab. Stat. 44(2), 374–392 (2008)
Biskup, M.: Recent progress on the random conductance model. Probab. Surv. 8, 294–373 (2011)
Biskup, M., Chen, X., Kumagai, T., Wang, J.: Quenched invariance principle for a class of random conductance models with longrange jumps. Preprint, available at arXiv:2004.01971 (2020)
Biskup, M., Rodriguez, P.F.: Limit theory for random walks in degenerate timedependent random environments. J. Funct. Anal. 274(4), 985–1046 (2018)
Boukhadra, O., Kumagai, T., Mathieu, P.: Harnack inequalities and local central limit theorem for the polynomial lower tail random conductance model. J. Math. Soc. Jpn. 67(4), 1413–1448 (2015)
Chiarini, A., Deuschel, J.D.: Local central limit theorem for diffusions in a degenerate and unbounded random medium. Electron. J. Probab. 20(112), 30 (2015)
Cohn, D.L.: Measure Theory. Birkhäuser Advanced Texts: Basler Lehrbücher. [Birkhäuser Advanced Texts: Basel Textbooks], 2nd edn. Birkhäuser/Springer, New York (2013)
Croydon, D.A., Hambly, B.M.: Local limit theorems for sequences of simple random walks on graphs. Potential Anal. 29(4), 351–389 (2008)
Dario, P., Gu, C.: Quantitative homogenization of the parabolic and elliptic Green’s functions on percolation clusters. Ann. Probab. (2019). arXiv:1909.10439
De Giorgi, E.: Sulla differenziabilità e l’analiticità delle estremali degli integrali multipli regolari. Mem. Accad. Sci. Torino. Cl. Sci. Fis. Mat. Nat. 3(3), 25–43 (1957)
Delmotte, T.: Parabolic Harnack inequality and estimates of Markov chains on graphs. Rev. Mat. Iberoamericana 15(1), 181–232 (1999)
Delmotte, T., Deuschel, J.D.: On estimating the derivatives of symmetric diffusions in stationary random environment, with applications to \(\nabla \phi \) interface model. Probab. Theory Relat. Fields 133(3), 358–390 (2005)
Dembo, A., Huang, R., Zheng, T.: Random walks among time increasing conductances: heat kernel estimates. Probab. Theory Relat. Fields 175(1–2), 397–445 (2019)
Deuschel, J.D., Nguyen, T.A., Slowik, M.: Quenched invariance principles for the random conductance model on a random graph with degenerate ergodic weights. Probab. Theory Relat. Fields 170(1–2), 363–386 (2018)
Drewitz, A., Ráth, B., Sapozhnikov, A.: On chemical distances and shape theorems in percolation models with longrange correlations. J. Math. Phys. 55(8), 083307 (2014)
Huang, R., Kumagai, T.: Stability and instability of Gaussian heat kernel estimates for random walks among timedependent conductances. Electron. Commun. Probab. 21(Paper No. 5), 11 (2016)
Krengel, U., Pyke, R.: Uniform pointwise ergodic theorems for classes of averaging sets and multiparameter subadditive processes. Stoch. Process. Appl. 26(2), 289–296 (1987)
SN, Kružkov, Kolodīĭ, ī, M.: A priori estimates and Harnack’s inequality for generalized solutions of degenerate quasilinear parabolic equations. Sibirsk. Mat. Ž. 18(3), 608–628 (1977)
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 SaintFlour, 2010, École d’Été de Probabilités de SaintFlour
Ladyženskaja, O.A., Solonnikov, V.A., Ural’ceva, N.N.: Linear and Quasilinear Equations of Parabolic Type. Translated from the Russian by S. Smith. Translations of Mathematical Monographs. American Mathematical Society, Providence (1968)
Moser, J.: A new proof of De Giorgi’s theorem concerning the regularity problem for elliptic differential equations. Commun. Pure Appl. Math. 13, 457–468 (1960)
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)
Nash, J.: Parabolic equations. Proc. Nat. Acad. Sci. U.S.A. 43, 754–758 (1957)
SaloffCoste, L..: Lectures on finite Markov chains. In: Lectures on probability theory and statistics (SaintFlour, 1996), volume 1665 of Lecture Notes in Mathematics, pp. 301–413. Springer, Berlin (1997)
Sapozhnikov, A.: Random walks on infinite percolation clusters in models with longrange correlations. Ann. Probab. 45(3), 1842–1898 (2017)
Wu, Z., Yin, J., Wang, C.: Elliptic & Parabolic Equations. World Scientific Publishing Co. Pte. Ltd., Hackensack (2006)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
No datasets were generated or analyzed during the current study.
Appendices
Appendix A. A technical estimate
Lemma A.1
Let \(g \in C^1((0, \infty ))\) be a convex, nonincreasing function. Assume that \(g'\) is piecewise differentiable and that there exists \(\gamma \in (0, 1]\) such that \(\gamma g'(r)^2 \le g''(r)\) for a.e. \(r \in (0, \infty )\). Then, for all \(x, y > 0\) and \(b, a \ge 0,\)
Proof
Since g is nonincreasing, the case \(a=0\) or \(b=0\) is immediate. In the sequel, we assume that \(a \wedge b > 0\). First, notice that an application of the CauchySchwarz inequality yields for any \(x,y > 0\),
where we used in the second step that \(\gamma g'(t)^2 \le g''(t)\) for a.e. \(t \in (0, \infty )\). Hence,
Without loss of generality, assume that \(y > x\). Since g is convex and nonincreasing, it follows that \(0 \le g'(y) (yx) \le g(x)  g(y)\). Hence,
Thus, by applying the Young inequality, that reads \(\alpha \beta  \le \frac{1}{2}(\varepsilon \, \alpha ^2 + \beta ^2/\varepsilon )\) for any \(\varepsilon > 0\), we obtain
By choosing \(\varepsilon = \frac{\gamma }{2}(a^2 \wedge b^2) / (a^2 \vee b^2)\), the estimate (A.1) follows. \(\square \)
Appendix B. Forward and backward equations for the semigroup
In this section we aim to verify that also in the case of dynamic unbounded conductances the heat kernel of the random walk satisfies the forward equation. We will work in the setting outlined in Sect. 1.1. In particular we will suppose throughout that Assumption 1.1 holds, which implies that, \({{\,\mathrm{\mathbb {P}}\,}}\)a.s., the conductances are local integrable in time, that is
For any \(s \ge 0\), we write \((P_{s,t}^{\omega } : t \ge s)\) for the Markov semigroup associated with the random walk X, i.e. \((P_{s,t}^{\omega }f)(x) = {{\,\mathrm{\mathrm {E}}\,}}_{s,x}^{\omega }[f(X_t)]\) for any bounded function \(f\!: {\mathbb {Z}}^d \rightarrow {\mathbb {R}}\), \(0 \le s < t\) and \(x \in {\mathbb {Z}}^d\). Further, we write \((P_{s,t}^\omega )^*\) for the adjoint of \(P^\omega _{s,t}\) in \(\ell ^2({\mathbb {Z}}^d)\). The associated heat kernel is still denoted for \(x, y \in {\mathbb {Z}}^d\) and \(0 \le s < t\). As a consequence of (1.1) we have
Next we briefly recall the construction of the timeinhomogeneous Markov process X starting at time \(s \ge 0\) in \(x \in {\mathbb {Z}}^d\), cf. [3, Section 4]. Let \((E_n : n \in {\mathbb {N}})\) be a sequence of independent \(\mathop {\mathrm {Exp}}(1)\)distributed random variables. Further, set , where for any \(t \in {\mathbb {R}}\), \(x \in {\mathbb {Z}}^d\). We specify both the sequence of jump times, \((J_n : n \in {\mathbb {N}}_0)\) and positions, \((Y_n : n \in {\mathbb {N}}_0)\), inductively. For this purpose, set \(J_0 = s\) and \(Y_0 = x\). Suppose that, for any \(n \ge 1\), we have already constructed the random variables \((J_0, Y_0, \ldots , J_{n1}, Y_{n1})\). Then, \(J_{n}\) is given by
and at the jump time \(J_n\) the distribution of \(Y_n\) is given by \(\pi _{J_n}^{\omega }(Y_{n1}, \cdot )\). Since, under Assumption 1.1, \(\sup _{n \in {\mathbb {N}}_0} J_n = \infty \), \({{\,\mathrm{\mathbb {P}}\,}}\)a.s., the Markov process X is given by
Note that, under \({{\,\mathrm{\mathrm {P}}\,}}_{s,x}^{\omega }\), we have \(J_0 = s\) and \(Y_0 = x\) almost surely, the conditional law of \(J_n\) given \((J_0, Y_0, \ldots , J_{n1}, Y_{n1})\) (also called survival distribution with timedependent hazard rate \(\mu ^{\omega }_t(Y_{n1})\)) is
and the conditional law of \(Y_n\) given \((J_0, Y_0, \ldots , J_{n1}, Y_{n1}, J_n)\) is \(\pi _{J_n}^{\omega }(Y_{n1}, \cdot )\).
Further, for the Markov process X as constructed above the strong Markov property holds, an application of which yields that \((P_{s,t}^{\omega } : t \ge s)\) satisfies the integrated backward equation, that is, for \({{\,\mathrm{\mathbb {P}}\,}}\)a.e. \(\omega \),
for any \(f \in \ell ^{\infty }({\mathbb {Z}}^d)\), \(0 \le s< t < \infty \) and \(x \in {\mathbb {Z}}^d\).
Proposition B.1
For \({{\,\mathrm{\mathbb {P}}\,}}\)a.e. \(\omega \), every \(x, y \in {\mathbb {Z}}^d\) and \(f \in \ell ^{\infty }({\mathbb {Z}}^d)\) the following hold.

(i)
For every \(t > 0\), the map \( s \mapsto p^{\omega }(s,x;t,y)\) is differentiable at almost every \(s \in (0,t)\). In particular, \(\lim _{s \uparrow t} p^{\omega }(s,x;t,y) = p^{\omega }(t,x;t,y) = \mathbb {1}_y(x)\).

(ii)
For every \(t > 0\),
$$\begin{aligned}  \partial _s (P_{s,t}^{\omega } f)(x) \;=\; \big ({\mathcal {L}}_s^{\omega } (P_{s,t}^{\omega } f)\big )(x), \qquad \text {for a.e. } s \in (0,t). \end{aligned}$$
Proof
(i) We will show that for every \(t > 0\), \(x, y \in {\mathbb {Z}}^d\) and \({{\,\mathrm{\mathbb {P}}\,}}\)a.e. \(\omega \) the mapping \([0,t) \ni s \mapsto p^{\omega }(s,x;t,y)\) is absolute continuous, which implies (i). For that purpose, fix some \(f \in \ell ^{\infty }({\mathbb {Z}}^d)\) and \(t > 0\). Since, for every \(x \in {\mathbb {Z}}^d\), the map \(t \mapsto \mu _t^{\omega }(x)\) is \({{\,\mathrm{\mathbb {P}}\,}}\)a.s. locally integrable by (B.1), the absolute continuity of the Lebesgue integral implies that, for every \(\varepsilon > 0\), there exists \(\delta \equiv \delta (x) > 0\) such that
Then, by using the integrated backward equation (B.3) and the CauchySchwarz inequality,
for any union \(D = \bigcup _{i=1}^n (r_i, s_i)\) of pairwise disjoint intervals \((r_i, s_i) \subset [0,t]\) of total length less than \(\delta \).
(ii) We rewrite the righthand side of (B.3) as
Since \(t \mapsto \mu _t^{\omega }(x)\) is locally integrable, the differential form of the backward equation in weak sense follows from [20, Theorem 6.3.6] together with an application of the chain and product rule. \(\square \)
Lemma B.2
Define for any \(t \in {\mathbb {R}}\) and \(e \in E_d\). Then,
Proof
Write and with . We denote by the heat kernel associated with the process X killed upon exiting \(B_n\), and we write \((P_{s,t}^{\omega ,n}: t \ge s)\) for the transition semigroup. Recall that the associated timedependent generator, still denoted by \({\mathcal {L}}^{\omega }_t\), is acting on functions with Dirichlet boundary condition. By similar arguments as in Proposition B.1 one can establish a backward equation for \((P_{s,t}^{\omega ,n} : t \ge s)\), which gives
where we used in the last step that \({\mathcal {L}}_{s}^{\tilde{\omega }} = {\mathcal {L}}^{\omega }_s\). By integration over [0, t] we get
and by choosing \(f = \mathbb {1}_{\{y\}}\) and \(g = \mathbb {1}_{\{x\}}\) we obtain \(p^{\tilde{\omega },n}(t,y;0,x) = p^{\omega ,n}(0,x;t,y)\). Finally, since \(\lim _{n \rightarrow \infty } p^{\omega ,n}(s,x;t,y) = p^{\omega }(s,x;t,y)\) for all \(x, y \in {\mathbb {Z}}^d\), \(t \ge s\) and \(\omega \in \Omega \), the result follows by taking the limit \(n \rightarrow \infty \). \(\square \)
Proposition B.3
For \({{\,\mathrm{\mathbb {P}}\,}}\)a.e. \(\omega \), every \(x \in {\mathbb {Z}}^d\) and finitely supported \(f\!:{\mathbb {Z}}^d \rightarrow {\mathbb {R}}\), the map \( t \mapsto (P_{0,t}^{\omega }f)(x)\) is differentiable at almost every \(t \in (0,\infty )\) and
In particular, for \({{\,\mathrm{\mathbb {P}}\,}}\)a.e. \(\omega \), the function \((t,x) \mapsto u(t,x) = p^{\omega }(0,0;t,x)\) solves
Proof
This follows from the backward equation in Proposition B.1 and Lemma B.2. Indeed, let \({\tilde{\omega }}\) be defined as in Lemma B.2, then we have for any \(f,g \in \ell ^2({\mathbb {Z}}^d)\),
Thus, for any finitely supported \(f\!: {\mathbb {Z}}^d \rightarrow {\mathbb {R}}\) and \(g = \mathbb {1}_x\), we obtain
Hence, by using the differential backward equation, we get
which yields (B.5). Finally, consider the function . Then, by applying (B.5), we find that
which concludes the proof. \(\square \)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Andres, S., Chiarini, A. & Slowik, M. Quenched local limit theorem for random walks among timedependent ergodic degenerate weights. Probab. Theory Relat. Fields 179, 1145–1181 (2021). https://doi.org/10.1007/s00440021010286
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00440021010286
Keywords
 Random conductance model
 Invariance principle
 Percolation
 Isoperimetric inequality
 De Giorgi’s iteration