REVIEW 3 minor 1 cited by
On Lions' density patch problem at a critical level of regularity
T0 review · 0 major / 3 minor · reviewed 2026-05-10 · grok-4.3
Pith's one-line read Global existence, uniqueness, and stability hold for the 2D incompressible Navier-Stokes density patch problem at critical Besov regularity, with the Lipschitz boundary preserved and long-time dynamics reducing to rigid motion.
desk verdict The paper closes the critical Besov case for Lions' density patch in 2D Navier-Stokes with global existence, Lipschitz preservation, and rigid-motion asymptotics. 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
Extended reading notes
Core claim
We prove global existence, uniqueness, and stability for a fluid occupying a bounded Lipschitz region surrounded by vacuum and evolving according to the incompressible Navier--Stokes equations, with initial velocity in Ḃ^0_{2,1}(R^2). Moreover, we show that the Lipschitz regularity of the patch is preserved, and that its long-time dynamics is a rigid motion leading to the emergence of an asymptotic domain.
Load-bearing premise
The initial velocity lies exactly in the critical space Ḃ^0_{2,1} and the initial domain is bounded and Lipschitz; the proof must rely on delicate a-priori estimates or paradifferential commutators whose validity at this endpoint regularity is not visible from the abstract and could fail for large data or certain geometries.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript studies Lions' density patch problem for the 2D incompressible Navier-Stokes equations at critical regularity. It claims to prove global existence, uniqueness, and stability of solutions for a fluid in a bounded Lipschitz domain surrounded by vacuum, with initial velocity in the homogeneous Besov space Ḃ⁰_{2,1}(ℝ²). The paper further asserts preservation of the Lipschitz regularity of the patch and that the long-time dynamics reduce to rigid motion, yielding an asymptotic domain.
Significance. If the central claims hold, the result would constitute a notable advance in free-boundary Navier-Stokes theory by establishing global well-posedness at the endpoint critical space Ḃ⁰_{2,1} without smallness assumptions on the data. It would also supply new information on the asymptotic rigid-motion behavior of Lipschitz patches, extending earlier local or higher-regularity results in the literature.
minor comments (3)
- The abstract and introduction should explicitly state the precise functional setting for the density (or characteristic function of the patch) and confirm that the vacuum region is handled via the standard extension-by-zero outside the patch.
- Notation for the Besov space Ḃ⁰_{2,1} and the associated Littlewood-Paley projections should be recalled or referenced in §2 to ensure the commutator estimates are self-contained.
- The statement of the main theorem (presumably Theorem 1.1 or 1.2) would benefit from an explicit list of the conserved quantities or a priori bounds that close the global existence argument.
Simulated Author's Rebuttal
We thank the referee for their positive assessment of our work on Lions' density patch problem at critical Besov regularity. The referee accurately captures the main contributions: global existence, uniqueness, and stability for the 2D incompressible Navier-Stokes equations with initial data in Ḃ⁰_{2,1}(ℝ²), preservation of the Lipschitz boundary, and long-time reduction to rigid motion yielding an asymptotic domain. We appreciate the recognition that this would represent a notable advance in free-boundary theory at the endpoint critical space without smallness assumptions. No specific major comments or requests for clarification were raised in the report.
Circularity Check
No significant circularity detected
full rationale
The manuscript is a pure existence/uniqueness/stability theorem for the 2D incompressible Navier-Stokes density-patch problem at the critical endpoint space Ḃ⁰_{2,1}. The abstract states the result as a direct proof that the Lipschitz regularity of the patch is preserved and that the long-time dynamics reduce to rigid motion; no fitted parameters, self-definitional quantities, or predictions that are tautological by construction appear. The derivation chain relies on a-priori estimates and paradifferential commutators whose validity is asserted at the endpoint regularity, but these are presented as independent analytic work rather than reductions to the input data or to prior self-citations that themselves contain the target statement. Consequently the central claims do not collapse to their own hypotheses by definition or by renaming.
Assumptions & free parameters
Cite this review
Pith. "Pith review of On Lions' density patch problem at a critical level of regularity." pith.science (2026). https://pith.science/paper/2604.16017
@misc{pith2026260416017,
author = {Pith},
title = {Pith review of: On Lions' density patch problem at a critical level of regularity},
year = {2026},
howpublished = {\url{https://pith.science/paper/2604.16017}},
note = {Machine review of arXiv:2604.16017}
}
abstract
In this article, we study Lions' density patch problem in two space dimensions at critical regularity. We prove global existence, uniqueness, and stability for a fluid occupying a bounded Lipschitz region surrounded by vacuum and evolving according to the incompressible Navier--Stokes equations, with initial velocity in $\dot{B}^0_{2,1}(\mathbb{R}^2)$. Moreover, we show that the Lipschitz regularity of the patch is preserved, and that its long-time dynamics is a rigid motion leading to the emergence of an asymptotic domain.
Forward citations
Cited by 1 Pith paper
-
$L^2(\mathbb{R}^2)$ Well-Posedness and Logarithmic Lipschitz Regularity for the Density Patch Problem
L2 density patches for 2D inhomogeneous Navier-Stokes are uniquely well-posed and the velocity is log-Lipschitz, so the interface keeps Hausdorff dimension 1 forever.
Reference graph
Works this paper leans on
-
[1]
H. Abidi. Équation de navierstokes avec densité et viscosité variables dans lespace critique. Rev. Mat. Iberoam., 23:537– 586, 2007
work page 2007
-
[2]
H. Abidi and G. Gui. Global well-posedness for the 2-d inhomogeneous incompressible navierstokes system with large initial data in critical spaces. Arch. Ration. Mech. Anal. , 242:1533–1570, 2021
work page 2021
- [3]
-
[4]
H. Bahouri, J.-Y. Chemin, and R. Danchin. Fourier Analysis and Nonlinear Partial Differential Equations . Springer, 2011
work page 2011
-
[5]
R. Coifman, P.-L. Lions, Y. Meyer, and S. Semmes. Compensated compactness and hardy spaces. Journal de Mathé- matiques Pures et Appliquées. Neuvième Série , 72:247–286, 1993
work page 1993
-
[6]
T. Crin-Barat, N. De Nitti, S. Škondrić, and A. Violini. Regularity aspects of leray–hopf solutions to the 2d inhomo- geneous navier–stokes system and applications to weak-strong uniqueness. Nonlinearity, 38:125020, 2025
work page 2025
-
[7]
T. Crin-Barat, S. Škondrić, and A. Violini. Relative energy method for weakstrong uniqueness of the inhomogeneous navierstokes equations far from vacuum. Journal of Evolution Equations , 25:010001, 2025
work page 2025
-
[8]
G. Crippa and C. De Lellis. Estimates and regularity results for the DiPerna-Lions flow. J. Reine Angew. Math. , 616:15–46, 2008
work page 2008
Show all 33 references
-
[9]
R. Danchin. Density-dependent incompressible viscous fluids in critical spaces. Proc. Roy. Soc. Edinburgh Sect. A , 133:1311–1334, 2003
2003
-
[10]
R. Danchin. Global well-posedness for two-dimensional inhomogeneous viscous flows with rough data via dynamic interpolation. Analysis & PDE , 18:1231–1270, 2025
2025
-
[11]
Danchin and P
R. Danchin and P. B. Mucha. A lagrangian approach for the incompressible navierstokes equations with variable density. Comm. Pure Appl. Math. , 65:1458–1480, 2012
2012
-
[12]
Danchin and P
R. Danchin and P. B. Mucha. The incompressible navierstokes equations in vacuum. Comm. Pure Appl. Math. , 72:1351– 1385, 2019
2019
-
[13]
Danchin, P
R. Danchin, P. B. Mucha, and T. Piasecki. Stability of the density patches problem with vacuum for incompressible inhomogeneous viscous flows. Ann. Inst. H. Poincaré Anal. Non Linéaire , 41:897–931, 2024
2024
-
[14]
Danchin and S
R. Danchin and S. Wang. Global unique solutions for the inhomogeneous navierstokes equations with only bounded density in critical regularity spaces. Comm. Math. Phys. , 399:1647–1688, 2023
2023
-
[15]
Danchin and X
R. Danchin and X. Zhang. On the persistence of hölder regular patches of density for the inhomogeneous navierstokes equations. J. Éc. polytech. Math. , 4:781–811, 2017
2017
-
[16]
R. J. DiPerna and P.-L. Lions. Ordinary differential equations, transport theory and Sobolev spaces. Invent. Math. , 98:511–547, 1989
1989
-
[17]
Fefferman and E
C. Fefferman and E. M. Stein. Hˆp spaces of several variables. Acta Mathematica, 129:137–193, 1972
1972
-
[18]
G. P. Galdi. An Introduction to the Mathematical Theory of the Navier–Stokes Equations . Springer, 2011
2011
-
[19]
Gancedo and E
F. Gancedo and E. García-Juárez. Global regularity of 2d density patches for inhomogeneous navierstokes. Arch. Ration. Mech. Anal., 229:339–360, 2018
2018
-
[20]
Gancedo, E
F. Gancedo, E. García-Juárez, and P. Luna-Velasco. On 2d navier–stokes free boundary: nonnegative density and small viscosity contrast, 2025. arXiv:2507.09333
2025
-
[21]
T. Hao, F. Shao, D. Wei, and Z. Zhang. Global well-posedness of inhomogeneous navier–stokes equations with bounded density. International Mathematics Research Notices , 2025:rnaf283, 2025. ON LIONS’ DENSITY PATCH PROBLEM AT A CRITICAL LEVEL OF REGULARITY 63
2025
-
[22]
T. Hao, F. Shao, D. Wei, and Z. Zhang. On the density patch problem for the 2-d inhomogeneous navier–stokes equations. Science China Mathematics , 2026
2026
-
[23]
Kazhikhov
A. Kazhikhov. Solvability of the initial-boundary value problem for the equations of the motion of an inhomogeneous viscous incompressible fluid. Dokl. Akad. Nauk SSSR , 216:1008–1010, 1974
1974
-
[24]
Liao and P
X. Liao and P. Zhang. On the global regularity of the two-dimensional density patch for inhomogeneous incompressible viscous flow. Arch. Ration. Mech. Anal. , 220:937–981, 2016
2016
-
[25]
Liao and P
X. Liao and P. Zhang. Global regularity of 2d density patches for viscous inhomogeneous incompressible flow with general density: low regularity case. Comm. Pure Appl. Math. , 72:835–884, 2019
2019
-
[26]
Lions and J
J.-L. Lions and J. Peetre. Sur une classe d’espaces d’interpolation. Publications Mathématiques de l’IHÉS , 19:5–68, 1964
1964
-
[27]
P.-L. Lions. Mathematical Topics in Fluid Mechanics. Vol. 1. Incompressible Models . Oxford University Press, 1996
1996
-
[28]
Paicu, P
M. Paicu, P. Zhang, and Z. Zhang. Global unique solvability of inhomogeneous navierstokes equations with bounded density. Comm. Partial Differential Equations , 38:1208–1234, 2013
2013
-
[29]
Prange and J
C. Prange and J. Tan. Free boundary regularity of vacuum states for incompressible viscous flows in unbounded domains, 2023. arXiv:2310.09288
2023
-
[30]
J. Simon. Nonhomogeneous viscous incompressible fluids: existence of velocity, density, and pressure. SIAM J. Math. Anal., 21:1093–1117, 1990
1990
-
[31]
H. Triebel. Function spaces in Lipschitz domains and on Lipschitz manifolds. Characteristic functions as pointwise multipliers. Rev. Mat. Complut. , 15:475–524, 2002
2002
-
[32]
Škondrić
S. Škondrić. Existence and uniqueness of leray-hopf weak solution for the inhomogeneous 2d navier–stokes equations without vacuum, 2025. arXiv:2504.16638
2025
-
[33]
P. Zhang. Global fujitakato solution of the 3-d inhomogeneous incompressible navierstokes system. Adv. Math. , 363:107007, 2020. (S. Škondrić) Chair of Analysis, Department of Mathematics, Friedrich-Alexander-Universität Erlangen- Nürnberg, CauerstraSSe 11, 91058 Erlangen, Ger...
2020
Reviewed May 10, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.