pith. sign in

arxiv: 2602.13963 · v2 · submitted 2026-02-15 · 🧮 math.AP

Global regularity for axisymmetric, swirl-free solutions of the Euler equation in four dimensions

Evan Miller This is my paper

Pith reviewed 2026-05-15 22:28 UTC · model grok-4.3

classification 🧮 math.AP
keywords Euler equationsglobal regularityaxisymmetric solutionsswirl-freefour dimensionsvortex stretchingLorentz space L^{2,1}fluid dynamics
0
0 comments X

The pith

All smooth axisymmetric swirl-free solutions of the four-dimensional Euler equation remain globally regular.

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

The paper establishes that any smooth axisymmetric and swirl-free initial data for the Euler equations in four dimensions generates a solution that stays smooth for all time. This removes the extra boundedness requirement on the rescaled vorticity that earlier proofs imposed, even though that requirement can fail for otherwise smooth data with decay. The argument proceeds by deriving a new estimate for the vortex stretching term that holds under the weaker condition that the rescaled vorticity lies in the Lorentz space L^{2,1}. A reader cares because the possibility of finite-time singularities for smooth solutions remains a central open question for the Euler equations in three and higher dimensions.

Core claim

We prove global regularity for all smooth, axisymmetric, swirl-free solutions of the Euler equation in four dimensions. Previous works establishing global regularity for certain axisymmetric, swirl-free solutions of the Euler equation in four dimensions required the additional assumption that ω⁰/r² ∈ L^∞, which can fail even for Schwartz class initial data. The key advance is a new bound on the vortex stretching term that only requires ω⁰/r² ∈ L^{2,1}(R^4), which is generically true for any axisymmetric, swirl-free initial data u⁰ ∈ H^s(R^4), s>4, with reasonable decay at infinity.

What carries the argument

A new bound on the vortex stretching term that holds whenever the rescaled initial vorticity ω⁰/r² belongs to the Lorentz space L^{2,1}(R^4) for axisymmetric swirl-free flows.

Load-bearing premise

The new bound on the vortex stretching term holds for all data where the rescaled vorticity lies in L^{2,1}(R^4).

What would settle it

An explicit smooth axisymmetric swirl-free initial datum in H^s for s>4 with reasonable decay whose corresponding solution blows up in finite time while satisfying the L^{2,1} condition would disprove the global regularity claim.

read the original abstract

In this paper, we prove global regularity for all smooth, axisymmetric, swirl-free solutions of the Euler equation in four dimensions. Previous works establishing global regularity for certain axisymmetric, swirl-free solutions of the Euler equation in four dimensions required the additional assumption that $\frac{\omega^0}{r^2}\in L^\infty$, which can fail even for Schwartz class initial data. The key advance is a new bound on the vortex stretching term that only requires $\frac{\omega^0}{r^2}\in L^{2,1}(\mathbb{R}^4)$, which is generically true for any axisymmetric, swirl-free initial data $u^0\in H^s\left(\mathbb{R}^4\right), s>4$, with reasonable decay at infinity.

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

1 major / 1 minor

Summary. The manuscript establishes global regularity for all smooth axisymmetric swirl-free solutions of the 4D incompressible Euler equations. It removes the restrictive L^∞ assumption on ω⁰/r² that appeared in prior works by deriving a new a priori bound on the vortex stretching term that requires only the weaker condition ω⁰/r² ∈ L^{2,1}(R^4). This Lorentz-space membership is asserted to hold generically for initial data u⁰ ∈ H^s(R^4), s > 4, with reasonable decay.

Significance. If the estimates close, the result meaningfully relaxes the hypotheses under which global regularity is known for 4D axisymmetric Euler flows without swirl. The shift from L^∞ to L^{2,1} control on the rescaled vorticity is a natural and potentially useful technical improvement, as L^{2,1} is compatible with the scaling of the Biot-Savart recovery in four dimensions and is satisfied by a larger class of smooth initial data.

major comments (1)
  1. [Section 3 (vortex-stretching estimate)] The central claim rests on the new stretching bound holding whenever ω⁰/r² ∈ L^{2,1}(R^4). In the axisymmetric swirl-free setting the velocity is recovered from vorticity by a 4D Biot-Savart operator whose kernel carries a 1/|x-y|^2 singularity modulated by the cylindrical radius r. It is not clear whether membership in L^{2,1} alone controls the weighted integrals that arise after integration by parts or after commuting derivatives past the kernel; an additional decay or angular-regularity hypothesis may be required for the a-priori estimates to close globally. This point must be verified explicitly with the precise constants and function-space embeddings used in the derivation.
minor comments (1)
  1. [Abstract] The abstract states that the L^{2,1} condition is 'generically true' for H^s data with s>4; a brief remark or reference to the embedding or density argument that justifies this would improve readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for identifying the need for more explicit verification of the key estimates. We address the major comment below and will revise the paper accordingly to include additional details on the function-space arguments.

read point-by-point responses

  1. Referee: [Section 3 (vortex-stretching estimate)] The central claim rests on the new stretching bound holding whenever ω⁰/r² ∈ L^{2,1}(R^4). In the axisymmetric swirl-free setting the velocity is recovered from vorticity by a 4D Biot-Savart operator whose kernel carries a 1/|x-y|^2 singularity modulated by the cylindrical radius r. It is not clear whether membership in L^{2,1} alone controls the weighted integrals that arise after integration by parts or after commuting derivatives past the kernel; an additional decay or angular-regularity hypothesis may be required for the a-priori estimates to close globally. This point must be verified explicitly with the precise constants and function-space embeddings used in the derivation.

    Authors: We appreciate this observation and agree that the estimates require careful justification. In the axisymmetric swirl-free setting the Biot-Savart kernel reduces, after integration against the azimuthal symmetry, to a form whose leading singularity is controlled by the 4D Hardy-Littlewood-Sobolev inequality in Lorentz spaces. The L^{2,1} membership of ω/r² directly bounds the weighted integrals that appear after integration by parts; the cylindrical weight r is absorbed into the measure without introducing extra angular derivatives because axisymmetry already eliminates angular dependence. The H^s (s>4) assumption on the initial velocity supplies the necessary decay at infinity to justify all commutators and boundary terms at spatial infinity. We will add a short appendix (or expanded subsection in Section 3) that records the precise constants, the relevant Lorentz-space embeddings, and the commutation estimates. This makes the argument fully explicit while leaving the hypotheses unchanged. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected; derivation relies on direct estimates from stated integrability

full rationale

The paper claims global regularity via a new bound on the vortex stretching term that holds whenever ω⁰/r² ∈ L^{2,1}(R^4), presented as generically true for the given initial data class without reduction to fitted quantities or self-referential definitions. No load-bearing steps are shown to collapse by construction to inputs, self-citations, or ansatzes; the argument is self-contained as a direct estimate from the Lorentz-space hypothesis.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claim rests on standard properties of the 4D Euler equations under axisymmetric swirl-free symmetry together with Sobolev embedding and interpolation inequalities that convert L^{2,1} control into bounds on the stretching term.

axioms (2)
  • standard math The Euler equations hold in the standard incompressible form in R^4
    Invoked throughout as the governing PDE.
  • domain assumption Solutions remain axisymmetric and swirl-free for all time
    The symmetry class is preserved by the flow and is used to reduce the equations.

pith-pipeline@v0.9.0 · 5420 in / 1253 out tokens · 33219 ms · 2026-05-15T22:28:27.030750+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

17 extracted references · 17 canonical work pages · 1 internal anchor

  1. [1]

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

    work page 1984

  2. [2]

    Kyudong Choi and In-Jee Jeong,On vortex stretching for anti-parallel axisymmetric flows, Amer. J. Math.147 (2025), no. 5, 1251–1284. MR4969291

    work page 2025

  3. [3]

    Kyudong Choi, In-Jee Jeong, and Deokwoo Lim,Global regularity for some axisymmetric Euler flows inR d, Proc. Amer. Math. Soc. (in press), arXiv:2212.11461, available at2212.11461

    work page arXiv

  4. [4]

    Nauk62(2007), no

    Rapha¨ el Danchin,Axisymmetric incompressible flows with bounded vorticity, Uspekhi Mat. Nauk62(2007), no. 3(375), 73–94. MR2355419

    work page 2007

  5. [5]

    Drivas and Tarek M

    Theodore D. Drivas and Tarek M. Elgindi,Singularity formation in the incompressible Euler equation in finite and infinite time, EMS Surv. Math. Sci.10(2023), no. 1, 1–100. MR4667415

    work page 2023

  6. [6]

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

    work page 2021

  7. [7]

    Stephen Gustafson, Evan Miller, and Tai-Peng Tsai,Growth Rates for Anti-Parallel Vortex Tube Euler Flows in Three and Higher Dimensions, J. Math. Fluid Mech.28(2026), no. 1, Paper No. 19. MR5024356

    work page 2026

  8. [8]

    Hou and Shumao Zhang,Potential singularity of the axisymmetric Euler equations withC α initial vorticity for a large range ofα, Multiscale Model

    Thomas Y. Hou and Shumao Zhang,Potential singularity of the axisymmetric Euler equations withC α initial vorticity for a large range ofα, Multiscale Model. Simul.22(2024), no. 4, 1326–1364. MR4805859

    work page 2024

  9. [9]

    H¨ older,¨Uber die unbeschr¨ ankte fortsetzbarkeit einer stetigen ebenen bewegung in einer unbegrenzten inkom- pressiblen fl¨ ussigkeit, Math

    E. H¨ older,¨Uber die unbeschr¨ ankte fortsetzbarkeit einer stetigen ebenen bewegung in einer unbegrenzten inkom- pressiblen fl¨ ussigkeit, Math. Z.37(1933), 727–738

    work page 1933

  10. [10]

    Sympos., Dundee, 1974; dedicated 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; dedicated to Konrad J¨ orgens), 1975, pp. 25–70. Lecture Notes in Math., Vol. 448. MR0407477

    work page 1974

  11. [11]

    Pure Appl

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

    work page 1988

  12. [12]

    Deokwoo Lim,Global regularity of some axisymmetric, single-signed vorticity in any dimension, Commun. Math. Sci.23(2025), no. 1, 279–298. MR4846708

    work page 2025

  13. [13]

    Deokwoo Lim and In-Jee Jeong,On the optimal rate of vortex stretching for axisymmetric Euler flows without swirl, Arch. Ration. Mech. Anal.249(2025), no. 3, Paper No. 32, 31. MR4903691

    work page 2025

  14. [14]

    Evan Miller,Finite-time blowup for the infinite dimensional vorticity equation, Contemp. Math. (to appear), arXiv:2508.03877, available at2508.03877

    work page internal anchor Pith review Pith/arXiv arXiv

  15. [15]

    Evan Miller and Tai-Peng Tsai,On the regularity of axisymmetric, swirl-free solutions of the Euler equation in four and higher dimensions, Rev. Mat. Iberoam. (to appear, online first). https://doi.org/10.4171/rmi/1616

    work page doi:10.4171/rmi/1616

  16. [16]

    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

    work page 1968

  17. [17]

    Wolibner,Un theor‘eme sur l’existence du mouvement plan d’un uide parfait, homog‘ene, incompressible, pendant un temps infiniment long, Math

    W. Wolibner,Un theor‘eme sur l’existence du mouvement plan d’un uide parfait, homog‘ene, incompressible, pendant un temps infiniment long, Math. Z.37(1933), 698–726. 14

    work page 1933