pith. sign in

arxiv: 2605.18201 · v1 · pith:6PRD6TM6new · submitted 2026-05-18 · 🧮 math.AP

Sharp error estimates in stochastic homogenization of parabolic systems with time-dependent coefficients

Pith reviewed 2026-05-20 09:13 UTC · model grok-4.3

classification 🧮 math.AP
keywords stochastic homogenizationparabolic systemstime-dependent coefficientsstationary correctorshomogenization error estimatesspectral gap conditionsCalderon-Zygmund estimates
0
0 comments X

The pith

Optimal homogenization error estimates hold for parabolic systems with time-dependent coefficients under space-time spectral gap conditions.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves existence of stationary correctors for parabolic systems when coefficients satisfy space-time spectral gap conditions. These correctors display properties distinct from those arising in elliptic settings. New flux correctors are defined and their fluctuation estimates are established. Optimal error bounds in strong and weak norms are then derived on C1 cylinders through duality and distance-weighted arguments. The proofs rely on annealed Calderon-Zygmund estimates paired with a novel minimal radius, all without any small-scale smoothness assumptions on the coefficients.

Core claim

This article mainly proves the existence of stationary correctors under space-time spectral gap conditions, which exhibit different properties from those of elliptic operator correctors. Additionally, new flux correctors and their fluctuation estimates are introduced. Based on this, we obtain the optimal homogenization error in the sense of strong and weak norms on C1 cylinders by using the duality and distance-weighted arguments, in which the (weighted) annealed Calderon-Zygmund estimates coupled with a novel form of the minimal radius are developed. Throughout the paper, no small-scale smoothness of the coefficients is used.

What carries the argument

Stationary correctors under space-time spectral gap conditions, together with new flux correctors and the novel minimal radius inside annealed Calderon-Zygmund estimates.

If this is right

  • Optimal error bounds hold simultaneously in strong and weak norms on C1 cylinders.
  • The estimates remain valid without any small-scale smoothness assumptions on the coefficients.
  • New flux correctors deliver explicit control over fluctuations in the stochastic parabolic setting.
  • Weighted annealed Calderon-Zygmund estimates become available for the time-dependent case.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The spectral gap conditions may be checkable in concrete physical models of time-varying random media.
  • Duality arguments of this form could streamline error analysis in other classes of stochastic homogenization problems.
  • The differing corrector properties between parabolic and elliptic regimes may affect long-time averaging behavior in each setting.

Load-bearing premise

The coefficients satisfy space-time spectral gap conditions that enable stationary correctors exhibiting properties different from those of elliptic operator correctors.

What would settle it

A counterexample of coefficients obeying the space-time spectral gap yet failing to produce stationary correctors with the stated properties, or a direct computation showing homogenization error on a C1 cylinder exceeding the claimed optimal rate.

Figures

Figures reproduced from arXiv: 2605.18201 by Jun Geng, Qiang Xu.

Figure 1
Figure 1. Figure 1: sectional view of ΩT 4. Notation for functions. (a) The function 1E is the indicator function of E. (b) a ∨ b := max{a, b}; a ∧ b := min{a, b}. (c) We denote F(·/ε, ·/ε2 ) by F ε (·, ·) for simplicity, and (f)r = − R Qr f = 1 |Qr| R Qr f. (d) We denote the support of f by supp(f). 11 [PITH_FULL_IMAGE:figures/full_fig_p011_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Non-tangential region 5. Notation for function spaces. (a) C 1 0 (QR) denotes the Banach space of functions with continuous one-order derivative with respect to spatial or time variables, requiring each element to vanish near ∂QR. (b) L 2 (0, T; X) represents the Banach space of X-valued functions owning L 2 -integrability with respect to the time variable (see e.g., [18, Subsection 5.9.2]). (c) 0H 1,1/2 q… view at source ↗
Figure 3
Figure 3. Figure 3: On the proof structure of Theorem 1.1 2.4 Proof of Theorem 1.1 The part of the conclusions concerning the flux corrector in Theorem 1.1 is already included in Proposition 2.2. Here, only the proof of the existence of the stationary solution to the equation (1.2) is provided, along with the proof of the related estimates. The structure of the proof is presented in [PITH_FULL_IMAGE:figures/full_fig_p029_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: On the proof structure of Theorem 1.3 Proof of Theorem 1.3. The estimate (1.17) has already been proven in Subsection 4.2. Let p2 > p1 > p > 1 and ω ∈ Aq be arbitrary. In view of Lemma 4.6, it follows from Proposition 4.2 that Z ΩT dzD− Z Uε(z) |∇uε| 2  p 2 Eq p − Z Qε(z) ω !1 q ≲ (4.36b) Z ΩT dzD− Z U∗,ε(z) |∇uε| 2  p1 2 E q p1 ω(z) !1 q ≲ (4.4) Z ΩT dzD− Z U∗,ε(z) |f| 2  p1 2 E q p1 ω(z) !1 q ≲ (4.… view at source ↗
Figure 5
Figure 5. Figure 5: On the proof structure of Theorem 1.2 Lemma 5.5 Theorem 1.3 Lemma Theorem 1.1; Lemma 3.3 Lemma Theorem 1.5 Corollary 2.5 Lemma Lemma 3.4; Lemma 3.5 Lemma Lemma B.4 Proposition 5.7 Weights & Correctors + Lemma B.4 + + [PITH_FULL_IMAGE:figures/full_fig_p072_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: On the proof structure of Theorem 1.5 Proof of Theorem 1.5. The desired estimate (1.24) can be easily derived from the corresponding result (5.56) in Proposition 5.7, while the estimate (1.22) follows from Lemma 5.5 coupled with Lemma B.4 as shown in [PITH_FULL_IMAGE:figures/full_fig_p072_6.png] view at source ↗
read the original abstract

This article mainly proves the existence of stationary correctors under space-time spectral gap conditions, which exhibit different properties from those of elliptic operator correctors. Additionally, new flux correctors and their fluctuation estimates are introduced.Based on this, we obtain the optimal homogenization error in the sense of strong and weak norms on C1 cylinders by using the duality and distance-weighted arguments, in which the (weighted) annealed Calderon-Zygmund estimates coupled with a novel form of the minimal radius are developed. Throughout the paper, no small-scale smoothness of the coefficients is used.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The paper proves the existence of stationary correctors for parabolic systems with time-dependent random coefficients satisfying space-time spectral gap conditions; these correctors exhibit properties distinct from their elliptic counterparts. It introduces new flux correctors together with fluctuation estimates. Building on these, the authors derive optimal homogenization error bounds in both strong and weak norms on C¹ cylinders via duality and distance-weighted arguments, employing weighted annealed Calderón-Zygmund estimates and a novel minimal-radius construction. The analysis uses no small-scale smoothness assumptions on the coefficients.

Significance. If the claims hold, the work advances stochastic homogenization theory by extending sharp error estimates to the parabolic setting with explicit time dependence, under spectral-gap assumptions that permit stationary correctors without small-scale regularity. The technical tools—space-time correctors, flux-corrector fluctuations, annealed weighted estimates, and the minimal-radius device—offer reusable machinery for random media with temporal fluctuations and could influence applications in materials science and PDEs with random coefficients.

minor comments (3)
  1. [§2] §2: The precise formulation of the space-time spectral gap condition and its role in guaranteeing the existence of stationary correctors (distinct from the elliptic case) would benefit from an explicit comparison paragraph or remark referencing the corresponding elliptic statements.
  2. [§4.3] §4.3 (or wherever the minimal-radius construction appears): The motivation for the novel minimal-radius quantity in the weighted annealed Calderón-Zygmund estimates could be clarified by adding one sentence explaining how it avoids the small-scale smoothness that previous works required.
  3. [Theorem 1.2] Theorem 1.2 (main error estimate): The statement would be easier to parse if the precise strong and weak norms on the C¹ cylinders were written explicitly rather than referred to by name only.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our work and the recommendation for minor revision. The referee's summary correctly captures our main contributions: the construction of stationary correctors and new flux correctors for parabolic systems under space-time spectral gap assumptions, together with the derivation of optimal homogenization error estimates on C¹ cylinders via duality and weighted arguments, all without small-scale smoothness assumptions on the coefficients.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The derivation chain starts from explicit space-time spectral gap assumptions to prove existence of stationary correctors (distinct from elliptic cases), introduces flux correctors with fluctuation estimates, and proceeds via duality, distance-weighted arguments, and internally developed weighted annealed Calderon-Zygmund estimates plus a novel minimal radius to obtain optimal strong/weak homogenization errors on C1 cylinders. All steps are parameter-free, rely on stated assumptions without reducing results to fitted inputs or self-referential definitions, and maintain internal consistency without load-bearing self-citations or ansatz smuggling. The paper is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Central claims rest on space-time spectral gap conditions for the random coefficients and the development of new estimates without small-scale smoothness.

axioms (1)
  • domain assumption Space-time spectral gap conditions on the coefficients
    Invoked to prove existence of stationary correctors with distinct properties.

pith-pipeline@v0.9.0 · 5609 in / 1167 out tokens · 36464 ms · 2026-05-20T09:13:01.932385+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

58 extracted references · 58 canonical work pages · 2 internal anchors

  1. [1]

    Armstrong, A

    S. Armstrong, A. Bordas, J.-C. Mourrat, Quantitative stochastic homogenization and regularity theory of parabolic equations. Anal. PDE 11 (2018), no. 8, 1945–2014

  2. [2]

    Armstrong, T

    S. Armstrong, T. Kuusi, J.-C. Mourrat, Quantitative stochastic homogenization and large-scale reg- ularity. Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], 352. Springer, Cham, 2019

  3. [3]

    Armstrong, J.-P

    S. Armstrong, J.-P. Daniel, Calder´ on-Zygmund estimates for stochastic homogenization. J. Funct. Anal. 270 (2016), no. 1, 312-329. 72

  4. [4]

    Armstrong, T

    S. Armstrong, T. Kuusi, Elliptic homogenization from qualitative to quantitative. arXiv preprint arXiv:2210.06488 (2022); arXiv:2210.06488v2, 2024

  5. [5]

    Armstrong, T

    S. Armstrong, T. Kuusi, Renormalization group and elliptic homogenization in high contrast. Invent. Math. 242 (2025), no. 3, 895-1086

  6. [6]

    Armstrong, Z

    S. Armstrong, Z. Shen, Lipschitz estimates in almost-periodic homogenization. Comm. Pure Appl. Math. 69 (2016), no. 10, 1882-1923

  7. [7]

    Armstrong, C

    S. Armstrong, C. Smart, Quantitative stochastic homogenization of convex integral functionals. Ann. Sci. ´Ec. Norm. Sup´ er. (4) 49 (2016), no. 2, 423-481

  8. [8]

    Auscher, S

    P. Auscher, S. Bortz, M. Egert, O. Saari, On regularity of weak solutions to linear parabolic systems with measurable coefficients. J. Math. Pures Appl. (9) 121 (2019), 216-243

  9. [9]

    Avellaneda, F

    M. Avellaneda, F. Lin, Compactness methods in the theory of homogenization, Comm. Pure Appl. Math. 40(1987), no.6, 803-847

  10. [10]

    Bella, A

    P. Bella, A. Chiarini, B. Fehrman, A Liouville theorem for stationary and ergodic ensembles of parabolic systems. Probab. Theory Related Fields 173 (2019), no. 3-4, 759-812

  11. [11]

    Bensoussan, J.-L

    A. Bensoussan, J.-L. Lions, G.C. Papanicolaou, Asymptotic analysis for periodic structures. Corrected reprint of the 1978 original [MR0503330]. AMS Chelsea Publishing, Providence, RI, 2011

  12. [12]

    Brown, The method of layer potentials for the heat equation in Lipschitz cylinders, Amer

    R. Brown, The method of layer potentials for the heat equation in Lipschitz cylinders, Amer. J. Math. 111(1989), no.2, 339-379

  13. [13]

    Clozeau, M

    N. Clozeau, M. Josien, F. Otto, Q. Xu, Bias in the representative volume element method: periodize the ensemble instead of its realization. Found. Comput. Math. 24 (2024), no. 4, 1305-1387

  14. [14]

    Clozeau, H

    N. Clozeau, H. Singh, Renormalisation of singular SPDEs with correlated coefficients, arXiv:2507.23737, 2025

  15. [15]

    Duerinckx, A

    M. Duerinckx, A. Gloria, M. Lemm, A remark on a surprising result by Bourgain in homogenization. Comm. Partial Differential Equations 44 (2019), no. 12, 1345-1357

  16. [16]

    Duerinckx, A

    M. Duerinckx, A. Gloria, F. Otto, The structure of fluctuations in stochastic homogenization. Comm. Math. Phys. 377 (2020), no. 1, 259-306

  17. [17]

    Duerinckx, F

    M. Duerinckx, F. Otto, Higher-order pathwise theory of fluctuations in stochastic homogenization. Stoch PDE: Anal Comp. 8 (2020), no.3, 625-692

  18. [18]

    Evans, Partial Differential Equations, second ed., Graduate Studies in Mathematics 19

    L.C. Evans, Partial Differential Equations, second ed., Graduate Studies in Mathematics 19. American Mathematical Society, Providence, RI, 2010

  19. [19]

    Duarte, J

    R. Duarte, J. Drumond Silva, Weighted Gagliardo-Nirenberg interpolation inequalities. J. Funct. Anal. 285 (2023), no. 5, Paper No. 110009, 49 pp

  20. [20]

    Duoandikoetxea, Fourier Analysis, translated and revised from the 1995 Spanish original by David Cruz-Uribe, Graduate Studies in Mathematics, 29

    J. Duoandikoetxea, Fourier Analysis, translated and revised from the 1995 Spanish original by David Cruz-Uribe, Graduate Studies in Mathematics, 29. American Mathematical Society, Providence, RI 2001

  21. [21]

    Fabes, N.M

    E.B. Fabes, N.M. Riviere, Dirichlet and Neumann problems for the heat equation inC 1-cylinders. Harmonic analysis in Euclidean spaces (Proc. Sympos. Pure Math., Williams Coll., Williamstown, Mass., 1978), Part 2, pp. 179–196, Proc. Sympos. Pure Math., XXXV, Part 2, Amer. Math. Soc., Providence, RI, 1979. 73

  22. [22]

    Fefferman, E

    C. Fefferman, E. M. Stein,H p spaces of several variables, Acta Math. 129 (1972), no. 3-4, 137–193

  23. [23]

    J. Geng, Z. Shen, Uniform regularity estimates in parabolic homogenization, Indiana Univ. Math. J. 64 (2015), no.3, 697-733

  24. [24]

    J. Geng, Z. Shen, Convergence rates in parabolic homogenization with time-dependent coefficients, J. Funct. Anal. 272 (2017), no.5, 2092-2113

  25. [25]

    J. Geng, B. Shi, Quantitative estimates in almost periodic homogenization of parabolic systems. Calc. Var. Partial Differential Equations 64 (2025), no. 1, Paper No. 33, 57 pp

  26. [26]

    Gloria, F

    A. Gloria, F. Otto, An optimal variance estimate in stochastic homogenization of discrete elliptic equations. Ann. Probab. 39 (2011), no. 3, 779-856

  27. [27]

    Gloria, S

    A. Gloria, S. Neukamm, F. Otto, Quantification of ergodicity in stochastic homogenization: optimal bounds via spectral gap on Glauber dynamics. Invent. Math. 199 (2015), no. 2, 455-515

  28. [28]

    Gloria, S

    A. Gloria, S. Neukamm, F. Otto, A regularity theory for random elliptic operators. Milan J. Math. 88 (2020), no. 1, 99-170

  29. [29]

    Gloria, S

    A. Gloria, S. Neukamm, F. Otto, Quantitative estimates in stochastic homogenization for correlated coefficient fields. Anal. PDE 14 (2021), no. 8, 2497–2537

  30. [30]

    Gu, J.-C

    Y. Gu, J.-C. Mourrat, Scaling limit of fluctuations in stochastic homogenization. Multiscale Model. Simul. 14 (2016), no. 1, 452-481

  31. [31]

    Hairer, H

    M. Hairer, H. Singh, Homogenisation of singular SPDEs, arXiv:2510.19339v1, 2025

  32. [32]

    Jikov, S.M

    V.V. Jikov, S.M. Kozlov, O.A. Oleinik, Homogenization of Differential Operators and Integral Func- tionals, Springer-Verlag, Berlin, 1994

  33. [33]

    Josien, F

    M. Josien, F. Otto, The annealed Calder´ on-Zygmund estimate as convenient tool in quantitative stochastic homogenization. J. Funct. Anal. 283 (2022), no. 7, Paper No. 109594, 74 pp

  34. [34]

    Kenig, F

    C.E. Kenig, F. Lin, Z. Shen, Convergence rates inL 2 for elliptic homogenization problems, Arch. Ration. Mech. Anal. 203 (2012), no.3, 1009-1036

  35. [35]

    Coarse-graining and quantitative stochastic homogenization of parabolic equations in high contrast

    A. Lau, Coarse-graining and quantitative stochastic homogenization of parabolic equations in high contrast, arXiv:2604.07528v1, 2026

  36. [36]

    Lehrb¨ ack, Weighted Hardy inequalities beyond Lipschitz domains

    J. Lehrb¨ ack, Weighted Hardy inequalities beyond Lipschitz domains. Proc. Amer. Math. Soc. 142 (2014), no. 5, 1705-1715

  37. [37]

    Leoni, A first course in fractional Sobolev spaces

    G. Leoni, A first course in fractional Sobolev spaces. Graduate Studies in Mathematics, 229. American Mathematical Society, Providence, RI, 2023

  38. [38]

    Lions, E

    J.-L. Lions, E. Magenes, Non-homogeneous boundary value problems and applications. Vol. I. Trans- lated from the French by P. Kenneth. Die Grundlehren der mathematischen Wissenschaften, Band

  39. [39]

    Springer-Verlag, New York-Heidelberg, 1972

  40. [40]

    J. Lu, F. Otto, L. Wang, Optimal artificial boundary conditions based on second-order correctors for three dimensional random elliptic media. Comm. Partial Differential Equations 49 (2024), no. 7-8, 609-670

  41. [41]

    Naddaf, T

    A. Naddaf, T. Spencer, Estimates on the variance of some homogenization problems. Preprint, 1998

  42. [42]

    Naddaf, T

    A. Naddaf, T. Spencer, On homogenization and scaling limit of some gradient perturbations of a massless free field. Comm. Math. Phys. 183 (1997), no. 1, 55-84. 74

  43. [43]

    Papanicolaou, S.R.S

    G.C. Papanicolaou, S.R.S. Varadhan, Boundary value problems with rapidly oscillating random co- efficients. Random fields, Vol. I, II (Esztergom, 1979), 835-873, Colloq. Math. Soc. J´ anos Bolyai, 27, North-Holland, Amsterdam-New York, 1981

  44. [44]

    Shen, Periodic Homogenization of Elliptic Systems

    Z. Shen, Periodic Homogenization of Elliptic Systems. Operator Theory: Advances and Applications,

  45. [45]

    Birkh¨ auser/Springer, Cham, (2018)

    Advances in Partial Differential Equations (Basel). Birkh¨ auser/Springer, Cham, (2018)

  46. [46]

    Shen, Bounds of Riesz transforms onL p spaces for second order elliptic operators, Ann

    Z. Shen, Bounds of Riesz transforms onL p spaces for second order elliptic operators, Ann. Inst. Fourier (Grenoble) 55 (2005), no.1, 173-197

  47. [47]

    Shen, Convergence rates and H¨ older estimates in almost-periodic homogenization of elliptic systems

    Z. Shen, Convergence rates and H¨ older estimates in almost-periodic homogenization of elliptic systems. Anal. PDE 8 (2015), no. 7, 1565-1601

  48. [48]

    Shen, WeightedL 2 estimates for elliptic homogenization in Lipschitz domains

    Z. Shen, WeightedL 2 estimates for elliptic homogenization in Lipschitz domains. J. Geom. Anal. 33 (2023), no. 1, Paper No. 3, 33 pp

  49. [49]

    Sohr, The Navier-Stokes equations

    H. Sohr, The Navier-Stokes equations. An elementary functional analytic approach. Birkh¨ auser Ad- vanced Texts: Basler Lehrb¨ ucher. [Birkh¨ auser Advanced Texts: Basel Textbooks] Birkh¨ auser Verlag, Basel, 2001

  50. [50]

    Stein, Singular integrals and differentiability properties of functions

    E.M. Stein, Singular integrals and differentiability properties of functions. Princeton Mathematical Series, No. 30. Princeton University Press, Princeton, NJ, 1970

  51. [51]

    Suslina, Homogenization of the Neumann problem for elliptic systems with periodic coefficients, SIAM J

    T. Suslina, Homogenization of the Neumann problem for elliptic systems with periodic coefficients, SIAM J. Math. Anal. 45 (2013), no.6, 3453-3493

  52. [52]

    L. Wang, Q. Xu, Calder´ on-Zygmund estimates for stochastic elliptic systems on bounded Lipschitz domains. J. Differential Equations 432 (2025), Paper No. 113200, 61 pp

  53. [53]

    L. Wang, Q. Xu, Boundary estimates and Green function’s expansion for elliptic systems with random coefficients, arXiv:2402.18907v3, 2026

  54. [54]

    L. Wang, Q. Xu, P. Zhao, Convergence rates for linear elasticity systems on perforated domains. Calc. Var. Partial Differential Equations 60, (2021) no. 2, Paper No. 74, 51 pp

  55. [55]

    Z. Wu, J. Yin, C. Wang, Elliptic & Parabolic Equations, World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ, 2006

  56. [56]

    Xu, Convergence rates for general elliptic homogenization problems in Lipschitz domains, SIAM J

    Q. Xu, Convergence rates for general elliptic homogenization problems in Lipschitz domains, SIAM J. Math. Anal. 48 (2016), no.6, 3742-3788

  57. [57]

    Q. Xu, S. Zhou, Quantitative estimates in homogenization of parabolic systems of Elasticity in Lips- chitz cylinders, arXiv:1705.01479v2, 2017

  58. [58]

    Zhikov, S

    V. Zhikov, S. Kozlov, O. Ole˘ ınik, Averaging of parabolic operators. (Russian) Trudy Moskov. Mat. Obshch. 45 (1982), 182-236. Appendix A Properties of weights and interpolations Lemma A.1([20]).Letω∈A p, 1≤p <∞. Then, we have the following properties: [˜ω]Ap = [ω]Ap,where ˜ω=ω(ε·); (A.1a) 75 ω(Q) |S| |Q| p ≤[ω] Apω(S)∀S⊂Q⊂R d+1.(A.1b) Also, there existsϵ...