Search papers, labs, and topics across Lattice.
This paper establishes quantitative homogenization estimates for linear elliptic equations in nondivergence form with stationary, symmetric coefficients and a critical ellipticity moment, notably without a deterministic positive lower bound. The work yields algebraic probability bounds for finite-cell and Dirichlet homogenization errors, constructs quadratic correctors, and proves first- and second-order large-scale regularity and Liouville theorems. The core proof leverages a reverse Hölder estimate for the Green function of a stopped coarse process to achieve the necessary integrability gain at the critical moment.
A critical ellipticity moment unlocks quantitative homogenization and large-scale regularity for nondivergence-form equations previously lacking a positive lower bound.
We prove quantitative homogenization estimates for linear elliptic equations in nondivergence form with stationary, symmetric coefficients, finite range of dependence, and a deterministic upper ellipticity bound. No deterministic positive lower bound is imposed. We assume that the reciprocal of the infimum of the smallest eigenvalue on a unit ball has a finite moment of order $d$, together with the common continuity condition of Armstrong and Smart. Under these assumptions, we obtain algebraic probability bounds for finite-cell errors and for Dirichlet homogenization errors with nonzero sources. We construct quadratic correctors on the whole space, modulo affine functions, and prove first- and second-order large-scale regularity and the corresponding Liouville theorems. We also identify the effective matrix through the invariant density and quantify smooth spatial averages of the density and the weighted coefficients. The proof separates a unit-trace diffusion from its physical clock. A reverse Hölder estimate for the Green function of a stopped coarse process yields the integrability gain needed to control the clock at the critical moment. Applications include weighted gradient convergence and a finite-domain approximation of the effective matrix.