A new proof of the Th\'eor\`eme de Structure related to a weak solution to the Navier-Stokes equations

Abstract

It is well known that a Leray's weak solution to the Navier-Stokes Cauchy problem enjoys a partial regularity which is known in the literature as the Th\'eor\`eme de Structure of a Leray's weak solution. As well, this result has been extended by some authors to the case of the IBVP. In this note, we achieve the Th\'eor\`eme de Structure by means of a new proof. Our proof is based on a priori estimates for a suitable approximating sequence. In this way our result covers a more general setting in the sense that, e.g., we can also include the case of the weak solutions furnished by Hopf for an IBVP in bounded domains without requiring an energy inequality in a strong form, but just employing a priori estimates on the Galerkin approximation.