Unconditional Axis-Regularity in the 5D Corridor

Rishad Shahmurov

arxiv: 2604.03519 · v1 · submitted 2026-04-03 · 🧮 math.AP

Unconditional Axis-Regularity in the 5D Corridor

Rishad Shahmurov This is my paper

Pith reviewed 2026-05-13 18:01 UTC · model grok-4.3

classification 🧮 math.AP

keywords axis regularityaxisymmetric Navier-Stokesweighted estimatesMorrey iterationradial lift5D corridorparabolic corevorticity branch

0 comments

The pith

A five-dimensional radial lift establishes unconditional axis regularity for the axisymmetric Navier-Stokes equations.

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

The paper seeks to prove that the axis stays regular in solutions to the three-dimensional axisymmetric incompressible Navier-Stokes equations by lifting the problem radially to five dimensions with a weighted measure. This approach reduces the axis regularity question to three weighted estimates on the unit cylinder that hold in the corridor alpha between three-quarters and one. The proof shows these estimates imply a contractive Morrey iteration at the axis. A reader would care because this addresses potential singularities along the axis, a central issue in understanding global regularity for these fluid equations.

Core claim

By means of the five-dimensional radial lift with weighted measure dμ₅ = r³ dr dz, the axis problem for axisymmetric Navier-Stokes reduces to three weighted unit-cylinder estimates in the corridor α ∈ (3/4, 1): Hardy-Campanato decay for the singular parabolic core, weighted Friedrichs-Poincaré for the renormalized vorticity branch, and localized weighted quartic for the swirl source. These estimates permit a complete analytic reduction to a contractive Morrey iteration at the axis, making the main theorem unconditional with unit-scale constants recorded as certified numerical inputs in the appendix.

What carries the argument

The five-dimensional radial lift with weighted measure dμ₅ = r³ dr dz that converts the axis regularity problem into three weighted estimates leading to contractive Morrey iteration.

If this is right

Axis regularity holds unconditionally once the three estimates are verified.
No singularities can form on the symmetry axis under the stated conditions.
The Morrey iteration at the axis converges to a regular solution.
The result applies specifically in the distinguished corridor α ∈ (3/4,1).

Where Pith is reading between the lines

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

The lifting technique may extend to regularity questions in other symmetric reductions of the Navier-Stokes system.
Numerical verification of the three weighted estimates could confirm the constants in the appendix.
If the corridor can be widened, the method might cover a larger class of initial data.

Load-bearing premise

The three weighted unit-cylinder estimates hold for alpha in the interval from three quarters to one.

What would settle it

Finding an alpha in (3/4,1) where the Hardy-Campanato decay estimate for the singular parabolic core fails would prevent the Morrey iteration from contracting.

read the original abstract

We study axis regularity for the three-dimensional axisymmetric incompressible Navier--Stokes equations through a five-dimensional radial lift with weighted measure \[ d\mu_5=r^3\,dr\,dz. \] In this formulation the axis problem is reduced to three weighted unit-cylinder estimates: a Hardy--Campanato decay estimate for the singular parabolic core, a weighted Friedrichs--Poincar\'e estimate for the renormalized vorticity branch, and a localized weighted quartic estimate for the swirl source. The distinguished corridor \[ \alpha\in\left(\frac34,1\right) \] is the range singled out by the scaling analysis of the lifted problem. The main theorem is stated in unconditional form; the remaining unit-scale constants are treated as certified numerical inputs and are recorded in Appendix~A. The body of the paper presents the full analytic reduction from these weighted estimates to a contractive Morrey iteration at the axis.

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

The paper reduces axis regularity for axisymmetric 3D NS to three weighted unit-cylinder estimates via a 5D lift with r^3 dr dz measure, then runs a Morrey iteration, but the estimates carry the whole claim.

read the letter

The main point is that this paper lifts the axis problem for 3D axisymmetric Navier-Stokes into five dimensions using the weighted measure r^3 dr dz, isolates the alpha corridor (3/4,1) from scaling, and reduces regularity at the axis to three weighted estimates on the unit cylinder: Hardy-Campanato decay for the singular parabolic core, weighted Friedrichs-Poincaré for the renormalized vorticity, and a localized weighted quartic for the swirl source. Once those hold with the appendix constants, a contractive Morrey iteration closes the argument and the theorem is stated unconditionally.

Referee Report

2 major / 1 minor

Summary. The manuscript claims to establish unconditional axis-regularity for the three-dimensional axisymmetric incompressible Navier-Stokes equations via a five-dimensional radial lift equipped with the weighted measure dμ_5 = r^3 dr dz. The axis problem is reduced to three weighted unit-cylinder estimates (Hardy-Campanato decay for the singular parabolic core, weighted Friedrichs-Poincaré for the renormalized vorticity branch, and localized weighted quartic for the swirl source) that are asserted to hold in the scaling-selected corridor α ∈ (3/4,1). The main theorem is stated unconditionally once these estimates are granted; the body supplies the full analytic reduction from the estimates to a contractive Morrey iteration at the axis, while the remaining unit-scale constants are treated as certified numerical inputs recorded in Appendix A.

Significance. If the three weighted estimates hold with the recorded constants, the result would be a notable advance in axisymmetric Navier-Stokes regularity theory. The 5D lift combined with the contractive Morrey iteration supplies a structured, scaling-aware framework that isolates the axis singularity and could be adapted to related singular problems in fluid dynamics. The unconditional formulation, once the estimates are verified, strengthens the claim relative to conditional results in the literature.

major comments (2)

The unconditional main theorem rests on the three weighted unit-cylinder estimates holding with sufficiently small constants inside α ∈ (3/4,1). The body presents only the analytic reduction to the contractive Morrey iteration; the proofs (or rigorous verification) of the Hardy-Campanato decay, weighted Friedrichs-Poincaré, and localized weighted quartic estimates are not supplied in the main text and must be included to support the central claim.
Appendix A records the unit-scale constants as certified numerical inputs. The manuscript should specify the method by which these constants were obtained (e.g., rigorous a-priori bounds versus numerical certification with explicit error control) so that the contraction constant in the Morrey iteration can be checked independently.

minor comments (1)

The weighted measure dμ_5 = r^3 dr dz is introduced for the 5D lift; its precise relation to the original 3D axisymmetric equations (including how the lift preserves the divergence-free condition and the pressure term) should be stated explicitly in the opening section for clarity.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and positive evaluation of our manuscript. Below we respond to each major comment and describe the planned revisions.

read point-by-point responses

Referee: The unconditional main theorem rests on the three weighted unit-cylinder estimates holding with sufficiently small constants inside α ∈ (3/4,1). The body presents only the analytic reduction to the contractive Morrey iteration; the proofs (or rigorous verification) of the Hardy-Campanato decay, weighted Friedrichs-Poincaré, and localized weighted quartic estimates are not supplied in the main text and must be included to support the central claim.

Authors: The manuscript indeed focuses on the reduction step assuming the three estimates, which are supported by the numerical constants in Appendix A. We will revise the paper to include rigorous outlines or sketches of the proofs for the Hardy-Campanato decay, weighted Friedrichs-Poincaré, and localized weighted quartic estimates in the main text, with full details moved to an expanded appendix. This addresses the need for self-contained support of the central claim. revision: yes
Referee: Appendix A records the unit-scale constants as certified numerical inputs. The manuscript should specify the method by which these constants were obtained (e.g., rigorous a-priori bounds versus numerical certification with explicit error control) so that the contraction constant in the Morrey iteration can be checked independently.

Authors: We will modify Appendix A to provide a clear description of the certification method for the unit-scale constants. This will include the specific numerical scheme, error estimation procedure, and how the values ensure the contraction in the Morrey iteration, facilitating independent verification. revision: yes

Circularity Check

0 steps flagged

No circularity: analytic reduction from granted independent estimates

full rationale

The paper states its main theorem unconditionally once the three weighted unit-cylinder estimates (Hardy-Campanato decay, weighted Friedrichs-Poincaré, and localized weighted quartic) are granted as inputs, with the remaining constants recorded as certified numerical values in Appendix A rather than fitted quantities. The body supplies only the analytic reduction of these estimates to a contractive Morrey iteration at the axis. No equation or step in the provided text reduces the claimed result to itself by construction, renames a known result, or relies on a self-citation chain whose load-bearing premise is unverified within the paper. The derivation is therefore self-contained against the stated external inputs.

Axiom & Free-Parameter Ledger

1 free parameters · 1 axioms · 1 invented entities

The central claim rests on the three weighted estimates being true inside the alpha corridor and on the numerical constants being correctly certified; these are the only non-standard inputs beyond classical Navier-Stokes theory.

free parameters (1)

unit-scale constants
Treated as certified numerical inputs recorded in Appendix A; their precise values are not given in the abstract.

axioms (1)

domain assumption The Hardy-Campanato decay estimate, the weighted Friedrichs-Poincaré estimate, and the localized weighted quartic estimate all hold for the lifted problem in the corridor alpha in (3/4,1).
These three estimates are the load-bearing inputs that the abstract reduces to the contractive Morrey iteration.

invented entities (1)

5D radial lift with weighted measure d mu_5 = r^3 dr dz no independent evidence
purpose: To convert the axis singularity of the 3D axisymmetric Navier-Stokes system into a regular 5D weighted problem amenable to cylinder estimates.
New formulation introduced to enable the reduction; no independent evidence outside the paper is supplied.

pith-pipeline@v0.9.0 · 5449 in / 1610 out tokens · 105735 ms · 2026-05-13T18:01:14.781323+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking (D=3 forcing) unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

five-dimensional radial lift with weighted measure dμ5 = r³ dr dz ... corridor α ∈ (3/4,1) ... Hardy–Campanato contraction ... weighted Friedrichs ... indicial renormalization F = r^{2α-2}v² = r^{m+} + H, m+ = 3α-2 + √(2-α²)
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel (J-cost uniqueness) unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

contractive Morrey iteration E(θR) ≤ κE(R) + C R^δ E(R)² ... δ=4α-3>0

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

14 extracted references · 14 canonical work pages

[1]

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
[2]

Caffarelli, R

L. Caffarelli, R. Kohn, and L. Nirenberg, First order interpolation inequalities with weights, Compositio Math.53(1984), 259–275

work page 1984
[3]

O. A. Ladyzhenskaya,The Mathematical Theory of Viscous Incompressible Flow, Gordon and Breach, New York, 1968. 23

work page 1968
[4]

Leonardi, J

S. Leonardi, J. Málek, J. Nečas, and M. Pokorný, On axially symmetric flows inR3,Z. Anal. Anwendungen18(1999), 639–649

work page 1999
[5]

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

work page 2002
[6]

Gilbarg and N

D. Gilbarg and N. S. Trudinger,Elliptic Partial Differential Equations of Second Order, Springer, Berlin, 2001

work page 2001
[7]

L. C. Evans,Partial Differential Equations, 2nd ed., AMS, Providence, 2010

work page 2010
[8]

E. B. Fabes, C. E. Kenig, and R. P. Serapioni, The local regularity of solutions of degenerate elliptic equations,Comm. Partial Differential Equations7(1982), 77–116

work page 1982
[9]

Muckenhoupt, Weighted norm inequalities for the Hardy maximal function,Trans

B. Muckenhoupt, Weighted norm inequalities for the Hardy maximal function,Trans. Amer. Math. Soc.165(1972), 207–226

work page 1972
[10]

Widman, Hölder continuity of solutions of elliptic systems,Manuscripta Math.5 (1971), 299–308

K.-O. Widman, Hölder continuity of solutions of elliptic systems,Manuscripta Math.5 (1971), 299–308

work page 1971
[11]

R. A. Adams and J. J. F. Fournier,Sobolev Spaces, 2nd ed., Elsevier, Amsterdam, 2003

work page 2003
[12]

Kufner,Weighted Sobolev Spaces, Wiley, Chichester, 1985

A. Kufner,Weighted Sobolev Spaces, Wiley, Chichester, 1985

work page 1985
[13]

Kufner and B

A. Kufner and B. Opic, Hardy-type inequalities,Pitman Research Notes in Mathematics, 1984

work page 1984
[14]

Opic and A

B. Opic and A. Kufner,Hardy-Type Inequalities, Longman, Harlow, 1990. 24

work page 1990

[1] [1]

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

[2] [2]

Caffarelli, R

L. Caffarelli, R. Kohn, and L. Nirenberg, First order interpolation inequalities with weights, Compositio Math.53(1984), 259–275

work page 1984

[3] [3]

O. A. Ladyzhenskaya,The Mathematical Theory of Viscous Incompressible Flow, Gordon and Breach, New York, 1968. 23

work page 1968

[4] [4]

Leonardi, J

S. Leonardi, J. Málek, J. Nečas, and M. Pokorný, On axially symmetric flows inR3,Z. Anal. Anwendungen18(1999), 639–649

work page 1999

[5] [5]

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

work page 2002

[6] [6]

Gilbarg and N

D. Gilbarg and N. S. Trudinger,Elliptic Partial Differential Equations of Second Order, Springer, Berlin, 2001

work page 2001

[7] [7]

L. C. Evans,Partial Differential Equations, 2nd ed., AMS, Providence, 2010

work page 2010

[8] [8]

E. B. Fabes, C. E. Kenig, and R. P. Serapioni, The local regularity of solutions of degenerate elliptic equations,Comm. Partial Differential Equations7(1982), 77–116

work page 1982

[9] [9]

Muckenhoupt, Weighted norm inequalities for the Hardy maximal function,Trans

B. Muckenhoupt, Weighted norm inequalities for the Hardy maximal function,Trans. Amer. Math. Soc.165(1972), 207–226

work page 1972

[10] [10]

Widman, Hölder continuity of solutions of elliptic systems,Manuscripta Math.5 (1971), 299–308

K.-O. Widman, Hölder continuity of solutions of elliptic systems,Manuscripta Math.5 (1971), 299–308

work page 1971

[11] [11]

R. A. Adams and J. J. F. Fournier,Sobolev Spaces, 2nd ed., Elsevier, Amsterdam, 2003

work page 2003

[12] [12]

Kufner,Weighted Sobolev Spaces, Wiley, Chichester, 1985

A. Kufner,Weighted Sobolev Spaces, Wiley, Chichester, 1985

work page 1985

[13] [13]

Kufner and B

A. Kufner and B. Opic, Hardy-type inequalities,Pitman Research Notes in Mathematics, 1984

work page 1984

[14] [14]

Opic and A

B. Opic and A. Kufner,Hardy-Type Inequalities, Longman, Harlow, 1990. 24

work page 1990