結果 : initial-boundary value problems and the navier-stokes equations