REVIEW 2 major objections 4 minor 37 references
Global well-posedness and self-similar solution of the inhomogeneous Navier-Stokes system
T0 review · 2 major / 4 minor · reviewed 2026-08-12 · deepseek-v4-flash
Pith's one-line read This paper proves global well-posedness of the 3-D inhomogeneous incompressible Navier-Stokes system for initial velocities small in the critical Besov space $\dot B^{1/2}_{2,\infty}$ and densities merely bounded above, with the first…
desk verdict Genuine critical-space advance for inhomogeneous Navier-Stokes with a load-bearing but likely fixable gap in the vacuum-allowance proof. 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 central mechanism is to rewrite the momentum equation for the projected variable $v=\mathcal P(\rho u)$, where $\mathcal P$ is the Leray projector; its equation is $\partial_t v-\Delta v=\Delta(u-v)-\mathcal P\operatorname{div}(\rho u\otimes u)$, and smallness of $\|\rho_0-1\|_{L^\infty}$ and $\|m_0\|_{\dot B^{-1+3/p}_{p,\infty}}$ lets the $\Delta(u-v)$ term be absorbed, yielding the critical $L^{q,\infty}_tL^p_x$ estimate through O'Neil's convolution inequality and Stokes maximal regularity. For the $\dot B^{1/2}_{2,\infty}$ result, the machinery is a dyadic high-low frequency decomposition of the velocity, estimating each block $u_j$ and summing to obtain $\|\sqrt{\rho}u\|_{L^\infty L^{3,\infty}}$ and $\|t^{1/4}\nabla u\|_{L^\infty L^2}$; uniqueness uses a relative-energy inequality in which the difference $(\delta\rho,\delta u)$ is controlled by $t^{1/4}$ bounds and a Gr\"onwall step that lets the initial time $\delta\to 0$.
What would settle it
Check the constant dependence in Lemma 4.1 explicitly: for a fixed small $u_0$ in $\dot B^{1/2}_{2,\infty}$ and a family of smooth densities $\rho_\varepsilon$ with $\inf\rho_\varepsilon=\varepsilon$, if the claimed bound on $\|\sqrt{\rho}u\|_{L^\infty L^{3,\infty}}$ or $\|t^{1/4}\nabla u\|_{L^\infty L^2}$ grows like a power of $\varepsilon^{-1}$, the vacuum passage in Theorem 1.4 collapses; likewise, if two different positive-density approximation sequences converge to different limits for the same data, uniqueness would fail.
Extended reading notes
Core claim
The central claim is that the borderline regularity class for global well-posedness of the inhomogeneous Navier-Stokes system can be pushed to $\dot B^{1/2}_{2,\infty}$: for divergence-free $u_0$ with $\|u_0\|_{\dot B^{1/2}_{2,\infty}}$ small and $0\le \rho_0\le \|\rho_0\|_{L^\infty}$ with $\rho_0\not\equiv 0$, there is a unique global weak solution, and the solution obeys bounds such as $t^{1/4}\nabla u\in L^\infty(\mathbb R_+;L^2)$ and $\sqrt{\rho}u\in C([0,\infty);L^{3,\infty})$. This is the first existence of forward self-similar solutions for the inhomogeneous system, because an example such as $u_0(x)=\varepsilon_0 |x|^{-1}(-x_2/|x|,x_1/|x|,0)$ lies in $\dot B^{1/2}_{2,\infty}$ but not in $\dot H^{1/2}$. Alongside this, the paper proves a Cannone-Meyer-Planchon type global strong solution for variable density under smallness of $\rho_0u_0$ in $\dot B^{-1+3/p}_{p,\infty}$ and closeness of $\rho_0$ to 1 in $L^\infty$, with uniqueness for $3<p<6$ and weak-strong uniqueness against Lions weak solutions when $u_0\in L^2$.
Load-bearing premise
The proof assumes that all the a priori estimates in Section 4 remain valid with constants independent of the positive lower bound on the density, so that solutions with vacuum can be obtained as limits of positive-density solutions.
Editorial extensions
If this is right
- Forward self-similar solutions of the inhomogeneous Navier-Stokes system exist for the first time; the example $u_0(x)=\varepsilon_0 |x|^{-1}(-x_2/|x|, x_1/|x|, 0)$ is admissible because it lies in $\dot B^{1/2}_{2,\infty}$ but not in $\dot H^{1/2}$.
- Unique global weak solutions exist for densities that are only bounded above, including vacuum regions and density discontinuities, provided the critical Besov norm of $u_0$ is small.
- Cannone-Meyer-Planchon critical-space theory carries over to variable density: global strong solutions exist for $3<p<\infty$ and are unique for $3<p<6$.
- Any Lions weak solution with the same data coincides with the constructed strong solution when $u_0\in L^2$, giving weak-strong uniqueness.
- Highly oscillatory initial velocities with critical scaling are admissible, widening the class of initial data beyond $\dot H^{1/2}$ and $L^3$.
Reading between the lines
- An implicit corollary is that the forward self-similar profiles can carry density discontinuities and vacuum at every positive time, so the result speaks directly to patch and bubble configurations in a critical scaling.
- The use of a third Besov index $+\infty$ plus a high-low frequency split suggests the borderline velocity class is not tied to summability; a different low-frequency regularization might reach spaces such as $BMO^{-1}$, though the methods here stop at $p<+\infty$.
- The asserted independence of the density lower bound could be tested numerically or analytically: take densities with $\inf\rho=\varepsilon$, keep $u_0$ fixed and small in $\dot B^{1/2}_{2,\infty}$, and verify that all constants in Lemma 4.1 stay independent of $\varepsilon$ as $\varepsilon\to 0$.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies global well-posedness for the three-dimensional inhomogeneous incompressible Navier-Stokes system in critical Besov spaces. The first main result (Theorem 1.2) extends the Cannone-Meyer-Planchon theory to data with density close to 1 in L∞ and momentum small in Ḃ_{p,∞}^{-1+3/p}, with uniqueness for 3<p<6. The second theorem (Theorem 1.3) establishes weak-strong uniqueness between this solution and Lions weak solutions under an additional L2 condition on the initial velocity, using a Besov-space decomposition of Barker. The third theorem (Theorem 1.4) claims global well-posedness with merely bounded above density, allowing vacuum, for initial velocity small in Ḃ_{2,∞}^{1/2}, and the abstract promotes this as the first existence result for forward self-similar solutions of the inhomogeneous Navier-Stokes system. The proofs are based on a series of a priori estimates, maximal regularity for the Stokes system, approximation by smooth positive-density solutions, and a final compactness passage.
Significance. If the results are correct, the paper makes a substantial contribution: it pushes the critical-space well-posedness theory for the inhomogeneous Navier-Stokes system to the larger space Ḃ_{2,∞}^{1/2}, permits discontinuous densities with vacuum, establishes a weak-strong uniqueness theorem, and provides a route to forward self-similar solutions. The proof strategy is largely explicit: the smallness conditions are stated quantitatively, the a priori estimates are derivable in a standard maximal-regularity framework, and the compactness arguments are indicated in detail. No fitted parameters or post hoc assumptions appear, and most technical ingredients are either proved in the paper or drawn from well-established references. The main caveat is the paper's reliance on an imported pressure identity in Lemma 4.3, whose uniformity with respect to the lower density bound is asserted but not demonstrated; this is exactly the point on which the vacuum case of Theorem 1.4 rests.
major comments (2)
- [§4.1, Lemma 4.3 and Footnote 3] The proof of Theorem 1.4 passes to the limit as the lower density bound ρ* tends to zero, in order to allow initial densities that are only bounded above and may vanish. The estimates that make this passage legitimate are those of Lemma 4.3, in particular (4.12)–(4.15). The key identity for J(t) and the resulting inequalities (4.14)–(4.15) are imported 'along the same lines as [25, Lemma 3.2] and [26, Lemma 3.5]', with no proof in the present paper and no explicit tracking of the dependence of constants on inf ρ. Footnote 3 asserts that all constants are independent of ρ*, but this assertion is exactly the load-bearing fact for both the existence part (approximation by positive-density solutions) and the uniqueness part (via Corollaries 4.1–4.2 and Proposition 4.1). The authors should either include a self-contained proof of the J(t) identity and of (4.14)–(4.15) with constants depending only on ‖ρ0‖_{L∞}, or quote a precise lemma from [26] that covers the case of merely bounded density. As written, the manuscript does not demonstrate the asserted uniformity.
- [Remark 1.3 and Abstract] The advertised claim that Theorem 1.4 gives 'the first existence result of the forward self-similar solution for (INS)' is not actually derived. Remark 1.3 verifies only that the model velocity u0(x)=ε0|x|^{-1}(-x2/|x|,x1/|x|,0) belongs to Ḃ_{2,∞}^{1/2} and not to Ḣ^{1/2}; it does not show that the solution produced by Theorem 1.4 is self-similar. Since Theorem 1.4 provides uniqueness in a scaling-invariant class, the conclusion would follow by taking the initial density also invariant under the scaling and applying the uniqueness statement, but this argument is absent. The authors should add this argument or soften the claim to match what is proved.
minor comments (4)
- [Theorem 1.1 and §1.3] The notation ~L^1 in the statement of Theorem 1.1 is not defined in the notation section; if this denotes a Chemin-Lerner type time-space Besov space, it should be defined in Appendix A or replaced by the standard L^1(0,∞;·) notation used elsewhere.
- [§4.2] The compactness passage in the proof of the existence part of Theorem 1.4 is described as following by the Ascoli-Arzelà theorem after uniform bounds on ∂_t u_ε and on u_ε in L^2(δ0,t;̇H^1∩̇H^2). A more precise justification would cite the Aubin-Lions lemma or state the compact embedding used, since Ascoli-Arzelà normally requires continuity in space, which is not established here.
- [Footnote 3] The remark that ρ* is required only for smoothness and decay, while all constants are independent of ρ*, is central to the vacuum case; this statement should be moved into the body of §4 and proved or accompanied by a precise reference to the corresponding lemma in [26].
- [§4.3, Proposition 4.1] In Proposition 4.1, the first two assumptions are essentially the statement B(t)≤Ct^{1/4} for the quantity B(t) defined in (4.22); the proof would be easier to follow if this equivalence were stated explicitly after the definition of B.
Circularity Check
No significant circularity: the main theorems are derived from the stated smallness assumptions via self-contained estimates, and the self-citations are technical rather than definitional.
full rationale
The paper's derivation chain is not circular. Theorem 1.2 and its Cannone-Meyer-Planchon-type estimates in Propositions 2.1-2.4 are obtained from the equation for v = P(ρu), maximal regularity estimates, and the explicit smallness assumption (2.3); the smallness is an input, not the conclusion. Theorem 1.3 rests on Barker's Besov decomposition and on subcritical estimates proved in Section 3, with no fitted parameter or post hoc exclusion. Theorem 1.4 is proved through the a priori estimates in Lemmas 4.1-4.3 and Corollaries 4.1-4.2, followed by a standard approximation argument. The only imported nontrivial ingredient is the pressure identity in Lemma 4.3, which is taken 'along the same lines as' the authors' earlier works [25,26]; this is a self-citation of a technical PDE computation, not an invocation of the theorem being proved, and it does not define any quantity in terms of the target conclusion. The self-similar example in Remark 1.3 is an application of Theorem 1.4, not an input used to set constants. The asserted ρ*-uniformity in Footnote 3 is a rigor and correctness concern, not a circularity concern, because no estimate is defined in terms of the conclusion. I therefore find no step where a 'prediction' is equivalent by construction to its inputs.
Assumptions & free parameters
assumptions (5)
- standard math Stokes maximal regularity estimates (Lemma A.1, cited from Danchin-Wang [20])
- standard math O'Neil's convolution inequality for Lorentz spaces (Lemma 2.1)
- standard math Barker's decomposition of homogeneous Besov spaces (Lemma 3.1, cited from [8])
- domain assumption The J(t) identity for material derivative energy estimates, from the authors' companion preprints [25] and [26]
- domain assumption Smooth approximate solutions are uniformly controlled as the density lower bound ρ* tends to 0
Cite this review
Pith. "Pith review of Global well-posedness and self-similar solution of the inhomogeneous Navier-Stokes system." pith.science (2026). https://pith.science/paper/GS7XWBLJ
@misc{pith2026241200390,
author = {Pith},
title = {Pith review of: Global well-posedness and self-similar solution of the inhomogeneous Navier-Stokes system},
year = {2026},
howpublished = {\url{https://pith.science/paper/GS7XWBLJ}},
note = {Machine review of arXiv:2412.00390}
}
abstract
In this paper, we study the global well-posedness of the 3-D inhomogeneous incompressible Navier-Stokes system (INS in short) with initial density $\rho_0$ being discontinuous and initial velocity $u_0$ belonging to some critical space. Firstly, if $\rho_0u_0$ is sufficiently small in the space $\dot{B}^{-1+\frac{3}{p}}_{p,\infty}(\mathbb{R}^3)$ and $\rho_0$ is close enough to a positive constant in $L^\infty$, we establish the global existence of strong solution to (INS) for $3<p<\infty$ and provide the uniqueness of the solution for $3<p<6$. This result corresponds to Cannone-Meyer-Planchon solution of the classical Navier-Stokes system. Furthermore, with the additional assumption that $u_0\in L^2(\mathbb{R}^3)$, we prove the weak-strong uniqueness between Cannone-Meyer-Planchon solution and Lions weak solution of (INS). Finally, we prove the global well-posedness of (INS) with $u_0\in \dot{B}^{\frac{1}{2}}_{2,\infty}(\mathbb{R}^3)$ being small and only an upper bound on the density. This gives the first existence result of the forward self-similar solution for (INS).
Reference graph
Works this paper leans on
-
[26]
T. Hao, F. Shao, D. Wei and Z. Zhang, Global well-posedne ss of inhomogeneous Navier-Stokes equations with bounded density. arXiv:2406.19907
-
[25]
T. Hao, F. Shao, D. Wei and Z. Zhang, On the density patch p roblem for the 2-D inhomogeneous Navier- Stokes equations. arXiv:2406.07984
-
[1]
Abidi, ´Equation de Navier-Stokes avec densit´ e et viscosit´ e vari ables dans l’espace critique
H. Abidi, ´Equation de Navier-Stokes avec densit´ e et viscosit´ e vari ables dans l’espace critique. Rev. Mat. Iberoam., 23 (2007), 537-586
work page 2007
-
[2]
H. Abidi and G. Gui, Global well-posedness for the 2-D inh omogeneous incompressible Navier-Stokes system with large initial data in critical spaces. Arch. Ration. Mech. Anal. , 242 (2021), 1533-1570
work page 2021
- [3]
- [4]
- [5]
-
[6]
H. Abidi and M. Paicu, Existence globale pour un fluide inh omog`ene. Ann. Inst. Fourier (Grenoble) , 57 (2007), 883-917
work page 2007
Show all 37 references
-
[7]
Bahouri, J
H. Bahouri, J. Y. Chemin and R. Danchin, Fourier Analysis and Nonlinear Partial Differential Equatio ns, Grundlehren der Mathematischen Wissenschaften, vol. 343, 2011, Springer-Verlag, Berlin, Heidelberg
2011
-
[8]
Barker, Existence and weak* stability for the Navier- Stokes system with initial values in critical Besov spaces
T. Barker, Existence and weak* stability for the Navier- Stokes system with initial values in critical Besov spaces. arXiv:1703.06841
-
[9]
Barker, Uniqueness results for weak Leray-Hopf solut ions of the Navier-Stokes system with initial values in critical spaces
T. Barker, Uniqueness results for weak Leray-Hopf solut ions of the Navier-Stokes system with initial values in critical spaces. J. Math. Fluid Mech. , 20 (2018), 133-160
2018
-
[10]
Cannone, Y
M. Cannone, Y. Meyer and F. Planchon, Solutions auto-si milaires des ´ equations de Navier-Stokes.S´ eminaire sur les ´Equations aux D´ eriv´ ees Partielles, (1993-1994), Exp. No. VIII, 12 pp
1993
-
[11]
J. Y. Chemin, About weak-strong uniqueness for the 3D in compressible Navier-Stokes system. Comm. Pure Appl. Math. , 64 (2011), 1587-1598
2011
-
[12]
D. Chen, Z. Zhang and W. Zhao, Fujita-Kato theorem for th e 3-D inhomogeneous Navier-Stokes equations. J. Differential Equations , 261(2016), 738-761
2016
-
[13]
Crin-Barat, S
T. Crin-Barat, S. ˇSkondri´ c and A. Violini, Relative energy method for weak-s trong uniqueness of the inho- mogeneous Navier-Stokes equations. arXiv:2404.12858
-
[14]
Danchin, Density-dependent incompressible viscou s fluids in critical spaces
R. Danchin, Density-dependent incompressible viscou s fluids in critical spaces. Proc. Roy. Soc. Edinburgh Sect. A , 133 (2003), 1311-1334
2003
-
[15]
Danchin, Global well-posedness for 2D inhomogeneou s viscous flows with rough data via dynamic inter- polation
R. Danchin, Global well-posedness for 2D inhomogeneou s viscous flows with rough data via dynamic inter- polation. To appear in Anal. PDE ; arXiv:2404.02541
-
[16]
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), 1458-1480
2012
-
[17]
Danchin and P
R. Danchin and P. B. Mucha, Incompressible flows with pie cewise constant density. Arch. Ration. Mech. Anal., 207 (2013), 991-1023
2013
-
[18]
Danchin, P
R. Danchin, P. B. Mucha and P. Tolksdorf, Lorentz spaces in action on pressureless systems arising from models of collective behavior. J. Evol. Equ. , 21 (2021), 3103-3127
2021
-
[19]
Danchin and I
R. Danchin and I. Vasilyev, Density-dependent incompr essible Navier-Stokes equations in critical tent spaces. arXiv:2305.09027
-
[20]
Danchin and S
R. Danchin and S. Wang, Global unique solutions for the i nhomogeneous Navier-Stokes equations with only bounded density in critical regularity spaces. Comm. Math. Phys. , 399 (2023), 1647-1688
2023
-
[21]
Dong and Z
B. Dong and Z. Zhang, On the weak-strong uniqueness of Ko ch-Tataru’s solution for the Navier-Stokes equations. J. Differential Equations , 256 (2014), 2406-2422
2014
-
[22]
Fujita and T
H. Fujita and T. Kato, On the Navier-Stokes initial valu e problem I. Arch. Ration. Mech. Anal. , 16 (1964), 269-315
1964
-
[23]
Germain, On the Navier-Stokes initial value problem I
P. Germain, On the Navier-Stokes initial value problem I. J. Differential Equations , 226 (2006), no. 2, 373-428. THE INHOMOGENEOUS NA VIER-STOKES SYSTEM 33
2006
-
[24]
Grafakos, Classical Fourier analysis
L. Grafakos, Classical Fourier analysis. Second edition. Graduate Texts in Mathematics, 249. Springer, New York, 2008. xvi+489 pp
2008
-
[27]
Kato, Strong Lp-solutions of the Navier-Stokes equation in Rm, with applications to weak solutions
T. Kato, Strong Lp-solutions of the Navier-Stokes equation in Rm, with applications to weak solutions. Math. Z., 187 (1984), 471-480
1984
-
[28]
A. V. Kazhikhov, Solvability of the initial-boundary v alue problem for the equations of the motion of an inhomogeneous viscous incompressible fluid. Dokl. Akad. Nauk SSSR , 216 (1974), 1008-1010
1974
-
[29]
Koch and D
H. Koch and D. Tataru, Well-posedness for the Navier-St okes equations. Adv. Math. , 157 (2001), 22-35
2001
-
[30]
Leray, Sur le mouvement d’un liquide visqueux emplis sant l’espace
J. Leray, Sur le mouvement d’un liquide visqueux emplis sant l’espace. Acta Math. , 63 (1934), 183-248
1934
-
[31]
P. L. Lions, Mathematical topics in fluid mechanics. Vol. 1. Incompressi ble models, Oxford Lecture Ser. Math. Appl., 3. Oxford Sci. Publ. The Clarendon Press, Oxford University P ress, New York, 1996. xiv+237 pp
1996
-
[32]
O’Neil, Convolution operators and L(p, q ) spaces
R. O’Neil, Convolution operators and L(p, q ) spaces. Duke Math. J. , 30 (1963), 129-142
1963
-
[33]
Paicu and P
M. Paicu and P. Zhang, Global solutions to the 3-D incomp ressible inhomogeneous Navier-Stokes system. J. Funct. Anal., 262 (2012), 3556-3584
2012
-
[34]
Paicu, P
M. Paicu, P. Zhang and Z. Zhang, Global unique solvabili ty of inhomogeneous Navier-Stokes equations with bounded density. Comm. Partial Differential Equations , 38 (2013), 1208-1234
2013
-
[35]
Simon, Nonhomogeneous viscous incompressible fluid s: existence of velocity, density, and pressure
J. Simon, Nonhomogeneous viscous incompressible fluid s: existence of velocity, density, and pressure. SIAM J. Math. Anal. , 21 (1990), 1093-1117
1990
-
[36]
Tartar, Imbedding theorems of Sobolev spaces into Lo rentz spaces
L. Tartar, Imbedding theorems of Sobolev spaces into Lo rentz spaces. Bollettino dell’Unione Matematica Italiana, Serie 8, 1-B (3) (1998), 479-500
1998
-
[37]
Zhang, Global Fujita-Kato solution of 3-D inhomogen eous incompressible Navier-Stokes system
P. Zhang, Global Fujita-Kato solution of 3-D inhomogen eous incompressible Navier-Stokes system. Adv. Math., 363 (2020), 107007, 43 pp. (T. Hao) School of Mathematical Sciences, Peking University, Beiji ng 100871, China Email address : haotiantian@pku.edu.cn (F. Shao) School o...
2020
Reviewed August 12, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.