REVIEW 2 major objections 4 minor 28 references
The global well-posedness for the compressible fluid model of Korteweg type
T0 review · 2 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read This paper proves that small initial density and velocity perturbations of the compressible Korteweg fluid model in N-dimensional space (N≥3) yield a unique global strong solution with polynomial time decay.
desk verdict A solid maximal-regularity treatment of the Korteweg model with a real gap between the stated exponents and the proof; fixable, but not as written. 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 object is the linear solution operator $S(t)$ for the linearized Korteweg system (4.2), together with its decay estimate (Theorem 4.1): $\|\partial_x^j S(t)(f,g)\|_{W^{1,0}_p}\le C t^{-N(1/q-1/p)/2-j/2}\|(f,g)\|_{W^{1,0}_q}$ under $1<q\le p\le\infty$, with the additional restriction $q\le2\le p$ for $t\ge1$. The estimate is obtained by splitting Fourier space: on low frequencies the symbol's eigenvalues satisfy $\lambda_\pm=-(\alpha_*+\beta_*)|\xi|^2/2 \pm i\sqrt{\rho_*\gamma_*}|\xi|+O(|\xi|^2)$ as $|\xi|\to0$, which gives the polynomial decay, and on high frequencies the semigroup decays exponentially. The other main ingredient is maximal $L_p$-$L_q$ regularity for the linearized problem with variable coefficients (Theorem 2.2), meaning that the time derivative and the highest spatial derivatives are bounded in $L_p$ in time with values in $L_q$ in space; this is built from $R$-bounded solution operators and an operator-valued Fourier multiplier theorem. These two tools let the Duhamel term $\int_0^t S(t-s)(f,g)\,ds$ be split into three time pieces and controlled entirely in terms of the weighted norm $\mathcal N$.
What would settle it
Check Theorem 1.1 with $N=5$, $p=3$, $q_1=4.9$, $q_2=245$, and $\tau=0.34$: all hypotheses $q_1<N<q_2$, $1/q_1=1/q_2+1/N$, $2/p+N/q_2<1$, and $\tau\in(1/p,N/q_2+1/p)$ are satisfied. Since $q_1/2=2.45>2$, the decay estimate (4.5) with $(p,q)=(\infty,q_1/2)$, which the proof invokes just before (4.14) to control the Duhamel term in $L_\infty$, is outside the allowed range (4.6) for $t\ge1$; hence the fixed-point bound (4.10) is not justified for such data. If the theorem is true for this exponent choice, a new argument must supply the missing $L_\infty$ control.
Extended reading notes
Core claim
Under the parameter assumptions $\mu_*>0$, $\mu_*+\nu_*>0$, $\kappa_*>0$, $P'(\rho_*)>0$, and $(\mu_*+\nu_*)^2/(4\rho_*^2)\ne \rho_*\kappa_*$, the paper establishes the following. For $N\ge 3$ and exponents $2<p<\infty$, $q_1<N<q_2$, $1/q_1=1/q_2+1/N$, $2/p+N/q_2<1$, and $\tau\in(1/p,\,N/q_2+1/p)$, there is an $\varepsilon>0$ such that any initial data $(\rho_0,u_0)$ with $I<\varepsilon$ admit a unique global strong solution $(\rho,u)=(\rho_*+\theta,u)$ with $(\theta,u)$ in $X_{p,q_2,\infty}$, with the density kept in the range $\rho_*/4\le \rho_*+\theta\le 4\rho_*$, and with $\mathcal N(\theta,u)(\infty)\le L\varepsilon$. The solution decays polynomially: the sup-in-time weights in $\mathcal N$ include $\langle t\rangle^{N/q_1+j/2}$ for the $L_\infty$ part, $\langle t\rangle^{N/(2q_1)+j/2}$ for the $L^{q_1}$ part, and $\langle t\rangle^{N/(2q_2)+1+j/2}$ for the $L^{q_2}$ part, so higher derivatives and lower integrability exponents pay the expected powers of $t^{-1/2}$ and $t^{-N/(2q)}$. The proof is a Banach fixed point on the Duhamel formula, with the linearized system handled by maximal $L_p$-$L_q$ regularity and its solution operator split into low-frequency (polynomial decay) and high-frequency (exponential decay) contributions.
Load-bearing premise
The argument's closing $L_\infty$ bound only works when $q_1\le4$, because the linear decay estimate is applied with $q=q_1/2$ and $q\le2$ is required for $t\ge1$; the theorem's stated hypotheses allow $q_1>4$ for $N\ge5$, so the proof covers fewer exponents than the statement.
Editorial extensions
If this is right
- For every $N\ge3$, small initial data in $D_{q_i,p}\cap L^{q_1/2}$ give a unique global strong solution, so the local theory from Section 3 is promoted to all times under a smallness condition.
- The solution decays polynomially: the $L_\infty$ norm of $(\theta,u)$ behaves like $t^{-N/q_1}$, and each spatial derivative of order $j$ adds a factor $t^{-j/2}$.
- The maximal regularity part of the norm is weighted: $\langle s\rangle^{N/(2q_1)-\tau}$ controls the highest derivatives in $L^{q_1}$ and $\langle s\rangle^{N/(2q_2)+1-\tau}$ in $L^{q_2}$, giving integrable-in-time control of $\partial_t\theta$ and $\partial_t u$.
- The non-resonance condition $(\mu_*+\nu_*)^2/(4\rho_*^2)\ne\rho_*\kappa_*$ keeps the eigenvalues $\lambda_\pm$ distinct, so the low-frequency and high-frequency decomposition of the linearized semigroup remains valid.
- The contraction argument gives an effective smallness threshold: once $L^2\varepsilon<1$, the fixed-point map is a contraction and the solution bound $\mathcal N(\theta,u)(\infty)\le L\varepsilon$ holds.
Reading between the lines
- Beyond the paper: because the two tools are modular, the same maximal-regularity-plus-decay scheme should extend to exterior domains or to Navier-Stokes-Korteweg systems with external forces, provided the linearized semigroup satisfies the analogous decay and maximal-regularity estimates.
- Beyond the paper: the paper does not claim its decay rates are optimal; by optimizing $\tau$ in the interval $(1/p,N/q_2+1/p)$ one would obtain a one-parameter family of rates, and the sharp long-time rates should be determined by the low-frequency expansion of $\lambda_\pm$ rather than by the fixed-point weights.
- Beyond the paper: the constants in the linear estimates depend on the gap between $(\mu_*+\nu_*)^2/(4\rho_*^2)$ and $\rho_*\kappa_*$; near that resonance the smallness threshold $\varepsilon$ should shrink, and a separate asymptotic analysis of the coalescing eigenvalues would likely be needed there.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript studies the compressible Navier-Stokes-Korteweg system in R^N, N >= 3, and claims global well-posedness for small initial data with polynomial decay. The strategy is standard for the maximal Lp-Lq regularity approach: Section 2 establishes maximal regularity for a variable-coefficient linearized problem via R-bounded solution operators and operator-valued Fourier multipliers; Section 3 proves local well-posedness by a fixed-point argument; Section 4 proves Lp-Lq decay estimates for the constant-coefficient linearized problem and then closes a global fixed-point argument in the weighted space X_{p,q2,∞}. The central assertion is Theorem 1.1, which states that under condition (1.2), for exponents p, q1, q2 satisfying 2 < p < ∞, q1 < N < q2, 1/q1 = 1/q2 + 1/N, 2/p + N/q2 < 1, and tau in (1/p, N/q2 + 1/p), sufficiently small initial data yield a unique global solution with N(theta,u)(∞) <= L ε.
Significance. If the proof covers the stated parameter range, the paper would be a useful contribution: it provides global strong solutions with decay in a maximal Lp-Lq regularity setting, with initial Besov regularity independent of the dimension, and it gives quantitative nonlinear estimates. The paper is detailed and the overall architecture is coherent, with no fitted parameters and no circular dependence on the target theorem. However, the proof as written contains a load-bearing gap: the global fixed-point argument requires the additional restriction q1 <= 4, which is absent from Theorem 1.1 and is not automatic when N >= 5. The significance of the result is therefore currently conditional on either adding that restriction or supplying a new decay estimate for the missing range.
major comments (2)
- [Section 4.2, Eq. (4.14); Theorem 1.1] The proof of the global theorem requires q1 <= 4, but Theorem 1.1 does not state this condition. In the estimate of I^1_∞, the manuscript applies Theorem 4.1 with (p,q) = (∞, q1/2) and explicitly says this is done 'under the condition q1/2 ≤ 2' immediately before Eq. (4.14). Theorem 4.1's condition (4.6) for t >= 1 also requires q <= 2. The hypotheses of Theorem 1.1 do not imply q1 <= 4. For example, with N = 5, q1 = 4.9, q2 = 245, p = 3, and tau = 0.34, all conditions of Theorem 1.1 are satisfied, but q1/2 = 2.45 > 2. For such admissible parameters, the L∞ decay bound used to obtain (4.23) is not available, and no alternative argument is supplied. The theorem as stated is therefore broader than the proof.
- [Section 4.2, Eq. (4.23)] The missing restriction q1 <= 4 is not a cosmetic point: it is needed for the very first term in the t > 2 branch of the fixed-point argument. The linear initial-data term S(t)(rho0,u0) is estimated by Theorem 4.1 with (p,q) = (∞, q1/2), and the Duhamel terms I^1_∞ and I^2_∞ are also estimated with that choice. Since q1 > N >= 3, the alternative q = q1 is not available for the t >= 1 regime of Theorem 4.1, because it violates q <= 2. Thus, for q1 > 4 with N >= 5, the weighted L∞ part of N(theta,u) cannot be closed by the present proof. The authors should either add q1 <= 4 to Theorem 1.1 or prove a decay estimate that covers q1/2 > 2.
minor comments (4)
- [References, [18]] The base resolvent construction in the proof of Theorem 2.4 is imported from Theorem 3.1 of [18], which is cited only as a preprint. Since Theorems 2.2, 3.2, and ultimately Theorem 1.1 depend on it, the authors should either cite the published version or include the needed statement in the paper so that the dependency can be verified.
- [Section 4.2, Eqs. (4.13)-(4.28)] In the Lq1 estimates the display after (4.25) is labeled I^3_∞, but it should be I^3_{q1}; this is confusing because the preceding 'Estimates in L∞' paragraph uses the same symbol. Please correct the label.
- [Equation (1.3)] The definition of the norm N(theta,u) has mismatched parentheses in the weighted Lp terms; the expression '‖(< s >^{ℓ_i}(theta,u)‖_{Lp((0,t),W^{3,2}_{q_i}(R^N))}' should have a consistent closing parenthesis. Please rewrite the norm with unambiguous brackets.
- [Throughout] There are numerous typographical errors, including 'In oder', 'drived', 'Golobal', 'thses', 'constrction', 'samller', and 'consraction'. A careful proofreading pass is needed.
Circularity Check
No significant circularity: the global well-posedness proof derives Theorem 1.1 from explicit linear decay estimates and maximal regularity; the only flagged problem is a non-circular parameter gap (q1≤4 missing).
full rationale
The derivation is self-contained in the sense relevant to circularity. Theorem 1.1 is proved by linearizing (1.1) around the reference state, proving maximal Lp-Lq regularity for the linearized system (Section 2), proving explicit Lp-Lq decay estimates for the linear semigroup from the Fourier solution formulas (Section 4.1), and then closing a fixed-point argument with the nonlinear estimates (4.10), (4.40), and (4.41). No fitted parameter is renamed as a prediction: the smallness constant ε is chosen after the estimates so that L2ε≤1, and the solution norm bound N(θ,u)(∞)≤Lε follows from the contraction estimate rather than being imposed by definition. The self-citations ([14], [19], [20], [21]) are used as standard technical tools (real interpolation, analogous decay estimates, maximal regularity arguments) and are not restatements of Theorem 1.1; [18] is an external preprint used for solution operators. The manuscript's own proof does contain a parameter-range gap that is worth flagging, although it is not circularity: in Section 4.2, the line before (4.14) invokes Theorem 4.1 with (p,q)=(∞,q1/2) "under the condition q1/2≤2", which requires q1≤4, while Theorem 1.1 states only 2<p<∞, q1<N<q2, 1/q1=1/q2+1/N, and 2/p+N/q2<1; for N≥5 these hypotheses allow q1>4 (e.g. N=5, q1=4.9), so the stated theorem is broader than the proof supplied. This is a correctness concern, not a reduction of the conclusion to its inputs.
Assumptions & free parameters
assumptions (5)
- domain assumption Spectral and decay assumptions (1.2): μ*>0, μ*+ν*>0, κ*>0, P'(ρ*)>0, and ((μ*+ν*)/(2ρ*))^2 ≠ ρ*κ*.
- domain assumption The linear resolvent estimate for the γ1=0 Korteweg system, Theorem 3.1 of H. Saito's preprint [18].
- domain assumption Decay estimate Theorem 4.1 for the linearized semigroup, including the low-frequency part proved 'by the same argument as in the proof of Theorem 3.1 in [14]'.
- ad hoc to paper The condition q1/2 ≤ 2 (equivalently q1 ≤ 4) when applying Theorem 4.1 with p=∞ in Section 4.2.
- standard math Standard functional analysis tools: Weis operator-valued Fourier multiplier theorem, R-boundedness calculus, Sobolev and Besov embeddings, real interpolation.
Cite this review
Pith. "Pith review of The global well-posedness for the compressible fluid model of Korteweg type." pith.science (2026). https://pith.science/paper/ANNAXQMX
@misc{pith2026190807224,
author = {Pith},
title = {Pith review of: The global well-posedness for the compressible fluid model of Korteweg type},
year = {2026},
howpublished = {\url{https://pith.science/paper/ANNAXQMX}},
note = {Machine review of arXiv:1908.07224}
}
abstract
In this paper, we consider the compressible fluid model of Korteweg type which can be used as a phase transition model. It is shown that the system admits a unique, global strong solution for small initial data in $\mathbb R^N$, $N \geq 3$. In this study, the main tools are the maximal $L_p$-$L_q$ regularity and $L_p$-$L_q$ decay properties of solutions to the linearized equations.
Reference graph
Works this paper leans on
-
[18]
H. Saito, Maximal regularityfor a compressible fluid model of Kortewe g type on general domains , preprint
-
[1]
D. Bian, L. Yao, and C. Zhu, Vanishing capillarity limit of the compressible fluid model s of Korteweg type to the Navier-Stokes equations , SIAM J. Math. Anal., 46 (2) (2014) 1633–1650
work page 2014
-
[2]
J. Bourgain, Vector-valued singular integrals and the H 1-BMO duality , In: Probability Theory and Harmonic Analysis, D. Borkholder (ed.) Marcel Dekker, New York (1986) 1–19
work page 1986
- [3]
-
[4]
Z. Chen and H. Zhao, Existence and nonlinear stability of stationary solutions to the full com- pressible Navier-Stokes-Korteweg system , J. Math. Pures Appl. (9), 101(3) (2014) 330–371
work page 2014
-
[5]
N. Chikami and T. Kobayashi, Global well-posedness and time-decay estimates of the comp ressible Navier- Stokes-Korteweg system in critical Besov spaces , J. Math. Fluid Mech. 21 (2019), no. 2, Art. 31
work page 2019
-
[6]
R. Danchin, B. Desjardins, Existence of solutions for compressible fluid models of Kort eweg type, Ann. Inst. Henri Poincare Anal. Nonlinear, 18 (2001) 97–133
work page 2001
-
[7]
R. Denk, M. Hieber and J. Pr¨ uß, R-boundedness, Fourier multipliers and problems of ellipti c and parabolic type. Memoirs of AMS. Vol 166. No. 788. 2003
work page 2003
Show all 28 references
-
[8]
J. E. Dunn and J. Serrin, On the thermomechanics of interstital working , Arch. Ration. Mech. Anal., 88 (1985) 95–133
1985
-
[9]
Enomoto, L
Y. Enomoto, L. Below and Y. Shibata, On some free boundary problem for a compressible barotropic viscous fluid flow , Ann. Univ. Ferrara Sez. VII Sci. Mat. 60 (1) (2014) 55–89
2014
-
[10]
Haspot, Existence of global weak solution for compressible fluid mod els of Korteweg type , J
B. Haspot, Existence of global weak solution for compressible fluid mod els of Korteweg type , J. Math. Fluid Mech., 13 (2011) 223–249
2011
-
[11]
Hattori, D
H. Hattori, D. Li, Solutions for two dimensional systems for materials of Kort eweg type , SIAM J. Math. Anal., 25 (1994) 85–98
1994
-
[12]
Hattori, D
H. Hattori, D. Li, Golobal solutions of a high dimensional systems for Kortewe g materials , J. Math. Anal. Appl., 198 (1996) 84–97
1996
-
[13]
X. Hou, H. Peng and C. Zhu, Global classical solutions to the 3D Navier-Stokes-Kortew eg equations with small initial energy , Anal. Appl., 16 (1) (2018) 55–84
2018
-
[14]
Kobayashi and Y
T. Kobayashi and Y. Shibata, Decay estimates of solutions for the equations of motion of c ompressible viscous and heat-conductive gases in an exterior domain in R3 , Comm. Math. Phys. 200 (1999) 621–659
1999
-
[15]
Kobayashi and K
T. Kobayashi and K. Tsuda, Global existence and time decay estimate of solutions to the compressible Navier-StokesKorteweg system under critical condition , (2019), preprint, arXiv:1905.03542
2019 arXiv
-
[16]
D. J. Korteweg, Sur la forme que prennent les ´ equations du mouvement des flui des si lfon tient compte des forces capillaires caus´ ees par des variations de densit´ e consid´ erables mais continues et sur la th´ eorie de la capillarite dans lfhypoth´ ese dfune variation cont...
1901
-
[17]
Y. P. Li, Global existence and optimal decay rate for the compressibl e Navier-Stokes-Korteweg equations with external force, J. Math. Anal. Appl., 388 (2012) 1218–1232
2012
-
[19]
Schonbek and Y
M. Schonbek and Y. Shibata, On the global well-posedness of strong dynamics of incompre ssible nematic liquid crystals in RN , J. Evol. Equ. 17 (1) (2017) 537–550
2017
-
[20]
Schonbek and Y
M. Schonbek and Y. Shibata, Global well-posedness and decay for a Q tensor model of incompressible nematic liquid crystals in RN , J. Differential Equations, 266 (6) (2019) 3034–3065
2019
-
[21]
Shibata and S
Y. Shibata and S. Shimizu, On the Lp-Lq maximal regularity of the Neumann problem for the Stokes equ ations in a bounded domain , J. Reine Angew. Math. 615 (2008), 157–209. 20
2008
-
[22]
Z. Tan, H. Q. Wang, Large time behavior of solutions to the isentropic compress ible fluid models of Korteweg type in R3, Commun. Math. Sci. 10 (4) (2012) 1207–1223
2012
-
[23]
Z. Tan, H. Q. Wang, and J. K. Xu, Global existence and optimal L2 decay rate for the strong solutions to the compressible fluid models of Korteweg type , J. Math. Anal. Appl., 390 (2012) 181–187
2012
-
[24]
Tan and R
Z. Tan and R. Zhang, Optimal decay rates of the compressible fluid models of Korte weg type , Z. Angew. Math. Phys. 65 (2014) 279–300
2014
-
[25]
Tsuda, Existence and stability of time periodic solution to the com pressible Navier-Stokes- Korteweg system on R3, J
K. Tsuda, Existence and stability of time periodic solution to the com pressible Navier-Stokes- Korteweg system on R3, J. Math. Fluid Mech. 18 (2016) 157–185
2016
-
[26]
J. D. Van der Waals, Th´ eorie thermodynamique de la capillarit´ e, dans lfhypoth´ ese dfune variation continue de la densit´ e., Archives N´ eerlandaises des sciences exactes et naturell es XXVIII (1893) 121–209
-
[27]
Y. J. Wang, Z. Tan, Optimal decay rates for the compressible fluid models of Kort eweg type, J. Math. Anal. Appl., 379 (2011) 256–271
2011
-
[28]
Weis, Operator-valued Fourier multiplier theorems and maximal Lp-regularity
L. Weis, Operator-valued Fourier multiplier theorems and maximal Lp-regularity. Math. Ann. 319 (2001) 735–758. 21
2001
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.