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
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.
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
- 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.
Referee Report
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, 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.
- 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.
- 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
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
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
Reference graph
Works this paper leans on
-
[1]
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
work page 2010
-
[2]
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
work page 2011
-
[3]
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
work page 2018
-
[4]
C.S. Cao and J.H. Wu. Stability of the 3D Navier-Stokes equations with anisotropic dissipation.Nonlin- earity, 38(9): No.095012, 2025
work page 2025
- [5]
-
[6]
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
work page 2007
-
[7]
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
work page 1986
-
[8]
P. Constantin and C. Foias.Navier-Stokes equations. Chicago Lectures in Mathematics. University of Chicago Press, Chicago, IL, 1988
work page 1988
-
[9]
P. Constantin and J.H. Wu. Inviscid limit for vortex patches.Nonlinearity, 8(5):735–742, 1995
work page 1995
- [10]
- [11]
-
[12]
P. Constantin and J.H. Wu. The inviscid limit for non-smooth vorticity.Indiana Univ. Math. J., 45(1):67– 81, 1996
work page 1996
- [13]
-
[14]
Y. Guo and Y.J. Wang. Decay of dissipative equations and negative Sobolev spaces.Comm. Partial Differential Equations, 37(12):2165–2208, 2012
work page 2012
- [15]
- [16]
- [17]
-
[18]
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
work page 2018
-
[19]
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
work page 1995
- [20]
-
[21]
D. Iftimie. A uniqueness result for the Navier-Stokes equations with vanishing vertical viscosity.SIAM J. Math. Anal., 33(6):1483–1493, 2002
work page 2002
-
[22]
D. Iftimie and G. Planas. Inviscid limits for the Navier-Stokes equations with Navier friction boundary conditions.Nonlinearity, 19(4):899–918, 2006
work page 2006
-
[23]
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
work page 2011
-
[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
work page 2023
-
[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
work page 2021
-
[26]
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
work page 2002
-
[27]
T. Kato. Nonstationary flows of viscous and ideal fluids inR 3.J. Funct. Anal., 9:296–305, 1972
work page 1972
-
[28]
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
work page 1998
-
[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
work page 2020
- [30]
-
[31]
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
work page 1980
-
[32]
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
work page 1983
-
[33]
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
work page 2012
-
[34]
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]
Pedlosky.Geophysical Fluid Dynamics, Second Edition
J. Pedlosky.Geophysical Fluid Dynamics, Second Edition. Geophysical Fluid Dynamics, Second Edition, 1987
work page 1987
-
[36]
M. Paicu. Anisotropic Navier-Stokes equation in critical spaces.Rev. Mat. Iberoamericana, 21(1):179–235, 2005
work page 2005
-
[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
work page 2005
-
[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
work page 2011
-
[39]
J. Simon. Nonhomogeneous viscous incompressible fluids: existence of velocity, density, and pressure, SIAM J. Math. Anal., 21(5):1093–1117, 1990
work page 1990
-
[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
work page 1970
-
[41]
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
work page 2004
-
[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
work page 2025
-
[43]
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
work page 2013
-
[44]
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
work page 2017
-
[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
work page 2016
- [46]
- [47]
-
[48]
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
work page 2007
-
[49]
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
work page 2013
-
[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
work page 2009
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.