Abstract
We prove a quenched local central limit theorem for continuous-time random walks in \({\mathbb {Z}}^d, d\ge 2\), in a uniformly-elliptic time-dependent balanced random environment which is ergodic under space-time shifts. We also obtain Gaussian upper and lower bounds for quenched and (positive and negative) moment estimates of the transition probabilities and asymptotics of the discrete Green’s function.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this article we consider a random walk in a balanced uniformly-elliptic time-dependent random environment on \({\mathbb {Z}}^d, d\ge 2\).
For \(x,y\in {\mathbb {Z}}^d\), we write \(x\sim y\) if \(|x-y|_2=1\). Denote by \(\mathcal {P}\) the set (of nearest-neighbor transition rates on \({\mathbb {Z}}^d\))
Equip \(\mathcal {P}\) with the the product topology and the corresponding Borel \(\sigma \)-field. We denote by \(\Omega \subset \mathcal {P}^{{\mathbb {R}}}\) the set of all measurable functions \(\omega : t\mapsto \omega _t\) from \({\mathbb {R}}\) to \(\mathcal {P}\) and call every \(\omega \in \Omega \) a time-dependent environment. For \(\omega \in \Omega \), we define the parabolic difference operator
for every bounded function \(u:{\mathbb {Z}}^d\times {\mathbb {R}}\rightarrow {\mathbb {R}}\) which is differentiable in t. Let \(({\hat{X}}_t)_{t\ge 0}=(X_t,T_t)_{t\ge 0}\) denote the continuous-time Markov chain on \({\mathbb {Z}}^d\times {\mathbb {R}}\) with generator \(\mathcal {L}_\omega \). Note that almost surely, \(T_t=T_0+t\). We say that \((X_t)_{t\ge 0}\) is a continuous-time random walk in the environment \(\omega \) and denote by \(P_\omega ^{x,t}\) its law (called the quenched law) with initial state \((x,t)\in {\mathbb {Z}}^d\times {\mathbb {R}}\).
We equip \(\Omega \subset \mathcal {P}^{\mathbb {R}}\) with the induced product topology and let \(\mathbb {P}\) be a probability measure on the Borel \(\sigma \)-field \(\mathcal {B}(\Omega )\) of \(\Omega \). An environment \(\omega \in \Omega \) is said to be balanced if
and uniformly elliptic if there is a constant \(\kappa \in (0,1)\) such that
Let \(\Omega _\kappa \subset \Omega \) denote the set of balanced and uniformly elliptic environments with ellipticity constant \(\kappa \in (0,1)\). The measure \(\mathbb {P}\) is said to be balanced and uniformly elliptic if \(\mathbb {P}\left( \omega \in \Omega _\kappa \right) =1\) for some \(\kappa \in (0,1)\).
For each \((x,t)\in {\mathbb {Z}}^d\times {\mathbb {R}}\) we define the space-time shift \(\theta _{x,t}\omega :\Omega \rightarrow \Omega \) by
We assume that the law \(\mathbb {P}\) of the environment is translation-invariant and ergodic under the space-time shifts \(\{\theta _{x,t}:x\in {\mathbb {Z}}^d, t\ge 0\}\). I.e., \(P(A)\in \{0,1\}\) for any \(A\in \mathcal {B}(\Omega )\) such that \(\mathbb {P}(A\Delta \theta _{{\hat{x}}}^{-1}A)=0\) for all \({\hat{x}}\in {\mathbb {Z}}^d\times [0,\infty )\).
Given \(\omega \), the environmental process
with initial state \({\bar{\omega }}_0=\omega \) is a Markov process on \(\Omega \). With abuse of notation, we use \(P_\omega ^{0,0}\) to denote the quenched law of \(({\bar{\omega }}_t)_{t\ge 0}\).
Assumptions: throughout this paper, we assume that \(\mathbb {P}\) is balanced, ergodic, and uniformly elliptic with ellipticity constant \(\kappa >0\).
We recall the quenched central limit theorem (QCLT) in [14].
Theorem 1
[14, Theorem 1.2] Under the above assumptions of \(\mathbb {P}\),
-
(a)
there exists a unique invariant measure \(\mathbb {Q}\) for the process \(({\bar{\omega }}_t)_{t\ge 0}\) such that \(\mathbb {Q}\ll \mathbb {P}\) and \(({\bar{\omega }}_t)_{t\ge 0}\) is an ergodic flow under \(\mathbb {Q}\times P_\omega ^{0,0}\). Let
$$\begin{aligned} \rho (\omega ):=\mathrm {d}\mathbb {Q}/\mathrm {d}\mathbb {P}. \end{aligned}$$Then we have \(\rho >0\), \(\mathbb {P}\)-almost surely, and
$$\begin{aligned} E_{\mathbb {P}}[\rho ^{(d+1)/d}]<\infty . \end{aligned}$$(2) -
(b)
(QCLT) For \(\mathbb {P}\)-almost all \(\omega \), \(P_\omega ^{0,0}\)-almost surely, \((X_{n^2t}/n)_{t\ge 0}\) converges weakly, as \(n\rightarrow \infty \), to a Brownian motion with deterministic non-degenerate covariance matrix \(\Sigma =\mathrm{diag}\{2E_{\mathbb {Q}}[\omega _0(0,e_i)], i=1,\ldots ,d\}\).
In the special case where the environment is time-independent, i.e., \(\mathbb {P}(\omega _t=\omega _s \text { for all } t,s\in {\mathbb {R}})=1\), we say that the environment is static.
Remark 2
For balanced random walks in a static, uniformly-elliptic, ergodic random environment on \({\mathbb {Z}}^d\), the QCLT has been first shown by Lawler [24], which is a discrete version of the result of Papanicolaou and Varadhan [27]. It is then generalized to static random environments with weaker ellipticity assumptions in [9, 19].
Remark 3
Write \(\Vert f\Vert _{L^p(\mathbb {P})}:=(E_{\mathbb {P}}[|f|^p])^{1/p}\) for \(p\in {\mathbb {R}}\). At the end of the proof of [14, Theorem 1.2], it is shown that \(E_\mathbb {Q}[g]\le C\Vert g\Vert _{L^{d+1}(\mathbb {P})}\) for any bounded continuous function g, which implies (2).
For \((x,t)\in {\mathbb {Z}}^d\times {\mathbb {R}}\), set
Since \(\Omega \) is equipped with a product \(\sigma \)-field, for any fixed \(\omega \in \Omega \), the map \({\mathbb {R}}\rightarrow \Omega \) defined by \(t\mapsto \theta _{0,t}\omega \) is measurable. Hence for almost-all \(\omega \), the function \(\rho _\omega (x,t)\) is measurable in t. Moreover, \(\rho _\omega \) possesses the following properties. For \(\mathbb {P}\)-almost all \(\omega \),
-
(i)
\(\rho _\omega (x,t)\delta _x\mathrm {d}t\) is an invariant measure for the process \({\hat{X}}_t\) under \(P_\omega \);
-
(ii)
\(\rho _\omega (x,t)>0\) is the unique density (with respect to \(\delta _x\mathrm {d}t\)) for an invariant measure of \({\hat{X}}\) that satisfies \(E_\mathbb {P}[\rho _\omega (0,0)]=1\);
-
(iii)
\(\rho _\omega \) has a version which is absolutely continuous with respect to t with
$$\begin{aligned} \partial _t\rho _\omega (x,t)=\sum _{y} \rho _\omega (y,t)\omega _t(y,x) \end{aligned}$$(3)for almost every t, where \(\omega _t(x,x):=-\sum _{y:y\sim x}\omega _t(x,y)\).
The proof of these properties, which is rather standard, is given in Sect. A.1 for the purpose of completeness.
As a main result of our paper, we will present the following local limit theorem (LLT), which is a finer characterization of the local behavior of the random walk than the QCLT. Let
For \({\hat{x}}=(x,t),{\hat{y}}=(y,s)\in {\mathbb {Z}}^d\times {\mathbb {R}}\), \(t\le s\), define
Theorem 4
(LLT) For \(\mathbb {P}\)-almost all \(\omega \) and any \(T>0\),
Here \(p_t^\Sigma (0,x)=[(2\pi t)^{d}\det \Sigma ]^{-1/2}\exp (-x^T\Sigma ^{-1} x/2t)\) is the transition kernel of the Brownian motion with covariance matrix \(\Sigma \) and starting point 0, and \(\lfloor x\rfloor :=(\lfloor x_1\rfloor ,\ldots , \lfloor x_d\rfloor )\in {\mathbb {Z}}^d\) for \(x\in {\mathbb {R}}^d\).
The proof of the LLT follows from Theorem 1 and a localization of the heat kernel \(q^\omega ({\hat{0}},\cdot )\), an argument already implemented in [7] and [4] in the context of random conductance models. For this purpose, the regularity of \({\hat{x}}\mapsto q^\omega ({\hat{0}},{\hat{x}})\) is essential. We use an analytical tool from classical PDE theory: the parabolic Harnack inequality (PHI) which yields not only Hölder continuity of \(q^\omega ({\hat{0}},\cdot )\) but also very sharp heat kernel estimates.
To state the PHI, we need some notations. For \({\hat{x}}=(x,t)\in {\mathbb {Z}}^d\times {\mathbb {R}}\), let
and define the the adjoint operator \(\mathcal {L}^*_\omega \) by
We say that a function u is \(\omega \)-caloric (resp. \(\omega ^*\)-caloric) on \(\mathcal {D}\subset {\mathbb {Z}}^d\times {\mathbb {R}}\) if \(\mathcal {L}_\omega u=0\) (resp. \(\mathcal {L}^*_\omega u=0\)) on \(\mathcal {D}\).
Throughout this paper, unless otherwise specified, C, c denote generic positive constants that depend only on \((d,\kappa )\), and which may differ from line to line. If two functions f and g satisfy \(cg\le f\le Cg\), we write
First, let us state the PHI for the operator \(\mathcal {L}_\omega \). For \(r>0\), \(x\in {\mathbb {R}}^d\), let
Proposition 5
(PHI for \(\mathcal {L}_\omega \)) Assume \(\omega \in \Omega _\kappa \) and \(\theta >0\). Let u be a non-negative \(\omega \)-caloric function on \(B_R\times (0, \theta R^2)\). Then, for \(0<\theta _1<\theta _2<\theta _3<\theta \), there exists a constant \(C=C(\kappa ,d,\theta _1,\theta _2,\theta _3,\theta )\) such that
We remark that for dynamical environments in the discrete time setting, the PHI is obtained by Kuo and Trudinger for the so-called implicit form operators, see [23, (1.16)]. For discrete-time random walks in a static environment, the PHI is shown by Lawler [25] for uniformly elliptic operators, and by Berger and Criens [8] (see also [11]) for a genuinely d-dimensional i.i.d. environment which is not necessarily elliptic.
Observe that for fixed \({\hat{x}}=(x,t)\), the function \({\hat{y}}\mapsto q^\omega ({\hat{y}},{\hat{x}})\) is \(\omega \)-caloric on \({\mathbb {Z}}^d\times (-\infty ,t)\). Whereas, the heat kernel \({\hat{x}}\mapsto q^\omega ({\hat{0}},{\hat{x}})\) is \(\omega ^*\)-caloric on \({\mathbb {Z}}^d\times (0,\infty )\). Hence, to obtain the regularity of the heat kernel, we need to prove, instead of the PHI for \(\mathcal {L}_\omega \), the following PHI for \(\mathcal {L}_\omega ^*\) which is our second main result.
Theorem 6
(PHI for \(\mathcal {L}^*_\omega \)) For \(\mathbb {P}\)-almost all \(\omega \), any non-negative \(\omega ^*\)-caloric function v on \(B_{2R}\times (0, 4R^2] \) satisfies
As a standard consequence of the PHI for \(\mathcal {L}^*_\omega \), we get the following Hölder estimate for \(\omega ^*\)-caloric functions. (See a proof in Sect. A.2.)
Corollary 7
Let \((x_0,t_0)\in {\mathbb {Z}}^d\times {\mathbb {R}}\) and \(R>0\). There exists \(\gamma =\gamma (d,\kappa )\in (0,1]\) such that, \(\mathbb {P}\)-almost surely, any non-negative \(\omega ^*\)-caloric function u on \(B_R(x_0)\times (t_0-R^2,t_0]\) satisfies
for all \({\hat{x}},{\hat{y}}\in B_r(x_0)\times (t_0-r^2,t_0]\) and \(r\in (0,R)\).
The main challenge in proving Theorem 6 is that \(\omega ^*\) is neither balanced nor uniformly elliptic, and so the PHI for \(\mathcal {L}_\omega \) (Proposition 5) is not immediately applicable. This is the main difference with the random conductance model with symmetric jump rates where \(\omega _t(x,y)=\omega _t(y,x)=\omega ^*_t(x,y)\), in which case the PHI for \(\mathcal {L}_\omega \) is the same as PHI for \(\mathcal {L}_\omega ^*\). See [1, 2, 12, 13, 20].
In PDE, the Harnack inequality for the adjoint of non-divergence form elliptic differential operators was first proved by Bauman [6], and was generalized to the parabolic setting by Escauriaza [15]. Our proof of Theorem 6 follows the main idea of [15].
Let us explain the main idea for the proof of Theorem 6. An important observation is that \(\omega ^*\)-caloric functions
can be expressed in terms of hitting probabilities of the time-reversed process. Thus to compare values of an
\(\omega ^*\)-caloric function at different points, one only needs to estimate hitting probabilities of the original process that starts from the boundary. To this end, we will use a “boundary Harnack inequality" (Proposition 30) which compares
\(\omega \)-caloric functions near the boundary. We will also need the following parabolic volume-doubling property (VDP) for the invariant measure to control the change of probabilities due to time-reversal.
Theorem 8
(parabolic VDP) \(\mathbb {P}\)-almost surely, for every \(r\ge 1/2\),
Remark 9
For time discrete random walks in a static environment, Theorem 6 was shown by Mustapha [26]. His argument follows basically [15], and uses the PHI [23, Theorem 4.4] of Kuo and Trudinger in the time discrete situation. Note that for static environments, the PHI for \(\mathcal {L}_\omega ^*\) follows from the PHI (for \(\mathcal {L}_\omega \))and a representation formula (See Remark 33), and a VDP is not needed. However, in our dynamical setting, the parabolic VDP is crucially employed. To this end, we adapt ideas of Safonov-Yuan [28] and results in the references therein [6, 16, 18] into our discrete space setting.
Remark 10
For adjoint solutions of non-divergence form elliptic PDE, a VDP was first established by Fabes and Stroock [17]. It was then generalized by Safonov and Yuan [28] to the parabolic case.
Recall the heat kernel \(q^\omega \) in (4). For any \(A\subset {\mathbb {R}}^d\) and \(s\in {\mathbb {R}}\), let
We write the \(\ell ^2\)-norm of \(x\in {\mathbb {R}}^d\) as \(|x|=|x|_2\). For \(r\ge 0,t>0\), define
Note that \({\mathfrak {h}}(c_1r,c_2 t)\asymp {\mathfrak {h}}(r,t)\) for constants \(c_1,c_2>0\).
Our third main results are the following heat kernel estimates (HKE). Note that for a general balanced environment, the density \(\rho _\omega \) does not have deterministic (positive) upper and lower bounds, thus one cannot expect deterministic Gaussian bounds for \(p^\omega ({\hat{0}},{\hat{x}})\). However, our HKE below shows that \(p^\omega ({\hat{0}},{\hat{x}})\) has both \(L^{(d+1)/d}(\mathbb {P})\) and \(L^{-p}(\mathbb {P})\) moment bounds.
Theorem 11
(HKE) For \(\mathbb {P}\)-almost every \(\omega \) and all \({\hat{x}}=(x,t)\in {\mathbb {Z}}^d\times (0,\infty )\),
for all \(s\in [0,t]\) and y with \(|y|\le |x|+c\sqrt{t}\). Moreover, recalling the definition of \(L^p(\mathbb {P})\) in Remark 3, there exists \(p=p(d,\kappa )>0\) such that
for all \((x,t)\in {\mathbb {Z}}^d\times (0,\infty )\). As a consequence, setting \(G^\omega (0,x)=\int _0^\infty P_\omega ^{0,0}(X_t=x)\mathrm {d}t\), we have for \(d\ge 3\) and \(x\in {\mathbb {Z}}^d\),
Furthermore, we can characterize asymptotics of the Green’s function of the RWRE. Recall the notations \(\Sigma \) (in Theorem 1 (b)), \(p^\Sigma _t\), and \(\lfloor x\rfloor \) (in Theorem 4).
Corollary 12
The following statements are true for \(\mathbb {P}\)-almost every \(\omega \).
-
(i)
There exists \(t_0(\omega )>0\) such that for any \({\hat{x}}=(x,t)\in {\mathbb {Z}}^d\times (t_0,\infty )\),
$$\begin{aligned} \frac{c}{t^{d/2}}e^{-\frac{C|x|^2}{t}} \le q^\omega ({\hat{0}},{\hat{x}}) \le \frac{C}{t^{d/2}}e^{-c{\mathfrak {h}}(|x|,t)}, \end{aligned}$$where \({\mathfrak {h}}\) is as in (5). As a consequence, the RWRE is recurrent when \(d=2\) and transient when \(d\ge 3\).
-
(ii)
When \(d=2\), for all \(x\in {\mathbb {R}}^d\setminus \left\{ 0\right\} \),
$$\begin{aligned} \lim _{n\rightarrow \infty }\frac{1}{\log n}\int _0^\infty \left[ q^\omega ({\hat{0}};0,t)-q^\omega ({\hat{0}};\lfloor nx\rfloor ,t)\right] \mathrm {d}t =\frac{1}{\pi \sqrt{\det \Sigma }}. \end{aligned}$$ -
(iii)
When \(d\ge 3\), for all \(x\in {\mathbb {R}}^d\setminus \left\{ 0\right\} \),
$$\begin{aligned} \lim _{n\rightarrow \infty }n^{d-2}\int _0^\infty q^\omega ({\hat{0}};\lfloor nx\rfloor ,t)\mathrm {d}t =\int _0^\infty p^\Sigma _t(0,x)\mathrm {d}t. \end{aligned}$$
Similar results as Corollary 12(ii)(iii) are also obtained recently for the conductance model [5].
Our major technical novelties and main results can be summarized as follows. (a) Using probability estimates, we solve the difficult analytic problem of obtaining a parabolic VDP (for the density of the invariant measure) in a time-dependent balanced environment. (b) Using the parabolic VDP, we established the \(A_p\) bounds, and as a consequence proved the PHI for \(\omega \)-caloric functions. The latter proof, which is of interest on its own, can be viewed as the parabolic version of Fabes and Stroock’s [17] proof in the elliptic static setting. (c) Interpreting \(\omega ^*\)-caloric functions in terms of a time reversed RWRE, and using the parabolic VDP and boundary PHI estimates, we prove the PHI for the adjoint operator. (d) As applications, we obtain LLT, quenched HKE, positive and negative \(L^p\) bounds for the heat kernel, and Green’s function asymptotics for the RWRE.
The organization of this paper is as follows. Section 2 contains probability estimates that are used in the later sections. In Sect. 3, we obtain the parabolic VDP and an \(A_p\) inequality for \(\rho _\omega \), and prove the PHI for \(\mathcal {L}_\omega \). In Sect. 4, we establish estimates of \(\omega \)-caloric functions near the boundary, showing both the interior elliptic-type and boundary PHI’s. We prove the PHI for the adjoint operator (Theorem 6) in Sect. 5. Finally, with the adjoint PHI, we prove Theorems 4, 11, and Corollary 12 in Sect. 6. Some classical estimates and standard arguments can be found in the Appendix.
2 Auxiliary probability estimates
This section contains probability estimates that are crucial in the rest of the paper. For a finite subgraph \(D\subset {\mathbb {Z}}^d\), let
For \(\mathscr {D}\subset {\mathbb {Z}}^d\times {\mathbb {R}}\), define the parabolic boundary of \(\mathscr {D}\) as
In the special case \(\mathscr {D}=D\times [0,T)\) for some finite \(D\subset {\mathbb {Z}}^d\), it is easily seen that \(\partial ^\text {\textsf {P}}\mathscr {D}=(\partial D\times [0,T])\cup ({\bar{D}}\times \{T\})\). See Fig. 1.
Recall the definition of the function \({\mathfrak {h}}(r,t)\) in (5).
Lemma 13
Assume \(\omega \in \Omega _\kappa \). Then for \(t>0\), \(r>0\),
Proof
Let \(x(i), i=1,\ldots ,d,\) denotes the i-th coordinate of \(x\in {\mathbb {R}}^d\). It suffices to show that for \(i=1,\ldots ,d\),
We will prove the statement for \(i=1\). Let \({{\tilde{N}}}_t:=\#\{0\le s\le t: X_s(1)\ne X_{s^-}(1)\}\) be the number of jumps in the \(e_1\) direction before time t. Let \((S_n)\) be the discrete time simple random walk on \({\mathbb {Z}}\), then \(X_t(1){\mathop {=}\limits ^{d}}S_{{{\tilde{N}}}_t}\). Note that \({{\tilde{N}}}_t\) is stochastically dominated by a Poisson process \(N_t\) with rate \(c_0:=2d/\kappa \), and so \(P_\omega ^{{\hat{0}}}(\sup _{0\le s\le t}|X_s(1)|>r)\le P(\max _{0\le m\le N_t}|S_m|>r)\). Hence,
where we used Hoeffding’s inequality in the second inequality. On the other hand, since the random walk is in a discrete set \({\mathbb {Z}}\), we have, for any \(\theta >0\),
When \(r\ge 9c_0^2 t\), taking \(\theta =\log (\tfrac{r}{c_0t})\), we get an upper bound \(\exp [-\tfrac{r}{2}\log (\tfrac{r}{t})]\). Hence, letting \(f(r,t)=\tfrac{r^2}{t\vee r}\mathbb {1}_{r<9c_0^2t}+r\log (\tfrac{r}{t})\mathbb {1}_{r\ge 9c_0^2t}\), we obtain
Since \(f(r,t)\asymp \tfrac{r^2}{t\vee r}+r\log (\tfrac{r}{t})\mathbb {1}_{r\ge 9c_0^2t}\asymp {\mathfrak {h}}(r,t)\), our proof is complete. \(\square \)
Corollary 14
Assume \(\omega \in \Omega _\kappa \) and \(\theta _2>\theta _1>0\). There exist C, c depending on \((d,\kappa ,\theta _1,\theta _2)\) such that for \(\theta \in (\theta _1,\theta _2), (x,t)\in {\mathbb {Z}}^d\times (0,\infty )\),
Proof
Since \({\mathfrak {h}}(0,t)=0\), we only need to consider the case \(x\ne 0\).
If \(\theta t\le 1\), then \(P_\omega ^{{\hat{0}}}(X_{t}\in B_{\sqrt{\theta t}}(x))=P_\omega ^{{\hat{0}}}(X_t=x)\le P_\omega ^{{\hat{0}}}(\sup _{0\le s\le t}|X_s|\ge |x|)\le C\exp [-c{\mathfrak {h}}(|x|,t)]\) by Lemma 13.
If \(\theta t>1\) and \(1\le |x|\le 2\sqrt{\theta t}\), then \(|x|\le |x|^2\le 4\theta t\) and so \({\mathfrak {h}}(|x|,t)\asymp {\mathfrak {h}}(|x|,4\theta t)\asymp \tfrac{|x|^2}{t}\). In particular, \({\mathfrak {h}}(|x|,t)\le C\tfrac{|x|^2}{t}\le c\). Hence, trivially, \(P_\omega ^{{\hat{0}}}(X_{t}\in B_{\sqrt{\theta t}}(x))\le 1\le C\exp (-c{\mathfrak {h}}(|x|,t))\).
It reminds to consider \(|x|>2\sqrt{\theta t}>2\). In this case, by Lemma 13, \(P_\omega ^{{\hat{0}}}(X_{t}\in B_{\sqrt{\theta t}}(x))\le P_\omega ^{{\hat{0}}}(\sup _{0\le s\le t}|X_s|\ge |x|/2) \le C\exp [-c{\mathfrak {h}}(|x|,t)]\). \(\square \)
For any \(A\subset {\mathbb {Z}}^d\), \(s\in {\mathbb {R}}\), define the stopping time
Lemma 15
Let \(0<\theta _1<\theta _2\), \(R>0\) and \(\omega \in \Omega _\kappa \). Recall the stopping time \(\Delta \) in (11). There exists a constant \(\alpha =\alpha (\kappa ,d,\theta _1,\theta _2)\ge 1\) such that for any \(s\in (\theta _1 R^2,\theta _2R^2)\) and \(\sigma >0\)
Proof
It suffices to consider the case \(\sigma \in (0, 1)\) and \(R\ge K_1\), where \(K_1=K_1(\theta _1,\theta _2,\kappa ,d)\) is a large constant to be determined. Indeed, if \(R<K_1\), then by uniform ellipticity, for any \(x\in B_R\),
Further, for \(R\ge K_1\), if suffices to consider the case \(\sigma R\ge \sqrt{K_1}\). Indeed, assume the lemma is proved for \(R\ge K_1\) and \(\sigma R\ge \sqrt{K_1}\). Then, when \(\sigma R<\sqrt{K_1}\) and \(x\in B_R\), by uniform ellipticity,
Hence in what follows we only consider the case \(R\ge K_1\) and \(\sigma R\ge \sqrt{K_1}\).
For \((x,t)\in {\mathbb {R}}^d\times {\mathbb {R}}\), set
and, for some large constant \(q\ge 2\) to be chosen,
Let \(U:=\{{\hat{x}}\in B_{2R}\times [0,s): \psi _1({\hat{x}})>0\}\). We will show that for \({\hat{x}}\in U\),
Recall the parabolic boundary \(\partial ^\text {\textsf {P}}\) in (10). We first show that w satisfies
The first two properties in (12) are obvious. For the third property, note that
For any unit vector \(e\in {\mathbb {Z}}^d\), let
When \({\hat{x}}\in U_1:=\{(z,s)\in U:(y,s)\in U \text { for all }y\sim z\}\), then \(\nabla _e^2 [\psi _1^2({\hat{x}})]=\nabla _e^2[{\tilde{\psi }}_1^2({\hat{x}})]\). When \({\hat{x}}=(x,t)\in U\setminus U_1\), then for some \(|e|=1\), either \((x+e,t)\) or \((x-e,t)\) is not in U. Say, \((x+e,t)\notin U\), then \(x\cdot e\ge 1\) and \(\exists \delta \in (0,1)\) such that \({\tilde{\psi }}_1(x+\delta e,t)=0\). In both cases, there exists \(\delta \in (0,1]\) such that
where in the last inequality we used the fact \(1\le x\cdot e\le |x|\le 2R\psi _0^{1/2}\). Thus, letting \(\xi :=\psi _1/\psi _0\in [0,1]\), we have for \({\hat{x}}=(x,t)\in {{\tilde{U}}}\),
where in the last inequality we used \(|x|^2/(4R^2\psi _0)=1-\xi \) and \(\psi _0^{1/2}\ge \sigma /2\ge K_1^{1/2}/(2R)\). Taking q and \(K_1\) large enough, we have \(\mathcal {L}_\omega \psi \ge 0\) in U. The third property in (12) is proved.
Finally, we set \(v({\hat{x}})=P_\omega ^{{\hat{x}}}(X_{\Delta (B_{2R},s)}\in B_{\sigma R})\). By (12), \(v({\hat{X}}_t)-w({\hat{X}}_t)\) is a super-martingale for \(t\le T_U:=\inf \{s\ge 0: {\hat{X}}_s\notin U\}\) and \((v-w)|_{\partial ^\text {\textsf {P}}U}\ge 0\). Hence, the optional-stopping theorem yields
In particular, \( \min _{x\in B_{R}}v(x,0)\ge \min _{x\in B_{R}}w(x,0) \ge (\sigma /2)^{2q-4}/2. \) \(\square \)
Corollary 16
Assume that \(\omega \in \Omega _\kappa \), \(R/2>r>1/2\), \(\theta >0\). There exists \(c=c(d,\kappa ,\theta )\in (0,1)\) such that for any \(y\in \partial B_R\) with \(B_{2r}(y)\cap B_R\ne \emptyset \),
Proof
By uniform ellipticity, it suffices to consider \(r\ge 10\).
Let \(z=\tfrac{ry}{5|y|}+y\in {\mathbb {R}}^d\). Note that \(B_{r}(y)\subset B_{5r/4}(z)\subset B_{3r/{2}}(z)\subset B_{2r}(y)\) and \(B_{r/5}(z)\subset {\mathbb {Z}}^d\setminus B_R\). Recall \(\Delta \) in (11). Then, by Lemma 15,
The corollary is proved. \(\square \)
Lemma 17
Assume \(\omega \in \Omega _\kappa \), \(\beta \in (0,1)\). Let \(\tau _{\beta ,1}=\tau _{\beta ,1}(R)=\inf \{t\ge 0: X_t\notin B_R\setminus {\bar{B}}_{\beta R}\}\). Then if \(y\in B_R\setminus \bar{B}_{\beta R}\ne \emptyset \) and \(\theta >0\), we have
where \(C=C(\kappa ,d,\beta ,\theta )\).
Proof
It suffices to prove the lemma for \(R>\alpha ^2\), where \(\alpha =\alpha (\kappa ,d,\beta ,\theta )\) is a large constant to be determined. We only need to consider y with \(\text {dist}(y,\partial (B_R\setminus {\bar{B}}_{\beta R}))\ge 2\) in which case \(R-|y|\asymp \text {dist}(y,\partial B_R)\).
For \({\hat{x}}=(x,t)\), let \(g({\hat{x}})=\exp (-\tfrac{\alpha }{R^2}|x|^2-\frac{\alpha t}{\theta R^2})\). Using the inequalities \(e^a+e^{-a}\ge 2+a^2\) and \(e^a\ge 1+a\), we get for \(x\in B_R\setminus {\bar{B}}_{\beta R}, t\in {\mathbb {R}}\),
if \(\alpha \) is chosen to be large enough. Hence \(g({\hat{X}}_t)\) is a submartingale for \(t\le \tau _{\beta ,1}\).
Recall the definition of the stopping time \(\Delta \) in (11). Let
Set \(\mathscr {D}=(B_R\setminus {\bar{B}}_{\beta R})\times [0,\theta R^2)\). Since \((u-v)|_{\partial ^\text {\textsf {P}}\mathscr {D}}\ge 0\) and \(u({\hat{X}}_t)\) is a martingale in \(\mathscr {D}\), by the optional-stopping theorem we conclude that \(u\ge v\) in \(\mathscr {D}\). In particular, \(u(x,0)\ge v(x,0)\ge C(R^2-|x|^2)/R^2\) for \(x\in B_R\setminus {\bar{B}}_{\beta R}\). \(\square \)
Lemma 18
Let \(\beta \in (0,1)\), and let \(\tau _{\beta ,1}\) be as in Lemma 17. For \(\theta >0\), there exists a constant \(C=C(\beta ,\kappa ,d,\theta )\) such that, if \(x\in B_R\setminus \bar{B}_{\beta R}\ne \emptyset \),
Proof
Set \(\mathscr {D}:=(B_R\setminus {\bar{B}}_{\beta R})\times [0,\theta R^2)\). It suffices to consider the case \(R>k^2\), where \(k=k(\beta ,\kappa ,d,\theta )>\log 2/\log (2-\beta ^2)\) is a large constant to be determined. Let \(h(x,t)=2-|x|^2/(R+1)^2+t/(\theta R^2)\).
Recall the notation \(\nabla ^2\) in (13). For \({\hat{x}}=(x,t)\in \mathscr {D}\), note that \(1\le h({\hat{x}})\le 3\) and \(|\nabla _{e_i}^2(h^{-k})({\hat{x}})-\partial _{ii}(h^{-k})({\hat{x}})|\le Ck^3R^{-3}h^{-k}(x,t)\). Hence for any \({\hat{x}}=(x,t)\in \mathscr {D}\), when k is sufficiently large,
which implies that \(h({\hat{X}}_t)^{-k}\) is a submartingale inside the region \(\mathscr {D}\).
Next, set (Recall the stopping time \(\Delta \) in (11).)
Then \(u({\hat{X}}_t)+(2-\beta ^2)^kh({\hat{X}}_t)^{-k}\) is a submartingale in \(\mathscr {D}\). Since
by the optional stopping theorem, we have for \(x\in B_R\setminus {\bar{B}}_{\beta R}\),
Therefore, for any \(x\in B_R\setminus {\bar{B}}_{\beta R}\),
Our proof of Lemma 18 is complete. \(\square \)
3 A local volume-doubling property and its consequences
The purpose of this section is to obtain the parabolic VDP (Theorem 8) and a negative moment estimate (Theorem 26) for the density \(\rho _\omega \). The former is an essential part for the proof of the PHI for \(\mathcal {L}_\omega ^*\), while the latter will imply the negative moment bound (8) for the heat kernel. Their proofs rely crucially on a VDP for hitting probabilities restricted in a finite ball (Lemma 19), which is an improved version of [28, Theorem 1.1] by Safonov and Yuan in the PDE setting.
As a by-product, we obtain a new proof of the classical PHI of Krylov and Safonov [22] in the lattice (Proposition 5). Our proof can be viewed as the parabolic version of Fabes and Stroock’s [17] proof of the elliptic HI in the static PDE setting.
In the course of our proof, we also use the maximum principle (Theorem A.3.1) and mean-value inequality (Theorem A.4.1) both of which are standard results for \(\omega \)-caloric functions. Their statements and proofs are included in Sects. A.3 and A.4 for completeness.
3.1 Volume-doubling properties
By the optional stopping theorem, for any \((x,t)\in \mathscr {D}\subset {\mathbb {Z}}^d\times {\mathbb {R}}\) and any bounded integrable function u on \(\mathscr {D}\cup \partial ^\text {\textsf {P}}\mathscr {D}\),
where \(\tau =\inf \{r\ge 0: (X_r,T_r)\notin \mathscr {D}\}\).
To prove Theorem 8, a crucial estimate is a VDP (Lemma 19) for the hitting measure of the random walk, which we will obtain by adapting some ideas of Safonov and Yuan [28] in the PDE setting. In contrast to [28, Theorem 1.1], our proof relies on a probabilistic estimate (Lemma 15) rather than the PHI (Proposition 5).
Lemma 19
Assume \(\omega \in \Omega _\kappa \). Recall \(\Delta (A,s)\) in (11). There exists \(k_0=k_0(d,\kappa )\) such that for any \(k\ge k_0\), \(m\ge 2\), \(r,s>0\) and \(y\in B_{k\sqrt{s}}\), we have
Here \(C_k\) depends only on \((k,d,\kappa )\). In particular, for any \(k\ge 1\), \(|y|\le k\sqrt{s}\),
Proof of Lemma 19:
Since \(B_1=\{0\}\), we only consider \(r\ge 1/2\). Fix s, r, and let \(k_0\ge 1\) be a large constant to be determined. For \(\rho \ge 0\), \(k\ge k_0\), define \(L_{k,\rho }=B_{k\rho }\times \{s-\rho ^2\}\) and (See Fig. 3.)
For any \(R\le \rho \), by Lemma 15, there exists \(\alpha _k>0\) depending on \((k,\kappa ,d)\) such that
Let \(\beta _k>1\) be a large constant to be determined later. Then, letting
we get \(\inf _{D_{k,R}}v_\rho \ge (\beta _k+1)(\tfrac{4r}{R}\wedge 2k)^{\alpha _k}-1\) for \(0<R\le \rho \). In particular, \(\inf _{D_{k,(4r)\wedge \rho }}v_\rho \ge \beta _k\) for \(\rho \ge 0\). Set
Clearly, \(R_\rho \ge (4r)\wedge \rho \). We will prove that
Assuming (15) fails, then \(R_\rho <\rho \) for some \(\rho >4r\). We will show that this is impossible via contradiction. First, for such \(\rho >4r\), we claim that there exists a constant \(\gamma =\gamma (d,\kappa )>0\) such that
By Lemma 15, \(g(R):= \min _{x\in B_R}P_\omega ^{x,s-R^2}(X_{\Delta (B_{2R},s-(R/2)^2)}\in B_{R/2})\ge C\). Further, by the Markov property and that \(R_\rho <\rho \), for \(R\in [2r,R_\rho )\), \(n\ge 1\),
Since \(v_\rho ({\hat{X}}_t)\) is a martingale in \(B_{mk\rho }\times (-\infty ,s)\) and that \(v_\rho \ge 0\) in \(D_{k,R_\rho }\), choosing n such that \(R/2^n\le r<R/2^{n-1}\), the above inequality yields
for \(R\in [2r,R_\rho )\) and \(x\in B_R\). Display (16) is proved.
Next, we will show that for \(R\in [2r,R_\rho )\),
where \(v_\rho ^-=\max \{0,-v_\rho \}\), \(q_k=1-\tfrac{c_1}{k}\) and \(c_1>0\) is a constant to be determined. Noting that \(v_\rho ^-=0\) in \(D_{k,R_\rho }\cup (B_{2r}^c\times \{s\})\) and tshat \(v_\rho ^-({\hat{X}}_t)\) is a sub-martingale, we know that \(f_\rho (R)\) is a decreasing function for \(R\in (\frac{2r}{k},R_\rho )\). Further, for any \((x,t)\in \partial B_{kR}\times [s-R^2,s)\) with \(q_k R\in (\frac{2r}{k},R_\rho )\), by the optional stopping lemma, in view of Lemma 13,
if \(c_1\) is chosen to be big enough. So \(f_\rho (R)\le f_\rho (q_kR)/2\). Let \(n\ge 0\) be the integer such that \(q_k^{n+1}R<r\le q_k^n R\). We conclude that for \(R\in [2r,R_\rho )\),
Inequality (17) then follows from the fact \(v_\rho ^-\le 1\).
Finally, if \(R_\rho <\rho \) for some \(\rho >4r\), let \(\tau =\inf \{t\ge 0:{\hat{X}}_t\notin (B_{mk\rho }\times (-\infty ,s))\setminus (\bar{B}_{kR/2}\times [s-(R/2)^2,s))\}\). Since \(v_\rho =0\) on \(\partial ^\text {\textsf {P}}(B_{mk\rho }\times (-\infty ,s))\setminus (B_{2r}\times \{s\})\), by the optional stopping lemma, for \(R\in [R_\rho ,2R_\rho )\) and \(x\in B_{kR}\),
where \(A_k\) depends on \((k,\kappa ,d)\). Taking \(k_0>c_1\) to be big enough such that \(-c/\log q_k>\gamma \) for \(k\ge k_0\) and choosing \(\beta _k>A_k^{-1}\), the above inequality then implies \(\inf _{D_{k,2R_\rho }}v\ge 0\), which contradicts our definition of \(R_\rho \). Display (15) is proved, and therefore, \(\min _{x\in B_{k\sqrt{s}}}v_{\sqrt{s}}(x,0)\ge 0\). The lemma follows. \(\square \)
Corollary 20
Let \(\omega \in \Omega _\kappa \) and \(k_0\) as in Lemma 19. For any \(r>0, k\ge k_0, m\ge 2, s>0\) and \(y\in B_{k\sqrt{s}}\), we have
where \(C_k\) depends on \((k,\kappa ,d)\). In particular, for any \(k\ge 1, |y|\le k\sqrt{s}\),
Proof
It suffices to consider \(r<\sqrt{s}\), because otherwise, by Lemma 15, the right side is bigger than a constant. When \(t\in [0\vee (s-r^2),s]\),
By Lemma 19, we can replace 4r in the above inequality by r.
When \(t\in [s,s+r^2]\), for any \(y\in B_{k\sqrt{s}}\),
Observing that (cf. Lemma 19)
our proof is complete. \(\square \)
We define, for \({\hat{x}}=(x,t)\in {\mathbb {R}}^d\times {\mathbb {R}}\), the parabolic balls
Proof of Theorem 8:
Let \(k_0\ge 2\) be as in Lemma 19. Recall \({\bar{\omega }}_t, \Delta ,Q_r\) in (1), (11), (18). For fixed \(\xi \in \Omega _\kappa \), define a probability measure \({\mathbb {Q}}_R={\mathbb {Q}}_R^\xi \) on \(\{\theta _{{\hat{x}}}\xi : {\hat{x}}\in Q_R\}\) such that for any bounded measurable \(f\in {\mathbb {R}}^{\Omega }\),
where \(C_R\) is a normalization constant such that \({\mathbb {Q}}_R\) is a probability.
First, we claim that \(C_R\asymp R^2\). Clearly, \(C_R\le 2R^2\). On the other hand,
Since \(|X_t-X_0|^2-\tfrac{d}{\kappa }t\) is a supermartingale, denoting \(\tau =\Delta (B_R,R^2)\), we have \(0\ge E_\xi ^{x,0}[|X_\tau -x|^2-\tfrac{d}{\kappa }\tau ]\). Hence for any \(x\in B_{R/2}\),
which implies \(E_\xi ^{x,0}[\tau ]\ge cR^2\). Thus \(C_R\ge CR^2\) and so \(C_R\asymp R^2\).
Next, since \(\Omega \) is pre-compact, by Prohorov’s theorem, there is a subsequence of \({\mathbb {Q}}_R\) that converges weakly, as \(R\rightarrow \infty \), to a probability measure \({\tilde{{\mathbb {Q}}}}\) on \(\Omega \). We will show that \({\tilde{{\mathbb {Q}}}}\) is an invariant measure of the process \(({\bar{\omega }}_t)\). Indeed, let \(p_R=p_{R,\xi }\) denote the kernel \(p_R({\hat{x}};y,s):=P_\xi ^{{\hat{x}}}({\hat{X}}_{\Delta (B_{2k_0 R}, s)}=(y,s))\). Then, letting \(\mathscr {L}f(\omega )=\sum _{e}\omega _0(0,e)[f(\theta _{e,0}\omega )-f(\omega )]+\partial _t f(\theta _{0,t}\omega )|_{t=0}\) denote the generator of the process \(({\bar{\omega }}_t)\), and \({\hat{y}}:=(y,s)\), we have
for \(f\in \text {dom}(\mathscr {L})\), where \(\text {dom}(\mathscr {L})\) denotes the domain of the generator \(\mathscr {L}\). Note that similar to \(\rho _\omega \), the function \(v({\hat{x}})=p_R(0,-R^2;{\hat{x}})\) satisfies the equality (3): \(\mathscr {L}^Tv({\hat{x}})=0\) for \({\hat{x}}\in B_{2R}\times (-R^2,R^2)\), where \(\mathscr {L}^T v({\hat{x}})=\sum _y v(y,t)\omega _t(y,x)-\partial _t v(x,t)\). Hence, using integration by parts,
for all \(f\in \text {dom}(\mathscr {L})\), where \(\overset{\circ }{B}_R=\{x\in B_R: x\not \sim \partial B_R\}\). Observe that
satisfies \(\mathcal {L}_\xi u({\hat{x}})=-\mathbb {1}_{{\hat{x}}\in \bar{B}_R\setminus \mathring{B}_R\times [0,R^2)}\) for \({\hat{x}}\in \mathscr {D}:= B_{2k_0R}\times [-R^2,R^2)\) and \(u|_{\partial ^\text {\textsf {P}}\mathscr {D}}=0\). By the parabolic maximum principle (Theorem A.3.1), we get \(u(0,-R^2)\le CR^{(2d+1)/(d+1)}\). Hence, by (19), (20), and \(C_R\asymp R^2\),
and so \(E_{{\tilde{{\mathbb {Q}}}}}[\mathscr {L} f]=0\), which implies that \({\tilde{{\mathbb {Q}}}}\) is an invariant measure of \(({\bar{\omega }}_t)\).
Furthermore, we will show that \({\tilde{{\mathbb {Q}}}}\ll \mathbb {P}\). Notice that the function
satisfies \(\mathcal {L}_\xi w({\hat{x}})=-f(\theta _{{\hat{x}}}\xi )\mathbb {1}_{{\hat{x}}\in Q_R}\) in \(\mathscr {D}\) and \(w|_{\partial ^\text {\textsf {P}}\mathscr {D}}=0\). By Theorem A.3.1, for any bounded measurable \(f\in {\mathbb {R}}^\Omega \),
which, by the multi-dimensional ergodic theorem, yields \(E_{{\tilde{{\mathbb {Q}}}}}[f]\le C\Vert f\Vert _{L^{d+1}(\mathbb {P})}\) as we take \(R\rightarrow \infty \). So \({\tilde{{\mathbb {Q}}}}\ll \mathbb {P}\). By Theorem 1, \({\tilde{{\mathbb {Q}}}}={\mathbb {Q}}\).
Finally, since \({\mathbb {Q}}_R\Rightarrow {\mathbb {Q}}\), for any bounded measurable \(f\in {\mathbb {R}}^\Omega \),
Hence, for any measurable function \(f\ge 0\), \(|t|\le r^2\), and \(\mathbb {P}\)-a.a. \(\xi \),
Since f is arbitrary, the theorem follows. \(\square \)
Remark 21
By Theorem 8, for any \(r\ge 1\),
Hence, by the multi-dimensional ergodic theorem, for \(\mathbb {P}\)-almost every \(\omega \),
Display (23) will be used in the Proof of Theorem 4 in Sect. 6.
3.2 \(A_p\) property and proof of the PHI for \(\mathcal {L}_\omega \)
The goal of this subsection is to obtain a negative moment bound for the density \(\rho _\omega \) and to prove the PHI for \(\mathcal {L}_\omega \). We will first obtain a reverse Hölder inequality for adjoint solutions, and then use it to imply the negative moment bounds and the PHI.
We endow \({\mathbb {Z}}^d\) with the discrete topology and counting measure, and equip \({\mathbb {Z}}^d\times {\mathbb {R}}\) with the corresponding product topology and measure (where \({\mathbb {R}}\) has the usual topology and measure). For \(\mathscr {D}\subset {\mathbb {Z}}^d\times {\mathbb {R}}\), let \(|\mathscr {D}|\) be its measure, and denote the integration over \(\mathscr {D}\) by \(\int _{\mathscr {D}}f\) . For instance,
and \(|\mathscr {D}|=\int _{\mathscr {D}}1\). For \(p>0\), we define a norm
We write \(f(\mathscr {D}):=\int _{\mathscr {D}} f\).
Definition 22
A function \(v\in {\mathbb {R}}^{{\mathbb {Z}}^d\times {\mathbb {R}}}\) is called an adjoint solution of \(\mathcal {L}_\omega \) in \(\mathscr {D}=B_R\times [T_1,T_2)\) if \(\int _{\mathscr {D}}v\mathcal {L}_\omega \phi =0\) for any test function \(\phi (x,t)\in {\mathbb {R}}^{{\mathbb {Z}}^d\times {\mathbb {R}}}\) that is supported on \(B_{R}\times (T_1,T_2)\) and smooth in t.
For \({\hat{x}}=(x_1,\ldots ,x_d, t)\), define parabolic cubes with side-length \(r>0\) as
We say that a function \(w\in {\mathbb {R}}^{{\mathbb {Z}}^d\times {\mathbb {R}}}\) satisfies the reverse Hölder inequality \(RH_q(\mathscr {D})\), \(1<q<\infty \), if for any parabolic subcube K of \(\mathscr {D}\),
![figure a](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs00440-021-01097-7/MediaObjects/440_2021_1097_Figa_HTML.png)
We say that w belongs to the \(A_p(\mathscr {D})\) class (with \(A_p\) bound A), \(1<p<\infty \), if there exists \(A<\infty \) such that, for any parabolic subcube K of \(\mathscr {D}\),
![figure b](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs00440-021-01097-7/MediaObjects/440_2021_1097_Figb_HTML.png)
The following lemma is useful in the derivation of reverse Hölder inequalities for adjoint solutions.
Lemma 23
Recall \(\Vert \cdot \Vert _{\mathscr {D},p}\) in (25) and the parabolic balls \(Q_r\) in (18). Let \(\omega \in \Omega _\kappa \). For any non-negative adjoint solution v of \(\mathcal {L}_\omega \) in \(Q_{2r}\), \(r>10\),
Proof
Denote the balls of radius r by
Let \(\phi _0\ge 0\) be a smooth (with respect to t) function supported on \(\mathcal {O}_{3/2}\times [0,9/4)\) with \({\phi _0}|_{\mathcal {O}_1\times [0,1)}=1\) and set \(\phi (x,t)=\phi _0(x/r,t/r^2)\). Let f be any non-negative smooth function supported on \(Q_{r}\) with \(\Vert f\Vert _{Q_r,d+1}=1\) and let \(u\in [0,\infty )^{{\mathbb {Z}}^d\times {\mathbb {R}}}\) be supported on \(Q_{9r/5}\) with \(L_\omega u=-f\) in \(Q_{9r/5}\). Since
where \(\nabla _{x,y}u(\cdot ,t):=u(x,t)-u(y,t)\) and (cf. (24)) \(\int =\int _{{\mathbb {Z}}^d\times {\mathbb {R}}}\), we get
By the maximum principle Theorem A.3.1, \(u\le Cr^2\Vert f\Vert _{Q_r,d+1}\le Cr^2\). Thus, using \(|\mathcal {L}_\omega \phi |\le C/r^2\), we get \(|\text {I}|\le Cv(Q_{3r/2})\). Further, noting that
we have
Hence we obtain \(\int v f\le \int v\phi f\le Cv(Q_{3r/2})+Cv(Q_{3r/2})^{1/2}(\int vf)^{1/2}\) and so \(v(Q_{3r/2})\ge c\int vf\). The lemma follows by taking supremum over all f with \(\Vert f\Vert _{Q_r,d+1}=1\). \(\square \)
Recall the stopping time \(\Delta \) in (11). For \(R>0\), \({\hat{y}}\in B_{2R}\times {\mathbb {R}}\), let
Using Lemma 23, we obtain the following reverse Hölder inequalities for the functions \(\rho _\omega (\cdot )\) and \(g_R({\hat{y}};\cdot )\).
Corollary 24
Let \(\omega \in \Omega _\kappa , R>0\). Recall \(k_0\) in Lemma 19.
-
(i)
\(\rho _\omega \) satisfies \(RH_{(d+1)/d}({\mathbb {Z}}^d\times {\mathbb {R}})\).
-
(ii)
For any \(y\in B_R\), \(v_y({\hat{x}})=g_R(y,0;{\hat{x}})\) satisfies
$$\begin{aligned} RH_{(d+1)/d}(B_{R/2}\times [R^2/(2k_0^2),R^2/k_0^2]). \end{aligned}$$
Proof
Note that \(\rho _\omega \), \(v_y\) are adjoint solutions with volume-doubling properties Theorem 8 and Corollary 20. The corollary follows from Lemma 23. \(\square \)
As a classical result in harmonic analysis, reverse Hölder inequalities imply \((A_p)\). See e.g, [10, pg.246-249], [29, pg. 213-214]. We state this fact for our discrete setting as below, and include its proof in Sect. A.6.
Lemma 25
Let \(K^0\subset {\mathbb {Z}}^d\times {\mathbb {R}}\) be a parabolic cube with side-length \(r>0\). If a function \(w>0\) on \(K^0\) satisfies \(RH_q(K^0)\), \(q>1\), then
-
(i)
\(w\in A_p(K^0)\) for some \(1<p<\infty \);
-
(ii)
\(\frac{w(E)}{w(K)}\ge C(\frac{|E|}{|K|})^c\) for all \(E\subset K\) where \(K\ne \emptyset \) is a subcube of \(K^0\).
With Lemma 25 and the reverse Hölder inequalities for \(\rho _\omega \) and \(g_R(y,0;\cdot )\), the following \(A_p\) bounds and measure estimate follow immediately.
Theorem 26
Let \(\omega , R, k_0, v_y\) be the same as in Corollary 24. There exist \(p=p(d,\kappa )>1, A=A(d,\kappa )\) such that, for \(\mathbb {P}\)-a.e. \(\omega \),
-
(a)
\(\rho _\omega \in A_p({\mathbb {Z}}^d\times {\mathbb {R}})\) with \(A_p\) bound A. As a consequence,
$$\begin{aligned} E_{\mathbb {P}}[\rho _\omega ^{-1/(p-1)}]<\infty ; \end{aligned}$$(29) -
(b)
For any \(y\in B_R\), \(v_y\) belongs to \(A_p(B_{R/2}\times [R^2/(2k_0^2), R^2/k_0^2])\) with \(A_p\) bound A. Moreover, for any \(E\subset K\) where K is a parabolic subcube of \(B_{R/2}\times [R^2/(2k_0^2), R^2/k_0^2]\),
$$\begin{aligned} \frac{g_R(y,0;E)}{g_R(y,0;K)}\ge C\left( \frac{|E|}{|K|}\right) ^c. \end{aligned}$$(30)
Remark 27
In the elliptic non-divergence form PDE setting, the \(A_p\) inequality for adjoint solutions was proved by Bauman [6], and estimate of the form (30) was used by Fabes and Stroock [17] to obtain a short proof of the elliptic Harnack inequality.
Using (30), we will prove the PHI (Proposition 5). Our proof follows the ideas of [17].
Proof of Proposition 5
Let \(\ell _0=1/k_0^2\) and \(\mathscr {D}=\{x:|x|_\infty <R/\sqrt{d}\}\times [\ell _0R^2/2,\ell _0 R^2]\). We only prove a weaker version \(\sup _{\mathscr {D}}u\le C\min _{x\in B_{R/\sqrt{4d}}}u(x,0)\). The PHI then follows by iteration. Indeed, assume \(\min _{x\in B_{R/\sqrt{4d}}}u(x,0)=u(y,0)=1\) for \(y\in B_{R/\sqrt{4d}}\). Let \(E_\lambda =\{{\hat{x}} \in \mathscr {D}:u({\hat{x}})\ge \lambda \}\). By Lemma 15, \(g_R(y,0;\mathscr {D})>CR^2\). Moreover, for \(s\in [\ell _0R^2/2,\ell _0R^2]\), \(1=u(y,0)\ge \lambda g_R(y,0;E_\lambda \cap \{(x,t):t=s\})\), and so
Hence \(|E_\lambda |/|\mathscr {D}|\le C\lambda ^{-\gamma }\) for some \(\gamma >0\). Therefore, for \(0<p<\gamma /2\),
This inequality, together with the mean value inequality (Theorem A.4.1), completes our proof. \(\square \)
4 Estimates of caloric functions near the boundary
The purpose of this section is to establish estimates (Propositions 28 and 30) of \(\omega \)-caloric functions near the parabolic boundary. These estimates are important tools for our proof of the PHI for \(\mathcal {L}_\omega ^*\) in Sect. 5.
For \(x\in {\mathbb {Z}}^d, A\subset {\mathbb {Z}}^d\), let
4.1 An elliptic-type Harnack inequality
Proposition 28
(Interior elliptic-type Harnack inequality) Assume \(\omega \in \Omega _\kappa \), \(R\ge 2\). Suppose \(u\ge 0\) is an \(\omega \)-caloric function on \(Q_R\) with \(u=0\) on \(\partial B_R\times [0,R^2)\). Then for \(0<\delta \le \tfrac{1}{4}\), letting \(Q^\delta _R:=B_{(1-\delta ) R}\times [0, (1-\delta ^2)R^2)\), there exists a constant \(C=C(d,\kappa , \delta )\) such that
To prove Proposition 28, we need a so-called Carlson-type estimate. For parabolic differential operators in non-divergence form, this kind of estimate was first proved by Garofalo [18] (see also [16, Theorem 3.3]).
Lemma 29
(Carlson-type estimate) Assume \(\omega \in \Omega _\kappa \), \(R>2r>0\). Suppose \(u\ge 0\) is an \(\omega \)-caloric function on \((B_R\setminus \bar{B}_{R-2r})\times [0,3r^2)\) with \(u=0\) on \(\partial B_R\times [r^2,3r^2)\). Then, with the convention \(\sup \emptyset =-\infty \), we have
Proof
Set \(\mathscr {D}=(B_R\setminus {\bar{B}}_{R-2r})\times [r^2,3r^2)\). For \({\hat{x}}=(x,t)\in \mathscr {D}\), let \(d_1({\hat{x}})=\sup \{\rho \ge 0: B_\rho (x)\subset B_R\setminus {\bar{B}}_{R-2r}\}\ge 1\).
First, we show that there exists \(\gamma =\gamma (d,\kappa )\) such that
Indeed, for any \({\hat{x}}=(x,t)\in \mathscr {D}\), we can find a sequence of \(n\le C\log (r/d_1({\hat{x}}))\) balls with increasing radii \(r_k:=c2^k d_1({\hat{x}})\):
such that \(x_1=x\), \(\text {dist}(x_n,\partial B_{R-r})\le r/2\), and \(t-r_n^2\ge r^2/2\). By Proposition 5,
where in the last inequality we applied Proposition 5 to a chain of parabolic balls with spatial centers at \(\partial B_{R-r}\) and radius cr. Display (32) is proved.
Next, with \(\gamma \) as in (32), letting \(d_0({\hat{x}})=\sup \{\rho \ge 0: Q_\rho ({\hat{x}})\subset ({\mathbb {Z}}^d\setminus \bar{B}_{R-2r})\times [r^2,3r^2)\}\) , we claim that
where \(\epsilon =\epsilon (d,\kappa )\in (0,1/5)\) is to be determined. It suffices to show that \(\sup _{\mathscr {D}}d_0^\gamma u\) is achieved at \({\hat{x}}\in \mathscr {D}\) with \(\epsilon d_0({\hat{x}})\le d_1({\hat{x}})\). Indeed, if \(\epsilon d_0({\hat{x}})>d_1({\hat{x}})\), then \(B_{2d_1({\hat{x}})}\setminus B_R\ne \emptyset \), and for any \({\hat{y}}=(y,s)\in Q_{2d_1({\hat{x}})}({\hat{x}})\cap \mathscr {D}\),
and so \(d_0({\hat{x}})\le (1-4\epsilon )^{-1} d_0({\hat{y}})\). Moreover, by Corollary 16,
for a constant \(c_0\in (0,1)\). Thus, when \(\epsilon d_0({\hat{x}})> d_1({\hat{x}})\), choosing \(\epsilon >0\) so that \((1-c_0)(1-4\epsilon )^{-\gamma }<1-\tfrac{c_0}{2}\), we get \(d_0({\hat{x}})^\gamma u({\hat{x}}) <(1-\tfrac{c_0}{2})\sup _{\mathscr {D}} d_0^\gamma u\). Display (33) is proved. Inequality (31) follows from (32) and (33). \(\square \)
Proof of Proposition 28:
Since \(u=0\) on \(\partial B_R\times [0,R^2)\),
where we used Lemma 29 and Proposition 5 in the second inequality. \(\square \)
4.2 A boundary Harnack inequality
For positive caloric functions with zero values on the spatial boundary, the following boundary PHI compares values near the spatial boundary and values inside, with time coordinates appropriately shifted.
Proposition 30
(Boundary PHI) Let \(R>0\). Suppose u is a nonnegative \(\omega \)-caloric function on \((B_{4R}\setminus B_{2R})\times (-2R^2,3R^2)\), and \(u|_{\partial B_{4R}\times {\mathbb {R}}}=0\). Then for any \({\hat{x}}=(x,t)\in (B_{4R}\setminus {\bar{B}}_{3R})\times (-R^2,R^2)\), we have
Proposition 30 is a lattice version of [18, (3.9)]. In what follows we offer a probabilistic proof.
Proof of Proposition 30:
Our proof uses the fact that \(u({\hat{X}}_t)\) is a martingale before exiting the region \(\mathscr {D}:=(B_{4R}\setminus B_{2R})\times (-2R^2,3R^2)\).
For the lower bound, let \(\tau _{3,4}:=\inf \{s>0: X_s\notin B_{4R}\setminus {\bar{B}}_{3R}\}\). By the optional stopping lemma, \(u({\hat{x}})=E_\omega ^{{\hat{x}}}[u({\hat{X}}_{\tau _{3,4}\wedge 0.5R^2})]\), and so
where in the last inequality we used Lemma 17 and applied Proposition 5 (to a chain of parabolic balls). The lower bound is obtained.
To obtain the upper bound, note that for \({\hat{x}}\in (B_{4R}\setminus {\bar{B}}_{3R})\times (-R^2,R^2)\),
where in the last inequality we applied Lemma 18 and used an iteration of the PHI for \(\omega \)-caloric functions (Proposition 5). \(\square \)
5 Proof of the PHI for the adjoint operator (Theorem 6)
In this section we will prove the PHI for \(\mathcal {L}_\omega ^*\). Our proof relies on a representation formula for \(\omega ^*\)-caloric functions (Proposition 31), the parabolic volume-doubling property of \(\rho _\omega \) (Theorem 8), the PHI (Proposition 5) and boundary PHI (Proposition 30) for \(\omega \)-caloric functions.
We define \({\hat{Y}}_t=(Y_t,S_t)\) to be the continuous-time Markov chain on \({\mathbb {Z}}^d\times {\mathbb {R}}\) with generator \(\mathcal {L}_\omega ^*\). The process \({\hat{Y}}_t\) can be interpreted as the time-reversal of \({\hat{X}}_t\). Denote by \(P_{\omega ^*}^{y,s}\) the quenched law of \({\hat{Y}}_\cdot \) starting from \({\hat{Y}}_0=(y,s)\) and by \(E_{\omega ^*}^{y,s}\) the corresponding expectation. Note that \(S_t=S_0-t\).
For \(R>0, {\hat{x}}=(x,t), {\hat{y}}=(y,s)\in B_R\times {\mathbb {R}}\) with \(s>t\), set
where
and \(\tau _R({\hat{Y}})\) is defined similarly. Note that
Proposition 31
For any \({\hat{y}}=(y,s)\in B_R\times (0,\infty )\) and any non-negative \(\omega ^*\)-caloric function v on \(B_R\times (0,s]\),
Proof
Write the two summations in the proposition as \(\text {I}\) and \(\text {II}\). Clearly, \(\text {II}=E_{\omega ^*}^{{\hat{y}}}[v({\hat{Y}}_s)1_{\tau _R>s}]\). Since \((v({\hat{Y}}_t))_{t\ge 0}\) is a martingale, we have
So it remains to show \(\text {I}=E_{\omega ^*}^{y,s}[v({\hat{Y}}_{\tau _R})1_{\tau _R\le s}]\). We claim that for \(x\in \partial B_R\),
Indeed, for \(h>0\) small enough, \(x\in \partial B_R\) and almost every \(t\in (0,s)\),
Dividing both sides by 2h and taking \(h\rightarrow 0\), display (35) follows by Lebesgue’s differentiation theorem. Applying (35) to
we obtain \(\text {I}=E_{\omega ^*}^{y,s}[v({\hat{Y}}_{\tau _R})1_{\tau _R\le s}]\) with a change of variable. \(\square \)
For fixed \({\hat{y}}:=(y,s)\in B_{R}\times {\mathbb {R}}\), set \(u({\hat{x}}):=p^\omega _{2R}({\hat{x}},{\hat{y}})\). Then \(\mathcal {L}_\omega u=0\) in \(B_{2R}\times (-\infty ,s)\cup (B_{2R}\setminus B_R)\times {\mathbb {R}}\) and \(u(x,t)=0\) when \(x\in \partial B_{2R}\) or \(t>s\). By Proposition 30 and Proposition 28, for any \((x,t)\in B_{2R}\times (s-4R^2,s-\tfrac{R^2}{2})\),
and, for any \((x,t)\in (B_{2R}\setminus B_{3R/2})\times (s-4R^2,s)\),
Lemma 32
Let \(v\ge 0\) satisfies \(\mathcal {L}_\omega ^* v=0\) in \(B_{2R}\times (0,4R^2]\), then for any \({\bar{Y}}=({\bar{y}},{\bar{s}})\in B_R\times (3R^2,4R^2]\) and \(\underline{Y}=(\underline{y},\underline{s})\in B_R\times (R^2,2R^2)\), we have
Proof
Write \({\hat{x}}:=(x,t)\) and set \({\bar{u}}({\hat{x}}):=p^\omega _{2R}({\hat{x}};{\bar{Y}})\), \(\underline{u}({\hat{x}}):=p^\omega _{2R}({\hat{x}};\underline{Y})\). By Proposition 31 and (36),
Similarly, by Proposition 31 and (37), we have
Combining (38) and (39), we get
Next, applying Proposition 31 to the constant function 1 and using (37),
Similarly, by Proposition 31 and (36),
These inequalities, together with (40), yield the lemma. \(\square \)
Remark 33
It is clear that for static environments, the adjoint Harnack inequality (Theorem 6) follows immediately from Lemma 32. However, in time-dependent case, we need the parabolic volume-doubling property of \(\rho _\omega \).
Proof of Theorem 6
First, we will show that for all \(R>0\),
Recall \(\tau _R\) at (34) and set \(g(x,t)=E_\omega ^{x,t}[\tau _R({\hat{X}})]\). Note that \(g(x,\cdot )=0\) for \(x\notin B_R\) and \(\mathcal {L}_\omega g(x,t)=-1\) if \(x\in B_R\). By (3), for any \(s>0\),
Moreover, since \(|X_t|^2-\frac{d}{\kappa }t\) and \(|X_t|^2-\kappa t\) are super- and sub- martingales,
by the optional-stopping theorem. Display (41) then follows.
Combining (41) and Lemma 32, we obtain
Finally, Theorem 6 follows by Theorem 8 and the above inequality. \(\square \)
6 Proof of Theorems 4, 11, and Corollary 12
The goal of this section is to prove the LLT (Theorem 4), the HKE (Theorem 11), and Corollary 12. With the QCLT and the Hölder regularity for \(\omega ^*\)-caloric functions, the LLT, quenched heat kernel bound (6), and the Green’s function asymptotics Corollary 12(ii)(iii) all follow from rather standard arguments, which have been successfully implemented for random conductance models, e.g., [2, 3, 5, 7]. Our main novelty in this section is the bounds (7)(8) of positive and negative moments for the heat kernel.
6.1 Proof of Theorem 11
Proof
First, using Theorem 6 and standard arguments, we will prove (6). Recall that \(v({\hat{x}}):=q^\omega ({\hat{0}},{\hat{x}})\) satisfies \(\mathcal {L}_\omega ^* v=0\) in \({\mathbb {Z}}^d\times (0,\infty )\). By Theorem 6, for \({\hat{x}}=(x,t)\in {\mathbb {Z}}^d\times (0,\infty )\), we have \(v({\hat{x}})\le C\min _{y\in B_{\sqrt{t}}(x)}v(y,3t)\) and so
where Corollary 14 is used in the last inequality. Moreover, for any \(s\in [0,t]\), \(|y|\le |x|+c\sqrt{t}\), by Theorem 8 and iteration,
Since \(\tfrac{|x|}{\sqrt{t\vee 1}}+1\le C_\epsilon e^{\epsilon {\mathfrak {h}}(|x|,t)}\) for any \(\epsilon >0\), the upper bound in (6) follows.
To obtain the lower bound in (6), by similar argument as above and Theorem 6, \(v({\hat{x}})\ge C\max _{y\in B_{\sqrt{t}/2}(x)}v(y,t/4)\) for \({\hat{x}}\in {\mathbb {Z}}^d\times (0,\infty )\), and so
We claim that for any \((y,s)\in {\mathbb {Z}}^d\times (0,\infty )\),
Indeed, the case \(|y|/\sqrt{s}\le 3\) follows from Lemma 15. When \(|y|/\sqrt{s}>3\), let
Set \(u(x,t):=p^\omega (x,t;B_{\sqrt{s}},s)\). Then u is \(\omega \)-caloric on \({\mathbb {Z}}^d\times (-\infty ,s)\). Taking a sequence of points \((y_i)_{i=1}^n\) such that \(y_0=y, y_n=0\) and \(|y_i-y_{i+1}|\le |y|/n\), for \(i=0,\ldots n-1\),
Iteration then yields \(u(y,0)\ge C^{n-1}\min _{x\in B_{|y|/\sqrt{n}}}u(x,\tfrac{|y|^2}{n}){\mathop {\ge }\limits ^{Lemma~15}} C^n\). Inequality (43) is proved. Then, by (42),
Moreover, by Theorem 8, we have for any \(s\in [0,t], |y|\le |x|\),
The lower bound in (6) is proved.
Next, we will prove the moment bounds (7) and (8), which, by (6) and (22), are equivalent to showing that, for \(r:=\sqrt{t}>0\),
where \(Q_r\) is as defined in (18). Indeed, using the translation-invariance of \(\mathbb {P}\) and the volume-doubling property of \(\rho \), for \(q:=(d+1)/d\),
where we used the Reverse Hölder inequality (Corollary 24(i)) in the last inequality. Recalling (24), inequality (7) then follows from the fact that \(|Q_r|=r^2\sum _{x\in B_r}1\asymp r^2(r\vee 1)^{-d}\).
To obtain (8), note that by translation invariance and \(\mathbb {P}\) and the volume-doubling property of \(\rho \), taking \(\epsilon \in (0,1/(p-1))\),
where we used the \(A_p\) inequality (Theorem 26(a)) of \(\rho \) in the last inequality. Therefore \(\Vert \rho ({\hat{0}})/\rho (Q_r)\Vert _{L^{-\epsilon }(\mathbb {P})}\ge Cr^2(r\vee 1)^{-d}\) and (8) is proved.
Display (9) follows from (7), (8), and Minkowski’s integral inequality. \(\square \)
6.2 Proof of Theorem 4 and Corollary 12
Recall \(q^\omega ({\hat{y}},{\hat{x}})\) in (4). For any \({\hat{x}}=(x,t)\in {\mathbb {R}}^d\times {\mathbb {R}}\), set
where \(\lfloor x\rfloor \) is as in Theorem 4. Note that \(\mathcal {L}_\omega ^* v=0\) in \({\mathbb {Z}}^d\times (0,\infty )\). By Corollary 7 and Theorem 11, for any \({\hat{y}}=(y,s)\in B_{\sqrt{t}}(x)\times (\tfrac{t}{2}, t)\),
when \(t>t_0(\omega )\) is big enough. Here in the last inequality we used Corollary 12(i) which is an immediate consequence of Theorem 11 and (23).
Recall \(\mathcal {O}_r\) in (27). For \({\hat{x}}=(x,t)\in {\mathbb {R}}^d\times {\mathbb {R}}\), write
To prove Theorem 4, it suffices to show that for any \(K>T\),
Indeed, for any \(\epsilon >0\), there exists \(K=K(T,\epsilon ,d,\kappa )>0\) such that, writing \(\mathscr {D}:=({\mathbb {R}}^d\times [T,\infty ))\setminus (\mathcal {O}_K\times [T,K])\), we have
Hence Theorem 4 follows provided that (45) is proved.
Proof of Theorem 4
As we discussed in the above, it suffices to prove (45). For any \(\epsilon >0\),
where \(A({\hat{x}},\epsilon )=\Bigr |\frac{\int _t^{t+\epsilon ^2}p_s^\Sigma (0,\mathcal {O}_\epsilon (x))\mathrm {d}s}{\epsilon ^2|\mathcal {O}_\epsilon |}-p_t^\Sigma (0,x)\Bigl |\),
First, we will show that
To this end, note that there exists \(N=N(T,\omega ,d,\kappa )\) such that for \(n\ge N\),
where in the second inequality we used Corollary 12(i) and (44). Further, by an ergodic theorem of Krengel and Pyke [21, Theorem 1] and (2),
Display (47) follows.
Next, for \({\hat{x}}=(x,t)\), by writing \(B_n({\hat{x}},\epsilon )\) as
we will show that
We claim that \(B_n({\hat{x}},\epsilon )\) is approximately equicontinuous (with order \(\epsilon ^\gamma \)). That is, there exist \(N,\delta \) depending on \((\epsilon ,\omega , d,\kappa ,T,K)\) such that, whenever \(n\ge N\) and \({\hat{x}}_1=(x_1,t_1), {\hat{x}}_2=(x_2,t_2)\in \mathcal {O}_K\times [T,K]\) satisfy \(|{\hat{x}}_1-{\hat{x}}_2|_1:=|x_1-x_2|+|t_1-t_2|<\delta \), we have
It suffices to show that \(B_n^1({\hat{x}},\epsilon )\) is approximately equicontinuous. Indeed, by (47) and (44), when \(n\ge N\) is large and \({\hat{x}}_1,{\hat{x}}_2\in \mathcal {O}_K\times [T,K]\),
The approximate equicontinuity of \(B_n^1({\hat{x}},\epsilon )\) follows. To prove (49), we choose a finite sequence \(\{{\hat{x}}_i\}_{i=1}^M\) such that \(\min _{1\le i\le M}|{\hat{x}}-{\hat{x}}_i|_1<\delta \) for all \({\hat{x}}\in \mathcal {O}_K\times [T,K]\). Since \(\lim _{n\rightarrow \infty }\max _{1\le i\le M}B_n({\hat{x}}_i)=0\) by the QCLT (Theorem 1), display (49) follows by the approximate equicontinuity.
Clearly, \(\lim _{\epsilon \rightarrow 0}\sup _{{\hat{x}}\in \mathcal {O}_K\times [T,K]}A({\hat{x}},\epsilon )=0\). This, together with (47) and (49), yields the uniform convergence of (46) by sending first \(n\rightarrow \infty \) and then \(\epsilon \rightarrow 0\). Our proof of Theorem 4 is complete. \(\square \)
Proof of Corollary 12:
(i) follows from Theorem 11 and (23). (ii) and (iii) are consequences of Theorems 4 and 11. Their proofs, which are similar to [2, Theorem 1.14] and [5, Theorem 1.4], can be found in Sect. A.6. \(\square \)
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., Chiarini, A., Deuschel, J.-D., Slowik, M.: Quenched invariance principle for random walks with time-dependent ergodic degenerate weights. Ann. Probab. 46(1), 302–336 (2018)
Andres, S., Chiarini, A., Slowik, M.: Quenched local limit theorem for random walks among time-dependent ergodic degenerate weights. Probab. Theory Related Fields 179, 1145–1181 (2021)
Andres, S., Deuschel, J.-D., Slowik, M.: Harnack inequalities on weighted graphs and some applications to the random conductance model. Probab. Theory Related Fields 164(3–4), 931–977 (2016)
Andres, S., Deuschel, J.-D., Slowik, M.: Green kernel asymptotics for two-dimensional random walks under random conductances. Electron. Commun. Probab. 25(58), 1–14 (2020)
Bauman, P.: Positive solutions of elliptic equations in nondivergence form and their adjoints. Ark. Mat. 22(2), 153–173 (1984)
Barlow, M., Hambly, B.: Parabolic Harnack inequality and local limit theorem for percolation clusters. Electron. J. Probab. 14(1), 1–27 (2009)
Berger, N., Criens, D.: A parabolic Harnack inequality for balanced random environments. Work in progress
Berger, N., Deuschel, J.-D.: A quenched invariance principle for non-elliptic random walk in i.i.d. balanced random environment. Probab. Theory Related Fields 158(1–2), 91–126 (2014)
Coifman, R., Fefferman, C.: Weighted norm inequalities for maximal functions and singular integrals. Studia Math. 51, 241–250 (1974)
Criens, D.: Essays on Stochastic Processes and their Applications. PhD Thesis, (2020)
Delmotte, T.: Parabolic Harnack inequality and estimates of Markov chains on graphs. Rev. Mat. Iberoam. 15, 181–232 (1999)
Delmotte, T., Deuschel, J.-D.: On estimating the derivatives of symmetric diffusions in stationary random environment, with applications to \(\nabla \varphi \) interface model. Probab. Theory Relat. Fields 133(3), 358–390 (2005)
Deuschel, J.-D., Guo, X., Ramirez, A.: Quenched invariance principle for random walk in time-dependent balanced random environment. Ann. Inst. Henri Poincaré Probab. Stat. 54(1), 363–384 (2018)
Escauriaza, L.: Bounds for the fundamental solutions of elliptic and parabolic equations: In memory of Eugene Fabes. Commun. Part. Differ. Equ. 25(5–6), 821–845 (2000)
Fabes, E., Safonov, M., Yuan, Y.: Behavior near the boundary of positive solutions of second order parabolic equations. II. Trans. Am. Math. Soc. 351(12), 4947–4961 (1999)
Fabes, E., Stroock, D.: The \(L^p\)-integrability of Green’s functions and fundamental solutions for elliptic and parabolic equations. Duke Math. J. 51(4), 997–1016 (1984)
Garofalo, N.: Second order parabolic equations in nonvariational form: boundary Harnack principle and comparison theorems for nonnegative solutions. Annali di matematica pura ed applicata 138(1), 267–296 (1984)
Guo, X., Zeitouni, O.: Quenched invariance principle for random walks in balanced random environment. Probab. Theory Relat. Fields 152, 207–230 (2012)
Huang, R., Kumagai, T.: Stability and instability of Gaussian heat kernel estimates for random walks among time-dependent conductances, Electron. Commun. Probab. 21, paper no. 5 (2016)
Krengel, U., Pyke, R.: Uniform pointwise ergodic theorems for classes of averaging sets and multiparameter subadditive processes. Stochastic Process. Appl. 26(2), 289–296 (1987)
Krylov, N., Safonov, M.: A property of the solutions of parabolic equations with measurable coefficients. Izv. Akad. Nauk SSSR Ser. Mat. 44(1), 161–239 (1980)
Kuo, H.-J., Trudinger, N.: Evolving monotone difference operators on general space-time meshes. Duke Math. J. 91(3), 587–607 (1998)
Lawler, G.: Weak convergence of a random walk in a random environment. Comm. Math. Phys. 87(1), 81–87 (1982/83)
Lawler, G.: Estimates for differences and Harnack inequality for difference operators coming from random walks with symmetric, spatially inhomogeneous increments. Proc. Lond. Math. Soc. 63(3), 552–568 (1991)
Mustapha, S.: Gaussian estimates for spatially inhomogeneous random walks on \({\mathbb{Z}}^d\). Ann. Probab. 34(1), 264–283 (2006)
Papanicolaou, G., Varadhan, S.R.S.: Diffusions with random coefficients. Statistics and probability: essays in honor of C. R. Rao, pp. 547–552, North-Holland, Amsterdam, (1982)
Safonov, M., Yuan, Y.: Doubling properties of second order parabolic equations. Ann. Math. Second Ser. 150(1), 313–328 (1999)
Stein, E.: Harmonic analysis: real-variable methods, orthogonality, and oscillatory integrals. Princeton Mathematical Series, 43. Monographs in Harmonic Analysis, III. Princeton University Press, Princeton, NJ (1993)
Acknowledgements
We thank two anonymous referees for their careful reading of our paper and their valuable comments. XG did the main part of his work while at the University of Wisconsin-Madison. He thanks Professors Timo Sepäläinen, Hung Vinh Tran, and other colleagues at the UW for their hospitality and supportive environment they created.
Funding
Open Access funding enabled and organized by Projekt DEAL.
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.
Appendix
Appendix
In Sect. A.1 we will show properties (i)-(iii) of \(\rho _\omega \) in Remark 3. In Sect. A.2, we prove the Hölder estimate (Corollary 7) for \(\omega ^*\)-caloric functions. Sections A.3 and A.4 are devoted to the maximum principle (which is used in various places in the paper) and the mean value inequality (used in the proof of the PHI Proposition 5) for \(\mathcal {L}_\omega \), respectively. Section A.5 contains the proof of Lemma 25. Corollary 12(ii)(iii) are proved in Sect. A.6.
1.1 Properties (i)–(iii) in Remark 3
Proof
(i)Since \(\mathbb {Q}\) is an invariant measure for \(({\bar{\omega }}_t)\), we have for any bounded measurable function f on \(\Omega \), \(y\in {\mathbb {Z}}^d\), \({\hat{x}}=(x,t)\), and \(s<t\),
where \({\hat{y}}=(y,s)\) and we used the translation-invariance of \(\mathbb {P}\) in the last equality. Moreover, by Fubini’s theorem, for any bounded compactly-supported continuous function \(\phi :{\mathbb {R}}\rightarrow {\mathbb {R}}\),
Thus we have that \(\mathbb {P}\)-almost surely, for any such test function \(\phi \) on \({\mathbb {R}}\),
which (together with the translation-invariance of \(\mathbb {P}\)) implies that \(\mathbb {P}\)-almost surely, \(\rho _\omega (x,t)\delta _x\mathrm {d}t\) is an invariant measure for the process \(({\hat{X}}_t)_{t\ge 0}\).
(ii) We have \(\rho _\omega >0\) since the measures \(\mathbb {Q}\) and \(\mathbb {P}\) are equivalent. The uniqueness follows from the uniqueness of \(\mathbb {Q}\) in [14, Theorem 2.1(iii)].
(iii) By (50) and Fubini’s theorem, we also have that \(\mathbb {P}\)-almost surely, for any test function \(\phi (t)\) as in (i) and any \(h>0\), \(x\in {\mathbb {Z}}^d\),
Dividing both sides by h and letting \(h\rightarrow 0\), we obtain (3) with \(\partial _t\rho _\omega \) replaced by the weak derivative. Note that the weak differentiability of \(\rho _\omega \) in t implies that it has an absolutely continuous (in t) version. Since \(\rho _\omega \) is only used as a density, we may always assume that \(\mathbb {P}\)-almost surely, \(\rho _\omega (x,\cdot )\) is continuous and almost-everywhere differentiable in t. \(\square \)
1.2 Proof of Corollary 7
Proof
Assume \((x_0,t_0)=(0,0)\) and fix \(R>0\). Let \(R_k=2^{-k}R\) and \(Q^k=B_{R_k}\times (-R_k^2,0]\). Note that \(Q^{k+1}\subset Q^k\). For any bounded subset \(E\subset {\mathbb {Z}}^d\times {\mathbb {R}}\), denote \({{\,\mathrm{\hbox {osc}}\,}}_E u:=\sup _E u-\inf _E u\). Set
Notice that \(\inf _{Q^k}v_k=0, \sup _{Q^k}v_k=1\) and
We claim that \({{\,\mathrm{\hbox {osc}}\,}}_{Q^{k+1}}v_k\le 1-\delta \) for some \(\delta =\delta (d,\kappa )\in (0,1)\). Indeed, replacing \(v_k\) by \(1-v_k\) if necessary, we can assume \(\sup _{B_{R_{k+1}}\times (-\tfrac{3}{4} R_k^2,-\tfrac{1}{2} R_k^2)}v_k\ge 1/2\). By the PHI for \(\mathcal {L}^*_\omega \) (Theorem 6),
and so \({{\,\mathrm{\hbox {osc}}\,}}_{Q^{k+1}}v_k\le \sup _{Q^k}v_k-\inf _{Q^{k+1}}v_k\le 1-\delta \). The claim is proved. So
If \(r>R/2\), the Corollary is trivial. If \(r\le R/2\), we iterate the above inequality \(k=\lfloor \log _2(R/r)\rfloor \) times (so that \(Q^{k+1}\subset B_r\times (-r^2,0]\subset Q^k\)) to obtain
where \(\gamma =-\log _2(1-\delta )\). Our proof is complete. \(\square \)
1.3 Parabolic maximum principle
In what follows we will prove a maximum principle for parabolic difference operators under the discrete space and continuous time setting. Its statement is a tiny modification from [14, Theorem 5.1] where its proof, which follows verbatim the lines of [14, Theorem 2.2], was omitted. For the purpose of completeness we will include a full proof in the below.
For any \(\mathscr {D}\subset B_R\times (0,T)\), \({\hat{x}}:=(x,t)\in \mathscr {D}\) and \(u: \mathscr {D}\cup \partial ^\text {\textsf {P}}\mathscr {D}\rightarrow {\mathbb {R}}\), define
Theorem A.3.1
(Maximum principle) Let \(\omega \in \Omega _\kappa \). Recall \(\int _{\mathscr {D}}\) in (24). Assume that \(\mathscr {D}\subset B_R\times (0,T)\) is an open subset of \({\mathbb {Z}}^d\times {\mathbb {R}}\) for some \(R,T>0\). Let f be a measurable function on \(\mathscr {D}\). For any function \(u:\mathscr {D}\cup \partial ^\text {\textsf {P}}\mathscr {D}\rightarrow {\mathbb {R}}\) that solves \(\mathcal {L}_a u\ge -f \quad { in }\,{\mathscr {D}}\), we have
Proof
Without loss of generality, assume \(f\ge 0\), \(\sup _{\partial ^\text {\textsf {P}}\mathscr {D}}u=0\), and
Let \(\Lambda =\{ (\xi ,h)\in {\mathbb {R}}^{d+1}: R|\xi |<h<M/2 \}\). For \((x,t)\in \mathscr {D}\), define a set
First, we claim that
This will be proved by showing that for any \((\xi ,h)\in \Lambda \), we have \((\xi ,h)\in \chi (x_1,t_1)\) for some \((x_1,t_1)\in \Gamma ^+\). Indeed, fix \((\xi ,h)\in \Lambda \) and define
Since \(\sup _{\mathscr {D}}\phi \ge M-|\xi |R-h>0\), there exists \((x_0,t_0)\in \mathscr {D}\) with \(\phi (x_0,t_0)>0\). Now for any \(x\in {\mathbb {Z}}^d\), set (with the convention \(\sup \emptyset =-\infty \))
and let \((x_1,t_1)\) be such that
By the continuity of \(\phi \), we get \(\phi (x_1,t_1)\ge 0\) and \((x_1,t_1)\in \mathscr {D}\cup \partial ^\text {\textsf {P}}\mathscr {D}\). Since \(\phi |_{\partial ^\text {\textsf {P}}\mathscr {D}}< 0\), we have \((x_1,t_1)\in \mathscr {D}\). Moreover, since \(\mathscr {D}\) is an open set, we can conclude that \(\phi (x_1,t_1)=0\) and \(\phi (x_1,s)<0\) for all \(s>t_1\) with \((x_1,s)\in \mathscr {D}\cup \partial ^\text {\textsf {P}}\mathscr {D}\). Hence \(\xi \in I_u(x_1,t_1)\) and \(u(x_1,t_1)-\xi \cdot x_1=h>R|\xi |\), which implies that \((\xi , h)\in \chi (x_1,t_1)\) and \((x_1,t_1)\in \Gamma ^+\). Display (52) is proved.
Next, setting
we will show that
where \(\mathrm{Vol}_{d+1}\) is the volume in \({\mathbb {R}}^{d+1}\). To this end, let \( {\tilde{\chi }}(x,t) =I_u(x,t)\times \{ u(x,t)\}\subset {\mathbb {R}}^{d+1}\). Noting that, for fixed x, the map \((y,s)\mapsto (y,s+y\cdot x)\) is volume preserving, we then have
For any fixed \(p\in I(x,t)\), \((x,t)\in \Gamma ^+\), set
Then \(I_w(x,t)=I_u(x,t)+p\). Since \(w(x,t)-w(x\pm e_i,t)\ge \mp q_i\) for any \(q\in I_w(x,t)\), \(i=1,\ldots d\), we have
This inequality, together with (54), yields
Display (53) is proved. Finally, by (52), (53) and \(\mathrm{Vol}_{d+1}(\Lambda )=CM^{d+1}/R^d\), we conclude that \(M^{d+1}/R^d\le C\int _{\Gamma ^+}f^{d+1}\). The theorem follows. \(\square \)
1.4 Mean value inequality
Theorem A.4.1
Let \(\theta >0\) and \(a\in \Omega _\kappa \). Recall \(\Vert \cdot \Vert _{\mathscr {D},p}\) in (25). For any \(\theta _1\in (0,\theta )\), \(\rho \in (0,1)\) and \(p>0\), there exists \(C=C(\kappa ,d,p,\theta ,\theta _1,\rho )\) such that for any function u that solves \(\mathcal {L}_a u\ge 0\) in \(\mathscr {D}=B_R\times [0,\theta R^2)\), we have
Proof
Since \(\Vert u^+\Vert _{\mathscr {D},p}\) is increasing in \(p>0\), it suffices to consider \(p\in (0,1)\). Let \(\beta \ge 2\) be a constant to be determined, and set
and set \(v=\eta u^+\), \({\bar{v}}=v\zeta \). Define an elliptic operator \(L_a^E\) to be
so that \(\mathcal {L}_a=L_a^E+\partial _t\). Note that \({\bar{v}}|_{\partial ^\text {\textsf {P}}\mathscr {D}}=0\) and \({\bar{v}}({\hat{x}})>0\) for \({\hat{x}}\in \Gamma ^+({\bar{v}}, \mathscr {D})\). (Recall the notation \(\Gamma ^+\) above Theorem A.3.1.) By the same argument as in [19, displays (27),(28) and (29)], we have that on \(\Gamma ^+({\bar{v}}, \mathscr {D})\), \(u^+=u\) and
Hence, for \(X=(x,t)\in \Gamma ^+({\bar{v}}, \mathscr {D})\),
Noting that in \(\mathscr {D}\), \(\partial _t\zeta \ge -C\beta R^{-2}\zeta ^{1-1/\beta }/\theta \) and \(\zeta ,\eta \in [0,1]\), we have
Applying Theorem A.3.1 to \({\bar{v}}\) and taking \(\beta =2(d+1)/p\),
Since \(\sup _{B_{\rho R}\times [0,\theta _1R^2)}u\le C\sup _{\mathscr {D}}\bar{v}\), the theorem follows. \(\square \)
1.5 Proof of Lemma 25
Recall \(|\mathscr {D}|, \int _{\mathscr {D}}, \Vert \cdot \Vert _{\mathscr {D},p}\), and the parabolic cubes in (24), (25) and (26).
Proof
First, we claim that there exist constants \(\gamma ,\delta \in (0,1)\) such that \(w(E)>\gamma w(K)\) implies \(|E|>\delta |K|\) for all \(E\subset K\) where \(K\ne \emptyset \) is a subcube of \(K^0\). Indeed, this is a simple consequence of Hölder’s inequality:
where \(q'=q/(q-1)\) denotes the conjugate of q.
Assume \(K^0=K_r\). Let \(\mathcal {M}_k(K_r), k>1\) be the family of nonempty subcubes of \(K_r\) of the form
where \(m_i,n_i\)’s are integers. Elements in \(M_k(K_r)\) are called k-level dyadic subcubes of \(K_r\). Note that every k-level cube K is contained in a unique \((k-1)\)-level “parent" denoted by \(K^{-1}\). Since the class \(A_p\) is invariant under constant multiplication, we may assume that \(w(K^0)/|K^0|=1\).
Let \(f:=w^{-1}\mathbb {1}_{K^0}\) and define a maximal function
where the supremum is taken over all dyadic subcubes K of \(K_0\). Consider the level sets
where N is a big constant to be determined. Notice that by assumption, \(E_0\) is comprised of dyadic subcubes strictly smaller than \(K_0\). Since w is volume-doubling, there exists a constant \(c_0>0\) such that for any maximal dyadic subcube K of \(E_{k-1}\),
Moreover, for the same K, we have \(2^{Nk}w(E_k\cap K)\le \int _{K}fw\) and so, by the inequality above, \(w(E_k\cap K)\le 2^{c_0-N}w(K)\). We now take N to be large enough that \(w(E_k\cap K)\le (1-\gamma ) w(K)\) which implies \(|E_k\cap K|\le (1-\delta )|K|\). Summing over all such K’s, we have \(|E_k|\le (1-\delta ) |E_{k-1}|\), \(k\ge 1\). Thus
and so, for \(p>1\) chosen so that \(p'=p/(p-1)\) is sufficiently close to 1,
(i) is proved. (ii) then follows from Hölder’s inequality
and the \(A_p\) inequality. \(\square \)
1.6 Proof of Corollary 12(ii)(iii)
Proof
(ii) For any \({\hat{x}}=(x,t)\in {\mathbb {R}}^d\times [0,\infty )\) and \(\omega \in \Omega _\kappa \), set
When \(d=2\), it suffices to consider \(x\in \mathbb {B}_1\setminus \{0\}\). We fix a small number \(\epsilon \in (0,1)\) and split the integral \(a^\omega (nx)\) into four parts:
where it is understood that the integrand is \((v(0,t)-v(x,t))\mathrm {d}t\).
First, we will show that \(\mathbb {P}\)-almost surely,
By Theorem 11, for any \(t\in (0,n^\epsilon )\), \(x\in {\mathbb {Z}}^2\setminus \left\{ 0\right\} \) and all n large enough, \(v(nx,t) \le Ce^{-cn|x|}/\rho _\omega (B_{\sqrt{t}},0). \) Thus
By (i), there exists \(t_0(\omega )>0\) such that for n big enough with \(n^\epsilon >t_0\),
Display (55) follows immediately.
In the second step, we will show that (note that \(2p^\Sigma _1(0,0)=1/\pi \sqrt{\det \Sigma }\))
Indeed, by Theorem 4, there exists \(C(\omega ,\epsilon )>0\) such that \(|tv(0,t)-p_1^\Sigma (0,0)|\le \epsilon \) whenever \(t\ge C(\omega ,\epsilon )\). Now, taking n large enough such that \(n^{\epsilon }>C(\omega ,\epsilon )\),
On the other hand, for \(t\ge n^\epsilon >t_0(\omega )\), by (i), \(v(nx,t)\le \frac{C}{t}(e^{-cn|x|}+e^{-cn^2|x|^2/t})\). Thus
Displays (57) and (58) imply (56).
Finally, we will prove that for \(\mathbb {P}\)-almost every \(\omega \),
Since \(|x|<1\), by (44), for any \(t\ge n^2\ge t_0(\omega )\),
Therefore, \(\mathbb {P}\)-almost surely, when \(n^2>t_0(\omega )\),
Display (59) follows. Combining (55), (56) and (59), we have for \(d=2\),
Noting that \(\epsilon >0\) is arbitrary, we obtain Corollary 12(ii).
(iii) We fix a small constant \(\epsilon \in (0,1)\). Note that
For any fixed \(x\in {\mathbb {R}}^d\), write
First, by Theorem 11, for \(s\in (0,n^{-\epsilon })\), we have \(v(nx,n^2s)\le Ce^{-cn^\epsilon |x|^2}/\rho _\omega ({\hat{0}})\), hence
Second, by (i), when n is large enough, then for all \(t\ge n^{2-\epsilon }\), we have \(v(nx,t)\le Ct^{-d/2}e^{-cn^2|x|^2/t}\) . Hence
Moreover, by Theorem 4, there exists \(N(\omega ,\epsilon )\) such that for \(n\ge N(\omega ,\epsilon )\), we have \(\sup _{|s|\ge \epsilon }|v(nx,n^2s)-p_s^\Sigma (0,x)|\le \epsilon \). Hence
Further, by (i), for \(d\ge 3\),
Finally, combining (60),(61), (62) and (63), we get
Letting \(\epsilon \rightarrow 0\), (iii) is proved. \(\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
Deuschel, JD., Guo, X. Quenched local central limit theorem for random walks in a time-dependent balanced random environment. Probab. Theory Relat. Fields 182, 111–156 (2022). https://doi.org/10.1007/s00440-021-01097-7
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00440-021-01097-7
Keywords
- Parabolic Harnack inequality
- Random walks in random environments
- Non-divergence form operators
- Balanced environments
- Local limit theorem