Boundary partial regularity for the Navier-Stokes equations (Q2567688)

The authors study the local regularity of solutions to the incompressible Navier-Stokes equations near the generally curved boundary. Under the assumption that the boundary is uniformly \(C^2\), they prove the regularity for the suitable weak solution near the boundary in the forms being known either in the interior of the domain or near the flat boundary. As an easy consequence it follows that the one-dimensional parabolic measure of points, where the solution is not Hölder continuous in any neighborhood of the point (i.e. the one-dimensional parabolic measure of the singular set), is zero. The proof is based on local transformation of the coordinates near the boundary which makes the boundary flat, however, changes slightly the Navier-Stokes system. Thus, a carefull study of the perturbed system is also performed.