When are increment-stationary random point sets stationary?

In a recent work, Blanc, Le Bris, and Lions defined a notion of increment-stationarity for random point sets, which allowed them to prove the existence of a thermodynamic limit for two-body potential energies on such point sets (under the additional assumption of ergodicity), and to introduce a variant of stochastic homogenization for increment-stationary coefficients. Whereas stationary random point sets are increment-stationary, it is not clear a priori under which conditions increment-stationary random point sets are stationary. In the present contribution, we give a characterization of the equivalence of both notions of stationarity based on elementary PDE theory in the probability space. This allows us to give conditions on the decay of a covariance function associated with the random point set, which ensure that increment-stationary random point sets are stationary random point sets up to a random translation with bounded second moment in dimensions $d>2$. In dimensions $d=1$ and $d=2$, we show that such sufficient conditions cannot exist

Multiscale functional inequalities in probability: Concentration properties

In a companion article we have introduced a notion of multiscale functional inequalities for functions $X(A)$ of an ergodic stationary random field $A$ on the ambient space $\mathbb R^d$. These inequalities are multiscale weighted versions of standard Poincar\'e, covariance, and logarithmic Sobolev inequalities. They hold for all the examples of fields $A$ arising in the modelling of heterogeneous materials in the applied sciences whereas their standard versions are much more restrictive. In this contribution we first investigate the link between multiscale functional inequalities and more standard decorrelation or mixing properties of random fields. Next, we show that multiscale functional inequalities imply fine concentration properties for nonlinear functions $X(A)$. This constitutes the main stochastic ingredient to the quenched large-scale regularity theory for random elliptic operators by the second author, Neukamm, and Otto, and to the corresponding quantitative stochastic homogenization results.Comment: 24 page

The corrector in stochastic homogenization: optimal rates, stochastic integrability, and fluctuations

We consider uniformly elliptic coefficient fields that are randomly distributed according to a stationary ensemble of a finite range of dependence. We show that the gradient and flux $(\nabla\phi,a(\nabla \phi+e))$ of the corrector $\phi$, when spatially averaged over a scale $R\gg 1$ decay like the CLT scaling $R^{-\frac{d}{2}}$. We establish this optimal rate on the level of sub-Gaussian bounds in terms of the stochastic integrability, and also establish a suboptimal rate on the level of optimal Gaussian bounds in terms of the stochastic integrability. The proof unravels and exploits the self-averaging property of the associated semi-group, which provides a natural and convenient disintegration of scales, and culminates in a propagator estimate with strong stochastic integrability. As an application, we characterize the fluctuations of the homogenization commutator, and prove sharp bounds on the spatial growth of the corrector, a quantitative two-scale expansion, and several other estimates of interest in homogenization.Comment: 114 pages. Revised version with some new results: optimal scaling with nearly-optimal stochastic integrability on top of nearly-optimal scaling with optimal stochastic integrability, CLT for the homogenization commutator, and several estimates on growth of the extended corrector, semi-group estimates, and systematic error

Stochastic homogenization of nonconvex unbounded integral functionals with convex growth

We consider the well-travelled problem of homogenization of random integral functionals. When the integrand has standard growth conditions, the qualitative theory is well-understood. When it comes to unbounded functionals, that is, when the domain of the integrand is not the whole space and may depend on the space-variable, there is no satisfactory theory. In this contribution we develop a complete qualitative stochastic homogenization theory for nonconvex unbounded functionals with convex growth. We first prove that if the integrand is convex and has $p$-growth from below (with $p>d$, the dimension), then it admits homogenization regardless of growth conditions from above. This result, that crucially relies on the existence and sublinearity at infinity of correctors, is also new in the periodic case. In the case of nonconvex integrands, we prove that a similar homogenization result holds provided the nonconvex integrand admits a two-sided estimate by a convex integrand (the domain of which may depend on the space-variable) that itself admits homogenization. This result is of interest to the rigorous derivation of rubber elasticity from polymer physics, which involves the stochastic homogenization of such unbounded functionals.Comment: 64 pages, 2 figure

Quantitative estimates on the periodic approximation of the corrector in stochastic homogenization

In the present contribution we establish quantitative results on the periodic approximation of the corrector equation for the stochastic homogenization of linear elliptic equations in divergence form, when the diffusion coefficients satisfy a spectral gap estimate in probability, and for $d>2$. The main difference with respect to the first part of [Gloria-Otto, arXiv:1409.0801] is that we avoid here the use of Green's functions and more directly rely on the De Giorgi-Nash-Moser theory

An optimal variance estimate in stochastic homogenization of discrete elliptic equations

We consider a discrete elliptic equation on the $d$-dimensional lattice $\mathbb{Z}^d$ with random coefficients $A$ of the simplest type: they are identically distributed and independent from edge to edge. On scales large w.r.t. the lattice spacing (i.e., unity), the solution operator is known to behave like the solution operator of a (continuous) elliptic equation with constant deterministic coefficients. This symmetric ``homogenized'' matrix $A_{\mathrm {hom}}=a_{\mathrm {hom}}\operatorname {Id}$ is characterized by $\xi\cdot A_{\mathrm {hom}}\xi=\langle(\xi+\nabla\phi )\cdot A(\xi+\nabla\phi)\rangle$ for any direction $\xi\in\mathbb {R}^d$, where the random field $\phi$ (the ``corrector'') is the unique solution of $-\nabla^*\cdot A(\xi+\nabla\phi)=0$ such that $\phi(0)=0$, $\nabla\phi$ is stationary and $\langle\nabla\phi\rangle=0$, $\langle\cdot\rangle$ denoting the ensemble average (or expectation). It is known (``by ergodicity'') that the above ensemble average of the energy density $\mathcal {E}=(\xi+\nabla\phi)\cdot A(\xi+\nabla\phi)$, which is a stationary random field, can be recovered by a system average. We quantify this by proving that the variance of a spatial average of $\mathcal {E}$ on length scales $L$ satisfies the optimal estimate, that is, $\operatorname {var}[\sum \mathcal {E}\eta_L]\lesssim L^{-d}$, where the averaging function [i.e., $\sum\eta_L=1$, $\operatorname {supp}(\eta_L)\subset\{|x|\le L\}$] has to be smooth in the sense that $|\nabla\eta_L|\lesssim L^{-1-d}$. In two space dimensions (i.e., $d=2$), there is a logarithmic correction. This estimate is optimal since it shows that smooth averages of the energy density $\mathcal {E}$ decay in $L$ as if $\mathcal {E}$ would be independent from edge to edge (which it is not for $d>1$). This result is of practical significance, since it allows to estimate the dominant error when numerically computing $a_{\mathrm {hom}}$.Comment: Published in at http://dx.doi.org/10.1214/10-AOP571 the Annals of Probability (http://www.imstat.org/aop/) by the Institute of Mathematical Statistics (http://www.imstat.org

Analyticity of homogenized coefficients under Bernoulli perturbations and the Clausius-Mossotti formulas

This paper is concerned with the behavior of the homogenized coefficients associated with some random stationary ergodic medium under a Bernoulli perturbation. Introducing a new family of energy estimates that combine probability and physical spaces, we prove the analyticity of the perturbed homogenized coefficients with respect to the Bernoulli parameter. Our approach holds under the minimal assumptions of stationarity and ergodicity, both in the scalar and vector cases, and gives analytical formulas for each derivative that essentially coincide with the so-called cluster expansion used by physicists. In particular, the first term yields the celebrated (electric and elastic) Clausius-Mossotti formulas for isotropic spherical random inclusions in an isotropic reference medium. This work constitutes the first general proof of these formulas in the case of random inclusions.Comment: 47 page

Spectral measure and approximation of homogenized coefficients

This article deals with the numerical approximation of effective coefficients in stochastic homogenization of discrete linear elliptic equations. The originality of this work is the use of a well-known abstract spectral representation formula to design and analyze effective and computable approximations of the homogenized coefficients. In particular, we show that information on the edge of the spectrum of the generator of the environment viewed by the particle projected on the local drift yields bounds on the approximation error, and conversely. Combined with results by Otto and the first author in low dimension, and results by the second author in high dimension, this allows us to prove that for any dimension, there exists an explicit numerical strategy to approximate homogenized coefficients which converges at the rate of the central limit theorem.Comment: 30 pages, 2 figure

Quantitative version of the Kipnis-Varadhan theorem and Monte Carlo approximation of homogenized coefficients

This article is devoted to the analysis of a Monte Carlo method to approximate effective coefficients in stochastic homogenization of discrete elliptic equations. We consider the case of independent and identically distributed coefficients, and adopt the point of view of the random walk in a random environment. Given some final time t>0, a natural approximation of the homogenized coefficients is given by the empirical average of the final squared positions re-scaled by t of n independent random walks in n independent environments. Relying on a quantitative version of the Kipnis-Varadhan theorem combined with estimates of spectral exponents obtained by an original combination of PDE arguments and spectral theory, we first give a sharp estimate of the error between the homogenized coefficients and the expectation of the re-scaled final position of the random walk in terms of t. We then complete the error analysis by quantifying the fluctuations of the empirical average in terms of n and t, and prove a large-deviation estimate, as well as a central limit theorem. Our estimates are optimal, up to a logarithmic correction in dimension 2.Comment: Published in at http://dx.doi.org/10.1214/12-AAP880 the Annals of Applied Probability (http://www.imstat.org/aap/) by the Institute of Mathematical Statistics (http://www.imstat.org