pith. sign in

arxiv: 2604.07785 · v1 · submitted 2026-04-09 · 🧮 math.AP

On partial type I solutions to the Axially symmetric Navier-Stokes equations

Qi S Zhang This is my paper

Pith reviewed 2026-05-10 17:46 UTC · model grok-4.3

classification 🧮 math.AP
keywords axially symmetric Navier-Stokespartial type I solutionsblow-up preventionLeray-Hopf weak solutionsradial velocity boundaxisymmetric regularityfinite-time singularity
0
0 comments X

The pith

A one-sided bound on inward radial velocity prevents blow-up at time T for axisymmetric Navier-Stokes solutions, if initial azimuthal velocity times radius stays bounded.

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

The paper proves that any Leray-Hopf weak solution to the axially symmetric Navier-Stokes equations obeying the partial type I condition v_r(x,t) ≥ -C/√(T-t) cannot develop a singularity at the final time T, once the extra initial condition |v_θ(x,0)| |x'| is bounded. This relaxes the classical full type I assumption |v| ≤ C/√(T-t) used in earlier no-blow-up theorems. The result sharpens the physical picture that any possible singularity must be driven by sufficiently strong inward radial flow rather than by the azimuthal or axial components.

Core claim

Leray-Hopf weak solutions of the axially symmetric Navier-Stokes equations that satisfy the partial type I lower bound v_r(x,t) ≥ -C/√(T-t) for some C>0 remain regular up to time T whenever the initial azimuthal velocity satisfies the mild bound |v_θ(x,0)| |x'| < ∞.

What carries the argument

The partial type I condition v_r ≥ -C/√(T-t) together with the initial bound on |v_θ| |x'|, which together control the radial inflow and the conserved swirl in cylindrical coordinates.

If this is right

  • The solution extends smoothly past time T.
  • Any singularity in this symmetry class must involve super-critical inward radial velocity.
  • The full type I bound on the entire velocity vector can be weakened to a lower bound on only the radial part.
  • The result isolates the radial component as the dominant mechanism for possible blow-up under axial symmetry.

Where Pith is reading between the lines

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

  • Numerical experiments could test whether solutions satisfying only the radial bound remain smooth even when the full type I bound is violated.
  • The argument may adapt to other symmetry classes or to Navier-Stokes with additional forcing terms that preserve the radial lower bound.
  • It suggests that global regularity criteria for the full 3D equations might be sought by separately controlling radial inflow in regions of high symmetry.

Load-bearing premise

The solution is a Leray-Hopf weak solution obeying the one-sided radial bound and the initial azimuthal bound.

What would settle it

An explicit or numerically constructed Leray-Hopf weak solution to the axisymmetric Navier-Stokes equations that satisfies v_r ≥ -C/√(T-t), |v_θ(x,0)| |x'| bounded, yet becomes singular at some finite T.

read the original abstract

Let $v= v_{r}e_{r} + v_{\th}e_{\th} + v_{3}e_{3}$ be a Leray-Hopf solution to the axially symmetric Navier-Stokes equations (ASNS). We call it a partial type I solution if $v_r(x, t) \ge -C/\sqrt{T-t}$ for some constant $C>0$ and $(x, t) \in \mathbf{R}^3 \times [0, T)$. In this paper, it is proven that such solution does not blow up at time $T$ under the extra mild assumption that $|v_\theta(x, 0)| |x'|$ is bounded. This extends a well known result by two groups of people who proved the no blowup conclusion under the full type I condition: $|v(x, t)| \le C/\sqrt{T-t}$. The result also confirms the physical intuition that potential blow ups for ASNS are caused by super-critical inward radial velocity.

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

Summary. The paper claims that a Leray-Hopf weak solution to the axially symmetric Navier-Stokes equations satisfying the partial type I bound v_r(x, t) ≥ -C/√(T-t) for some C>0, together with the mild initial assumption that |v_θ(x,0)| |x'| is bounded, cannot blow up at the potential singularity time T. The proof derives an a priori L^∞ bound on the full velocity via energy estimates in cylindrical coordinates, using the one-sided radial bound to control the convective nonlinearity and the initial swirl bound to obtain a maximum principle for r v_θ, with the local energy inequality applied in the standard way.

Significance. If the result holds, it meaningfully extends the known no-blowup theorems under the full type I condition |v| ≤ C/√(T-t) by relaxing the assumption to a partial (one-sided radial) bound, consistent with physical intuition that potential singularities in ASNS are driven by supercritical inward radial velocity. The approach relies on standard techniques for Leray-Hopf solutions without circular reasoning or hidden regularity assumptions, and the direct mathematical proof is a strength.

minor comments (3)
  1. The abstract refers to 'two groups of people' who proved the full type I result; the introduction should cite the specific references for clarity and proper attribution.
  2. The notation x' in the assumption |v_θ(x,0)| |x'| is not defined on first use; it should be explicitly stated as the distance to the axis of symmetry.
  3. In the energy estimates, the precise way the partial bound on v_r closes the estimate for the full velocity field could be highlighted more explicitly to aid readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the positive overall assessment. The recommendation of minor revision is noted, and we appreciate the recognition that the result extends known no-blowup theorems under a relaxed partial type I condition while relying on standard techniques for Leray-Hopf solutions.

Circularity Check

0 steps flagged

No significant circularity; derivation is a direct mathematical proof

full rationale

The paper proves that a Leray-Hopf weak solution to the axially symmetric Navier-Stokes equations satisfying the partial type I bound on radial velocity (v_r ≥ -C/√(T-t)) and the initial bound |v_θ(x,0)| |x'| < ∞ cannot blow up at T. The argument derives an a priori L^∞ bound on the velocity via energy estimates in cylindrical coordinates, controlling the convective term with the one-sided radial bound and obtaining a maximum principle for r v_θ from the initial swirl condition. Standard local energy inequalities for Leray-Hopf solutions justify the estimates. This extends prior no-blowup results under the full type I condition through independent analysis without self-definitional reductions, fitted inputs renamed as predictions, or load-bearing self-citations that collapse the claim to its inputs. The derivation is self-contained against external mathematical benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result rests on the standard existence theory for Leray-Hopf solutions and the definition of axial symmetry; no new free parameters or invented entities are introduced.

axioms (2)
  • domain assumption Existence of Leray-Hopf weak solutions to the axially symmetric Navier-Stokes equations
    Invoked in the definition of the solution class under study.
  • standard math Standard properties of the Navier-Stokes equations in cylindrical coordinates under axial symmetry
    Used implicitly to reduce the system and apply the partial type I bound.

pith-pipeline@v0.9.0 · 5465 in / 1234 out tokens · 38042 ms · 2026-05-10T17:46:34.684833+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

20 extracted references · 20 canonical work pages

  1. [1]

    S. W. Cho, H. J. Dong and D. T. Kim,Boundary Value Problems for Parabolic Operators in a Time-Varying Domain, Comm. PDE, Vol. 40, no. 7, Pages 1282-1313, 2015

    work page 2015

  2. [2]

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

    work page 1923

  3. [3]

    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, (9):Art. ID rnn016, 31, 2008

    work page 2008

  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 Equations, 34(1-3):203– 232, 2009

    work page 2009

  5. [5]

    Constantin,Local formulae for the hydrodynamic pressure and applications,Russian Math

    P. Constantin,Local formulae for the hydrodynamic pressure and applications,Russian Math. Surveys 69:3 395-418, 2014

    work page 2014

  6. [6]

    Ibdah,Lipschitz Continuity of Solutions to Drift-Diffusion Equations in the Presence of Non- local Terms, J

    H. Ibdah,Lipschitz Continuity of Solutions to Drift-Diffusion Equations in the Presence of Non- local Terms, J. Math. Fluid Mech. (2022) 24:19, 25pp

    work page 2022

  7. [7]

    Koch, N.Nadirashvili, G.A

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

    work page 2009

  8. [8]

    Foias, C

    C. Foias, C. Guillope, R. Temam,New apriori estimates for the Navier-Stokes equations in dimension 3, Comm. PDE 6 (3), (1981) 329-359

    work page 1981

  9. [9]

    Ferretti and M

    E. Ferretti and M. V. Safonov,Growth theorems and Harnack inequality for second order parabolic equations, Contemp. Math. 277 (2001), 87-112

    work page 2001

  10. [10]

    O. A. Ladyzhenskaya. Unique global solvability of the three-dimensional Cauchy problem for the Navier-Stokes equations in the presence of axial symmetry.Zap. Naucn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI), 7:155–177, 1968

    work page 1968

  11. [11]

    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

  12. [12]

    Lieberman, Gary M.,Second order parabolic differential equations, World Scientific Publishing Co., Inc., River Edge, NJ, 1996, xii+439 pp

    work page 1996

  13. [13]

    Lei and Q

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

    work page 2017

  14. [14]

    Pan,Regularity of solutions to axisymmetric Navier Stokes equations with a slightly super- critical condition, Journal of Differential Equations 260 (12), 8485-8529, 2016

    X.H. Pan,Regularity of solutions to axisymmetric Navier Stokes equations with a slightly super- critical condition, Journal of Differential Equations 260 (12), 8485-8529, 2016

    work page 2016

  15. [15]

    Pan,A regularity condition of 3d axisymmetric Navier-Stokes equations, Acta Applicandae Mathematicae 150 (1), 103-109, 2017

    X.H. Pan,A regularity condition of 3d axisymmetric Navier-Stokes equations, Acta Applicandae Mathematicae 150 (1), 103-109, 2017

    work page 2017

  16. [16]

    Silvestre, L., Vicol, V., Zlatos, A.:On the loss of continuity for super-critical drift-diffusion equations. Arch. Ration. Mech. Anal. 207(3), 845-877 (2013)

    work page 2013

  17. [17]

    Differential Equations 407 (2024), 459-482

    Wu, Bian,On supercritical divergence-free driftsJ. Differential Equations 407 (2024), 459-482

    work page 2024

  18. [18]

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

    work page 1968

  19. [19]

    D. Y. Wei. Regularity criterion to the axially symmetric Navier-Stokes equations.J. Math. Anal. Appl., 435(1):402–413, 2016. PARTIAL TYPE I 21

    work page 2016

  20. [20]

    Zujin Zhang,A pointwise regularity criterion for axisymmetric Navier-Stokes system, Journal of Mathematical Analysis and Applications, Volume 461, Issue 1, Pages 1-6, 2018 Department of mathematics, University of California, Riverside, CA 92521, USA Email address:qizhang@math.ucr.edu

    work page 2018