pith. sign in

arxiv: 2606.20207 · v1 · pith:ZKZF7QRSnew · submitted 2026-06-18 · 🧮 math.AP

Solutions of the 3D inhomogeneous incompressible Navier-Stokes system with initial velocity in VMO⁻¹

Pith reviewed 2026-06-26 16:31 UTC · model grok-4.3

classification 🧮 math.AP
keywords inhomogeneous Navier-StokesVMO^{-1}strong solutionslocal existenceglobal existencefreezing-coefficient methodtransport equation
0
0 comments X

The pith

The three-dimensional inhomogeneous incompressible Navier-Stokes equations admit local strong solutions for initial density in C^1 with positive lower bound and initial velocity in L^2 cap VMO^{-1}.

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

The paper establishes local existence of strong solutions to the 3D inhomogeneous incompressible Navier-Stokes equations when the initial density is in C^1 and bounded away from zero, and the initial velocity lies in L^2 intersect VMO^{-1}. This allows for initial velocities with limited regularity in a space that captures certain oscillations. Additionally, global existence is shown when the density is in C^2 and both the deviation of density from one and the BMO^{-1} norm of velocity are small. The approach uses transport equation estimates to control density regularity and introduces a freezing-coefficient method to manage the variable density in the momentum equation.

Core claim

We establish local existence of strong solutions for the three-dimensional inhomogeneous incompressible Navier-Stokes equations with initial data (ρ₀,u₀) lying in C¹ × (L² ∩ VMO^{-1}), where ρ₀ has a positive lower bound. Furthermore, if ρ₀ ∈ C² and ||ρ₀−1||_{L^∞} + ||u₀||_{BMO^{-1}} is sufficiently small, we prove global existence of the solution. To achieve this, we employ an estimate for the transport equation to obtain regularity for the density and apply a new freezing-coefficient method for the momentum equation.

What carries the argument

New freezing-coefficient method for handling the momentum equation with variable density, combined with transport equation estimates for density regularity.

If this is right

  • Local strong solutions exist for the specified initial data.
  • Global strong solutions exist under smallness assumptions on density deviation and velocity norm.
  • Density regularity is obtained from the transport structure.
  • The method extends the class of allowable initial velocities beyond previous spaces.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The result indicates that VMO^{-1} may be suitable for other fluid systems with variable coefficients.
  • Numerical simulations could check behavior as the density lower bound approaches zero.
  • The freezing method might apply to related variable-coefficient PDEs in fluid dynamics.

Load-bearing premise

The initial density is bounded below by a positive constant to control coefficients in the momentum equation.

What would settle it

A concrete counterexample where a solution fails to exist locally despite satisfying the initial data conditions would falsify the existence claim.

read the original abstract

In this paper, we establish local existence of strong solutions for the three-dimensional inhomogeneous incompressible Navier-Stokes equations with initial data $(\rho_0,u_0)$ lying in $C^1 \times (L^2 \cap VMO^{-1})$, where $\rho_0$ has a positive lower bound. Furthermore, if $\rho_0 \in C^2$ and $||\rho_0-1||_{L^\infty}+||u_0||_{BMO^{-1}}$ is sufficiently small, we prove global existence of the solution. To achieve this, we employ an estimate for the transport equation to obtain regularity for the density and apply a new freezing-coefficient method for the momentum equation.

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 / 1 minor

Summary. The paper establishes local existence of strong solutions to the 3D inhomogeneous incompressible Navier-Stokes equations with initial data (ρ₀, u₀) in C¹ × (L² ∩ VMO^{-1}), where ρ₀ is bounded below by a positive constant. It further proves global existence when ρ₀ ∈ C² and ||ρ₀ − 1||_{L^∞} + ||u₀||_{BMO^{-1}} is sufficiently small. The argument relies on transport estimates to control the density and a new freezing-coefficient method to obtain a priori bounds on the momentum equation.

Significance. If the claims hold, the work extends Koch-Tataru-type local well-posedness results from the homogeneous case to the inhomogeneous setting in the space VMO^{-1}, which sits between BMO^{-1} and spaces with better continuity properties. The small-data global existence result follows the expected pattern once the local theory is in place. The new freezing-coefficient technique, if correctly implemented and reproducible, would be a useful tool for other variable-coefficient parabolic systems.

minor comments (1)
  1. The abstract invokes a 'new freezing-coefficient method' without indicating the section in which its details and error estimates appear; this makes it difficult for a reader to locate the central technical step.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their summary of the manuscript and for recognizing the potential significance of extending Koch-Tataru-type results to the inhomogeneous Navier-Stokes system via the freezing-coefficient approach. The report does not list any specific major comments, so we have no point-by-point responses to provide. We remain available to supply additional details or clarifications should the referee wish to elaborate on the 'uncertain' recommendation.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The derivation relies on transport estimates preserving C¹ regularity and positive lower bound for density, combined with a freezing-coefficient technique for a priori bounds on the momentum equation in L² ∩ VMO^{-1}. These are independent analytical steps in the PDE theory; no self-definitional reductions, fitted inputs renamed as predictions, or load-bearing self-citations appear in the stated claims or methods. The result is self-contained against external benchmarks with no reduction to inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Abstract-only review; the ledger records only the background analytic tools explicitly named. No free parameters or invented entities are visible. The proof is said to rest on transport-equation estimates and a freezing-coefficient technique whose details remain unexamined.

axioms (2)
  • standard math Standard a-priori estimates for linear transport equations with divergence-free velocity fields
    Invoked to obtain regularity of the density from the continuity equation.
  • standard math Functional-analytic properties of VMO^{-1} and BMO^{-1} spaces (embeddings, duality, etc.)
    Used to place the initial velocity and to close the smallness argument for global existence.

pith-pipeline@v0.9.1-grok · 5666 in / 1474 out tokens · 43139 ms · 2026-06-26T16:31:54.862564+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

35 extracted references · 2 canonical work pages

  1. [1]

    Abidi, ´Equation de Navier-Stokes avec densit´ e et viscosit´ e variables dans l’espace critique, Rev

    H. Abidi, ´Equation de Navier-Stokes avec densit´ e et viscosit´ e variables dans l’espace critique, Rev. Mat. Iberoam.23(2007), no. 2, 537–586; MR2371437

  2. [2]

    Abidi, G

    H. Abidi, G. L. Gui and P. Zhang, On the wellposedness of three-dimensional inhomogeneous Navier-Stokes equations in the critical spaces, Arch. Ration. Mech. Anal.204(2012), no. 1, 189–230; MR2898739

  3. [3]

    Abidi, G

    H. Abidi, G. L. Gui and P. Zhang, Well-posedness of 3-D inhomogeneous Navier-Stokes equations with highly oscillatory initial velocity field, J. Math. Pures Appl. (9)100(2013), no. 2, 166–203; MR3073212

  4. [4]

    Abidi, G

    H. Abidi, G. L. Gui and P. Zhang, On the global existence and uniqueness of solution to 2-D inhomogeneous incompressible Navier-Stokes equations in critical spaces, J. Differential Equations406(2024), 126–173; MR4759529

  5. [5]

    Bahouri, J

    H. Bahouri, J. Y. Chemin, R. Danchin.Fourier Analysis and Nonlinear Partial Differential Equations. Springer, 2011. DOI:10.1007/978-3-642-16830-7. INHOMOGENEOUS NAVIER-STOKES EQUATIONS 51

  6. [6]

    Barker, Uniqueness results for weak Leray-Hopf solutions of the Navier-Stokes system with initial values in critical spaces, J

    T. Barker, Uniqueness results for weak Leray-Hopf solutions of the Navier-Stokes system with initial values in critical spaces, J. Math. Fluid Mech.20(2018), no. 1, 133–160; MR3767658

  7. [7]

    Bourgain and N

    J. Bourgain and N. Pavlovi´ c, Ill-posedness of the Navier-Stokes equations in a critical space in 3D, J. Funct. Anal.255(2008), no. 9, 2233–2247; MR2473255

  8. [8]

    Cannone, Y

    M. Cannone, Y. F. Meyer and F. Planchon, Solutions auto-similaires des ´ equations de Navier-Stokes, in S´ eminaire sur les´Equations aux D´ eriv´ ees Partielles, 1993–1994, Exp. No. VIII, 12 pp.,´Ecole Polytech., Palaiseau, ; MR1300903

  9. [9]

    Chemin, About weak-strong uniqueness for the 3D incompressible Navier-Stokes system, Comm

    J.-Y. Chemin, About weak-strong uniqueness for the 3D incompressible Navier-Stokes system, Comm. Pure Appl. Math.64(2011), no. 12, 1587–1598; MR2838337

  10. [10]

    Chemin, M

    J.-Y. Chemin, M. Paicu and P. Zhang, Global large solutions to 3-D inhomogeneous Navier-Stokes system with one slow variable, J. Differential Equations256(2014), no. 1, 223–252; MR3115841

  11. [11]

    K. Chen, R. Hu and Q.-H. Nguyen,Local well-posedness of the 1d compressible Navier–Stokes system with rough data. Calculus of Variations and Partial Differential Equations, 2024,63, Paper No. 42, 45. DOI: 10.1007/s00526-023-02653-w

  12. [12]

    K. Chen, R. Hu and Q.-H. Nguyen, Well-posedness for local and nonlocal quasilinear evolution equations in fluids and geometry, arxiv:2407.05313

  13. [13]

    Chen, L.-K

    K. Chen, L.-K. Ha, R. Hu and Q.-H. Nguyen, Global well-posedness of the 1d compressible Navier-Stokes system with rough data, J. Math. Pures Appl. (9)179(2023), 425–453; MR4659290

  14. [14]

    D. X. Chen, Z. F. Zhang and W. Zhao, Fujita-Kato theorem for the 3-D inhomogeneous Navier-Stokes equations, J. Differential Equations261(2016), no. 1, 738–761; MR3487274

  15. [15]

    M. P. Coiculescu and S. Palasek, Non-uniqueness of smooth solutions of the Navier–Stokes equations from critical data, Invent. Math.244(2026), no. 1, 165–219; MR5008166

  16. [16]

    Danchin, Density-dependent incompressible viscous fluids in critical spaces, Proc

    R. Danchin, Density-dependent incompressible viscous fluids in critical spaces, Proc. Roy. Soc. Edinburgh Sect. A133(2003), no. 6, 1311–1334; MR2027648

  17. [17]

    Danchin and P

    R. Danchin and P. B. Mucha, A critical functional framework for the inhomogeneous Navier-Stokes equations in the half-space, J. Funct. Anal.256(2009), no. 3, 881–927; MR2484939

  18. [18]

    Danchin and P

    R. Danchin and P. B. Mucha, A Lagrangian approach for the incompressible Navier-Stokes equations with variable density, Comm. Pure Appl. Math.65(2012), no. 10, 1458–1480; MR2957705

  19. [19]

    Danchin and P

    R. Danchin and P. B. Mucha, The incompressible Navier-Stokes equations in vacuum, Comm. Pure Appl. Math.72(2019), no. 7, 1351–1385; MR3957394

  20. [20]

    Danchin and S

    R. Danchin and S. Wang, Global unique solutions for the inhomogeneous Navier-Stokes equations with only bounded density, in critical regularity spaces, Comm. Math. Phys.399(2023), no. 3, 1647–1688; MR4580531

  21. [21]

    Danchin and P

    R. Danchin and P. Zhang, Inhomogeneous Navier-Stokes equations in the half-space, with only bounded density, J. Funct. Anal.267(2014), no. 7, 2371–2436; MR3250369

  22. [22]

    Dong and Z

    B.-Q. Dong and Z. Zhang, On the weak-strong uniqueness of Koch-Tataru’s solution for the Navier-Stokes equations, J. Differential Equations256(2014), no. 7, 2406–2422; MR3160448

  23. [23]

    Fujita and T

    H. Fujita and T. Kato, On the Navier-Stokes initial value problem. I, Arch. Rational Mech. Anal.16 (1964), 269–315; MR0166499

  24. [24]

    Hao et al., Global well-posedness of inhomogeneous Navier-Stokes equations with bounded density, Int

    T. Hao et al., Global well-posedness of inhomogeneous Navier-Stokes equations with bounded density, Int. Math. Res. Not. IMRN2025, no. 18, Paper No. rnaf283, 26 pp.; MR4961245

  25. [25]

    Hao et al., Global well-posedness and self-similar solution of the inhomogeneous Navier-Stokes system

    T. Hao et al., Global well-posedness and self-similar solution of the inhomogeneous Navier-Stokes system. arxiv:2412.00390

  26. [26]

    J. C. Huang, M. Paicu and P. Zhang, Global well-posedness of incompressible inhomogeneous fluid systems with bounded density or non-Lipschitz velocity, Arch. Ration. Mech. Anal.209(2013), no. 2, 631–682; MR3056619

  27. [27]

    Kato, StrongL p-solutions of the Navier-Stokes equation inR m, with applications to weak solutions, Math

    T. Kato, StrongL p-solutions of the Navier-Stokes equation inR m, with applications to weak solutions, Math. Z.187(1984), no. 4, 471–480; MR0760047

  28. [28]

    A. V. Kazhikhov, Solvability of the initial-boundary value problem for the equations of the motion of an inhomogeneous viscous incompressible fluid, Dokl. Akad. Nauk SSSR216(1974), 1008–1010; MR0430562

  29. [29]

    Koch and D

    H. Koch and D. Tataru, Well-posedness for the Navier-Stokes equations, Adv. Math.157(2001), no. 1, 22–35; MR1808843

  30. [30]

    Leray, Sur le mouvement d’un liquide visqueux emplissant l’espace, Acta Math.63(1934), no

    J. Leray, Sur le mouvement d’un liquide visqueux emplissant l’espace, Acta Math.63(1934), no. 1, 193–248; MR1555394

  31. [31]

    Lions,Mathematical topics in fluid mechanics

    P.-L. Lions,Mathematical topics in fluid mechanics. Vol. 1, Oxford Lecture Series in Mathematics and its Applications Oxford Science Publications, 3 , Oxford Univ. Press, New York, 1996; MR1422251 52 R. HU, Q.-H. NGUYEN, F. SHAO, D. WEI, P. ZHANG, AND Z. ZHANG

  32. [32]

    Paicu, P

    M. Paicu, P. Zhang and Z. F. Zhang, Global unique solvability of inhomogeneous Navier-Stokes equations with bounded density, Comm. Partial Differential Equations38(2013), no. 7, 1208–1234; MR3169743

  33. [33]

    Qian and P

    C. Qian and P. Zhang, Global well-posedness of 3D incompressible inhomogeneous Navier-Stokes equa- tions, Methods Appl. Anal.28(2021), no. 4, 507–546; MR4440479

  34. [34]

    Simon, Nonhomogeneous viscous incompressible fluids: existence of velocity, density, and pressure, SIAM J

    J. Simon, Nonhomogeneous viscous incompressible fluids: existence of velocity, density, and pressure, SIAM J. Math. Anal.21(1990), no. 5, 1093–1117; MR1062395

  35. [35]

    Zhang, Global Fujita-Kato solution of 3-D inhomogeneous incompressible Navier-Stokes system, Adv

    P. Zhang, Global Fujita-Kato solution of 3-D inhomogeneous incompressible Navier-Stokes system, Adv. Math.363(2020), 107007, 43 pp.; MR4056004 (R. Hu)University of Bath, Bath, BA2 7AY, UK. Email address:rh2488@bath.ac.uk (Q.-H. Nguyen)Academy of Mathematics&Systems Science, The Chinese Academy of Sciences, Beijing 100190, CHINA. Email address:qhnguyen@ams...