Navier-Stokes Equations and Nonlinear Functional Analysis