pith. machine review for the scientific record. sign in

arxiv: 2605.15149 · v1 · submitted 2026-05-14 · 🧮 math.AP

Recognition: no theorem link

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

Authors on Pith no claims yet

Pith reviewed 2026-05-15 02:57 UTC · model grok-4.3

classification 🧮 math.AP
keywords incompressible Euler equationsself-similar blowupaxisymmetric flows1D modelsfixed-point constructionvorticity regularity
0
0 comments X

The pith

For the critical case α=1/3 a C∞ self-similar blowup profile with unbounded stream function is constructed for a 1D model of 3D axisymmetric Euler.

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

The paper studies a one-parameter family of 1D models that capture the near-axis behavior of 3D axisymmetric incompressible Euler flow with C^α vorticity and no swirl. At the value α=1/3 the authors impose a normalization condition and produce a C∞ self-similar blowup profile whose 1D stream function is unbounded and whose spatial blowup rate is infinite. The construction proceeds by a fixed-point argument centered on a numerically computed approximate profile. For α slightly less than 1/3 the same profile is perturbed to obtain exact smooth profiles that instead have bounded stream function and finite blowup rate. These 1D objects are later used in a companion paper to build self-similar and asymptotically self-similar blowup solutions for the full 3D Euler system.

Core claim

At α=1/3, after imposing a normalization, there exists a C∞ self-similar blowup profile for the 1D model that possesses an unbounded 1D stream function and an infinite spatial blowup rate; the profile is obtained by a fixed-point argument around a numerically constructed approximate profile. For α<1/3 sufficiently close to 1/3, exact smooth 1D profiles with bounded stream function and finite spatial blowup rate are obtained by analytic perturbation of the α=1/3 profile.

What carries the argument

Fixed-point argument around a numerically constructed approximate profile, applied after a crucial normalization at α=1/3.

If this is right

  • Exact C∞ 1D self-similar blowup profiles exist at the critical regularity α=1/3.
  • For α slightly below 1/3 the profiles become bounded in the stream function with only finite spatial blowup rate.
  • These 1D profiles can be lifted to produce C^{1,α} self-similar blowup solutions for the 3D axisymmetric Euler equation without swirl.
  • Sharp asymptotically self-similar blowup holds for 3D axisymmetric Euler from C_c^α initial vorticity.

Where Pith is reading between the lines

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

  • The reliance on a numerical seed suggests that a fully rigorous error estimate for the approximate profile would turn the existence proof into a purely analytic statement.
  • The transition from infinite to finite blowup rate when α drops below 1/3 indicates a possible change in the leading-order singularity structure at the critical exponent.
  • If the 1D profiles survive the lifting procedure in the companion paper, they would give the first explicit examples of finite-time blowup in 3D Euler at the regularity threshold C^{1,1/3-}.

Load-bearing premise

The numerically constructed approximate profile lies sufficiently close to an exact solution that the fixed-point map is a contraction in the chosen function space.

What would settle it

An explicit bound on the approximation error of the numerical profile showing that the contraction constant exceeds one.

Figures

Figures reproduced from arXiv: 2605.15149 by Jiajie Chen.

Figure 1
Figure 1. Figure 1: Approximate Profiles for W¯ , ψ/x ˚ , ∂xψ˚ on grid points in [0, 100]. ψ˚ is the numerical evaluation of ψ˚(W¯ ) with superlinear growth. • Step 1: Update w(tn) → w(tn+1). Suppose that the coefficient ai(tn) at n-th step and at time tn for w(tn) has been obtained. To compute the forcing term F(w) for a given w in the representation (2.14) with coefficients ai , we use the formula (2.14b) and take the deriv… view at source ↗
Figure 2
Figure 2. Figure 2: Rigorous piecewise bounds over 8000 intervals covering [0, 1027]. Left: estimates relative to δF for the fixed-point map in Lemma 3.7, including linear, nonlinear, and error bounds associated with ϕ|W¯ |(BI + BII,1 + BII,3 + BII,2,III)(x), ϕ|W¯ |BN (x, δF )δF , ϕ|W¯ |δ −1 F BE (x, δF ). Right: estimate Bne(x) for contration estimate in Lemma 4.4. 4. Qualitative properties of F and a near-field contraction … view at source ↗
read the original abstract

We consider a one-parameter family of 1D models for the 3D axisymmetric incompressible Euler equation with $C^{\alpha}$ vorticity and without swirl near the symmetry axis. For $\alpha = \frac13$, we impose a crucial normalization and construct a $C^{\infty}$ self-similar blowup profile with unbounded 1D stream function and infinite spatial blowup rate, using a fixed-point argument around a numerically constructed approximate profile. For $\alpha < \frac13$ sufficiently close to $\frac13$, we perturb the $\frac13$-profile and analytically construct exact smooth 1D profiles with bounded stream function and finite spatial blowup rate. In the companion work~\cite{chen2026eulerII}, for any $\alpha \in (0,\frac13)$, we lift these 1D blowup profiles to construct exact $C^{1,\alpha}$ self-similar blowup profiles for 3D Euler, and build on them to prove sharp asymptotically self-similar blowup for 3D axisymmetric Euler without swirl from $C_c^\alpha$ initial vorticity and $C^{1,\alpha} \cap L^2$ initial velocity.

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 constructs C^∞ self-similar blowup profiles for a one-parameter family of 1D models of the 3D axisymmetric incompressible Euler equations (with C^α vorticity, no swirl). For α=1/3, a normalization is imposed and a fixed-point argument is used around a numerically generated approximate profile to obtain an exact profile with unbounded 1D stream function and infinite spatial blowup rate. For α<1/3 sufficiently close to 1/3, this profile is perturbed to produce exact smooth profiles with bounded stream function and finite blowup rate. These 1D profiles are to be lifted to 3D C^{1,α} self-similar blowup solutions in the companion paper.

Significance. If the numerical seed is shown to lie inside the contraction ball with explicit residual bounds, the result supplies the first rigorous C^∞ self-similar profiles for this 1D Euler model at the critical α=1/3, together with a stable perturbation theory for nearby α. This is a concrete step toward asymptotically self-similar blowup constructions for 3D axisymmetric Euler from C_c^α data, and the fixed-point-plus-numerical-seed technique is a strength when the error control is complete.

major comments (2)
  1. [Section 3 (fixed-point setup and numerical seed)] The fixed-point construction for α=1/3 (centered on the numerically generated approximate profile) requires an explicit bound on the residual of that profile in the chosen Banach space (presumably a weighted C^∞ or Gevrey norm) together with a verified contraction constant; without these quantities the claim that the map is contractive on a ball containing the seed remains formally incomplete.
  2. [Section 4 (perturbation from the α=1/3 profile)] The perturbation argument for α<1/3 relies on the α=1/3 profile being C^∞ and satisfying the normalization; any gap in the error control for the seed profile propagates directly into the size of the perturbation interval and the claimed finite blowup rate.
minor comments (2)
  1. [Abstract and Section 3] The abstract states that the numerical profile is 'sufficiently close' but does not record the concrete norm or the size of the residual; this datum should appear explicitly in the main text or an appendix.
  2. [Section 2 (function spaces)] Notation for the weighted norms and the precise function space in which the contraction is proved should be introduced before the fixed-point map is defined.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments. We appreciate the positive assessment of the significance of the results and address the major comments point by point below. The requested explicit error controls will be added in the revision to complete the rigor of the fixed-point and perturbation arguments.

read point-by-point responses
  1. Referee: [Section 3 (fixed-point setup and numerical seed)] The fixed-point construction for α=1/3 (centered on the numerically generated approximate profile) requires an explicit bound on the residual of that profile in the chosen Banach space (presumably a weighted C^∞ or Gevrey norm) together with a verified contraction constant; without these quantities the claim that the map is contractive on a ball containing the seed remains formally incomplete.

    Authors: We agree that the argument is formally incomplete without explicit residual bounds and a verified contraction constant. The numerical seed is generated by a high-precision spectral method in a weighted Gevrey-type space that controls all derivatives. In the revised manuscript we will add a new subsection (or appendix) that computes an explicit upper bound on the residual norm of the seed using verified numerical integration (e.g., interval arithmetic on the quadrature errors) and shows that the Lipschitz constant of the fixed-point map is strictly less than 1 inside a ball of radius comparable to this residual. This closes the contraction-mapping argument and yields the exact C^∞ profile. revision: yes

  2. Referee: [Section 4 (perturbation from the α=1/3 profile)] The perturbation argument for α<1/3 relies on the α=1/3 profile being C^∞ and satisfying the normalization; any gap in the error control for the seed profile propagates directly into the size of the perturbation interval and the claimed finite blowup rate.

    Authors: We concur that quantitative control on the base profile is indispensable for the perturbation. Once the explicit residual bound and contraction constant are established for α=1/3, we will propagate these constants through the implicit-function theorem (or contraction-mapping perturbation) used in Section 4. The revision will include explicit formulas for the admissible interval of α below 1/3, together with bounds on the stream-function norm and the spatial blow-up rate that are uniform in that interval. This makes the finite-blow-up-rate statement fully rigorous. revision: yes

Circularity Check

0 steps flagged

Fixed-point construction around numerical seed is non-circular

full rationale

The paper establishes existence of the C^∞ 1D self-similar blowup profile for α=1/3 by a fixed-point argument centered on an independently generated numerical approximate solution. This numerical seed functions as external input data rather than a fitted parameter or self-defined quantity inside the derivation; the contraction mapping then produces the exact profile without reducing any claimed result to its own inputs by construction. No load-bearing self-citation, uniqueness theorem, or ansatz smuggling occurs in the core step, and the companion citation applies only to the subsequent 3D lifting. The derivation chain is therefore self-contained against external numerical benchmarks.

Axiom & Free-Parameter Ledger

1 free parameters · 1 axioms · 0 invented entities

The central claim rests on the existence of a contraction mapping in a suitable Banach space once a sufficiently accurate numerical seed is supplied; no new physical entities are introduced.

free parameters (1)
  • normalization constant at α=1/3
    A scaling normalization is imposed to close the fixed-point argument; its specific value is chosen so that the approximate profile satisfies the required decay.
axioms (1)
  • standard math Banach fixed-point theorem applies in the chosen weighted Hölder space
    Invoked to guarantee a unique fixed point once the map is shown to be a contraction around the numerical seed.

pith-pipeline@v0.9.0 · 5528 in / 1378 out tokens · 34337 ms · 2026-05-15T02:57:11.234201+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

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

  1. [1]

    An introduction to numerical analysis

    Kendall E Atkinson. An introduction to numerical analysis . John wiley & sons, 2008

  2. [2]

    Smooth imploding solutions for 3D com- pressible fluids

    Tristan Buckmaster, Gonzalo Cao-Labora, and Javier G´ o mez-Serrano. Smooth imploding solutions for 3D com- pressible fluids. In Forum of Mathematics, Pi , volume 13, page e6. Cambridge University Press, 2025. 31https://www.dropbox.com/scl/fo/2zhepdazxil8ocab2ezv9/AHNj-IlPrVqGaZLPGqHIawY?rlkey=ea3t5cdiz5rd5stxvucyo70z1&st=0d 32Benchmark environment: All co...

  3. [3]

    Blowup for the defoc using septic complex-valued nonlinear wave equation in R4+1

    Tristan Buckmaster and Jiajie Chen. Blowup for the defoc using septic complex-valued nonlinear wave equation in R4+1. To appear in Commun. Amer. Math. Soc.; arXiv:2410.15619 , 2024

  4. [4]

    Global smooth solutions for the inviscid SQG equation

    Angel Castro, Diego C´ ordoba, and Javier G´ omez-Serrano. Global smooth solutions for the inviscid SQG equation. Mem. Amer. Math. Soc. , 266(1292):v+89, 2020

  5. [5]

    Singularity formation and global well-pos edness for the generalized Constantin–Lax–Majda equation with dissipation

    Jiajie Chen. Singularity formation and global well-pos edness for the generalized Constantin–Lax–Majda equation with dissipation. Nonlinearity, 33(5):2502, 2020

  6. [6]

    On the slightly perturbed De Gregorio model on S1

    Jiajie Chen. On the slightly perturbed De Gregorio model on S1. Arch. Ration. Mech. Anal. , 241(3):1843–1869, 2021

  7. [7]

    Nearly self-similar blowup of the slightly perturbed homogeneous Landau equation with very soft potentials.arXiv preprint arXiv:2311.11511, 2023

    Jiajie Chen. Nearly self-similar blowup of the slightly perturbed homogeneous Landau equation with very soft potentials. arXiv preprint arXiv:2311.11511 , 2023

  8. [8]

    On the regularity of the De Gregorio model fo r the 3D Euler equations

    Jiajie Chen. On the regularity of the De Gregorio model fo r the 3D Euler equations. Journal of the European Mathematical Society, 27(4):1619–1677, 2023

  9. [9]

    Remarks on the smoothness of the C 1,α asymptotically self-similar singularity in the 3D Euler an d 2D Boussinesq equations

    Jiajie Chen. Remarks on the smoothness of the C 1,α asymptotically self-similar singularity in the 3D Euler an d 2D Boussinesq equations. Nonlinearity, 37(6):065018, 2024

  10. [10]

    Vorticity blowup in Compressible Euler eq uations in Rd,d ≥ 3

    Jiajie Chen. Vorticity blowup in Compressible Euler eq uations in Rd,d ≥ 3. Annals of PDE , 11(2):21, 2025

  11. [11]

    Asymptotically self-similar blowup for 3 D incompressible Euler with C 1, 1/ 3− velocity II: 3D profiles, blowup, and Limiting behavior

    Jiajie Chen. Asymptotically self-similar blowup for 3 D incompressible Euler with C 1, 1/ 3− velocity II: 3D profiles, blowup, and Limiting behavior. preprint, 2026

  12. [12]

    Vorticity blowup in 2D compressible Euler equations

    Jiajie Chen, Giorgio Cialdea, Steve Shkoller, and Vlad Vicol. Vorticity blowup in 2D compressible Euler equations . To appear in Duke Math. J., arXiv preprint arXiv:2407.06455 , 2024

  13. [13]

    Stable nearly self-similar blowup of the 2D Boussinesq and 3D Euler equations with smooth data II: Rigorous numerics.arXiv preprint: arXiv:2305.05660

    Jiajie Chen and Thomas Y Hou. Stable nearly self-simila r blowup of the 2D Boussinesq and 3D Euler equations with smooth data II: Rigorous numerics. arXiv preprint: arXiv:2305.05660

  14. [14]

    Finite time blowup of 2D Bou ssinesq and 3D Euler equations with C 1,α velocity and boundary

    Jiajie Chen and Thomas Y Hou. Finite time blowup of 2D Bou ssinesq and 3D Euler equations with C 1,α velocity and boundary. Communications in Mathematical Physics , 383(3):1559–1667, 2021

  15. [15]

    Stable nearly self-similar blowup of the 2D Boussinesq and 3D Euler equations with smooth data I: Analysis.arXiv preprint: arXiv:2210.07191v3, 2022

    Jiajie Chen and Thomas Y Hou. Stable nearly self-simila r blowup of the 2D Boussinesq and 3D Euler equations with smooth data I: Analysis. arXiv preprint: arXiv:2210.07191v3 , 2022

  16. [16]

    Singularity formation in 3 D Euler equations with smooth initial data and boundary

    Jiajie Chen and Thomas Y Hou. Singularity formation in 3 D Euler equations with smooth initial data and boundary. Proceedings of the National Academy of Sciences , 122(27):e2500940122, 2025

  17. [17]

    On the finite time blowup of the De Gregorio model for the 3D Euler equations

    Jiajie Chen, Thomas Y Hou, and De Huang. On the finite time blowup of the De Gregorio model for the 3D Euler equations. Communications on Pure and Applied Mathematics , 74(6):1282–1350, 2021

  18. [18]

    Asymptotically self-similar blowup of the Hou–Luo model for the 3D Euler equations

    Jiajie Chen, Thomas Y Hou, and De Huang. Asymptotically self-similar blowup of the Hou–Luo model for the 3D Euler equations. Annals of PDE , 8(2):24, 2022

  19. [19]

    Smooth and stable Euler implosions

    Jiajie Chen, Steve Shkoller, and Vlad Vicol. Smooth and stable Euler implosions. arXiv preprint , 2026

  20. [20]

    On the finite-time blowup of a 1D model for the 3D axisymmetric Euler equations

    K Choi, TY Hou, A Kiselev, G Luo, V Sverak, and Y Yao. On the finite-time blowup of a 1D model for the 3D axisymmetric Euler equations. CPAM, 70(11):2218–2243, 2017

  21. [21]

    Finite time blow up for a 1D mo del of 2D Boussinesq system

    K Choi, A Kiselev, and Y Yao. Finite time blow up for a 1D mo del of 2D Boussinesq system. Comm. Math. Phys. , 334(3):1667–1679, 2015

  22. [22]

    P Constantin, P. D. Lax, and A. Majda. A simple one-dimen sional model for the three-dimensional vorticity equation. CPAM, 38(6):715–724, 1985

  23. [23]

    Formation of si ngularities for a transport equation with nonlocal velocity

    A C´ ordoba, D C´ ordoba, and MA Fontelos. Formation of si ngularities for a transport equation with nonlocal velocity. Annals of Mathematics , pages 1377–1389, 2005

  24. [24]

    Blow-up for the incompressible 3d-euler equations with uniformc1, 1 2 −ϵ ∩ l2 force.arXiv preprint arXiv:2309.08495, 2023

    Diego C´ ordoba and Luis Mart ´ ınez-Zoroa. Blow-up for the incompressible 3d-euler equations with uniform c1, 1 2 − ǫ ∩l2 force. arXiv preprint arXiv:2309.08495 , 2023

  25. [25]

    Finite time singularities to the 3D incompressible Euler equations for solutions inC 1,α ∩C ∞(R3\{0})∩L 2.arXiv preprint arXiv:2308.12197, 2023

    Diego Cordoba, Luis Martinez-Zoroa, and Fan Zheng. Fin ite time singularities to the 3D incompressible Euler equations for solutions in C 1,α ∩ C ∞ (R3\{0}) ∩ L2. arXiv preprint arXiv:2308.12197 , 2023

  26. [26]

    Self-similar singular solutions to the nonlinear Schr¨ odinger and the Comp lex Ginzburg-Landau equations

    Joel Dahne and Jordi-Llu ´ ıs Figueras. Self-similar singular solutions to the nonlinear Schr¨ odinger and the Comp lex Ginzburg-Landau equations. arXiv preprint arXiv:2410.05480 , 2024

  27. [27]

    On a one-dimensional model for the three- dimensional vorticity equation

    S De Gregorio. On a one-dimensional model for the three- dimensional vorticity equation. Journal of Statistical Physics, 59(5-6):1251–1263, 1990

  28. [28]

    Self-similar blowup for the cubic schr¨ odinger equation.Communications on Pure and Applied Mathematics , page e70042, 2026

    Roland Donninger and Birgit Sch¨ orkhuber. Self-similar blowup for the cubic schr¨ odinger equation.Communications on Pure and Applied Mathematics , page e70042, 2026

  29. [29]

    Finite-time singularity formation fo rC 1,α solutions to the incompressible Euler equations on R3

    Tarek M Elgindi. Finite-time singularity formation fo rC 1,α solutions to the incompressible Euler equations on R3. Annals of Mathematics , 194(3):647–727, 2021

  30. [30]

    On the stability of self-similar blow-up forC 1,α solutions to the incompressible Euler equations onR 3.arXiv preprint arXiv:1910.14071, 2019

    Tarek M Elgindi, Tej-Eddine Ghoul, and Nader Masmoudi. On the stability of self-similar blow-up for C 1,α solutions to the incompressible Euler equations on R3. arXiv preprint arXiv:1910.14071 , 2019

  31. [31]

    Elgindi and In-Jee Jeong

    Tarek M. Elgindi and In-Jee Jeong. On the effects of advec tion and vortex stretching. Archive for Rational Me- chanics and Analysis , Oct 2019

  32. [32]

    From instability to singularity formation in incompressible fluids

    Tarek M Elgindi and Federico Pasqualotto. From instabi lity to singularity formation in incompressible fluids. arXiv preprint arXiv:2310.19780 , 2023

  33. [33]

    Computer-assisted proofs in p de: a survey

    Javier G´ omez-Serrano. Computer-assisted proofs in p de: a survey. SeMA Journal , 76(3):459–484, 2019. 92 JIAJIE CHEN

  34. [34]

    Nonuniquene ss of leray-hopf solutions to the unforced incom- pressible 3d navier-stokes equation

    Thomas Hou, Yixuan Wang, and Changhe Yang. Nonuniquene ss of leray-hopf solutions to the unforced incom- pressible 3d navier-stokes equation. arXiv preprint arXiv:2509.25116 , 2025

  35. [35]

    Potential singularity of the axisymmetric euler equations with initial vorticity for a large range of α

    Thomas Y Hou and Shumao Zhang. Potential singularity of the axisymmetric euler equations with initial vorticity for a large range of α . Multiscale Modeling & Simulation , 22(4):1326–1364, 2024

  36. [36]

    Multi-scale self -similar finite-time blowups of the Constantin-Lax-Majda model for the 3D Euler equations

    De Huang, Xiang Qin, and Xiuyuan Wang. Multi-scale self -similar finite-time blowups of the Constantin-Lax-Majda model for the 3D Euler equations. arXiv preprint arXiv:2401.14615 , 2024

  37. [37]

    Self- similar finite-time blowups with smooth profiles of the generalized constantin–lax–majda model

    De Huang, Xiang Qin, Xiuyuan Wang, and Dongyi Wei. Self- similar finite-time blowups with smooth profiles of the generalized constantin–lax–majda model. Archive for Rational Mechanics and Analysis , 248(2):22, 2024

  38. [38]

    Exact self-similar finite-time blowup of the hou–luo model with smooth profiles

    De Huang, Xiang Qin, Xiuyuan Wang, and Dongyi Wei. Exact self-similar finite-time blowup of the hou–luo model with smooth profiles. Communications in Mathematical Physics , 406(10):243, 2025

  39. [39]

    On self-similar fi nite-time blowups of the De Gregorio model on the real line

    De Huang, Jiajun Tong, and Dongyi Wei. On self-similar fi nite-time blowups of the De Gregorio model on the real line. Communications in Mathematical Physics , 402(3):2791–2829, 2023

  40. [40]

    Vorticity and incompressible flow , volume 27

    AJ Majda and AL Bertozzi. Vorticity and incompressible flow , volume 27. Cambridge University Press, 2002

  41. [41]

    Introduction to interval analysis , volume 110

    Ramon E Moore, R Baker Kearfott, and Michael J Cloud. Introduction to interval analysis , volume 110. Siam, 2009

  42. [42]

    On a generalization of the Constantin–Lax–Majda equation

    H Okamoto, T Sakajo, and M Wunsch. On a generalization of the Constantin–Lax–Majda equation. Nonlinearity, 21(10):2447–2461, 2008

  43. [43]

    Verification methods: Rigorous resul ts using floating-point arithmetic

    Siegfried M Rump. Verification methods: Rigorous resul ts using floating-point arithmetic. Acta Numerica, 19:287– 449, 2010

  44. [44]

    S.M. Rump. INTLAB - INTerval LABoratory. In Tibor Csend es, editor, Developments in Reliable Computing , pages 77–104. Kluwer Academic Publishers, Dordrecht, 1999 . http://www.ti3.tuhh.de/rump/

  45. [45]

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

    Steve Shkoller. Incompressible Euler blowup at the C 1, 1 3 threshold. arXiv preprint arXiv:2603.10945 , 2026

  46. [46]

    Exactly self-similar blow-up of the general ized de gregorio equation

    Fan Zheng. Exactly self-similar blow-up of the general ized de gregorio equation. Nonlinearity, 36(10):5252–5264, 2023. Department of Mathematics, University of Chicago, Chicago , IL 60637. Email address : jiajiechen@uchicago.edu