A new proof of partial regularity of solutions to Navier-Stokes equations (Q2474199)

The author considers the Navier-Stokes equation (NS) for an incompressible 3-D flow in a regular domain \(\Omega\), with no slip condition at the boundary and given initial velocity. The aim is to prove the existence of a universal constant \(C^*\) having the following property: if the velocity \(u\) and pressure \(P\) solving (NS) for \(t\in [-1,1]\) and \(x\in B(1)\) satisfy the inequality \[ \sup_{t\in [1,1]} \biggl(\int_{B(1)}| u| ^2 \,dx\biggr)+ \int^1_{-1}\int_{B(1)}| \nabla u| ^2 \,dx\,dt+ \Biggl[\int^1_{-1} \biggl(\int_{B(1)}| P| \,dx\biggr)^p \,dt\Biggr]^{\frac2p}\leq c^* \] then \(| u| <1\) on \([-\frac12,1]\times B(\frac12).\) An important consequence of this theorem is the existence of another universal constant \(\delta^*\) with the following property: if the inequality \[ \limsup_{\varepsilon\rightarrow 0}\tfrac1\varepsilon\int^{t_0+\varepsilon^2}_{t_0-\varepsilon^2} \int_{x_0+B(\varepsilon)}| \nabla u| ^2 \,dx\,dt\leq\delta^* \] is satisfied at a point \((t_0, x_0)\) internal to \((0,\infty)\times\Omega\), then \(u\) is bounded in a neighbourhood of \((t_0, x_0)\). From the latter boundedness theorem it follows that the 1-D Hausdorff measure of the set of singular points of the so-called suitable weak solutions belonging to \(L^\infty(0,\infty; L^2(\Omega))\times L^2(0,\infty; H^1_0(\Omega))\) is zero.