pith. sign in

arxiv: 2606.07869 · v1 · pith:LBCTSWW3new · submitted 2026-06-05 · 🧮 math.AP

Global Regularity for Axisymmetric Navier--Stokes Flows with Swirl

Rishad Shahmurov This is my paper

Pith reviewed 2026-06-27 21:08 UTC · model grok-4.3

classification 🧮 math.AP
keywords axisymmetric Navier-Stokesglobal regularityswirlcirculationHardy inequalityvorticity estimatesweighted Sobolev spaces
0
0 comments X

The pith

Axisymmetric solutions to the 3D Navier-Stokes equations with arbitrary swirl 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.

This paper establishes global smoothness for any smooth finite-energy axisymmetric solution of the three-dimensional incompressible Navier-Stokes equations, even when swirl is present and arbitrary. It works with the circulation Γ = r u^ heta, the lifted azimuthal vorticity ratio G = ω^ heta / r, and the pair Ξ = (Γ_r/r, Γ_z/r). The key step rewrites the source ∂_z(F^{2}) exactly as 2ΓW/r^{3} with respect to the measure r^{3} dr dz, then bounds the resulting integral by an axis Hardy formula for Γ, one-dimensional Sobolev estimates in z, and the positive W/r-Hardy contribution inside the Ξ-dissipation. After all other channels vanish, a small-threshold energy-seeding lemma places G in L^∞_t L^{2}(dμ_5) ∩ L^{2}_t Ḣ^{1}(dμ_5), which closes the estimates and prevents singularities.

Core claim

The paper proves that the source term ∂_z(F^{2}) equals exactly 2ΓW/r^{3} under the measure dμ_5 = r^{3} dr dz. This identity converts the dangerous pairing into 2 ∫ G Γ W dr dz, which is controlled by the axis Hardy inequality for Γ, axial Sobolev estimates on radial densities, and the positive W/r term already present in the Ξ-dissipation. Once source, collar, macro, motion, projection, cascade and backward-ancestor contributions all vanish, the zero-output endpoint is settled by a small-threshold energy-seeding lemma that yields G ∈ L^∞_t L^{2}(dμ_5) ∩ L^{2}_t Ḣ^{1}(dμ_5) and thereby global regularity.

What carries the argument

The axis-compatible circulation-gradient pair Ξ = (A,W) = (Γ_r/r, Γ_z/r) together with the exact identity ∂_z(F^{2}) = 2ΓW/r^{3} that turns the source into a controllable integral against G.

If this is right

  • Global smoothness holds for arbitrary swirl without any smallness restriction.
  • The weighted spaces with measure r^{3} dr dz are sufficient to close the estimates near the axis.
  • The circulation-gradient pair Ξ supplies the exact cancellation needed for the azimuthal vorticity equation.
  • Finite-energy axisymmetric data evolve smoothly for all positive times.

Where Pith is reading between the lines

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

  • The identity may extend to forced or slightly non-axisymmetric perturbations that preserve the same weighted structure.
  • A direct numerical verification of the integrated identity on a cylindrical grid could test whether the analytic closure survives discretization.
  • The method isolates swirl as a quantity that couples to axial gradients in a way that prevents concentration rather than promoting it.

Load-bearing premise

The near-axis source can be rewritten exactly via the circulation and its axial derivative, and the resulting term is absorbed by the existing Hardy and dissipation contributions without loss of control.

What would settle it

A smooth finite-energy axisymmetric initial datum with nonzero swirl that develops a singularity in finite time would falsify the global-regularity claim.

read the original abstract

We prove global smoothness for smooth finite-energy axisymmetric solutions of the three-dimensional incompressible Navier--Stokes equations with arbitrary swirl. The proof is organized around the circulation \(\Gamma=ru^\theta\), the lifted azimuthal vorticity ratio \(G=\omega^\theta/r\), and the axis-compatible circulation-gradient pair \[ \Xi=(A,W)=\left(\frac{\Gamma_r}{r},\frac{\Gamma_z}{r}\right). \] The principal near-axis difficulty is the source term \(\partial_z(F^2)\), where \(F=u^\theta/r=\Gamma/r^2\), in the lifted \(G\)-equation. The first key observation is the exact identity \[ \partial_z(F^2)=\frac{2\Gamma W}{r^3}, \qquad d\mu_5=r^3\,dr\,dz, \] which converts the source pairing into \(2\int G\Gamma W\,drdz\). This term is controlled by an axis Hardy formula for \(\Gamma\), one-dimensional Sobolev estimates in the axial variable for radial energy densities, and the positive \(W/r\)-Hardy term in the \(\Xi\)-dissipation. The second key point is that the typed zero-output endpoint is no longer treated as an abstract bridge-profile problem. After all source, collar, macro, motion, projection, cascade, and backward-ancestor channels vanish, a small-threshold energy-seeding lemma gives \[ G\in L_t^\infty L^2(d\mu_5)\cap L_t^2\dot H^1(d\mu_5). \]

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

0 major / 2 minor

Summary. The manuscript claims to prove global smoothness for all smooth finite-energy axisymmetric solutions of the 3D incompressible Navier-Stokes equations with arbitrary swirl. The argument is organized around the circulation Γ = r u^θ, the lifted azimuthal vorticity ratio G = ω^θ / r, and the axis-compatible pair Ξ = (A, W) = (Γ_r / r, Γ_z / r). The central technical steps are an exact identity converting the near-axis source ∂z(F²) into the integral 2∫ G Γ W dμ5, control of this term via an axis Hardy inequality on Γ, one-dimensional axial Sobolev estimates on radial densities, and absorption into the positive W/r-Hardy contribution inside the Ξ-dissipation, followed by a small-threshold energy-seeding lemma that closes the a-priori estimates at the zero-output endpoint.

Significance. If the claimed estimates hold, the result would constitute a major advance in mathematical fluid dynamics by establishing global regularity for the axisymmetric Navier-Stokes system with swirl. The manuscript supplies an exact identity, a concrete axis Hardy formula, and a specific small-threshold seeding lemma rather than an abstract bridge-profile argument; these are concrete strengths that directly address the known near-axis obstruction.

minor comments (2)
  1. The abstract and key observations are clearly stated, but the manuscript would benefit from an explicit roadmap section that lists every a-priori estimate and the precise function spaces in which they close.
  2. Notation for the measure dμ5 and the precise statement of the axis Hardy formula for Γ should be repeated at the beginning of the main estimate section for reader convenience.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their summary of the manuscript and for recognizing the potential significance of the result if the estimates are valid. The recommendation is listed as uncertain, yet the report contains no enumerated major comments or specific points of concern. We therefore provide no point-by-point responses below. Should the referee identify particular technical issues, we are prepared to address them directly.

Circularity Check

0 steps flagged

No significant circularity; derivation uses exact identities and standard estimates

full rationale

The paper's core steps rest on an exact algebraic identity ∂z(F²)=2ΓW/r³ obtained directly by differentiating the definitions F=Γ/r² and W=Γz/r (no external input or fit required), followed by control via axis Hardy inequality on Γ, 1D axial Sobolev estimates, and absorption into the positive W/r term already present in the Ξ-dissipation. The zero-output endpoint is closed by a small-threshold energy-seeding lemma after all other channels are shown to vanish. No self-citations, fitted parameters renamed as predictions, or ansatzes smuggled via prior work appear in the load-bearing chain; all tools invoked are standard, externally verifiable inequalities independent of the target regularity result.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

The proof rests on the axisymmetric domain assumption and standard analysis tools; no free parameters or invented entities appear in the abstract.

axioms (3)
  • domain assumption Solutions are axisymmetric with arbitrary swirl
    Core assumption defining the class of flows under consideration.
  • domain assumption Initial data are smooth with finite energy
    Required to conclude global smoothness from the a priori estimates.
  • standard math Standard Hardy and one-dimensional Sobolev inequalities apply to the derived quantities
    Invoked to control the source term and close the energy estimates.

pith-pipeline@v0.9.1-grok · 5819 in / 1405 out tokens · 26974 ms · 2026-06-27T21:08:13.546798+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 · 7 canonical work pages · 4 internal anchors

  1. [1]

    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

    1934

  2. [2]

    Hopf, ¨Uber die Anfangswertaufgabe f¨ ur die hydrodynamischen Grundgleichungen,Math

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

    1951

  3. [3]

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

    1969

  4. [4]

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

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

    1959

  5. [5]

    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

  6. [6]

    Scheffer, Partial regularity of solutions to the Navier–Stokes equations,Pacific J

    V. Scheffer, Partial regularity of solutions to the Navier–Stokes equations,Pacific J. Math. 66 (1976), 535–552

    1976

  7. [7]

    Scheffer, Hausdorff measure and the Navier–Stokes equations,Comm

    V. Scheffer, Hausdorff measure and the Navier–Stokes equations,Comm. Math. Phys.55 (1977), 97–112

    1977

  8. [8]

    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

  9. [9]

    Escauriaza, G

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

    2003

  10. [10]

    Koch and D

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

    2001

  11. [11]

    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

  12. [12]

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

    1968

  13. [13]

    Leonardi, J

    S. Leonardi, J. Malek, J. Necas, and M. Pokorny, On axially symmetric flows in R3,Z. Anal. Anwendungen18 (1999), 639–649

    1999

  14. [14]

    Neustupa and M

    J. Neustupa and M. Pokorny, An interior regularity criterion for an axially symmetric suitable weak solution to the Navier–Stokes equations,J. Math. Fluid Mech.2 (2000), 381–399

    2000

  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,Int. Math. Res. Not.2008

    2008

  16. [16]

    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, preprint, arXiv:0709.4230

    work page internal anchor Pith review Pith/arXiv arXiv

  17. [17]

    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

  18. [18]

    T. Y. Hou, Z. Lei, and C. Li, Global regularity of the 3D axi-symmetric Navier–Stokes equations with anisotropic data, preprint, arXiv:0901.3486, 2009

    work page internal anchor Pith review Pith/arXiv arXiv 2009

  19. [19]

    A Liouville Theorem for the Axially-symmetric Navier-Stokes Equations

    Z. Lei and Q. S. Zhang, A Liouville theorem for the axially-symmetric Navier–Stokes equations, preprint, arXiv:1011.5066, 2010

    work page internal anchor Pith review Pith/arXiv arXiv 2010

  20. [20]

    Nowakowski and W

    B. Nowakowski and W. M. Zajaczkowski, Global regular axially-symmetric solutions to the Navier–Stokes equations with small swirl, preprint, arXiv:2302.00730, 2023

    work page arXiv 2023

  21. [21]

    Katsaounis, I

    T. Katsaounis, I. Mousikou, and A. E. Tzavaras, Axisymmetric flows with swirl for Euler and Navier–Stokes equations, preprint, arXiv:2311.10575, 2023

    work page arXiv 2023

  22. [22]

    Katsaounis, I

    T. Katsaounis, I. Mousikou, and A. E. Tzavaras, Self-similar axisymmetric flows with swirl, preprint, arXiv:2301.11090, 2023

    work page arXiv 2023

  23. [23]

    Global Regularity of Axisymmetric Navier-Stokes Equations with NHL Boundary Conditions under a Critical Smallness Condition

    T.-L. Chan, Global regularity of axisymmetric Navier–Stokes equations with NHL boundary conditions under a critical smallness condition, preprint, arXiv:2605.18011, 2026. 99

    work page internal anchor Pith review Pith/arXiv arXiv 2026