A rigorous but accessible introduction to the mathematical theory of the three-dimensional Navier–Stokes equations, this book provides self-contained proofs of some of the most significant results in the area, many of which can only be found in research papers. Highlights include the existence of global-in-time Leray–Hopf weak solutions and the local existence of strong solutions; the conditional local regularity results of Serrin and others; and the partial regularity results of Caffarelli, Kohn, and Nirenberg. Appendices provide background material and proofs of some 'standard results' that are hard to find in the literature.