pith. sign in

arxiv: 2605.01875 · v3 · pith:56AUEHDYnew · submitted 2026-05-03 · 🧮 math.AP

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

Rishad Shahmurov This is my paper

Pith reviewed 2026-05-21 00:08 UTC · model grok-4.3

classification 🧮 math.AP MSC 35Q30
keywords Navier-Stokes equationsaxisymmetric flowsswirlglobal regularitycontinuation theoremlifted variablesDirichlet visibilitythree-dimensional fluids
0
0 comments X

The pith

A first-threshold continuation theorem shows axisymmetric Navier-Stokes solutions with swirl remain smooth.

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

The paper proves a direct first-threshold continuation theorem for the axisymmetric class with swirl in the three-dimensional Navier-Stokes equations. Working entirely in lifted variables that incorporate radial weighting on the azimuthal components and employing a five-dimensional full-Dirichlet visibility as the local coercive quantity, the argument defines a critical axis score envelope and follows it to the first possible threshold time. It then shows that the corresponding normalized packet cannot exist, either by producing smaller descendant packets from leakages and fragmentations or by contraction in the coherent case via a strict bridge inequality. A sympathetic reader would care because this removes the possibility of an earliest singularity in a broad symmetry class, supplying one concrete step toward settling global regularity for large initial data in this setting.

Core claim

We prove that no first threshold time occurs for axisymmetric swirl solutions by converting bounded score and source size into smooth continuation, extracting smaller descendants from every leakage or fragmentation channel, and showing in the remaining coherent case that the strict full-Dirichlet bridge inequality together with coefficient-calibrated local balance contracts the selected packet.

What carries the argument

The five-dimensional full-Dirichlet visibility V_χ as the local coercive quantity, deployed in the lifted variables Γ = r u_θ, G = ω_θ / r and weighted measure dμ5 = r^3 dr dz.

If this is right

  • Bounded critical score and regularized source size yield smooth continuation past any candidate threshold.
  • Every large collar leakage, exterior tail, low-frequency residue, source concentration, or fragmentation channel produces either a smaller descendant packet or a perturbative remainder.
  • In the coherent case the selected packet contracts under the bridge inequality and local balance, so it cannot exist.
  • Consequently the critical axis score envelope stays bounded for all time and no first threshold occurs.

Where Pith is reading between the lines

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

  • Success in the announced second paper of the series would establish large-data global regularity for the full axisymmetric swirl class.
  • The lifted-variable and visibility framework could be tested on other symmetry reductions or on numerically generated axisymmetric flows to check for the predicted absence of coherent packets.
  • If the bridge inequality can be relaxed or verified independently, the continuation method might apply to related open regularity questions in reduced fluid systems.

Load-bearing premise

The argument depends on the strict full-Dirichlet bridge inequality holding with a constant θ less than one so that local balance can contract any coherent critical packet.

What would settle it

An explicit axisymmetric swirl initial datum that develops a singularity at a finite first threshold time while preserving a coherent packet that evades contraction under the bridge inequality.

Figures

Figures reproduced from arXiv: 2605.01875 by Rishad Shahmurov.

Figure 1
Figure 1. Figure 1: Local axis-packet geometry. The inner half-ball Baxis 1 is the normalized packet core, Baxis 2 is the fixed packet window, and the annular region between them is the transition collar where cutoff leakage is measured. The dashed arcs indicate exterior dyadic shells in the weighted five-dimensional corridor. critical envelope first-threshold packet finite error dichotomy strict Dirichlet bridge continuation… view at source ↗
Figure 2
Figure 2. Figure 2: Direct first-threshold continuation. The continuation argument is localized at the first threshold selected by the critical envelope. Theorem 1.8 (Calderon–Zygmund and Hardy–Littlewood–Sobolev inputs). Let K be a Calderon– Zygmund kernel on R 5 . The associated principal-value singular integral is bounded on L p (R 5 ) for 1 < p < ∞. Let Iα be the Riesz potential of order 0 < α < 5. If 1 < p < 5/α and 1/q … view at source ↗
read the original abstract

This is the first paper in a two-part direct-threshold series on large-data global regularity for the three-dimensional Navier--Stokes equations. We prove a direct first-threshold continuation theorem for the axisymmetric class with swirl. The proof is written entirely in the lifted variables \[ \Gamma=ru_\theta,\qquad G=\omega_\theta/r,\qquad d\mu_5=r^3\,dr\,dz, \] and uses the five-dimensional full-Dirichlet visibility \(\mathcal V_\chi\) as the local coercive quantity. The argument is organized by a finite first-threshold stopping time. We define a critical axis score envelope, follow it to a first possible threshold time, and prove that the corresponding normalized packet cannot exist. The proof has three quantitative ingredients. First, a small-envelope continuation theorem converts bounded score and regularized source size into smooth continuation. Second, a finite-overlap descendant-extraction theorem shows that every large collar leakage, exterior tail, low-frequency residue, source concentration, or fragmentation channel either produces a smaller descendant packet or is perturbative. Third, in the remaining coherent case, the strict full-Dirichlet bridge \[ |\mathcal T_{G,\chi}[G]| \le \theta\mathcal V_\chi[G]+C\mathfrak E_{\rm dir}[G], \qquad 0<\theta<1, \] and a coefficient-calibrated local balance contract the selected packet. Consequently no first threshold occurs, the critical envelope stays

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 / 2 minor

Summary. The manuscript proves a direct first-threshold continuation theorem for the three-dimensional Navier-Stokes equations restricted to the axisymmetric class with swirl. Working entirely in the lifted variables Γ = r u_θ, G = ω_θ / r with measure dμ₅ = r³ dr dz, the argument introduces a critical axis score envelope, follows it to a putative first-threshold time, and shows that the associated normalized packet cannot exist. The proof relies on three quantitative ingredients: a small-envelope continuation theorem, a finite-overlap descendant-extraction theorem that controls leakage/tail/residue/concentration/fragmentation channels, and, in the remaining coherent case, the strict full-Dirichlet bridge inequality |T_{G,χ}[G]| ≤ θ V_χ[G] + C E_dir[G] (0 < θ < 1) together with coefficient-calibrated local balance that contracts the packet. The conclusion is that no first threshold occurs and the envelope remains bounded, yielding global regularity for this class.

Significance. If the central claims are verified, the result would constitute a notable advance in the mathematical theory of the Navier-Stokes equations. It supplies a direct, non-perturbative continuation argument for a physically important symmetry class without smallness assumptions on the data, and it introduces the five-dimensional full-Dirichlet visibility as a new coercive quantity. The finite-overlap descendant-extraction and threshold-envelope machinery are potentially reusable tools. The work is the first part of a two-paper series, so its soundness directly affects the viability of the larger program.

major comments (1)
  1. [bridge inequality / coherent-case contraction] The strict full-Dirichlet bridge inequality |T_{G,χ}[G]| ≤ θ V_χ[G] + C E_dir[G] with 0 < θ < 1 (stated in the abstract and used in the coherent-case contraction) is load-bearing for the entire continuation argument. After the small-envelope and descendant-extraction steps have eliminated all other channels, the normalized packet is ruled out solely by this inequality plus local balance. The manuscript must supply an explicit derivation (with constants independent of the cutoff χ and of the packet scale) showing that the transport term T_{G,χ} is absorbed by V_χ with a uniform margin θ < 1; without this, the contraction step does not close and the first-threshold time cannot be excluded.
minor comments (2)
  1. [Introduction / notation] The notation for the lifted variables and the five-dimensional measure dμ₅ is introduced clearly, but the precise definition of the visibility functional V_χ (including the choice of cutoff χ and the Dirichlet boundary conditions) should be stated in a single displayed equation early in the paper for easy reference.
  2. [§ on descendant extraction] The finite-overlap descendant-extraction theorem is invoked repeatedly; a short schematic diagram or table summarizing which channels produce descendants versus which are perturbative would improve readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful and constructive report. The identification of the full-Dirichlet bridge inequality as load-bearing is accurate, and we address this point directly below.

read point-by-point responses

  1. Referee: [bridge inequality / coherent-case contraction] The strict full-Dirichlet bridge inequality |T_{G,χ}[G]| ≤ θ V_χ[G] + C E_dir[G] with 0 < θ < 1 (stated in the abstract and used in the coherent-case contraction) is load-bearing for the entire continuation argument. After the small-envelope and descendant-extraction steps have eliminated all other channels, the normalized packet is ruled out solely by this inequality plus local balance. The manuscript must supply an explicit derivation (with constants independent of the cutoff χ and of the packet scale) showing that the transport term T_{G,χ} is absorbed by V_χ with a uniform margin θ < 1; without this, the contraction step does not close and the first-threshold time cannot be excluded.

    Authors: We agree that the manuscript must furnish an explicit derivation of the bridge inequality with constants independent of χ and of the packet scale. The present text establishes the inequality via integration by parts on the lifted variables under the five-dimensional measure and invokes the coercivity of V_χ, but the uniformity of θ and the independence from the cutoff are not written out in sufficient detail. In the revision we will insert a self-contained subsection that carries out the absorption estimate step by step, calibrates the margin θ < 1 against the local balance coefficients, and verifies that all constants remain uniform across admissible cutoffs and scales. This addition will close the coherent-case contraction rigorously. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained direct proof

full rationale

The paper constructs a first-threshold continuation argument in lifted variables Γ, G and measure dμ5, employing the five-dimensional visibility V_χ as the local coercive quantity. The three quantitative ingredients—small-envelope continuation, finite-overlap descendant extraction, and the strict bridge inequality |T_{G,χ}[G]| ≤ θ V_χ[G] + C E_dir[G] (0<θ<1) with calibrated local balance—are presented as derived estimates from the axisymmetric Navier–Stokes structure rather than tautological redefinitions or fitted inputs. No load-bearing step reduces by construction to a prior self-citation, ansatz smuggled via citation, or renaming of a known empirical pattern; the bridge is invoked only after the other channels are eliminated and is not used to define the visibility or envelope itself. The argument therefore remains independent of its own outputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The central claim rests on standard PDE function-space assumptions for the axisymmetric class plus the newly introduced lifted variables and visibility quantity; no explicit free parameters are stated in the abstract.

axioms (1)
  • domain assumption Solutions belong to appropriate Sobolev or energy spaces compatible with the axisymmetric swirl symmetry and the measure dμ5.
    Invoked throughout the lifted-variable formulation and the definition of the coercive quantity V_χ.
invented entities (1)
  • Five-dimensional full-Dirichlet visibility V_χ no independent evidence
    purpose: Serves as the local coercive quantity that controls the solution in the threshold argument.
    Defined within the lifted-variable setting; no independent external evidence is supplied in the abstract.

pith-pipeline@v0.9.0 · 5810 in / 1265 out tokens · 48353 ms · 2026-05-21T00:08:56.861505+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.

Reference graph

Works this paper leans on

34 extracted references · 34 canonical work pages · 1 internal anchor

  1. [1]

    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

  2. [2]

    Hopf,Uber die Anfangswertaufgabe fuer die hydrodynamischen Grundgleichungen, Math

    E. Hopf,Uber die Anfangswertaufgabe fuer die hydrodynamischen Grundgleichungen, Math. Nachr. 4 (1951), 213–231

    work page 1951

  3. [3]

    O. A. Ladyzhenskaya,On 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

  4. [4]

    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

  5. [5]

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

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

    work page 1959

  6. [6]

    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

  7. [7]

    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

  8. [8]

    O. A. Ladyzhenskaya, V. A. Solonnikov, and N. N. Ural’tseva,Linear and Quasi-linear Equations of Parabolic Type, American Mathematical Society, 1968

    work page 1968

  9. [9]

    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

  10. [10]

    Koch and D

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

    work page 2001

  11. [11]

    Escauriaza, G

    L. Escauriaza, G. Seregin, and V. Sverak,L3,∞-solutions of Navier–Stokes equations and backward uniqueness, Russian Math. Surveys 58 (2003), 211–250. AXISYMMETRIC DIRECT FIRST-THRESHOLD CONTINUATION 31

    work page 2003

  12. [12]

    Seregin and V

    G. Seregin and V. Sverak,Navier–Stokes equations with lower bounds on the pressure, Arch. Ration. Mech. Anal. 163 (2002), 65–86

    work page 2002

  13. [13]

    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

  14. [14]

    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

  15. [15]

    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

  16. [16]

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

    work page 2009

  17. [17]

    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 Equations 34 (2009), 171–201

    work page 2009

  18. [18]

    Lei and Q

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

    work page 2011

  19. [19]

    Criticality of the Axially Symmetric Navier-Stokes Equations

    Z. Lei and Q. S. Zhang,Criticality of the axially symmetric Navier–Stokes equations, arXiv:1505.02628

    work page internal anchor Pith review Pith/arXiv arXiv

  20. [20]

    Zhang,Several new regularity criteria for the axisymmetric Navier–Stokes equations, Comput

    Z. Zhang,Several new regularity criteria for the axisymmetric Navier–Stokes equations, Comput. Math. Appl. 75 (2018), 2992–3005

    work page 2018

  21. [21]

    Palasek,Improved quantitative regularity for the Navier–Stokes equations in a scale of critical spaces, Arch

    S. Palasek,Improved quantitative regularity for the Navier–Stokes equations in a scale of critical spaces, Arch. Ration. Mech. Anal. 242 (2021), 1479–1531

    work page 2021

  22. [22]

    Chen, T.-P

    H. Chen, T.-P. Tsai, and T. Zhang,Remarks on local regularity of axisymmetric solutions to the 3D Navier–Stokes equations, Comm. Partial Differential Equations 47 (2022), 1777–1799

    work page 2022

  23. [23]

    Seregin,A slightly supercritical condition of regularity of axisymmetric solutions to the Navier–Stokes equations, J

    G. Seregin,A slightly supercritical condition of regularity of axisymmetric solutions to the Navier–Stokes equations, J. Math. Fluid Mech. 24 (2022), Paper No. 23

    work page 2022

  24. [24]

    W. S. Ozanski and S. Palasek,Quantitative control of solutions to the axisymmetric Navier–Stokes equations in terms of the weakL3 norm, J. Math. Fluid Mech. 25 (2023), Paper No. 62

    work page 2023

  25. [25]

    Wang,Regularity criteria of the axisymmetric Navier–Stokes equations via Hardy–Sobolev inequalities, J

    Y. Wang,Regularity criteria of the axisymmetric Navier–Stokes equations via Hardy–Sobolev inequalities, J. Math. Anal. Appl. 530 (2024), 127629

    work page 2024

  26. [26]

    Y. Wang, Y. Huang, W. Wei, and H. Yu,Regularity criteria of the axisymmetric Navier–Stokes equations and Hardy–Sobolev inequality in mixed Lorentz spaces, J. Math. Anal. Appl. 531 (2024), 127821

    work page 2024

  27. [27]

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

    work page 1970

  28. [28]

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

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

    work page 2014

  29. [29]

    Ekeland,On the variational principle, J

    I. Ekeland,On the variational principle, J. Math. Anal. Appl. 47 (1974), 324–353

    work page 1974

  30. [30]

    Constantin and C

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

    work page 1988

  31. [31]

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

    work page 2002

  32. [32]

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

    work page 2011

  33. [33]

    Simon, Compact sets in the spaceLp(0,T;B),Ann

    J. Simon, Compact sets in the spaceLp(0,T;B),Ann. Mat. Pura Appl.146 (1987), 65–96

    work page 1987

  34. [34]

    Cellular Products research and development Email address:rshahmurov@crimson.ua.edu

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

    work page