On regularity of a weak solution to the Navier–Stokes equation with generalized impermeability boundary conditions

We consider the 3D Navier–Stokes equation with generalized impermeability boundary conditions. As auxiliary results, we prove the local in time existence of a strong solution (‘strong’ in a limited sense) and a theorem on structure. Then, taking advantage of the boundary conditions, we formulate sufficient conditions for regularity up to the boundary of a weak solution by means of requirements on one of the eigenvalues of the rate of deformation tensor. Finally, we apply these general results to the case of an axially symmetric flow with zero angular velocity.