Initial-Boundary Value Problems and the Navier-Stokes Equations