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 →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
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.
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
- 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.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
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)
- [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)
- [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.
- [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.
- [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.
- [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
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
assumptions (6)
- standard math Birkhoff-Khinchin ergodic theorem
- standard math Wiener's ergodic theorem
- standard math Kingman's subadditive ergodic theorem
- domain assumption Sup-convolution of a subsolution of the inhomogeneous elliptic equation remains a subsolution
- standard math Cauchy-Lipschitz well-posedness of the effective ODE (5.1)
- standard math Comparison principle for linear elliptic equations in one dimension
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
Forward citations
Cited by 1 Pith paper
-
Well-posedness of a Hele-Shaw problem in general dimensions
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
-
[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
work page 2014
-
[2]
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
work page 1998
-
[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
work page 1981
- [4]
-
[5]
V. Bergelson, A. Leibman, and C. Moreira , From discrete-to continuous-time ergodic theorems , Ergodic Theory and Dynamical Systems, 32 (2012), pp. 383--426
work page 2012
-
[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
work page 1987
-
[7]
L. A. Caffarelli and S. Salsa , A geometric approach to free boundary problems , vol. 68, American Mathematical Soc., 2005
work page 2005
-
[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
work page 2007
Show all 38 references
-
[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
2009
-
[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
2018
-
[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
2024
-
[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
2023
-
[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)
2023 arXiv
-
[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
1981
-
[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
1997
-
[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
2020
-
[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
2001
-
[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
2017
-
[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
-
[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
2023
-
[21]
Kallenberg , Foundations of modern probability , vol
O. Kallenberg , Foundations of modern probability , vol. 2, Springer, 1997
1997
-
[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)
2003
-
[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
2006
-
[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
2007
-
[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
2021
-
[26]
height 2pt depth -1.6pt width 23pt, Regularity of hele-shaw flow with source and drift , Annals of PDE, 10 (2024), p. 20
2024
-
[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
2009
-
[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
2012
-
[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
2009
-
[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
1968
-
[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
2019
-
[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
2010
-
[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
1979
-
[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)
2022 arXiv
-
[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
2014
-
[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)
2024 arXiv
-
[37]
Sulak and O
A. Sulak and O. Turanova , The incompressible limit of an inhomogeneous model of tissue growth , arXiv:2503.19849, (2025)
2025
-
[38]
Wiener , The ergodic theorem , Duke Mathematical Journal, 5 (1939), pp
N. Wiener , The ergodic theorem , Duke Mathematical Journal, 5 (1939), pp. 1--18
1939
Reviewed August 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.