A Classical Two-Part First-Threshold Proof of Global Smoothness for Navier--Stokes: Axisymmetric Swirl Closure and Full-System Reduction

Technical Summary: A Classical Two-Part First-Threshold Proof of Global Smoothness for Navier–Stokes: Axisymmetric Swirl Closure and Full-System Reduction

Problem Statement
The paper addresses the global regularity problem for the three-dimensional incompressible Navier–Stokes equations:
$$\partial_t u + u \cdot \nabla u + \nabla p = \Delta u, \quad \nabla \cdot u = 0$$
on $\mathbb{R}^3$ with smooth, finite-energy, divergence-free initial data. The central difficulty lies in the potential formation of singularities (blow-up) in finite time. The author, Rishad Shahmurov, proposes a proof that global smooth continuation ($T^* = \infty$) holds for all such initial data.

Methodology: The Two-Part First-Threshold Argument
The proof is structured as a "two-part first-threshold" argument. It assumes the existence of a hypothetical singular terminal time $T^*$ and attempts to derive a contradiction by analyzing a "canonical first-threshold terminal packet"—a normalized concentration of vorticity and energy that would exist if a singularity were to form.

Part I: Axisymmetric Swirl Closure in Five-Dimensional Lifted Variables
Part I establishes global regularity for the specific class of axisymmetric flows with swirl.

• Five-Dimensional Lift: The author utilizes an exact representation of the axisymmetric scalar fields as SO(4)-radial functions in a five-dimensional space ($\mathbb{R}^4_y \times \mathbb{R}_z$). This transforms the singular cylindrical weights (e.g., $1/r$) into standard radial weights, allowing the use of standard harmonic analysis tools in 5D.
• Key Variables: The analysis focuses on the lifted vorticity ratio $G = \omega_\theta/r$ and the squared regularized swirl derivative $H = (u_\theta/r)^2$. The strain $U = u_r/r$ is recovered from $G$ via an order $-1$ operator (Riesz potential).
• The Pair Mechanism: The core difficulty is the derivative source $-\partial_z H$ in the $G$-equation and the compressive feedback $U[G]H^2$ in the $H$-equation. The proof treats these as a coupled "pair-transfer mechanism" $(G, H)$ rather than separating them into principal and error terms.
• Soft Bridge vs. Strict Bridge:
  • Soft Bridge: Classical estimates (Hardy–Littlewood–Sobolev, Sobolev, interpolation, Young's inequality) are used to absorb "subcritical" packets where the local mass is small relative to the dissipation.
  • Strict Bridge: For the remaining "compact-critical" packets (where scaling is balanced), classical norm inequalities are insufficient because they cannot distinguish geometric alignments (signs, parity) that might allow a coefficient-one saturation. The proof introduces a terminal strictness argument using finite-stage compactness and a localized Pohozaev–Morawetz identity. By testing the strong endpoint profile against amplitude and dilation homogeneity, the author derives incompatible identities that force a strict coefficient $\theta < 1$, contradicting the assumed saturation.
• Recovery: Once $G$ and $H$ are controlled, the unsigned swirl variable $F = u_\theta/r$ is recovered via a lower-order equation, establishing local boundedness and thus global regularity for this class.

Part II: Full-System First-Threshold Reduction
Part II reduces the general 3D problem to the axisymmetric case and the classical 2D case.

• Defect Channels: Starting from a hypothetical singular 3D solution, the proof decomposes potential obstructions into "defect channels": leakage, shell/tail effects, fragmentation, passive strain, angular phase mismatch, and temporal transfer bursts.
• Descendant Mechanism: The proof employs a "finite-overlap descendant" strategy. If any defect channel is non-perturbative (i.e., too large to be absorbed), it generates a "descendant" packet (smaller scale, earlier time, or fewer components) with a positive corrected score.
• Canonical Minimality: By selecting a "canonically minimal" terminal packet (minimal in time, scale, and complexity), the existence of any such descendant creates a contradiction.
• Zero-Defect Rigidity: If all defect channels vanish (zero final defect), the terminal limit is rigid. The proof shows the limit must be either:
  1. Locally two-dimensional: Excluded by classical 2D Navier–Stokes theory (Ladyzhenskaya, Temam, Galdi).
  2. Axisymmetric with swirl: Excluded by the result of Part I.
• Conclusion: Since both zero-defect alternatives are regular, and positive-defect alternatives are ruled out by the descendant argument, no singular terminal packet can exist.

Key Contributions

1. Exact 5D Lift for Axisymmetric Swirl: The paper provides a rigorous framework for treating the axisymmetric-with-swirl problem as a scalar parabolic system in 5D, isolating the derivative source and compressive feedback into a single pair-transfer mechanism.
2. Strict Terminal Bridge: The author demonstrates that classical harmonic analysis (norm estimates) cannot close the critical case due to "shape blindness." The proof introduces a geometric strictness step using Pohozaev–Morawetz identities on strong endpoint profiles to break the scaling tie, forcing a coefficient strictly less than one.
3. Finite-Overlap Descendant Framework: Part II systematically categorizes all potential 3D singularities into defect channels. It proves that any non-perturbative defect forces the existence of a "smaller" packet, which contradicts the minimality of the first-threshold selection.
4. Reduction to Known Classes: The full-system proof does not rely on new 3D estimates but rather on a reduction mechanism that funnels any potential singularity into either the 2D class or the axisymmetric-with-swirl class, both of which are proven regular.

Results
The paper claims to prove Main Theorem 1.1 (Global axisymmetric continuation with swirl) and Main Theorem 1.2 (Global three-dimensional continuation). Specifically, it asserts that for any smooth, finite-energy, divergence-free initial data in $\mathbb{R}^3$, the corresponding Navier–Stokes solution exists globally in time ($T^* = \infty$) and remains smooth.

Significance and Claims
The paper positions itself within the "direct-threshold" program, utilizing localized energy identities and Caccioppoli-type bookkeeping rather than relying on Caffarelli–Kohn–Nirenberg epsilon-regularity as a black box.

• Motivation: The author notes that the axisymmetric-with-swirl problem is a central testing ground for 3D regularity because it retains the stretching mechanism and singular geometry while admitting exact scalar variables.
• Limitation of Classical Estimates: The paper explicitly argues that classical estimates stop at the "soft bridge" stage. It claims that without the "terminal strictness" step (testing the geometric shape of the packet via Pohozaev identities), the proof cannot exclude the possibility of a coefficient-one saturator.
• Self-Containment: The proof is presented as self-contained regarding the estimates used; all terms are defined within the text, and the handoff between Part II (full system) and Part I (axisymmetric) is made explicit.

The paper does not propose new experimental applications or future numerical schemes; its contribution is purely analytical, aiming to resolve the global regularity conjecture through a specific decomposition of the problem into a 5D lifted axisymmetric core and a 3D reduction front-end.