Section: Research Program
Quantitative stochastic homogenization
Whereas the approximation of homogenized coefficients is an easy task in periodic homogenization, this is a highly nontrivial task for stochastic coefficients. This is in order to analyze numerical approximation methods of the homogenized coefficients that F. Otto (MPI for mathematics in the sciences, Leipzig, Germany) and A. Gloria obtained the first quantitative results in stochastic homogenization [3]. The development of a complete stochastic homogenization theory seems to be ripe for the analysis and constitutes the second major objective of this section.
In order to develop a quantitative theory of stochastic homogenization, one needs to quantitatively understand the corrector equation (3). Provided is stationary and ergodic, it is known that there exists a unique random field which is a distributional solution of (3) almost surely, such that is a stationary random field with bounded second moment , and with . Soft arguments do not allow to prove that may be chosen stationary (this is wrong in dimension ). In [3], [4] F. Otto and A. Gloria proved that, in the case of discrete elliptic equations with iid conductances, there exists a unique stationary corrector with vanishing expectation in dimension . Although it cannot be bounded, it has bounded finite moments of any order:
They also proved that the variance of spatial averages of the energy density on balls of radius decays at the rate of the central limit theorem. These are the first optimal quantitative results in stochastic homogenization.
The proof of these results, which is inspired by [49], is based on the insight that coefficients such as the Poisson random inclusions are special in the sense that the associated probability measure satisfies a spectral gap estimate. Combined with elliptic regularity theory, this spectral gap estimate quantifies ergodicity in stochastic homogenization. This systematic use of tools from statistical physics has opened the way to the quantitative study of stochastic homogenization problems, which we plan to fully develop.