The strong vanishing viscosity limit with Dirichlet boundary conditions

We adapt methodology of Tosio Kato to establish necessary and sufficient conditions for the solutions to the Navier–Stokes equations with Dirichlet boundary conditions to converge in a strong sense to a solution to the Euler equations in the presence of a boundary as the viscosity is taken to zero. We extend existing conditions for no-slip boundary conditions to allow for nonhomogeneous Dirichlet boundary conditions and curved boundaries, establishing several new conditions as well. We give a brief comparison of various correctors appearing in the literature used for similar purposes.