On the singular set in the Navier-Stokes equations (Q1584567)

The authors study the singular set of the suitable weak solutions to the Navier-Stokes equations in the sense of Caffarelli, Kohn and Nirenberg. It was shown in the paper by \textit{L. Caffarelli, R. Kohn} and \textit{L. Nirenberg} [Commun. Pure Appl. Math. 35, 771-831 (1982; Zbl 0509.35067)] that the one-dimensional parabolic Hausdorff measure of the singular set \(S\) is zero. The authors give two refinements of this result. First, they show that there exists \(\varepsilon = \varepsilon(M) >0\) such that \(\Lambda_{1-\varepsilon}(S\cap F_i(M))\) is equal to zero; here \(F_i(M)\) is the set of all points from the time-space cylinder such that \(\limsup_{r \to 0} A_i(r)<M\) and \(A_i(r)\) are certain weighted norms dependent on \(r\). The proof is based on the fact that \(d^{-\varepsilon}|\nabla u|^2\) is locally integrable; here \(d\) denotes the parabolic distance of a point to \(F_i(M)\). Second, using the refined notion of the dimension they show that if \(h(t) = t (\ln e/t)^\sigma\) then \(\Lambda(S,h)\) is zero for \(0\leq \sigma < 3/44\) (\(h(t)=t^k\) corresponds to \(\Lambda_k\) for \(k\) positive). The proof is based on some refined arguments from the above cited paper and on the fact that \((\ln 1/d) |\nabla u|^2\) is integrable over certain subset of \(S\).