pith. sign in

arxiv: 2605.09797 · v2 · pith:7KEPSERXnew · submitted 2026-05-10 · 🧮 math.AP

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

Rishad Shahmurov This is my paper

Pith reviewed 2026-05-19 16:38 UTC · model grok-4.3

classification 🧮 math.AP
keywords Navier-Stokes equationsglobal regularityaxisymmetric swirlvorticity ratioenergy estimatessingular terminal packetthreshold argument
0
0 comments X

The pith

The paper proves global smooth continuation for smooth finite-energy solutions of the three-dimensional incompressible Navier-Stokes equations using a two-part first-threshold argument.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The authors aim to show that smooth finite-energy solutions to the 3D Navier-Stokes equations remain smooth for all time. They do this by assuming a hypothetical singularity and reducing it through a series of exclusions to either a locally two-dimensional flow or an axisymmetric flow with swirl. The two-dimensional case is ruled out by known theory, while the axisymmetric swirl case is handled by a new proof in a lifted five-dimensional formulation using variables that capture vorticity ratios and swirl derivatives. This matters because resolving the global regularity question for Navier-Stokes would confirm that no finite-time blow-ups occur in these flows, aligning with physical expectations for incompressible fluids.

Core claim

We prove global smooth continuation for smooth finite-energy solutions of the three-dimensional incompressible Navier-Stokes equations by a two-part first-threshold argument. Part I proves the axisymmetric-with-swirl theorem in the exact five-dimensional lifted formulation using variables G, F, and H forming a pair-transfer mechanism. Part II reduces any singular terminal packet to either the locally two-dimensional class or the axisymmetric-with-swirl class by removing various channels via finite-overlap descendants or strict terminal loss.

What carries the argument

The two-part first-threshold argument, where Part I establishes the axisymmetric-with-swirl theorem via localized energy identities and pair-threshold absorption in lifted variables, and Part II performs full-system reduction of hypothetical singularities.

If this is right

  • If the central claim holds, then all smooth finite-energy solutions to 3D Navier-Stokes exist globally in time without singularities.
  • The axisymmetric-with-swirl class admits global smooth solutions as proven in the lifted formulation.
  • Any potential singularity must reduce to either 2D or axisymmetric swirl, both of which are smooth.
  • The method excludes multiple channels like leakage, shell, pressure, and transfer-active temporal channels.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Success of this approach might suggest similar threshold arguments could apply to other fluid equations or higher dimensions.
  • If the reduction covers all cases, it could provide a template for proving regularity in related systems like magnetohydrodynamics.
  • This could inspire numerical searches for near-singular behaviors that test the boundary between 2D and swirl classes.

Load-bearing premise

Every possible singular terminal packet can be reduced via finite-overlap descendants or strict terminal loss to either the locally two-dimensional class or the axisymmetric-with-swirl class with no residual active channels remaining.

What would settle it

A concrete counterexample would be a smooth finite-energy initial data that develops a singularity not reducible to the two-dimensional or axisymmetric-with-swirl classes, or a failure of the pair-transfer absorption estimates in the lifted variables for the swirl case.

read the original abstract

We prove global smooth continuation for smooth finite-energy solutions of the three-dimensional incompressible Navier--Stokes equations by a two-part first-threshold argument. Part I proves the axisymmetric-with-swirl theorem in the exact five-dimensional lifted formulation. The central variables are the lifted vorticity ratio \(G=\omega_\theta/r\), the regularized swirl derivative \(F=u^\theta/r\), and the squared source density \(H=F^2\). In these variables the derivative source in the \(G\)-equation and the compressive feedback generated by the recovered strain \(U=u^r/r\) form a single pair-transfer mechanism. The proof combines localized energy identities, Hardy--Littlewood--Sobolev and Sobolev interpolation estimates, pair-threshold absorption, finite-overlap descendant exclusion, localized temporal source-to-score estimates, compactness of endpoint profiles, projected Pohozaev--Morawetz strictness, and an auxiliary recovery estimate for \(F\). Part II gives a full three-dimensional finite-threshold front-end. Starting from a hypothetical singular terminal packet, it removes leakage, shell, pressure, tail, fragmentation, passive-strain, angular phase-lock, and transfer-active temporal channels by finite-overlap descendants or strict terminal loss. A zero final defect forces the active frame measure into either a constant-frame locally two-dimensional class or a physical azimuthal orbit around one fixed axis. The first alternative is excluded by the classical two-dimensional Navier--Stokes theory, and the second is precisely the axisymmetric-with-swirl class proved in Part I.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript claims to prove global smooth continuation for smooth finite-energy solutions of the three-dimensional incompressible Navier-Stokes equations via a two-part first-threshold argument. Part I establishes the axisymmetric-with-swirl theorem in an exact five-dimensional lifted formulation with central variables G = ω_θ/r, F = u^θ/r, and H = F², employing localized energy identities, Hardy-Littlewood-Sobolev and Sobolev interpolation estimates, pair-threshold absorption, finite-overlap descendant exclusion, localized temporal source-to-score estimates, compactness of endpoint profiles, projected Pohozaev-Morawetz strictness, and an auxiliary recovery estimate for F. Part II starts from a hypothetical singular terminal packet and removes leakage, shell, pressure, tail, fragmentation, passive-strain, angular phase-lock, and transfer-active temporal channels by finite-overlap descendants or strict terminal loss; a zero final defect then forces the active frame measure into either a constant-frame locally two-dimensional class (excluded by classical 2D Navier-Stokes theory) or a physical azimuthal orbit (the axisymmetric-with-swirl class of Part I).

Significance. If the claims hold, the result would resolve the global regularity problem for the 3D Navier-Stokes equations, a development of the highest significance. The reduction to externally anchored special cases (classical 2D theory and the lifted axisymmetric-with-swirl theorem) together with the explicit use of compactness and projected Pohozaev-Morawetz strictness constitutes a coherent strategy; the lifted-variable formulation and the systematic channel-exclusion framework are technically innovative.

major comments (2)
  1. [Part II] Part II, channel-exclusion argument: the central claim that every hypothetical singular terminal packet reduces to zero final defect with no residual active frames after the listed removals (leakage/shell/pressure/tail/fragmentation/passive-strain/angular phase-lock/transfer-active temporal) is load-bearing for the full-system reduction. The manuscript must supply explicit estimates demonstrating that hybrid or emergent channels (e.g., non-constant frame evolution coupled to residual swirl) are necessarily excluded by finite-overlap descendants or projected Pohozaev-Morawetz strictness; without such controls the reduction to the Part I or 2D cases is not guaranteed.
  2. [Part I] Part I, lifted formulation: the assertion that the derivative source in the G-equation and the compressive feedback generated by the recovered strain U = u^r/r form a single pair-transfer mechanism requires a self-contained derivation showing that the localized energy identities close without additional uncontrolled terms arising from the definitions of the lifted variables G, F, and H.
minor comments (2)
  1. The term 'finite-overlap descendants' is used repeatedly but lacks an explicit definition or construction in the opening sections; a dedicated paragraph or appendix defining the overlap measure and the descendant relation would improve readability.
  2. Notation for the auxiliary recovery estimate for F is introduced without a numbered equation reference; cross-referencing this estimate to a specific identity would aid verification of the compactness argument.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the thorough review and valuable feedback on our manuscript. We address each major comment below and will make the necessary revisions to strengthen the presentation.

read point-by-point responses

  1. Referee: [Part II] Part II, channel-exclusion argument: the central claim that every hypothetical singular terminal packet reduces to zero final defect with no residual active frames after the listed removals (leakage/shell/pressure/tail/fragmentation/passive-strain/angular phase-lock/transfer-active temporal) is load-bearing for the full-system reduction. The manuscript must supply explicit estimates demonstrating that hybrid or emergent channels (e.g., non-constant frame evolution coupled to residual swirl) are necessarily excluded by finite-overlap descendants or projected Pohozaev-Morawetz strictness; without such controls the reduction to the Part I or 2D cases is not guaranteed.

    Authors: We acknowledge that explicit estimates for hybrid channels are essential to rigorously close the reduction argument. In the revised manuscript, we will insert a new subsection following the channel-exclusion framework that provides detailed estimates showing how non-constant frame evolution coupled with residual swirl is excluded. This will utilize the finite-overlap descendant exclusion combined with the strictness from projected Pohozaev-Morawetz identities to demonstrate that such hybrid configurations lead to positive defect or are absorbed into the excluded classes. This addition will ensure the reduction to either the constant-frame 2D case or the axisymmetric-with-swirl case is complete. revision: yes

  2. Referee: [Part I] Part I, lifted formulation: the assertion that the derivative source in the G-equation and the compressive feedback generated by the recovered strain U = u^r/r form a single pair-transfer mechanism requires a self-contained derivation showing that the localized energy identities close without additional uncontrolled terms arising from the definitions of the lifted variables G, F, and H.

    Authors: The lifted variables are chosen precisely to consolidate the source and feedback into a single mechanism. We will expand the section on localized energy identities in Part I to include a self-contained derivation. This will explicitly compute the contributions from the definitions of G, F, and H, verifying that all terms are controlled by the pair-threshold absorption and the auxiliary recovery estimate for F, with no residual uncontrolled terms. The derivation will proceed by direct substitution into the energy identities and application of the Hardy-Littlewood-Sobolev estimates. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation relies on independent estimates and external classical results

full rationale

The paper structures its argument as two distinct parts. Part I derives the axisymmetric-with-swirl theorem directly from the lifted equations for G, F, and H using localized energy identities, Hardy-Littlewood-Sobolev estimates, Sobolev interpolation, pair-threshold absorption, and projected Pohozaev-Morawetz strictness. These are standard analytic tools applied to the Navier-Stokes system without presupposing the global regularity conclusion. Part II reduces a hypothetical singular terminal packet by exhaustive exclusion of listed channels (leakage, shell, pressure, etc.) via finite-overlap descendants or strict terminal loss, forcing the remainder into either the Part I class or the classical two-dimensional Navier-Stokes case. The two-dimensional theory is an external, independently established result. No step redefines a control quantity in terms of the target regularity, renames a known pattern as a new derivation, or imports a uniqueness claim solely via self-citation. The chain is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 1 invented entities

The argument rests on standard analytic inequalities and the known 2D regularity theory, with the main additions being the lifted reformulation and the systematic channel-exclusion procedure.

axioms (3)
  • standard math Hardy-Littlewood-Sobolev inequality
    Invoked for estimates on the derivative source in the G-equation.
  • standard math Sobolev interpolation estimates
    Combined with localized energy identities in Part I.
  • standard math Classical global regularity for 2D Navier-Stokes
    Used to exclude the locally two-dimensional class in Part II.
invented entities (1)
  • Lifted variables G = ω_θ/r, F = u^θ/r, H = F² no independent evidence
    purpose: Reformulate the axisymmetric-with-swirl system to expose a single pair-transfer mechanism between source and strain.
    These are derived quantities from the original velocity and vorticity; no independent physical existence is claimed.

pith-pipeline@v0.9.0 · 5813 in / 1710 out tokens · 79090 ms · 2026-05-19T16:38:24.753305+00:00 · methodology

Review history (2 revisions) →

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

  • IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear
    ?
    unclear

    Relation between the paper passage and the cited Recognition theorem.

    The central variables are the lifted vorticity ratio G=ω_θ/r, the regularized swirl derivative F=u^θ/r, and the squared source density H=F². ... pair-transfer mechanism ... localized energy identities, Hardy–Littlewood–Sobolev and Sobolev interpolation estimates, pair-threshold absorption, finite-overlap descendant exclusion, ... projected Pohozaev–Morawetz strictness

  • IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean reality_from_one_distinction unclear
    ?
    unclear

    Relation between the paper passage and the cited Recognition theorem.

    Main Theorem 1.2 (Full three-dimensional continuation) ... reduces every terminal class to either the axisymmetric theorem of Part I or the classical two-dimensional theory

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

28 extracted references · 28 canonical work pages

  1. [1]

    J. T. Beale, T. Kato, and A. Majda, Remarks on the breakdown of smooth solutions for the 3-D Euler equations, Comm. Math. Phys. 94 (1984), 61–66

    work page 1984

  2. [2]

    Caffarelli, R

    L. Caffarelli, R. Kohn, and L. Nirenberg, Partial regularity of suitable weak solutions of the Navier–Stokes equations, Comm. Pure Appl. Math. 35 (1982), 771–831

    work page 1982

  3. [3]

    Chae, On the regularity of the axisymmetric solutions of the Navier–Stokes equations, Math

    D. Chae, On the regularity of the axisymmetric solutions of the Navier–Stokes equations, Math. Z. 239 (2002), 645–671

    work page 2002

  4. [4]

    H. Chen, D. Fang, and T. Zhang, Regularity of 3D axisymmetric Navier–Stokes equations, Discrete Contin. Dyn. Syst. 37 (2017), 1923–1939

    work page 2017

  5. [5]

    C.-C. Chen, R. M. Strain, T.-P. Tsai, and H.-T. Yau, Lower bound on the blow-up rate of the axisymmetric Navier–Stokes equations, Int. Math. Res. Not. IMRN (2008), Art. ID rnn016

    work page 2008

  6. [6]

    C.-C. Chen, R. M. Strain, T.-P. Tsai, and H.-T. Yau, Lower bounds on the blow-up rate of the axisymmetric Navier–Stokes equations II, Comm. Partial Differential Equations 34 (2009), 203–232

    work page 2009

  7. [7]

    Gallay and V

    T. Gallay and V. Šverák, Remarks on the Cauchy problem for the axisymmetric Navier–Stokes equations, Confluentes Math. 7 (2015), 67–92

    work page 2015

  8. [8]

    G. Koch, N. Nadirashvili, G. Seregin, and V. Šverák, Liouville theorems for the Navier–Stokes equations and applications, Acta Math. 203 (2009), 83–105

    work page 2009

  9. [9]

    O. A. Ladyzhenskaya, Unique solvability in the large of the three-dimensional Cauchy problem for the Navier–Stokes equations in the presence of axial symmetry, Zap. Nauchn. Sem. LOMI 7 (1968), 155–177

    work page 1968

  10. [10]

    O. A. Ladyzhenskaya, The Mathematical Theory of Viscous Incompressible Flow, 2nd ed., Gordon and Breach, New York, 1969

    work page 1969

  11. [11]

    Lei and Q

    Z. Lei and Q. S. Zhang, Criticality of the axially symmetric Navier–Stokes equations, Pacific J. Math. 289 (2017), 169–187

    work page 2017

  12. [12]

    Leray, Sur le mouvement d’un liquide visqueux emplissant l’espace, Acta Math

    J. Leray, Sur le mouvement d’un liquide visqueux emplissant l’espace, Acta Math. 63 (1934), 193–248

    work page 1934

  13. [13]

    Seregin, A note on local regularity of axisymmetric solutions to the Navier–Stokes equations, Zap

    G. Seregin, A note on local regularity of axisymmetric solutions to the Navier–Stokes equations, Zap. Nauchn. Sem. POMI 494 (2020), 167–184

    work page 2020

  14. [14]

    M. R. Ukhovskii and V. I. Yudovich, Axially symmetric flows of ideal and viscous fluids filling the whole space, J. Appl. Math. Mech. 32 (1968), 52–61

    work page 1968

  15. [15]

    T. Y. Hou, Z. Lei, and C. Li, Global regularity of the 3D axi-symmetric Navier–Stokes equations with anisotropic data, Comm. Partial Differential Equations 33 (2008), 1622–1637

    work page 2008

  16. [16]

    T. Y. Hou and C. Li, Dynamic stability of the three-dimensional axisymmetric Navier–Stokes equations with swirl, Comm. Pure Appl. Math. 61 (2008), 661–697

    work page 2008

  17. [17]

    Lei and Q

    Z. Lei and Q. S. Zhang and X. Pan, A review of results on axially symmetric Navier–Stokes equations, with addendum by X. Pan and Q. S. Zhang, Anal. Theory Appl. 38 (2022), no. 3, 243–296

    work page 2022

  18. [18]

    Wei, Regularity criterion to the axially symmetric Navier–Stokes equations, J

    D. Wei, Regularity criterion to the axially symmetric Navier–Stokes equations, J. Math. Anal. Appl. 435 (2016), 402–413

    work page 2016

  19. [19]

    G. P. Galdi, An Introduction to the Mathematical Theory of the Navier–Stokes Equations, 2nd ed., Springer, 2011

    work page 2011

  20. [20]

    Grafakos, Classical Fourier Analysis, 3rd ed., Springer, 2014

    L. Grafakos, Classical Fourier Analysis, 3rd ed., Springer, 2014

    work page 2014

  21. [21]

    P. G. Lemarié-Rieusset, Recent Developments in the Navier–Stokes Problem, Chapman and Hall/CRC, 2002

    work page 2002

  22. [22]

    E. H. Lieb and M. Loss, Analysis, 2nd ed., American Mathematical Society, 2001

    work page 2001

  23. [23]

    Lions, The concentration-compactness principle in the calculus of variations

    P.-L. Lions, The concentration-compactness principle in the calculus of variations. The locally compact case. Part I, Ann. Inst. H. Poincaré Anal. Non Linéaire 1 (1984), 109–145

    work page 1984

  24. [24]

    Lions, The concentration-compactness principle in the calculus of variations

    P.-L. Lions, The concentration-compactness principle in the calculus of variations. The locally compact case. Part II, Ann. Inst. H. Poincaré Anal. Non Linéaire 1 (1984), 223–283

    work page 1984

  25. [25]

    E. M. Stein, Singular Integrals and Differentiability Properties of Functions, Princeton University Press, 1970

    work page 1970

  26. [26]

    Temam, Navier–Stokes Equations: Theory and Numerical Analysis, AMS Chelsea, 2001

    R. Temam, Navier–Stokes Equations: Theory and Numerical Analysis, AMS Chelsea, 2001. CLASSICAL TWO-PART NAVIER–STOKES PROOF 43

    work page 2001

  27. [27]

    Shahmurov, Large-data global regularity for three-dimensional Navier–Stokes I: a direct first-threshold continuation proof for the axisymmetric swirl class, preprint

    R. Shahmurov, Large-data global regularity for three-dimensional Navier–Stokes I: a direct first-threshold continuation proof for the axisymmetric swirl class, preprint

    work page

  28. [28]

    Shahmurov, Large-data global regularity for three-dimensional Navier–Stokes II: a direct first-threshold continuation proof for the full system, preprint

    R. Shahmurov, Large-data global regularity for three-dimensional Navier–Stokes II: a direct first-threshold continuation proof for the full system, preprint. Cellular Products Research and Development Email address:rshahmurov@crimson.ua.edu

    work page