Pith. sign in

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 →

arxiv 1908.07224 v1 pith:ANNAXQMX submitted 2019-08-20 math.AP

classification math.AP MSC 35Q3576N1035B40
keywords Kortewegfluidmodelcompressiblefluidswithcapillarityglobalwell-posednessmaximalLp-LqregularitypolynomialdecaysmallinitialdatadiffuseinterfaceBesovspaces
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper proves global well-posedness for the compressible fluid model of Korteweg type, a diffuse-interface model for liquid-vapor flows that includes capillary stress in the momentum equation. The claim is that in every dimension $N \ge 3$, sufficiently small initial perturbations of density and velocity, measured in the Besov-type space $D_{q_i,p}$ together with $L^{q_1/2}$, produce a unique solution $(\rho,u)=(\rho_*+\theta,u)$ that exists for all time and lies in a maximal $L_p$-$L_q$ regularity class. The same proof yields quantitative polynomial decay: the norm $\mathcal N(\theta,u)(\infty)$ is bounded by $L\varepsilon$, with time weights such as $\langle t\rangle^{N/q_1}$ on the $L_\infty$ part. A reader would care because earlier global existence results for this model required critical Besov regularity tied to the dimension or high-order Sobolev spaces, whereas here the data regularity is independent of $N$ and decay rates come out of the same fixed-point argument.

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.

Watch

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

Editorial extensions of the paper, not claims the author makes directly.

  • 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.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 4 minor

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)
  1. [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.
  2. [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)
  1. [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.
  2. [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.
  3. [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.
  4. [Throughout] There are numerous typographical errors, including 'In oder', 'drived', 'Golobal', 'thses', 'constrction', 'samller', and 'consraction'. A careful proofreading pass is needed.

Circularity Check

0 steps flagged · score 1.0 of 10

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 0 free parameters · 5 assumptions · 0 invented entities

The proof introduces no fitted constants and no new physical entities. The free exponents p,q1,q2,τ are part of the theorem's hypotheses, not fitted parameters. The main axioms are the physical coefficient conditions, the external linear theory from [18] and [14], and an unstated q1≤4 restriction that the proof actually requires.

assumptions (5)
  • domain assumption Spectral and decay assumptions (1.2): μ*>0, μ*+ν*>0, κ*>0, P'(ρ*)>0, and ((μ*+ν*)/(2ρ*))^2 ≠ ρ*κ*.
    Assumed in Theorem 1.1. P'(ρ*)>0 makes the low-frequency symbol wave-like and δ*≠0 keeps the high-frequency roots separated, both used in Theorem 4.1.
  • domain assumption The linear resolvent estimate for the γ1=0 Korteweg system, Theorem 3.1 of H. Saito's preprint [18].
    Used in the proof of Theorem 2.4; no proof is included in this paper and the cited source is an unpublished preprint.
  • 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]'.
    This estimate is load-bearing for all nonlinear estimates in Section 4.2; the proof is only sketched by reference.
  • ad hoc to paper The condition q1/2 ≤ 2 (equivalently q1 ≤ 4) when applying Theorem 4.1 with p=∞ in Section 4.2.
    The proof invokes this condition right before (4.14), but Theorem 1.1 does not state it. For N≥5 the stated hypotheses allow q1>4, so this is an unstated restriction.
  • standard math Standard functional analysis tools: Weis operator-valued Fourier multiplier theorem, R-boundedness calculus, Sobolev and Besov embeddings, real interpolation.
    Used throughout Sections 2 and 3; these are accepted background results.

how reviews work

0 comments
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.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

28 extracted references · 28 canonical work pages

  1. [18]

    Saito, Maximal regularityfor a compressible fluid model of Kortewe g type on general domains , preprint

    H. Saito, Maximal regularityfor a compressible fluid model of Kortewe g type on general domains , preprint

  2. [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

  3. [2]

    Bourgain, Vector-valued singular integrals and the H 1-BMO duality , In: Probability Theory and Harmonic Analysis, D

    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

  4. [3]

    Bresch, B

    D. Bresch, B. Desjardins and C. K. Lin, On some compressible fluid models: Korteweg, lubrication an d shallow water systems , Comm. Partial Differential Equations, 28 (2003) 843–868

  5. [4]

    Chen and H

    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

  6. [5]

    Chikami and T

    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

  7. [6]

    Danchin, B

    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

  8. [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

Show all 28 references
  1. [8]

    J. E. Dunn and J. Serrin, On the thermomechanics of interstital working , Arch. Ration. Mech. Anal., 88 (1985) 95–133

  2. [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

  3. [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

  4. [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

  5. [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

  6. [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

  7. [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

  8. [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

  9. [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...

  10. [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

  11. [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

  12. [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

  13. [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

  14. [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

  15. [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

  16. [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

  17. [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

  18. [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

  19. [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

  20. [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

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.