Leray's fundamental work on the Navier-Stokes equations: a modern review of "Sur le mouvement d'un liquide visqueux emplissant l'espace"

Abstract

This article offers a modern perspective which exposes the many contributions of Leray in his celebrated work on the Navier--Stokes equations from 1934. Although the importance of his work is widely acknowledged, the precise contents of his paper are perhaps less well known. The purpose of this article is to fill this gap. We follow Leray's results in detail: we prove local existence of strong solutions starting from divergence-free initial data that is either smooth, or belongs to $H^1$, $L^2\cap L^p$ (with $p\in (3,\infty ]$), as well as lower bounds on the norms $\Vert \nabla u(t){\Vert }_2$, $\Vert u(t){\Vert }_p$ ($p\in (3,\infty ]$) as $t$ approaches a putative blow-up time. We show global existence of a weak solution and weak-strong uniqueness. We present Leray's characterisation of the set of singular times for the weak solution, from which we deduce that its upper box-counting dimension is at most $\frac{1}{2}$. Throughout the text we provide additional details and clarifications for the modern reader and we expand on all ideas left implicit in the original work, some of which we have not found in the literature. We use some modern mathematical tools to bypass some technical details in Leray's work, and thus expose the elegance of his approach.

81 pages. All comments are welcome

Cited by in corpus (9)

• Weak-strong uniqueness for the Landau-Lifshitz-Gilbert equation in micromagnetics
• Partial regularity of Leray-Hopf weak solutions to the incompressible Navier-Stokes equations with hyperdissipation
• Using periodic boundary conditions to approximate the Navier-Stokes equations on ${\mathbb{R}}^3$ and the transfer of regularity
• An anisotropic regularity condition for the 3D incompressible Navier-Stokes equations for the entire exponent range
• Quantitative transfer of regularity of the incompressible Navier-Stokes equations from ${\mathbb{R}}^3$ to the case of a bounded domain
• Global weak solutions of the Navier-Stokes equations for intermittent initial data in half-space
• On a Parabolic-Hyperbolic Chemotaxis System with Discontinuous Data: Well-posedness, Stability and Regularity
• On weak solutions to the Navier-Stokes inequality with internal singularities
• Introduction to SPDEs from Probability and PDE