On the existence of Leray-Hopf weak solutions to the Navier-Stokes equations

We give a rather short and self-contained presentation of the global existence for Leray- Hopf weak solutions to the three dimensional incompressible Navier-Stokes equations, with constant density. We give a unified treatment in terms of the domains and the relative boundary conditions and in terms of the approximation methods. More precisely, we consider the case of the whole space, the flat torus, and the case of a general bounded domain with a smooth boundary (the latter supplemented with homogeneous Dirichlet conditions). We consider as approximation schemes the Leray approximation method, the Faedo-Galerkin method, the semi-discretization in time and the approximation by adding a Smagorinsky-Ladyžhenskaya term. We mainly focus on developing a unified treatment especially in the compactness argument needed to show that approximations converge to the weak solutions.