Structural stability of boundary layers in the entire subsonic regime
Shengxin Li, Tong Yang, Zhu Zhang
TL;DR
This work delivers a rigorous, unified stability theory for boundary-layer profiles in the 2D steady compressible Navier–Stokes system across the entire subsonic regime $m\in(0,1)$. The authors decompose the problem into Fourier modes in the tangential direction and develop a robust quasi-compressible–Stokes iteration to solve the linearized system, then reduce nonzero modes to a compressible Orr–Sommerfeld equation OS_CNS solved via Rayleigh–Airy iterations in the low/middle frequencies and by energy methods at high frequencies. Boundary-layer corrections are constructed across low, middle, and high frequency regimes to enforce no-slip conditions, and nonlinear stability is achieved through a KN19-inspired modified linear system with careful high-order estimates, culminating in a nonlinear stability and a low Mach limit with incompressible boundary-layer leading order $(1,U_s(Y),0)$. The results yield uniform-in-$m$ estimates, establish the first low-Mach limit result in the presence of Prandtl boundary layers for the Navier–Stokes system, and deepen the understanding of density–velocity interactions in compressible boundary layers. These findings have implications for rigorous boundary-layer analysis in compressible flows under Sobolev regularity and subsonic regimes.
Abstract
Despite the physical importance, there are limited mathematical theories for the compressible Navier-Stokes equations with strong boundary layers. This is mainly due to the absence of a stream function structure, unlike the extensively studied incompressible fluid dynamics in two dimensions. This paper aims to establish the structural stability of boundary layer profiles in the form of shear flow for the two-dimensional steady compressible Navier-Stokes equations. Our estimates are uniform across the entire subsonic regime, where the Mach number $m\in (0,1)$. As a byproduct, we provide the first result concerning the low Mach number limit in the presence of Prandtl boundary layers. The proof relies on the quasi-compressible-Stokes iteration introduced in [38], along with a subtle analysis of the interplay between density and velocity variables in different frequency regimes, and the identification of cancellations in higher-order estimates.
