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

Recognition: unknown

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

Rishad Shahmurov

Authors on Pith no claims yet

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

classification 🧮 math.AP MSC 35Q3076D05

keywords Navier-Stokes equationsglobal regularityaxisymmetric swirlfirst-threshold continuationfull-Dirichlet bridgelifted variableslarge data

0 comments

The pith

Axisymmetric Navier-Stokes solutions with swirl have no first threshold and remain smooth for all time.

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 axisymmetric three-dimensional Navier-Stokes flows that include swirl. Working entirely in the lifted variables Gamma equals r times u_theta and G equals omega_theta over r, it tracks a critical axis score envelope forward in time until a possible first threshold. At that point it shows that any candidate normalized packet must either continue smoothly by the small-envelope theorem, reduce to a smaller descendant packet via finite-overlap extraction, or contract under the strict full-Dirichlet bridge inequality with theta less than one. A reader would care because the result gives global regularity for large data in this symmetry class without smallness restrictions.

Core claim

We prove a direct first-threshold continuation theorem for the axisymmetric class with swirl. The proof is written entirely in the lifted variables Gamma equals r u_theta, G equals omega_theta over r, d mu sub 5 equals r cubed dr dz, and uses the five-dimensional full-Dirichlet visibility 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. Consequently no first threshold occurs, the critical envelope stays bounded, and the solution remains smooth for all time.

What carries the argument

The strict full-Dirichlet bridge inequality absolute value of T sub G,chi of G is less than or equal to theta times V_chi of G plus C times E_dir of G with 0 less than theta less than 1, combined with the finite-overlap descendant-extraction theorem that covers every leakage, tail, residue, concentration or fragmentation channel.

If this is right

The critical axis score envelope remains bounded for all positive times.
No first threshold time can occur, so the solution stays smooth globally.
Every possible leakage or fragmentation channel is either perturbative or produces a strictly smaller descendant packet.
The small-envelope continuation theorem converts bounded score plus regularized source size into smooth forward existence.

Where Pith is reading between the lines

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

The same stopping-time and envelope-tracking strategy might adapt to axisymmetric flows without swirl.
Direct numerical checks of the bridge inequality on families of test functions could verify the contraction constant theta.
The method supplies a template for ruling out thresholds in other symmetry-reduced fluid models.

Load-bearing premise

The strict full-Dirichlet bridge holds with coefficient theta strictly below one and the descendant-extraction theorem accounts for every non-coherent channel.

What would settle it

An explicit axisymmetric swirl initial datum whose solution develops a finite-time singularity, or a concrete test function for which the bridge inequality fails to satisfy theta less than one.

Figures

Figures reproduced from arXiv: 2605.01875 by Rishad Shahmurov.

**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: 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.

Desk Editor's Note private letter to a colleague

This paper sets out a direct first-threshold continuation argument for global regularity in the axisymmetric swirl class of 3D Navier-Stokes using lifted variables and a 5D visibility quantity, and the logical chain appears closed on the terms given.

read the letter

The main takeaway is that Shahmurov organizes a proof that no first threshold time can occur for axisymmetric-with-swirl data by tracking a critical axis score envelope and showing that any candidate packet at that time must either continue smoothly or reduce to a contradiction via extraction and contraction. The argument stays in the lifted coordinates Γ = r u_θ and G = ω_θ / r with the 5D measure dμ_5, which keeps the estimates local and coercive through the full-Dirichlet visibility V_χ. This setup is presented as new and not reducible to earlier cited results. The three ingredients—small-envelope continuation, finite-overlap descendant extraction that routes leakages, tails, residues, concentrations, and fragmentations, plus the strict bridge inequality with θ < 1—are laid out explicitly and close the no-threshold conclusion without obvious circularity. The paper does a clean job keeping the objects external rather than fitted to the solution and supplies the extraction theorem to cover every non-coherent channel. The bridge step |T_{G,χ}[G]| ≤ θ V_χ[G] + C E_dir[G] is the central contraction mechanism and is derived from the visibility, which is a concrete technical advance worth noting. The soft spots are modest but real: the coefficient calibration in the local balance and the uniform control of overlap constants in the 5D setting need explicit verification to confirm they hold for arbitrary large data without hidden dependencies. The normalization of packets and the precise definition of the score envelope are also places where small gaps could appear on a close read. This work is for specialists in mathematical fluid dynamics who already know the axisymmetric reductions and continuation techniques. A reader in that group can pull out the visibility functional and the extraction theorem for reuse even if the full regularity claim needs further checking. It deserves a serious referee because the structure is self-contained and the claim is substantial enough to warrant detailed verification of the bridge and extraction parts rather than a desk rejection.

Referee Report

0 major / 3 minor

Summary. The paper 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, it introduces a five-dimensional full-Dirichlet visibility functional V_χ and a critical axis score envelope. The argument proceeds by contradiction: assume a first threshold time exists, extract a normalized coherent packet, and derive a contradiction via three ingredients—a small-envelope continuation theorem, a finite-overlap descendant-extraction theorem that routes all non-coherent channels into smaller descendants or perturbative remainders, and the strict bridge inequality |T_{G,χ}[G]| ≤ θ V_χ[G] + C E_dir[G] (0 < θ < 1) together with a calibrated local balance that forces contraction. Consequently the envelope remains bounded and the solution stays smooth for all time.

Significance. If the central claims hold, the result supplies the first direct (non-smallness) global-regularity theorem for large-data axisymmetric Navier-Stokes with swirl. The explicit construction of the descendant-extraction theorem (covering leakage, tails, residues, concentrations, and fragmentation) and the derivation of the bridge inequality from the lifted five-dimensional Dirichlet visibility close the logical chain internally and introduce reusable quantitative tools. These features strengthen the manuscript beyond a pure existence proof and may extend to related symmetry-reduced or higher-dimensional problems.

minor comments (3)

The abstract is truncated mid-sentence ('the critical envelope stays'); the full statement should be restored for clarity.
Notation for the critical axis score envelope and the precise definition of the 'normalized packet' at the threshold time should be introduced with an explicit display equation in the introduction or §2.
The dependence of the overlap constant in the descendant-extraction theorem on the initial data size is stated to be finite but not quantified; an explicit bound or scaling would help readers verify uniformity for arbitrary large data.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading and positive recommendation of minor revision. The referee summary accurately captures the structure of our direct first-threshold argument, the role of the lifted variables, the five-dimensional visibility functional, and the three quantitative ingredients (small-envelope continuation, descendant extraction, and the strict bridge inequality). No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper constructs a direct first-threshold continuation argument in lifted variables using the five-dimensional Dirichlet visibility as the coercive quantity. It defines the critical axis score envelope and stopping time, then invokes three internally proven ingredients: a small-envelope continuation theorem, an explicit finite-overlap descendant-extraction theorem covering all leakage channels, and a strict bridge inequality derived from the visibility together with a calibrated local balance. None of these steps reduce by construction to fitted parameters, self-citations, or the target boundedness statement; the contradiction that no threshold time can occur follows from the contraction property without circular redefinition of the inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 2 invented entities

The proof relies on standard analytic inequalities (Sobolev embeddings, integration by parts in cylindrical coordinates) together with newly introduced objects whose properties are asserted in the argument. No explicit free parameters are fitted to data; the constants θ and C in the bridge inequality are chosen once and for all with θ<1.

axioms (2)

standard math Standard Sobolev and Hardy-type inequalities hold for the lifted variables under the five-dimensional measure dμ5
Invoked implicitly when converting bounded score and source size into smooth continuation
domain assumption The finite-overlap descendant-extraction theorem applies to every possible large collar leakage, exterior tail, low-frequency residue, source concentration or fragmentation channel
Central to ruling out all non-coherent cases before the bridge inequality is applied

invented entities (2)

five-dimensional full-Dirichlet visibility V_χ no independent evidence
purpose: Local coercive quantity that controls the solution in the lifted variables
Newly defined object used as the main controlling quantity in the threshold argument
critical axis score envelope no independent evidence
purpose: Monotone quantity tracked up to the first possible threshold time
Constructed to organize the stopping-time argument

pith-pipeline@v0.9.0 · 5579 in / 1766 out tokens · 46649 ms · 2026-05-09T16:47:05.195381+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

33 extracted references · 1 canonical work pages

[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

1934
[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

1951
[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

1968
[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

1968
[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

1959
[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

1962
[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

1964
[8]

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

1968
[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

1982
[10]

Koch and D

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

2001
[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

2003
[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

2002
[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

2002
[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

2008
[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

2009
[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

2009
[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

2009
[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

2011
[19]

Lei and Q

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

work page arXiv
[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

2018
[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

2021
[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

2022
[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

2022
[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

2023
[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

2024
[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

2024
[27]

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

1970
[28]

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

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

2014
[29]

Ekeland,On the variational principle, J

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

1974
[30]

Constantin and C

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

1988
[31]

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

2002
[32]

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

2011
[33]

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