Recognition: no theorem link
Asymptotically Self-Similar Blowup for 3D Incompressible Euler with C^{1, 1/3-} Velocity I: C^{infty} 1D Limiting Profiles
Pith reviewed 2026-05-15 02:57 UTC · model grok-4.3
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.
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
- 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
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.
Referee Report
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)
- [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.
- [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)
- [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.
- [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
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
-
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
-
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
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
free parameters (1)
- normalization constant at α=1/3
axioms (1)
- standard math Banach fixed-point theorem applies in the chosen weighted Hölder space
Reference graph
Works this paper leans on
-
[1]
An introduction to numerical analysis
Kendall E Atkinson. An introduction to numerical analysis . John wiley & sons, 2008
work page 2008
-
[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...
work page 2025
-
[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]
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
work page 2020
-
[5]
Jiajie Chen. Singularity formation and global well-pos edness for the generalized Constantin–Lax–Majda equation with dissipation. Nonlinearity, 33(5):2502, 2020
work page 2020
-
[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
work page 2021
-
[7]
Jiajie Chen. Nearly self-similar blowup of the slightly perturbed homogeneous Landau equation with very soft potentials. arXiv preprint arXiv:2311.11511 , 2023
-
[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
work page 2023
-
[9]
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
work page 2024
-
[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
work page 2025
-
[11]
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
work page 2026
-
[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]
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]
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
work page 2021
-
[15]
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]
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
work page 2025
-
[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
work page 2021
-
[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
work page 2022
-
[19]
Smooth and stable Euler implosions
Jiajie Chen, Steve Shkoller, and Vlad Vicol. Smooth and stable Euler implosions. arXiv preprint , 2026
work page 2026
-
[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
work page 2017
-
[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
work page 2015
-
[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
work page 1985
-
[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
work page 2005
-
[24]
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]
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]
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]
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
work page 1990
-
[28]
Roland Donninger and Birgit Sch¨ orkhuber. Self-similar blowup for the cubic schr¨ odinger equation.Communications on Pure and Applied Mathematics , page e70042, 2026
work page 2026
-
[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
work page 2021
-
[30]
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]
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
work page 2019
-
[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]
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
work page 2019
-
[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]
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
work page 2024
-
[36]
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]
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
work page 2024
-
[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
work page 2025
-
[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
work page 2023
-
[40]
Vorticity and incompressible flow , volume 27
AJ Majda and AL Bertozzi. Vorticity and incompressible flow , volume 27. Cambridge University Press, 2002
work page 2002
-
[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
work page 2009
-
[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
work page 2008
-
[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
work page 2010
-
[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/
work page 1999
-
[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
work page internal anchor Pith review Pith/arXiv arXiv 2026
-
[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
work page 2023
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.