No label defined (Q4444880)

The author presents one further contribution to the long list of works dealing with the partial regularity of weak solutions of the nonlinear Navier-Stokes evolution equation. This Navier-Stokes equation is posed in \( Q_{T}=\Omega \times ( 0,T) \), where \(\Omega \) is the whole \( \mathbb{R}^{3}\) or a smooth and bounded subset of \(\mathbb{R}^{3}\). Homogeneous Dirichlet boundary conditions are eventually imposed on \( \partial \Omega \times ( 0,T) \) and the solution starts from an initial data \(u_{0}\), which satisfies: \(u_{0}=0\) on \(\partial \Omega \) and \( \nabla \cdot u_{0}=0\) in \(\Omega \). The author recalls the notion of weak solution in \(L^{2}( 0,T,W^{1,2}( \Omega ) ) \cap L^{\infty }( 0,T,L_{\sigma }^{2}( \Omega ) ) \) introducing a variational formulation obtained when integrating the equation once both in time and space, where \(L_{\sigma }^{2}( \Omega ) \) is the completion in \( ( L^{2}( \Omega ) ) ^{3}\) of the smooth functions in \( C_{0}^{\infty }( \Omega ) \) which are divergence-free. He then recalls the notion of Leray-Hopf weak solution, satisfying moreover the underlying energy inequality for every \(t\in ( 0,T] \). For his purpose, he also recalls the notion of suitable weak solutions as the pairs \( ( u,p) \) which satisfy a generalized energy inequality which involves a smooth function in \(C_{0}^{\infty }( 0,T) \). The existence of such suitable weak solutions has already been proved in a preceding work by the author and Kucera, provided \(u_{0}\) is smooth enough. In the present paper, the author discusses a notion of regularity which is linked to that of regular points, that is points \(( u_{0},t_{0}) \) for which there exists a space-time neighborhood on which the solution is essentially bounded. The first main theorem the author proves that if \(\nabla u_{3}\) belongs to \( L^{\alpha ,\gamma }( D) \) (where \(D\) is an open subset of \(Q_{T}\) ) with \(2/\alpha +3/\gamma \leq 3/2\), \(4/3\leq \alpha \leq \infty \), \(2\leq \gamma \leq \infty \), then a suitable weak solution has no singular points in \(D\). A quite similar result holds when \(\nabla u_{3}\) is replaced by the vector built with the two first components of \(\lim\text{curl}( u) \). The last result concerning local regularity removes these further conditions on \(u\) but requires more restrictive assumptions on the parameters \(\alpha \) and \(\gamma \). The last part of the paper presents some boundary regularity of a suitable weak solution. Assuming that \(\lim\text{curl}( u) \) belongs to some \(L^{p}\)-\(L^{q}\) space for well-chosen \(p\) and \(q\), then any suitable weak solution which belongs to some \(L^{p}\)-\(L^{q^{\ast }}\) space of some neighborhood of the boundary has no singular points in this neighborhood of the boundary. The proofs require many results previously obtained in this direction and deep computations involving Calderon-Zygmund inequality among other tools.