Pith. sign in

REVIEW 2 major objections 4 minor 40 references

Well-posedness of a Hele-Shaw problem in general dimensions

T0 review · 2 major / 4 minor · reviewed 2026-08-01 · deepseek-v4-flash

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

Pith's one-line read A comparison principle governs Hele-Shaw type free boundaries in every spatial dimension, allowing the boundary to move inward or outward.

desk verdict Comparison theorem not proven as stated—needs positive separation at t=0—but the framework is novel and the gap looks repairable; deserves refereeing. read the letter →

arxiv 2607.20395 v1 pith:ZUT5OZXX submitted 2026-07-22 math.AP

Olga Turanova , Yuming Paul Zhang This is my paper · ORCID
classification math.AP MSC 35B5135R3576D27
keywords Hele-Shawflowfreeboundaryproblemviscositysolutionsflowscomparisonprinciplewell-posednessnegativevelocitygenericuniqueness
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

This paper establishes that a broad class of Hele-Shaw type free boundary problems — where an elliptic equation holds inside a positive set and the boundary moves with a prescribed normal velocity — is well-posed in every dimension. The central result is a comparison principle: a viscosity flow that starts inside another must remain inside it. From that principle, the authors obtain existence of a maximal flow for any reasonable initial set, uniqueness when the initial boundary velocity is strictly inward or outward, and uniqueness for 'almost every' initial set. The theory is built on a set-based notion of viscosity solutions, which works even when the boundary velocity is negative, i.e. when the interface contracts.

What carries the argument

The central objects are viscosity flows: space-time sets of openness defined by testing against C^{1,1} sets from inside and outside. Each test set Φ has an associated function p(x; Φ(t)), the unique viscosity solution of the elliptic problem with zero boundary data; its gradient on the boundary supplies the normal velocity in the test inequality. The proof of comparison combines a set interpolation lemma that separates two disjoint sets by a C^{1,1} surface, with a set regularization based on space-time sup/inf convolutions that strictly advances or retreats the boundary, enabling a contradiction argument.

What would settle it

Take a C^{1,1} domain and an elliptic F satisfying Assumption 1.3, then compute the associated function's non-tangential boundary gradient; if one can find a pair where this gradient fails to be continuous, Assumption 1.5(i) is violated and the definition of viscosity flow has no value at boundary points, so the comparison principle cannot be stated. Constructing such a counterexample would settle that the framework collapses at its entry point.

Watch

Extended reading notes

Core claim

The paper proves a comparison principle (Theorem 1.1) for viscosity flows of (1.1). Under structural assumptions on the elliptic operator F and the velocity V, if Ω1 is a viscosity subflow, Ω2 a viscosity superflow, and Ω1(0) ⊂ Ω2(0), then Ω1 ⊆ Ω2. This is used in a maximality construction to obtain a maximal viscosity flow (Theorem 1.2), and then to prove two uniqueness results: a unique flow when the initial normal velocity is strictly positive or strictly negative (Theorem 4.1), and a generic uniqueness result stating that for a residual set of initial domains the flow is unique (Theorem 4.2). The work also establishes a bridge between the set-testing notion of viscosity flow and the func

Load-bearing premise

Assumption 1.5(i) — that for every space-time set with C^{1,1} boundary the associated elliptic solution has a continuous non-tangential gradient on the boundary — is the load-bearing premise: the definition of viscosity flow evaluates the velocity at that gradient, and the comparison proof needs this gradient to behave continuously under perturbations.

Editorial extensions

If this is right

  • Comparison gives uniqueness of viscosity flows starting from the same initial set when the initial free boundary velocity does not vanish (Theorem 4.1).
  • Existence of a maximal flow holds for any open bounded initial set satisfying the interior ball condition (Theorem 1.2), so the flow evolution is well defined for a broad class of initial data.
  • Generic uniqueness holds: for a residual set of initial domains in the Hausdorff metric, the flow is unique (Theorem 4.2).
  • The set-function bridge (Lemma 2.8) allows translating between two established notions of weak solution for Hele-Shaw type problems.
  • The theory covers negative free boundary velocities, corresponding to shrinking interfaces, which previous existence results for expanding flows did not address.

Reading between the lines

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

  • The comparison principle likely opens the way toward homogenization and stochastic homogenization results in higher dimensions, extending the authors' one-dimensional work to general settings.
  • The generic uniqueness result may be strengthened to full uniqueness if Assumption 1.5(i) can be verified for a wider class of nonlinear operators; currently the proof depends on that regularity hypothesis.
  • The set-based framework could adapt to other front propagation laws, including nonlocal or spatially dependent normal velocities, since the key ingredients are geometric rather than equation-specific.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 4 minor

Summary. The paper develops a set-based viscosity theory for a Hele-Shaw-type free boundary problem in arbitrary space dimension: an elliptic equation inside the positive phase and a free boundary velocity V(x,∇p)|∇p|. The main objects are viscosity subflows and superflows (Definition 2.3), defined by testing with regular space-time sets. The paper's central result is a comparison principle for such flows (Theorem 1.1), proved via space-time set regularizations (Lemmas 3.3–3.6) and an interposition lemma from [7]. From comparison the authors obtain a Perron-style existence of maximal flows (Theorem 1.2) and two uniqueness results: one for initial sets whose boundary velocity has a definite sign (Theorem 4.1), and one showing generic uniqueness in the sense of a residual set of initial data (Theorem 4.2). The paper also connects the set-based definition to the more traditional function-based viscosity solution definition (Lemma 2.8), and it verifies the main structural assumptions for several linear elliptic operators.

Significance. If correct, this is a substantial contribution: it brings comparison and well-posedness for Hele-Shaw-type flows to general dimensions while allowing the free boundary velocity to be sign-changing, and it gives a workable bridge between set-testing and function-testing notions. The strategy is genuinely different from earlier work: set convolutions replace sup/inf-convolutions, and Lemma 3.5–3.6 encode the needed strict advancement. The paper is also honest about what is assumed: Assumption 1.5 is verified only for linear examples, and Lemma 2.8 is explicitly one-directional. No fitted parameters or numerical claims appear; the proofs are structured and mostly checkable. However, the proof of the comparison principle contains a concrete initial-separation gap, described below, that affects the paper's main well-posedness theorems as currently stated.

major comments (2)
  1. [§3.2, Eq. (3.13)] The proof of Theorem 1.1 requires an initial positive separation that is not present in the hypotheses. After setting r=ε²h and δ=εh, the text asserts that for h sufficiently small, B_r(Ω^{δ,r,h}_1)∩(R^d×[0,t])⊆Ω^{δ,r,h}_2 for all sufficiently small t. At t=0, the left-hand side is the r-neighborhood of (a time-rescaled) Ω1(0), while the right-hand side is the r-interior of Ω2(0). The hypothesis Ω1(0)⊂Ω2(0) does not imply dist(Ω1(0),∂Ω2(0))>0. For example, in d=1 with Ω1(0)=(0,1) and Ω2(0)=(0,2), inclusion is strict but (−r,1+r) is never contained in (r,2−r) for any r>0. Thus (3.13) fails no matter how small h is. The proof as written establishes comparison only under an extra compact-containment hypothesis. Since Theorem 1.2 and Theorems 4.1–4.2 rely on Theorem 1.1, this gap is load-bearing for the main well-posedness claims. It is likely repairable either by adding dist(Ω1(0),∂Ω2(0))>0
  2. [§2.2, Lemma 2.8, Step 2] The reduction to the non-degenerate case ∇ϕ≠0 at boundary contact points is not fully justified. The proof asserts that because Ω_ε(t) satisfies an interior ball condition, the Hopf maximum principle implies that the associated sub-function p_ε is non-degenerate near the boundary, and hence any test function touching p_ε from above at a boundary point must have nonzero spatial gradient. No Hopf lemma for viscosity solutions in merely interior-ball domains is stated or cited, and Ω_ε(t) is only a union of balls, so its boundary need not be C^{1,1}. This is a gap in one of the paper's advertised contributions (the flow/solution bridge). It does not directly affect the set-flow comparison, but the lemma should either be proved with a precise Hopf-type statement or the needed regularity/geometry assumption should be added.
minor comments (4)
  1. [Lemma 3.3(ii)] The statement says 'the regular from the interior of Ω^δ_1' where it should be Ω^δ_2; this is presumably a typo.
  2. [Lemma 3.6(ii)] The notation uses (y1,s1) and (x1,t1) in the statement, but the intended points are (y2,s2) and (x2,t2); please correct.
  3. [§4.3, Theorem 4.2] The state space C_r is defined as closed sets with an interior ball condition, while Theorem 1.2 is stated for open bounded sets. The relationship between the closed-set formulation and the open-set existence theorem should be clarified, e.g., by taking interiors or by adjusting the definitions.
  4. [Assumption 1.5] The paper would be easier to use if it explicitly stated that the main theorems are conditional on Assumption 1.5(i)–(ii), which are verified only for linear elliptic operators and one-dimensional examples. This is not a defect, but the scope of the theory should be phrased carefully in the introduction and abstract.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the comparison principle and well-posedness are derived from explicit structural assumptions; self-citations are methodological and not load-bearing.

full rationale

The paper's central claims are theorems proved from the stated Assumptions 1.3 and 1.5, not from fitted data or from the conclusions themselves. Definition 2.3 introduces viscosity flows via local testing by regular sets, and Theorem 1.1 is proved by an explicit regularization/interposition argument in Section 3 that does not quote the theorem being proved. The gradient comparison used in the proof comes from Assumption 1.5(ii), an explicit hypothesis about elliptic Dirichlet problems in shifted C^{1,1} domains, not from the flow comparison being established; it is verified for linear operators in Lemmas 2.11 and 2.13. The self-citation [38] is cited only as methodological inspiration ('adapting the approach introduced by the authors in [38]'), while the actual constructions (3.1)-(3.3) and Lemmas 3.3-3.6 are stated and proved in the present paper. The generic uniqueness proof imports the residual-set framework from [3,6,7], which are external works by other authors, and applies it only after the comparison principle is established. The manuscript also states its own limitations: Remark 1.6 leaves verification of Assumption 1.5(ii) for wider classes to future work, and the text notes that the converse of Lemma 2.8 'remains unclear.' These are honesty about scope, not circularity. The possible gap noted by the skeptic concerning the strict containment (3.13) for touching initial sets is a correctness issue in the proof, not a circularity, since it does not make the theorem an input of the derivation. No fitted parameter is relabeled as a prediction, and no load-bearing claim is justified solely by a self-citation. The derivation chain is self-contained modulo the stated assumptions.

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

The paper contributes theorems whose proofs start from explicit assumptions on F and V. The axioms above are the hypotheses the theorems depend on; none is derived in the paper except the example verifications. No free parameters are fitted — proof constants (γ, δ, r, h, ε) are existential choices. No invented entities: 'viscosity flow' and 'associated function' are new mathematical definitions serving as the objects of the theory, not postulated physical mechanisms, and they carry no independent empirical handle.

assumptions (8)
  • domain assumption Assumption 1.3(i): F is uniformly elliptic and Lipschitz in all variables; for any U with C^{1,1} boundary, (1.2) has a unique non-trivial viscosity solution with zero boundary data.
    Needed so every test set has a well-defined associated function p(·; U) (Definition 1.4) used throughout the viscosity-flow definitions and proofs. Stated in Section 1.2, used from Section 2 on.
  • domain assumption Assumption 1.3(ii): V continuous and satisfying (1.3)-(1.4), i.e., monotonicity in gradient magnitude and a Lipschitz-type structural inequality with spatial shifts.
    Remark 1.6 says (1.3) is 'essential in the proof of the comparison principle'; (1.4) is used to compare V at shifted points/gradients near eq. (3.25). Verified for V(x,q)=a(x)|q|+b(x) with a≥c>0 (Lemma 2.10).
  • domain assumption Assumption 1.5(i): for a C^{1,1} space-time set Ω, the associated function p(·; Ω(t)) has ∂_t p and ∇p existing and continuous along non-tangential directions on ∂Ω.
    Load-bearing: Definition 2.3's test inequalities evaluate ∇p(x; Φ(t)); Lemma 2.8 Step 1 needs it to move from function tests to set tangencies. Not verified for general nonlinear F; holds for the linear examples by classical theory.
  • domain assumption Assumption 1.5(ii): for r,δ∈(0,1] and C r ≤ δ, solutions on a domain and on the same domain with the operator shifted by ν satisfy (1+δ)|∇u_2| ≥ |∇u_1| on the boundary.
    Used in the comparison proof to obtain |q_1| ≤ (1+δ)|q_2| (eq. (3.25)). Verified only for linear operators (Lemmas 2.11, 2.13; Remark 2.12); Remark 1.6 leaves wider verification to future work. All main theorems inherit this condition.
  • standard math Theorem 2.9 (interposition of sets): two 'nice' sets admit a C^{1,1} set externally tangent to one and, by translation, internally tangent to the other.
    Imported from [7, Theorem 3.3(i)]; used in the proof of Theorem 1.1 to produce the test sets Σ_1, Σ_2 with equal normal velocity (eq. (3.18)-(3.19)).
  • standard math Generic continuity of upper semicontinuous set-valued maps: an usc map with compact values into a metric space is continuous on a residual subset (Aubin-Frankowska [3, Thm 1.4.13]; Baire theorem).
    This is the engine of Theorem 4.2; the map S sending initial sets to maximal flows is shown usc, and continuity on a residual set yields uniqueness there.
  • domain assumption Initial-data regularity: Ω0 open, bounded, with the interior ball condition (Theorem 1.2) or C^{1,1} boundary (Theorem 4.1); C_r denotes closed sets with a uniform interior ball radius r.
    The interior ball condition is used to show the Perron union covers Ω0 at t=0; C^{1,1} is used in Theorem 4.1 to build expanding/contracting comparison sets Φ^{δ,ε}.
  • standard math Hopf maximum principle: a non-trivial solution of the uniformly elliptic equation in a C^{1,1} domain has nonzero exterior normal derivative on the boundary.
    Used in Lemma 2.8 Step 2 to ensure non-degeneracy of the regularized flows, so that test functions have nonzero spatial gradient.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Well-posedness of a Hele-Shaw problem in general dimensions." pith.science (2026). https://pith.science/paper/ZUT5OZXX

@misc{pith2026260720395,
  author       = {Pith},
  title        = {Pith review of: Well-posedness of a Hele-Shaw problem in general dimensions},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/ZUT5OZXX}},
  note         = {Machine review of arXiv:2607.20395}
}
read the original abstract

We investigate a Hele-Shaw type free boundary problem in general spatial dimension. We establish a comparison principle and well-posedness for the problem using a notion of viscosity flows. An important feature of our work is that our hypotheses allow for the free boundary velocity to take negative values.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

40 extracted references · 6 linked inside Pith

  1. [38]

    Turanova and Y

    O. Turanova and Y. P. Zhang. A Hele-Shaw problem with interior and free boundary oscillation: well-posedness and homogenization.arXiv preprint arXiv:2508.13441, 2025. 29

    arXiv 2025

  2. [7]

    Cardaliaguet and O

    P. Cardaliaguet and O. Ley. Some flows in shape optimization.Archive for Rational Mechanics and Analysis, 183(1):21–58, 2007

    2007

  3. [1]

    Alazard and H

    T. Alazard and H. Koch. The Hele-Shaw semi-flow.arXiv preprint arXiv:2312.13678, 2023

    arXiv 2023

  4. [2]

    Andrews and M

    B. Andrews and M. Feldman. Nonlocal geometric expansion of convex planar curves. Journal of Differential Equations, 182(2):298–343, 2002

    2002

  5. [3]

    Aubin and H

    J.-P. Aubin and H. Frankowska. Set-valued analysis, 1990

    1990

  6. [4]

    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:237–296, 1998

    1998

  7. [5]

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

    2005

  8. [6]

    Cardaliaguet

    P. Cardaliaguet. On front propagation problems with nonlocal terms.Advances in Differential Equations, 5(1-3):213–268, 2000. 27

    2000

Show all 40 references
  1. [8]

    Cardaliaguet and E

    P. Cardaliaguet and E. Rouy. Viscosity solutions of increasing flows of sets. application of the Hele–Shaw problem for power-law fluids.SIAM Journal on Mathematical Analysis, 38(1):143–165, 2006

    2006

  2. [9]

    Chen and L.-C

    Y.-Z. Chen and L.-C. Wu.Second order elliptic equations and elliptic systems, volume

  3. [10]

    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(2):527–582, 2007

    2007

  4. [11]

    S. Choi, D. Jerison, and I. Kim. Local regularization of the one-phase Hele-Shaw flow. Indiana University Mathematics Journal, pages 2765–2804, 2009

    2009

  5. [12]

    Craig, I

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

    2018

  6. [13]

    M. G. Crandall, H. Ishii, and P.-L. Lions. User’s guide to viscosity solutions of second order partial differential equations.Bull. Amer. Math. Soc. (N.S.), 27(1):1–67, 1992

    1992

  7. [14]

    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(5):2613–2650, 2024

    2024

  8. [15]

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

    2023

  9. [16]

    H. Dong, F. Gancedo, and H. Q. Nguyen. Global well-posedness for the one-phase muskat problem in 3d.arXiv preprint arXiv:2308.14230, 2023

    2023 arXiv

  10. [17]

    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(1-2):93–107, 1981

    1981

  11. [18]

    Escher and G

    J. Escher and G. Simonett. Classical solutions of multidimensional Hele–Shaw models. SIAM Journal on Mathematical Analysis, 28(5):1028–1047, 1997

    1997

  12. [19]

    Figalli, X

    A. Figalli, X. Ros-Oton, and J. Serra. Generic regularity of free boundaries for the obstacle problem.Publications math´ ematiques de l’IH ´ES, 132(1):181–292, 2020

    2020

  13. [20]

    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:21–46, 1898

  14. [21]

    T. Ilmanen. The level-set flow on a manifold. InDifferential geometry: partial differential equations on manifolds (Los Angeles, CA, 1990), volume 54, Part 1 ofProc. Sympos. Pure Math., pages 193–204. Amer. Math. Soc., Providence, RI, 1993. 28

    1990

  15. [22]

    Jacobs, I

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

    2023

  16. [23]

    I. Kim. Uniqueness and existence results on the Hele-Shaw and the stefan problems. Archive for Rational Mechanics and Analysis, 168(4), 2003

    2003

  17. [24]

    I. Kim. Regularity of the free boundary for the one phase Hele–Shaw problem.Journal of Differential Equations, 223(1):161–184, 2006

    2006

  18. [25]

    Kim and Y

    I. Kim and Y. P. Zhang. Regularity of Hele–Shaw flow with source and drift.Annals of PDE, 10(2):20, 2024

    2024

  19. [26]

    I. C. Kim. Homogenization of a model problem on contact angle dynamics.Communi- cations in Partial Differential Equations, 33(7):1235–1271, 2008

    2008

  20. [27]

    I. C. Kim and A. Mellet. Homogenization of a Hele-Shaw problem in periodic and random media.Archive for Rational Mechanics and Analysis, 194(2):507–530, 2009

    2009

  21. [28]

    Leobacher and A

    G. Leobacher and A. Steinicke. Existence, uniqueness and regularity of the projection onto differentiable manifolds.Annals of Global Analysis and Geometry, 60(3):559–587, 2021

    2021

  22. [29]

    Z. Liang. Global well-posedness for the Hele-Shaw problem with point injection.arXiv preprint arXiv:2605.11251, 2026

    2026 arXiv

  23. [30]

    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(10):1787–1821, 2010

    2010

  24. [31]

    Perthame, F

    B. Perthame, F. Quir` os, and J.-L. V´ azquez. The Hele-Shaw asymptotics for mechanical models of tumor growth.Archive for Rational Mechanics and Analysis, pages 93–127, 2014

    2014

  25. [32]

    Poˇ z´ ar

    N. Poˇ z´ ar. Long-time behavior of a Hele-Shaw type problem in random media.Interfaces and Free Boundaries, 13(3):373–395, 2011

    2011

  26. [33]

    Poˇ z´ ar

    N. Poˇ z´ ar. Homogenization of the Hele-Shaw problem in periodic spatiotemporal media. Archive for Rational Mechanics and Analysis, 217(1):155–230, 2015

    2015

  27. [34]

    R. T. Rockafellar and R. J. Wets.Variational analysis. Springer, 1998

    1998

  28. [35]

    Rudin.Functional Analysis

    W. Rudin.Functional Analysis. McGraw-Hill, Inc., New York, second edition, 1991

    1991

  29. [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

  30. [37]

    Sulak and O

    A. Sulak and O. Turanova. The incompressible limit of an inhomogeneous model of tissue growth.Acta Applicandae Mathematicae, 203(1):7, 2026

    2026

  31. [39]

    Y. P. Zhang.C 1-regularity of the free boundary for Hele-Shaw flow with source and drift.arXiv preprint arXiv:2604.26906, 2026. 30

    2026 arXiv

  32. [174]

    American Mathematical Soc., 1998

    1998

Pith tools

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