REVIEW 4 major objections 4 minor 40 references
On a local solvability of the contact Muskat problem
T0 review · 4 major / 4 minor · reviewed 2026-08-12 · deepseek-v4-flash
Pith's one-line read The paper proves that the two-phase contact Muskat problem with zero surface tension has a unique classical solution for a short time when the interface meets the fixed boundary at acute corners, and that the corner points stay fixed…
desk verdict First two-phase contact Muskat result, but the linear a priori estimate in Theorem 5.1 misapplies Lemma 5.1(iii), and several key estimates are deferred; deserves a referee, not acceptance as is. 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
The argument is carried by a sequence of reductions. A Hanzawa-type transformation, built from the unknown interface displacement s(omega, tau), fixes the moving boundary and turns problem (1.1) into a nonlinear problem in time-independent domains; linearizing about the initial data produces a transmission problem for the Laplacian with a dynamic boundary condition containing the time derivative of s. The key technical object is a model corner problem in two plane sectors of angle delta, solved via Fourier and Laplace transforms. Solvability reduces to a functional difference equation, equation (4.11), whose coefficient is expressed through the special functions S+(z) = sin(z - theta1) + q2 sin(q1 z - theta2) and S-(z) = sin z - q* sin q1 z; their explicit factorizations and zero locations determine the admissible weight exponent s in the Holder spaces. A continuation argument pastes the corner models together, and the nonlinear problem is closed by a contraction mapping argument.
What would settle it
Compute the solution of the linear corner problem (4.9) for a fixed rational angle, say delta = pi/6, using the explicit integral representation (4.12), and numerically evaluate the weighted Holder norm of (u1, u2) for a compactly supported smooth f1; if the norm grows faster than the bound in Lemma 4.4 as the time horizon T is increased, or if any nonzero f1 with zero initial data gives a non-unique solution, the central claim collapses.
Extended reading notes
Core claim
The paper's central assertion is Theorem 3.1: under assumptions (h1)-(h7), the reformulated nonlinear problem (3.9) has a unique local classical solution (U1, U2, s) on a short time interval [0, T*], with the pressures in weighted Holder classes $E^{{2+beta,beta,beta}}$_{s+2} and the interface displacement s in $E^{{2+beta,beta,beta}}$_{s+2,s*-1}. The free boundary is reconstructed from s by Gamma(tau) = {m(omega) + l s(omega, tau)}, and the initial pressure distribution solves the stationary transmission problem (3.10). Theorem 6.2 removes the rationality assumption on the angles by taking limits of solutions for approximating rational angles. Corollary 3.1 states that the corner points A0 and A1 remain fixed on [0, T*], giving the waiting-time phenomenon.
Load-bearing premise
The load-bearing premise is that the stated a priori estimates for the model corner problem with a dynamic boundary condition, namely Lemma 4.4, whose proof is omitted with a reference to earlier work, actually hold for all data allowed by the assumptions; without those estimates, the bound on the inverse linear operator and the final contraction argument have no basis.
Editorial extensions
If this is right
- The result gives the first local well-posedness theorem for the two-phase contact Muskat problem with zero surface tension and acute corners.
- The free boundary preserves its corner geometry on the existence interval: the two corner points are stationary and the interface remains a simple curve meeting the fixed boundary at the same angles.
- If the initial normal derivatives of pressure on the interface are negative and the viscosity ratio satisfies k2/k1 < 1, meaning a more viscous fluid is displaced by a less viscous one, the problem is locally well-posed.
- The same result holds for arbitrary acute angles in (0, pi/4), not only rational multiples of pi, by the approximation procedure of Section 6.
- The model corner problem with a dynamic transmission condition is solvable globally in time in weighted Holder spaces, independently of the nonlinear application, as stated in Theorems 4.1-4.3.
Reading between the lines
- A natural next step is to test the same machinery with small surface tension; the spectral obstruction encoded in assumption (h7) suggests the admissible weight range may close up as an angle approaches pi/4, hinting that the angle bound may be close to optimal.
- The waiting-time conclusion suggests a contact-line pinning mechanism that might persist under perturbations of the initial data within the stated classes, since the solution depends continuously on the data through the contraction construction.
- Because Lemma 4.4 is stated without proof, a direct verification of the weighted estimates for the explicit kernels in representation (4.12) would independently confirm the key step; this is a concrete, finite calculation for a fixed rational angle such as delta = pi/6.
- The same linear-corner tool set could be applied to the one-phase contact Hele-Shaw problem with time-fractional derivatives, since the functional equation (4.11) has the same structure for those models.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the two-dimensional contact Muskat problem with zero surface tension, where the free boundary forms acute corners with the fixed boundary. The main result (Theorem 3.1) asserts local unique classical solvability of the transformed problem (3.9) in weighted H\"older spaces under assumptions (h1)-(h7), with the free boundary defined via a Hanzawa-type transformation; Corollary 3.1 states a waiting-time phenomenon. Section 6 extends the result to arbitrary irrational angles in (0,π/4). The proof uses a linearization, a model problem with dynamic boundary conditions in corners, and a contraction argument.
Significance. If the proof is completed, this would be the first local well-posedness result for the two-phase contact Muskat problem with zero surface tension and acute corners, and the waiting-time corollary would address an interesting qualitative question. The paper provides a clear overall strategy and makes the structural assumptions explicit. However, the verification is heavily dependent on prior work of the author ([34]-[38]) and several key estimates are stated without proof, which limits the current reliability.
major comments (4)
- [Section 5.3, Theorem 5.1, paragraph (II)] In bounding the time-Hölder seminorms of w1,w2, the proof invokes Lemma 5.1(iii) for the continuation family (5.17) by setting 'φ2 = A0σ'. This is incorrect: A0σ is the trace datum φ1 (the jump w1−w2), while the flux datum in (5.17) is φ2 = k^ε A3(∂w1/∂ω−∂w2/∂ω), which is generally nonzero and depends on the unknown solution. Lemma 5.1(iii) requires φ2≡0 and yields a bound in terms of ∂φ1/∂t only. Consequently, the bound (5.6) is used outside its hypotheses, and the a priori estimate (5.15) for the inverse operator is not established. Since the contraction argument in Section 5.4 relies on Theorem 5.1, this is a load-bearing gap. Please provide a correct estimate that either absorbs the A3 term into the left side with a small T^{1−β} factor or treats it by a different method.
- [Section 4, Theorem 4.3] Theorem 4.3 concerns the q2=1 case of the corner model, which corresponds to the cases Q0=1 or Q1=1 allowed in (h7). The proof is not provided; the text states 'The proof of Theorem 4.3 is similar to arguments leading to Theorems 4.1 and 4.2. Thus, we verify (here) only the first two theorems.' Because the main theorem explicitly includes the q2=1 cases, this is not a purely cosmetic omission. Either give the proof or restrict the main theorem to cases where the corner model is fully proved.
- [Section 4.3, Lemma 4.4] The a priori estimates for the model problem are central to Theorem 4.1, yet the proof is deferred: after listing asymptotic expansions, the text says 'recasting step by step the arguments of [35, Sections 3-6]' and 'we omit them here.' The problem in [35] is not identical to (4.10) (different coefficients a1,a2,a3,k and different weight), so an explicit statement of how the cited arguments apply, or a full proof, is necessary.
- [Section 5.4, Lemma 5.4] The contraction estimates are only cited to [35, Section 5]. Given that the nonlinear terms in Lemma 5.3 depend on the specific geometry and weights of this problem, a brief proof or at least a delineation of the main estimates would be needed to verify the fixed-point argument.
minor comments (4)
- [Equation (5.17)] The flux condition in (5.17) contains the term k^ε A3(x)(∂w1/∂ω−∂w2/∂ω), but Lemma 5.1, to which the proof refers, has no such term. Please clarify how Lemma 5.1 is adapted to this coefficient or state an analogue for k^ε.
- [Lemma 5.1(iii)] In the proof of (iii), the text mentions 'the new right-hand side ∂φ2/∂t' although the hypothesis sets φ2≡0; this appears to be a typo for ∂φ1/∂t and should be corrected.
- [Section 6, around (6.2)] The estimates (6.2) are quoted from Theorem 4.2, but Theorem 4.2 itself relies on the unproved Lemma 4.4. Please ensure that the limit argument in Section 6 only uses results that are fully established.
- [General] There are several typographical and formatting issues, such as the title spacing in 'SOL V ABILITY' and the inconsistent spelling of 'Aequationes Mathematicae' in reference [37].
Circularity Check
No circular derivation found; heavy reliance on the author's own prior linear-theory papers is a verification burden rather than a circular step.
full rationale
The derivation in Theorems 3.1 and 6.2 is a standard reduction: Hanzawa-type change of variables, linearization, solvability of the linearized transmission problem, and a contraction mapping argument. The main a priori estimates are imported from the author's earlier works [34]-[38], especially [35, Sections 3-6] via Lemma 4.4 and the functional-difference equation results in [37]. These are prior publications on model problems, not restatements of Theorem 3.1, so the central well-posedness claim is not assumed. There are no fitted parameters and no equation in the paper is defined in terms of the conclusion. Corollary 3.1 (waiting time) is a direct consequence of the weighted-Hölder regularity proved in Theorem 3.1, not an independent prediction smuggled in by definition. The apparent use of Lemma 5.1(iii) with 'φ2 = A0σ' in the proof of Theorem 5.1 is a potential correctness or typo issue in applying that lemma, but even if it is an error it is an invalid inference, not a circular reduction: the bound (5.6) is not equivalent to the a priori estimate (5.15) by construction. The omitted proof of Lemma 4.4 is a transparency and verification gap that lowers confidence, but per the stated rules missing proofs and self-citation are not by themselves circularity. Score 2 reflects the heavy load-bearing self-citation and the deferred technical estimates, not a circular derivation.
Assumptions & free parameters
assumptions (6)
- standard math The functional difference equation (4.11) has explicit solutions with the zero, pole, and asymptotic properties recorded in Proposition 4.4 and Lemma 4.1, taken from [37, Theorems 2.1-2.3].
- standard math Mixed Dirichlet-transmission problems in nonsmooth plane domains are solvable with the weighted Hölder bounds given in [34, Theorem 6 and Proposition 2].
- standard math The dynamic-boundary Hele-Shaw model problem in [36, Section 4] is uniquely solvable with the stated regularity.
- standard math Schauder estimates, partition of unity, and coefficient freezing in weighted Hölder spaces hold as in [25, Sections 4.1 and 6.3] and [22, Section 6].
- domain assumption The geometric and physical hypotheses h1-h7 hold: smooth C^{l+beta} boundaries, acute angles delta0, delta1 in (0,pi/4), 0<k2<k1, negative initial normal derivatives, and weighted boundary data p1, p2.
- ad hoc to paper There exists a real weight s satisfying the interval condition in h7, where the zero-based quantities h*, f* are finite as constructed from (3.11) and Corollaries 4.2-4.4.
Cite this review
Pith. "Pith review of On a local solvability of the contact Muskat problem." pith.science (2026). https://pith.science/paper/KNYMIRAX
@misc{pith2026241114859,
author = {Pith},
title = {Pith review of: On a local solvability of the contact Muskat problem},
year = {2026},
howpublished = {\url{https://pith.science/paper/KNYMIRAX}},
note = {Machine review of arXiv:2411.14859}
}
abstract
In the paper, we discuss the two-dimensional contact Muskat problem with zero surface tension of a free boundary. The initial shape of the unknown interface is a smooth simple curve which forms acute corners $\delta_{0}$ and $\delta_{1}$ with fixed boundaries. Under suitable assumptions on the given data, the one-to-one local classical solvability of this problem is proved. We also describe the sufficient conditions on the data in the model which provide the existence of the "waiting time" phenomenon.
Figures
Reference graph
Works this paper leans on
-
[35]
N. Vasylyeva, On the solvability of some nonclassical b oundary-value problem for the Laplace equation in the plane corner, Advan. Diff. Equa. 2(10) (2007) 1167–1200
work page 2007
-
[34]
N. Vasylyeva, Mixed Dirichlet-transmission problems in non-smooth domains, In: Sadovnichiy, V.A., Zgurovsky, M .Z. (eds) Contemporary Approaches and Methods in Fundamental M athematics and Mechanics. Understanding Complex Systems. 9 Springer, Cham, (2021) 195–229. doi.org/10.1007/978-3-0 30-50302-4 9
doi:10.1007/978-3-0 2021
-
[38]
N. Vasylyeva, On a local solvability of the multidimens ional Muskat problem with a fractional derivative in time on the boundary condition, Fract. Diff. Calculus, 4(2) (2014) 89–124
work page 2014
-
[1]
Adams, Sobolev spaces, Academic Press, New York, 19 75
R.A. Adams, Sobolev spaces, Academic Press, New York, 19 75
-
[2]
S. Agrawal, N. Patel, S. W u, Regidity of acute angled corn ers for on phase Muskat interfaces, Adv. Math. 412(1) 108801 (2023)
work page 2023
-
[3]
Ambrose, W ell-posedness of two-phase Hele-Shaw flow w ithout surface tension, European J
D. Ambrose, W ell-posedness of two-phase Hele-Shaw flow w ithout surface tension, European J. Appl. Math. 15 (2004) 597–607
work page 2004
-
[4]
B.V. Bazaliy, A. Friedman, The Hele-Shaw problem with su rface tension in a half plane, J. Differ. Equa. 216 (2005) 439–469
work page 2005
-
[5]
B.V. Bazaliy, N. Vasylyeva, The Muskat problem with surf ace tension and a nonregular initial interface, Nonlinear Anal. 74 (2011) 6074–6096
work page 2011
Show all 40 references
-
[6]
Bazaliy, N
B.V. Bazaliy, N. Vasylyeva, The two-phase Hele-Shaw pro blem with a nonregular initial interface and without surfac e tension, J. Math. Phys. Anal. Geometry 10(1) (2014) 3–43
2014
-
[7]
Bazaliy, N
B.V. Bazaliy, N. Vasylyeva, On the solvability of the Hel e-Shaw model problem in weighted H¨ older spaces in a plane angle, Ukrainian Math. J. 52 (2000) 1647–1660
2000
-
[8]
Berselli, D
L.C. Berselli, D. C´ ordoba, R. Granero-Belinch´ on, Local solvability and turning for the inhomogeneous Muskat pro blem, Interfaces Free Bound. 16 (2014) 175–213
2014
-
[9]
Castro, D
A. Castro, D. C´ ordoba, C. Fefferman, F. Gancedo, Breakdo wn of smoothness for the Muskat problem, Arch. Rational Mech. Anal. 208 (2013) 805–909
2013
-
[10]
C´ ordoba, D
A. C´ ordoba, D. C´ ordoba, F. Gancedo, Interface evolut ion: the Hele-Shaw and Muskat problems, Ann. Math. 173 (2011) 477–542
2011
-
[11]
Constantin, D
P. Constantin, D. C´ ordoba, F. Gancedo, R.M. Strain, On the global existence for the Muskat problem, J. Eur. Math. Soc. 15 (2013) 201–227
2013
-
[12]
C´ ordoba, J
D. C´ ordoba, J. G´ omez-Serrano, A. Zlatoˇ s, A note on stability shifting for the Muskat problem II: stable to unstab le and back to stable, Anal. PDE 10(2) (2017) 367–378
2017
-
[13]
C´ ordoba Gazolaz, R
D. C´ ordoba Gazolaz, R. Granero-Belinch´ on, R. Orive-Illera, The confined Muskat problem: differences with the dee p water regime, Commun. Math. Sci. 12 (2014) 4223–455
2014
-
[14]
Cheng, R
C.H.A. Cheng, R. Granero-Belinch´ on, S. Shkoller, W el l-posedness of the Muskat problem with H 2 initial data, Adv. Math. 286 (2016) 32–104
2016
-
[15]
Ehrustr¨ om, J
M. Ehrustr¨ om, J. Escher, B-V. Matioc, Steady-state fin gering patterns for a periodic Muskat problem, Methods Appl . Anal. 20 (2013) 33–46
2013
-
[16]
Escher, A-V
J. Escher, A-V. Matioc, B-V. Matioc, A generalized Rayl eigh-Taylor condition for the Muskat problem, Nonlinearit y 25 (2012) 73–92
2012
-
[17]
Escher, A-V
J. Escher, A-V. Matioc, B-V. Matioc, Modelling and anal ysis of the Muskat problem for thin fluid layers, J. Math. Fluid Mech. 14 (2012) 267–277
2012
-
[18]
Escher, B-V
J. Escher, B-V. Matioc, C. W alker, The domain of parabol icity for the Muskat problem, Indiana Univ. Math. J. 2 (2018) 679–737
2018
-
[19]
Friedman, Y
A. Friedman, Y. Tao, Nonlinear stability of the Muskat p roblem with capillary pressure at the free boundary, Nonlin ear Anal. 53 (2003) 45–80
2003
-
[20]
Garcia-Ju´ arez, J
E. Garcia-Ju´ arez, J. G´ omez-Serrano, S.V. Hazios, B. Pausader, Desingularization of small moving corners for th e Muskat equation, Annal. PDE, 10(17) (2024) 1–71. CONTACT MUSKAT PROBLEM 35
2024
-
[21]
Garcia-Ju´ arez, J
E. Garcia-Ju´ arez, J. G´ omez-Serrano, H.Q. Nguyen, B. Pausader, Self-similar solutions for the Muskat equation, Adv. Math. 399 108294 (2022)
2022
-
[22]
Gilbarg, N.S
D. Gilbarg, N.S. Trudinger, Elliptic partial different ial equations of second order, 2 nd. edn. Springer, Berlin (1 983)
-
[23]
Hanzawa, Classical solution of the Stefan problem , Tohoku Math
E.I. Hanzawa, Classical solution of the Stefan problem , Tohoku Math. J. 33 (1981) 297–335
1981
-
[24]
J. Hong, Y. Tao, F. Yi, Muskat problem with surface tensi on, J. Partial Diff. Equa. 10 (1997) 213–231
1997
-
[25]
Krylov, Lecture on elliptic and parabolic equatio ns in H¨ older spaces, Graduate Studies in Mathematics, v
N.V. Krylov, Lecture on elliptic and parabolic equatio ns in H¨ older spaces, Graduate Studies in Mathematics, v. 12 , AMS (1996)
1996
-
[26]
Matioc, B-V
A-V. Matioc, B-V. Matioc, The Muskat problem with surfa ce tension and equal viscosities in subcritical Lp− Sobolev spaces, J. Ellipt. Parabolic. Equa. 7 (2021) 635–670
2021
-
[27]
Matioc, The Muskat problem in two dimensions: equi valence of formulations, well-posedness, and regularity results, Anal
B-V. Matioc, The Muskat problem in two dimensions: equi valence of formulations, well-posedness, and regularity results, Anal. PDE 12(2) (2019) 281–332
2019
-
[28]
Matioc, Viscous displacement in porous media: the Muskat problem in 2D, Transact
B-V. Matioc, Viscous displacement in porous media: the Muskat problem in 2D, Transact. American Math. Soc. 370(10) (2018) 7511–7556
2018
-
[29]
Muskat, Two fluid systems in porous media: the encoroa chment of water into an oil sand, Physics 5 (1934) 250–264
M. Muskat, Two fluid systems in porous media: the encoroa chment of water into an oil sand, Physics 5 (1934) 250–264
1934
-
[30]
Muskat, R.D
M. Muskat, R.D. Wyckoff, The flow of homogeneous fluids thr ough porous media, McGraw-Hill, New York, London (1937)
1937
-
[31]
Mel’nyk, N
T. Mel’nyk, N. Vasylyeva, Asymptotic analysis of a cont act Hele-Shaw problem in a thin domain, Nonlinear Differ. Equa. Appl. 27(48) (2020) 1–37
2020
-
[32]
Pr¨ uss, G
J. Pr¨ uss, G. Simonett, Moving interfaces and quasilin eaar parabolic evolution equations, Monographs in Mathema tics, 105, Birkh¨ auser, (2016)
2016
-
[33]
Soegel, R.E
M. Soegel, R.E. Caflish, S. Howison, Global existence, s ingular solutions and ill-posedness for the Muskat problem , Comm. Pure Appl. Math. 57 (2004) 1374–1411
2004
-
[36]
Vasylyeva, Existence of smooth solutions of the Hele -Shaw problem in a nonregular domain, Nonlinear Boundary Value Problems 19 (2009) 12–28
N. Vasylyeva, Existence of smooth solutions of the Hele -Shaw problem in a nonregular domain, Nonlinear Boundary Value Problems 19 (2009) 12–28
2009
-
[37]
Vasylyeva, On a class of functional difference equati ons: explicit solutions, asymptotic behavior and applicat ions, Aequations Mathematicae 98 (2024) 99–171
N. Vasylyeva, On a class of functional difference equati ons: explicit solutions, asymptotic behavior and applicat ions, Aequations Mathematicae 98 (2024) 99–171
2024
-
[39]
Yi, Local classical solution of Muskat free boundary problem, J
F. Yi, Local classical solution of Muskat free boundary problem, J. Partial Diff. Equa. 9(1) (1996) 84–96
1996
-
[40]
Yi, Global classical solution of Muskat free boundar y problem, J
F. Yi, Global classical solution of Muskat free boundar y problem, J. Math. Anal. Appl. 288 (2003) 442–461. Institute of Applied Mathematics and Mechanics of NAS of Ukraine G.Batyuka st. 19, 84100 Sloviansk, Ukraine; and Dipartimento di Matematica, Politecnico di Milano Piazza...
2003
Reviewed August 12, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.