Stationary statistical solutions of the three-dimensional Navier–Stokes equations for incompressible fluids are considered. They are a mathematical formalization of the notion of ensemble average for turbulent flows in statistical equilibrium in time. They are also a generalization of the notion of invariant measure to the case of the three-dimensional Navier–Stokes equations, for which a global uniqueness result is not known to exist and a semigroup may not be well-defined in the classical sense. The two classical definitions of stationary statistical solutions are considered and compared, one of them being a particular case of the other and possessing a number of useful properties. Furthermore, the so-called time-average stationary statistical solutions, obtained as generalized limits of time averages of weak solutions as the averaging time goes to infinity are shown to belong to this more restrictive class. A recurrent type result is also obtained for statistical solutions satisfying an accretion condition. Finally, the weak global attractor of the three-dimensional Navier–Stokes equations is considered, and in particular it is shown that there exists a topologically large subset of the weak global attractor which is of full measure with respect to that particular class of stationary statistical solutions and which has a certain regularity property.

Dans cette Note nous considérons les solutions statistiques stationnaires des équations de Navier–Stokes pour les fluides incompressibles. Les solutions statistiques stationnaires sont la formulation mathématique du concept de moyenne statistique pour des écoulements turbulents qui sont en équilibre statistique dans le temps. Ce sont aussi des généralisations de la notion de mesure invariante pour les équations de Navier–Stokes tridimensionnelles. En effet l’existence globale en temps d’une solution régulière de ces équations n’étant pas connue, on ne peut leur associer un semi-groupe d’opérateurs continus avec la définition qui en résulterait d’une solution mesure invariante. Deux définitions classiques des solutions statistiques stationnaires ont eté proposées ; elles sont ici rappelées et comparées ; les premières sont un cas particulier des secondes, et elles possèdent plusieurs propriétés utiles. De plus nous considérons les solutions statistiques stationnaires qui sont obtenues comme moyennes en temps de solutions faibles évolutives sur des intervalles de temps de plus en plus grands et nous montrons que ces moyennes temporelles appartiennent à la plus petite classe de solutions statistiques stationnaires. En outre une propriété de type récurrence est obtenue pour les solutions statistiques stationnaires qui satisfont une propriété d’accrétivité définie dans le texte. Finalement nous nous intéressons à l’attracteur global faible associé aux équations de Navier–Stokes tridimensionnelles, et nous montrons en particulier qu’il existe un sous-ensemble « topologiquement grand » de cet attracteur dont la mesure est totale par rapport à cette classe particulière de solutions statistiques stationnaires et qui présente un certain caractère de régularité.