pith. sign in

arxiv: 2604.16017 · v1 · submitted 2026-04-17 · 🧮 math.AP

On Lions' density patch problem at a critical level of regularity

Stefan \v{S}kondri\'c , Alessandro Violini This is my paper

Pith reviewed 2026-05-10 08:20 UTC · model grok-4.3

classification 🧮 math.AP
keywords patchregularitycriticaldensitylionslipschitzproblemaccording
0
0 comments X

The pith

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.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

A density patch is a bounded region of constant-density fluid surrounded by vacuum. The incompressible Navier-Stokes equations govern its viscous motion. Lions posed the question of whether such patches can evolve globally without the boundary breaking down. At the critical regularity level given by the homogeneous Besov space with index zero, the paper shows that solutions exist for all positive times, remain unique, and are stable to small changes in initial data. The boundary stays Lipschitz continuous, so no cusps or breaks form. Over long times the patch stops deforming and simply translates and rotates as a rigid body, approaching a fixed limiting shape. This removes the need for extra smoothness that earlier results required and gives a precise description of the asymptotic state.

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.

read the original 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.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

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)
  1. 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.
  2. 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.
  3. 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

0 responses · 0 unresolved

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

0 steps flagged

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.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available, so no specific free parameters, axioms, or invented entities can be extracted. The result presumably rests on standard functional-analytic assumptions for the Navier-Stokes system and Besov-space embeddings.

pith-pipeline@v0.9.0 · 5376 in / 1222 out tokens · 42199 ms · 2026-05-10T08:20:32.766751+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

33 extracted references · 33 canonical work pages

  1. [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. [2]

    Abidi and G

    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. [3]

    Abidi, G

    H. Abidi, G. Gui, and P. Zhang. On the well-posedness of 3-d inhomogeneous navierstokes equations in the critical spaces. Arch. Ration. Mech. Anal. , 204:189–230, 2012

    work page 2012

  4. [4]

    Bahouri, J.-Y

    H. Bahouri, J.-Y. Chemin, and R. Danchin. Fourier Analysis and Nonlinear Partial Differential Equations . Springer, 2011

    work page 2011

  5. [5]

    Coifman, P.-L

    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. [6]

    Crin-Barat, N

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

    Crin-Barat, S

    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. [8]

    Crippa and C

    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

  9. [9]

    R. Danchin. Density-dependent incompressible viscous fluids in critical spaces. Proc. Roy. Soc. Edinburgh Sect. A , 133:1311–1334, 2003

    work page 2003

  10. [10]

    R. Danchin. Global well-posedness for two-dimensional inhomogeneous viscous flows with rough data via dynamic interpolation. Analysis & PDE , 18:1231–1270, 2025

    work page 2025

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

    work page 2012

  12. [12]

    Danchin and P

    R. Danchin and P. B. Mucha. The incompressible navierstokes equations in vacuum. Comm. Pure Appl. Math. , 72:1351– 1385, 2019

    work page 2019

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

    work page 2024

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

    work page 2023

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

    work page 2017

  16. [16]

    R. J. DiPerna and P.-L. Lions. Ordinary differential equations, transport theory and Sobolev spaces. Invent. Math. , 98:511–547, 1989

    work page 1989

  17. [17]

    Fefferman and E

    C. Fefferman and E. M. Stein. Hˆp spaces of several variables. Acta Mathematica, 129:137–193, 1972

    work page 1972

  18. [18]

    G. P. Galdi. An Introduction to the Mathematical Theory of the Navier–Stokes Equations . Springer, 2011

    work page 2011

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

    work page 2018

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

    work page arXiv 2025

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

    work page 2025

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

    work page 2026

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

    work page 1974

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

    work page 2016

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

    work page 2019

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

    work page 1964

  27. [27]

    P.-L. Lions. Mathematical Topics in Fluid Mechanics. Vol. 1. Incompressible Models . Oxford University Press, 1996

    work page 1996

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

    work page 2013

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

    work page arXiv 2023

  30. [30]

    J. Simon. Nonhomogeneous viscous incompressible fluids: existence of velocity, density, and pressure. SIAM J. Math. Anal., 21:1093–1117, 1990

    work page 1990

  31. [31]

    H. Triebel. Function spaces in Lipschitz domains and on Lipschitz manifolds. Characteristic functions as pointwise multipliers. Rev. Mat. Complut. , 15:475–524, 2002

    work page 2002

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

    work page arXiv 2025

  33. [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, Germany. Email address : stefan.skondric@fau.de (A. Violini) Universität Basel, Dep...

    work page 2020