Oct 1, 2017 - Figure 1: The âwhirlpoolâ example has a solvable unit-cell problem and a rate matrix L that is not symmetric with respect to Ï. All edges have the ...
arXiv:1710.00385v1 [math.PR] 1 Oct 2017
Homogenization of a Random Walk with Irreversible Rates on a Graph in d Dimensions October 3, 2017 Preston Donovan and Muruhan Rathinam Department of Mathematics and Statistics, University of Maryland, Baltimore County 1000 Hilltop Circle Baltimore, MD 21250, USA
Abstract We study a periodic, directed graph and the continuous time random walk Z(t) on the graph’s nodes (assumed to be isolated points in Rd ), which jumps along the graph’s edges with jump rates given by the edge weights. We do not assume that the edge weights are reversible. The main result is that, under certain conditions on the graph, the scaled process εZ(t/ε2 ) converges weakly in the Skorokhod space to a Brownian motion. The diffusivity of the limiting Brownian motion can be computed by solving a set of linear algebra problems. An intuitive derivation via formal asymptotic expansion and a rigorous proof of convergence are provided. We show that reversible rates, detailed balance, and certain symmetries of the graph are each alone sufficient for the convergence. For the case of reversible jump rates, an equivalent variational formulation is derived. This derivation involves developing notions of gradient for functions on the graph’s nodes, divergence for Rd -valued functions on the graph’s edges, and a divergence theorem. This work is partially motivated by the modeling of a particle’s random motion in an obstructed environment where the particle may interact with the obstructions.
1
Introduction
We consider a periodic, weighted, directed graph embedded in the Euclidean space Rd and the associated random walk Z(t) in continuous time t ≥ 0. The random walk takes place on the nodes (vertices) of the graph and jumps along the edges with jump rates given by the edge weights. The main result is that, under certain conditions on the graph, the scaled process εZ(t/ε2 ) converges weakly to a Brownian motion. The diffusivity of the limiting Brownian motion can be computed by solving a set of linear algebra problems. The motivation for our problem arises, in part, from modeling the random motion of a particle in an environment with obstructions. The particle may have some form of interaction (attraction, repulsion, or bonding) with the obstructions and the mean path length of the random motion of the particle may be nonnegligible compared to the characteristic fine-scale length of the environment. Such a situation arises for a solute in an aqueous polymer gel or polymer solution where the solute may have interactions with the polymer molecules forming the obstruction. Moreover, since the 1
“pore sizes” in the gels can be as small as 10 nanometers or less, the mean path length in water of a solute may be nonnegligible. This leads one to consider, as a starting point, a fine-scale model involving a random walk with nonzero path length or jump sizes. To the best of our knowledge, current literature on scaling limits of random walks on graphs is limited to the special case of lattices Zd where edges connect the lattice’s nodes with their 2d nearest neighbors. Additionally, current literature assumes the jump rates are assumed to be reversible, meaning that the rate of jumping from x to y is equal to that of jumping from y to x. We refer the reader to [17, 13, 15] for the earliest results on this topic where the scaling limit of a random walk on a lattice with random conductances (assumed to be reversible) is considered. We note that the terminology “conductance” was used for jump rates. These works assumed nonzero conductances with a uniform lower bound. Later work [2, 9, 18, 4] studied the scaling limit of a random walk on a percolation lattice, where the conductances were allowed to be zero with a probability that ensures the existence of a unique infinite cluster. Additional related results can be found in [19, 11, 7, 10]. The reversible jump rates assumption does not allow one to capture interactions such as attraction, repulsion, and bond formation mentioned above. Our work does not assume reversible jump rates. Moreover, the graph structure considered is very general in that the set of nodes (vertices) is not confined to the lattice Zd (or a subset of it) and the edges can be very general. On the other hand, while most of the aforementioned works consider either i.i.d. or stationary and ergodic jump rates, our work is restricted to the simpler periodic case. We believe that, by exploiting the ideas that connect the periodic case with the stationary and ergodic case [19, 10], the results of this manuscript can be extended to the stationary and ergodic case. From an application point of view, our previous work [6] demonstrated the feasibility of applying homogenization theory to predict solute motion in aqueous polymer solutions via comparison with experimental data. This work considered the simplest possible geometry of periodically placed spherical obstacles with the diffusion equation. To properly model polymer gels, more complex geometries and interactions with the solute are needed. We believe that the discrete graph approach provides a simple way to deal with complex obstruction geometries as well as interactions. The paper is organized as follows. Details of the graph structure and its induced random walk are outlined in Section 2. Section 3 provides an intuitive derivation of the effective diffusivity via a formal asymptotic expansion. This yields a set of so-called “unit-cell” problems to be solved. For non-reversible jump rates, the unit-cell problem may not be solvable. We provide the necessary and sufficient condition for the solvability of the unit-cell problem. Usually, the verification of these conditions involves computing the stationary distribution of a process Y that is related to Z. In Section 4 we provide some sufficient conditions for the solvability of the unit-cell problems that can be verified without computing the stationary distribution. Section 5 derives an equivalent variational formulation that holds when the jump rates are reversible. This result generalizes the existing results in the literature to graphs with nodes that are not necessarilly subsets of the integer lattice Zd . Section 6 proves the rigorous convergence result for the scaled random walk. In Section 7 we provide some numerical results that illustrate how the path length variation and interactions of the random walker with obstructions (attraction, repulsion or bonding) affect the effective diffusivity. Appendix A confirms that the effective diffusivities predicted by the rigorous result and the formal asymptotics agree.
2
2
Mathematical preliminaries
2.1
Directed graph
Define a weighted, directed graph to be a triple (S, E, λ), where S ⊂ Rd is a countable set of nodes, E ⊂ S × S is the directed edge set, and λ : E → (0, ∞) is a positive edge function. We will use the term graph and weighted, directed graph interchangeably. A directed graph is strongly connected if each node can reach every other node via traversing edges in the direction they point. Assumption 1: The graph (S, E, λ) is strongly connected and invariant under integer translations and the node set S ⊂ Rd is countable. Invariance under integer vector translations means for all n ∈ Zd , 1. If x ∈ S then x + n ∈ S. 2. If (x, y) ∈ E then (x + n, y + n) ∈ E. 3. If (x, y) ∈ E then λ(x + n, y + n) = λ(x, y). We sometimes write λ(e) as λe . For an edge e = (x, y) ∈ E, denote the originating node ∂− e := x and the terminal node ∂+ e := y. Given a node y ∈ S, let Ey denote the subset of edges that originate in y and conversely let Ey′ denote the subset of edges that terminate in y. That is, Ey := {e ∈ E : ∂− e = y} and Ey′ := {e ∈ E : ∂+ e = y}.
2.2
Random walk on graph
A graph (S, E, λ) satisfying Assumption 1 induces a Markov process Z(t) in continuous time taking values in S with intensity or jump rate from x ∈ S to y ∈ S given by λ(x, y). The generator of Z is given by X (f (z) − f (y))λ(y, z), (y,z)∈Ey
where f ∈ R is bounded. If Ey is finite for all y, this is defined for all f ∈ RS . Introduce the following equivalence relation on S: two nodes x, y ∈ S are equivalent if and only if x − y ∈ Zd . Let S¯ denote the set of equivalent classes of S. We shall identify S¯ = S ∩ [0, 1)d . By Assumption 1, S¯ is strongly connected. Let Π : S → S¯ be the natural projection that maps an element to its equivalent class. Introduce the following equivalence relation on E: two edges (x, x′ ), (y, y ′ ) ∈ E are equivalent if and only if there exists n ∈ Zd such that x − y = x′ − y ′ = n. Let E¯ denote the set of equivalence classes of E. Note that E¯ may not be a subset of S¯ × S¯ and that we may identify E¯ = ∪y∈S¯Ey . By Assumption 1, if e1 , e2 ∈ E belong to the same equivalence class then λ(e1 ) = λ(e2 ). Assumption 2: The node set S¯ and edge set E¯ contain finitely many elements. Thus, S and E are countable. For any edge function g ∈ (Rd )E , we have the following trivial but useful identities: XX XX X g(e) = g(e). (1) g(e) = S
e∈E¯
y∈S¯ e∈Ey′
y∈S¯ e∈Ey
By Assumption 2, these summations are well defined.
3
By Assumptions 1 and 2, the projected process Y (t) := ΠZ(t) is a Markov process with the finite state space S¯ that jumps along edges in EΠ = (Π × Π)(E). The ¯ : EΠ → (0, ∞) where jump rate is given by λ X ¯ y) = λ(x, z) λ(x, (x,z)∈Ex π(z)=y
for (x, y) ∈ EΠ . Note the following properties of EΠ : ¯ 1. EΠ ⊂ S¯ × S. 2. For every e ∈ EΠ there exists at least one edge e′ ∈ E¯ such that Π(e′ ) = e. ¯ 3. For every e ∈ EΠ , λ(e) > 0. ¯ EΠ ) is strongly connected. This The third property follows because λ > 0. Clearly the graph (S, implies that Y is an ergodic Markov process, which will be useful. For each edge e = (x, y) ∈ E, we denote the jump size by νe := y − x. Hence, using the random time change representation [8] we can write Z t X 1{∂− e} (Y (s))ds , (2) νe Re λe Z(t) = z0 + 0
e∈E¯
where {Re }e∈E¯ is a collection of independent unit-rate Poisson processes. Define the rate matrix L : S¯ × S¯ → R of (S, E, λ) by ¯ y) x 6= y λ(x, P L(x, y) := − y∈S\{x} L(x, y) x = y ¯ 0 otherwise. ¯
(3)
¯
We may regard L as a linear map RS → RS where X (Lf )(y) = (f (y + νe ) − f (y))λe ,
(4)
e∈Ey
¯
for f ∈ RS . In this view, L is the generator of the process Y and we note that arithmetic involving νe is calculated modulo 1. For y ∈ S¯ define X ¯ λ0 (y) := λ(e). (5) e∈Ey
¯
The transpose of L, given by LT (y, z) = L(z, y), can also be regarded as a linear operator on RS where X (LT f )(y) = f (y − νe )λe − f (y)λ0 (y), (6) e∈Ey′
4
¯
for f ∈ RS . Throughout this discussion we typically regard L and LT as linear operators rather ¯ The appropriate interpretation will be obvious. than functions on S¯ × S. Standard Markov process theory shows that Y is an ergodic process because S¯ is finite and ¯ (S, EΠ ) is strongly connected. Hence, LT has a one-dimensional null space that contains a function P ¯ π ∈ RS such that π(y) > 0 for all y ∈ S¯ and y∈S¯ π(y) = 1. In other words, π is the unique stationary probability measure of process Y . In the following discussion, π will play a central role. For any ε > 0, define the scaled process Zε (t) := εZ(t/ε2 ).
(7)
Our main result is that, under certain assumptions, Zε converges weakly to a Brownian motion as ε → 0. We first demonstrate the result in Section 3 via an asymptotic expansion, in an intuitive but formal approach. The result is confirmed rigorously in Section 6, which makes use of the random time change representation, martingale functional central limit theorem, and ergodicity of Y .
3
Formal asymptotics
The homogenization result for PDEs is often motivated by a formal asymptotic expansion, which leads to the so-called unit-cell problems [12, 1]. We shall derive an analogous asymptotic expansion leading to unit-cell problems and a formula for the effective diffusivity. This result will be proven rigorously in Section 6.
3.1
Anzats
Denote the probability mass function of Zε (t) by pε (t, z), where z ∈ εS. The Kolmogorov forward equations are: 1 X 1 ∂pε (8) (t, z) = 2 pε (t, z − ενe )λe − 2 λ0 (y)pε (t, z), ∂t ε ε ′ e∈Ey
for all z ∈ εS. We shall seek an asymptotic expansion of the form pε (t, z) = p0 (t, z, y) + εp1 (t, z, y) + ε2 p2 (t, z, y) + . . . ,
(9)
¯ We assume that pj is sufficiently differwhere pj : [0, ∞) × Rd × S¯ → [0, ∞) and y = Π(z/ε) ∈ S. entiable in z for j = 0, 1, 2. The machinery behind this asymptotic analysis involves substitution of the expansion (9) into the forward equations (8) and Taylor expansion about z, which yields: ∂p0 1 X (t, z) = 2 p0 (t, z, y − νe )λe + εp1 (t, z, y − νe )λe + ε2 p2 (t, z, y − νe ) λe ∂t ε ′ e∈Ey
−
1 X T νe ∇z p0 (t, z, y − νe )λe + ενeT ∇z p1 (t, z, y − νe ) λe ε ′ e∈Ey
1 X T + νe Dzz p0 (t, z, y − νe )νe λe 2 ′ e∈Ey
1 − 2 λ0 (y) p0 (t, z, y) + εp1 (t, z, y) + ε2 p2 (t, z, y) + O(ε). ε 5
(10)
We note that we use ∇z for the first derivative and Dzz for the second derivative so that Dzz p0 is the Hessian. Equating like powers of ε−2 , ε−1 , and ε0 in (10) yields a hierarchy of problems. Solving these problems yields the homogenized equation governing p0 , which is (formally) the probability density function describing the limiting motion of Zε as ε → 0.
3.2
Stationary distribution
Equating like powers of ε−2 in (10), we have: 0 = −λ0 (y)p0 (t, z, y) +
X
p0 (t, z, y − νe )λe ,
e∈Ey′
¯ This can be written as LT p0 (t, z, .) = 0. Since (S, ¯ EΠ , λ) is a for all z ∈ εS and y = Π(z/ε) ∈ S. strongly connected graph, Y is an ergodic Markov process and LT has a one dimensional null space ¯ spanned by the stationary distribution π ∈ RS . Thus for any fixed t, z, there exists a constant p¯(t, z) such that p0 (t, z, y) = p¯(t, z)π(y), (11) where
X
(LT π)(y) = 0,
π(y) = 1.
(12)
y∈S¯
3.3
Unit-cell problem
Equating like powers of ε−1 in (10), we have: X X 0= p1 (t, z, y − νe )λe − νeT ∇z p¯(t, z)λe π(y − νe ) − λ0 (y)p1 (t, z, y), e∈Ey′
e∈Ey′
¯ Defining σ ∈ (Rd )S¯ by for all z ∈ εS and y = Π(z/ε) ∈ S. X σ(y) := νe λe π(y − νe ),
(13)
e∈Ey′
this can be written as (LT p1 (t, z, ·))(y) = ∇z p¯(t, z)T σ(y). Hence the relationship between p1 and p¯: p1 (t, z, y) = ∇z p¯(t, z)T ω(y),
(14)
d S¯
where ω ∈ (R ) is a solution to the unit-cell problem: (LT ω)(y) = σ(y)
¯ for all y ∈ S.
(15)
The unit-cell problem and its solvability will play a crucial role throughout this discussion. Lemma 3.1. The unit-cell problem (15) is solvable if and only if XX νe λe π(y) = 0. y∈S¯ e∈Ey
6
(16)
Proof. In order for the unit-cell problem to be solvable, it is necessary and sufficient that σ be orthogonal to the Pnull space of L. Because the null space of L consists of constant functions, this is equivalent to y∈S¯ σ(y) = 0. That is, XX
νe λe π(y − νe ) = 0.
y∈S¯ e∈Ey′
Using (1) and noting y − νe = ∂− e for all e ∈ Ey′ , this is equivalent to XX
νe λe π(y) = 0.
y∈S¯ e∈Ey
3.4
Effective diffusivity
We now show p¯ is governed by the diffusion equation with effective diffusivity matrix, K ∈ Rd×d : ∂ p¯ (t, z) = divz · (K∇z p¯(t, z)). ∂t
(17)
This suggests that Zε tends to a Brownian motion whose covariance matrix is given by 2Kt. Before proceeding, we introduce an easily verifiable lemma. Lemma 3.2. For any symmetric A ∈ Rd×d and x, y ∈ Rd , trace ADzz p¯(t, z) = divz A ∇z p¯(t, z) and
trace(Axy T ) = xT Ay. Balancing the ε0 terms in (10) yields X ∂ p¯ (t, z)π(y) = (LT p2 (t, z, .))(y) − νeT ∇z p1 (t, z, y − νe )λe ∂t ′ e∈Ey
1 X T νe Dzz p¯(t, z)νe λe π(y − νe ) + 2 ′ e∈Ey
¯ Since the range of LT consists of functions that sum to zero, for all z ∈ εS and y = Π(z/ε) ∈ S. ¯ summing the above over y ∈ S eliminates p2 terms and yields XX 1XX T ∂ p¯ (t, z) = νe Dzz p¯(t, z)νe λe π(y − νe ) − νeT Dzz p¯(t, z)ω(y − νe )λe , ∂t 2 ¯ ′ ′ ¯ y∈S e∈Ey
y∈S e∈Ey
where we have used (14). Use (1) to rewrite this as XX ∂ p¯ 1XX T νeT Dzz p¯(t, z)ω(y)λe . νe Dzz p¯(t, z)νe λe π(y) − (t, z) = ∂t 2 ¯ ¯ y∈S e∈Ey
y∈S e∈Ey
7
Then by symmetry of Dzz p¯(t, z) and Lemma 3.2, XX 1 ∂ p¯ T T T νe νe λe π(y) − νe ω(y) λe − ω(y)νe λe (t, z) = trace Dzz p¯(t, z) ∂t 2 ¯ y∈S e∈Ey
= divz (K∇z p¯(t, z)), where K :=
1XX T νe νe λe π(y) − νe ω(y)T λe − ω(y)νeT λe . 2 ¯
(18)
y∈S e∈Ey
4
Solvability conditions
Given the graph (S, E, λ) define the drift field ρ : S¯ → Rd by X ρ(y) = νe λe .
(19)
e∈Ey
Then the Lemma 3.1 states that the unit-cell problem is solvable if and only if the expected value of the drift field with respect to the stationary distribution π is zero. We take a closer look at this condition in this section.
4.1
Detailed balance implies solvability
When the generator L is symmetric, that is when the jump rates are reversible, it is easy to verify that the unit-cell problem is always solvable by using the fact that π is the uniform distribution and the relation (1). Theorem 4.2 generalizes this observation to provide a sufficient condition. ¯ Recall that S¯ is a finite set of nodes. Define the inner product on (Rd )S with respect to a measure p by X f (y)T g(y)p(y). (20) (f, g)p := y∈S¯
¯
¯
¯
for f, g ∈ (Rd )S . If no measure is specified, we assume p ≡ 1. A linear map A : (Rd )S → (Rd )S ¯ is said to be symmetric with respect to p if (Af, g)p = (f, Ag)p for all f, g ∈ RS . The projected process Y is said to satisfy detailed balance if L(y, z)π(y) = L(z, y)π(z).
(21)
¯ for all y, z ∈ S. Lemma 4.1. The process Y satisfies the detailed balance condition if and only if L is symmetric with respect to the stationary distribution. Proof. Suppose L is symmetric with respect to the stationary distribution, π. Fix distinct w, x ∈ S¯ and let f (y) = 1{w} (y) and g(y) = 1{x} (y). Then by symmetry of L with respect to π, X
(Lf )(y)g(y)π(y) =
X
y∈S¯
y∈S¯
8
f (y)(Lg)(y)π(y),
which is equivalent to L(w, x)π(w) = L(x, w)π(x). ¯
Now, suppose the detailed balance condition holds. Then for any f, g ∈ RS , XX X L(y, z)f (z)g(y)π(y) (Lf )(y)g(y)π(y) = (Lf, g)π = y∈S¯
=
XX
y∈S¯ z∈S¯
L(y, z)f (z)g(y)π(y) = (f, Lg)π .
y∈S¯ z∈S¯
Hence L is symmetric with respect to the stationary distribution and we have the desired result. Theorem 4.2. If Y satisfies the detailed balance condition (21) then the unit-cell problem (15) is solvable. As a special case, if L is symmetric (i.e., rates are reversible) then the unit-cell problem is solvable. Proof. From Lemma 4.1, detailed balance is equivalent to symmetry with respect to the stationary distribution. Substituting definitions and moving all terms to one side, it is simple to show that L ¯ being symmetric with respect to the stationary distribution is equivalent to: for all f, g ∈ (Rd )S , XX g(∂+ e)T f (∂− e) − f (∂+ e)T g(∂− e) λe π(y) = 0. y∈S¯ e∈Ey
Substituting g(y) = y and f (y) = c for some nonzero constant c, we have XX (∂+ e − ∂− e)λe π(y) = 0, y∈S¯ e∈Ey
which is equivalent to solvability of the unit-cell problem. If L is symmetric, then π is a constant function and the solvability follows immediately. Note that the reverse implication of Theorem 4.2 does not hold. As a counter example, consider the “whirlpool” graph depicted in Figure 1. Here, S¯ = {(0, 0), (1/3, 0), (2/3, 0), (0, 1/3), (2/3, 1/3), (0, 2/3), (1/3, 2/3), (2/3, 2/3)} =: {y1 , y2 , y3 , y4 , y5 , y6 , y7 , y8 }. The edge set can easily be deduced from Figure 1. The edge set E¯ is depicted. Every edge has ¯ > 0. We show that this graph has a solvable unit-cell problem, but L is not the same jump rate λ symmetric with respect to the stationary distribution. Simple algebra shows that σ, the right-hand side of the unit-cell problem (13), is given by i = 1, 2, 3 1/8 σ1 (yi ) := 0 i = 4, 5 −1/8 i = 6, 7, 8 and
i = 3, 5, 8 1/8 σ2 (yi ) := 0 i = 2, 7 −1/8 i = 1, 4, 6. 9
y6
y7
y4
y1
y8
y5
y2
y3 Nodes Edges
Figure 1: The “whirlpool” example has a solvable unit-cell problem and a rate matrix L that is not ¯ symmetric with respect to π. All edges have the same jump rate λ. P Clearly, y∈S¯ σ(y) = 0 and thus the unit-cell problem is solvable. Note that the stationary distri¯ This can easily be seen by examining the rate matrix bution is given by π(y) = 1/8 for all y ∈ S. L. To see that L is not symmetric with respect to π, fix any (p, q) ∈ E¯ and let f (y) = 1{p} (y) and g(y) = 1{q} (y). Then (Lf, g)π 6= (f, Lg)π .
4.2
Sufficient symmetries of the graph imply solvability
Since the verification of the condition in Lemma 3.1 for the solvability of the unit-cell problem involves the knowledge of π, it may be useful to find conditions that guarantee the solvability without having to compute π. We shall provide some results in this subsection that show that if the graph has sufficient symmetries then the unit-cell problem is solvable. Given any vector space V over R, let L(V ) denote the vector space (over R) of all continuous linear maps from V into V . Let φ : S¯ → S¯ be a bijection. We associate with it the pull-back ¯ φ∗ ∈ L(RS ) defined by ¯ φ∗ f = f ◦ φ ∀f ∈ RS . We state some basic lemmas about φ∗ and ultimately arrive at a sufficient condition for solvability of the unit-cell problem (15). Lemma 4.3. Let φ : S¯ → S¯ be a bijection. Then (φ∗ )T = (φ−1 )∗ and φ∗ preserves the inner ¯ product: (φ∗ f, φ∗ g) = (f, g) for all f, g ∈ RS . ¯ Lemma 4.4. Let φ : S¯ → S¯ be a bijection and A ∈ L(RS ). The following are equivalent:
1. A(φ(x), φ(y)) = A(x, y)
¯ ∀x, y ∈ S.
2. A ◦ φ∗ = φ∗ ◦ A. 3. AT ◦ (φ−1 )∗ = (φ−1 )∗ ◦ AT .
10
Proof. It is adequate to note that φ∗ : S¯ × S¯ → R is given by ( 1 φ(x) = y ∗ ∗ φ (x, y) = (φ δy )(x) = 0 otherwise.
If φ satisfies the conditions in the above lemma, then φ or the associated φ∗ is called a symmetry ¯ of A ∈ L(RS ). The previous lemmas apply to very general A. Now assume that A (and hence AT ) has a one dimensional null space, which is the case when A is the generator of an ergodic Markov process. ¯
Lemma 4.5. Let A ∈ L(RS ) and suppose A has a one dimensional null space. Suppose φ is a ¯ symmetry of A such that φ = φ−1 . Let f ∈ RS span the null space of AT . Then φ∗ f = f . Proof. Because φ is a symmetry of A, we have AT ◦ (φ−1 )∗ f = (φ−1 )∗ ◦ AT f = 0. That is, (φ−1 )∗ f is in the null space of AT . Because AT has a one dimensional null space and ¯ α = 1. φ−1 = φ, we have φ∗ f = αf for some α 6= 0. Since φ∗ is a bijection on S, Before we present the main result, we observe that we can write the unit-cell solvability condition (16) as (ρi , π) = 0, i = 1, . . . , d, where ρ is the drift field. ¯
Theorem 4.6. Consider a graph (S, E, λ) with generator (rate matrix) L ∈ L(RS ) (3) and stationary distribution π (12). Suppose that for each i = 1, . . . , d there exists a symmetry φi of L such that φ∗i ρi = −ρi and φ−1 = φi . Then the unit-cell problem (15) is solvable. i Proof. For each i = 1, . . . , d (ρi , π) = (φ∗i ρi , φ∗i π) = (−ρi , π). Thus (ρi , π) = 0. Remark 1. Note that if we have a reflection symmetry about each direction i and denote the reflection map by φi , then the assumptions of Theorem 4.6 are satisfied.
5
Variational formulation for the reversible rates case L = LT
When the rates are reversible, the generator L is symmetric. In the continuous (PDE) homogenization case, when the analogous differential operator L is symmetric, the effective diffusivity may be characterized by a variational formulation [16]. Likewise in the discrete lattice (Zd ) setting with reversible rates a variational characterization may be found in [5]. We shall derive a variational characterization of the effective diffusivity in our graph setting for the symmetric (reversible rates) case. Thus we assume L = LT throughout this section. In the continuous case of the Laplace operator, the variational characterization involves the use of results from vector calculus such as the divergence theorem. In the lattice case [5] due to the Cartesian 11
structure, the discrete analog of the gradient and divergence operators are relatively easier to define. In the general graph setting considered here, we develop the analogous operators of gradient and divergence and also the divergence theorem in order to provide the variational formulation. In our setting, the gradient operator ∇ applies to node functions while the divergence applies to Rd -valued edge functions. ¯ Note that symmetry of L implies reverse edges are present: if (x, y) ∈ E¯ then (y, x) ∈ E.
5.1
Gradient, divergence, etc.
We introduce some analogous versions of gradient and divergence as they apply to a graph. For ¯ ¯ f ∈ RS , let the gradient ∇ : RS → (Rd )E be defined by (∇f )(e) = (f (∂+ e) − f (∂− e))
νe . |νe |2
(22)
¯ ¯ For f : E¯ → Rd , let the divergence div : (Rd )E → RS be defined by
(divf )(y) =
X ν T f (e) e . |νe |2
(23)
e∈Ey
Define the edge function A : E¯ → Rd×d by A(e) = νe νeT λe ,
(24) ¯
which will be used throughout this section. Define the inner product on (Rd )E by X f (e)T g(e) (f, g) := e∈E¯
¯
for f, g ∈ (Rd )E .
5.2
Some general lemmas
¯ ¯ ¯ Then Lemma 5.1. Let f ∈ RE and g ∈ RS . Suppose f (x, y) = −f (y, x) for all (x, y) ∈ E. X X f (e)(g(∂+ e) − g(∂− e)) = −2f (e)g(∂−e) e∈E¯
e∈E¯
Proof. X
f (e)(g(∂+ e) − g(∂− e)) =
e∈E¯
=
XX
y∈S¯ e∈Ey′
f (e)g(∂+ e) −
X
X
f (e)g(∂+ e) −
e∈E¯
f (e)g(∂− e) =
X
e∈E¯
e∈E¯
12
X
f (e)g(∂− e)
e∈E¯
−2f (e)g(∂− e).
(25)
¯
¯
Lemma 5.2 (Divergence theorem). Let f ∈ (Rd )E and g ∈ RS . Suppose at least one of the following hold: ¯ f (x, y) = f (y, x) for all (x, y) ∈ E, ¯ g(∂+ e) = −g(∂− e) for all e ∈ E. Then (f, ∇g) = −2
X
(26) (27)
(divf )(y)g(y).
y∈S¯
Note that (26) will hold if f is the gradient of a function. Proof. Suppose (26) holds. Notice that the function e 7→
f (e)T νe |νe |2
satisfies the assumption of Lemma 5.1. Thus, applying Lemma 5.1 we get (f, ∇g) =
X
f (e)T (∇g)(e) = −2
e∈E¯
X X f (e)T νe X (divf )(y)g(y). g(y) = −2 |νe |2 ¯ ¯
y∈S e∈Ey
y∈S
Suppose (27) holds. Then (f, ∇g) =
X
f (e)T (g(∂+ e) − g(∂− e))
e∈E¯
=
νe |νe |2
X X ν T f (e) X e (divf )(y)g(y). (−g(∂ e) − g(∂ e)) = −2 − − |νe |2 ¯ ¯
y∈S e∈Ey
5.3
y∈S
The unit-cell problem in terms of ∇ and div
The following theorem formulates the unit-cell problem in terms of ∇ and div. ¯
Theorem 5.3 (Unit-cell). Let ξ ∈ Rd . Then Υξ ∈ RS solves the (modified) unit-cell problem: ¯ (LT Υξ )(y) = ξ T σ(y) for all y ∈ S.
(28)
1 ¯ div(A(e)(∇Υξ (e) + ¯ ξ))(y) = 0 for all y ∈ S. |S|
(29)
if and only if Υξ satisfies
¯
By linearity of the unit-cell problem (15), Υξ (y) = ξ T ω(y) where ω ∈ RS is a solution to the unit-cell problem.
13
¯
Proof. For any f ∈ RS , X ν T A(e)∇f (e) X ν T νe ν T λe (f (∂+ e) − f (∂− e))νe e e e = |νe |2 |νe |4 e∈Ey e∈Ey X X = (f (∂+ e) − f (∂− e))λe = (f (y + νe ) − f (y))λe = (Lf )(y).
div(A(e)∇f (e))(y) =
e∈Ey
e∈Ey
Then given ξ ∈ Rd and setting f = Υξ , this allows us to rewrite the left-hand side of the unit-cell problem as (note that L = LT ) (LΥξ )(y) = div(A(e)∇Υξ (e))(y). ¯ the right-hand side of the unit-cell problem can be rewritten as Noting that π = 1/|S|, X 1 X 1 X λe νeT ξ = ¯ −ξ T σ(y) = − λe νeT ξ λe π(y − νe )νeT ξ = − ¯ | S| | S| e∈E ′ e∈E e∈E ′ 1 X = ¯ |S| e∈E
y
5.4
y
y
y
νeT νe νeT λe ξ |νe |2
1 1 = ¯ div(νe νeT λe ξ)(y) = ¯ div(A(e)ξ)(y). |S| |S|
Alternative formula for the effective diffusivity matrix K
We provide an equivalent representation of K that will be necessary for deriving the variational formulation. Lemma 5.4. Define K as in (18). Then 1XX 1 Kξ = A(e)(∇Υξ (e) + ¯ ξ), 2 ¯ | S| e∈E y∈S
∀ξ ∈ Rd .
y
Proof. Note that from Lemma 5.1 XX XX νe −2νe λe Υξ (y) = −2νe νeT λe Υξ (y) 2 |ν e| y∈S¯ e∈Ey y∈S¯ e∈Ey XX XX νe νe νeT λe Υξ (∂+ e) − Υξ (∂− e) = A(e)∇Υξ (e). = 2 |νe | ¯ ¯ y∈S e∈Ey
y∈S e∈Ey
¯ for all y ∈ S¯ by symmetry of L. Then Also, π(y) = 1/|S| νT ξ XX 1 X X νe νeT e T T ξ = ν λ λ − 2ν ω(y) λ − ω(y) ξ Kξ = e e e e e ¯ ¯ 2 ¯ |S| 2|S| ¯ e∈E e∈E y∈S
=
XX
y∈S¯ e∈Ey
y∈S
y
νe λe
y
1XX 1 e − Υ (y) = −2νe λe Υξ (y) + ¯ νe νeT λe ξ ξ ¯ 2 ¯ 2|S| | S| e∈E
νT ξ
y∈S
y
1XX 1 = A(e)(∇Υξ (e) + ¯ ξ). 2 ¯ | S| e∈E y∈S
14
y
5.5
Sign of the effective diffusivity
We now show that K is positive semi-definite and provide a necessary and sufficient condition for K to be positive definite. ¯
Lemma 5.5. For all φ ∈ RS , 1 T 1XX 1 A(e)(∇Υξ (e) + ¯ ξ) (∇φ(e) + ¯ µ) 2 ¯ |S| |S| y∈S e∈Ey T 1 1XX 1 = A(e)(∇Υξ (e) + ¯ ξ) ¯ µ. 2 ¯ |S| |S| e∈E y∈S
y
In particular, when φ(y) = µT ω(y), 1XX 1 1 T A(e)(∇(ξ T ω)(e) + ¯ ξ) (∇(µT ω)(e) + ¯ µ) 2 ¯ | S| | S| y∈S e∈Ey 1XX 1 T 1 = A(e)(∇(ξ T ω)(e) + ¯ ξ) ¯ µ. 2 ¯ |S| |S| e∈E y∈S
(30)
y
1 Proof. It is easy to check that the edge function e 7→ A(e)(∇Υξ (e) + |S| ¯ ξ) satisfies the first assump¯
tion of Lemma 5.2 (the “divergence theorem”). Thus for any φ ∈ RS , 1 T 1XX A(e)(∇Υξ (e) + ¯ ξ) (∇φ)(e) 2 ¯ |S| y∈S e∈Ey X 1 =− div (A(e)(∇Υξ (e) + ¯ ξ) (y)φ(y). |S| ¯ y∈S
Multiply (29) in Theorem 5.3 by φ and sum over y to get X
y∈S¯
1 div A(e)(∇Υξ (e) + ¯ ξ) (y)φ(y) = 0 |S|
Combine these two equalities to get 1XX 1 T A(e)(∇Υξ (e) + ¯ ξ) (∇φ)(e) = 0, 2 ¯ |S| e∈E y∈S
y
which yields the desired result. Lemma 5.6. For all ξ ∈ Rd , ξ T Kξ =
¯ X |S| λe (νeT ξ˜e )2 , 2 ¯ e∈E
where ξ˜e = ∇(ξ T ω)(e) +
1 ¯ ξ. |S|
Since λe > 0, this implies K is positive semi-definite.
15
Proof. By Lemmas 5.4 and 5.5, 1 T ξ T Kµ 1 X 1 A(e)(∇(ξ T ω)(e) + ¯ ξ) (∇(µT ω) + ¯ µ). = ¯ 2 ¯ |S| |S| |S| e∈E
That is, ξ T Kµ =
¯ X |S| ξ˜eT A(e)˜ µe , 2 ¯ e∈E
where ξ˜e = ∇(ξ T ω)(e) + ξ T Bξ =
1 ¯ ξ |S|
T
and µ ˜e = ∇(µ ω) +
1 ¯ µ. |S|
In particular,
¯ X ¯ X ¯ X |S| |S| |S| ξ˜eT A(e)ξ˜e = ξ˜eT (νe νeT λe )ξ˜e = λe (νeT ξ˜e )2 . 2 2 2 ¯ ¯ ¯ e∈E
e∈E
e∈E
Lemma 5.7. K is positive definite if and only if for all nonzero ξ ∈ Rd there exists some e ∈ E¯ such that 1 T ω(∂+ e) − ω(∂− e) + ¯ νe ξ 6= 0. |S|
Proof. This follows immediately from Lemma 5.6.
5.6
Minimization of energy ¯
For any fixed ξ ∈ Rd and scalar node function φ ∈ RS , define the energy 1 1 1 Eξ (φ) := A(e) (∇φ)(e) + ¯ ξ , (∇φ)(e) + ¯ ξ . 2 |S| |S| From Lemma 5.6 we see that Eξ (Υξ ) = ξ T Kξ.
Theorem 5.8 (Variational Formulation). Fix ξ ∈ Rd . Then φ∗ minimizes the energy: Eξ (φ∗ ) = min¯ Eξ (φ) φ∈RS
if and only if φ∗ is a solution to the unit-cell problem (15) and thus φ∗ = Υξ . ¯
Proof. Let φ, ψ ∈ RS . Then Eξ (φ) =
1 1 1 A ∇φ + ¯ ξ , ∇φ + ¯ ξ 2 |S| |S|
and we can differentiate to get 1 1 1 1 1 ∇ψ, A(∇φ + ¯ ξ) + ∇φ + ¯ ξ, A∇ψ = ∇ψ, A(∇φ + ¯ ξ) DEξ (φ)(ψ) = 2 2 |S| |S| |S| where the last equality follows from symmetry of A. Then DEξ (φ∗ )(ψ) = 0 if and only if 1 ∇ψ, A(∇φ∗ + ¯ ξ) = 0. |S| 16
By Lemma 5.2, this is equivalent to
1 ψ, div A(∇φ∗ + ¯ ξ) = 0. |S|
That is, ∇φ∗ is an optimal point of E if and only if
1 div A(∇φ∗ + ¯ ξ) = 0. |S|
By Theorem 5.3, the desired result follows. Note that the Hessian of E is positive semi-definite and thus φ∗ is a minimizer.
6
Rigorous convergence result
Consider a weighted, directed graph (S, E, λ) satisfying assumptions in Section 2. Recall the random time change representation of Z (2): Z t X 1{∂− e} (Y (s))ds . Z(t) = z0 + νe Re λe 0
e∈E¯
For the remainder of this discussion, we assume without loss of generality z0 = 0. We aim to show that, under certain conditions, the scaled process Zε (t) := εZ(t/ε2 )
(31)
converges to a Brownian motion whose covariance matrix is 2Kt. Define ˜ e (t) := Re (t) − t. R
(32)
Then Zε (t) = ε
X
˜e νe R
λe
=ε
e∈E¯
t/ε2
1{∂− e} (Y (s))ds
0
e∈E¯
X
Z
νe Meε (t)
+ε
X
+ε
νe Seε (t),
X
νe λe
e∈E¯
Z
0
t/ε2
1{∂− e} (Y (s))ds (33)
e∈E¯
where Seε (t) := λe and
!
Z
t/ε2
1{∂− e} (Y (s))ds
(34)
0
˜ e (S ε (t)). Meε (t) := R e
17
(35)
6.1
Pure drift limit of ε2 Z(t/ε2 )
Consider the process Wε (t) := ε2 Z(t/ε2 ) = ε2
X
νe Meε (t) + ε2
P
e∈S¯ νe λe π(∂− e)
νe Seε (t).
(36)
e∈E¯
e∈E¯
We aim to show that Wε (t) → t
X
as ε → 0.
Lemma 6.1 (Second term). For t > 0, lim ε2 Seε (t) = tλe π(∂− e) a.s.
ε→0
Thus, lim ε2
ε→0
X
X
νe Seε (t) = t
νe λe π(∂− e) a.s.
(37)
e∈E¯
e∈E¯
Proof. We have 1 ε→0 t/ε2
lim ε2 Seε (t) = tλe lim
ε→0
Z
t/ε2
1{∂− e} (Y (s))ds = tλe π(∂− e) a.s. 0
where the almost sure limit follows from ergodicity of Y . Multiply by νe and sum over e ∈ E¯ to get (37). Lemma 6.2 (First term). For all T > 0, lim sup ε2 |Meε (t)| = 0 a.s.
ε→0 t∈[0,T ]
Also, lim ε2 Re (Seε (t)) = lim ε2 Seε (t) = tλe π(∂− e) a.s.
ε→0
ε→0
Proof. Notice that 0 ≤ ε2 Seε (t) ≤ λe t a.s. for all t. Then ˜ e (Seε (t))| = sup |ε2 Re (Seε (t)) − ε2 Seε (t)| sup |ε2 Meε (t)| = sup |ε2 R
t∈[0,T ]
t∈[0,T ]
t∈[0,T ]
t t = sup |ε2 Re 2 − t| ≤ sup |ε2 Re 2 − t| → 0 a.s. as ε → 0, ε ε t∈[0,λe T ] t∈[0,Seε (T )] where the inequality follows from Lemma 6.1 and the limit follows from the functional law of large numbers for Poisson processes [8]. Lemma 6.3. Fix T > 0. For all t ∈ [0, T ], lim Wε (t) = t
ε→0
X
νe λe π(∂− e) a.s.
e∈E¯
If the unit-cell problem (15) is solvable, then lim Wε (t) = 0 a.s.
ε→0
18
Proof. The first result follows immediately from Lemmas 6.2 and 6.1. The second result follows from Lemma 3.1. We remark that the above limit is uniform on compact (time) subintervals of (0, ∞). We also note that Lemma 6.3 says Wε has a deterministic limit, which is a pure drift some direction when the unit-cell problem is not solvable. Otherwise, the limit of Wε is 0 and we must scale space by ε rather than ε2 . This is the case that is of interest to us and we will demonstrate that the corresponding weak limit is a Brownian motion.
6.2
Limiting behavior of Zε ¯
Henceforth we will assume the unit-cell problem is solvable and we define ψ ∈ (Rd )S by Lψ = ρ
(38)
where ρ (19) is the drift field. The following Lemma ensures such a ψ exists and we note that ψ is unique only up to an additive constant. Lemma 6.4. The unit-cell problem (15) is solvable if and only if ρ ∈ R(L). Proof. Recall that LT has a one-dimensional null space by ergodicity of Y . Hence the following equivalent statements: XX X ρ(y)π(y) = 0 ⇐⇒ ρ ∈ R(L) ⇐⇒ ρ ⊥ N (LT ) ⇐⇒ νe λe π(y) = 0 y∈S¯ e∈Ey
y∈S¯
⇐⇒ the unit-cell problem is solvable, where the last equivalence follows from Lemma 3.1. Define Dynkin’s martingale N (t) := ψ(Y (t)) − ψ(Y (0)) −
Z
t
(Lψ)(Y (s))ds.
(39)
0
Writing Zε as Zε (t) =
X
Z ενe Re λe
−
ενe λe
e∈E¯
X
t/ε2
1{∂− e} (Y (s))ds
0
Z
t/ε2
1{∂− e} (Y (s))ds +
0
e∈E¯
X
e∈E¯
ενe λe
Z
t/ε2
1{∂− e} (Y (s))ds
0
− ε[ψ(Y (t/ε2 )) − ψ(Y (0))] + ε[ψ(Y (t/ε2 )) − ψ(Y (0))], R t/ε2 notice that the third term on the RHS is ε 0 (Lψ)(Y (s))ds. Substituting various definitions yields X Zε (t) = ενe Meε (t) − εN (t/ε2 ) + ε[ψ(Y (t/ε2 )) − ψ(Y (0))]. e∈E¯
19
Notice that Meε and N are martingales and lim ε[ψ(Y (t/ε2 )) − ψ(Y (0))] = 0 a.s.
ε→0
(40)
because ψ is bounded. We aim to find the quadratic variation of the first two terms, which can be expanded as follows: i hX ενe Meε (·) − εN (·/ε2 ) (t) e∈E¯
=[
X
ενe Meε (·),
e∈E¯
X
ενe Meε (·)](t) − [
e∈E¯
− [εN (·/ε2 ),
X
X
ενe Meε (·), εN (·/ε2 )](t)
e∈E¯
(41)
ενe Meε (·)](t) + [εN (·/ε2 ), εN (·/ε2 )](t).
e∈E¯
Before demonstrating convergence of (41), we note the following result from [14]: Lemma 6.5. Let f, g : R → R. If f is continuous and g is of finite variation, then their covariation is zero: [f, g](t) = 0. The following three lemmas examine convergence of the right hand side of (41). Lemma 6.6. For every t > 0, the quadratic variation converges almost surely: X X X lim [ε νe Meε (·), ε νe Me (·)](t) = t λe νe νeT π(∂− e). ε→0
e∈E¯
e∈E¯
e∈E¯
¯ Then Proof. Let a, b ∈ E. h i ˜ a (Saε (·)), R ˜b (Sbε (·)) (t) [εMaε (·), εMbε (·)](t) = ε2 R h i h i = ε2 Ra (Saε (·)), Rb (Sbε (·)) (t) − ε2 Ra (Saε (·)), Sbε (·) (t) h i h i − ε2 Saε (·), Rb (Sbε (·)) (t) + ε2 Saε (·), Sbε (·) (t).
(42)
¯ S ε (t) is an a.s. continuous finite variation process and Re (S ε (t)) is a.s. a For all ε > 0 and e ∈ E, e e finite variation process. Thus by Theorem 6.5, the last 3 terms in (42) are all 0 and so h i [εMaε (·), εMbε (·)](t) = ε2 Ra (Saε (·)), Rb (Sbε (·)) (t). For a process A(t), let ∆A(t) denote the size of the jump at time t. For each e ∈ E, define Te = {t ∈ [0, ∞) | ∆Re (Seε (t)) 6= 0},
(43)
the collection of all jump times of Re (Seε (t)). The number of jumps is a.s. countable because Re is a unit Poisson process and Seε (t) ≤ λe t/ε2 . If a 6= b, X [εMaε (·), εMbε (·)](t) = ε2 ∆Ra (Saε (s))∆Rb (Sbε (s)) = 0 a.s. s∈Ta ∪Tb s≤t
20
where the last equality follows because Ra and Rb are independent processes whose jumps do not coincide almost surely. Now suppose a = b. Then fix T > 0 and apply Lemma 6.1 to get lim [εMaε (·), εMaε (·)](t) = lim ε2
ε→0
ε→0
= lim ε ε→0
Hence,
X
lim [ε
ε→0
νe Meε (·), ε
X
t∈Te
Ra (Saε (t))
νe Me (·)](t) = lim
ε→0
e∈E¯
e∈E¯
2
X
=t
2 ∆Ra (Saε (t))
= tλa π(∂− a) a.s.
XX
νe νeT′ [εMeε (·), εMeε′ (·)](t)
e∈E¯ e′ ∈E¯
X
λe νe νeT π(∂− e) a.s.
e∈E¯
Lemma 6.7. Fix t > 0. Let ψ satisfy (38). Then the quadratic covariation converges almost surely: X X T νe ψ(∂+ e) − ψ(∂− e) λe π(∂− e). ενe Meε (·), εN (·/ε2 )](t) = t lim [ ε→0
e∈E¯
e∈E¯
Proof. Substituting the definition of N , i hX ενe Meε (·), εN (·/ε2 ) (t) e∈E¯
=
X
e∈E¯
=
X
e∈E¯
−
Z h ε νe Re (Seε (·)) − νe Seε (·), ψ(Y (·/ε2 )) − ψ(Y (0)) − 2
0
h i ε2 νe Re (Seε (·)), ψ(Y (·/ε2 )) − ψ(Y (0)) (t)
X
e∈E¯
−
X
e∈E¯
+
X
e∈E¯
Z h ε2 νe Re (Seε (·)),
·/ε2
0
·/ε2
i (Lψ)(Y (s))ds (t)
i (Lψ)(Y (s))ds (t)
h i ε2 νe Seε (·), ψ(Y (·/ε2 )) − ψ(Y (0)) (t) Z h ε ε νe Se (·),
·/ε2
2
0
i (Lψ)(Y (s))ds (t).
Notice that Re (Seε (t)) and ψ(Y (t/ε2 )) − ψ(Y (0)) are finite variation processes. Also, Seε (t) and R t/ε2 (Lψ)(Y (s))ds are continuous finite variation processes. Applying Lemma 6.5 to each of the 0 second, third, and fourth terms above and noting that ψ(Y (0)) is constant, i i hX X h ε2 νe Re (Seε (·)), ψ(Y (·/ε2 )) (t). ενe Meε (·), εN (·/ε2 ) (t) = e∈E¯
e∈E¯
21
Fix an edge e ∈ E. Because Re and ψ are jump processes, h i h i ε2 νe Re (Seε (·)), ψ(Y (·/ε2 )) (t) = ε2 νe Re (Seε (·)), ψ(Y (·/ε2 )) (t) X = ε 2 νe ∆Re (Seε (s))∆ψ(Y (s/ε2 ))T , 0≤s≤t
where we are summing over the countably many simultaneous jumps of the two processes. Notice that the ∆Re (Seε (t)) 6= 0 if and only if t ∈ Te and if ∆ψ(t) 6= 0 then t ∈ ∪e∈E¯Te . Therefore, if ∆Re (Seε (t))∆ψ(Y (t/ε2 )) 6= 0 then t ∈ Te . Because Re increments by 1 at each jump, Re (Seε (t)) = #([0, t/ε2 ] ∩ Te ). Thus, X X ε 2 νe ∆Re (Seε (s))∆ψ(Y (s/ε2 ))T = ε2 νe ∆Re (Seε (s))∆ψ(Y (s/ε2 ))T 0≤s≤t
X
= ε 2 νe
X
∆ψ(Y (s))T = ε2 νe
s∈Te 0≤s≤t/ε2
s∈Te 0≤s≤t
(ψ(∂+ e) − ψ(∂− e))T
s∈Te 0≤s≤t/ε2
= ε2 νe (ψ(∂+ e) − ψ(∂− e))T Re (Seε (t)) → tνe (ψ(∂+ e) − ψ(∂− e))T λe π(∂− e) as ε → 0 a.s., where the final limit follows from Lemma 6.2. Summing over e ∈ E¯ yields the result. Note that ψ is only defined up to some element in N (L). However, N (L) only contains constant functions and shifting ψ by a constant clearly yields the same limit. Lemma 6.8. Define N as in (39). Let ψ satisfy (38). Then the quadratic variation converges almost surely: X lim [εN (·/ε2 ), εN (·/ε2 )](t) = t (ψ(∂+ e) − ψ(∂− e))(ψ(∂+ e) − ψ(∂− e))T λe π(∂− e). ε→0
e∈E¯
Proof. First, we have Z h [εN (·/ε ), εN (·/ε )](t) = ε ψ(Y (·/ε2 )) − ψ(Y (0)) − 2
2
·/ε2
2
2
ψ(Y (·/ε )) − ψ(Y (0)) −
(Lψ)(Y (s)),
0
Z
·/ε2
Z
·/ε2
0
i (Lψ)(Y (s)) (t)
= ε2 [ψ(Y (·/ε2 )) − ψ(Y (0)), ψ(Y (·/ε2 )) − ψ(Y (0))](t) Z ·/ε2 (Lψ)(Y (s))](t) − 2ε2 [ψ(Y (·/ε2 )) − ψ(Y (0)), + ε2
hZ
·/ε2
(Lψ)(Y (s)),
0
0
0
i (Lψ)(Y (s)) (t)
= ε2 [ψ(Y (·/ε2 )) − ψ(Y (0)), ψ(Y (·/ε2 )) − ψ(Y (0))](t).
22
R t/ε2 The last equality follows from application of Lemma 6.5 (ψ is finite variation and 0 (Lψ)(Y (s)) is continuous and finite variation). Next, because ψ is a jump process and ψ(Y (0)) is constant, ε2 [ψ(Y (·/ε2 )) − ψ(Y (0)), ψ(Y (·/ε2 )) − ψ(Y (0))](t) X T =ε2 [ψ(Y (·/ε2 )), ψ(Y (·/ε2 ))](t) = ε2 ∆ψ(Y (s/ε2 ))ψ(Y (s/ε2 ) , 0≤s≤t
where we are summing over countably many jumps of ψ. Next notice that ψ only jumps when Y jumps along an edge and two jumps almost surely do not occur simultaneously. Recall that if ∆ψ(t) 6= 0 then t ∈ ∪e∈E¯Te and thus X X ε2 ∆ψ(Y (s))ψ(Y (s))T ∆ψ(Y (s/ε2 ))ψ(Y (s/ε2 ))T = ε2 0≤s≤t
= ε2
X
X
X
X
0≤s≤t/ε2
∆ψ(Y (s))ψ(Y (s))T
e∈E¯ s∈∪e∈E¯ Te 0≤s≤t/ε2
= ε2
(ψ(∂+ e) − ψ(∂− e))(ψ(∂+ e) − ψ(∂− e))T
e∈E¯ s∈∪e∈E¯ Te 0≤s≤t/ε2
= ε2
X
(ψ(∂+ e) − ψ(∂− e))(ψ(∂+ e) − ψ(∂− e))T Re (Seε (t))
e∈E¯
=
X
(ψ(∂+ e) − ψ(∂− e))(ψ(∂+ e) − ψ(∂− e))T ε2 Re (Seε (t)) − ε2 Seε (t) + ε2 Seε (t) .
e∈E¯
Taking the limit of ε tending to 0 and applying Lemmas 6.2 and 6.1 we have X lim (ψ(∂+ e) − ψ(∂− e))(ψ(∂+ e) − ψ(∂− e))T ε2 Re (Seε (t)) − ε2 Seε (t) + ε2 Seε (t) ε→0
=
e∈E¯
X
(ψ(∂+ e) − ψ(∂− e))(ψ(∂+ e) − ψ(∂− e))T λe lim ε2 Meε (t) + lim ε2 Seε (t) ε→0
e∈E¯
ε→0
X (ψ(∂+ e) − ψ(∂− e))(ψ(∂+ e) − ψ(∂− e))T λe π(∂− e). =t e∈E¯
Combining the above chain of inequalities, we have X (ψ(∂+ e) − ψ(∂− e))(ψ(∂+ e) − ψ(∂− e))T λe π(∂− e). lim [εN (·/ε2 ), εN (·/ε2 )](t) = t ε→0
e∈E¯
Once again, ψ is only defined up to some element in N (L). However, shifting ψ by a constant clearly yields the same limit. Now we state our main result. Theorem 6.9. The process Zε (t) (2) converges weakly Zε (t) ⇒ Z(t) in Dd [0, T ] as ε → 0, 23
where Z(t) is a Brownian motion with EZ(t) = 0, E[Z(t)Z(t)T ] = 2Ct. Here, C :=
1X αe αTe λe π(∂− e) 2 ¯
(44)
e∈E
is well defined where
αe := νe − (ψ(∂+ e) − ψ(∂− e)).
(45)
and ψ satisfies (38).
P ε 2 Proof. We first show that the maximum jump of e∈E¯ ενe Me (t) − εN (t/ε ) is asymptotically ε negligible. Note that Me has a maximum jump size of 1 because Re is a Poisson process and Seε is continuous. Also, the jumps of N (t/ε2 ) are bounded above by some constant k because ψ is bounded. Thus, X X ε 2 ε 2 lim E sup ενe Me (s) − εN (s/ε ) − ενe Me (s−) − εN (s−/ε ) ε→0
s≤t
e∈E¯
e∈E¯
X ε ε 2 2 νe Me (s) − νe Me (s−) − N (s/ε ) − N (s−/ε = lim εE sup ε→0
s≤t
e∈E¯
X ≤ lim εE |νe | + k = 0. ε→0
e∈E¯
Next, applying Lemmas 6.6, 6.7, and 6.8, the limit of the quadratic covariation is i hX ενe Meε (·) − εN (·/ε2 ) (t) lim ε→0
e∈E¯
= lim [ ε→0
X
ενe Meε (·),
e∈E¯
X
ενe Meε (·)](t) − 2 lim [ ε→0
e∈E¯
2
2
X
ενe νeT Meε (·), εN (·/ε2 )](t)
e∈E¯
+ lim [εN (·/ε ), εN (·/ε )](t). ε→0 X X T =t λe νe νeT π(∂− e) − t νe ψ(∂+ e) − ψ(∂− e) λe π(∂− e) e∈E¯
−t
X
e∈E¯
e∈E¯
ψ(∂+ e) − ψ(∂− e) νeT λe π(∂− e)
X +t (ψ(∂+ e) − ψ(∂− e))(ψ(∂+ e) − ψ(∂− e))T λe π(∂− e) e∈E¯
=t
X
αe αTe λe π(∂− e).
e∈E¯
Hence we can apply the martingale functional central limit theorem from [8] to the martingale P 2 ε εν e Me (t) − εN (t/ε ) to get the following weak convergence: e∈E¯ X ενe Meε (t) − εN (t/ε2 ) ⇒ Z(t) in Dd [0, T ] as ε → 0. e∈E¯
24
Recall that Zε (t) =
X
ενe Meε (t) − εN (t/ε2 ) + ε[ψ(Y (t/ε2 )) − ψ(Y (0))].
e∈E¯
Because the first two terms converge weakly to a Brownian motion, Z, and the terms involving ψ converge a.s. to 0, the entire process Zε (t) converges weakly to Z. See [3] for a proof of this result. In the Appendix we prove that this result agrees with the formal derivation (i.e., K = C). Lemma 6.10. The covariance matrix C (44) is symmetric semi-positive definite. Moreover, if {αe }e∈E¯ (45) spans Rd , then C is symmetric positive definite. Proof. From Theorem 6.9, C is clearly symmetric positive semi-definite. This can also be seen directly since for any nonzero x ∈ Rd , X X xT Cx = xT αe αTe xλe π(∂− e) = |xT αe |2 λe π(∂− e) ≥ 0. e∈E¯
e∈E¯
¯ xT αe 6= 0. That is, |xT αe |2 > 0 and thus Now, suppose {αe }e∈E¯ spans Rd . Then for some e ∈ E, T x Cx > 0.
7
Numerical experiments
Throughout this section, we fix a periodic obstruction geometry in two dimensions where a quarter of the periodic cell is obstructed. More precisely, the plane is periodically tiled by a unit square whose upper right quadrant is obstructed. Thus the obstructed region is given by [ {z + [3/4, 1] × [3/4, 1]}. O= z∈Z2
Given this geometry, consider a randomly walking solute that undergoes specular reflections at the obstruction boundaries ∂O. In the following subsections we explore different aspects of this random walk with the geometry fixed. Throughout the following sections, let (Sh , Eh , λh ) denote a directed, weighted graph where h > 0 is a scaling parameter and Sh = hZ2 \O, Eh = {(x, y) ∈ Sh × Sh | x − y = ±(h, 0) or x − y = ±(0, h)}.
(46)
That is, the node set excludes the obstructed region O and edges exist between each node and its nearest neighbors. The jump rate function λh varies depending on the effects under investigation. Figure 2 depicts the quotiented node and edge sets of Sh and Eh for h = 1/2, 1/4, 1/8, and 1/16.
7.1
Nonzero path length effects
If the mean path length of the random walk is negligible relative to the spacing between obstructions, then one may approximate the random walk by a Brownian motion with reflections. In this case, the probability density function satisfies the diffusion equation with no flux boundary conditions 25
Figure 2: Periodic cells of graphs with nodes and edges defined in (46) for h = 1/2, 1/4, 1/8, and 1/16. The blue circles represent edges, the thick black lines represent edges, and the shaded red region represents the “obstructed” region O where nodes are removed. on the obstruction boundaries. This will justify the use of PDE homogenization theory. However, if the mean path length is not sufficiently smaller than the obstruction spacing, the nonzero path length effects need to be investigated. We consider this case by examining a random walk on a subset of a lattice where the jump size is comparable to the obstruction spacing (see Figure 2). We calculate the effective diffusivity coefficients for the graph in (46) with successively decreasing path (edge) lengths. Let λh (e) = 1/h2 for all e ∈ Eh . The obstructed area remains constant but the path length is repeatedly halved. The results in Figure 3 show that De varies significantly for different h and thus the choice of path length is meaningful. Additionally, the effective diffusivity coefficients appear to converge that the effective diffusivity predicted by PDE homogenization. This suggests a “backdoor” approach wherein one might approximate PDE homogenization via homogenizing a graph with a very fine mesh or path length.
7.2
Modeling an interaction
This section explores the impact of an interaction (e.g., attraction, repulsion, or bonding) between the particle and obstruction boundaries on the effective diffusivity. We fix h = 1/8 and suppress dependence on h. The lower left graph in Figure 3 depicts a periodic cell of the graph of interest, (S, E, λ). We choose various rate functions to model four different types of interactions between the random walker and the square obstruction. In the “Neutral” case, we simply set λ(e) = 1/h2 for all e ∈ E. Define the set of nodes bordering the obstructed region, Bh = {x ∈ Sh | x + y ∈ O for some ||y||∞ < h}.
26
(47)
0.78 0.76
De
0.74 0.72 0.7 0.68 0.66 -1 -2 2 2
Continuous Homogenization Graph Homogenization
2
-3
2
-4
2
-5
2
-6
2
-7
2
-8
2
-9
Path Length (h)
Figure 3: Effective diffusivity coefficients of the graphs depicted in Figure 2 and the effective diffusivity yielded by PDE homogenization. The effective diffusivity varies significantly for different path lengths (h = 1/2, 1/4, . . . , 1/512) and appears to converge to the prediction of PDE homogenization. In the “Bonding” case, the jump rate function is given by ( 1/(2h2 ) x ∈ Bh λ(x, y) = 1/h2 otherwise. This rate function slows the random walker whenever it is near the boundary of an obstruction. In the “Repulsion” case, 2/h2 x ∈ Bh , y ∈ / Bh λ(x, y) = 1/(2h2 ) x ∈ / Bh , y ∈ Bh 1/h2 otherwise,
which causes the random walker to be pushed away from the obstructions. In the “Attraction” case, 2 x∈ / Bh , y ∈ Bh 2/h λ(x, y) = 1/(2h2 ) x ∈ Bh , y ∈ / Bh 2 1/h otherwise. This rate function pulls the random walker towards the obstructions. The latter three rate functions illustrate how one might account for interactions between a particle and the obstructions. The effective diffusivity coefficients for each regime are shown in Figure 4. The Bonding rate function yielded the most significant reduction in diffusion. Notably, diffusion in the Attraction regime was faster than the Repulsion regime.
7.3
Approximating continuous space
Note that our graph framework confines the particle to discrete spatial locations, which may not reflect reflect physical reality. A more accurate model would consider a random walk with finite 27
0.8
0.7431 0.6806
0.7
0.7055
0.6 0.5245
De
0.5 0.4 0.3 0.2 0.1 0
Neutral
Bonding Repulsion Attraction
Figure 4: Effective diffusivity coefficients for graphs with nodes and edges given by (46) and various rate functions. The rates are chosen to model four settings: 1) no interaction, 2) a bonding/sticking effect near the obstruction, 3) an obstruction that repels the random walker, and 4) an obstruction that attracts the random walker. path length and continuous state space consisting of all points in the unobstructed region. The current graph model does not accommodate continuous space and thus we compare (via Monte Carlo simulations) the continuous space model’s predictions with those of the graph model. Define the process Xh (t) ∈ R2 \O where Xh waits at a location for time h2 /4 and then moves along a straight path of length h in a uniformly chosen random direction. If the path intersects the obstructed region O, then X undergoes a specular (mirror-like) reflection to ensure its path does not intersect O. Because Xh (t) exhibits normal diffusion, the effective diffusivity and mean squared displacement M SD(t) are related by De = lim
t→∞
M SD(t) . 4t
^ We use Monte Carlo simulation to compute an estimate M SD(t) of M SD(t) at equally spaced points in time {ti }N . Let α denote the slope of the line of best fit (with 0 intercept) through the i=1 N ^ points ti , M SD(ti ) i=1 . We then estimate De as De ≈ α/4
and calculate the 95% confindence intervals appropriately. We can approximate Xh via the graph (Sh , Eh , λh ) where λh (e) = 1/h2 . We also introduce a eh ) that accounts for jumps to diagonal neighbors and slightly more sophisticated graph (Seh , Eeh , λ thus ought to better approximate Xh . Let Seh = Sh , Eeh = Eh ∪ {(x, y) ∈ Seh × Seh | x − y = ±(h, h)}.
eh should replicate the dynamics of Xh reflecting off of an obstruction. SpecifiThe rate function λ cally, when the solute has an approximately diagonal collision with an obstruction, the solute will experience a non-negligible displacement (rather than returning to its original location). We therefore double the jump rates along edges that begin and end on the obstruction boundaries Bh (47). 28
0.78 0.76
De
0.74 0.72 0.7 Continuous Discrete Discrete w/ diagonal jumps
0.68 0.66 2
-2
2
-3
2
-4
2
-5
2
-6
2
-7
2
-8
Mean path length
Figure 5: Effective diffusivity coefficients for the continuous process Xh (“Continuous”), the eh ) (“Discrete w/ diagonal jumps”) for graph (Sh , Eh , λh ) (“Discrete”), and the graph (Seh , Eeh , λ −2 −3 −8 h = 2 ,2 ,...,2 . Thus we define eh (x, y) = λ
(
1/h2 x, y ∈ Bh 2 1/(2h ) otherwise.
The effective diffusivity coefficients (for h = 2−2 , 2−3 , . . . , 2−8 ) of the continuous process Xh , eh ) are shown in Figure 5. Incorporating diagonal the graph (Sh , Eh , λh ), and the graph (Seh , Eeh , λ eh ) yields a superior approximation of the continuous jumps and thoughtful jump rates in (Seh , Eeh , λ setting. In all three settings, De appears to converge to the same value as h → 0.
A
Validity of the formal result
In this section we show that the diffusivities of the formal asymptotics and the rigorous convergence theory are equal. That is, K = C (see (18), (44) and Theorems 6.9). First, we show two auxiliary results. Lemma A.1. Let ω be a solution to the unit-cell problem (15) and ψ satisfy (38). Then XX XX νe ω(y)T λe = ψ(∂+ e)νeT λe π(y). y∈S¯ e∈Ey
y∈S¯ e∈Ey
Proof. The result follows easily: XX νei ωj (y)λe = ρi , ωj = (Lψi , ωj ) = (ψi , LT ωj ) = (ψi , σj ) y∈S¯ e∈Ey
=
X
y∈S¯
ψi (y)
X
νej π(∂− e)λe =
XX
ψi (∂+ e)νej π(∂− e)λe
y∈S¯ e∈Ey′
e∈Ey′
=
XX
y∈S¯ e∈Ey
29
ψi (∂+ e)νej λe π(y).
Lemma A.2. The drift field ρ and ψ (see (38)) satisfy: XX (ψ(∂+ e) − ψ(∂− e))(ψ(∂+ e) − ψ(∂− e))T λe π(y) y∈S¯ e∈Ey
X
=−
ψ(y)ρ(y)T π(y) −
y∈S¯
X
ρ(y)ψ(y)T π(y)
y∈S¯
Proof. First, notice that XX X ψ(y)ρ(y)T π(y) (ψ(∂+ e) − ψ(∂− e))ψ(∂+ e)T λe π(y) + y∈S¯ e∈Ey
=
y∈S¯
XX
X
(ψ(∂+ e) − ψ(∂− e))ψ(∂+ e)T λe π(y) +
y∈S¯ e∈Ey
=
XX
ψ(y)(Lψ)(y)T π(y)
y∈S¯
X
T
(ψ(∂+ e) − ψ(∂− e))ψ(∂+ e) λe π(y) +
y∈S¯ e∈Ey
ψ(y)
y∈S¯
X
(ψ(∂+ e) − ψ(∂− e))T λe π(y)
e∈Ey
XX (ψ(∂+ e) − ψ(∂− e))ψ(∂+ e)T + (ψ(∂+ e) − ψ(∂− e))ψ(∂− e)T λe π(∂− e) = y∈S¯ e∈Ey
=
XX ψ(∂+ e)ψ(∂+ e)T − ψ(∂− e)ψ(∂+ e)T
y∈S¯ e∈Ey
+ ψ(∂+ e)ψ(∂− e)T − ψ(∂− e)ψ(∂− e)T λe π(∂− e) XX ψ(∂+ e)ψ(∂+ e)T − ψ(∂− e)ψ(∂− e)T λe π(∂− e) = y∈S¯ e∈Ey
=
XX
ψ(∂+ e)ψ(∂+ e)T λe π(∂− e) −
y∈S¯ e∈Ey
=
XX
X
y∈S¯
That is,
ψ(∂− e)ψ(∂− e)T λe π(∂− e)
y∈S¯ e∈Ey
ψ(∂+ e)ψ(∂+ e)T λe π(∂− e) −
y∈S¯ e∈Ey′
=
XX
ψ(y)ψ(y)T
X
e∈Ey′
XX
X
ψ(y)ψ(y)T π(y)
y∈S¯
X
λe
e∈Ey
X π(y − νe )λe − π(y)λ0 (y) ψ(y)ψ(y)T (LT π)(y) = 0. y∈S¯
(ψ(∂+ e) − ψ(∂− e))ψ(∂+ e)T λe π(y) = −
y∈S¯ e∈Ey
X
ψ(y)ρ(y)T π(y).
y∈S¯
Combine this equality with XX
(ψ(∂+ e) − ψ(∂− e))ψ(∂− e)T λe π(y)
y∈S¯ e∈Ey
=
X X
y∈S¯
=
X
e∈Ey
(ψ(∂+ e) − ψ(∂− e))λe ψ(y)T π(y)
(Lψ)(y)ψ(y)T π(y) =
y∈S¯
X
y∈S¯
to get the desired result. 30
ρ(y)ψ(y)T π(y).
(48)
Theorem A.3. The effective diffusivities derived from the formal and rigorous derivation are equal. That is, K = C where K and C are defined in (18) and (44), respectively. Proof. Expanding the definition of C (44), C=
T 1X 1X λe νe νeT π(∂− e) − νe ψ(∂+ e) − ψ(∂− e) λe π(∂− e) 2 ¯ 2 ¯ e∈E
e∈E
1X ψ(∂+ e) − ψ(∂− e) νeT λe π(∂− e) − 2 ¯ e∈E
1X + (ψ(∂+ e) − ψ(∂− e))(ψ(∂+ e) − ψ(∂− e))T λe π(∂− e). 2 ¯ e∈E
The first terms of K (18) and C (above) are identical and so they can be ignored. Scale the remaining terms by 2 and the desired result holds if and only if XX νe ω(y)T λe + ω(y)νeT λe y∈S¯ e∈Ey
=
XX
y∈S¯ e∈Ey
−
XX T νe ψ(∂+ e) − ψ(∂− e) λe π(∂− e) + ψ(∂+ e) − ψ(∂− e) νeT λe π(∂− e)
XX
y∈S¯ e∈Ey
(ψ(∂+ e) − ψ(∂− e))(ψ(∂+ e) − ψ(∂− e))T λe π(∂− e).
y∈S¯ e∈Ey
From Lemmas A.1 and A.2, this is equivalent to XX ψ(∂+ e)νeT π(y)λe + νe ψ(∂+ e)T π(y)λe y∈S¯ e∈Ey
=
XX
y∈S¯ e∈Ey
+
X
XX T νe ψ(∂+ e) − ψ(∂− e) λe π(y) + ψ(∂+ e) − ψ(∂− e) νeT λe π(y) T
ψ(y)ρ(y) π(y) +
X
y∈S¯ e∈Ey
T
ρ(y)ψ(y) π(y).
y∈S¯
y∈S¯
Expanding terms and substituting the definition of ρ (19), this is equivalent to XX ψ(∂+ e)νeT π(y)λe + νe ψ(∂+ e)T π(y)λe y∈S¯ e∈Ey
=
XX
νe ψ(∂+ e)T λe π(y) −
y∈S¯ e∈Ey
+
XX
+
y∈S¯
νe ψ(∂− e)T λe π(y)
y∈S¯ e∈Ey
ψ(∂+ e)νeT λe π(y)
−
y∈S¯ e∈Ey
X
XX
XX
ψ(∂− e)νeT λe π(y)
y∈S¯ e∈Ey
X T X X ψ(y) νe λe π(y) + νe λe ψ(y)T π(y). y∈S¯
e∈Ey
e∈Ey
Some simple bookkeeping demonstrates that this equality holds. Hence, the desired result. 31
References [1] A. Bensoussan, J.-L. Lions, and G. Papanicolaou, Asymptotic analysis for periodic structures, vol. 374, American Mathematical Soc., 2011. [2] N. Berger and M. Biskup, Quenched invariance principle for simple random walk on percolation clusters, Probability theory and related fields, 137 (2007), pp. 83–120. [3] P. Billingsley, Convergence of probability measures, Wiley, 2011. [4] M. Biskup, Recent progress on the random conductance model, Probability Surveys, 8 (2011), pp. 294–373. [5] P. Caputo and D. Ioffe, Finite volume approximation of the effective diffusion matrix: the case of independent bond disorder, in Annales de l’Institut Henri Poincare (B) Probability and Statistics, vol. 39, Elsevier, 2003, pp. 505–525. [6] P. Donovan, Y. Chehreghanianzabi, M. Rathinam, and S. P. Zustiak, Homogenization theory for the prediction of obstructed solute diffusivity in macromolecular solutions, Plos One, 11 (2016). [7] A.-C. Egloffe, A. Gloria, J.-C. Mourrat, and T. N. Nguyen, Random walk in random environment, corrector equation and homogenized coefficients: from theory to numerics, back and forth, IMA journal of numerical analysis, 35 (2014), pp. 499–545. [8] S. N. Ethier and T. G. Kurtz, Markov processes characterization and convergence, WileyInterscience, 2005. [9] A. Faggionato, Random walks and exclusion processes among random conductances on random infinite clusters: homogenization and hydrodynamic limit, Electronic Journal of Probability, 13 (2008), pp. 2217–2247. [10] A. Gloria and J. Nolen, A quantitative central limit theorem for the effective conductance on the discrete torus, Communications on Pure and Applied Mathematics, 69 (2016), pp. 2304– 2348. [11] A. Gloria, F. Otto, et al., An optimal variance estimate in stochastic homogenization of discrete elliptic equations, The annals of probability, 39 (2011), pp. 779–856. [12] J. B. Keller, Effective behavior of heterogeneous media, in Statistical mechanics and statistical methods in theory and application, Springer, 1977, pp. 631–644. [13] C. Kipnis and S. S. Varadhan, Central limit theorem for additive functionals of reversible markov processes and applications to simple exclusions, Communications in Mathematical Physics, 104 (1986), pp. 1–19. [14] F. C. Klebaner, Introduction to stochastic calculus with applications, Imperial College Press, 2012. [15] S. Kozlov, Averaging of difference schemes, Mathematics of the USSR-Sbornik, 57 (1987), p. 351. 32
[16] S. Kozlov, O. Olenik, and V. Zhikov, Homogenization of differential operators, Russian Mathem. Surveys, 35 (1980), p. 254. ¨nnemann, The diffusion limit for reversible jump processes onz d with ergodic random [17] R. Ku bond conductivities, Communications in Mathematical Physics, 90 (1983), pp. 27–68. [18] P. Mathieu, Quenched invariance principles for random walks with random conductances, Journal of Statistical Physics, 130 (2008), pp. 1025–1046. [19] H. Owhadi, Approximation of the effective conductivity of ergodic media by periodization, Probability theory and related fields, 125 (2003), pp. 225–258.
33