pith. machine review for the scientific record. sign in

arxiv: 2603.10945 · v2 · submitted 2026-03-11 · 🧮 math.AP

Recognition: 2 theorem links

· Lean Theorem

Incompressible Euler Blowup at the C^{1,frac{1}{3}} Threshold

Steve Shkoller
Authors on Pith no claims yet

Pith reviewed 2026-05-15 12:53 UTC · model grok-4.3

classification 🧮 math.AP
keywords incompressible Euler equationsfinite-time blowupaxisymmetric flowsHölder regularityType-I singularityLagrangian formulationstrain-pressure comparisonmeridional Jacobian
0
0 comments X

The pith

The 3D incompressible Euler equations develop a finite-time Type-I singularity from C^{1,α} initial data when α is less than 1/3.

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 no-swirl solutions to the incompressible Euler equations, with initial velocity in C^{1,α} for any α below 1/3 and with odd symmetry in the z-direction, blow up in finite time from an explicit class of finite-energy data. The singularity appears at a stagnation point on the symmetry axis, where the axial strain and the global vorticity both diverge like one over remaining time, while a Jacobian measuring meridional compression collapses at a slower rate controlled by α. The argument replaces self-similar Eulerian ansatzes with a Lagrangian decomposition that reduces the dynamics to a coupled Riccati-clock system; a direct strain-pressure comparison then shows that the pressure Hessian cannot cancel the quadratic compression once α drops below 1/3. This supplies a dynamical reason for the regularity threshold and demonstrates that the mechanism remains stable under small changes to the angular profile.

Core claim

For initial velocity in C^{1,α}(R^3) ∩ L^2(R^3) with 0 < α < 1/3, odd symmetry in z, and belonging to an explicit open class of finite-energy axisymmetric no-swirl data, the Euler equations form a Type-I singularity in finite time at a stagnation point on the z-axis; the on-axis axial strain and the L^∞ vorticity norm both diverge as (T* − t)^{−1}, while the meridional Jacobian collapses as (T* − t)^{1/(1−3α)}.

What carries the argument

A Lagrangian clock-and-strain framework that decomposes the flow map into a scalar clock ODE governing the meridional Jacobian and a Riccati ODE for the on-axis axial strain, closed by a non-perturbative comparison showing that the pressure Hessian cannot cancel the quadratic compressive strain.

Load-bearing premise

The pressure Hessian remains unable to cancel the quadratic compressive strain produced by the chosen angular profiles once α falls below 1/3.

What would settle it

A high-resolution numerical integration of the axisymmetric no-swirl Euler equations starting from one of the explicit C^{1,α} profiles that either produces or fails to produce an on-axis axial strain diverging exactly as (T* − t)^{−1}.

read the original abstract

We prove finite-time Type-I blowup for the three-dimensional incompressible Euler equations in the axisymmetric no-swirl class, with initial velocity in $C^{1,\alpha}(\mathbb{R}^3)\cap L^2(\mathbb{R}^3)$, odd symmetry in $z$, and $0<\alpha<\tfrac13$, for an explicit class of finite-energy initial data. The singularity forms at a stagnation point on the symmetry axis. The on-axis axial strain and the global vorticity norm blow up at the Type-I rates $-\partial_z u_z(0,0,t)\sim (T^*-t)^{-1}$ and $\|\omega(\cdot,t)\|_{L^\infty}\sim (T^*-t)^{-1}$, while the meridional Jacobian collapses according to $J(t)\sim (T^*-t)^{1/(1-3\alpha)}$. The proof introduces a Lagrangian clock-and-strain framework that replaces the Eulerian self-similar ansatz used in prior work with a Lagrangian flow decomposition. The collapse dynamics are governed by a Riccati law for the on-axis axial strain, coupled to a clock ODE for the meridional Jacobian. The decisive step is a non-perturbative strain-pressure comparison showing that the pressure Hessian cannot cancel the quadratic compressive strain responsible for collapse. This gives a dynamical explanation of the threshold $\alpha=\tfrac13$. The blowup mechanism is structurally stable and persists for an open set of admissible angular profiles in a weighted H\"older topology.

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

3 major / 2 minor

Summary. The manuscript establishes finite-time Type-I blowup for the three-dimensional incompressible Euler equations in the axisymmetric no-swirl class. For initial velocities belonging to an explicit class of finite-energy data in C^{1,α}(R^3) ∩ L^2(R^3) with 0 < α < 1/3 and odd symmetry in z, the solution develops a singularity at a stagnation point on the symmetry axis. The proof introduces a Lagrangian clock-and-strain framework that reduces the collapse to a Riccati ODE for the on-axis axial strain coupled to a clock ODE for the meridional Jacobian J(t). A non-perturbative strain-pressure comparison is invoked to show that the pressure Hessian cannot cancel the quadratic compressive strain, yielding the blowup rates -∂_z u_z(0,0,t) ∼ (T^*-t)^{-1}, ||ω(·,t)||_{L^∞} ∼ (T^*-t)^{-1}, and J(t) ∼ (T^*-t)^{1/(1-3α)}. The mechanism is claimed to be structurally stable for an open set of admissible angular profiles in a weighted Hölder topology.

Significance. If the central estimates and comparison hold, the result supplies a dynamical explanation of the α = 1/3 threshold for Euler blowup and the first rigorous construction of finite-time singularity formation at the C^{1,α} level with α < 1/3. The Lagrangian framework replaces self-similar ansatzes, the structural stability statement strengthens applicability, and the explicit rates together with the open-set persistence constitute a concrete advance over prior conditional or perturbative results in the axisymmetric setting.

major comments (3)
  1. [Lagrangian framework and strain-pressure comparison (around the derivation of the Riccati law)] The decisive non-perturbative strain-pressure comparison (invoked to close the Riccati ODE and explain the α = 1/3 threshold) requires an explicit quantitative bound: for the chosen class of odd-in-z angular profiles, the pressure-Hessian contribution must be shown strictly smaller than the compressive coefficient uniformly in 0 < α < 1/3, with constants independent of the profile parameters in the weighted Hölder topology. Without this bound the Riccati blowup is not guaranteed.
  2. [Initial-data section and symmetry reductions] The construction of the explicit finite-energy initial data and the verification that they remain admissible (C^{1,α} regularity, odd symmetry, no-swirl, finite L^2 norm) under the Lagrangian flow must be checked in detail; in particular, the preservation of the weighted Hölder norms for an open set of profiles needs to be established with constants that do not deteriorate as α approaches 1/3.
  3. [ODE analysis and blowup-rate derivation] The coupling constants between the Riccati ODE for the axial strain and the clock ODE for J(t) that arise from the strain-pressure comparison must be tracked explicitly to confirm both the Type-I rates and the precise Jacobian exponent 1/(1-3α).
minor comments (2)
  1. [Notation and framework introduction] Clarify the precise relation between the Lagrangian clock variable and Eulerian time t, including any reparametrization factors, at the first appearance of the clock ODE.
  2. [Figures (if present)] Ensure that any numerical illustrations of strain or Jacobian evolution include the predicted asymptotic slopes for direct visual comparison with the analytic rates.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. The suggestions help clarify the key estimates and strengthen the presentation. We address each major comment below and will incorporate the requested explicit bounds and verifications in the revised version.

read point-by-point responses

  1. Referee: [Lagrangian framework and strain-pressure comparison (around the derivation of the Riccati law)] The decisive non-perturbative strain-pressure comparison (invoked to close the Riccati ODE and explain the α = 1/3 threshold) requires an explicit quantitative bound: for the chosen class of odd-in-z angular profiles, the pressure-Hessian contribution must be shown strictly smaller than the compressive coefficient uniformly in 0 < α < 1/3, with constants independent of the profile parameters in the weighted Hölder topology. Without this bound the Riccati blowup is not guaranteed.

    Authors: We agree that an explicit quantitative bound is necessary to close the argument rigorously. In the revised manuscript we will insert a new lemma (placed immediately after the strain-pressure comparison) that states and proves the required uniform bound: the pressure-Hessian term is strictly smaller than the compressive coefficient by a positive constant depending only on α, for all profiles in an open set of the weighted Hölder topology. The proof uses the odd symmetry in z together with the explicit form of the admissible angular profiles; the constants are shown to remain bounded and positive as α → 1/3 from below. revision: yes

  2. Referee: [Initial-data section and symmetry reductions] The construction of the explicit finite-energy initial data and the verification that they remain admissible (C^{1,α} regularity, odd symmetry, no-swirl, finite L^2 norm) under the Lagrangian flow must be checked in detail; in particular, the preservation of the weighted Hölder norms for an open set of profiles needs to be established with constants that do not deteriorate as α approaches 1/3.

    Authors: Section 2 already contains the explicit construction of the finite-energy initial data satisfying the C^{1,α} regularity, odd symmetry, no-swirl condition, and L^2 integrability. We will expand this section with a new subsection that verifies preservation of the weighted Hölder norms along the Lagrangian flow for an open set of profiles. The estimates will be carried out using the explicit blowup rates derived later in the paper, and we will prove that the controlling constants remain uniform and do not blow up as α → 1/3^-. revision: yes

  3. Referee: [ODE analysis and blowup-rate derivation] The coupling constants between the Riccati ODE for the axial strain and the clock ODE for J(t) that arise from the strain-pressure comparison must be tracked explicitly to confirm both the Type-I rates and the precise Jacobian exponent 1/(1-3α).

    Authors: We will revise the ODE analysis section to display all coupling constants explicitly. Starting from the strain-pressure comparison, we will derive the precise coefficients appearing in the Riccati equation for the on-axis axial strain and in the clock equation for the meridional Jacobian J(t). This will confirm the Type-I rates −∂_z u_z(0,0,t) ∼ (T^*−t)^{−1} and ‖ω(·,t)‖_{L^∞} ∼ (T^*−t)^{−1}, together with the exact Jacobian exponent 1/(1−3α). The constants will be written as explicit functions of α and the profile parameters. revision: yes

Circularity Check

0 steps flagged

No circularity: new Lagrangian framework and direct strain-pressure comparison are independent of inputs

full rationale

The derivation introduces a Lagrangian clock-and-strain framework replacing prior Eulerian self-similar ansatz, with collapse governed by a Riccati ODE for on-axis axial strain coupled to a clock ODE for meridional Jacobian J(t). The decisive non-perturbative strain-pressure comparison is presented as a direct proof that the pressure Hessian cannot cancel the quadratic compressive strain, yielding both finite-time blowup and the dynamical explanation of the α=1/3 threshold for an open set of angular profiles. No quoted step reduces by construction to a fitted parameter, self-definition, or load-bearing self-citation chain; the comparison is invoked as an independent verification step rather than an ansatz or renaming. The claimed Type-I rates follow from this structure without circular equivalence to the initial data class.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The proof rests on the standard incompressible Euler equations, the existence of a Lagrangian flow map, and the new strain-pressure comparison; no free parameters are fitted to data and no new physical entities are postulated.

axioms (2)
  • domain assumption The three-dimensional incompressible Euler equations hold in the classical sense away from the singularity time.
    Invoked throughout the Lagrangian reformulation.
  • standard math The Lagrangian flow map exists and is sufficiently regular for the chosen initial data class.
    Required to define the clock and strain variables.
invented entities (1)
  • Lagrangian clock-and-strain framework no independent evidence
    purpose: To decompose the flow and derive the Riccati law for axial strain together with the clock ODE for meridional Jacobian collapse.
    New analytical device introduced to replace Eulerian self-similar ansatz.

pith-pipeline@v0.9.0 · 5565 in / 1594 out tokens · 63315 ms · 2026-05-15T12:53:35.542864+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.

Forward citations

Cited by 3 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Asymptotically Self-Similar Blowup for 3D Incompressible Euler with $C^{1, 1/3-}$ Velocity II: 3D Profiles, Blowup, and Limiting behavior

    math.AP 2026-05 conditional novelty 9.0

    Constructs C^{1,α} self-similar blowup profiles for 3D Euler without swirl for α<1/3 and proves asymptotically self-similar blowup with limiting factorization to a 1D profile as α approaches 1/3 from below.

  2. Asymptotically Self-Similar Blowup for 3D Incompressible Euler with $C^{1, 1/3-}$ Velocity I: $C^{\infty}$ 1D Limiting Profiles

    math.AP 2026-05 conditional novelty 7.0

    Constructs C^∞ self-similar blowup profiles for 1D models of 3D Euler at α=1/3 using fixed-point around a numerical approximation, plus nearby exact profiles for α slightly below 1/3.

  3. On the blowup rate of vorticity for the Euler equations in a bounded domain

    math.AP 2026-04 unverdicted novelty 6.0

    For first-time blowup solutions of the 3D incompressible Euler equations in a bounded domain, the L^infty norms of vorticity derivatives satisfy explicit pointwise-in-time lower bounds, and the associated Gronwall ine...

Reference graph

Works this paper leans on

26 extracted references · 26 canonical work pages · cited by 3 Pith papers

  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), 61–66

    work page 1984

  2. [2]

    Chae and P

    D. Chae and P. Constantin,On a Type I singularity condition in terms of the pressure for the Euler equations inR 3, Int. Math. Res. Not. IMRN2022(2022), no. 12, 9013–9023

    work page 2022

  3. [3]

    Chen,On the singularity formation of the 3D Euler equations withC 1,α velocity, arXiv:2309.00150 [math.AP] (2023)

    J. Chen,On the singularity formation of the 3D Euler equations withC 1,α velocity, arXiv:2309.00150 [math.AP] (2023)

    work page arXiv 2023

  4. [4]

    Chen and T

    J. Chen and T. Y. Hou,Finite Time Blowup of 2D Boussinesq and 3D Euler Equations withC 1,α Velocity and Boundary, Comm. Math. Phys.383(2021), no. 3, 1559–1667. DOI: 10.1007/s00220-021-04067-1

    work page doi:10.1007/s00220-021-04067-1 2021

  5. [5]

    Chen and T

    J. Chen and T. Y. Hou,Stable nearly self-similar blowup of the 2D Boussinesq and 3D Euler equations with smooth data I: Analysis, arXiv:2210.07191 [math.AP] (2022)

    work page arXiv 2022

  6. [6]

    Chen and T

    J. Chen and T. Y. Hou,Stable nearly self-similar blowup of the 2D Boussinesq and 3D Euler equations with smooth data II: Rigorous Numerics, arXiv:2305.05660 [math.AP] (2023)

    work page arXiv 2023

  7. [7]

    Constantin, M

    P. Constantin, M. Ignatova, and V. Vicol. On putative self-similarity for incompressible 3D Euler.arXiv preprint arXiv:2602.17570, 2026

    work page arXiv 2026

  8. [8]

    Cordoba, L

    D. Cordoba, L. Martinez-Zoroa, and C. Zheng,Finite time singularity of the 3D Euler equations forC 1,α initial data with isolated singular points, arXiv:2308.12197 [math.AP] (2023)

    work page arXiv 2023

  9. [9]

    Danchin,Axisymmetric incompressible flows with bounded vorticity, Russian Math

    R. Danchin,Axisymmetric incompressible flows with bounded vorticity, Russian Math. Surveys62(2007), no. 3, 475–496. 186

    work page 2007

  10. [10]

    Singularity formation in the incompressible Euler equation in finite and infinite time,

    T. D. Drivas and T. M. Elgindi, “Singularity formation in the incompressible Euler equation in finite and infinite time,”EMS Surveys in Mathematical Sciences, vol. 10, no. 1, pp. 1–100, 2023. DOI: 10.4171/EMSS/66

    work page doi:10.4171/emss/66 2023

  11. [11]

    T. M. 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

    work page 2021

  12. [12]

    On the stability of self-similar blow-up forC 1,α solutions to the incompressible Euler equations onR 3,

    T. M. Elgindi, T.-E. Ghoul, and N. Masmoudi, “On the stability of self-similar blow-up forC 1,α solutions to the incompressible Euler equations onR 3,”Cambridge Journal of Mathematics, vol. 9, no. 4, pp. 1035–1075, March

    work page

  13. [13]

    DOI: 10.4310/CJM.2021.v9.n4.a4

    work page doi:10.4310/cjm.2021.v9.n4.a4 2021

  14. [14]

    T. M. Elgindi and I.-J. Jeong,On the effects of advection and vortex stretching, Arch. Ration. Mech. Anal.235 (2020), 1763–1817. DOI: 10.1007/s00205-019-01455-9

    work page doi:10.1007/s00205-019-01455-9 2020

  15. [15]

    T. M. Elgindi and F. Pasqualotto,On the finite-time blowup of the 3D Euler equation with H¨ older continuous initial data, arXiv:2310.19780 [math.AP] (2023)

    work page arXiv 2023

  16. [16]

    Egamberganov and Y

    K. Egamberganov and Y. Yao,Growth estimates for axisymmetric Euler equations without swirl, arXiv:2512.13456 [math.AP] (2025)

    work page arXiv 2025

  17. [17]

    Gilbarg and N

    D. Gilbarg and N. S. Trudinger,Elliptic partial differential equations of second order, Classics in Mathematics, Springer-Verlag, Berlin, 2001

    work page 2001

  18. [18]

    Lichtenstein, ¨Uber einige Existenzprobleme der Hydrodynamik, Math

    L. Lichtenstein, ¨Uber einige Existenzprobleme der Hydrodynamik, Math. Z.23(1925), 89–154

    work page 1925

  19. [19]

    Luo and T

    G. Luo and T. Y. Hou,Potentially singular solutions of the 3D axisymmetric Euler equations, Proc. Natl. Acad. Sci. USA111(2014), no. 36, 12968–12973

    work page 2014

  20. [20]

    Majda,Vorticity and the mathematical theory of incompressible fluid flow, Comm

    A. Majda,Vorticity and the mathematical theory of incompressible fluid flow, Comm. Pure Appl. Math.39 (1986), suppl., S187–S220

    work page 1986

  21. [21]

    Saint-Raymond,Remarks on axisymmetric solutions of the incompressible Euler system, Comm

    X. Saint-Raymond,Remarks on axisymmetric solutions of the incompressible Euler system, Comm. Partial Differential Equations19(1994), no. 1-2, 321–334

    work page 1994

  22. [22]

    F. Shao, D. Wei, and Z. Zhang,Global regularity of axisymmetric Euler equations without swirl in higher dimen- sions, Acta Math. Sinica, English Series (to appear)

    work page

  23. [23]

    Shirota and T

    T. Shirota and T. Yanagisawa,Note on global existence for axially symmetric solutions of the Euler system, Proc. Japan Acad. Ser. A Math. Sci.70(1994), no. 10, 299–304

    work page 1994

  24. [24]

    E. M. Stein,Harmonic analysis: real-variable methods, orthogonality, and oscillatory integrals, Princeton Math- ematical Series, vol. 43, Princeton University Press, Princeton, NJ, 1993

    work page 1993

  25. [25]

    Tao,Elgindi’s approximation of the Biot-Savart law, What’s new (blog), December 26, 2019.https: //terrytao.wordpress.com/2019/12/26/elgindis-approximation-of-the-biot-savart-law/

    T. Tao,Elgindi’s approximation of the Biot-Savart law, What’s new (blog), December 26, 2019.https: //terrytao.wordpress.com/2019/12/26/elgindis-approximation-of-the-biot-savart-law/

    work page 2019

  26. [26]

    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. 187

    work page 1968