pith. sign in

arxiv: 2605.04386 · v1 · submitted 2026-05-06 · 🧮 math.AP

Global spherically symmetric solutions to the multidimensional isentropic compressible Navier--Stokes--Korteweg system with large initial data

Pith reviewed 2026-05-08 17:55 UTC · model grok-4.3

classification 🧮 math.AP
keywords Navier-Stokes-Korteweg systemspherically symmetric solutionsglobal existencelarge initial dataexterior domainisentropic compressible flowcapillary effects
0
0 comments X

The pith

Global existence and uniqueness of spherically symmetric strong solutions holds for the isentropic compressible Navier-Stokes-Korteweg system with large initial data under suitable restrictions on the parameters alpha, beta and gamma.

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

The paper establishes global existence and uniqueness of spherically symmetric strong solutions to an initial-boundary value problem for the multidimensional isentropic compressible Navier-Stokes-Korteweg system in an unbounded exterior domain, even when the initial data is large. The pressure follows a power law, while viscosity and capillarity coefficients are allowed to depend on density through power parameters alpha, beta and gamma. The result applies when those parameters satisfy suitable restrictions and is proved by combining a radically weighted energy method with the technique of Kanel. A reader would care because the result removes smallness assumptions on the data and handles capillary forces in a setting that models real fluids with surface tension effects.

Core claim

Under suitable restrictions on the parameters alpha, beta and gamma, the global existence and uniqueness of spherically symmetric strong solutions to the initial-boundary value problem of the multidimensional isentropic compressible Navier-Stokes-Korteweg system is established in an unbounded exterior domain for large initial data.

What carries the argument

The radically weighted energy method combined with the technique developed by Y. Kanel.

If this is right

  • Strong solutions remain globally regular without developing singularities in finite time.
  • The result covers both constant-viscosity cases and density-dependent viscosity cases with matching power laws.
  • Uniqueness holds among all spherically symmetric strong solutions.
  • The approach extends classical large-data techniques to systems that include capillary forces.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Spherical symmetry plus radial weighting appears sufficient to control the multidimensional problem even without smallness on the data.
  • The same method may adapt to related systems such as non-isentropic or quantum Navier-Stokes models.
  • The parameter restrictions likely guarantee that the energy functional remains coercive and controls the density away from zero and infinity.

Load-bearing premise

The initial data must be spherically symmetric and have sufficient regularity in the unbounded exterior domain.

What would settle it

Construction of a spherically symmetric initial datum with large size that produces a strong solution blowing up in finite time when the parameters alpha, beta, gamma lie outside the allowed range.

read the original abstract

In this paper, we investigate the global existence of spherically symmetric strong solutions with large initial data to an initial-boundary value problem of the multidimensional isentropic compressible Navier-Stokes-Korteweg system in an unbounded exterior domain. We consider the case when the pressure $p(\rho)=\rho^\gamma$, the viscosity coefficients $\mu(\rho)$ and $ \lambda(\rho)$ satisfy either $\mu(\rho)=\tilde{\mu}, \lambda(\rho)=\tilde{\lambda}\rho^\alpha$ or $\mu(\rho)=\tilde{\mu}\rho^\alpha, \lambda(\rho)=\tilde{\lambda}\rho^\alpha$, and the capillarity coefficient $\kappa(\rho)=\tilde{\kappa}\rho^\beta$, where $\alpha,\beta,\gamma \in \mathbb{R}$ are parameters, and $\tilde{\mu},\tilde{\lambda},\tilde{\kappa}$ are given real constants. Under suitable restrictions on the parameters $\alpha,\beta$ and $\gamma$, we establish the global existence and uniqueness of spherically symmetric strong solutions. The proof relies on the radically weighted energy method combined with the technique developed by Y.~Kanel'\cite{28}.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The paper claims to establish the global existence and uniqueness of spherically symmetric strong solutions with large initial data for an initial-boundary value problem of the multidimensional isentropic compressible Navier-Stokes-Korteweg system in an unbounded exterior domain. The pressure is p(ρ)=ρ^γ; the viscosity coefficients satisfy either μ(ρ)=μ̃ (constant) and λ(ρ)=λ̃ ρ^α or both μ(ρ)=μ̃ ρ^α and λ(ρ)=λ̃ ρ^α; the capillarity coefficient is κ(ρ)=κ̃ ρ^β. Under suitable restrictions on the real parameters α, β, γ, the result follows from a radially weighted energy method combined with Kanel's technique.

Significance. If the a priori estimates close under the stated parameter restrictions, the result extends global strong-solution theory for the NSK system to large data in exterior domains while retaining spherical symmetry. The radially weighted energy functional is a natural device for controlling decay at infinity and the geometric (n-1)/r terms that arise after reduction to radial coordinates; pairing it with Kanel's 1D L^∞ technique for density is a standard and appropriate choice. The work therefore supplies a concrete, falsifiable existence theorem for a physically relevant regime (compressible flow with capillarity) without smallness assumptions on the data.

minor comments (2)
  1. The abstract states that the result holds 'under suitable restrictions on the parameters α, β and γ' but does not list the precise inequalities. Stating the admissible range explicitly (even if only by reference to the main theorem) would allow readers to assess the scope immediately.
  2. The notation for the constant coefficients (μ̃, λ̃, κ̃) is introduced in the abstract; a single sentence in the introduction confirming that these are fixed nonzero constants would remove any ambiguity about whether they may vanish or change sign.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive evaluation of our manuscript and the recommendation for minor revision. The assessment of the significance of extending global strong-solution theory for the NSK system to large data in exterior domains under spherical symmetry is appreciated. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper proves global existence and uniqueness of spherically symmetric strong solutions to the isentropic NSK system via reduction to radial symmetry, application of a radially weighted energy functional, and invocation of Kanel's external 1D technique for uniform density bounds. Parameter restrictions on α, β, γ close the a priori estimates without smallness assumptions on data. No step reduces by definition to the target result, no fitted quantities are relabeled as predictions, and the sole cited technique is from an independent source (Kanel' 1968) rather than a self-citation chain. The derivation is self-contained against external mathematical benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result rests on standard Sobolev-type embeddings, the applicability of Kanel's technique to this system, and the spherical symmetry reduction; no new entities are introduced.

axioms (2)
  • domain assumption The initial data is spherically symmetric and belongs to suitable Sobolev spaces allowing the weighted energy estimates to close.
    Invoked to reduce the multidimensional problem and control the radial weights.
  • domain assumption Kanel's technique extends directly to the NSK system with the given density-dependent coefficients.
    Cited without re-derivation in the abstract.

pith-pipeline@v0.9.0 · 5513 in / 1182 out tokens · 77899 ms · 2026-05-08T17:55:36.283338+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

45 extracted references · 45 canonical work pages

  1. [1]

    D.: Thermodynamische Theorie der kapillarit¨ at unter Voraussetzung stetiger Dichte nderung

    Van der Waals, J. D.: Thermodynamische Theorie der kapillarit¨ at unter Voraussetzung stetiger Dichte nderung. Z. Phys. Chem.13, 657–725 (1894)

  2. [2]

    J.: Sur la forme que prennent les ´ equations des mouvement des fluids si l’on tient comple des forces capillaries par des variations de densit´ e

    Korteweg, D. J.: Sur la forme que prennent les ´ equations des mouvement des fluids si l’on tient comple des forces capillaries par des variations de densit´ e. Arch. Neerl. Sci. Exactes. Nat. Ser. II6, 1–24 (1901). 25

  3. [3]

    E., Serrin, J.: On the thermomechanics of interstital working

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

  4. [4]

    Electron

    Benzoni-Gavage, S., Danchin, R., Descombes, S.: Well-posedness of one-dimensional Korteweg models. Electron. J. Differential Equations59, 1–35 (2006)

  5. [5]

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

  6. [6]

    Danchin, R., Desjardins, B.: Existence of solutions for compressible fluid models of Korteweg type. Ann. Inst. Henri Poincar´ e Anal. Non lin´ eaire18, 97–133 (2001)

  7. [7]

    Haspot, B.: Existence of global weak solution for compressible fluid models of Korteweg type. J. Math. Fluid Mech.13, 223–249 (2011)

  8. [8]

    Haspot, B.: Existence of strong solutions for nonisothermal Korteweg system. Ann. Math. Blaise Pascal 16, 431–481 (2009)

  9. [9]

    Hattori, H., Li, D.: Global solutions of a high dimensional system for Korteweg materials. J. Math. Anal. Appl.198, 84–97 (1996)

  10. [10]

    Hattori, H., Li, D.: The existence of global solutions to a fluid dynamic model for materials for Korteweg type. J. Partial Differential Equations9, 323–342 (1996)

  11. [11]

    Hattori, H., Li, D.: Solutions for two dimensional system for materials of Korteweg type. SIAM J. Math. Anal.25, 85-–98 (1994)

  12. [12]

    Wang, Y.-J., Tan, Z.: Optimal decay rates for the compressible fluid models of Korteweg type. J. Math. Anal. Appl.379, 256–271 (2011)

  13. [13]

    Discrete Contin

    Tan, Z., Zhang, X., Wang, H.-Q.: Asymptotic behavior of Navier-Stokes-Korteweg with frictional in. Discrete Contin. Dyn. Syst.34, 2243–2259 (2014)

  14. [14]

    Li, Y.-P.: Global existence and optimal decay rate for the compressible Navier-Stokes-Korteweg equations with external force. J. Math. Anal. Appl.388, 1218–1232 (2012)

  15. [15]

    Discrete Contin

    Wang, W.-J., Wang, W.-K.: Decay rate of the compressible Navier-Stokes-Korteweg equations with potential force. Discrete Contin. Dyn. Syst.35(1), 513–536 (2015)

  16. [16]

    Chen, Z.-Z., Zhao, H.-J.: Existence and nonlinear stability of stationary solutions to the full compressible Navier-Stokes-Korteweg system. J. Math. Pures Appl.101, 330–371 (2014)

  17. [17]

    Chen, Z.-Z., He, L., Zhao, H.-J.: Nonlinear stability of traveling wave solutions to the one-dimensional compressible fluid models of Korteweg type. J. Math. Anal. Appl.422, 1213–1234 (2015)

  18. [18]

    Chen, Z.-Z.: Asymptotic stability of strong rarefaction waves for the compressible fluid models of Korteweg type. J. Math. Anal. Appl.394, 438–448 (2012)

  19. [19]

    Chen, Z.-Z., Xiao, Q.-H.: Nonlinear stability of viscous contact wave for the one-dimensional compress- ible fluid models of Korteweg type. Math. Meth. Appl. Sci.36, 2265–2279 (2013)

  20. [20]

    Tsyganov, E.: Global existence and asymptotic convergence of weak solutions for the one-dimensional Navier–Stokes equations with capillarity and nonmonotonic pressure. J. Differential Equations245, 3936–3955 (2008)

  21. [21]

    Charve, F., Haspot, B.: Existence of global strong solution and vanishing capillarity-viscosity limit in one dimension for the Korteweg system. SIAM J. Math. Anal.45, 469–494 (2013)

  22. [22]

    G.: Finite energy method for compressible fluids: the Navier-Stokes-Korteweg model

    Germain, P., LeFloch, P. G.: Finite energy method for compressible fluids: the Navier-Stokes-Korteweg model. Comm. Pure Appl. Math.69, 3–61 (2016). 26

  23. [23]

    Chen, Z.-Z., Chai, X.-J., Dong, B.-Q., Zhao, H.-J.: Global classical solutions to the one-dimensional compressible fluid models of Korteweg type with large initial data. J. Differential Equations259, 4376– 4411 (2015)

  24. [24]

    Nonlinear Anal.144, 139–156 (2016)

    Chen, Z.-Z.: Large-time behavior of smooth solutions to the isothermal compressible fluid models of Korteweg type with large initial data. Nonlinear Anal.144, 139–156 (2016)

  25. [25]

    Nonlinearity32, 395–444 (2019)

    Chen, Z.-Z., Sheng, M.-D.: Global stability of a combination of viscous contact wave with rarefaction waves for the compressible fluid models of Korteweg type. Nonlinearity32, 395–444 (2019)

  26. [26]

    Chen, Z.-Z., Li, Y.-P.: Asymptotic behavior of solutions to an impermeable wall problem of the com- pressible fluid models of Korteweg type with density-dependent viscosity and capillarity. SIAM J. Math. Anal.53(2), 1434–1473 (2021)

  27. [27]

    Chen, Z.-Z., Zhao, H.-J.: Asymptotics of the 1D compressible Navier-Stokes equations with density- dependent viscosity. J. Differential Equations269, 912–953 (2020)

  28. [28]

    Differ Uravn4, 374–380 (1968)

    Kanel Y.: On a model system of equations of one-dimensional gas motion. Differ Uravn4, 374–380 (1968). (in Russian)

  29. [29]

    B.: Global solvability of the equations of motion of a viscous gas with axial and spherical symmetry

    Nikolaev, V. B.: Global solvability of the equations of motion of a viscous gas with axial and spherical symmetry. Dinamika Sploshn Sredy162, 136–141 (1983)

  30. [30]

    , Kratka M.: Global solutions to the Navier–Stokes equations for compressible heat- conducting flow with symmetry and free boundary

    Chen G.-Q. , Kratka M.: Global solutions to the Navier–Stokes equations for compressible heat- conducting flow with symmetry and free boundary. Comm. Partial Differential Equations27, 907–943 (2002)

  31. [31]

    Frid H., Shelukhin V.: Vanishing shear viscosity in the equations of compressible fluids for the flows with the cylinder symmetry. SIAM J. Math. Anal.31, 1144–1156 (2000)

  32. [32]

    Hoff D., Jenssen H.K.: Symmetric nonbarotropic flows with large data and forces. Arch. Ration. Mech. Anal.173, 297–343 (2004)

  33. [33]

    Jenssen H.K., Karper T.K.: One-dimensional compressible flow with temperature dependent transport coefficients. SIAM J. Math. Anal.42, 904–930 (2010)

  34. [34]

    Wang T.: One dimensional pth power Newtonian fluid with temperature-dependent thermal conductiv- ity. Commun. Pure Appl. Anal.15, 477–494 (2016)

  35. [35]

    Jiang S., Zhang J.: Boundary layers for the Navier–Stokes equations of compressible heat-conducting flows with cylindrical symmetry. SIAM J. Math. Anal.41, 237–268 (2009)

  36. [36]

    Qin X., Yang T., Yao Z.-a., Zhou W.: Vanishing shear viscosity and boundary layer for the Navier–Stokes equations with cylindrical symmetry. Arch. Ration. Mech. Anal.216, 1049–1086 (2015)

  37. [37]

    Antontsev S.N., Kazhikhov A.V., Monakhov V.N.: Boundary Value Problems in Mechanics of Nonho- mogeneous Fluids. Stud. Math. Appl.22, ii–iii (1990)

  38. [38]

    Jiang S.: Large-time behavior of solutions to the equations of a viscous polytropic ideal gas. Ann. Mat. Pura Appl.175, 253–275 (1998)

  39. [39]

    Cui H., Yao Z.-A.: Asymptotic behavior of compressible pth power Newtonian fluid with large initial data. J. Differential Equations258, 919–953 (2015)

  40. [40]

    Wan L., Wang T.: Symmetric flows for compressible heat-conducting fluids with temperature dependent viscosity coefficients. J. Differential Equations262, 5939–5977 (2017)

  41. [41]

    Kazhikhov A.V., Shelukhin V.V.: Unique global solution with respect to time of initial-boundary value problems for one-dimensional equations of a viscous gas. J. Appl. Math. Mech.41, 273–282 (1977). 27

  42. [42]

    Bresch D., Desjardins B.: Existence of global weak solutions for a 2D viscous Shallow water equations and convergence to the quasi-geostrophic model. Commun. Math. Phys.238, 211–223 (2003)

  43. [43]

    Bresch D., Desjardins B.: On the construction of approximate solutions for the 2D viscous shallow water model and for compressible Navier-Stokes models. J. Math. Pures Appl.9, 362–368 (2006)

  44. [44]

    Cao Y., Li H., Zhu S.-G.: Global spherically symmetric solutions to degenerate compressible Navier- Stokes equations with large data and far-field vacuum. Calc. Var. Partial Differential Equations63, 230 (2024)

  45. [45]

    Nishihara K., Yang T., Zhao H.-J.: Nonlinear stability of strong rarefaction waves for compressible Navier–Stokes equations. SIAM J. Math. Anal.35, 1561–1597 (2004). 28