disordered media may homogenize in various ways .
for example , in a microscopically inhomogeneous material , the solution to the heat equation might satisfy a local limit theorem when viewed on larger scales .
this might be on the entire space or within a bounded domain with certain boundary conditions . in bounded domains we can furthermore ask whether the solution to a poisson equation homogenizes as the domain s diameter , i.e. , the macroscopic scale , grows to infinity . or , alternatively
, we can wonder whether the dirichlet spectrum of the associated laplace operator converges in some sense or whether the occupation time measures of the corresponding diffusion fulfill a large deviation principle .
when we say that we let the macroscopic scale grow to infinity , this is always in comparison to a microscopic scale @xmath1 , which might tend to zero instead .
although all these aspects of homogenization are _ a priori _ different , intuition suggests that they should somehow be related .
especially if the associated laplace operator is self - adjoint , i.e. , it is the generator of a reversible random walk , then the homogenization of the poisson equation is strongly linked to spectral homogenization ( see ( * ? ? ?
* chapter 11 ) ) .
spectral homogenization in turn is linked to the validity of a large deviation principle for the occupation time measures of a random walk in bounded domains ( * ? ? ?
* theorem 5 ) .
it is therefore plausible that these aspects of homogenization should hold under similar conditions .    for self - adjoint laplace operators , a crucial condition for many kinds of asymptotic
homogenization is
apart from ergodicity  the validity of a poincar inequality with an optimal constant independent of @xmath1 ( uniform poincar inequality ) . for spectral homogenization
this is immediately evident since the optimal poincar constant is the inverse of the principal dirichlet eigenvalue of the laplacian ( see remark [ rem : optimality ] ) . in the situation of the present paper
, we will see that the uniform poincar inequality is necessary and carries us quite far , although it is not completely sufficient for our results .
however , it leads us to conditions that are optimal ( up to a critical case , see remark [ rem : optimality ] ) .    in the present paper
, we examine a discrete disordered medium that belongs to a class of random conductance models on the lattice @xmath0 with stationary and ergodic conductances on nearest - neighbor and unbounded - range connections .
random conductance models are of high mathematical and physical interest ( see @xcite and references therein ) . for these models , ( * ? ? ?
* theorem 1.11 , remark 1.12 ) already used the poincar inequality and a related sobolev inequality to prove the validity of a local limit theorem for the heat kernel in the case where only nearest neighbors are connected . as we explained above
, a uniform poincar inequality is also necessary for spectral homogenization . in this model
, its validity depends on the integrability of the tails of the conductances ( see e.g.  proposition [ prop : localpoincare ] and ( * ? ? ?
* proposition 2.1 ) ) . to be more precise ,
let @xmath2 denote the random conductance on the edge @xmath3 and define @xmath4<\infty \}\end{aligned}\ ] ] where @xmath5 denotes the expectation with respect to @xmath2 .
for the moment , let us assume that only nearest neighbors are connected .
then the crucial assumption is @xmath6 see assumption [ ass : integ ] .
additionally we require that @xmath7<\infty$ ] ( cf .
assumption [ ass : environ][ass : momcond ] ) .
as we explain in remark [ rem : optimality ] , up to the critical case @xmath8 , the condition in is optimal .
in fact , @xmath9<\infty$ ] is sufficient for the poincar inequality but not for the moser iteration , which we use in section [ subsec : maximalinequalities ] . if @xmath10 , then it is possible ( and in the i.i.d .
case even almost sure @xcite ) that trapping structures as in figure [ fig : trap ] appear , which immediately contradict a uniform poincar inequality .
in addition to poincar and sobolev inequalities , our proofs rely on stochastic two - scale convergence , an analytic method that is based on the ergodic theorem and was introduced in @xcite .    for the random conductance model with conductances
@xmath11 $ ] ( @xmath12 ) restricted to nearest - neighbor connections , faggionato @xcite already used stochastic two - scale convergence in order to prove homogenization of the laplace operator with a spectral shift on the infinite connected component of @xmath0 .
the spectral shift compensates for the lack of a poincar inequality .    as a consequence of the homogenization of the poisson equation on bounded domains , the homogenization of the top of the dirichlet spectrum follows by the methods of (
* chapter 11 ) , see theorem [ thm : spectrum ] . for this result ,
remark [ rem : optimality ] explains in which sense condition is sharp . for i.i.d .
conductances even decides between a completely homogenizing phase , which we cover in this paper , and a completely localizing phase of the principal dirichlet eigenvector , which was studied in @xcite .
we thus extend the results of faggionato @xcite and boivin and depauw @xcite .
faggionato showed spectral homogenization in dimension @xmath13 under condition and @xmath7<\infty$ ] , whereas boivin and depauw proved spectral homogenization for conductances that are uniformly bounded from above and away from zero ( uniform ellipticity ) .
as an application of the spectral homogenization , we prove a quenched large deviation principle for the occupation time measures , given that the random walk stays in a slowly growing box , see proposition [ prop : ldp ] .
we extend the results of ( * ? ? ?
* theorem 1.8 ) , where the authors use the deep connection between the dirichlet energy of the laplace operator and the donsker - varadhan rate function of the occupation time measures of the associated random walk .    in the recent paper @xcite
, the authors prove that under the same integrability conditions as in the present paper , the dirichlet energy of the random conductance laplacian @xmath14-converges to a deterministic , homogeneous integral ( see their corollary 3.4 and proposition 3.18 ) .
together with their compactness result ( * ? ? ?
* lemma 3.9 ) , theorem 13.5 of @xcite implies the homogenization of the poisson equation for models where the connections are of finite range . with the method employed in the present paper ,
however , we can allow for unbounded - range connections ( see assumption [ ass : environ][ass : momcond ] ) .
further , we identify the corresponding limit operator ( see theorem [ thm : twoscale - strong ] ) .
let us consider a graph with vertex set @xmath0 and edge set @xmath15 i.e. , we assume that there exists an undirected edge between any two sites @xmath16 .
we further assume that each edge @xmath3 carries a nonnegative random variable @xmath2 , which we call the _ conductance _ of the edge @xmath3 .
moreover , we call the family @xmath17 _ environment _ or _ landscape_.
if @xmath18 for @xmath19 ( @xmath20 ) , we will also write @xmath21 instead of @xmath2 .    moreover , @xmath22 denotes the translations by a vector @xmath23 , i.e. , we write @xmath24 since the edges in are undirected , we have @xmath25 .    in the variable - speed random conductance model , we consider the laplacian @xmath26 , which acts on real - valued functions @xmath27 as @xmath28 note that @xmath26 is @xmath29-a.s .
well - defined under assumption [ ass : environ][ass : momcond ] .
since the conductances are symmetric , i.e. , @xmath25 , the associated markov process is reversible . as we explain in section [ sec : discrder ] , the laplacian @xmath26 is the discrete analogue of a divergence - form operator with random weights .
we denote the probability space that governs the environment @xmath30 by @xmath31^e , \mathcal{b } ( [ 0,\infty ] ) ^{\otimes e } , { \mathbb{p}}\right)\ , ,    \label{eq : def - prob - space}\end{aligned}\ ] ] and the expectation with respect to the law @xmath29 by @xmath5 .    for any @xmath32
, we denote the set of _ open edges _ by @xmath33
further , @xmath34 denotes the set of all undirected nearest - neighbor bonds .    in this paper
we will usually assume that the law @xmath29 fulfills the following conditions .
[ ass : environ ]     the law @xmath29 is stationary and ergodic with respect to spatial translations @xmath35 .    [
ass : momcond ]
@xmath36 < \infty$ ] .    [ ass : fulllattice ] for @xmath29-a.e .
@xmath30 , the set @xmath37 of open edges contains the set @xmath38 of nearest - neighbor edges of @xmath0 .
in addition to assumption [ ass : environ ] , our main results rely on an integrability condition for the lower tails of the conductances , for which we need to define the notion of paths in @xmath39 .
a path of length @xmath40 between @xmath41 and @xmath42 in @xmath39 is a sequence @xmath43 with the property that @xmath44 , @xmath45 and @xmath46 for any @xmath47 .
if @xmath48 is a path and there exists @xmath49 such that @xmath50 , then we use the shorthand notation @xmath51 .    for any @xmath52 and @xmath53 ,
let @xmath54 be a collection of paths in @xmath39 between the vertices of the edge @xmath3 with length at most @xmath40 such that no two paths in @xmath54 share an edge .
we define the measures @xmath55 and @xmath56 on @xmath0 by @xmath57 where @xmath58 we let @xmath59 denote the minimizer of the rhs of .
[ ass : integ ] if @xmath13 , then @xmath60<\infty$ ] for any @xmath61 .
in addition , if @xmath62 , then    [ ass : integ : dhalf ] there exists @xmath63 and a path set @xmath54 such that @xmath64<\infty$ ] for any @xmath61 .
there exists @xmath63 , a path set @xmath54 and @xmath65 such that @xmath66<\infty$ ] for any @xmath61 .
r3.3 cm     [ rem : iid ] generally , @xmath67<\infty$ ] is sufficient for assumption [ ass : integ][ass : integ : dhalf ] .
this can even be improved if the conductances @xmath2 @xmath68 are independent and identically distributed ( i.i.d . ) and @xmath62 .
for example , on the nearest - neighbor lattice @xmath69 with i.i.d .
conductances , assumption [ ass : integ][ass : integ : dhalf ] holds if @xmath70<\infty$ ] for any edge @xmath61 .
similarly , assumption [ ass : integ][ass : integ : q ] holds if there exists @xmath71 such that @xmath72<\infty$ ] for any edge @xmath61 .
this follows because any two sites in @xmath73 are connected through @xmath74 independent nearest - neighbor paths ( see figure [ fig : indeppaths ] , cf .
2 ) , ( * ? ? ?
* fig . 2.1 ) ) .
if we added further links to the set @xmath38 , the number of independent paths between any two sites would increase whence the critical exponent @xmath75 would decrease . if we assumed that @xmath38 would contain all the links of @xmath76 , then it would even be sufficient to assume that there exists @xmath77 such that @xmath72<\infty$ ] .
note that in order not to violate assumption [ ass : environ][ass : momcond ] , we would assume in this case that @xmath78 where the @xmath79 are i.i.d .
, @xmath80 and @xmath81 is the euclidean length of the edge @xmath3 .
we aim to consider the behavior of the operator @xmath26 in boxes of the form @xmath82 with zero dirichlet boundary conditions .
more precisely , we fix an environment @xmath30 on the entire @xmath0 , let the box size @xmath83 grow to infinity and want to characterize the behavior of solutions to the poisson equation and the spectral problem . for this purpose
we use analytic techniques as introduced in section [ sec : analytictools ] . regarding these techniques ,
it is more natural to replace the lattice @xmath0 by the rescaled lattice @xmath84 and the growing box @xmath85 by the box @xmath86 with @xmath87 and @xmath88 .    in this context
, the laplacian defined in corresponds to the accelerated operator @xmath89 which acts on real - valued functions @xmath90 as @xmath91\ , , \qquad \left ( x\in{\varepsilon}{{\mathbb{z}}^{d}}\right)\ , ,    \label{equ : defgeneratoreps}\end{aligned}\ ] ] where the conductances @xmath92 remain random variables associated with the links in the edge set @xmath93 , i.e. , the links between sites in @xmath73 . note that if @xmath26 is the generator of a markov process @xmath94 , then @xmath89 is the generator of the diffusively rescaled markov process @xmath95 , which fulfills @xmath96 .    for @xmath97 and @xmath98
, we define the function spaces @xmath99 we abbreviate @xmath100 .
analogously to @xmath101 , we introduce the hilbert spaces @xmath102 through @xmath103 and let @xmath104 and @xmath105 be equipped with the scalar products @xmath106 for @xmath107 , we let @xmath108 denote the half - open ball @xmath109^d$ ] .
we define the local averaging operator @xmath110 acting on functions @xmath111 by @xmath112 a direct calculation shows that its adjoint operator @xmath113 is given by @xmath114 where we write @xmath115 for the characteristic function of @xmath116 .
given a function @xmath117 , we are interested in the solution @xmath118 of the poisson problem @xmath119 with zero dirichlet conditions .
the above problem has a unique solution because @xmath120 is invertible on @xmath105 .
[ thm : twoscale - strong ] let @xmath121 be a sequence of functions such that @xmath122 weakly in @xmath123 for some @xmath124 .
then for almost all @xmath32 the sequence of solutions @xmath125 to the problem satisfies @xmath126 strongly in @xmath123 , where @xmath127 solves the limit problem @xmath128 almost everywhere in @xmath129 with @xmath130 defined through .
we prove this theorem at the end of section [ ref : proofpoisson ] . in lemma
[ lem : non - degeneracy ] we prove that @xmath130 is strictly positive definite and by standard arguments @xmath130 is symmetric .
r2.5 cm     [ rem : otherlattices ] with our methods , theorem [ thm : twoscale - strong ] can be easily generalized for other lattices than @xmath0 . in order to apply our methods directly , we just have to require that the lattice is translationally invariant ( for the two - scale convergence , see section [ sec : two - scale ] ) and fulfills a sobolev inequality ( as in or ) with isoperimetric dimension @xmath131 ( to obtain the necessary poincar inequalities and make the moser iteration work ) .
for example , the triangular lattice in figure [ fig : triangular ] is translationally invariant and has isoperimetric dimension @xmath132 .
if we therefore replace @xmath0 by the triangular lattice and the dimension @xmath133 in assumption [ ass : integ ] by the isoperimetric dimension @xmath131 , theorem [ thm : twoscale - strong ] still holds .
note that in view of remark [ rem : iid ] , we observe that in the case of i.i.d .
conductances on the triangular lattice , assumption [ ass : integ][ass : integ : dhalf ] holds if @xmath134<\infty$ ] .
[ rem : perc ] although we focus here on the random conductance model with long - range jumps and positive nearest - neighbor conductances , our arguments do not require the full strength of this assumption .
for instance , we can also extend the homogenization result to the _ nearest - neighbor _ percolation case .
more precisely , we can relax assumption [ ass : environ][ass : fulllattice ] such that the set of open edges @xmath135 forms a unique infinite cluster that satisfies both a volume regularity condition and a ( weak ) relative isoperimetric inequality on large scales , cf .
notice that in the nearest - neighbor percolation setting , similar homogenization results have also been obtained by faggionato in @xcite under the additional assumption that the conductances are bounded from above .
let us now consider the spectrum of the operators @xmath136 with an arbitrary bounded , continuous @xmath137 . on the domain @xmath138 with zero dirichlet conditions we can represent @xmath136 as a real symmetric matrix and
therefore we can choose the set @xmath139 of dirichlet eigenvectors such that they form an orthonormal system .
by virtue of the perron - frobenius theorem ( see e.g.  ( * ? ? ?
* chapter 1 ) ) the principal dirichlet eigenvalue @xmath140 is unique .
thus , we now consider the problem @xmath141[1.5em][c]{0cm}{}}\\      & \lambda_1^{\varepsilon } < \lambda_2^{\varepsilon}\leq \ldots \leq \lambda_k^{\varepsilon}\ldots \ ,   , { \parbox[0pt][1.5em][c]{0cm}{}}\\      & \langle \psi_k^{\varepsilon } , \psi_l^{\varepsilon}\rangle_{{{\mathcal{h}_{\varepsilon } } } } = \delta_{kl}\ , .{\parbox[0pt][1.5em][c]{0 cm } { } }      \label{equ : defeigveceps } \end{aligned}\end{aligned}\ ] ] similarly , we consider the spectrum of the operator @xmath142 , i.e. , @xmath143[1.5em][c]{0cm}{}}\\      & \lambda_1 ^ 0 < \lambda_2 ^ 0 \leq \ldots \leq \lambda_k^0\ldots \ , , { \parbox[0pt][1.5em][c]{0cm}{}}\\      & \langle \psi_k^0 , \psi_l^0 \rangle_{{{\mathcal{h}_{\varepsilon } } } } = \delta_{kl}\ , .{\parbox[0pt][1.5em][c]{0 cm } { } } \end{aligned}\end{aligned}\ ] ]    in order to study the homogenization of , we need the following result .    [
prop : twoscale - strong ] let @xmath121 be a sequence of functions such that @xmath122 weakly in @xmath123 for some @xmath124 .
let @xmath137 be such that @xmath144 .
then for almost all @xmath32 the sequence of solutions @xmath125 to the problem @xmath145 satisfies @xmath126 strongly in @xmath123 , where @xmath127 solves the limit problem @xmath146 almost everywhere in @xmath129 with @xmath130 defined through .
we prove this proposition in section [ sec : proofspectrum ] .    by virtue of (
* lemma 11.3 , theorem 11.5 ) , proposition [ prop : twoscale - strong ] implies the following result , see section [ sec : proofspectrum ] .
[ thm : spectrum ] let @xmath147 . if assumptions [ ass : environ ] and [ ass : integ][ass : integ : q ] hold , then @xmath148 further , the following statements are true :    1 .
[ cor : spectrum : subseq ] let @xmath147 and let @xmath149 be a null sequence . then there @xmath29-a.s .
exists a family @xmath150 of eigenvectors of the operator @xmath151 and a subsequence , still indexed by @xmath152 , along which the vector @xmath153 2 .
[ cor : spectrum : lincom ] on the other hand , if the multiplicity of @xmath154 is equal to @xmath155 , i.e. , @xmath156 then there @xmath29-a.s .
exists a sequence @xmath157 such that @xmath158 where @xmath159 is a linear combination of the eigenfunctions of the operator @xmath160 corresponding to the eigenvalues @xmath161 .
[ rem : optimality ] let us discuss in what sense assumption [ ass : integ ] is optimal for the result of theorem [ thm : spectrum ] with @xmath162 .
since the principal dirichlet eigenvalue has the variational representation @xmath163 ( also known as the rayleigh - ritz formula , or the courant - fischer theorem ) , it is necessary for spectral homogenization that @xmath29-a.s .  there exists @xmath164 such that @xmath165 and for all @xmath166 ( uniform poincar inequality ) .    r3 cm     if we assume that @xmath29-a.s .
only nearest - neighbor connections carry a positive conductance , i.e. , @xmath167 , then assumption [ ass : integ ] is optimal for the uniform poincar inequality up to the critical case @xmath168<\infty \}=q_{\rm c}$ ] ( cf . ) .
this means that if @xmath168<\infty \}<q_{\rm c}$ ] , then it is possible to construct an environment where the uniform poincar inequality does not hold as @xmath1 tends to zero .    for @xmath62 ,
this is due to trapping structures as in figure [ fig : trap ] where @xmath169 can concentrate its entire mass , see e.g.  ( * ? ? ?
* section 1.4 ) .
the construction of stationary , ergodic environments with such trapping structures is analogous to the one of a trap for the constant - speed random walk in ( * ? ? ?
* theorem 5.4 ) . in the i.i.d .  case
and if @xmath168<\infty \}<1/4 $ ] , the traps occur even @xmath29-a.s .
for @xmath1 small enough and the principal dirichlet eigenvector localizes @xmath29-a.s .  in a single site ( * ?
* theorem 1.8 ) .    in @xmath13 and if @xmath168<\infty \}<1 $ ] , even an i.i.d
.  environment contradicts the uniform poincar inequality : by a borel cantelli argument we can show that @xmath29-a.s .  for @xmath1 small enough there exist edges @xmath170 and @xmath171 such that @xmath172 and @xmath173 , respectively , and such that both @xmath174 and @xmath175 decay much faster than @xmath1 . when we insert a function @xmath125 into that is 1 on the interval @xmath176 $ ] and zero otherwise , then we see that @xmath177 diverges as @xmath1 tends to zero , which is a contradiction to a uniform poincar inequality .
if we assume that @xmath37 is @xmath29-a.s .
strictly larger that @xmath38 but contains only connections of bounded length , an analogous construction as in ( * ? ? ?
* theorem 5.4 ) shows that @xmath178 is still optimal in the general stationary ergodic case with @xmath62 . for independent conductances
however , @xmath75 decreases when the upper bound for the length of the connections increases , see also remark [ rem : iid ] . on the other hand ,
if we assume that @xmath37 contains connections of unbounded length , all the suggested counterexamples fail and the question about the optimal conditions requires further research .      for a fixed realization @xmath30 of the environment , we consider the markov process @xmath179 on @xmath73 , which jumps with rate @xmath21 from a site @xmath41 to the site @xmath180 . since the holding times are site dependent , this markov process
is called the variable - speed random walk among random conductances ( see @xcite for a review ) .
its generator @xmath26 is given by .
our main motivation for this paper is to prove a quenched large deviation principle ( ldp ) for the _ occupation time measures _ or _
local times _ @xmath181 of the random walk among random conductances , given that the random walk stays in a certain growing region of the lattice .
more precisely ,
we define a spatial scaling @xmath182 with @xmath183 and consider the rescaled local times @xmath184 further , let @xmath87 and define @xmath185 . in ( * ? ? ? * theorem 1.8 ) , the authors prove a quenched large deviation principle for the function @xmath186 given that @xmath187 and under the assumption that the conductances are i.i.d .  and
uniformly elliptic .
our aim is to generalize this result to stationary and ergodic conductances and replace the uniform ellipticity condition by a suitable moment condition .
let us recall some facts about the local times of the simple random walk .
we define the set @xmath188 and equip @xmath189 with the weak topology of integrals against bounded continuous functions @xmath190 .
notice that on the event @xmath191 the function @xmath186 is an element of the set @xmath189 and an @xmath192-normalized random step function on @xmath193 .    in the case of a simple random walk , i.e. , when @xmath194 , it is known that on the event @xmath191 the function @xmath186 satisfies a large deviation principle on @xmath189 with scale @xmath195 and rate function @xmath196 , where @xmath197 see @xcite for further explanation and @xcite .
we prove that under quite general conditions , this is also true for the random conductance model , see proposition [ prop : ldp ] and corollary [ cor : ldp ] . for general stationary and ergodic conductances , however , the resulting rate function reads @xmath198 and the matrix @xmath199 is defined as in .
[ ass : heatkernel ] there exists @xmath200 such that @xmath29-a.s .
for @xmath201 large enough @xmath202 \;\geq\ ; ct^{-d/2 }    \end{aligned}\ ] ] for all @xmath203 with @xmath204 .
[ prop : ldp ] let assumptions [ ass : environ ] , [ ass : integ][ass : integ : q ] and [ ass : heatkernel ] be fulfilled
. then @xmath29-a.s .
the rescaled local times @xmath186 satisfy a large deviation principle with respect to the weak topology of integrals against bounded continuous functions @xmath190 under @xmath205 $ ] on @xmath189 .
the scale is @xmath195 and the rate function @xmath206 is defined in .
we prove this proposition in section [ sec : proofpropldp ] as a consequence of theorem [ thm : spectrum ] .    in the special case where only nearest - neighbor conductances are positive , proposition [ prop : ldp ] together with the heat kernel bounds of ( * ? ?
* proposition 4.7 ) respectively , implies the following corollary .
[ cor : ldp ] let the conductances be stationary and ergodic with law @xmath29 and let @xmath29-a.s .
@xmath207 . for @xmath208
$ ] satisfying @xmath209 assume that @xmath210 < \infty$ ] and @xmath211 < \infty$ ] for any @xmath52 .
then the large deviation principle from proposition [ prop : ldp ] holds .
in analogy to the definition of @xmath101 in , we define the following space - averaged norms for functions @xmath212 .
let @xmath213 be a non - empty set and @xmath214 .
then @xmath215 moreover , we let @xmath216 abbreviate the average of @xmath217 over the set @xmath218 .
the main objective in this subsection is to prove weighted poincar and sobolev inequalities .
the poincar inequalities of proposition [ prop : localpoincare ] and are the main tools in the proof of lemma [ lem : precompact ] , whereas the sobolev inequality of proposition [ prop : sobolev ] with @xmath219 ensures uniform @xmath220-bounds of the solution to the poisson equation ( see section [ subsec : maximalinequalities ] ) .
starting point for our further considerations is the fact that the underlying unweighted euclidean lattice @xmath39 satisfies the classical sobolev inequality for any @xmath221 .
let @xmath222 be finite and connected and @xmath223 .
then , @xmath224 for @xmath13 , whereas for any @xmath225 and @xmath226 we have @xmath227 for @xmath225 this sobolev inequality follows from the isoperimetric inequality of the underlying euclidean lattice , see e.g.  ( * ? ? ? * theorem  3.2.7 ) .
[ prop : localpoincare ] for any @xmath228 and @xmath229 , let @xmath230 .
suppose that @xmath13 .
then , there exists @xmath231 such that @xmath232 for any @xmath233 .
furthermore , for every @xmath62 and @xmath234 there exist constants @xmath235 and @xmath236 with @xmath237 such that @xmath238      & \mspace{36mu}\leq\ ;      c_{\mathrm{pi}}\ , {   \ensuremath {     \mathchoice{\big\lvert \nu_l^{{\omega } } \big\rvert }       { \lvert \nu_l^{{\omega } } \rvert }       { \lvert \nu_l^{{\omega } } \rvert }       { \lvert \nu_l^{{\omega } } \rvert}_{\raisebox{-.0ex}{$\scriptstyle \frac{d}{2 } , b(n)$ } }    } } \ ,      \frac{n^2}{|b(n)|}\mspace{-3mu }      \sum_{x , y \in b(c_{\mathrm{w } } n ) } \mspace{-15mu }      { \omega}(\{x , y\})\ , \big| u(x ) - u(y ) \big|^2 ,    \end{aligned}\ ] ] for any @xmath239 , where the measure @xmath240 is given by with suitable path sets @xmath241 .    as in ( * ? ? ?
* proposition  2.1 or 6.1 ) , the assertion is an immediate consequence of and hlder s inequality ( see also ( * ? ? ?
* lemma  2.3 ) ) .
nevertheless , we will repeat the argument here for the reader s convenience .
since @xmath242 , the assertion follows from by an application of the cauchy - schwarz inequality .
let us now consider , i.e. , the case @xmath225 . for @xmath243
we let @xmath244 denote the difference @xmath245 . for any @xmath61
we observe that by the cauchy - schwarz inequality @xmath246 where we recall the definitions of @xmath247 and @xmath248 in and below .
thus , for any @xmath249 , hlder s inequality yields @xmath250 where @xmath251 note that there exists @xmath252 such that @xmath253 for any @xmath254 .
in addition , there exists @xmath255 such that @xmath256 if @xmath257 .
thus , when we choose @xmath258 , then follows from .
we define @xmath259    our next task is to establish the corresponding versions of and on the weighted graph @xmath260 . for this purpose , for @xmath225 and @xmath261 we define @xmath262 notice that @xmath263 is monotonically increasing in @xmath264 and converges to @xmath265 as @xmath264 tends to infinity .
moreover , @xmath266 .
[ prop : sobolev ] let @xmath228 and @xmath267 .
suppose that @xmath13 .
then there exists @xmath268 such that @xmath269 for any @xmath233 with @xmath270 .
furthermore , for every @xmath62 , @xmath234 and @xmath271 there exists @xmath272 such that @xmath273 for any @xmath239 with @xmath270 , where the measure @xmath240 is given by with suitable path sets @xmath241 .    in analogy to
, we define @xmath274 we prove proposition [ prop : sobolev ] after the following remark
.    for @xmath13 , proposition [ prop : sobolev ] implies that @xmath275 for @xmath62 , proposition [ prop : sobolev ] implies that @xmath276 when we insert @xmath277 into , we especially obtain that @xmath278 under assumption [ ass : integ][ass : integ : dhalf ] and by virtue of the ergodic theorem , and imply that for @xmath279 there exists a @xmath29-a.s .
finite @xmath280 such that for all @xmath166 and all @xmath125 we have @xmath281    in the sequel we will give a proof only for .
the assertion follows by similar arguments . to lighten notation , set @xmath282 and define @xmath283 .
the constant @xmath284 appearing in the computations below is independent of @xmath285 but may change from line to line .
let @xmath286 and @xmath226 .
since @xmath287 for @xmath288 , we have @xmath289 hence , an application of minkowski s inequality yields @xmath290 thus , for any @xmath261 the assertion follows as in the previous proof from combined with by choosing @xmath291 .
[ prop : linftypoiss ] let @xmath292 and suppose that @xmath293 is a solution of . for some fixed @xmath294 consider the measure @xmath295 on @xmath0 as defined in .
then , for any @xmath296 there exist @xmath297 $ ] , @xmath298 , and @xmath299 such that @xmath300    we prove this proposition after the following remark .
[ rem : linftypoiss ] note that if @xmath293 is a solution of , then due to , and the cauchy - schwarz inequality it follows for any dimension @xmath279 that @xmath301 let assumption [ ass : integ][ass : integ : dhalf ] be fulfilled
. then @xmath302 implies by the ergodic theorem that both @xmath303 and @xmath304 are bounded as well .
thus , implies that in dimension one @xmath305 is bounded .
furthermore , if even assumption [ ass : integ][ass : integ : q ] is fulfilled and @xmath306 , then implies that @xmath305 is bounded for @xmath62 as well .
we use the moser iteration scheme .
let us fix @xmath166 and consider @xmath307 with @xmath308 .
we define @xmath309 for any @xmath310 . by virtue of eq .
( a.2 ) in @xcite we obtain the following energy estimate @xmath311 since @xmath169 is a solution to the poisson equation , the energy estimate implies that @xmath312 by the sobolev inequality and jensen s inequality it follows that @xmath313 we define @xmath314 for @xmath315 .
further , we set @xmath316 for @xmath317 and @xmath318 for @xmath319 .
recall that @xmath320 for any @xmath65 .
furthermore , we observe that for any @xmath321 we have @xmath322 .
thus , by iterating the inequality and using the fact that @xmath323 , we obtain that there exists @xmath324 such that @xmath325 where @xmath326 and @xmath327 such that @xmath328 .
choosing @xmath329 , we complete the proof .
the very first step to prove homogenization of the operator @xmath89 is to show that a sequence @xmath330 ( @xmath331 ) has a strongly convergent subsequence if @xmath332 .
the dirichlet energy @xmath333 is defined in .
[ lem : precompact ] if assumptions [ ass : environ ] and [ ass : integ][ass : integ : dhalf ] are fulfilled , then for @xmath29-a.e .
realization @xmath32 the following statement is true : for any sequence @xmath331 ( @xmath334 , @xmath335 ) with @xmath336 , the sequence @xmath337 has a strongly convergent subsequence in @xmath338 .
this lemma was also recently shown in ( * ? ? ?
* lemma 3.9 ) .
first of all we observe that by virtue of , there exists a @xmath29-a.s .
finite @xmath280 such that @xmath339 which implies that @xmath340 is finite by assumption . by the banach - alaoglu theorem
it follows that there exists a subsequence , which we still index by @xmath1 , and @xmath341 such that @xmath342    for any @xmath343 consider a partition of @xmath129 into @xmath344 congruent open subcubes @xmath345 with side length @xmath346 .
we further define @xmath347 .
then @xmath348 and @xmath349 as @xmath350 .
we estimate @xmath351 where , in analogy to , we abbreviate @xmath352 since @xmath330 converges weakly in @xmath353 to @xmath354 , the sum over the second term on the rhs of vanishes as @xmath1 tends to zero .
it remains to show that , as the @xmath355 , the limit superior of the sum of the first and third term is zero as well .
we use arguments similar to the ones given in ( * ? ? ?
* proposition 2.9 ) , see also ( * ? ? ?
* lemma 3.9 ) .
let @xmath356 ( @xmath357 ) be the unit base vectors of @xmath193 .
by virtue of proposition [ prop : localpoincare ] there exists @xmath358 such that @xmath29-a.s .  for @xmath1 small enough the first term in the brackets of the rhs in can be estimated by @xmath359 where for @xmath13 we set @xmath360 .
for @xmath62 we set @xmath277 . since any edge @xmath61 is contained in at most @xmath361 cubes @xmath362 , summing over @xmath363 yields @xmath364 note that @xmath365 is independent of @xmath327 and @xmath366
is bounded in @xmath1 by assumption . by assumption [
ass : integ][ass : integ : dhalf ] and the ergodic theorem , there @xmath29-a.s .
exists @xmath367 such that for all @xmath368 we have @xmath369^{1/q}\ , .
\end{aligned}\ ] ] from and it follows that there exists @xmath164 independent of @xmath327 such that @xmath29-almost surely @xmath370 since @xmath327 might be arbitrarily small and @xmath371 has bounded support , the claim follows .
in what follows , we will generalize a result by boivin and depauw .
[ thm : boiv - dep ] for every @xmath372 , for @xmath29-almost every @xmath32 it holds @xmath373\int_{q}v(x){\,\mathrm{d}}x\qquad\forall v\in c(\overline{q})\ , , \label{equ : boiv - dep}\end{aligned}\ ] ] and the null - set depends on @xmath217 but not on @xmath374 .
[ rem : tempelman]evidently , we can also choose @xmath374 as the characteristic function of any relatively open or compact set @xmath375 and we obtain the tempelman ergodic theorem .
we will use both theorem [ thm : boiv - dep ] and remark [ rem : tempelman ] in order to prove the following theorem .
[ thm : general - ergodic - thm]for every @xmath372 , for @xmath29-almost every @xmath32 the following holds : let @xmath376 be a sequence of functions from @xmath377 with support in @xmath138 such that @xmath126 pointwise a.e .  in @xmath129 .
furthermore , let @xmath378
. then @xmath379 and @xmath380\int_{q}u(x){\,\mathrm{d}}x \label{eq : thm : general - ergodic - thm}\ ] ] and the null - set depends on @xmath217 but not on the sequence @xmath169 .
first we note that @xmath379 since @xmath378 .
now we let @xmath381 and let @xmath382 be a sequence of mollifiers approximating the identity . by egorov s theorem , there exists a compact set @xmath383 with @xmath384 such that both @xmath126 and @xmath385 uniformly on @xmath383 .
we now make the following decomposition : @xmath386\int_{q}u(x){\,\mathrm{d}}x\right|\nonumber\\    & \qquad\qquad\leq \left| { \varepsilon}^d \sum_{x\in { \varepsilon}^{-1 } q_{\varepsilon } } \left ( { u^{\varepsilon}}({\varepsilon}x ) - u_\delta ( { \varepsilon}x)\right ) f\left(\tau_x \omega\right ) \right| + \nonumber\\    & \qquad\qquad\phantom{\leq}+\left| { \varepsilon}^d \sum_{x\in { \varepsilon}^{-1 } q_{\varepsilon } } u_\delta ( { \varepsilon}x ) f\left(\tau_x \omega\right ) - \mathbb{e}[f]\int_{q}u_\delta ( x){\,\mathrm{d}}x\right| +    \left| \mathbb{e}[f]\int_{q}\left ( u_\delta ( x ) - u(x ) \right ) { \,\mathrm{d}}x\right|    \label{equ : pfgenergodichelp2}\end{aligned}\ ] ] since @xmath387 , the second summand on the above rhs converges to zero by virtue of theorem [ thm : boiv - dep ] . for the first summand on the rhs of we
estimate that @xmath388 since the function @xmath389 converges uniformly in @xmath1 to @xmath354 on @xmath383 , we can estimate by virtue of remark [ rem : tempelman ] that @xmath390\ , .\end{aligned}\ ] ] we further estimate the second summand on the rhs of by @xmath391\,,\end{aligned}\ ] ] where we have used remark [ rem : tempelman ] .
thus , as @xmath355 , we obtain that @xmath392\int_{q}u(x){\,\mathrm{d}}x\right|\\    & \qquad\quad\leq \sup_{x\in k_{\eta}}\left|u_{\delta}(x)-u(x)\right|\,|q|\,{\mathbb{e}}[f ] \;+\ ; 2\eta \sup_{{\varepsilon}>0}\left\vert { u^{\varepsilon}}\right\vert _ { \infty } { \mathbb{e}}[f ] \;+\ ;     \left| \mathbb{e}[f]\int_{q}\left ( u_\delta ( x ) - u(x ) \right ) { \,\mathrm{d}}x\right|\end{aligned}\ ] ] as @xmath393 , the uniform convergence @xmath394 on @xmath395 yields @xmath396\int_{q}u(x){\,\mathrm{d}}x\;\right| \;\leq\ ; 2\eta\ , \sup_{{\varepsilon}>0}\left\vert { u^{\varepsilon}}\right\vert _ { \infty}{\mathbb{e}}[f]\,.\end{aligned}\ ] ] since the last inequality holds for every @xmath381 , the claim follows .
we first note that the probability space given in is generated from the compact metric space @xmath397^{e}$ ] , and therefore the notion of continuity on @xmath398 makes sense .
we say that a function @xmath399 is _ shift covariant _ if it fulfills @xmath400 for all @xmath401 ( cf .
@xcite eq .
( 3.14 ) ) .
note that shift covariant functions @xmath402 fulfill @xmath403 .
then directly implies that @xmath404 we define on @xmath405 the space @xmath406\,.\end{aligned}\ ] ] accordingly , we define the scalar product between @xmath407 by @xmath408\ , .\label{equ : scalarprodcov}\end{aligned}\ ] ]    note that @xmath409 is a closed subspace of @xmath410 , where @xmath411 is the measure on @xmath398 defined by @xmath412 .
since @xmath398 is a compact metric space , @xmath413 is separable for all @xmath414 and thus also the countable product space @xmath410 and its subspace @xmath409 are separable .
further , we note that for all @xmath415 it holds that @xmath416 satisfies @xmath417 .
therefore @xmath418 is in @xmath419 .
a _ local function _ on @xmath398 is a bounded , continuous function that only depends on finitely many coordinates of @xmath397^{e}$ ] . following the outline of chapter 3 in @xcite ,
we define the closed subspace @xmath420 let @xmath421 be the orthogonal complement of @xmath422 in @xmath419 and let us define @xmath423 note that since @xmath424 satisfies , the last equation also reads @xmath425 then we have the following lemma .
[ lem : divsol ] @xmath426    using the above notation , we define @xmath427 through @xmath428\,:\,\tilde{\chi}\in\left(l_{\rm pot}^2\right)^{d}\right\ } \,,\label{eq : definition - corrector}\ ] ] i.e. , @xmath429 is the orthogonal projection of @xmath430 on the space @xmath431 with respect to the scalar product defined in .
we will see below that we can write the homogenized matrix as @xmath432\right)\left({\hat{e}}_{j } \cdot\left[z+\chi({\omega},z)\right]\right ) \right]\,,\label{eq : definition - a - hom}\ ] ] where the @xmath356 , @xmath357 , denote the unit base vectors of @xmath193 .
in analogy to ( * ? ? ? * lemma 4.5 ) we know the following result .    [ lem : non - degeneracy ] suppose that @xmath433 < \infty$ ] with @xmath56 as defined in
. then the matrix @xmath434 is positive definite . in particular , the vectorial space spanned by the following vectors @xmath435 \in { { \mathbb{r}}^{d } } ,    \qquad b \in l^2_{\mathrm{sol } }    \label{eq : non - degeneracy - consequence}\end{aligned}\ ] ] coincides with @xmath193 .
first we notice that @xmath436 for any @xmath437 and @xmath357 , provided that @xmath438 < \infty$ ] .
indeed , by the cauchy - schwarz inequality and the shift covariance , we observe that @xmath439      & \;\leq\ ;      { \mathbb{e}}\big[1/{\omega}_l(0 , { \hat{e}}_i)\big]^{1/2}\ ,      \biggl({\mathbb{e}}\biggl[\sum_{x , y\in\gamma_l^{\rm opt } } { \omega}(\{x , y\ } ) |\psi ( \tau_x { \omega } , x - y)|^2\biggr]\biggr)^{1/2 }      \nonumber\\      & \;\leq\ ;      \sqrt{l\;|\gamma_l|}\ , { \mathbb{e}}\big[\nu_l^{{\omega}}(0)\big]^{1/2}\ ,      {   \ensuremath {     \mathchoice{\big\lvert \psi \big\rvert }       { \lvert \psi \rvert }       { \lvert \psi \rvert }       { \lvert \psi \rvert}_{\raisebox{-.0ex}{$\scriptstyle l_\mathrm{cov}^2 $ } }    } } \ , ,    \end{aligned}\ ] ] where we abbreviate @xmath440 , recall .
moreover , by adapting the argument given in ( * ? ? ?
* proof of lemma  4.8 ) , it follows that @xmath441 = 0 $ ] for any @xmath442 and @xmath357 .
in particular , @xmath443 = 0 $ ] for any @xmath444 .
now let @xmath445 .
since @xmath446 = 0 $ ] , it follows that @xmath447\bigr)\big ]       \\[.5ex ]       & \overset{\eqref{eq : l1:est}}{\;\leq\ ; }       |v \cdot { \hat{e}}_i|\ , \sqrt{l\;|\gamma_l|}\ , { \mathbb{e}}\big[\nu_l^{{\omega}}(0)\big]^{1/2}\ ,       { \mathbb{e}}\,\biggl [ \sum_{z\in{{\mathbb{z}}^{d } } } { \omega}_{0,z } \bigl ( v \cdot [ z + \chi({\omega},z)]^2\bigr ) \biggr]\ , .
\end{aligned}\ ] ] thus , by summing both sides over @xmath357 , we obtain @xmath448 ^ 2\bigr ) \biggr ]      \;\geq\ ;      \frac{|v|_2 ^ 2}{|v|_1}\ , \,\big(l\,|\gamma_l|\ , { \mathbb{e}}\big[\nu_l^{{\omega}}(0)\big]\big)^{-1/2 }      \;>\ ;      0\ , .
\end{aligned}\ ] ] thus , the matrix @xmath434 is positive definite . by following literally the proof of (
* lemma  4.5 ) we obtain the claim .    [ [ bochner - spaces ] ] bochner spaces + + + + + + + + + + + + + +    we will use the concept of bochner spaces , which are a special case of the theory outlined in @xcite .
let @xmath449 be a normed space with norm @xmath450 with the corresponding topology and borel-@xmath451-algebra and let @xmath452 be a lebesgue - measurable set . then , for @xmath453 , we define the space @xmath454 given a measure space @xmath455 , it turns out that @xmath456 and @xmath457 are isometrically isomorph via the trivial identification @xmath458 .
here , @xmath459 denotes the lebesgue measure and @xmath460 denotes the product measure . while not being necessary , this notation has proved useful in homogenization theory since the introduction of two - scale convergence in @xcite .
in particular , it gives a clear and intuitive meaning to spaces such as @xmath461 or @xmath462 .
if @xmath463 is a family of vectors in @xmath449 , we denote @xmath464 if @xmath465 is a countable dense subset of @xmath449 , i.e. @xmath449 is separable , every element of @xmath466 can be approximated by finite sums of elements of @xmath467 @xcite .      with the following definitions of discrete derivatives ,
we can write the operator @xmath89 in divergence form .    for @xmath468 we define the @xmath1-forward derivative in the direction @xmath469 by @xmath470 and the analogous backward derivative , @xmath471 further , we define @xmath472 and write @xmath473 for the function that maps @xmath414 to @xmath474 . accordingly , we define @xmath475 and @xmath476 .
moreover , for a function @xmath477 we define @xmath478    we use this notation to clearly distinguish between @xmath479 , an operator on discrete functions , and @xmath480 , an operator on the sobolev space @xmath481 .
a direct calculation shows that when @xmath482 maps @xmath483 , then @xmath484 moreover , for @xmath485 we observe that @xmath486 when we compare the divergence form of the operator @xmath89 in with the limit operator in , we better understand the result of theorem [ thm : twoscale - strong ] .
furthermore implies that @xmath89 is strictly positive definite on any bounded domain with zero dirichlet conditions at the boundary .
we adapt the concept of stochastic two - scale convergence by zhikov and piatnitsky @xcite to our setting .
we denote by @xmath487 the function that maps @xmath414 onto its @xmath488th coordinate and observe that , since @xmath489 $ ] is finite , @xmath490 for @xmath491 .
since @xmath409 is separable , there exist countable sets @xmath492 and @xmath493 such that @xmath494 is dense in @xmath409 .
we can assume that every @xmath495 is the gradient of a local function .
furthermore , there exists a countable subspace @xmath496 such that @xmath497 is dense both in @xmath498 and in @xmath499 .
we then find that @xmath500 is dense in @xmath501 .
we denote by @xmath502 the set of all @xmath32 such that theorem [ thm : boiv - dep ] holds    1 .   for all @xmath503 , where @xmath504 , 2 .   for all @xmath505 , where @xmath506 , and 3
.   and for all @xmath507 , where @xmath508 is a finite subset of @xmath0 , 4 .
@xmath509 for all @xmath510 and all @xmath511 .
we call @xmath512 the set of _ typical realizations_.    note that @xmath513 ( compare to ( * ? ? ?
* lemma 4.4 ) ) .
let @xmath514 .
we say that @xmath515 _ converges weakly in two scales _ to @xmath516 if @xmath517{\,\mathrm{d}}x\end{aligned}\ ] ] for all @xmath518 and all @xmath504 . in this case we write @xmath519 .
[ prop : ex - two - scale - limit - farfield]for all typical realizations @xmath520 it holds : if @xmath514 and @xmath164 are such that @xmath521 then there exists a subsequence @xmath522 and @xmath516 such that @xmath523    the proof goes along the lines of classical proofs of two - scale convergence like for example in @xcite , section 5 .    we observe that for every @xmath524 and @xmath504 we find @xmath525 where , in the last step , we have also used that @xmath374 has bounded support .
it follows that since @xmath497 and @xmath526 are countable , we can choose a subsequence @xmath527 as @xmath528 such that the limit @xmath529 of @xmath530 exists for every @xmath524 and @xmath504 .
we notice that the functional @xmath531 is linear in @xmath532 . furthermore , due to ( [ eq : two - scale - exist - estim-1 ] )
, @xmath531 is continuous on @xmath533 .
it follows by riesz representation theorem that we can find @xmath534 such that @xmath535\ , { \,\mathrm{d}}x\,.\ ] ] since @xmath500 is dense in @xmath536 , we obtain that @xmath537 is uniquely defined . since , in addition , @xmath497 is dense in @xmath538 , holds for all @xmath539 .
[ lem : bdddiscrgrad ] for all typical realizations @xmath540 and all lipschitz functions @xmath541 there exists @xmath542 $ ] , which depends only on @xmath543 and @xmath30 , such that @xmath544 if @xmath543 is bounded , then @xmath280 is @xmath29-a.s .
finite .
we observe that we can interchange the order of the sums and estimate @xmath545 the first term on the above rhs is finite by virtue of the ergodic theorem .
this also holds for the second term after an index shift in @xmath41 and a rearrangement of the two sums .
[ lem : testwithgradient ] let @xmath546 .
for all typical realizations @xmath520 it holds : @xmath547    let @xmath548 .
since @xmath549<\infty$ ] , we can choose a finite point - symmetric subset @xmath550 such that @xmath551    \;<\;\delta\ , .\end{aligned}\ ] ] then we split the sum in into a sum over @xmath552 and a sum over @xmath553 .    for @xmath552
we observe that , since @xmath554 , we have @xmath555 uniformly in @xmath511 .
further , we observe that there exists @xmath556 such that for @xmath552 and for all @xmath557 , the statement @xmath558 implies that @xmath559 .
it follows that for @xmath1 small enough , we have @xmath560 this together with and the ergodic theorem implies that @xmath561    let us now consider the case @xmath553 . as in the proof of lemma [ lem : bdddiscrgrad ] , we interchange the sums and observe that @xmath562 by the ergodic theorem and the choice of @xmath563 it follows that the limit superior of the above rhs is bounded from above by a constant times @xmath564 , which we can choose arbitrarily small .    [ cor : testwithgradient ] for all typical realizations @xmath520 it holds : if @xmath565 , then @xmath566\ , { \,\mathrm{d}}x \label{eq : two - sc - conv-2}\end{aligned}\ ] ] for all @xmath567 .
first we observe that @xmath568 for @xmath491 and @xmath569 where the @xmath356 , @xmath357 , denote the unit base vectors of @xmath193 .
therefore the assumption that @xmath565 implies that @xmath570{\,\mathrm{d}}x\,,\end{aligned}\ ] ] where the @xmath356 , @xmath357 , denote the unit base vectors of @xmath193 .
it follows that @xmath571{\,\mathrm{d}}x\,\end{aligned}\ ] ] for all @xmath554 . in order to prove ( [ eq : two - sc - conv-2 ] ) , it thus remains to show that @xmath572 this follows from cauchy - schwarz , i.e. , @xmath573 the first factor on the rhs is bounded by assumption and the second factor converges to zero by virtue of lemma [ lem : testwithgradient ] .
let us start with the following auxiliary lemma    [ lem : bsolorthgrad ] for all @xmath574 and all @xmath575 the following is true : @xmath576    we write the lhs of as @xmath577 the second term is immediately zero since @xmath574 and @xmath578 by .
the first term is absolutely convergent and thus we can interchange the sums . after an additional index shift @xmath579 , we obtain that the above first term is equal to @xmath580 where we have used as well as the symmetry of the conductances , i.e. , @xmath581 .
the claim follows from and @xmath575 since @xmath574 .
we can now prove the convergence of gradients .
[ lem : two - scale - gradient ] for all @xmath520 the following holds . if @xmath582 is a family of functions with @xmath583 for all @xmath1 and @xmath584 then there exists a subsequence @xmath585 , @xmath586 and @xmath587 such that @xmath588    condition together with lemma [ lem : precompact ] implies that there exists a subsequence , which we still index by @xmath1 , and @xmath589 such that @xmath590 in @xmath591 .
it remains to show that @xmath592 and to proof the second statement in .    by virtue of proposition [ prop : ex - two - scale - limit - farfield ]
, condition further implies that there exists a subsequence , which we still index by @xmath355 , and @xmath516 such that @xmath593 in the two - scale sense .
we choose @xmath575 and @xmath554 and apply to the discrete product rule @xmath594 to obtain that @xmath595    for the first term on the rhs of , we obtain from the two - scale convergence of @xmath596 that @xmath597{\,\mathrm{d}}x\ , .
\label{eq : wo - scale - gradient - help-2}\end{aligned}\ ] ]    for the second term on the rhs of , we first notice that the sum is absolutely convergent since @xmath598 where for the last equality we have used the relation @xmath599 , the shift covariance and the substitution @xmath600 .
we now use the fact that @xmath169 and @xmath601 are bounded , apply the cauchy - schwarz inequality and the ergodic theorem to obtain that the above sum is indeed finite .
it follows that for the second term on the rhs of , we can exchange the order of the sums . by the same arguments as those that led to
, we obtain that @xmath602 further we notice that since @xmath169 has support only in @xmath603 , we can estimate @xmath604 the limit superior of the second factor vanishes due to lemma [ lem : testwithgradient ] and the third factor is finite due to the ergodic theorem .
thus , for @xmath605 we have @xmath606    to summarize , for the second term on the rhs of , it follows that @xmath607 by the assumptions on @xmath608 and @xmath424 , the last bracket on the above rhs is in @xmath609 . since we already know that the subsequence @xmath590 in @xmath610 , there exists a further subsequence , which we still index by @xmath350 , where @xmath611 converges pointwise a.e .  in @xmath129 (
* theorem 4.9 ) .
moreover , @xmath169 has support in @xmath138 and @xmath612 by assumption .
it follows that we can apply theorem [ thm : general - ergodic - thm ] along the above subsequence and obtain that @xmath613 { \,\mathrm{d}}x\ , .\end{aligned}\ ] ] thus we obtain by that @xmath614{\,\mathrm{d}}x = -\int_{{{\mathbb{r}}^{d } } } u(x ) \nabla v(x)\cdot { \mathbb{e}}\left [ \sum_{z\in{{\mathbb{z}}^{d}}}z{\omega}_{0,z } b(\omega , z ) \right ] { \,\mathrm{d}}x\ , .
\label{eq : wo - scale - gradient - help-3}\end{aligned}\ ] ]    let us now argue that implies that @xmath615 . by virtue of , for any @xmath616 we can choose @xmath617 such that @xmath618= { \hat{e}}_i$ ] .
then implies that @xmath619{\,\mathrm{d}}x\right|\\    & \leq \| b^i \|_{l^2_{\rm cov}}\int_{{{\mathbb{r}}^{d } } } \left|v(x)\right| \left({\mathbb{e}}\left[\sum_{z\in{{\mathbb{z}}^{d}}}{\omega}_{0,z } { { \rm w}}^2(x,{\omega},z)\right]\right)^{1/2 } { \,\mathrm{d}}x\\    & \leq \|v\|_2 \| b^i \|_{l^2_{\rm cov } } \left(\int_{{{\mathbb{r}}^{d } } }   { \mathbb{e}}\left[\sum_{z\in{{\mathbb{z}}^{d}}}{\omega}_{0,z } { { \rm w}}^2(x,{\omega},z)\right ] { \,\mathrm{d}}x\right)^{1/2}\ , .\end{aligned}\ ] ] since @xmath620 , there exists @xmath164 such that for any @xmath616 we observe that @xmath621 by virtue of ( * ? ? ?
* proposition 9.3 ) it follows that @xmath622 . since @xmath623
, we conclude @xmath586 .
we now use integration by parts on the rhs of and obtain that @xmath624{\,\mathrm{d}}x=0\ , . \ ] ]    since the last equation holds for all @xmath524 and all @xmath575 , we find that @xmath625
we start with an auxiliary lemma .
[ lem : twoscale - weak ] let @xmath626 be a sequence of functions such that @xmath122 weakly in @xmath123 for some @xmath124 and such that @xmath627 .
then for almost all @xmath32 it holds : the sequence of solutions @xmath125 to the problem satisfies @xmath126 strongly in @xmath123 , where @xmath127 solves the limit problem .
we test equation with an arbitrary test function @xmath628 with @xmath629 and obtain by that @xmath630 we now choose @xmath631 and apply and cauchy - schwarz to obtain that @xmath632 hence , in combination with remark [ rem : linftypoiss ] we conclude that    [ equ : pfthm15bddness ] @xmath633 @xmath634    it follows that by virtue of lemma [ lem : precompact ] and lemma [ lem : two - scale - gradient ] , there exists @xmath586 , @xmath635 and a subsequence , which we still index by @xmath1 , such that @xmath636 for all @xmath637 and @xmath638 .
let us choose @xmath554 with @xmath639 and @xmath640 with @xmath641 for some bounded local function @xmath642 .
when we insert @xmath643 into , then we observe for all @xmath166 that @xmath644\nonumber\\ & = { \varepsilon}^d \sum_{x\in{{\mathbb{z}}^{d } } } \sum_{z\in { \mathbb{z}}^d } \omega_{x , z } \partial_{z}^{{\varepsilon}}{u^{\varepsilon}}({\varepsilon}x)\ , v({\varepsilon}x)\varphi ( \tau_{x}\omega , z ) \nonumber\\ & \qquad\qquad+{\varepsilon}^d \sum_{x\in{{\mathbb{z}}^{d } } } \sum_{z\in { \mathbb{z}}^d } \omega_{x , z } \partial_{z}^{{\varepsilon}}{u^{\varepsilon}}({\varepsilon}x)\ , { \varepsilon}\tilde{\varphi } ( \tau_{x+z}\omega ) { \partial}_z^{\varepsilon}v({\varepsilon}x)\ , .
\label{equ : pfthm15help2}\end{aligned}\ ] ] the second summand on the above rhs vanishes as @xmath350 since @xmath645 by assumption @xmath646 is bounded .
the second factor is bounded due to and the third factor is bounded by virtue of lemma [ lem : bdddiscrgrad ] . since the lhs of vanishes as well , and imply that in the limit @xmath350 and along the chosen subsequence we obtain @xmath647 = 0\,.\label{eq : thm - two - scale - lim - help - split-2 } \ ] ] since @xmath648 is dense in @xmath431 and @xmath497 is dense in @xmath649 , equation holds for all @xmath650 and all @xmath651 .
let @xmath652 be given through .
since @xmath653 is given , the function @xmath654 is the unique solution to .
we have thus identified @xmath655 .
now we observe that if we test by an arbitrary @xmath656 with support in @xmath129 , we obtain that @xmath657 passing to the limit , we obtain by virtue of corollary [ cor : testwithgradient ] and @xmath658 that @xmath659\ , { \,\mathrm{d}}x = \int_{{\mathbb{r}}^d } 2f(x)g ( x)\,{\,\mathrm{d}}x\ , .
\label{eq : thm - two - scale - lim - help - split-1}\end{aligned}\ ] ]    when we now insert @xmath660 and @xmath661 for @xmath357 into and add the resulting equations to , then we obtain that @xmath662\ , { \,\mathrm{d}}x     = \int_{{\mathbb{r}}^d } 2f(x)g ( x)\,{\,\mathrm{d}}x\ , .\end{aligned}\ ] ] a comparison with the definition of @xmath663 in finally yields that @xmath354 solves @xmath664 since @xmath130 is non - degenerate , we find that is the weak formulation of .
hence , from elliptic regularity theory ( * ? ? ?
* chapter 6 ) , we obtain that @xmath665 .
since the solution @xmath354 of is unique , it follows that holds for the entire sequence .    as for the last ingredient for the proof of theorem [ thm : twoscale - strong ] , we observe the following : on the cube @xmath129 the operator @xmath120 with zero dirichlet conditions is strictly positive definite ( see e.g.  ) and thus it follows that on @xmath129 its inverse @xmath666 is well - defined . similarly , the inverse @xmath667 of @xmath668 on @xmath129 is well - defined .
we have the following lemma .
[ lem : condjkoii2 ] the operators @xmath669 are @xmath29-a.s .
positive , compact and self - adjoint .
the norms @xmath670 are @xmath29-a.s .  bounded by a constant independent of @xmath1 .    since @xmath663 is positive definite and symmetric ,
the properties of @xmath671 follow from the theory of elliptic partial differential equations , see e.g.  ( * ? ? ?
* chapter 6 ) .
the operator @xmath672 is uniformly bounded in @xmath1 by virtue of .
moreover , @xmath672 is real and symmetric by construction and therefore self - adjoint .
finally , its range @xmath105 is finite - dimensional and thus @xmath672 is compact .
let us first show that @xmath673 where @xmath665 is the solution to .
indeed , since @xmath672 is self - adjoint , we observe that @xmath674 since @xmath675 in @xmath676 and @xmath677 , lemma [ lem : twoscale - weak ] implies that @xmath678 converges strongly in @xmath676 to @xmath679 .
it follows that @xmath680 where we have used that the operator @xmath671 is self - adjoint , see lemma [ lem : condjkoii2 ] .
we further note that @xmath681 by the same arguments as for .
since @xmath682 is dense in @xmath683 , it thus follows that @xmath684 . by virtue of lemma [ lem : precompact ] and we conclude that @xmath126 strongly in @xmath676 .
the existence of solutions to follows from positivity of the first eigenvalue for small @xmath1 .
hence we can calculate the apriori estimates similar to by testing with @xmath169 and using @xmath144 to obtain @xmath685 since @xmath686 is bounded , this implies that @xmath687 is bounded in @xmath1 . from lemma [ lem : precompact ]
it follows that @xmath688 strongly in @xmath353 and hence @xmath689 .
hence from theorem [ thm : twoscale - strong ] we obtain that @xmath354 solves .
first , we notice that without loss of generality , we can assume that the function @xmath686 is nonnegative .
otherwise , we simply substitute @xmath686 for @xmath690 and prove the result for the new @xmath686 .
then we notice that the substitution has simply shifted the spectrum by the constant @xmath691 and the new eigenvectors are the same as the old ones .
thus , it suffices to prove the claim for @xmath692 .
note that directly implies that if @xmath692 , then @xmath140 is positive .
then lemmas [ lem : condjko ] and [ lem : condjkoii2 ] ensure that conditions i - iv of ( * ? ? ?
* section 11.1 ) are satisfied and theorem [ thm : spectrum ] follows by virtue of ( * ? ? ?
* theorems 11.4 , 11.5 ) .    as in the paragraph before lemma [
lem : condjkoii2 ] , we now define the operators @xmath672 and @xmath671 as the inverses of @xmath136 and @xmath693 , respectively . for @xmath692
, we further consider the spectrum of the operators @xmath672 : @xmath694[1.5em][c]{0cm}{}}\\      & \mu_1^{\varepsilon}\geq \mu_2^{\varepsilon}\geq \ldots \geq \mu_k^{\varepsilon}\ldots \ , , \quad \mu_k^{\varepsilon}>0 \ , , { \parbox[0pt][1.5em][c]{0cm}{}}\\      & \langle \psi_k^{\varepsilon } , \psi_l^{\varepsilon}\rangle_{{{\mathcal{h}_{\varepsilon } } } } = \delta_{kl}\ , , { \parbox[0pt][1.5em][c]{0 cm } { } } \end{aligned}\end{aligned}\ ] ] as well as the spectrum of the operator @xmath671 @xmath695[1.5em][c]{0cm}{}}\\      & \mu_1 ^ 0 \geq \mu_2 ^ 0 \geq \ldots \geq \mu_k^0 \ldots \ , , \quad \mu_k^0 > 0 \ , , { \parbox[0pt][1.5em][c]{0cm}{}}\\      & \langle \psi_k^0 , \psi_l^0 \rangle_{{{\mathcal{h}_{\varepsilon } } } } = \delta_{kl}\ , .{\parbox[0pt][1.5em][c]{0 cm } { } } \end{aligned}\end{aligned}\ ] ]    [ rem : relationbl ] the eigenfunctions @xmath696 of the operator @xmath672 and the eigenfunctions @xmath697 of the operator @xmath671 coincide with the eigenfunctions of the operators @xmath136 and @xmath693 , respectively .
their eigenvalues relate to those of @xmath160 and @xmath693 by @xmath698    [ lem : condjko ]     1 .
[ lem : condjkoi ] for any @xmath699 , the following is true : @xmath700 further , @xmath701 provided that @xmath702 and @xmath703 and @xmath704 2 .
[ lem : condjkoiii ] let @xmath111 and let @xmath705 with @xmath706 .
then the following is true : if @xmath707 then @xmath708 3 .
[ lem : condjkoiv ] for any sequence @xmath705 such that @xmath709 , there exists a subsequence @xmath710 and a vector @xmath711 such that @xmath712    for ( i ) : let @xmath699 . by jensen s inequality
it follows that @xmath713 for we first observe that @xmath714 the second term on the above rhs converges to zero by assumption .
for the first term we note that the triangle inequality together with yields @xmath715 which is bounded from above .
it follows that the first term on the rhs of converges to zero as well .
part ( ii ) follows directly from proposition [ prop : twoscale - strong ] and .
similarly , part ( iii ) follows from proposition [ prop : twoscale - strong ] and since @xmath716 implies that there exists a subsequence @xmath717 along which @xmath718 in @xmath676 .
this proof is an application of the grtner - ellis theorem and goes along the lines of ( * ? ? ?
* theorem 1.8 ) . for the convenience of the reader ,
we outline the main steps here .
let @xmath137 be a bounded , continuous function .
we define the generating cumulant function @xmath719 } \subset \alpha_t q\right]\ , .\end{aligned}\ ] ] as in @xcite , it suffices to show that @xmath720 where @xmath721 denotes the principal dirichlet eigenvalue of @xmath151 on @xmath129 with zero dirichlet boundary conditions .
then the claim follows by the grtner - ellis theorem .    in order to show
, we define the operator @xmath722 acting on real - valued functions @xmath723 by @xmath724 } \subset \alpha_t q \ } } f\left ( x_t \right)\right ] \quad ( z\in\alpha_t q\cap { { \mathbb{z}}^{d}})\ , .\end{aligned}\ ] ] since @xmath186 is a step function , @xmath722 admits the semigroup representation @xmath725 \right\}\ , , \end{aligned}\ ] ] where the operator in the exponent is considered with zero dirichlet conditions at the boundary of @xmath726 and @xmath727 } v\left ( \frac{z+y}{\alpha_t } \right ) \ , { \,\mathrm{d}}y \qquad ( z\in \alpha_t q \cap zd)\ , .\end{aligned}\ ] ]    let @xmath728 denote the principal dirichlet eigenvalue of @xmath729 on @xmath726 with zero dirichlet boundary conditions .
let @xmath730 be the corresponding principal dirichlet eigenfunction .
then , in order to show , we have to show that @xmath731 for any @xmath732 .
the second equality follows by virtue of theorem [ thm : spectrum ] .
it remains to prove the first equality .
for this purpose we notice that an eigenvalue expansion together with cauchy - schwarz and parseval s identity yields that @xmath733 on the other hand , since @xmath734 , we can estimate from below @xmath735 since @xmath736 is a normalized eigenfunction .
thus , if @xmath737 decays at most polynomially , we have proved the claim .
similarly to the proof in @xcite , we obtain that @xmath738\right)\ , , \end{aligned}\ ] ] where @xmath739 is an upper bound for @xmath686 .
since @xmath736 is normalized and @xmath740 = \min_{x\in\alpha^2_t q\cap { { \mathbb{z}}^{d } } } { \mathrm{p}}^{{\omega}}_0 \left [ x_{\alpha_t } = x \right]\end{aligned}\ ] ] decays at most polynomially by assumption [ ass : heatkernel ] , the claim follows .
the authors thank wolfgang knig , stefan neukamm , mathias schffner , and mark peletier for fruitful discussions and valuable hints .
f.f . gratefully acknowledges the support by dfg within the rtg 1845 _ stochastic analysis with applications in biology , finance and physics_. m.h . was supported by dfg through sfb 1114
_ scaling cascades in complex systems _ , subproject c05 _ effective models for interfaces with many scales_.                                          t.  kumagai . ,
volume 2101 of _ lecture notes in mathematics_. springer , cham , 2014 .
lecture notes from the 40th probability summer school held in saint - flour , 2010 , cole dt de probabilits de saint - flour .
[ saint - flour probability summer school ] .