A new energy inequality and partial regularity for weak solutions of Navier-Stokes equations (Q5943910)

A weak solution of Leray-Hopf type for the Navier-Stokes equations \[ \begin{aligned} &\frac{\partial v}{\partial t}-\Delta v+(v\cdot)\nabla v-\nabla p=f,\quad \text{div} v=0 \;\;\text{in } \Omega\times(0,T),\\ &v=0,\quad x\in \partial\Omega,\qquad v|_{t=0}=v_0,\quad x\in \Omega. \end{aligned} \] is constructed. This solution satisfies the energy inequality \[ \begin{aligned} &\|v(t)\|^2_H+\limsup_{\delta\to 0+}\int^{t}_{\delta} \left\|\frac{v(\tau)-v(\tau-\delta)}{\delta^{\frac 12}}\right\|^2_H \,d\tau+2\int^t_0\int_{\Omega}(\nabla v\cdot \nabla v) \,dx\, d\tau\leq \tag{1}\\ &\leq\|v_0\|^2_H+2\int^t_0\int_{\Omega}fv \,dx\, d\tau. \end{aligned} \] The author remarks that the existence of a weak solution with \[ \limsup_{\delta\to 0+}\int^{t}_{\delta} \left\|\frac{v(\tau)-v(\tau-\delta)}{\delta^{\frac 12}}\right\|^2_H \,d\tau>0 \] is not known yet. The inequality (1) implies a certain result of a partial regularity of a weak solution.