Path 4: Analytical Approaches and Functional Frameworks

Base Camp 4.1 – Mild Solutions & Semigroup Methods

Covers the functional-analytic approach using the heat semigroup to solve Navier–Stokes in appropriate Banach spaces. Fujita and Kato (1964) initiated this by solving NS in the space $L^2(\mathbb{R}^3)$ (or $H^1$) for small initial data via contraction mapping. The idea is to rewrite NS as $u(t)=e^{\nu t\Delta}u^0 - \int_0^t e^{\nu (t-s)\Delta} P\nabla\cdot(u\otimes u)\,ds$ and treat the nonlinear term as a perturbation of the linear heat evolution. Kato (1984) extended this to $L^p$ spaces, constructing local mild solutions for any initial data in $L^p$ and global solutions for small initial norms. The semigroup (analytic heat kernel) provides smoothing, while fixed-point arguments give existence and uniqueness in function spaces that scale like the critical $L^3$. (Rigorous level: PDE functional analysis.)

Stepping Stones

• Stepping Stone: Fujita–Kato (1964) – Global existence for sufficiently small initial $H^1$ norm. Established the fundamental technique of transforming NS into an integral equation and using the contraction mapping theorem on the space $C([0,T],H^1)\cap L^2([0,T],H^2)$.
• Stepping Stone: Kato's $L^p$ Theorems – Existence of unique local solutions in $L^p(\mathbb{R}^3)$ for $p\ge 3$, and global existence if the initial $L^3$ norm is small. In particular, for $u^0\in L^3$, there is a time $T>0$ depending only on $|u^0|_{L^3}$ such that a strong solution exists on $[0,T]$. This result is near-critical since $L^3$ is invariant under the Navier–Stokes scaling.
• Stepping Stone: Energy vs. Dissipation Balance – The semigroup approach also clarifies how viscosity regularizes: high-frequency Fourier modes of $u$ decay quickly (exponentially in time). This provides an a priori smoothing effect, which is the foundation for all these perturbative existence results.

Base Camp 4.2 – Navier–Stokes in Critical Function Spaces

Explores modern harmonic analysis techniques to push existence and uniqueness results to the critical threshold of scaling. A landmark result by Koch & Tataru (2001) proved global well-posedness for small initial data in $BMO^{-1}$, the space of functions with bounded mean oscillation of order $-1$ (which is essentially the critical space scaling like $L^3$). This was achieved via sophisticated Carleson measure estimates and fixed-point arguments in function spaces that capture the borderline regularity. Additionally, tools like Littlewood–Paley decompositions and Besov spaces have been used (e.g. Cannone 1995) to obtain global solutions for small data in spaces such as $\dot B^{-1}_{\infty,\infty}$ (another critical space). These approaches are technically involved but crucial: they represent the furthest progress in solving Navier–Stokes for almost the full range of initial data (only excluding large-norm cases). (Advanced level: harmonic analysis and PDE theory.)

Stepping Stones

• Stepping Stone: Koch–Tataru (2001) – Achieved global existence and uniqueness for $|u^0|_{BMO^{-1}}$ sufficiently small. This result is notable because $BMO^{-1}$ is invariant under the NS scaling and is strictly larger than $L^3$; it solved a long-open question by reaching the critical endpoint of Kato's theory.
• Stepping Stone: Besov Space Results – Earlier, Y. Meyer and M. Cannone introduced Besov space techniques. For example, mild solutions exist globally if $|u^0|_{\dot B^{-1+\frac{3}{p}}_{p,\infty}}$ is small for some $p<\infty$. These encompass $L^3$ and provide a unified view of various function space criteria for global small solutions.
• Stepping Stone: Uniqueness & Continuation – In these frameworks, one also shows that if a strong solution in a critical space exists up to time $T^*$ and remains bounded in the critical norm as $t\to T^*$, then it can be continued beyond $T^*$. Thus, a potential blowup would necessarily be signaled by the critical norm blowing up (connecting back to criteria in Path 2). This links the functional analysis approach with the blowup-condition approach, reinforcing that controlling the critical norms is central to the problem.

What to Upload Next

To dive deeper into each Base Camp, the following books and papers are top priorities:

Base Camp 4.1 – Mild Solutions & Semigroup Methods

• H. Fujita and T. Kato (1964), “On the Navier–Stokes initial value problem. I,” Arch. Ration. Mech. Anal. 16:269–315. – The classic paper using semigroup theory to solve NS for small data. A foundational read for understanding mild solutions and the use of analytic semigroups.
• Tosio Kato (1984), “Strong $L^p$ solutions of the Navier–Stokes equation in $\mathbb{R}^m$, with applications to weak solutions,” Math. Z. 187:471–480. – Kato's influential paper generalizing the Fujita–Kato results to $L^p$ settings. Introduces important techniques like the $L^p$–$L^q$ decay estimates for the Stokes semigroup.
• Roger Temam (1984), Navier–Stokes Equations and Nonlinear Functional Analysis – Focuses on the functional analytic methods (semigroups, fixed-point theorems) for NS. This shorter monograph complements Temam's larger 1977 book, highlighting the ODE-in-Banach-space viewpoint.
• Henry, Daniel (1981), Geometric Theory of Semilinear Parabolic Equations – Not specific to NS but an excellent reference on semigroup and fixed-point methods for PDEs. Sections help one understand the general theory that underpins the existence of solutions via contraction mappings in parabolic equations like NS.

Base Camp 4.2 – Navier–Stokes in Critical Function Spaces

• Herbert Koch and Daniel Tataru (2001), “Well-posedness for the Navier–Stokes equations,” Adv. Math. 157:22–35. – The paper establishing global well-posedness for small $BMO^{-1}$ data. It's a brief paper but technically demanding; an important milestone in extending NS theory to critical spaces.
• Marco Cannone (1995), “A generalization of a theorem by Kato on Navier–Stokes equations,” Rev. Mat. Iberoam. 13(3):515–542. – Introduces the use of Littlewood–Paley decomposition and Besov spaces to reprove and extend Kato's results. A good entry point for learning harmonic analysis techniques in NS.
• Hideo Kozono and Masao Yamazaki (1994), “Semilinear heat equations and the Navier–Stokes equation with distributions in new function spaces as initial data,” Comm. Partial Differential Eq. 19:959–1014. – Another paper studying NS in Besov and Triebel–Lizorkin spaces, including borderline cases. Useful for comparisons and for alternative proofs in critical spaces.
• P. G. Lemarié-Rieusset (2002), Recent Developments in the Navier–Stokes Problem – Aside from weak solutions, this book details the construction of solutions in critical spaces and includes an exposition of Koch–Tataru's result. It's a comprehensive resource bridging classical and modern function space approaches (advanced level).