Pith. sign in

REVIEW 5 minor 1 cited by

Periodic homogenization and harmonic measures

T0 review · 0 major / 5 minor · reviewed 2026-08-16 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Homogenization can replace the DKP small-oscillation condition for good elliptic measure.

desk verdict Small-scale homogenization as a DKP replacement is a real idea, and the proof is honest; the main theorem is conditional on an unproved Carleson assumption for the piecewise-constant homogenized matrix, but the constant-homogenized example delivers an unconditional non-DKP case. read the letter →

arxiv 2504.17396 v1 pith:NX5QLY53 submitted 2025-04-24 math.AP

Guy David , Antoine Gloria , Svitlana Mayboroda , Siguang Qi This is my paper · ORCID
classification math.AP MSC 35B2735J25
keywords harmonicmeasureellipticCarlesonestimatesperiodichomogenizationDahlberg-Kenig-Pipherconditiontwo-scaleexpansionMeyersexponentDirichletproblem
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper introduces homogenization theory into the study of harmonic (elliptic) measure for second-order elliptic operators in a half-space. Its goal is to show that the standard small-oscillation threshold for good boundary behavior, the Dahlberg–Kenig–Pipher (DKP) condition, can be replaced by a very different kind of closeness: resolvent closeness to a constant-coefficient problem brought about by rapid periodic oscillation. The main theorem proves that if the homogenized coefficients satisfy a Carleson estimate on gradients, and if the microscopic period in each boundary cell shrinks fast enough as the boundary is approached, then the original operator satisfies the same Carleson estimate and therefore has well-behaved elliptic measure. In the concrete case where all cells share one periodic matrix whose homogenization is constant, the coefficients violate DKP by a wide margin and the conclusion still holds. In short, violent oscillation is not an obstacle to good boundary behavior but a mechanism that can produce it.

What carries the argument

The load-bearing mechanism is a local two-scale expansion $u^{2s}=\bar u+\sum_{k,j}2^k\varepsilon_{kj}\chi_{kj}\phi^i_{kj}(\cdot/(2^k\varepsilon_{kj}))\partial_i\bar u$, with $\phi^i$ periodic correctors and $\chi_{kj}$ cut-offs inside each Whitney cube. A skew-symmetric flux corrector $\sigma^i$ makes the error $z=u-u^{2s}$ solve $-\nabla\cdot A\nabla z=\nabla\cdot f$ with a source whose size is controlled by $\varepsilon_{kj}$, the correctors' boundedness, and the second derivatives of $\bar u$. Caccioppoli's inequality, De Giorgi–Nash–Moser regularity, and Meyers' reverse Hölder inequality let the authors trade the bad boundary-layer term for a small power of $\varepsilon_{kj}$; choosing $\eta_{kj}=\varepsilon_{kj}^{2p/(3p-1)}$ balances the two error terms and yields $\int_{T_R}|f|^2\lesssim R^N$ exactly when $\varepsilon_{kj}\lesssim 2^{\alpha(p)k}$.

What would settle it

Take the piecewise-constant homogenized matrix $\bar A$ from (14) with two different constant values on adjacent Whitney cubes, so it violates DKP, and compute the solution $\bar u$ to (15) on the half-space with $f\equiv 1$; if the integrals $R^{-1}\int_{T_R} t|\nabla\bar u|^2$ along the boundary between the two regions grow without bound, then hypothesis (16) fails and Theorem 2 does not apply. Conversely, if for some $A$ of (13) with $\varepsilon_{kj}\le 2^{\alpha(p)k}$ the Carleson estimate for $u$ fails while $\bar A$ still satisfies (16), the claimed transfer would be false.

Watch

Extended reading notes

Core claim

The paper's central claim is Theorem 2: let $A$ be the locally periodic matrix (13), built from periodic fields on Whitney cubes with periods $2^k\varepsilon_{kj}$, and let $\bar A$ be its piecewise-constant homogenization (14). If every bounded solution $\bar u$ of $-\nabla\cdot \bar A\nabla\bar u=0$ satisfies the Carleson estimate $R^{-N}\int_{T_R(x)} t|\nabla\bar u|^2\le C\|f\|^2_{L^\infty}$, and if $\varepsilon_{kj}\lesssim 2^{\alpha(p)k}$ with $\alpha(p)=(3p-1)/(2(p-1))$ for the Meyers exponent $2p>2$, then every bounded solution $u$ of the original problem satisfies the same estimate. Taking $A_{kj}=A_{\rm per}$ fixed and $A_\infty=\bar A_{\rm per}$ makes $\bar A$ constant, so hypothesis (16) holds by classical regularity, while $A$ itself has oscillations of order one at every scale and hence fails DKP; the elliptic measure is nevertheless well behaved. The paper presents this as the positive counterpart to known counterexamples showing that DKP is necessary within the pointwise-oscillation class.

Load-bearing premise

The argument assumes the homogenized problem already has the property being proved: every bounded solution of $-\nabla\cdot \bar A\nabla\bar u=0$ must satisfy the same tent Carleson bound (16), and this is only shown when $\bar A$ satisfies the DKP condition or is constant.

Editorial extensions

If this is right

  • Such rapidly oscillating operators can have $L^p$-solvable Dirichlet problems and absolutely continuous elliptic measure despite violating the DKP condition.
  • The small-scale homogenization strategy is local: the assumption that $A$ is constant for $t>1$ is used only to control large tents, so the approach can be combined with large-scale homogenization for more general far-field behavior.
  • If the homogenized matrix has more structure, the required period shrinkage is milder: laminates only need $\varepsilon_{kj}\lesssim 2^{3k/2}$, and constant matrices only $\varepsilon_{kj}\lesssim 2^k$ (Corollary 1).
  • The concrete periodic example is a positive counterpart to the known counterexample in which DKP-type failure destroys absolute continuity of elliptic measure.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The proof needs the homogenized solution hypothesis (16) only inside tents near the boundary; combining it with existing large-scale homogenization methods could remove the simplifying assumption that $A$ is constant for $t>1$ and yield a two-scale theory valid at all distances.
  • The exponent $\alpha(p)=(3p-1)/(2(p-1))$ decreases from $+\infty$ to $3/2$ as the Meyers exponent $p$ increases, while the improved Corollary 1 rates ($3/2$ for laminates, $1$ for constants) show the generic balance is not optimal; testing whether intermediate structure yields intermediate exponents would clarify the sharp rate.
  • One could seek homogenized matrices $\bar A$ that satisfy the Carleson estimate (16) without satisfying DKP; if such matrices exist, Theorem 2 would cover a genuinely larger class of oscillating coefficients rather than only the constant-homogenization example.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

0 major / 5 minor

Summary. This paper studies the Dirichlet problem for -div(A∇u)=0 in the upper half-space with rapidly oscillating periodic coefficients. The main result (Theorem 2) is a conditional transfer: if the solution of the homogenized problem with the piecewise constant matrix \bar A defined in (14) satisfies the Carleson measure estimate (16), then the solution for the oscillating matrix A defined in (13) satisfies the same estimate, provided the period ε_{kj} is smaller than 2^{α(p)k} with α(p)=(3p−1)/(2(p−1)). The proof combines localized two-scale expansions, Caccioppoli inequalities, Meyers reverse Hölder estimates, and an optimization over the Whitney-cube boundary layer parameter η. A concrete example with A_{kj}=A_per and A∞=\bar A_per gives a constant homogenized matrix, so (16) follows classically; this yields a family of coefficients that violate the DKP condition yet have well-behaved elliptic measure.

Significance. The paper introduces homogenization as a new mechanism for establishing Carleson measure estimates and hence absolute continuity of elliptic measure, complementing the DKP paradigm. The concrete example is a genuine infinite-dimensional family of DKP-violating coefficients for which the estimate holds, and the proof is largely self-contained, with the main estimates in Steps 1 and 2 being standard and correctly assembled. The principal limitation is that Theorem 2's hypothesis (16) is not verified for the general piecewise constant \bar A in (14); nevertheless, the example provides a solid unconditional application and the transfer principle is of independent interest, so the contribution is significant if the framing is made precise.

minor comments (5)
  1. [Theorem 2, hypothesis (16)] The hypothesis (16) is not verified for a general piecewise constant \bar A in (14); Remark 1 only supplies the DKP condition, which fails when \bar A has jumps across Whitney-cube faces, as the authors themselves note. The paper should state explicitly that the only fully verified instances of (16) are the constant (or laminate) homogenized cases, so that the generality of the theorem beyond the example is conditional on an unproved assumption.
  2. [Theorem 2, statement] The right-hand sides of (16) and of the conclusion appear as C∥f∥_{L∞(R^N)}, but the estimate is quadratic in the data; the correct term is C∥f∥^2_{L∞(R^N)}, consistent with Proposition 1 and with the proof's normalization ∥f∥_{L∞}=1.
  3. [Example after Theorem 2] The concrete example should specify a choice of ε_{kj} (for instance ε_{kj} ≤ 2^k via Corollary 1, or ε_{kj} ≤ 2^{α(p)k} via Theorem 2) so that the reader sees exactly how the smallness condition is satisfied in the DKP-violating family.
  4. [Section 2, Step 2, equation (12)] The localized two-scale expansion error equation (12) is central, but its derivation is only cited to [8]; since the authors provide a full derivation of the global equation (5), adding a brief sketch of the additional boundary terms for the localized case would improve self-containedness.
  5. [Throughout] There are a few minor typographical issues: 'Meyer's inequality' should read 'Meyers' inequality', and the phrase 'the counter-example of Theorem 1' would read better as 'the counterexample of Theorem 1'.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the Carleson hypothesis (16) is explicit, and the homogenization transfer is an independent argument.

full rationale

The paper's main theorem is a conditional transfer statement. Hypothesis (16) requires the homogenized solution \bar u to already satisfy the same Carleson measure estimate that is then concluded for the oscillating solution u. This hypothesis is not a consequence of the theorem's conclusion, nor is it defined in terms of u; it is an explicit input. The proof constructs a local two-scale expansion (19) and controls the error z = u - u2s via equations (12), (27), (29), (30), and (33). The estimate for \bar u is used directly to control terms involving \nabla \bar u, while the error terms are handled by standard homogenization estimates (correctors, flux correctors, Caccioppoli, and Meyers' inequality), with ε_kj chosen by an optimization argument, not fitted to data. The concrete example A_kj = A_per and A∞ = \bar A_per has \bar A constant, so (16) holds by classical theory for constant coefficients; the example does not presuppose the conclusion for the oscillating A. The paper explicitly notes in Remark 1 that (16) holds if \bar A satisfies DKP, so the general case is honestly conditional. The only self-citation used as a computational shortcut, [8] for the localized two-scale expansion identity (11)-(12), is to an independent published homogenization regularity theory whose assumptions do not include the target Carleson estimate; this is legitimate external support rather than a circular dependency. No step in the derivation reduces by construction to its own inputs, and no fitted parameter is renamed as a prediction.

Assumptions & free parameters 1 free parameters · 4 assumptions · 0 invented entities

The central result rests on standard homogenization machinery (correctors, two-scale expansions, bounds (6)) and on the explicit hypothesis (16) that the homogenized solution satisfies a Carleson estimate. The only hand-chosen model parameter is ε_{kj}, constrained by a scale condition. No new physical or mathematical entities are introduced; the correctors are standard constructs in periodic homogenization.

free parameters (1)
  • ε_{kj} = ε_{kj} ≤ C 2^{α(p)k}, α(p)=(3p−1)/(2(p−1)); sharper bounds in Corollary 1
    Local period parameter in each Whitney cube W_{kj}, introduced in (13). The theorem holds under this smallness condition; it is chosen by the construction, not fitted to data.
assumptions (4)
  • standard math Caccioppoli, De Giorgi-Nash-Moser, and Meyers reverse-Hölder estimates hold for u and \bar u with constants depending only on N and λ.
    Used throughout the proof, notably in (25), (32), and in the estimate of the corrector sum. These are standard results for uniformly elliptic divergence-form operators.
  • standard math Periodic correctors φ_i and flux correctors σ_i exist and satisfy the uniform bounds (6).
    Invoked in Definition 3 and equation (6); this is standard periodic homogenization theory as in [7,10].
  • domain assumption The homogenized solution \bar u satisfies the Carleson measure estimate (16).
    This is the explicit hypothesis of Theorem 2. It is automatic when \bar A is constant, as in the paper's concrete example, and holds when \bar A satisfies DKP by Proposition 1, but it is not proved in general for piecewise constant \bar A.
  • domain assumption A is constant for t≥1, and \bar A is piecewise constant on Whitney cubes.
    Simplification in (13)-(14), used to reduce large tents to Proposition 1 on the upper half-space and to localize homogenization in Whitney cubes.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Periodic homogenization and harmonic measures." pith.science (2026). https://pith.science/paper/NX5QLY53

@misc{pith2026250417396,
  author       = {Pith},
  title        = {Pith review of: Periodic homogenization and harmonic measures},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/NX5QLY53}},
  note         = {Machine review of arXiv:2504.17396}
}
read the original abstract

Since the seminal work of Kenig and Pipher, the Dahlberg-Kenig-Pipher (DKP) condition on oscillations of the coefficient matrix became a standard threshold in the study of absolute continuity of the harmonic measure with respect to the Hausdorff measure on the boundary. It has been proved sufficient for absolute continuity in the domains with increasingly complex geometry, and known counterexamples show that in a certain sense it is necessary as well. In the present note, we introduce into the subject ideas from homogenization theory to exhibit a new class of operators for which the elliptic measure is well-behaved, featuring the coefficients violating the DKP condition, and on the contrary, oscillating so quickly, that the homogenization takes place.

Figures

Figures reproduced from arXiv: 2504.17396 by the authors.

Figure 1
Figure 1. Sketch of A for t ∈ [ 1 16 , 1] (that is, 4 generations) in case of locally periodic inclusions: the periodic structure gets finer as one gets closer to the boundary. Our main result is as follows [PITH_FULL_IMAGE:figures/full_fig_p006_1.png] view at source ↗

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. The $L^p$ regularity problem for parabolic operators with transversally independent coefficients

    math.AP 2025-09 conditional novelty 8.0 of 10

    For elliptic matrices with bounded measurable coefficients independent of the transversal variable, the parabolic Regularity problem is solvable in some L^p range, dual to the known Dirichlet range for the adjoint operator.

Reference graph

Works this paper leans on

18 extracted references · 14 canonical work pages · cited by 1 Pith paper

  1. [1]

    L. A. Caffarelli, E. B. Fabes, and C. E. Kenig. Completely singular elliptic-harmonic measures.Indiana Univ. Math. J., 30(6):917–924, 1981

    work page 1981

  2. [2]

    Chipot, D

    M. Chipot, D. Kinderlehrer, and G. Vergara-Caffarelli. Smoothness of linear laminates.Arch. Rational Mech. Anal., 96(1):81–96, 1986

    work page 1986

  3. [3]

    David, L

    G. David, L. Li, and S. Mayboroda. Carleson measure estimates for the Green function.Arch. Ration. Mech. Anal., 243(3):1525–1563, 2022

    work page 2022

  4. [4]

    Dindos, S

    M. Dindos, S. Petermichl, and J. Pipher. TheLp Dirichlet problem for second order elliptic operators and ap-adapted square function.J. Funct. Anal., 249(2):372–392, 2007

    work page 2007

  5. [5]

    R. A. Fefferman, C. E. Kenig, and J. Pipher. The theory of weights and the Dirichlet problem for elliptic equations.Ann. of Math. (2), 134(1):65–124, 1991

    work page 1991

  6. [6]

    Giaquinta and L

    M. Giaquinta and L. Martinazzi.An introduction to the regularity theory for elliptic systems, harmonic maps and minimal graphs, volume 11 ofAppunti. Scuola Normale Superiore di Pisa (Nuova Serie) [Lecture Notes. Scuola Normale Superiore di Pisa (New Series)]. Edizioni della Normale, Pisa, second edition, 2012

    work page 2012

  7. [7]

    A. Gloria. Homogénéisation stochastique: du qualitatif au quantitatif.Gaz. Math., (171):41–51, 2022

    work page 2022

  8. [8]

    Gloria, S

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

    2020

Show all 18 references
  1. [9]

    D. S. Jerison and C. E. Kenig. The Dirichlet problem in nonsmooth domains.Ann. of Math. (2), 113(2):367–382, 1981

    1981

  2. [10]

    V. V. Jikov, S. M. Kozlov, and O. A. Ole˘ ınik.Homogenization of differential operators and integral functionals. Springer-Verlag, Berlin, 1994

    1994

  3. [11]

    Kenig, H

    C. Kenig, H. Koch, J. Pipher, and T. Toro. A new approach to absolute continuity of elliptic measure, with applications to non-symmetric equations.Adv. Math., 153(2):231–298, 2000

    2000

  4. [12]

    C. E. Kenig, F. Lin, and Z. Shen. Convergence rates inL2 for elliptic homogenization problems.Arch. Ration. Mech. Anal., 203(3):1009–1036, 2012

    2012

  5. [13]

    C. E. Kenig and J. Pipher. The Dirichlet problem for elliptic equations with drift terms.Publ. Mat., 45(1):199–217, 2001

    2001

  6. [14]

    C. E. Kenig and Z. Shen. Homogenization of elliptic boundary value problems in Lipschitz domains. Math. Ann., 350(4):867–917, 2011

    2011

  7. [15]

    C. E. Kenig and Z. Shen. Layer potential methods for elliptic homogenization problems.Comm. Pure Appl. Math., 64(1):1–44, 2011. PERIODIC HOMOGENIZATION AND HARMONIC MEASURES 13

    2011

  8. [16]

    Modica and S

    L. Modica and S. Mortola. Construction of a singular elliptic-harmonic measure.Manuscripta Math., 33(1):81–98, 1980/81

    1980

  9. [17]

    B. Poggi. Failure to slide: a brief note on the interplay between the kenig-pipher condition and the absolute continuity of elliptic measures. 2019. arXiv:1912.10115

    2019 arXiv

  10. [18]

    Uhlenbeck

    K. Uhlenbeck. A new proof of a regularity theorem for elliptic systems.Proc. Amer. Math. Soc., 37:315–316, 1973. (GuyDavid) Université Paris-Saclay, Laboratoire de Mathématiques d’Orsay, 91405, France Email address: Guy.David@universite-paris-saclay.fr (Antoine Gloria)Sorbonne...

    1973

Pith tools

Reviewed August 16, 2026 · model on record in the stance chip above.