Regularity of pressure in the neighbourhood of regular points of weak solutions of the Navier-Stokes equations. (Q851603)

The paper deals with the regularity of the pressure and of the time derivative of the velocity near the regularity points. In the paper \textit{H. Kozono} [Commun.\ Partial Differ.\ Equations 23, No. 5-6, 949--966 (1998; Zbl 0910.35090)] the author claims that the time derivative is smooth near the regularity points. This does not seem to be evident, at least by the technique used in the paper cited above. The authors show that in bounded domains the pressure and the time derivate have all spatial derivatives which, however, belong only to \(L^\alpha ((t_0-\varepsilon , t_0+\varepsilon ); L^\infty (B_\delta (x_0)))\) for \(1\leq \alpha <2\). If \(\Omega = \mathbb{R}^3\) then \(\alpha =\infty \). The other part deals with conditions, under which the time integrability can be improved. This is possible if either \(\frac {\partial u}{\partial n} \in L^\beta ((t_0-\varepsilon , t_0+\varepsilon ); L^1(\partial \Omega ))\) for some \(\beta >2\) or \((P-P(x_0,t_0))^+\) or \((P-P(x_0,t_0))^- \in L^\beta ((t_0-\varepsilon , t_0+\varepsilon ); L^1(B_\delta (x_0)))\). In both cases, the pressure and the time derivative of the velocity belong to \(L^\beta ((t_0-\varepsilon , t_0+\varepsilon ); L^\infty (B_\delta (x_0)))\).