On the Steady Prandtl Boundary Layer Expansions

In this paper, we consider the zero-viscosity limit of the 2D steady Navier-Stokes equations in $(0,L)\times {\mathbb{R}}^{+}$ with non-slip boundary conditions. By estimating the stream-function of the remainder, we justify the validity of the Prandtl boundary layer expansions.