Mathematical Tools for the Study of the Incompressible Navier-Stokes Equations andRelated Models