Math-14553 · mathematics · Probability

Math-14553

Uniform Corrector Moments and Quantitative Stochastic Homogenization

Status Partially solved · unsolvedmath.comLLM status Open unverified

Top Open Problems Not reported cataloguedPartially solvedOpen

Statement

Definitions and mathematical statement

Source-level question and unresolved formulation. The supplied record asks for moment bounds for a stochastic corrector and a corresponding quantitative two-scale expansion in stochastic homogenization. It does not specify a stochastic model or enough hypotheses to determine a single quantified mathematical conjecture. The notation below describes the requested estimates without selecting missing hypotheses.

Let $(\Omega,\mathcal F,\mathbb P)$ denote the probability space of a model to be specified, let $D$ denote its spatial domain, and let $\phi(x,\omega)$ denote a chosen, normalized stochastic corrector. These objects, including the value space and its norm, must be supplied by the intended model. For a moment order $p>0$, define the extended-valued moment \[ M_p(x):=\mathbb E\left[\|\phi(x,\cdot)\|^p\right]. \] The first requested conclusion is either a spatially uniform bound \[ \sup_{x\in D}M_p(x)\le C_p<\infty, \] or a precise description of its divergence in an appropriate spatial or regularization limit. The source does not specify the moment orders, the limiting parameter, whether moments of the corrector itself or of its increments are intended, or whether a precise divergence rate means an upper bound, matching upper and lower bounds, or an asymptotic equivalence. Corrector normalization must be fixed before an estimate for its values can be interpreted.

For the second requested conclusion, let $u_\varepsilon$ denote a microscopic solution and $u_\varepsilon^{(2)}$ its intended two-scale approximation, once the equation, data, correctors, and any boundary corrections have been specified. A quantitative expansion would require a specified estimate of the schematic form \[ \|u_\varepsilon-u_\varepsilon^{(2)}\|_{\mathcal X} \le C\,r(\varepsilon), \qquad r(\varepsilon)\longrightarrow0 \quad\text{as }\varepsilon\downarrow0, \] with the error norm, probabilistic interpretation, rate, and dependence of the constant explicitly determined. This display is a template for the requested conclusion, not an asserted estimate or a choice of solution framework.

Research question. Determine the hypotheses and quantifiers under which the requested corrector moment estimates and corresponding quantitative two-scale expansion hold, and determine the relevant bounds and rates. The supplied dated assessment refers to a general ergodic formulation, but no precise ergodicity assumption or coefficient class is stated. Consequently, the record cannot presently be converted into a unique theorem-style statement. In particular, no universal rate under ergodicity alone is asserted here.

Short English statement

The problem asks how large stochastic correctors can be in moments, whether those moments stay bounded in space or grow at a precise rate, and how such estimates control a two-scale approximation. The model, normalization, moment orders, equations, boundary conditions, error norm, and rates remain unspecified. The supplied partially solved label is dated curation, not an independently verified mathematical conclusion.

Sources

  • Local UnsolvedMath registry, data/unsolvedmath/problems.json, permanent ID $30002930$, title: Uniform Corrector Moments and Quantitative Stochastic Homogenization; source problem code catalogue entry. The supplied record belongs to the Oberwolfach Reports Open Problems collection and lists proposed year $2015$. No individual proposer is identified.
  • Supplied report attribution: Interplay of Analysis and Probability in Applied Mathematics (2016), Oberwolfach Reports, pp. 1989--2064, DOI 10.4171/owr/2015/35. https://doi.org/10.4171/owr/2015/35. The background describes Oberwolfach Reports as documenting mathematical workshops and their open-problem discussions. No problem-specific page or speaker attribution is supplied. The citation's $2016$ designation and the record's $2015$ proposed year are retained without resolving their relationship.
  • Supplied literature reference: Gloria--Otto, quantitative corrector estimates. https://arxiv.org/abs/1409.0801.
  • Supplied literature reference: Gloria--Otto, corrector rates and two-scale expansion. https://arxiv.org/abs/1510.08290.
  • Literature assessment dated exactly 2026-08-21: the supplied status is partially_solved. The supplied assessment states that optimal corrector moment and growth estimates and quantitative two-scale expansions are available under spectral-gap, finite-range, or related quantitative assumptions, while the general ergodic statement in the record is not fully resolved. This is supplied dated curation derived from the OWR material, not an independently verified literature assessment. The background expressly calls for independent verification of time-sensitive status and cited claims.
  • The registry labels the statement exact and describes it as clear, self-contained, publication-ready, and retained byte-for-byte. These are supplied editorial qualifications; they do not resolve the missing mathematical hypotheses listed in this draft.

Catalogue entry

Statement licence: CC-BY-SA-4.0 · Source file

Contributions 0

No attempts yet. Significant partial results and substantial reductions are welcome. Contribute an attempt.