Recognition: 2 theorem links
· Lean TheoremGlobal well-posedness for the Hele-Shaw problem with point injection
Pith reviewed 2026-05-13 02:15 UTC · model grok-4.3
The pith
The Hele-Shaw problem with point injection admits global strong solutions for any Lipschitz initial interface in a star-shaped domain.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For any star-shaped domain whose boundary is Lipschitz and stays a positive distance from the injection point, the Hele-Shaw interface equation possesses a unique global strong solution. The proof proceeds by rewriting the problem as a nonlocal parabolic PDE on the interface, deriving energy estimates that control the Lipschitz norm uniformly in time, and showing that the solution cannot blow up or reach the source in finite time. The authors additionally introduce a viscosity-solution framework for this reduced equation and verify that it coincides with the classical viscosity theory for the Hele-Shaw problem. As a direct application, acute corners on the initial interface remain stationary
What carries the argument
The reduction of the Hele-Shaw free-boundary problem to a nonlocal parabolic equation for the radial graph of the interface over the star-shaped domain. This equation encodes the pressure jump and the normal velocity law in a single nonlocal PDE that admits standard parabolic regularity theory.
If this is right
- Strong global solutions exist for every positive time without the interface touching the source or losing Lipschitz regularity.
- Acute corners on the initial Lipschitz interface exhibit a positive waiting time before they begin to move.
- Obtuse corners on the initial interface start moving immediately after injection begins.
- The viscosity solutions of the reduced interface equation are consistent with the classical viscosity solutions of the original Hele-Shaw problem.
- Local existence results can be continued to global existence under the star-shaped geometric assumption.
Where Pith is reading between the lines
- The same reduction technique could be tested on related injection-driven free-boundary problems that lack an obvious star-shaped symmetry.
- Without the star-shaped restriction, finite-time singularities might appear, indicating that the geometric condition is essential for the global existence proof.
- The waiting-time result for corners supplies a rigorous justification for initializing numerical schemes with non-smooth data in injection flows.
Load-bearing premise
The initial domain must be star-shaped with respect to the injection point.
What would settle it
A concrete Lipschitz initial interface inside a star-shaped domain for which the corresponding nonlocal parabolic equation develops a singularity, such as the curvature becoming infinite or the interface reaching the source, in finite time.
Figures
read the original abstract
We study the two-dimensional Hele-Shaw problem with point injection for star-shaped domains. We reduce the system to a nonlocal parabolic equation of the interface, and for arbitrary Lipschitz initial interface away from the source, we prove global well-posedness of the interface equation in a strong sense. We also introduce a viscosity-solution framework for the interface equation and relate it to the classical viscosity theory for the Hele-Shaw problem. As an application, we recover angle dynamics of Lipschitz initial interfaces: acute corners exhibit positive waiting time, while obtuse corners move immediately.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript reduces the two-dimensional Hele-Shaw problem with point injection to a nonlocal parabolic interface equation under the assumption of star-shaped domains. For arbitrary Lipschitz initial interfaces away from the source, it proves global well-posedness of this equation in a strong sense. It further develops a viscosity-solution framework for the interface equation and relates it to classical viscosity theory for the Hele-Shaw problem, with an application recovering angle dynamics: acute corners have positive waiting time while obtuse corners move immediately.
Significance. If the reduction and estimates are valid, the result establishes global well-posedness for a free-boundary problem with point injection in star-shaped geometries, extending classical Hele-Shaw theory. The viscosity framework and explicit corner dynamics provide additional insight into singularity formation and waiting times. The technique of reducing to a scalar nonlocal parabolic equation is a strength that may apply to related free-boundary problems.
major comments (2)
- [§2] §2 (Reduction to the interface equation): The derivation of the nonlocal parabolic equation for the radius function r(θ,t) via polar coordinates centered at the injection point requires the domain to be star-shaped. The text does not provide an argument showing that the evolved interface remains star-shaped for all time when starting from arbitrary Lipschitz data; without this, the global validity of the equation is not justified.
- [§3–4] §3–4 (A priori estimates and global existence): The comparison principle and estimates for the nonlocal equation are derived under the standing star-shaped assumption. It is unclear whether these estimates are strong enough to prevent loss of the star-shaped property or whether the well-posedness result is conditional on preservation of star-shapedness; this is load-bearing for the global claim.
minor comments (2)
- [Abstract] Abstract: The phrasing 'for arbitrary Lipschitz initial interface away from the source' should explicitly restate the star-shaped domain hypothesis to prevent readers from overlooking the geometric restriction.
- [Viscosity framework] Viscosity framework section: The correspondence between the viscosity solutions of the nonlocal interface equation and the classical viscosity solutions of the Hele-Shaw problem could be stated as a precise theorem rather than described informally.
Simulated Author's Rebuttal
We thank the referee for the detailed report and constructive comments on the reduction and global well-posedness. We address each major comment below and will revise the manuscript to clarify the preservation of star-shapedness.
read point-by-point responses
-
Referee: [§2] §2 (Reduction to the interface equation): The derivation of the nonlocal parabolic equation for the radius function r(θ,t) via polar coordinates centered at the injection point requires the domain to be star-shaped. The text does not provide an argument showing that the evolved interface remains star-shaped for all time when starting from arbitrary Lipschitz data; without this, the global validity of the equation is not justified.
Authors: We agree that the polar-coordinate reduction is valid only while the domain remains star-shaped. The initial data is star-shaped and Lipschitz with positive distance to the source. The global existence and uniqueness for the nonlocal equation, together with the uniform lower bound on r(θ,t) obtained from the comparison principle and maximum principle in §3, ensure that inf r(θ,t) stays positive for all t>0. This prevents the interface from losing the star-shaped property. We will add an explicit remark after the derivation in §2 and a short lemma in §3 stating that the a priori estimates imply preservation of star-shapedness, thereby justifying the global validity of the reduced equation. revision: yes
-
Referee: [§3–4] §3–4 (A priori estimates and global existence): The comparison principle and estimates for the nonlocal equation are derived under the standing star-shaped assumption. It is unclear whether these estimates are strong enough to prevent loss of the star-shaped property or whether the well-posedness result is conditional on preservation of star-shapedness; this is load-bearing for the global claim.
Authors: The estimates in §§3–4 are derived under the assumption that the solution is star-shaped at each time, but the comparison principle and the resulting bounds on ||r||_∞ and Lip(r) are strong enough to yield a positive lower bound on inf_θ r(θ,t) that depends only on the initial data and is independent of t. This bound precludes r from reaching zero in finite time. We will revise §3 to include a dedicated paragraph explaining this implication and will update the statement of global well-posedness to emphasize that the result is unconditional once the initial interface is star-shaped and Lipschitz. revision: yes
Circularity Check
No circularity: standard reduction and existence proof under explicit geometric assumption
full rationale
The paper explicitly restricts to star-shaped domains to reduce the Hele-Shaw system with point source to a nonlocal parabolic equation on the radius function, then establishes global well-posedness via a priori estimates, comparison principles, and a viscosity framework. No step equates the final result to its inputs by construction, renames a fitted quantity as a prediction, or relies on a load-bearing self-citation whose content is unverified. The star-shaped condition is stated upfront as required for the polar-coordinate representation and is not smuggled in or used to force the conclusion.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Initial domain is star-shaped with Lipschitz boundary away from the injection point
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclearWe reduce the system to a nonlocal parabolic equation of the interface... ∂tη + e^{-2η}(G(h)η − 1) = 0, h = e^η
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclearFor arbitrary Lipschitz initial interface away from the source, we prove global well-posedness... star-shaped domains
Reference graph
Works this paper leans on
-
[1]
Siddhant Agrawal and Thomas Alazard,Refined Rellich boundary inequalities for the derivatives of a harmonic function, Proceedings of the American Mathematical Society151(2023), no. 5, 2103–2113
work page 2023
-
[2]
Siddhant Agrawal, Neel Patel, and Sijue Wu,Rigidity of acute angled corners for one phase Muskat interfaces, Advances in Mathematics412(2023), Paper No. 108801
work page 2023
-
[3]
Thomas Alazard,Paralinearization of free boundary problems in fluid dynamics, Partial differential equations: Waves, nonlinearities and nonlocalities, 2025, pp. 1–31
work page 2025
- [4]
- [5]
-
[6]
Thomas Alazard and Omar Lazar,Paralinearization of the Muskat equation and application to the Cauchy problem, Archive for Rational Mechanics and Analysis237(2020), no. 2, 545–583
work page 2020
-
[7]
II: critical initial data, Annals of PDE7(2021), no
Thomas Alazard and Quoc-Hung Nguyen,On the Cauchy problem for the Muskat equation. II: critical initial data, Annals of PDE7(2021), no. 1, Paper No. 7, 25 pp
work page 2021
-
[8]
,Quasilinearization of the 3D Muskat equation, and applications to the critical Cauchy problem, Advances in Mathematics399(2022), Paper No. 108278, 52 pp
work page 2022
-
[9]
,Endpoint Sobolev theory for the Muskat equation, Communications in Mathematical Physics397(2023), no. 3, 1043–1102
work page 2023
-
[10]
Jean-Pierre Aubin,Un th´ eor` eme de compacit´ e, Comptes Rendus de l’Acad´ emie des Sciences de Paris256(1963), 5042–5044
work page 1963
-
[11]
Hajer Bahouri, Jean-Yves Chemin, and Rapha¨ el Danchin,Fourier analysis and nonlinear partial differential equations, Grundlehren der mathematischen Wissenschaften, vol. 343, Springer, Berlin, 2011
work page 2011
-
[12]
Claudio Baiocchi,Su un problema di frontiera libera connesso a questioni di idraulica, Annali di Matematica Pura ed Applicata92(1972), 107–127
work page 1972
-
[13]
225, American Mathematical Society, Providence, RI, 2022
Jacob Bedrossian and Vlad Vicol,The mathematical analysis of the incompressible Euler and Navier–Stokes equa- tions: An introduction, Graduate Studies in Mathematics, vol. 225, American Mathematical Society, Providence, RI, 2022
work page 2022
-
[14]
Luis A. Caffarelli,The smoothness of the free surface in a filtration problem, Archive for Rational Mechanics and Analysis63(1976), no. 1, 77–86
work page 1976
-
[15]
,The regularity of free boundaries in higher dimensions, Acta Mathematica139(1977), 155–184
work page 1977
-
[16]
Luis A. Caffarelli and Sandro Salsa,A geometric approach to free boundary problems, Graduate Studies in Mathematics, vol. 68, American Mathematical Society, Providence, RI, 2005
work page 2005
-
[17]
Alberto P. Calder´ on,Cauchy integrals on Lipschitz curves and related operators, Proceedings of the National Academy of Sciences of the United States of America74(1977), no. 4, 1324–1327
work page 1977
-
[18]
Stephen Cameron,Global well-posedness for the two-dimensional Muskat problem with slope less than 1, Analysis & PDE12(2019), no. 4, 997–1022
work page 2019
-
[19]
´Angel Castro, Diego C´ ordoba, Charles Fefferman, and Francisco Gancedo,Breakdown of smoothness for the Muskat problem, Archive for Rational Mechanics and Analysis208(2013), no. 3, 805–909
work page 2013
-
[20]
´Angel Castro, Diego C´ ordoba, Charles Fefferman, Francisco Gancedo, and Mar´ ıa L´ opez-Fern´ andez,Rayleigh– Taylor breakdown for the Muskat problem with applications to water waves, Annals of Mathematics. Second Series 175(2012), no. 2, 909–948
work page 2012
-
[21]
Chang-Lara, Nestor Guillen, and Russell W
H´ ector A. Chang-Lara, Nestor Guillen, and Russell W. Schwab,Some free boundary problems recast as nonlocal parabolic equations, Nonlinear Analysis189(2019), 111538
work page 2019
-
[22]
Ke Chen, Quoc-Hung Nguyen, and Yiran Xu,The Muskat problem withC 1 data, Transactions of the American Mathematical Society375(2022), no. 5, 3039–3060
work page 2022
-
[23]
Xinfu Chen,The Hele-Shaw problem and area-preserving curve-shortening motions, Archive for Rational Me- chanics and Analysis123(1993), no. 2, 117–151
work page 1993
-
[24]
C. H. Arthur Cheng, Daniel Coutand, and Steve Shkoller,Global existence and decay for solutions of the Hele- Shaw flow with injection, Interfaces and Free Boundaries16(2014), no. 3, 297–338
work page 2014
-
[25]
Sunhi Choi, David Jerison, and Inwon C. Kim,Regularity for the one-phase Hele–Shaw problem from a Lipschitz initial surface, American Journal of Mathematics129(2007), no. 2, 527–582
work page 2007
-
[26]
,Local regularization of the one-phase Hele–Shaw flow, Indiana University Mathematics Journal58(2009), no. 6, 2765–2804
work page 2009
-
[27]
Sunhi Choi and Inwon C. Kim,Waiting time phenomena of the Hele–Shaw and the Stefan problem, Indiana University Mathematics Journal55(2006), no. 2, 525–551
work page 2006
-
[28]
Ronald R. Coifman, Alan McIntosh, and Yves Meyer,L’int´ egrale de Cauchy d´ efinit un op´ erateur born´ e surl2 pour les courbes lipschitziennes, Annals of Mathematics. Second Series116(1982), no. 2, 361–387. GLOBAL WELL-POSEDNESS FOR THE HELE-SHAW PROBLEM WITH POINT INJECTION 54
work page 1982
-
[29]
Peter Constantin, Diego C´ ordoba, Francisco Gancedo, Luis Rodr´ ıguez-Piazza, and Robert M. Strain,On the Muskat problem: global in time results in 2D and 3D, American Journal of Mathematics138(2016), no. 6, 1455–1494
work page 2016
-
[30]
Peter Constantin, Diego C´ ordoba, Francisco Gancedo, and Robert M. Strain,On the global existence for the Muskat problem, Journal of the European Mathematical Society15(2013), no. 1, 201–227
work page 2013
-
[31]
Peter Constantin, Francisco Gancedo, Roman Shvydkoy, and Vlad Vicol,Global regularity for 2D Muskat equa- tions with finite slope, Annales de l’Institut Henri Poincar´ e C, Analyse non lin´ eaire34(2017), no. 4, 1041– 1074
work page 2017
-
[32]
Peter Constantin and Mary Pugh,Global solutions for small data to the Hele-Shaw problem, Nonlinearity6 (1993), no. 3, 393–415
work page 1993
-
[33]
Antonio C´ ordoba, Diego C´ ordoba, and Francisco Gancedo,Interface evolution: the Hele-Shaw and Muskat prob- lems, Annals of Mathematics. Second Series173(2011), no. 1, 477–542
work page 2011
-
[34]
Diego C´ ordoba and Omar Lazar,Global well-posedness for the 2D stable Muskat problem inH 3/2, Annales Scientifiques de l’ ´Ecole Normale Sup´ erieure54(2021), no. 5, 1315–1351
work page 2021
-
[35]
Martin Costabel,Boundary integral operators on Lipschitz domains: elementary results, SIAM Journal on Math- ematical Analysis19(1988), no. 3, 613–626
work page 1988
-
[36]
Michael G. Crandall, Hitoshi Ishii, and Pierre-Louis Lions,User’s guide to viscosity solutions of second order partial differential equations, Bulletin of the American Mathematical Society27(1992), no. 1, 1–67
work page 1992
-
[37]
Henry Darcy,Les fontaines publiques de la ville de Dijon, Dalmont, Paris, 1856
-
[38]
Guy David,Op´ erateurs int´ egraux singuliers sur certaines courbes du plan complexe, Annales Scientifiques de l’´Ecole Normale Sup´ erieure17(1984), no. 1, 157–189
work page 1984
-
[39]
Thibault de Poyferr´ e and Quang-Huy Nguyen,A paradifferential reduction for the gravity-capillary waves system at low regularity and applications, Bulletin de la Soci´ et´ e Math´ ematique de France145(2017), no. 4, 643–710
work page 2017
-
[40]
Hongjie Dong, Francisco Gancedo, and Huy Q. Nguyen,Global well-posedness for the one-phase Muskat problem, Communications on Pure and Applied Mathematics76(2023), no. 12, 3912–3967
work page 2023
- [41]
-
[42]
Hongjie Dong and Hyunwoo Kwon,Global well-posedness of the one-phase Muskat problem with surface tension, Preprint, arXiv:2604.06545 [math.AP] (2026)
work page internal anchor Pith review Pith/arXiv arXiv 2026
-
[43]
Jean Duchon and Raoul Robert, ´Evolution d’une interface par capillarit´ e et diffusion de volume. I. Existence locale en temps, Annales de l’Institut Henri Poincar´ e. C, Analyse non lin´ eaire1(1984), no. 5, 361–378
work page 1984
-
[44]
Charles M. Elliott and Vladim´ ır Janovsk´ y,A variational inequality approach to Hele-Shaw flow with a moving boundary, Proceedings of the Royal Society of Edinburgh. Section A. Mathematics88(1981), no. 1–2, 93–107
work page 1981
-
[45]
Joachim Escher and Gieri Simonett,Classical solutions for Hele-Shaw models with surface tension, Advances in Differential Equations2(1997), no. 4, 619–642
work page 1997
-
[46]
,Classical solutions of multidimensional Hele-Shaw models, SIAM Journal on Mathematical Analysis28 (1997), no. 5, 1028–1047
work page 1997
- [47]
-
[48]
Patrick T. Flynn and Huy Q. Nguyen,The vanishing surface tension limit of the Muskat problem, Communica- tions in Mathematical Physics382(2021), no. 2, 1205–1241
work page 2021
-
[49]
Avner Friedman,Variational principles and free-boundary problems, Wiley, New York, 1982
work page 1982
-
[50]
Francisco Gancedo, Eduardo Garc´ ıa-Ju´ arez, Neel Patel, and Robert M. Strain,On the Muskat problem with viscosity jump: global in time results, Advances in Mathematics345(2019), 552–597
work page 2019
-
[51]
Francisco Gancedo and Omar Lazar,Global well-posedness for the three dimensional Muskat problem in the critical Sobolev space, Archive for Rational Mechanics and Analysis246(2022), no. 1, 141–207
work page 2022
-
[52]
Eduardo Garc´ ıa-Ju´ arez, Javier G´ omez-Serrano, Susanna V. Haziot, and Benoˆ ıt Pausader,Desingularization of small moving corners for the Muskat equation, Annals of PDE10(2024), no. 2, 17
work page 2024
-
[53]
Pierre Grisvard,Elliptic problems in nonsmooth domains, Pitman, Boston, 1985
work page 1985
-
[54]
Bj¨ orn Gustafsson and Alexander Vasil’ev,Conformal and potential analysis in Hele-Shaw cells, Advances in Mathematical Fluid Mechanics, Birkh¨ auser, Basel, 2006
work page 2006
-
[55]
Hele-Shaw,The flow of water, Nature58(1898), 34–36
Henry S. Hele-Shaw,The flow of water, Nature58(1898), 34–36
-
[56]
Kim,The one-phase Hele–Shaw problem with singularities, Journal of Geometric Analysis15(2005), no
David Jerison and Inwon C. Kim,The one-phase Hele–Shaw problem with singularities, Journal of Geometric Analysis15(2005), no. 4, 641–667
work page 2005
-
[57]
Carlos E. Kenig,Elliptic boundary value problems on Lipschitz domains, Beijing lectures in harmonic analysis, 1986, pp. 131–184
work page 1986
-
[58]
Inwon Kim and Yuming Paul Zhang,Regularity of Hele-Shaw flow with source and drift, Annals of PDE10 (2024), no. 2, 20. GLOBAL WELL-POSEDNESS FOR THE HELE-SHAW PROBLEM WITH POINT INJECTION 55
work page 2024
-
[59]
Inwon C. Kim,Uniqueness and existence results on the Hele–Shaw and the Stefan problems, Archive for Rational Mechanics and Analysis168(2003), no. 4, 299–328
work page 2003
-
[60]
,Long time regularity of solutions of the Hele–Shaw problem, Nonlinear Analysis: Theory, Methods & Applications64(2006), no. 12, 2817–2831
work page 2006
-
[61]
,Regularity of the free boundary for the one phase Hele–Shaw problem, Journal of Differential Equations 223(2006), no. 1, 161–184
work page 2006
- [62]
-
[63]
Jacques-Louis Lions,Quelques m´ ethodes de r´ esolution des probl` emes aux limites non lin´ eaires, Dunod and Gauthier-Villars, Paris, 1969
work page 1969
-
[64]
Bogdan-Vasile Matioc,The Muskat problem in two dimensions: equivalence of formulations, well-posedness, and regularity results, Analysis & PDE12(2019), no. 2, 281–332
work page 2019
- [65]
-
[66]
William McLean,Strongly elliptic systems and boundary integral equations, Cambridge University Press, Cam- bridge, 2000
work page 2000
-
[67]
Morris Muskat,The flow of homogeneous fluids through porous media, McGraw-Hill, New York, 1937
work page 1937
-
[68]
Huy Q. Nguyen,On well-posedness of the Muskat problem with surface tension, Advances in Mathematics374 (2020), 107344
work page 2020
-
[69]
,Global solutions for the Muskat problem in the scaling invariant Besov space ˙B1 ∞,1, Advances in Math- ematics394(2022), Paper No. 108122, 28 pp
work page 2022
-
[70]
Huy Q. Nguyen and Benoˆ ıt Pausader,A paradifferential approach for well-posedness of the Muskat problem, Archive for Rational Mechanics and Analysis237(2020), no. 1, 35–100
work page 2020
-
[71]
S. Richardson,Hele-Shaw flows with a free boundary produced by the injection of fluid into a narrow channel, Journal of Fluid Mechanics56(1972), no. 4, 609–618
work page 1972
-
[72]
Philip G. Saffman and Geoffrey I. Taylor,The penetration of a fluid into a porous medium or Hele-Shaw cell containing a more viscous liquid, Proceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences245(1958), no. 1242, 312–329
work page 1958
-
[73]
Russell W. Schwab, Son Tu, and Olga Turanova,Well-posedness for viscosity solutions of the one-phase Muskat problem in all dimensions, Preprint, arXiv:2404.10972 [math.AP] (2024)
-
[74]
Michael Siegel, Russel E. Caflisch, and Sam Howison,Global existence, singular solutions, and ill-posedness for the Muskat problem, Communications on Pure and Applied Mathematics57(2004), no. 10, 1374–1411
work page 2004
-
[75]
Michael E. Taylor,Partial differential equations III: Nonlinear equations, 2nd ed., Applied Mathematical Sciences, vol. 117, Springer, New York, 2011
work page 2011
-
[76]
Gregory C. Verchota,Layer potentials and regularity for the Dirichlet problem for Laplace’s equation in Lipschitz domains, Journal of Functional Analysis59(1984), no. 3, 572–611
work page 1984
- [77]
-
[78]
,Well-posedness in Sobolev spaces of the full water wave problem in 3-D, Journal of the American Math- ematical Society12(1999), no. 2, 445–495
work page 1999
-
[79]
,Wellposedness of the 2D full water wave equation in a regime that allows for non-C 1 interfaces, Inven- tiones Mathematicae217(2019), no. 1, 241–375
work page 2019
-
[80]
$C^1$-Regularity of the Free Boundary for Hele-Shaw Flow with Source and Drift
Yuming Paul Zhang,C 1-regularity of the free boundary for Hele-Shaw flow with source and drift, Preprint, arXiv:2604.26906 [math.AP] (2026). Department of Mathematics, University of Michigan, 530 Church St, Ann Arbor, MI 48104 Email address:jspliang@umich.edu
work page internal anchor Pith review Pith/arXiv arXiv 2026
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.