Global Steady Prandtl Expansion over a Moving Boundary Ⅱ

This is the second paper in a three-part sequence in which 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,∞)×[0,∞),assuming a sufficiently small velocity mismatch.In this paper,we 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 vuy globally,leading to the main a priori estimate in the analysis.