Infinite Boundary Friction Limit for Weak Solutions of the Stochastic Navier-Stokes Equations

We address convergence of the unique weak solutions of the 2D stochastic Navier-Stokes equations with Navier boundary conditions, as the boundary friction is taken uniformly to infinity, to the unique weak solution under the no-slip condition. Our result is that for initial velocity in $L^2_x$, the convergence holds in probability in $C_tW^{-\varepsilon,2}_x \cap L^2_tL^2_x$ for any $0 < \varepsilon$. The noise is of transport-stretching type, although the theorem holds with other transport, multiplicative and additive noise structures. This seems to be the first work concerning the large boundary friction limit with noise, and convergence for weak solutions, due to only $L^2_{x}$ initial data, appears new even deterministically.