pith. sign in

arxiv: 2204.13406 · v4 · submitted 2022-04-28 · 🧮 math.AP

On the regularity of axisymmetric, swirl-free solutions of the Euler equation in four and higher dimensions

Evan Miller , Tai-Peng Tsai This is my paper

Pith reviewed 2026-05-24 11:44 UTC · model grok-4.3

classification 🧮 math.AP
keywords Euler equationsaxisymmetric solutionsswirl-free flowsfinite-time blowupconditional regularityhigher dimensions
0
0 comments X

The pith

In dimensions four and higher, axisymmetric swirl-free Euler solutions admit conditional finite-time blowup with a weakening condition as dimension grows.

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

The paper shows that axisymmetric swirl-free solutions of the Euler equations in d greater than or equal to four possess features that permit finite-time singularity formation of a type ruled out in three dimensions. It establishes a conditional blowup result: if a certain condition on the solution holds, then the solution must become singular in finite time. This condition grows weaker as the dimension increases to infinity, indicating that the underlying dynamics become more singular in higher dimensions. A reader would care because the result isolates how spatial dimension controls the possibility of breakdown in ideal fluid motion under symmetry constraints.

Core claim

Axisymmetric, swirl-free solutions of the Euler equation in dimension d greater than or equal to four have properties allowing finite-time singularity formation excluded when d equals three, and a conditional blowup result holds for such solutions with the imposed condition becoming weaker as d tends to positive infinity.

What carries the argument

The axisymmetric swirl-free reduction of the d-dimensional Euler equations together with the dimension-dependent conditional blowup criterion.

If this is right

  • If the stated condition is met, the solution must develop a singularity in finite time.
  • The threshold for forcing blowup decreases with increasing dimension, so higher-dimensional flows are more prone to this form of breakdown.
  • The three-dimensional case excludes this singularity mechanism because the corresponding condition cannot be satisfied under the same symmetry.
  • The result applies only under the maintained axisymmetric swirl-free assumption and does not address general solutions without symmetry.

Where Pith is reading between the lines

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

  • The weakening condition may suggest that high-dimensional axisymmetric flows lose regularity more readily than their three-dimensional counterparts even without additional forcing.
  • Similar conditional criteria could be derived for other conserved quantities or for related equations such as the Navier-Stokes system under the same symmetry.
  • Testing the condition numerically in dimensions five through ten would give concrete evidence on how rapidly the blowup threshold drops.

Load-bearing premise

The solution remains axisymmetric and swirl-free for all time up to the potential blowup time, and the initial data are chosen so that the imposed blowup condition holds.

What would settle it

An explicit construction or numerical example of a global smooth axisymmetric swirl-free solution in dimension four whose velocity or vorticity violates the blowup condition throughout its existence would show the conditional result does not apply.

read the original abstract

In this paper, we consider axisymmetric, swirl-free solutions of the Euler equation in four and higher dimensions. We show that in dimension $d\geq 4$, axisymmetric, swirl-free solutions of the Euler equation have properties which could allow finite-time singularity formation of a form that is excluded when $d=3$, and we prove a conditional blowup result for axisymmetric, swirl-free solutions of the Euler equation in dimension $d\geq 4$. The condition which must be imposed on the solution in order to imply blowup becomes weaker as $d\to +\infty$, suggesting the dynamics are becoming much more singular as the dimension increases.

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 considers axisymmetric, swirl-free solutions of the incompressible Euler equations in dimensions d ≥ 4. It identifies properties of these solutions that permit finite-time singularity formation of a type excluded in d=3, and establishes a conditional blowup result: if an additional condition (which weakens as d → ∞) holds, then the solution blows up in finite time.

Significance. If the conditional result is correct, the work provides evidence that the axisymmetric swirl-free class becomes increasingly singular with dimension, offering a concrete mechanism by which higher-dimensional Euler dynamics can escape the regularity constraints known to hold in three dimensions. The explicit weakening of the blowup criterion with d is a noteworthy quantitative feature.

minor comments (2)
  1. The abstract states that the symmetry class is preserved, but the manuscript should include an explicit verification that the reduced vorticity equation closes under the axisymmetric swirl-free ansatz for general d (including the precise form of the Biot-Savart law in d dimensions).
  2. Notation for the velocity and vorticity components in cylindrical coordinates should be introduced with a clear table or list of definitions early in the paper to avoid ambiguity when d varies.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their summary of the manuscript and for the positive assessment of its potential significance. The observation that the conditional blowup criterion weakens with increasing dimension is indeed a central feature of the work. No specific major comments appear in the report, so we have no individual points to address. We remain available to provide additional details or clarifications that might resolve the uncertainty in the recommendation.

Circularity Check

0 steps flagged

No significant circularity; conditional mathematical proof is self-contained

full rationale

The paper establishes a conditional blowup theorem for axisymmetric swirl-free Euler solutions in d≥4. The result is explicitly conditional on an additional criterion (which weakens as d increases) and on preservation of the symmetry class, which is invariant under the flow. No fitted parameters, self-definitional quantities, or load-bearing self-citations are indicated in the abstract or claim structure. The derivation is a direct proof under stated assumptions rather than a reduction to its own inputs by construction, so the central claim retains independent mathematical content.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available, so no specific free parameters, axioms, or invented entities can be identified from the text.

pith-pipeline@v0.9.0 · 5633 in / 996 out tokens · 28070 ms · 2026-05-24T11:44:12.123125+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.

  • IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking matches
    ?
    matches

    MATCHES: this paper passage directly uses, restates, or depends on the cited Recognition theorem or module.

    the quantity omega/r^k is transported by the flow with (partial_t + u · nabla) omega/r^k =0. This immediately opens the possibility of finite-time singularity formation when d>=4, because the transported quantity omega/r^k is not necessarily bounded when k>=2.

  • IndisputableMonolith/Foundation/AlexanderDuality.lean D3_admits_circle_linking echoes
    ?
    echoes

    ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

    For d=3 ... global regularity ... When d>=4, the advected quantity omega/r^k may be singular at the z-axis even for smooth solutions

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

11 extracted references · 11 canonical work pages

  1. [1]

    J. T. Beale, T. Kato, and A. Majda, Remarks on the breakdown of smooth solutions for the 3-D Euler equations , Comm. Math. Phys. 94 (1984), no. 1, 61–66. MR763762

    work page 1984

  2. [2]

    Nauk 62 (2007), no

    Rapha¨ el Danchin, Axisymmetric incompressible flows with bounded vorticity , Uspekhi Mat. Nauk 62 (2007), no. 3(375), 73–94. MR2355419 [3] , On perfect fluids with bounded vorticity , C. R. Math. Acad. Sci. Paris 345 (2007), no. 7, 391–394. MR2361504

    work page 2007

  3. [3]

    Tarek Elgindi, Finite-time singularity formation for C 1,α solutions to the incompressible Euler equations on R3, Ann. of Math. (2) 194 (2021), no. 3, 647–727. MR4334974

    work page 2021

  4. [4]

    Sideris, and Pascal Gamblin, On the evolution of compactly supported planar vorticity , Comm

    Drago¸ s Iftimie, Thomas C. Sideris, and Pascal Gamblin, On the evolution of compactly supported planar vorticity , Comm. Partial Differential Equations 24 (1999), no. 9-10, 1709–1730. MR1708106

    work page 1999

  5. [5]

    Sympos., Dundee, 1974; de dicated to Konrad J¨ orgens), 1975, pp

    Tosio Kato, Quasi-linear equations of evolution, with applications to partial differential equations, Spectral theory and differential equations (Proc. Sympos., Dundee, 1974; de dicated to Konrad J¨ orgens), 1975, pp. 25–70. Lecture Notes in Math., Vol. 448. MR0407477

    work page 1974

  6. [6]

    Pure Appl

    Tosio Kato and Gustavo Ponce, Commutator estimates and the Euler and Navier-Stokes equat ions, Comm. Pure Appl. Math. 41 (1988), no. 7, 891–907. MR951744

    work page 1988

  7. [7]

    O. A. Ladyˇ zenskaya, Unique global solvability of the three-dimensional Cauchy problem for the Navier-Stokes equations in the presence of axial symmetry , Zap. Nauˇ cn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (L OMI) 7 (1968), 155–177. MR0241833

    work page 1968

  8. [8]

    Majda and Andrea L

    Andrew J. Majda and Andrea L. Bertozzi, Vorticity and incompressible flow , Cambridge Texts in Applied Mathematics, vol. 27, Cambridge University Press, Cambrid ge, 2002. MR1867882

    work page 2002

  9. [9]

    Evan Miller, A regularity criterion for the Navier-Stokes equation invo lving only the middle eigenvalue of the strain tensor, Arch. Ration. Mech. Anal. 235 (2020), no. 1, 99–139. MR4062474

    work page 2020

  10. [10]

    Jiˇ r ´ ı Neustupa and Patrick Penel, Regularity of a weak solution to the Navier-Stokes equation in dependence on eigenvalues and eigenvectors of the rate of deformation t ensor, Trends in partial differential equations of mathematical physics, 2005, pp. 197–212. MR2129619

    work page 2005

  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. MR0239293 52

    work page 1968