Title: On the approximation of turbulent fluid flows by the Navier-Stokes-$α$ equations on bounded domains

Abstract: The Navier-Stokes-$\alpha$ equations are an LES (Large Scale Simulation) model that provides a regularization of the Navier-Stokes equations. This filtering technique allows to capture the behavior of the small scales on the large scales without computing all the scale range presented in the flow. The constant $\alpha$ is a regime flow parameter that has the dimension of the smallest scale being resolvable by the model. Hence, when $\alpha=0$, one recovers the classical Navier-Stokes equations for a flow of viscous, incompressible, Newtonian fluids.
In this paper we first derive the Navier-Stokes-$\alpha$ equations on bounded domains with no-slip boundary conditions by means of the Leray regularization using the Helmholtz filter. Then we study the behavior of the Galerkin approximations of the Navier-Stokes-$\alpha$ equations as approximating solutions of the Navier-Stokes equations on bounded domains with no-slip boundary conditions. The Galerkin method is undertaken by using the eigenfunctions associated with the Stokes operator. We will derive local- and global-in-time error estimates measured in terms of the regime parameter $\alpha$ and the eigenvalues. In particular, in order to obtain global-in-time error estimates, we will work with the concept of stability for solutions of the Navier-Stokes equations in terms of the $L^2$ norm.