Pith. sign in

REVIEW 1 major objections 4 minor 1 cited by

A Hele-Shaw problem with interior and free boundary oscillation: well-posedness and homogenization

T0 review · 1 major / 4 minor · reviewed 2026-08-15 · deepseek-v4-flash

Pith's one-line read Random oscillations in both the interior operator and the free boundary velocity of a Hele-Shaw flow self-average, so that almost surely and for almost every time the random solutions converge to one deterministic free boundary evolution.

desk verdict Valuable paper with real novelty, but the homogenization theorem's uniqueness step hinges on a positivity assumption on G that the authors understate. read the letter →

arxiv 2508.13441 v1 pith:HPOV7M7M submitted 2025-08-19 math.AP

classification math.AP MSC 35R3535B2735D4060F15
keywords Hele-Shawflowfreeboundaryproblemviscositysolutionsflowsstochastichomogenizationstationaryergodiccoefficientssubadditivetheoremone-dimensionalPDE
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 studies a one-dimensional Hele-Shaw flow — the classical model of a viscous fluid squeezed between two narrowly separated plates, also used for tumor growth — in a medium whose coefficients oscillate rapidly and randomly. The first contribution is a well-posedness theorem: for bounded open initial support, a unique 'viscosity flow' exists, defined on the positivity set rather than on the solution function. The second, main contribution is a stochastic homogenization theorem: as the oscillation scale tends to zero, solutions converge locally uniformly, for almost every time and almost every realization of the random medium, to the unique solution of a deterministic free boundary problem with averaged coefficients. The paper thus establishes a rigorous sense in which small-scale randomness in both the interior elliptic operator and the boundary speed self-averages into one effective front law.

What carries the argument

Two mechanisms carry the argument. (i) Viscosity flows: instead of testing the solution function itself, the authors assign to each space-time set $\Omega(t)$ the exact solution of the elliptic equation in $\Omega(t)$ with zero boundary data, and define sub- and super-flows via the free boundary inequality against smooth test functions. This lets comparison proceed at the level of domains and avoids the fact that sup- and inf-convolutions destroy sub- and supersolution structure for inhomogeneous operators. (ii) The effective velocity via subadditive arrival times: with coefficients frozen at a point, one solves the ODE $\frac{dS}{dt} = q\, b(S,\omega)\,\bar a/a(S,\omega) + g(S,\omega)$; the arrival time to a point $x$ is subadditive under spatial shifts, so the subadditive ergodic theorem gives an almost-sure linear growth speed $\bar V(x_0,q)$. A uniform-in-space version of this convergence and a uniform pointwise ergodic theorem for the interior averages are what allow the half-relaxed limits of $p_\varepsilon$ to be recognized as flows of the effective problem.

What would settle it

Take a stationary ergodic medium in which $G$ is nonnegative, not identically zero, and not uniformly positive (for example the simplest one-dimensional arrangement where $G(x,y,\omega)=h(y)$ with $h\ge 0$ equal to zero on a Cantor set and positive elsewhere), with $A,B$ positive; compute the effective velocity $\bar V$ from the ODE (5.1) and check whether it satisfies condition (1.6). If the condition fails, the limiting problem may admit more than one viscosity flow, and the convergence in Theorem 1.6 would fail as stated; if it still holds, the strict-positivity assumption is removable.

Watch

Extended reading notes

Core claim

The central claim, Theorem 1.6, is that for any bounded open initial set $O$ there is a full-measure set of environments for which $p_\varepsilon(\cdot,t,\omega)\to p(\cdot,t)$ locally uniformly for almost every $t>0$. Here $p_\varepsilon$ solves the problem with oscillating coefficients $A(x,x/\varepsilon,\omega)$, $B(x,x/\varepsilon,\omega)$, $F(x,x/\varepsilon,\omega)$, and $G(x,x/\varepsilon,\omega)$, and $p$ solves the homogenized problem with deterministic coefficients $\bar A$, $\bar F$, and $\bar V$. The interior coefficients are explicit: $1/\bar A(x)=\mathbb{E}[1/A(x,\cdot,\cdot)]$ and $\bar F(x)=\mathbb{E}[F(x,\cdot,\cdot)]$. The effective free boundary velocity $\bar V(x,q)$ is not a simple average: it is the almost-sure speed of a translated ODE whose coefficients are the frozen random data, obtained by applying the subadditive ergodic theorem to arrival times. The proof works by showing that the limsup and liminf limits of the supports are, respectively, a viscosity subflow and superflow of the effective problem, and then invoking the comparison principle for flows.

Load-bearing premise

The thesis rests on the dichotomy that the boundary term $G$ is either uniformly strictly positive or identically zero; if $G$ vanishes on some places but not all, the proof does not cover the uniqueness of the effective problem, and the homogenization theorem is not established.

Editorial extensions

If this is right

  • For almost every environment and almost every time, the random oscillating problem has a sharp deterministic large-scale description; individual realizations differ only by errors that vanish locally uniformly.
  • The well-posedness theorem provides a unique viscosity flow for the heterogeneous problem, giving a predictive framework for fronts in nonuniform media beyond the averaging limit.
  • The periodic version of the homogenization theorem follows as a special case; the authors state that this was previously unknown when both interior and boundary oscillate.
  • The explicit formulas for $\bar A$ and $\bar F$ mean the effective interior behavior can be computed directly from the law of the medium, while the velocity must be computed from the ODE speed.
  • Because the support expands immediately and uniformly in $\varepsilon$ and $\omega$, there is no initial-time boundary layer in the support for the convergence result.

Reading between the lines

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

  • If the strict-positivity assumption on $G$ is truly technical, the proof strategy should extend to nonnegative $G$ with isolated zeros as soon as a continuity estimate for $\bar V$ is available without the dichotomy; the paper does not supply that estimate.
  • The homogenization and the incompressible tumor-pressure limit are both singular limits; the paper leaves open whether $\varepsilon\to 0$ and $k\to\infty$ commute, and the present result gives a plausible starting point for testing commutation numerically.
  • The explicit ODE representation of the effective speed is specific to one dimension; a multidimensional analogue would need a different averaging object, likely one tied to normals and local geometry rather than a single arrival time.
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

1 major / 4 minor

Summary. The paper studies a one-dimensional Hele-Shaw type free boundary problem in which the elliptic operator in the positivity set and the free boundary velocity both have rapidly oscillating, stationary ergodic coefficients. The authors introduce a new notion of viscosity flows for the positivity set, prove a comparison principle and well-posedness for these flows, and then establish a stochastic homogenization theorem: solutions of the microscopic problem converge locally uniformly for almost every time to the unique viscosity solution of a deterministic homogenized problem, with an effective velocity obtained from an auxiliary frozen-coefficient ODE via the subadditive ergodic theorem. The homogenization theorem is proved under Assumption 1.5, which includes the dichotomy that G is either uniformly strictly positive or identically zero.

Significance. If the proofs are correct, this is a substantial contribution: it provides a viscosity-flow framework for well-posedness of inhomogeneous Hele-Shaw problems, and it gives the first homogenization result that treats simultaneous interior and free-boundary oscillations in a random medium. The result is new even in the periodic setting. A particular strength is that the effective velocity is not fitted or guessed: it is derived from a frozen-coefficient ODE and the subadditive ergodic theorem, and the paper contains detailed proofs of the principal estimates. The main limitation is the dependence on Assumption 1.5(iv): homogenization is established only when G is uniformly positive or identically zero, and the intermediate case is explicitly left open. The abstract and introduction should state this dichotomy clearly, since the phrase 'coefficients are stationary ergodic' alone suggests a broader result.

major comments (1)
  1. [Lemma 4.4 and Proposition 5.6] The density argument used to pass from Wiener's ergodic theorem to a uniform good set is not valid as written. In the proof of Lemma 4.4, inequality (4.3) bounds the bad set in B_{2MR} by at most 8δMR, but this does not imply that for every x∈B_{MR} there is a good z with |z-x|≤4δMR: a bad interval of length 8δMR centered at x is compatible with (4.3) and contains no good point within distance 4δMR. The same flawed step appears in the proof of Proposition 5.6 around (5.8). Since both results are used in Lemma 6.3, the homogenization proof is incomplete at a load-bearing point. The gap is readily repairable (for example, by taking the Egorov good set to have measure at least 1-δ/2, or by replacing 4δ with 8δ and adjusting the final constants), but the current text needs a corrected argument.
minor comments (4)
  1. [Assumption 1.1(ii) and Lemma 3.5] As stated, Assumption 1.1(ii) requires V(x1,q1)≥η(|q1|) for all q1∈R, but for the microscopic problem with G≡0 one has V(x,0)=0. The assumption should either exclude q1=0 or allow η(0)=0, since the comparison argument only uses this inequality for nonzero slopes.
  2. [Remark 1.7(i) and abstract] The paper should prominently disclose that Theorem 1.6 is conditional on Assumption 1.5(iv). The abstract and introduction presently refer only to stationary ergodicity, which is broader than the actual hypotheses; the excluded intermediate case G≥0, with G neither strictly positive nor identically zero, is not covered and no argument is supplied for the authors' belief that the assumption is technical.
  3. [Lemma 4.6] The proof of Lemma 4.6 is somewhat handwavy when claiming that the liminf is determined by its values on rational points and can be represented as an infimum of subsequential limits. Since the solutions are uniformly Lipschitz in space with a uniform constant, the standard Arzelà-Ascoli argument should be stated more explicitly.
  4. [Typos] There are several typos: 'hueristics' in Section 1.2.2 and Section 5.1, 'subaddive' in Section 1.2.2, and the expression 'S x0 q,ε/t' in the proof of Proposition 5.6 should be written more clearly (it denotes S_{q,ε'}^{x0}(1) with ε'=ε/t).

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the effective velocity is obtained from a subadditive ergodic limit of an auxiliary ODE, and the convergence theorem is proved against that limit rather than fitted to it.

full rationale

The derivation chain is self-contained. The effective interior coefficients A and F are explicit ergodic averages (Lemma 4.5 and (4.6)), and the effective free boundary velocity V(x0,q) is defined in Corollary 5.5 as the Kingman subadditive limit of arrival times of the frozen-coefficient ODE (5.1), not as a parameter fitted to the solutions p_epsilon. The homogenization proof (Proposition 6.1 and Theorem 1.6) then shows that the half-relaxed limits of the supports are sub- and superflows for this V and uses the independently proved comparison principle (Theorem 3.3) to identify the limit; no step uses the convergence conclusion to define V or to justify an input. The paper's own Remark 1.7(i) flags Assumption 1.5(iv) as technical: Lemma 5.7's proof of the comparison condition (1.6) for V uses strict positivity of G in case (2b), so the intermediate case G>=0, not identically zero and not strictly positive, is not covered. That is a genuine proof gap in the uniqueness step of Theorem 1.6, but it is a correctness limitation, not a circular reduction. The self-citations [25, Lemmas 5.3,5.4] and [26, Lemma 5.2] in Lemma 3.1 are routine sup/inf-convolution estimates whose stated assumptions do not include the target result; under the hard rules they count as independent support and do not create circularity.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

No free parameters fitted to data; the model has no empirical constants. The analysis relies on standard ergodic theorems (Birkhoff-Khinchin, Wiener, Kingman) and on regularity results cited from prior work, notably sup/inf-convolution lemmas from Kim-Zhang [25,26] used in Lemma 3.1. The effective velocity V is derived, not postulated.

assumptions (6)
  • standard math Birkhoff-Khinchin ergodic theorem
    Used in Section 4.1 and in the heuristic derivation (1.13) to guarantee convergence of averages of 1/a to the spatial mean.
  • standard math Wiener's ergodic theorem
    Used in the proof of Lemma 4.4 to find a large set of good shifts tau_z omega.
  • standard math Kingman's subadditive ergodic theorem
    Used in Lemma 5.4 to prove convergence of arrival times T_q(x0+n; x0, omega)/n to a deterministic constant.
  • domain assumption Sup-convolution of a subsolution of the inhomogeneous elliptic equation remains a subsolution
    Cited from [25, Lemmas 5.3, 5.4] and [26, Lemma 5.2]; used in Lemma 3.1 to prove the comparison principle for viscosity flows.
  • standard math Cauchy-Lipschitz well-posedness of the effective ODE (5.1)
    Used in Lemma 5.2 to assert existence, uniqueness, and comparison for the effective front location S.
  • standard math Comparison principle for linear elliptic equations in one dimension
    Used throughout to compare solutions in the positivity sets, e.g., in Proposition 2.15 and Lemma 3.1.

how reviews work

0 comments
Cite this review

Pith. "Pith review of A Hele-Shaw problem with interior and free boundary oscillation: well-posedness and homogenization." pith.science (2026). https://pith.science/paper/HPOV7M7M

@misc{pith2026250813441,
  author       = {Pith},
  title        = {Pith review of: A Hele-Shaw problem with interior and free boundary oscillation: well-posedness and homogenization},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/HPOV7M7M}},
  note         = {Machine review of arXiv:2508.13441}
}
read the original abstract

We investigate a Hele-Shaw type free boundary problem in one spatial dimension, where heterogeneities appear both on the free boundary and within the interior of the positivity set. Our contributions are twofold. First, we establish well-posedness and a comparison principle for the problem by introducing a novel notion of viscosity flows. Second, under the assumption that the coefficients are stationary ergodic, we prove a stochastic homogenization result. Our results are new even in the periodic setting. To derive the effective free boundary velocity, we use a new approximation that accounts for both interior homogenization and free boundary propagation.

Figures

Figures reproduced from arXiv: 2508.13441 by the authors.

Figure 1
Figure 1. Illustration of the space-time regions in the proof of Proposition 3.2. [PITH_FULL_IMAGE:figures/full_fig_p018_1.png] view at source ↗
Figure 2
Figure 2. Illustration for the proof of Proposition 6.1. [PITH_FULL_IMAGE:figures/full_fig_p038_2.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. Well-posedness of a Hele-Shaw problem in general dimensions

    math.AP 2026-07 conditional novelty 7.0 of 10

    Comparison, maximal-flow existence, and generic uniqueness for Hele-Shaw-type free boundary problems with sign-changing velocity are proved in general dimension.

Reference graph

Works this paper leans on

38 extracted references · 35 canonical work pages · cited by 1 Pith paper

  1. [1]

    S. N. Armstrong and C. K. Smart , Regularity and stochastic homogenization of fully nonlinear equations without uniform ellipticity , Annals of Probability, 42 (2014), pp. 2558--2594

  2. [2]

    Barles and P

    G. Barles and P. E. Souganidis , A new approach to front propagation problems: theory and applications , Archive for rational mechanics and analysis, 141 (1998), pp. 237--296

  3. [3]

    M. E. Becker , Multiparameter groups of measure-preserving transformations: a simple proof of wiener's ergodic theorem , The Annals of Probability, (1981), pp. 504--509

  4. [4]

    Bella, B

    P. Bella, B. Fehrman, J. Fischer, and F. Otto , Stochastic homogenization of linear elliptic equations: Higher-order error estimates in weak norms via second-order correctors , SIAM Journal on Mathematical Analysis, 49 (2017), pp. 4658--4703

  5. [5]

    Bergelson, A

    V. Bergelson, A. Leibman, and C. Moreira , From discrete-to continuous-time ergodic theorems , Ergodic Theory and Dynamical Systems, 32 (2012), pp. 383--426

  6. [6]

    L. A. Caffarelli and A. Friedman , Asymptotic behavior of solutions of u_t= u^m as m , Indiana Univ. Math. J., 36 (1987), pp. 711--728

  7. [7]

    L. A. Caffarelli and S. Salsa , A geometric approach to free boundary problems , vol. 68, American Mathematical Soc., 2005

  8. [8]

    S. Choi, D. Jerison, and I. Kim , Regularity for the one-phase hele-shaw problem from a lipschitz initial surface , American journal of mathematics, 129 (2007), pp. 527--582

Show all 38 references
  1. [9]

    2765--2804

    height 2pt depth -1.6pt width 23pt, Local regularization of the one-phase hele-shaw flow , Indiana University mathematics journal, (2009), pp. 2765--2804

  2. [10]

    Craig, I

    K. Craig, I. Kim, and Y. Yao , Congested aggregation via newtonian interaction , Archive for Rational Mechanics and Analysis, 227 (2018), pp. 1--67

  3. [11]

    David and M

    N. David and M. Schmidtchen , On the incompressible limit for a tumour growth model incorporating convective effects , Communications on Pure and Applied Mathematics, 77 (2024), pp. 2613--2650

  4. [12]

    H. Dong, F. Gancedo, and H. Q. Nguyen , Global well-posedness for the one-phase muskat problem , Communications on Pure and Applied Mathematics, 76 (2023), pp. 3912--3967

  5. [13]

    height 2pt depth -1.6pt width 23pt, Global well-posedness for the one-phase muskat problem in 3d , arXiv preprint arXiv:2308.14230, (2023)

  6. [14]

    C. M. Elliott and V. Janovsk \`y , A variational inequality approach to hele-shaw flow with a moving boundary , Proceedings of the Royal Society of Edinburgh Section A: Mathematics, 88 (1981), pp. 93--107

  7. [15]

    Escher and G

    J. Escher and G. Simonett , Classical solutions of multidimensional hele--shaw models , SIAM Journal on Mathematical Analysis, 28 (1997), pp. 1028--1047

  8. [16]

    Figalli, X

    A. Figalli, X. Ros-Oton, and J. Serra , Generic regularity of free boundaries for the obstacle problem , Publications math \'e matiques de l'IH \'E S, 132 (2020), pp. 181--292

  9. [17]

    Gil and F

    O. Gil and F. Quir\'os , Convergence of the porous media equation to H ele- S haw , Nonlinear Anal., 44 (2001), pp. 1111--1131

  10. [18]

    Gu , High order correctors and two-scale expansions in stochastic homogenization , Probability Theory and Related Fields, 169 (2017), pp

    Y. Gu , High order correctors and two-scale expansions in stochastic homogenization , Probability Theory and Related Fields, 169 (2017), pp. 1221--1259

  11. [19]

    H. S. HELE-SHAW , Experiments on the nature of surface resistance of water and streamline motion under certain experimental conditions , Trans. Inst. Naval Archtects, 40 (1898), pp. 21--46

  12. [20]

    Jacobs, I

    M. Jacobs, I. Kim, and J. Tong , Tumor growth with nutrients: Regularity and stability , Communications of the American Mathematical Society, 3 (2023), pp. 166--208

  13. [21]

    Kallenberg , Foundations of modern probability , vol

    O. Kallenberg , Foundations of modern probability , vol. 2, Springer, 1997

  14. [22]

    Kim , Uniqueness and existence results on the hele-shaw and the stefan problems , Archive for Rational Mechanics & Analysis, 168 (2003)

    I. Kim , Uniqueness and existence results on the hele-shaw and the stefan problems , Archive for Rational Mechanics & Analysis, 168 (2003)

  15. [23]

    161--184

    height 2pt depth -1.6pt width 23pt, Regularity of the free boundary for the one phase hele--shaw problem , Journal of Differential Equations, 223 (2006), pp. 161--184

  16. [24]

    height 2pt depth -1.6pt width 23pt, Homogenization of the free boundary velocity , Archive for rational mechanics and analysis, 185 (2007), pp. 69--103

  17. [25]

    Kim and Y

    I. Kim and Y. P. Zhang , Porous medium equation with a drift: free boundary regularity , Archive for Rational Mechanics and Analysis, 242 (2021), pp. 1177--1228

  18. [26]

    height 2pt depth -1.6pt width 23pt, Regularity of hele-shaw flow with source and drift , Annals of PDE, 10 (2024), p. 20

  19. [27]

    I. C. Kim , Error estimates on homogenization of free boundary velocities in periodic media , in Annales de l'Institut Henri Poincar \'e C, Analyse non lin \'e aire, vol. 26, Elsevier, 2009, pp. 999--1019

  20. [28]

    1177--1187

    height 2pt depth -1.6pt width 23pt, Homogenization and error estimates of free boundary velocities in periodic media , Applicable Analysis, 91 (2012), pp. 1177--1187

  21. [29]

    I. C. Kim and A. Mellet , Homogenization of a H ele- S haw problem in periodic and random media , Arch. Ration. Mech. Anal., 194 (2009), pp. 507--530

  22. [30]

    J. F. Kingman , The ergodic theory of subadditive stochastic processes , Journal of the Royal Statistical Society: Series B (Methodological), 30 (1968), pp. 499--510

  23. [31]

    Lin and A

    J. Lin and A. Zlato s , Stochastic homogenization for reaction--diffusion equations , Archive for Rational Mechanics and Analysis, 232 (2019), pp. 813--871

  24. [32]

    Maury, A

    B. Maury, A. Roudneff-Chupin, and F. Santambrogio , A macroscopic crowd motion model of gradient flow type , Mathematical Models and Methods in Applied Sciences, 20 (2010), pp. 1787--1821

  25. [33]

    G. C. Papanicolaou and S. R. S. Varadhan , Boundary value problems with rapidly oscillating random coefficients , in Random fields, V ol. I , II ( E sztergom, 1979), vol. 27 of Colloq. Math. Soc. J\'anos Bolyai, North-Holland, Amsterdam-New York, 1981, pp. 835--873

  26. [34]

    Patrizi , Stochastic homogenization of a porous-medium type equation , arXiv preprint arXiv:2209.06342, (2022)

    S. Patrizi , Stochastic homogenization of a porous-medium type equation , arXiv preprint arXiv:2209.06342, (2022)

  27. [35]

    Perthame, F

    B. Perthame, F. Quir\`os, and J.-L. V\'azquez , The hele-shaw asymptotics for mechanical models of tumor growth , Arch. Ration. Mech. Anal., (2014), pp. 93--127

  28. [36]

    Schwab, S

    R. Schwab, S. Tu, and O. Turanova , Well-posedness for viscosity solutions of the one-phase muskat problem in all dimensions , arXiv preprint arXiv:2404.10972, (2024)

  29. [37]

    Sulak and O

    A. Sulak and O. Turanova , The incompressible limit of an inhomogeneous model of tissue growth , arXiv:2503.19849, (2025)

  30. [38]

    Wiener , The ergodic theorem , Duke Mathematical Journal, 5 (1939), pp

    N. Wiener , The ergodic theorem , Duke Mathematical Journal, 5 (1939), pp. 1--18

Pith tools

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