pith. sign in

arxiv: 2605.23233 · v1 · pith:GZWILLS3new · submitted 2026-05-22 · 🧮 math.AP

Global uniform regularity and vanishing vertical viscosity limit for the compressible Navier--Stokes equations in the half-space

Pith reviewed 2026-05-25 04:04 UTC · model grok-4.3

classification 🧮 math.AP
keywords compressible Navier-Stokesanisotropic viscosityvanishing viscosity limithalf-spaceglobal regularityNavier slip boundaryconormal Sobolev estimates
0
0 comments X

The pith

Small perturbations of equilibrium states yield global solutions to the compressible Navier-Stokes equations in the half-space that stay bounded uniformly as vertical viscosity vanishes and converge to the horizontal-dissipation limit.

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

The paper shows that the three-dimensional compressible Navier-Stokes equations with anisotropic viscosity in the upper half-space, subject to Navier slip boundary conditions, admit unique global-in-time solutions when the initial data is a small perturbation of a constant equilibrium. These solutions have conormal Sobolev norms that remain bounded independently of time and of the vertical viscosity coefficient ε for all ε in (0,1). The same uniform bound is used to prove that the solutions converge, as ε tends to zero, to a global solution of the reduced system that dissipates only in the horizontal directions. This supplies the first global-in-time justification of the anisotropic viscosity limit for compressible flows.

Core claim

For small perturbations of a constant equilibrium state, the anisotropic compressible Navier-Stokes equations in the upper half-space possess a unique global solution whose conormal Sobolev norm is bounded uniformly for all t ≥ 0 and all ε ∈ (0,1); moreover, these solutions converge to a global solution of the horizontally dissipative compressible Navier-Stokes system as the vertical viscosity coefficient vanishes.

What carries the argument

Uniform bounds on conormal Sobolev norms that control the solution independently of time and of the vertical viscosity parameter, allowing passage to the limit as ε → 0 on the infinite time interval.

If this is right

  • The full anisotropic system possesses global solutions for all positive vertical viscosity coefficients.
  • The vanishing vertical viscosity limit holds globally in time rather than only locally.
  • The limit system itself admits global solutions under the same smallness assumption on the data.
  • The convergence occurs in the conormal Sobolev topology used to obtain the uniform bounds.

Where Pith is reading between the lines

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

  • The result suggests that reduced horizontal-dissipation models can be used to describe long-time compressible behavior in settings where vertical viscosity is negligible.
  • The same uniform-norm strategy could be tested on related anisotropic systems with different boundary conditions or on bounded domains.
  • Numerical schemes for ocean or atmospheric flows might exploit the global convergence to justify replacing the full system with its limit for extended time intervals.

Load-bearing premise

The initial data must be a sufficiently small perturbation of a constant equilibrium state.

What would settle it

An explicit small initial perturbation whose solution develops an unbounded conormal Sobolev norm at some finite time or whose limit fails to exist as the vertical viscosity coefficient approaches zero.

read the original abstract

In geophysical flows such as large-scale ocean dynamics, the vertical viscosity is often much smaller than the horizontal viscosity. This anisotropy makes it natural to ask whether solutions of the full anisotropic compressible Navier--Stokes equations converge, as the vertical viscosity coefficient $\varepsilon \to 0$, to solutions of a horizontally dissipative limit system, and whether this limit can be justified globally in time. Prior work has answered this question locally in time or in the incompressible setting. We resolve this problem for the three-dimensional compressible Navier--Stokes equations in the upper half-space with the Navier slip boundary condition. This paper establishes two main results for small perturbations of a constant equilibrium state. First, we prove the existence of a unique global-in-time solution whose conormal Sobolev norm remains uniformly bounded for all $t \ge 0$ and all $\varepsilon \in (0,1)$. Second, we justify the global vanishing vertical viscosity limit. More precisely, we show that the solutions converge to a global solution of the horizontally dissipative compressible Navier--Stokes system. This provides the first rigorous justification of the anisotropic viscosity limit for compressible flows on an infinite time interval.

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 / 3 minor

Summary. The manuscript proves two results for the 3D compressible Navier-Stokes system with anisotropic viscosity (vertical coefficient ε) in the upper half-space subject to Navier slip boundary conditions. For initial data that are sufficiently small perturbations of a constant equilibrium state, it establishes global-in-time existence and uniqueness of solutions whose conormal Sobolev norms remain bounded uniformly in time and in ε ∈ (0,1). It then passes to the limit ε → 0 to obtain global convergence to a solution of the horizontally dissipative compressible Navier-Stokes system. The proofs rely on energy estimates in conormal Sobolev spaces to close the a priori bounds and justify the vanishing-viscosity limit globally in time.

Significance. If the estimates hold, the work supplies the first global-in-time rigorous justification of the anisotropic viscosity limit for compressible flows, extending earlier local-in-time or incompressible results. The uniform control of conormal norms independent of ε is the key technical step that permits passage to the limit on [0,∞). This is directly relevant to geophysical modeling where vertical viscosity is much smaller than horizontal viscosity. The small-data global existence framework is standard in the field but technically nontrivial at the boundary; the manuscript's success in obtaining ε-uniform bounds constitutes a clear advance.

minor comments (3)
  1. §1, line 3: the phrase 'for all ε ∈ (0,1)' should be clarified to indicate whether the upper bound 1 is essential or merely convenient; if the estimates hold for any fixed ε0 > 0, this should be stated explicitly.
  2. The statement of the main theorem (presumably Theorem 1.1 or 1.2) does not list the precise Sobolev index s or the precise form of the conormal norm; adding this information in the theorem statement would improve readability.
  3. The abstract claims 'unique global-in-time solution'; the uniqueness statement should be cross-referenced to the precise function space in which uniqueness holds.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary, significance assessment, and recommendation of minor revision. No major comments were listed in the report, so there are no specific points requiring point-by-point response or revision.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The derivation consists of standard a priori energy estimates in conormal Sobolev spaces to obtain ε-uniform bounds for small perturbations of equilibrium, followed by passage to the limit as ε→0. No step reduces by construction to a fitted parameter, self-definition, or load-bearing self-citation chain; the small-data hypothesis is stated explicitly and used only to close the nonlinear estimates in the usual way. The result is self-contained against external benchmarks of anisotropic NS theory.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review supplies no explicit free parameters, axioms, or invented entities; standard Sobolev embedding and energy estimate techniques are presupposed but not itemized.

pith-pipeline@v0.9.0 · 5744 in / 1030 out tokens · 36314 ms · 2026-05-25T04:04:31.299419+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

50 extracted references · 50 canonical work pages

  1. [1]

    Beir˜ ao da Veiga and F

    H. Beir˜ ao da Veiga and F. Crispo. Sharp inviscid limit results under Navier type boundary conditions. An Lp theory.J. Math. Fluid Mech., 12(3):397–411, 2010

  2. [2]

    Beir˜ ao da Veiga and F

    H. Beir˜ ao da Veiga and F. Crispo. Concerning theW k,p-inviscid limit for 3-D flows under a slip boundary condition.J. Math. Fluid Mech., 13(1):117–135, 2011

  3. [3]

    Bresch and P.E

    D. Bresch and P.E. Jabin. Global existence of weak solutions for compressible Navier-Stokes equations: thermodynamically unstable pressure and anisotropic viscous stress tensor.Ann. of Math., 188(2):577– 684, 2018

  4. [4]

    Cao and J.H

    C.S. Cao and J.H. Wu. Stability of the 3D Navier-Stokes equations with anisotropic dissipation.Nonlin- earity, 38(9): No.095012, 2025

  5. [5]

    Chemin, B

    J.-Y. Chemin, B. Desjardins, I. Gallagher and E. Grenier. Fluids with anisotropic viscosity.Math. Model. Numer. Anal., 34(2):315–335, 2000

  6. [6]

    Chemin and P

    J.-Y. Chemin and P. Zhang. On the global wellposedness to the 3-D incompressible anisotropic Navier- Stokes equations.Comm. Math. Phys., 272(2):529–566, 2007

  7. [7]

    Constantin

    P. Constantin. Note on loss of regularity for solutions of the 3-D incompressible Euler and related equations. Comm. Math. Phys., 104(2):311–326, 1986

  8. [8]

    Constantin and C

    P. Constantin and C. Foias.Navier-Stokes equations. Chicago Lectures in Mathematics. University of Chicago Press, Chicago, IL, 1988

  9. [9]

    Constantin and J.H

    P. Constantin and J.H. Wu. Inviscid limit for vortex patches.Nonlinearity, 8(5):735–742, 1995

  10. [10]

    Fan, J.X

    X.Y. Fan, J.X. Li and J. Li. Global existence of strong and weak solutions to 2D compressible Navier-Stokes system in bounded domains with large data and vacuum.Arch. Ration. Mech. Anal., 245(1):239–278, 2022

  11. [11]

    Feng, G.Y

    Z.F. Feng, G.Y. Hong, Y.H. Wang and J.H. Wu. Stability and decay rates for the 3D compressible Navier- Stokes equations with eddy diffusion.preprint. 59 J.C.Gao, L.Y.Peng, J.H.Wu, Z.A.Yao

  12. [12]

    Constantin and J.H

    P. Constantin and J.H. Wu. The inviscid limit for non-smooth vorticity.Indiana Univ. Math. J., 45(1):67– 81, 1996

  13. [13]

    Gao, J.H

    J.C. Gao, J.H. Wu, Z.A. Yao and X. Yin. Global uniform regularity for the 3D incompressible MHD equations with slip boundary condition near an equilibrium.arXiv:2408.14123

  14. [14]

    Guo and Y.J

    Y. Guo and Y.J. Wang. Decay of dissipative equations and negative Sobolev spaces.Comm. Partial Differential Equations, 37(12):2165–2208, 2012

  15. [15]

    Huang, J

    X.D. Huang, J. Li and Z.P. Xin. Serrin type criterion for the three-dimensional viscous compressible flows. SIAM J. Math. Anal., 43:1872–1886, 2011

  16. [16]

    Huang, J

    X.D. Huang, J. Li and Z.P. Xin. Blowup criterion for the compressible flows with vacuum states.Comm. Math. Phys., 301:23–35, 2011

  17. [17]

    Huang, J

    X.D. Huang, J. Li and Z.P. Xin. Global well-posedness of classical solutions with large oscillations and vacuum to the three-dimensional isentropic compressible Navier-Stokes equations.Commun. Pure Appl. Math., 65:549–585, 2012

  18. [18]

    Huang and J

    X.D. Huang and J. Li. Global classical and weak solutions to the three-dimensional full compressible Navier-Stokes system with vacuum and large oscillations.Arch. Ration. Mech. Anal., 227(3):995–1059, 2018

  19. [19]

    Hoff and K

    D. Hoff and K. Zumbrun. Multi-dimensional diffusion waves for the Navier-Stokes equations of compressible flow.Indiana Univ. Math. J., 44(2):603–676, 1995

  20. [20]

    Hong, X.H

    G.Y. Hong, X.H. Hou, H.Y. Peng and C.J. Zhu. Global existence for a class of large solution to compressible Navier-Stokes equations with vacuum.Math. Ann., 388(2):2163–2194, 2024

  21. [21]

    D. Iftimie. A uniqueness result for the Navier-Stokes equations with vanishing vertical viscosity.SIAM J. Math. Anal., 33(6):1483–1493, 2002

  22. [22]

    Iftimie and G

    D. Iftimie and G. Planas. Inviscid limits for the Navier-Stokes equations with Navier friction boundary conditions.Nonlinearity, 19(4):899–918, 2006

  23. [23]

    Iftimie and F

    D. Iftimie and F. Sueur. Viscous boundary layers for the Navier-Stokes equations with the Navier slip conditions.Arch. Ration. Mech. Anal., 199(1):145–175, 2011

  24. [24]

    R.H. Ji, L. Tian and J.H. Wu. 3D anisotropic Navier-Stokes equations inT 2 ×R: stability and large-time behaviour.Nonlinearity, 36(6):3219–3237, 2023

  25. [25]

    R.H. Ji, J.H. Wu and W.R. Yang. Stability and optimal decay for the 3D Navier-Stokes equations with horizontal dissipation.J. Differential Equations, 290:57–77, 2021

  26. [26]

    Kagei and T

    Y. Kagei and T. Kobayashi. On large time behavior of solutions to the compressible Navier–Stokes equations in the half space inR 3.Arch. Ration. Mech. Anal., 165:89–159, 2002

  27. [27]

    T. Kato. Nonstationary flows of viscous and ideal fluids inR 3.J. Funct. Anal., 9:296–305, 1972

  28. [28]

    Liu and W.K

    T.P. Liu and W.K. Wang. The pointwise estimates of diffusion wave for the Navier-Stokes systems in odd multi-dimensions.Comm. Math. Phys., 196(1):145–173, 1998

  29. [29]

    Y.L. Liu, M. Paicu and P. Zhang Global well-posedness of 3-D anisotropic Navier-Stokes system with small unidirectional derivative.Arch. Ration. Mech. Anal., 238(2):805–843, 2020

  30. [30]

    Masmoudi

    N. Masmoudi. Remarks about the inviscid limit of the Navier-Stokes system.Comm. Math. Phys., 270(3):777–788, 2007. 60 Uniform regularity and vanishing vertical viscosity limit of CNS

  31. [31]

    Matsumura and T

    A. Matsumura and T. Nishida. The initial value problem for the equations of motion of viscous and heat- conductive gases.J. Math. Kyoto Univ., 20:67–104, 1980

  32. [32]

    Matsumura and T

    A. Matsumura and T. Nishida. The initial boundary value problems for the equations of motion of com- pressible and heat-conductive fluids.Commun. Math. Phys., 89:445–464, 1983

  33. [33]

    Masmoudi and F

    N. Masmoudi and F. Rousset. Uniform regularity for the Navier-Stokes equation with Navier boundary condition.Arch. Ration. Mech. Anal., 203(2):529–575, 2012

  34. [34]

    Masmoudi, C.Z

    N. Masmoudi, C.Z. Sun, C. Wang and Z.F. Zhang Incompressible and vanishing vertical viscosity limit for the compressible Navier-Stokes system with Dirichlet boundary conditions.arXiv:2501.05063

  35. [35]

    Pedlosky.Geophysical Fluid Dynamics, Second Edition

    J. Pedlosky.Geophysical Fluid Dynamics, Second Edition. Geophysical Fluid Dynamics, Second Edition, 1987

  36. [36]

    M. Paicu. Anisotropic Navier-Stokes equation in critical spaces.Rev. Mat. Iberoamericana, 21(1):179–235, 2005

  37. [37]

    M. Paicu. ´Equation periodique de Navier-Stokes sans viscosit´ e dans une direction.Comm. Partial Differ- ential Equations, 30(7-9):1107–1140, 2005

  38. [38]

    Y.Z. Sun, C. Wang and Z.F. Zhang. A Beale-Kato-Majda blow-up criterion for the 3-D compressible Navier-Stokes equations.J. Math. Pures Appl., 95:36–47, 2011

  39. [39]

    J. Simon. Nonhomogeneous viscous incompressible fluids: existence of velocity, density, and pressure, SIAM J. Math. Anal., 21(5):1093–1117, 1990

  40. [40]

    Stein.Singular integrals and differentiability properties of functions, volume No

    E.M. Stein.Singular integrals and differentiability properties of functions, volume No. 30 of Princeton Mathematical Series. Princeton University Press, Princeton, NJ, 1970

  41. [41]

    Temam and M

    R. Temam and M. Ziane. Some mathematical problems in geophysical fluid dynamics.Handbook of math- ematical fluid dynamics, Vol. III, North-Holland, Amsterdam, 535–657, 2004

  42. [42]

    H.Y. Wen. Global wellposedness of compressible Navier-Stokes equations with vacuum and smallness on scaling invariant quantity inR 3.Adv. Math., 482: No.110628, 2025

  43. [43]

    Wen and C.J

    H.Y. Wen and C.J. Zhu. Blow-up criterions of strong solutions to 3D compressible Navier-Stokes equations with vacuum.Adv. Math., 248:534–572, 2013

  44. [44]

    Wen and C.J

    H.Y. Wen and C.J. Zhu. Global solutions to the three-dimensional full compressible Navier-Stokes equations with vacuum at infinity in some classes of large data.SIAM J. Math. Anal., 49(1):162–221, 2017

  45. [45]

    Y. Wang. Uniform regularity and vanishing dissipation limit for the full compressible Navier-Stokes system in three dimensional bounded domain.Arch. Ration. Mech. Anal., 221(3):1345–1415, 2016

  46. [46]

    Wang, Z.P

    Y. Wang, Z.P. Xin and Y. Yong. Uniform regularity and vanishing viscosity limit for the compressible Navier-Stokes with general Navier-slip boundary conditions in three-dimensional domains.SIAM J. Math. Anal., 47(6):4123–4191, 2015

  47. [47]

    Wu and Y

    J.H. Wu and Y. Zhu. Global solutions of 3D incompressible MHD system with mixed partial dissipation and magnetic diffusion near an equilibrium.Adv. Math., 377:107466, 2021

  48. [48]

    Xiao and Z.P

    Y.L. Xiao and Z.P. Xin. On the vanishing viscosity limit for the 3D Navier-Stokes equations with a slip boundary condition.Comm. Pure Appl. Math., 60(7):1027–1055, 2007

  49. [49]

    Xiao and Z.P

    Y.L. Xiao and Z.P. Xin. On the inviscid limit of the 3D Navier-Stokes equations with generalized Navier-slip boundary conditions.Commun. Math. Stat., 1(3):259–279, 2013

  50. [50]

    T. Zhang. Global wellposed problem for the 3-D incompressible anisotropic Navier-Stokes equations in an anisotropic space.Comm. Math. Phys., 287(1):211–224, 2009. 61