pith. sign in

arxiv: 2605.18011 · v1 · pith:XENPHQPTnew · submitted 2026-05-18 · 🧮 math.AP

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

Tsz-Lik Chan This is my paper

Pith reviewed 2026-05-20 09:36 UTC · model grok-4.3

classification 🧮 math.AP
keywords axisymmetric Navier-Stokesglobal regularityNavier-Hodge-Lions boundary conditionsfinite cylindersmallness conditionvortex stretchingscaling invariant
0
0 comments X

The pith

Axisymmetric Navier-Stokes solutions with NHL boundary conditions remain globally regular under a critical smallness condition on initial data.

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

The paper shows that for axisymmetric flows of the incompressible Navier-Stokes equations in a finite cylinder with Navier-Hodge-Lions boundary conditions, global regularity holds if the initial data satisfy a scaling-invariant smallness condition involving norms of transformed velocity and vorticity quantities. This condition controls the effects of vortex stretching from nonzero swirl. A sympathetic reader would care because it guarantees smooth solutions for all time in a setting with physically relevant slip-type boundaries, extending prior results limited to swirl-free cases. The proof derives a priori bounds via a transformed system, maximum principles, refined inequalities, and boundary analysis to rule out finite-time blow-up.

Core claim

The author establishes that when the initial data satisfy the inequality 9C1 C3^{1/2}/4 times (1/2 ||V0||_L4^4 + ||Ω0||_L2^2)^{1/4} times ||Γ0||_L4 is at most 1/4, the corresponding solution to the axisymmetric Navier-Stokes equations with NHL boundary conditions in the finite cylinder remains globally regular. This follows from energy estimates on the transformed equations for Ω and V that produce L^∞_T L^4_x bounds on velocity components, after applying a maximum principle for Γ and handling boundary terms in the finite-cylinder geometry.

What carries the argument

Transformed variables Ω = ω_θ / r and V = v_θ / √r, together with the maximum principle for Γ = r v_θ, used to close energy estimates after boundary analysis.

If this is right

  • If the smallness condition holds, the solution exists globally in time with no singularities.
  • L^∞_T L^4_x bounds are obtained for all velocity components and fall inside the regularity class.
  • Finite-time blow-up is precluded for initial data meeting the given criterion.
  • The result extends criticality theory for axisymmetric Navier-Stokes to NHL boundary conditions in a finite cylinder.

Where Pith is reading between the lines

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

  • The same smallness strategy might adapt to other slip or stress-free boundary conditions on different domains.
  • Numerical tests could probe sharpness by checking for blow-up when the constant 1/4 is modestly exceeded.
  • Control of scaling-critical combinations of swirl and vorticity may help address regularity questions in related bounded-domain flows.

Load-bearing premise

The maximum principle for Γ and the refined Agmon-type inequalities continue to hold after the boundary analysis required by the finite-cylinder NHL geometry.

What would settle it

A numerical simulation of the axisymmetric system with NHL boundary conditions that exhibits finite-time blow-up for initial data satisfying the smallness condition with equality would disprove the claim.

read the original abstract

We investigate the global regularity problem for the three-dimensional incompressible Navier-Stokes equations restricted to axisymmetric flows in a finite cylinder $D = \{(r,\theta,x_3): 0 \le r \le 1, 0 \le \theta < 2\pi, 0 \le x_3 \le 1\}$, subject to the Navier-Hodge-Lions (NHL) boundary condition. While global existence of smooth solutions is known in the swirl-free case, the presence of swirl ($v_\theta \neq 0$) introduces vortex stretching that may potentially lead to finite-time singularity formation. In this work, we prove that if the initial data satisfy a scaling-invariant smallness condition of the form \[ \frac{9C_1C_3^{1/2}}{4}\left(\frac{1}{2}\|V_0\|_{L^4}^4 + \|\Omega_0\|_{L^2}^2\right)^{1/4}\|\Gamma_0\|_{L^4} \le \frac{1}{4}, \] where $V = v_\theta/\sqrt{r}$, $\Omega = \omega_\theta/r$, $\Gamma = r v_\theta$, and $C_1, C_3$ are explicit constants given in this paper, then the solution remains globally regular for all time. The proof proceeds via a transformed system for $\Omega$ and $V$, leveraging a maximum principle for $\Gamma$, refined Agmon-type inequalities to control $\|v_r/r\|_{L^\infty}$, and delicate boundary analysis of the finite cylinder geometry. Key energy estimates yield $L^\infty_T L^4_x$ bounds for all velocity components, which fall within the regularity class, thereby precluding finite-time blow-up. The result extends the known criticality theory for axisymmetric Navier-Stokes flows to the setting of NHL boundary conditions, which are physically relevant for flows with stress-free or slip-type constraints on lateral and horizontal boundaries.

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

2 major / 2 minor

Summary. The manuscript proves that axisymmetric solutions to the 3D incompressible Navier-Stokes equations in the finite cylinder D = {0 ≤ r ≤ 1, 0 ≤ x3 ≤ 1} with Navier-Hodge-Lions (NHL) boundary conditions remain globally regular provided the initial data satisfy the scaling-invariant smallness condition (9 C1 C3^{1/2}/4) (½ ||V0||_{L^4}^4 + ||Ω0||_{L^2}^2)^{1/4} ||Γ0||_{L^4} ≤ 1/4, where V = v_θ / √r, Ω = ω_θ / r, and Γ = r v_θ. The argument transforms the system, applies a maximum principle to Γ to absorb vortex stretching, uses refined Agmon-type inequalities to bound ||v_r / r||_∞, and performs boundary analysis to obtain L^∞_T L^4_x control on all velocity components.

Significance. If the central estimates close, the result extends the critical smallness theory for axisymmetric Navier-Stokes regularity to the physically relevant NHL (stress-free/slip) boundary conditions on a bounded cylinder, where global regularity was previously known only in the swirl-free case. The explicit constants C1 and C3 and the scaling-invariant form of the threshold are strengths that make the criterion falsifiable and potentially useful for numerical validation.

major comments (2)
  1. [§4.2] §4.2, evolution equation for Γ (after (4.8)): the boundary integrals produced by integration by parts at r=1, x3=0, x3=1 and the axis r=0 must be shown to vanish or remain non-positive under the NHL conditions. The manuscript invokes 'delicate boundary analysis,' but without an explicit sign check or cancellation identity for the flux terms involving the slip velocity and stress-free constraints, the maximum principle for ||Γ||_∞ cannot be guaranteed to propagate the smallness threshold; this step is load-bearing for the claimed L^∞_T L^4 control.
  2. [§5.1] §5.1, application of refined Agmon inequalities (after (5.3)): the constants C1 and C3 appear in the smallness threshold yet are defined via the boundary-adjusted Sobolev embeddings; it is unclear whether these constants remain independent of the cylinder aspect ratio or whether they absorb additional boundary contributions that could enlarge the threshold beyond 1/4.
minor comments (2)
  1. [Introduction] The notation section should explicitly state the relation between the original velocity components (v_r, v_θ, v_z) and the transformed variables (V, Ω, Γ) at the outset, rather than deferring it to the transformed system.
  2. [Figure 1] Figure 1 (schematic of NHL boundaries) would benefit from labeling the precise stress and velocity conditions on each face to aid readers in verifying the boundary-term calculations.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and insightful comments on our manuscript. We address each major comment point by point below, providing clarifications and indicating revisions where the manuscript will be strengthened.

read point-by-point responses

  1. Referee: [§4.2] §4.2, evolution equation for Γ (after (4.8)): the boundary integrals produced by integration by parts at r=1, x3=0, x3=1 and the axis r=0 must be shown to vanish or remain non-positive under the NHL conditions. The manuscript invokes 'delicate boundary analysis,' but without an explicit sign check or cancellation identity for the flux terms involving the slip velocity and stress-free constraints, the maximum principle for ||Γ||_∞ cannot be guaranteed to propagate the smallness threshold; this step is load-bearing for the claimed L^∞_T L^4 control.

    Authors: We agree that an explicit verification of the boundary terms is essential for rigor. In the revised manuscript we add a new subsection 4.2.1 containing the full integration-by-parts calculation for the Γ-equation. Under the NHL conditions (v_r = 0 together with the stress-free conditions on the tangential stresses), the boundary integrals at r=1, x3=0 and x3=1 cancel identically, while the axis r=0 contribution vanishes by the axisymmetric regularity and the weighted integrability of Γ. The resulting identity shows that the boundary flux is non-positive, so the maximum principle for ||Γ||_∞ propagates the smallness threshold without additional assumptions. We believe this explicit sign check removes the concern. revision: yes

  2. Referee: [§5.1] §5.1, application of refined Agmon inequalities (after (5.3)): the constants C1 and C3 appear in the smallness threshold yet are defined via the boundary-adjusted Sobolev embeddings; it is unclear whether these constants remain independent of the cylinder aspect ratio or whether they absorb additional boundary contributions that could enlarge the threshold beyond 1/4.

    Authors: The constants C1 and C3 are obtained from the boundary-adjusted Sobolev embeddings on the specific unit cylinder (radius and height both equal to 1). Because the domain geometry is fixed, these constants carry no dependence on a variable aspect ratio. We have inserted a clarifying paragraph in §5.1 stating that the embeddings are derived directly for the NHL boundary conditions on this geometry and that the factor 1/4 in the smallness threshold is chosen conservatively to absorb any boundary contributions that appear in the estimates. No enlargement of the threshold is required. A generalization to arbitrary aspect ratios lies outside the present scope but could be pursued separately. revision: partial

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained via estimates

full rationale

The paper establishes global regularity for axisymmetric NS under NHL conditions by transforming to variables (Ω, V, Γ), applying a maximum principle to Γ, refined Agmon inequalities, and energy estimates that close under the given smallness assumption on initial data. The smallness threshold is an explicit hypothesis on (V0, Ω0, Γ0), not a fitted quantity or output of the proof; C1 and C3 are derived constants internal to the estimates. No step reduces the target conclusion to a self-definition, prior self-citation chain, or renaming of known results. The argument relies on direct analysis of the PDE system and boundary integrals rather than tautological reduction. This is a standard first-principles regularity proof without circularity.

Axiom & Free-Parameter Ledger

1 free parameters · 2 axioms · 0 invented entities

The proof rests on standard Sobolev and Agmon inequalities together with a maximum principle applied to the transformed swirl variable; the constants C1 and C3 arise from these estimates but are stated to be explicit.

free parameters (1)
  • C1 and C3
    Explicit constants appearing in the smallness condition and derived from the inequalities used to close the estimates.
axioms (2)
  • domain assumption Maximum principle holds for Γ in the transformed system under NHL boundary conditions
    Invoked to obtain L^∞ control on the swirl component.
  • standard math Refined Agmon-type inequalities control ||v_r / r||_L^∞ in the cylinder geometry
    Used to bound radial velocity terms in the energy estimates.

pith-pipeline@v0.9.0 · 5900 in / 1530 out tokens · 52795 ms · 2026-05-20T09:36:53.651270+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

30 extracted references · 30 canonical work pages

  1. [1]

    Agmon,Lectures on elliptic boundary value problems, American Mathematical Society (2010)

    S. Agmon,Lectures on elliptic boundary value problems, American Mathematical Society (2010)

    work page 2010

  2. [2]

    Bedrossian, V

    J. Bedrossian, V. Vicol,The mathematical analysis of the incompressible Euler and Navier–Stokes equations: an introduction, Graduate Studies in Mathematics 225, American Mathematical Society (2022)

    work page 2022

  3. [3]

    Caffarelli, R

    L. Caffarelli, R. Kohn, L. Nirenberg,Partial regularity of suitable weak solutions of the Navier– Stokes equations, Communications on Pure and Applied Mathematics 35(6), 771–831 (1982)

    work page 1982

  4. [4]

    D. Chae, J. Lee,On the regularity of the axisymmetric solutions of the Navier–Stokes equations, Mathematische Zeitschrift 239(4), 645–671 (2002)

    work page 2002

  5. [5]

    Chen, R.M

    C.-C. Chen, R.M. Strain, T.-P. Tsai, H.-T. Yau,Lower bounds on the blow-up rate of the axisymmetric Navier–Stokes equations, International Mathematics Research Notices (2008)

    work page 2008

  6. [6]

    Chen, R.M

    C.-C. Chen, R.M. Strain, T.-P. Tsai, H.-T. Yau,Lower bounds on the blow-up rate of the axisymmetric Navier–Stokes equations II, Communications in Partial Differential Equations 34(3), 203–232 (2009)

    work page 2009

  7. [7]

    Escauriaza, G.A

    L. Escauriaza, G.A. Seregin, V. Sver´ ak, L3,∞-solutions of the Navier–Stokes equations and backward uniqueness, Russian Mathematical Surveys 58, 211–250 (2003)

    work page 2003

  8. [8]

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

    E. Hopf, ¨Uber die Anfangswertaufgabe f¨ ur die hydrodynamischen Grundgleichungen. Erhard Schmidt zu seinem 75. Geburtstag gewidmet, Mathematische Nachrichten 4(1-6), 213–231 (1950)

    work page 1950

  9. [9]

    T.Y. Hou, Z. Lei, C. Li,Global regularity of the 3D axi-symmetric Navier–Stokes equations with anisotropic data, Communications in Partial Differential Equations 33(9), 1622–1637 (2008)

    work page 2008

  10. [10]

    G. Koch, N. Nadirashvili, G.A. Seregin, V. Sver´ ak,Liouville theorem for the Navier–Stokes equations and applications, Acta Mathematica 203, 83–105 (2009)

    work page 2009

  11. [11]

    in the large

    O.A. Ladyzhenskaya,Solution “in the large” of the nonstationary boundary value problem for the Navier–Stokes system with two space variables, Communications on Pure and Applied Mathematics 12(3), 427–433 (1959)

    work page 1959

  12. [12]

    Ladyzhenskaya,On the uniqueness and on the smoothness of weak solutions of the Navier– Stokes equations, Zapiski Nauchnykh Seminarov POMI 5, 169 (1967)

    O.A. Ladyzhenskaya,On the uniqueness and on the smoothness of weak solutions of the Navier– Stokes equations, Zapiski Nauchnykh Seminarov POMI 5, 169 (1967)

    work page 1967

  13. [13]

    in the large

    O.A. Ladyzhenskaya,On unique solvability “in the large” of three-dimensional Cauchy problem for Navier-–Stokes equations with axial symmetry, Zapiski Nauchnykh Seminarov POMI 7, 155–177 (1968)

    work page 1968

  14. [14]

    Lei,On axially symmetric incompressible magnetohydrodynamics in three dimensions, Journal of Differential Equations 259(7), 3202–3215 (2015)

    Z. Lei,On axially symmetric incompressible magnetohydrodynamics in three dimensions, Journal of Differential Equations 259(7), 3202–3215 (2015)

    work page 2015

  15. [15]

    Z. Lei, Q. Zhang,Criticality of the axially symmetric Navier–Stokes equations, Pacific Journal of Mathematics 289(1), 169–187 (2017)

    work page 2017

  16. [16]

    J. Leray, ´Etude de diverses ´ equations int´ egrales non lin´ eaires et de quelques probl` emes que pose l’hydrodynamique, Journal de Math´ ematiques Pures et Appliqu´ ees 12, 1–82 (1933)

    work page 1933

  17. [17]

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

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

    work page 1934

  18. [18]

    Z. Li, X. Pan, X. Yang, C. Zeng, Q.S. Zhang, N. Zhao,Finite speed axially symmetric Navier–Stokes flows passing a cone, Journal of Functional Analysis 286(10), 110393 (2024). 26 T. L. CHAN

    work page 2024

  19. [19]

    Liu, W.-C

    J.-G. Liu, W.-C. Wang,Characterization and regularity for axisymmetric solenoidal vector fields with application to Navier–Stokes equation, SIAM Journal on Mathematical Analysis 41(5), 1825–1850 (2009)

    work page 2009

  20. [20]

    C. Miao, X. Zheng,On the global well-posedness for the Boussinesq system with horizontal dissipation, Communications in Mathematical Physics 321(1), 33–67 (2013)

    work page 2013

  21. [21]

    Mitrea, S

    M. Mitrea, S. Monniaux,The nonlinear Hodge–Navier–Stokes equations in Lipschitz domains, Differential Integral Equations 22(3/4) (2009)

    work page 2009

  22. [22]

    Neustupa, P

    J. Neustupa, P. Penel,On regularity of a weak solution to the Navier–Stokes equations with the generalized Navier slip boundary conditions, Advances in Mathematical Physics 2018, 4617020 (2018)

    work page 2018

  23. [23]

    O˙ za´ nski, W.M

    W.S. O˙ za´ nski, W.M. Zajaczkowski,On the regularity of axially-symmetric solutions to the incompressible Navier–Stokes equations in a cylinder, Journal of Differential Equations 438, 113373 (2025)

    work page 2025

  24. [24]

    Payne, H.F

    L.E. Payne, H.F. Weinberger,An optimal Poincar´ e inequality for convex domains, Archive for Rational Mechanics and Analysis 5(1), 286–292 (1960)

    work page 1960

  25. [25]

    Prodi,Un teorema di unicita per le equazioni di Navier–Stokes, Annali di Matematica Pura ed Applicata 48(1), 173–182 (1959)

    G. Prodi,Un teorema di unicita per le equazioni di Navier–Stokes, Annali di Matematica Pura ed Applicata 48(1), 173–182 (1959)

    work page 1959

  26. [26]

    Serrin,On the interior regularity of weak solutions of the Navier–Stokes equations, Archive for Rational Mechanics and Analysis 9(1), 187–195 (1962)

    J. Serrin,On the interior regularity of weak solutions of the Navier–Stokes equations, Archive for Rational Mechanics and Analysis 9(1), 187–195 (1962)

    work page 1962

  27. [27]

    Ukhovskii, V.I

    M.R. Ukhovskii, V.I. Iudovich,Axially symmetric flows of ideal and viscous fluids filling the whole space, Journal of Applied Mathematics and Mechanics 32(1), 52–62 (1968)

    work page 1968

  28. [28]

    von Wahl,Estimating ∇u by divu and curlu , Mathematical Methods in the Applied Sciences 15(2), 123–143 (1992)

    W. von Wahl,Estimating ∇u by divu and curlu , Mathematical Methods in the Applied Sciences 15(2), 123–143 (1992)

    work page 1992

  29. [29]

    Wei,Regularity criterion to the axially symmetric Navier-–Stokes equations, Journal of Mathe- matical Analysis and Applications 435(1), 402–413 (2016)

    D. Wei,Regularity criterion to the axially symmetric Navier-–Stokes equations, Journal of Mathe- matical Analysis and Applications 435(1), 402–413 (2016)

    work page 2016

  30. [30]

    Zhang,Bounded solutions to the axially symmetric Navier-–Stokes equation in a cusp region, Journal of Differential Equations 312, 407–473 (2022)

    Q.S. Zhang,Bounded solutions to the axially symmetric Navier-–Stokes equation in a cusp region, Journal of Differential Equations 312, 407–473 (2022). Department of mathematics, University of California, Riverside, CA 92521, USA Email address:tchan204@ucr.edu

    work page 2022