The vanishing viscosity limit for 2D Navier-Stokes in a rough domain

We study the high Reynolds number limit of a viscous fluid in the presence of a rough boundary. We consider the two-dimensional incompressible Navier-Stokes equations with Navier slip boundary condition, in a domain whose boundaries exhibit fast oscillations in the form $x_2 = \varepsilon^{1+\alpha} \eta(x_1/\varepsilon)$, $\alpha > 0$. Under suitable conditions on the oscillating parameter $\varepsilon$ and the viscosity $\nu$, we show that solutions of the Navier-Stokes system converge to solutions of the Euler system in the vanishing limit of both $\nu$ and $\varepsilon$. The main issue is that the curvature of the boundary is unbounded as $\varepsilon \rightarrow 0$, which precludes the use of standard methods to obtain the inviscid limit. Our approach is to first construct an accurate boundary layer approximation to the Euler solution in the rough domain, and then to derive stability estimates for this approximation under the Navier-Stokes evolution.