Path 1: Foundational Formulation and Existence Theory
Base Camp 1.1 – Problem Statement & Historical Context
Introduces the Clay Millennium problem on 3D Navier–Stokes and its significance. The official problem description by Fefferman (2006) clearly formulates the global existence and smoothness question. It highlights that in three dimensions one has neither a proof of global smooth solution nor a counterexample. Most experts conjecture a positive answer (no finite-time blowup). Early discussions (e.g. Sinai 1998) emphasized the importance of resolving this for understanding turbulence. (Intuitive level: frames the problem and why it matters.)
Stepping Stones
- Stepping Stone: Clay Problem Statement – Precise conjecture requiring a smooth, global solution for any smooth initial data.
- Stepping Stone: Expert Expectation – General belief in global regularity despite lack of proof, underscoring the problem's subtlety.
- Stepping Stone: 2D vs 3D Contrast – In 2D the Navier–Stokes problem is long solved (global smooth solutions exist), but this gives no hint for the genuinely harder 3D case.
Base Camp 1.2 – Weak Solutions & Energy Inequalities
Covers Leray's and Hopf's foundational work constructing global weak solutions that satisfy the energy inequality. Leray's seminal 1934 paper “Sur le mouvement d'un liquide visqueux emplissant l'espace” proved the existence of global finite-energy weak solutions in $\mathbb{R}^3$. Hopf (1951) extended this to bounded domains, yielding what are now called Leray–Hopf weak solutions. These solutions are known to exist for all time but are not known to be smooth or unique. The approach uses energy estimates (dissipation of kinetic energy) and compactness methods to overcome nonlinearities. (Rigorous level: functional analytic construction of solutions.)
Stepping Stones
- Stepping Stone: Leray–Hopf Weak Solutions – Existence of at least one global weak solution for any divergence-free smooth initial data (energy inequality ensures bounded $L^2$ energy for all time).
- Stepping Stone: Energy Inequality – Key a priori estimate: kinetic energy decays due to viscosity, preventing uncontrolled growth.
- Stepping Stone: Local Strong Solutions – Classical short-time solutions exist and are unique for smooth data (via Picard iteration), but may break down at a finite “blowup time” if singularities form.
What to Upload Next
To dive deeper into each Base Camp, the following books and papers are top priorities:
Base Camp 1.1 – Problem Statement & Context
- Charles L. Fefferman (2006), “Existence and Smoothness of the Navier–Stokes Equation.” – Clay Institute official problem description. Provides a precise statement of the Millennium Problem and background remarks.
- Ya. G. Sinai (1998), “Navier–Stokes equations: global existence and uniqueness,” contributed to Open Problems in Math Physics. An accessible one-page summary of the 3D NS problem and its significance.
- Terence Tao (2017), “Why global regularity for Navier–Stokes is hard” (blog essay). An intuitive discussion of the obstacles (supercriticality, etc.) in proving regularity. Great for conceptual understanding before delving into technical papers.
Base Camp 1.2 – Weak Solutions & Energy Inequalities
- J. Leray (1934), “Sur le mouvement d'un liquide visqueux emplissant l'espace,” Acta Math. – The classic paper introducing Leray–Hopf weak solutions. Contains the construction of global weak solutions via energy estimates. (Rigorous, foundational.)
- E. Hopf (1951), “Über die Anfangswertaufgabe für die hydrodynamischen Grundgleichungen,” Univ. of Münster Lecture Notes. Extends Leray's existence to bounded domains and discusses weak solution uniqueness issues. (Historical and technical.)
- Peter Constantin (2001), “Some Open Problems and Research Directions in Fluid Dynamics,” in Mathematics Unlimited. – Sections describing the NS regularity problem and Leray's contributions. Good survey by a leading expert, at an intuitive to intermediate level.
- Roger Temam (1977), Navier–Stokes Equations: Theory and Numerical Analysis – Chapters 1–2 cover the energy inequality, weak solutions, and existence proofs in detail. A standard graduate text for the PDE foundations of NS (rigorous, intermediate level).