Global Steady Prandtl Expansion Over a Moving Boundary

In this three-part monograph, we prove that steady, incompressible Navier-Stokes flows posed over the moving boundary, $y = 0$, can be decomposed into Euler and Prandtl flows in the inviscid limit globally in $[1,\infty) \times [0,\infty)$, assuming a sufficiently small velocity mismatch. Sharp decay rates and self-similar asymptotics are extracted for both Prandtl and Eulerian layers. We then develop a functional framework to capture precise decay rates of the remainders, and prove the corresponding embedding theorems by establishing weighted estimates for their higher order tangential derivatives. These tools are then used in conjunction with a third order energy analysis, which in particular enables us to control the nonlinearity $vu_y$ globally.