pith. sign in

arxiv: 2605.01873 · v2 · submitted 2026-05-03 · 🧮 math.AP

Large-Data Global Regularity for Three-Dimensional Navier--Stokes II: A Direct First-Threshold Continuation Proof for the Full System

Rishad Shahmurov This is my paper

Pith reviewed 2026-05-09 16:51 UTC · model grok-4.3

classification 🧮 math.AP
keywords 3D Navier-Stokes equationsglobal regularitylarge datathreshold continuationcritical packet envelopeaxisymmetric with swirlfinite-overlap packet selectionregularity criterion
0
0 comments X

The pith

No large first-threshold packet can occur in the three-dimensional Navier-Stokes equations, so the critical envelope remains bounded on every finite time interval.

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

This paper completes a two-part direct-threshold proof of large-data global regularity for the incompressible Navier-Stokes equations in three dimensions. It uses the axisymmetric-with-swirl result from the companion paper to handle the genuinely three-dimensional case through a combined critical packet envelope. At the first time this envelope reaches a prescribed level, finite-overlap packet selection isolates the dominant structure and shows that any large error in leakage, shell, tail, source, passive, phase, or fragmentation either produces a descendant packet with an explicit lower score bound or becomes perturbative. The remaining coherent packet is then contracted by strict local estimates, preventing envelope growth.

Core claim

The paper establishes that the combined critical packet envelope, analyzed at its first hitting time via finite-overlap selection together with angular Littlewood-Paley triads, finite-dimensional active-frame rigidity, passive-strain visibility, and the quantitative zero-final-defect rigidity theorem, forces any potential large packet either to spawn a lower-scoring descendant or to turn perturbative, after which the coherent remainder contracts under the local estimates; consequently no large first-threshold packet arises and the envelope stays bounded on finite intervals when the axisymmetric-with-swirl class is already controlled.

What carries the argument

The combined critical packet envelope, tracked via finite-overlap packet selection at the first threshold time, which reduces potential blow-up to the control of one coherent packet by local estimates after all large errors are routed into lower-score descendants or perturbative terms.

If this is right

  • Global regular solutions exist for arbitrary large initial data in suitable spaces on any finite time interval.
  • The first-threshold time for the envelope cannot occur at a finite time without contradicting the packet-contraction mechanism.
  • The axisymmetric-with-swirl regularity result extends directly to the full three-dimensional system by the continuation argument.
  • Any error category large enough to threaten regularity must either reduce its score explicitly or become negligible under the local estimates.

Where Pith is reading between the lines

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

  • The envelope bound supplies a new continuation criterion that could be checked numerically in truncated 3D flows to test the rigidity estimates.
  • If the packet mechanism works, similar threshold tracking might apply to other supercritical fluid systems where energy methods alone are insufficient.
  • The separation of coherent packets from perturbative errors suggests regularity depends on the absence of isolated high-score structures rather than on global integrability alone.

Load-bearing premise

The companion Part I theorem for large-data global regularity in the axisymmetric-with-swirl class must hold, and the finite-overlap packet selection plus quantitative zero-final-defect rigidity estimates must extend validly to the full three-dimensional system.

What would settle it

A finite-time solution in which the critical envelope reaches the prescribed level, yet no descendant packet with an explicit lower score bound appears and no error term becomes perturbative, allowing the coherent packet to grow without contraction.

Figures

Figures reproduced from arXiv: 2605.01873 by Rishad Shahmurov.

Figure 1
Figure 1. Figure 1: Local finite-overlap geometry. Large error in a collar, finite shell, tail, passive-source region, or separated component is converted into a descendant packet. critical envelope Mcrit(t) first-threshold packet Q∗ finite-overlap error dichotomy descendant contradiction 3D microlocal front end 2D regular or axisymmetric swirl strict contraction and continuation large error small error view at source ↗
Figure 2
Figure 2. Figure 2: Direct proof flow. A large first-threshold packet is either reselected as a descendant or is reduced to a controlled two-dimensional/axisymmetric branch. Definition 1.6 (Combined critical envelope). Define (3) Mcrit(t) = sup 0<s≤t sup x0∈R3 sup 0<ρ≤ √ s Q 3D ρ (x0, s) + Max(t), where Max denotes the companion axisymmetric envelope on packets identified by the zero-final￾defect rigidity theorem as axisymmet… view at source ↗
read the original abstract

This is the second paper in a two-part direct-threshold series on large-data global regularity for the three-dimensional incompressible Navier--Stokes equations. It gives the full-system first-threshold continuation argument and uses the companion Part I theorem, which proves the large-data axisymmetric-with-swirl class by the direct full-Dirichlet method. The present paper treats the genuinely three-dimensional front end. A combined critical packet envelope is introduced, and the first time at which this envelope reaches a prescribed level is analyzed by finite-overlap packet selection. The proof uses angular Littlewood--Paley triads, finite-dimensional active-frame rigidity, passive-strain visibility, a quantitative zero-final-defect rigidity theorem, and the companion Part I axisymmetric direct theorem. The main finite-threshold mechanism is that any large leakage, shell, tail, source, passive, phase, or fragmentation error either produces a descendant packet with explicit score lower bound or becomes perturbative. The remaining coherent packet is contracted by the strict local estimates. Thus no large first-threshold packet can occur, and the critical envelope remains bounded on every finite time interval.

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

1 major / 1 minor

Summary. This is the second paper in a two-part series on large-data global regularity for the 3D incompressible Navier-Stokes equations. It supplies the full-system first-threshold continuation argument, relying on the companion Part I theorem (which establishes the result for the axisymmetric-with-swirl subclass via the direct full-Dirichlet method). The paper introduces a combined critical packet envelope, analyzes the first time this envelope reaches a prescribed level via finite-overlap packet selection, and deploys angular Littlewood-Paley triads, finite-dimensional active-frame rigidity, passive-strain visibility, and a quantitative zero-final-defect rigidity theorem. The central mechanism is that any large leakage/shell/tail/source/passive/phase/fragmentation error either generates a descendant packet with an explicit score lower bound or becomes perturbative, after which the remaining coherent packet contracts under strict local estimates; consequently no large first-threshold packet occurs and the critical envelope remains bounded on every finite time interval.

Significance. If the argument is valid, the result would represent a substantial contribution to the global regularity problem for large-data 3D Navier-Stokes, furnishing a direct continuation criterion based on a first-threshold packet envelope rather than smallness or perturbative assumptions. The framework of angular triads, active-frame rigidity, and zero-final-defect estimates offers a potentially reusable set of tools for controlling nonlinear interactions in fluid equations. Credit is due for the explicit reduction to the axisymmetric case in Part I and for the attempt to isolate the genuinely three-dimensional front end; however, the overall significance remains conditional on the companion paper and on the successful transfer of the packet-selection controls.

major comments (1)
  1. The manuscript asserts that the finite-overlap packet selection together with the quantitative zero-final-defect rigidity estimates from the axisymmetric-with-swirl setting (Part I) carry over to the full three-dimensional case, yet supplies no explicit reduction, additional error-control terms, or new estimates ruling out non-axisymmetric configurations (e.g., fully three-dimensional phase or fragmentation errors) that could evade the descendant-score lower bound while still keeping the envelope above threshold. This extension is load-bearing for the central claim that “no large first-threshold packet can occur.”
minor comments (1)
  1. The abstract sketches the logical architecture and lists the tools employed but contains none of the actual estimates, overlap controls, or quantitative error bounds; the full manuscript must supply these details for the argument to be verifiable.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the thorough review and for identifying the key load-bearing step in the full-system argument. We address the major comment below and outline the revisions we will make to improve clarity while preserving the structure of the proof.

read point-by-point responses

  1. Referee: The manuscript asserts that the finite-overlap packet selection together with the quantitative zero-final-defect rigidity estimates from the axisymmetric-with-swirl setting (Part I) carry over to the full three-dimensional case, yet supplies no explicit reduction, additional error-control terms, or new estimates ruling out non-axisymmetric configurations (e.g., fully three-dimensional phase or fragmentation errors) that could evade the descendant-score lower bound while still keeping the envelope above threshold. This extension is load-bearing for the central claim that “no large first-threshold packet can occur.”

    Authors: The angular Littlewood-Paley triads, finite-dimensional active-frame rigidity, and passive-strain visibility are formulated directly in the full three-dimensional setting and do not rely on axisymmetry. The quantitative zero-final-defect rigidity theorem is proved without restricting to axisymmetric data; its hypotheses are satisfied by any coherent packet whose envelope reaches the threshold, and the descendant-score lower bound is obtained by tracking the leakage, shell, tail, source, passive, phase, and fragmentation errors through the 3D interaction estimates. Non-axisymmetric phase or fragmentation errors are controlled by the same visibility and rigidity mechanisms that force either an explicit descendant packet or a perturbative remainder. The finite-overlap selection itself is performed on the combined critical envelope without dimensional reduction. We agree, however, that an explicit subsection summarizing the transfer of the Part I estimates to the general 3D case, together with a short table of the additional error terms that remain controlled, would make the argument easier to follow. We will add this subsection in the revised manuscript. revision: yes

Circularity Check

1 steps flagged

Modest self-citation dependency on companion Part I for axisymmetric subclass in full 3D extension

specific steps
  1. self citation load bearing [Abstract]
    "It gives the full-system first-threshold continuation argument and uses the companion Part I theorem, which proves the large-data axisymmetric-with-swirl class by the direct full-Dirichlet method. The present paper treats the genuinely three-dimensional front end. ... The proof uses angular Littlewood--Paley triads, finite-dimensional active-frame rigidity, passive-strain visibility, a quantitative zero-final-defect rigidity theorem, and the companion Part I axisymmetric direct theorem."

    The load-bearing mechanism (any large leakage/shell/tail/source/passive/phase/fragmentation error produces a descendant packet with explicit score lower bound or becomes perturbative, after which the coherent packet contracts) is justified by invoking the same-author companion theorem for the axisymmetric subclass and asserting without further derivation that the packet-selection and rigidity controls extend to non-axisymmetric 3D configurations.

full rationale

The derivation chain for the full-system first-threshold continuation relies on the companion Part I theorem as a black-box input for the axisymmetric-with-swirl case, then asserts carry-over of finite-overlap packet selection and zero-final-defect rigidity to the genuinely 3D setting. This matches the self-citation load-bearing pattern at a modest level: the central claim (no large first-threshold packet occurs) is not fully self-contained within the present paper but retains independent content via the new 3D packet-envelope and angular Littlewood-Paley machinery. No self-definitional, fitted-prediction, or ansatz-smuggling reductions appear in the provided text.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on standard local existence and energy estimates for the Navier-Stokes equations plus the companion Part I theorem; no new free parameters or postulated entities are introduced.

axioms (1)
  • domain assumption The incompressible Navier-Stokes equations admit local-in-time smooth solutions and satisfy the standard energy inequality.
    Invoked to set up the continuation argument and to control the envelope evolution.

pith-pipeline@v0.9.0 · 5497 in / 1391 out tokens · 42645 ms · 2026-05-09T16:51:16.290198+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

23 extracted references · 23 canonical work pages

  1. [1]

    Bahouri, J.-Y

    H. Bahouri, J.-Y. Chemin, and R. Danchin,Fourier Analysis and Nonlinear Partial Differential Equations, Springer, 2011

    work page 2011

  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, Remarks on the regularity criteria for the Navier–Stokes equations,Proc

    D. Chae, Remarks on the regularity criteria for the Navier–Stokes equations,Proc. Amer. Math. Soc.134 (2006), 223–228. NAVIER–STOKES II: DIRECT FULL-SYSTEM CONTINUATION 17

    work page 2006

  4. [4]

    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 Equations34 (2009), 203–232

    work page 2009

  5. [5]

    Coifman and Y

    R. Coifman and Y. Meyer,Au delà des opérateurs pseudo-différentiels, Astérisque 57, Soc. Math. France, 1978

    work page 1978

  6. [6]

    Constantin and C

    P. Constantin and C. Foias,Navier–Stokes Equations, University of Chicago Press, 1988

    work page 1988

  7. [7]

    Escauriaza, G

    L. Escauriaza, G. Seregin, and V. Sverak,L3,∞-solutions of Navier–Stokes equations and backward uniqueness, Russian Math. Surveys58 (2003), 211–250

    work page 2003

  8. [8]

    Fujita and T

    H. Fujita and T. Kato, On the Navier–Stokes initial value problem I,Arch. Rational Mech. Anal.16 (1964), 269–315

    work page 1964

  9. [9]

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

    work page 2011

  10. [10]

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

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

    work page 2014

  11. [11]

    Hopf, Über die Anfangswertaufgabe für die hydrodynamischen Grundgleichungen,Math

    E. Hopf, Über die Anfangswertaufgabe für die hydrodynamischen Grundgleichungen,Math. Nachr.4 (1951), 213–231

    work page 1951

  12. [12]

    Koch and D

    H. Koch and D. Tataru, Well-posedness for the Navier–Stokes equations,Adv. Math.157 (2001), 22–35

    work page 2001

  13. [13]

    O. A. Ladyzhenskaya,The Mathematical Theory of Viscous Incompressible Flow, Gordon and Breach, 1969

    work page 1969

  14. [14]

    Lei and Q

    Z. Lei and Q. Zhang, A Liouville theorem for the axially-symmetric Navier–Stokes equations,J. Funct. Anal. 261 (2011), 2323–2345

    work page 2011

  15. [15]

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

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

    work page 1934

  16. [16]

    Majda and A

    A. Majda and A. Bertozzi,Vorticity and Incompressible Flow, Cambridge University Press, 2002

    work page 2002

  17. [17]

    Palasek, Improved regularity criteria for the axisymmetric Navier–Stokes equations,J

    K. Palasek, Improved regularity criteria for the axisymmetric Navier–Stokes equations,J. Math. Fluid Mech. 24 (2022), Paper No. 7

    work page 2022

  18. [18]

    Prodi, Un teorema di unicità per le equazioni di Navier–Stokes,Ann

    G. Prodi, Un teorema di unicità per le equazioni di Navier–Stokes,Ann. Mat. Pura Appl.48 (1959), 173–182

    work page 1959

  19. [19]

    Seregin and V

    G. Seregin and V. Sverak, On type I singularities of the local axi-symmetric solutions of the Navier–Stokes equations,Comm. Partial Differential Equations34 (2009), 171–201

    work page 2009

  20. [20]

    Serrin, On the interior regularity of weak solutions of the Navier–Stokes equations,Arch

    J. Serrin, On the interior regularity of weak solutions of the Navier–Stokes equations,Arch. Rational Mech. Anal.9 (1962), 187–195

    work page 1962

  21. [21]

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

    work page 1970

  22. [22]

    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

  23. [23]

    Shahmurov,Large-Data Global Regularity for Three-Dimensional Navier–Stokes I: A Direct First-Threshold Continuation Proof for the Axisymmetric Swirl Class, companion manuscript

    R. Shahmurov,Large-Data Global Regularity for Three-Dimensional Navier–Stokes I: A Direct First-Threshold Continuation Proof for the Axisymmetric Swirl Class, companion manuscript. Cellular Products research and development Email address:rshahmurov@crimson.ua.edu

    work page