REGULARITY OF WEAK SOLUTIONS OF THE NAVIER-STOKES EQUATIONS NEAR THE SMOOTH BOUNDARY

Any weak solution u of the Navier-Stokes equations in a bounded domain satisfying the Prodi-Serrin's conditions locally near the smooth boundary cannot have singular points there. This local-up-to-the-boundary boundedness of u in space-time implies the Holder continuity of u up-to-the-boundary in the space variables.