On the Cauchy problem for the multi-dimensional compressible Navier-Stokes-Korteweg system: Global strong solutions with arbitrarily large initial data
Pith reviewed 2026-05-08 05:37 UTC · model grok-4.3
The pith
Global strong solutions to the compressible Navier-Stokes-Korteweg system exist in whole space for arbitrarily large initial data.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We establish global existence of strong solutions to the compressible Navier-Stokes-Korteweg system on the Cauchy problem in R^N (N=2,3) with arbitrarily large initial data and non-vacuum far-field density, assuming the viscosity coefficients obey the BD-type relations μ(ρ)=νρ^α and λ(ρ)=2ν(α−1)ρ^α together with the generalized Bohm identity κ(ρ)=ε²α²ρ^{2α−3} for the Korteweg tensor, via refined truncation and a modified Nash-Moser iteration.
What carries the argument
Refined truncation analysis combined with a modified Nash-Moser iteration scheme that controls the lack of integrability of the density over the whole space.
Load-bearing premise
The viscosity coefficients and Korteweg tensor must satisfy the specific BD-type algebraic relations and the generalized Bohm identity.
What would settle it
An explicit large initial datum in R^2 or R^3 for which no global strong solution exists while the coefficient relations still hold would disprove the claim.
read the original abstract
Since the pioneering work of Korteweg (1901) and the subsequent refinement of capillary fluid models by Dunn and Serrin (1985), the global existence of strong solutions to the multi-dimensional compressible Navier-Stokes-Korteweg (NSK) system with arbitrarily large initial data has stood as a formidable open problem in fluid mechanics. This challenge was recently addressed by [Gu-Huang-Meng-Zhou, arXiv:2603.11762], who established the global existence of strong solutions for arbitrarily large initial data on the periodic domain $\mathbb{T}^N$ ($N=2,3$), provided that the viscosity coefficients satisfy a BD-type algebraic relation ($\mu(\rho) = \nu \rho^\alpha, \lambda(\rho) = 2\nu(\alpha-1)\rho^\alpha$) and the Korteweg stress tensor complies with a generalized Bohm identity ($\kappa(\rho) = \varepsilon^2 \alpha^2 \rho^{2\alpha-3}$). However, the existence of global strong solutions for the Cauchy problem under these conditions has remained an open question. In this paper, we resolve this problem by proving the global existence of strong solutions for the Cauchy problem ($\mathbb{R}^N$, $N=2,3$) with arbitrarily large initial data and non-vacuum far-field density. By employing a refined truncation analysis combined with an original modified Nash-Moser type iteration scheme, we overcome the difficulties arising from the lack of integrability for the density in the whole space. This result extends the large-data theory of compressible Navier-Stokes-Korteweg equations from bounded torus $\mathbb{T}^N$ to unbounded whole space $\mathbb{R}^N$, thus applicable to more general physical settings.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims to prove global existence of strong solutions to the Cauchy problem for the multi-dimensional compressible Navier-Stokes-Korteweg system on R^N (N=2,3) with arbitrarily large initial data and non-vacuum far-field density. Under the BD-type viscosity relations μ(ρ)=νρ^α, λ(ρ)=2ν(α−1)ρ^α and the generalized Bohm identity κ(ρ)=ε²α²ρ^{2α−3}, the proof combines refined truncation with a modified Nash-Moser iteration to overcome the lack of integrability in the whole space, extending the authors' prior torus result.
Significance. If verified, the result would be significant: it extends large-data global strong solutions for capillary fluids from periodic domains to unbounded space, addressing an open problem with direct relevance to physical settings. The technical device of a modified Nash-Moser scheme adapted to whole-space low-frequency control is a potentially reusable contribution.
major comments (2)
- [modified Nash-Moser iteration scheme] The modified Nash-Moser iteration must close without Poincaré inequalities or compact embeddings; the low-frequency estimates in R^N therefore require explicit decay or integrability control generated by the scheme itself. The abstract states this is achieved, but the construction appears to need the perturbation to remain integrable at infinity, which is not guaranteed by arbitrary large initial data with only ρ→ρ_∞>0.
- [refined truncation analysis] The refined truncation analysis must produce error terms that remain controllable uniformly for large data; without detailed bounds showing that truncation does not re-introduce non-integrable contributions at large scales, the passage from local to global strong solutions on R^N is not yet load-bearing.
minor comments (1)
- [Abstract] The abstract could state the precise range of α for which the coefficient conditions hold.
Simulated Author's Rebuttal
We thank the referee for the careful reading of our manuscript and for the positive evaluation of its significance. The comments highlight important technical points regarding the whole-space setting, and we address them point by point below. We believe the concerns can be resolved through clarification of the estimates already present in the paper.
read point-by-point responses
-
Referee: The modified Nash-Moser iteration must close without Poincaré inequalities or compact embeddings; the low-frequency estimates in R^N therefore require explicit decay or integrability control generated by the scheme itself. The abstract states this is achieved, but the construction appears to need the perturbation to remain integrable at infinity, which is not guaranteed by arbitrary large initial data with only ρ→ρ_∞>0.
Authors: We agree that closing the iteration without Poincaré or compact embeddings is the central difficulty in the whole-space case. In our construction the modified Nash-Moser scheme itself produces the required low-frequency decay: each iterative correction is solved against a linearized operator whose symbol yields explicit algebraic decay at spatial infinity, thanks to the capillary term and the BD-type viscosity structure. The far-field condition ρ→ρ_∞>0 is used only to guarantee that the background state is non-vacuum; the integrability of the perturbation is recovered inductively by the smoothing and the weighted estimates built into the iteration (see the low-frequency analysis in Section 3.2 and the inductive hypothesis (3.15)). Thus the scheme does not presuppose integrability of the initial perturbation but generates it. We are happy to add a short paragraph after the statement of the main theorem that summarizes this mechanism. revision: partial
-
Referee: The refined truncation analysis must produce error terms that remain controllable uniformly for large data; without detailed bounds showing that truncation does not re-introduce non-integrable contributions at large scales, the passage from local to global strong solutions on R^N is not yet load-bearing.
Authors: The truncation is performed at a radius R chosen so that the solution is already close to the far-field outside B_R; the cut-off function is smooth and compactly supported. The resulting error terms are estimated in Section 4 by splitting them into a commutator part (controlled by the a-priori bounds from the Nash-Moser iteration) and a tail part (controlled by the spatial decay already established for the approximants). Because the iteration enforces uniform integrability of the density deviation in L^1(R^N) (via the weighted Sobolev norms), the tail integrals remain small independently of the size of the initial data. These bounds are uniform in the iteration index and are collected in Lemma 4.3. If the presentation of these estimates is considered insufficiently explicit, we will expand the proof of Lemma 4.3 with an additional display of the tail estimate. revision: partial
Circularity Check
No significant circularity; central extension relies on original iteration scheme
full rationale
The paper cites overlapping-author prior work only for the torus existence result and the BD-type coefficient restrictions under which the model is considered. These are treated as given assumptions rather than derived outputs. The claimed resolution for the Cauchy problem on R^N rests on a new refined truncation analysis plus an explicitly described 'original modified Nash-Moser type iteration scheme' that is introduced to handle the lack of integrability in unbounded space. No equation or step in the provided abstract or description reduces the new existence statement to a fit, a renaming, or a self-citation chain by construction. The derivation chain therefore remains independent of the cited torus result.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Viscosity coefficients satisfy μ(ρ) = ν ρ^α, λ(ρ) = 2ν(α−1)ρ^α and Korteweg tensor satisfies κ(ρ) = ε² α² ρ^{2α−3}
- domain assumption Initial data has non-vacuum far-field density
Reference graph
Works this paper leans on
-
[1]
P. Antonelli, D. Bresch, S. Spirito, Global weak solutions of the Navier-Stokes-Korteweg equations in one dimension, arXiv:2502.17147
-
[2]
P. Antonelli, L. Hientzsch, S. Spirito, Global existence of finite energy weak solutions to the quantum Navier–Stokes equations with non-trivial far-field behavior. J. Differential Equations 290 (2021), 147–177
work page 2021
-
[3]
P. Antonelli, S. Spirito, Global existence of finite energy weak solutions of quantum Navier- Stokes equations, Arch. Ration. Mech. Anal. 225 no. 3 (2017), 1161–1199
work page 2017
- [4]
- [5]
- [6]
-
[7]
Z. Chen, H. Zhao, Global existence and vanishing dispersion limit of strong/classical so- lutions to the one-dimensional compressible quantum Navier-Stokes equations with large initial data, J. Math. Fluid Mech. 27 no. 4 (2025), Paper No. 69
work page 2025
-
[8]
R. Danchin, B. Desjardins, Existence of solutions for compressible fluid models of Korteweg type, Ann. Inst. H. Poincaré C Anal. Non Linéaire 18 no. 1 (2001), 97–133
work page 2001
-
[9]
J. Dunn, J. Serrin, On the thermomechanics of interstitial working, Arch. Rational Mech. Anal. 88 no. 2 (1985), 95–133
work page 1985
- [10]
-
[11]
P. Germain, P. LeFloch, Finite energy method for compressible fluids: the Navier-Stokes- Korteweg model, Comm. Pure Appl. Math. 69 no. 1 (2016), 3–61
work page 2016
-
[12]
B. Haspot, Existence of global strong solution for Korteweg system with large infinite energy initial data, J. Math. Anal. Appl. 438 no. 1 (2016), 395–443
work page 2016
- [13]
- [14]
-
[15]
Jüngel, Effective velocity in Navier-Stokes equations with third-order derivatives, Non- linear Anal
A. Jüngel, Effective velocity in Navier-Stokes equations with third-order derivatives, Non- linear Anal. 74 no. 8 (2011), 2813–2818. 60
work page 2011
-
[16]
Jüngel, Global weak solutions to compressible Navier-Stokes equations for quantum fluids, SIAM J
A. Jüngel, Global weak solutions to compressible Navier-Stokes equations for quantum fluids, SIAM J. Math. Anal. 42 no. 3 (2010), 1025–1045
work page 2010
-
[17]
D. Korteweg, Sur la forme que prennent les équations du mouvement des fluides si l’on tient compte des forces capillaires par des variations de densité, Arch. Néerl. Sci. Exactes Sér. II 6 (1901), 1-24
work page 1901
-
[18]
I. Lacroix-Violet, A. Vasseur, Global weak solutions to the compressible quantum Navier- Stokes equation and its semi-classical limit, J. Math. Pures Appl. (9) 114 (2018), 191–210
work page 2018
-
[19]
E. Tsyganov, Global existence and asymptotic convergence of weak solutions for the one- dimensional Navier-Stokes equations with capillarity and nonmonotonic pressure, J. Dif- ferential Equations 245 no. 12 (2008), 3936–3955. 61
work page 2008
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.