Abstract: We establish the validity of boundary layer expansion for a steady compressible flow. The remainder estimate is controlled via a div-curl decomposition for the momentum equations, identifying good unknowns of generalized stream function and a pseudo entropy for the compressible Navier-Stokes equations, with a crucial inflow boundary condition for the pressure. This is a joint work with Yong Wang.
