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
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.
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
- 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.
Referee Report
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)
- 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
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
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
axioms (2)
- standard math Standard a-priori estimates for linear transport equations with divergence-free velocity fields
- standard math Functional-analytic properties of VMO^{-1} and BMO^{-1} spaces (embeddings, duality, etc.)
Reference graph
Works this paper leans on
-
[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
2007
-
[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
2012
-
[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
2013
-
[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
2024
-
[5]
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]
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
2018
-
[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
2008
-
[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
1993
-
[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
2011
-
[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
2014
-
[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]
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]
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
2023
-
[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
2016
-
[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
2026
-
[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
2003
-
[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
2009
-
[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
2012
-
[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
2019
-
[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
2023
-
[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
2014
-
[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
2014
-
[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
1964
-
[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]
T. Hao et al., Global well-posedness and self-similar solution of the inhomogeneous Navier-Stokes system. arxiv:2412.00390
-
[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
2013
-
[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
1984
-
[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
1974
-
[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
2001
-
[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
1934
-
[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
1996
-
[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
2013
-
[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
2021
-
[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
1990
-
[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...
2020
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.