On partial regularity of steady-state solutions to the 6D Navier-Stokes equations (Q2874076)

The authors consider the steady-state Navier-Stokes equations (with unit viscosity) NEWLINE\[NEWLINE u\nabla u - \Delta u +\nabla p = f, \;\;div \, u =0, \eqno{(1)} NEWLINE\]NEWLINE in a domain \(\Omega \subset {\mathbb{R}}^6\). It is well-known that the global regularity of the weak solutions of the Navier-Stokes equations is an open problem. However, there are many results on the partial regularity of weak solutions, as shown in the introduction of this paper. The authors prove the following regularity result, thus answering a question raised by \textit{M. Struwe} [Commun. Pure Appl. Math. 41, No. 4, 437--458 (1988; Zbl 0632.76034)]: Let \(\Omega\) be an open set in \({\mathbb{R}}^6\), \(\varepsilon_0\) be a small positive constant, \(f\in L^6_{loc}(\Omega)\), and let \(u\) be a weak solution to equation (1) satisfying a local energy inequality (see (2.2) on page 2215). Then, if for some \(x_0\in \Omega\) there exists an \(R_0\) such that \(r^{-2}\int_{|x-x_0|<r}{|\nabla u|}^2dx \leq \varepsilon_0, \;\;\forall 0<r<R_0\), then \(u\) is Hölder continuous in a neighbourhood of \(x_0\). In particular, the \(2D\) Hausdorff measure of the set of singular points of \(u\) is equal to zero.