Recognition: 2 theorem links
· Lean TheoremAsymptotically Self-Similar Blowup for 3D Incompressible Euler with C^{1, 1/3-} Velocity II: 3D Profiles, Blowup, and Limiting behavior
Pith reviewed 2026-05-15 03:07 UTC · model grok-4.3
The pith
The 3D incompressible Euler equations without swirl admit exact C^{1,α} self-similar blowup profiles for every α below 1/3, which are reached asymptotically from C_c^α initial vorticity.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For any α ∈ (0, 1/3), exact C^{1,α} self-similar blowup profiles exist for the 3D incompressible Euler equation without swirl. These profiles are obtained by lifting C^∞ blowup profiles of a 1D model via a fixed-point argument. The associated solutions exhibit asymptotically self-similar blowup when started from C_c^α initial vorticity and C^{1,α} ∩ L² initial velocity. As α → (1/3)^− the spatial blowup rate diverges to infinity while the profile converges in a weighted L^∞ norm to a nonzero multiple of r^{1/3} W̄_{1/3}(z).
What carries the argument
Anisotropic weighted estimates combined with an integration-by-parts identity along particle trajectories that applies the Euler equation twice to handle the missing radial decay.
Load-bearing premise
The fixed-point map defined from the one-dimensional approximate profile is a contraction in the anisotropic weighted space, and the finite-codimension stability argument holds in the low-regularity C^{1,α} topology.
What would settle it
A numerical simulation initialized exactly on one of the constructed profiles that remains globally smooth past the predicted finite blowup time.
Figures
read the original abstract
For any $\alpha \in (0, 1/3)$, we construct exact $C^{1,\alpha}$ self-similar blowup profiles for the 3D incompressible Euler equation without swirl, and build on them to prove asymptotically self-similar blowup from $C_c^\alpha$ initial vorticity and $C^{1,\alpha}\cap L^2$ initial velocity. Moreover, we provide a complete characterization of the limiting behavior of the $C^{1,\alpha}$ blowup profiles and the associated $C^{1,\alpha}$ blowup solutions as $\alpha\to(1/3)^-$. Specifically, as $\alpha \to(1/3)^-$, the spatial blowup rate $c_{x,\alpha}$ diverges to $\infty$, while the $C^{1,\alpha}$ blowup profile $\Omega_{*,\alpha}^{\theta}$ asymptotically factorizes and converges strongly in a weighted $L^\infty$ norm to a nonzero constant multiple of $r^{1/3} \bar W_{1/3 }(z)$, where $ \bar W_{1/3}$ is a $C^\infty$ 1D blowup profile. Our construction is inspired by the Hou--Zhang blowup scenario. Using a fixed-point argument, we lift the $C^\infty$ blowup profiles for a 1D model constructed in the companion work [11] to exact 3D blowup profiles. To overcome the lack of $r$-directional decay in the approximate profile and capture the anisotropic structure, we develop a family of anisotropic weighted estimates and introduce a crucial integration-by-parts method along trajectories that exploits the equation twice. We then develop a finite codimension stability argument in a low-regularity setting to prove stability of the 3D profiles and establish asymptotically self-similar blowup. This blowup result is sharp in view of the global regularity theory for axisymmetric Euler without swirl with $C^{1,1/3+}\cap L^2$ initial velocity. To the best of our knowledge, our results provide the first example in which a singularity from a 1D nonlocal fluid model is lifted to construct blowup for incompressible fluid equations in $\mathbb{R}^2$ or $\mathbb{R}^3$.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper constructs, for every α ∈ (0, 1/3), exact C^{1,α} self-similar blowup profiles for the 3D axisymmetric incompressible Euler equations without swirl by lifting C^∞ 1D profiles from the companion paper [11] via a fixed-point map in an anisotropic weighted space. It then proves that these profiles are stable in a finite-codimension sense, yielding asymptotically self-similar blowup from C_c^α initial vorticity and C^{1,α} ∩ L^2 initial velocity. The authors also characterize the limiting behavior: as α → (1/3)^− the spatial blowup rate c_{x,α} diverges while the profile Ω_{*,α}^θ converges strongly in a weighted L^∞ norm to a nonzero multiple of r^{1/3} W̄_{1/3}(z). The construction relies on new anisotropic weighted estimates and an integration-by-parts identity along particle trajectories that exploits the Euler equation twice.
Significance. If the fixed-point contraction and stability arguments close, the work supplies the first explicit lifting of a 1D nonlocal singularity to a 3D incompressible Euler blowup, which is of substantial interest given the global regularity theorems available for C^{1,1/3+} data. The technical innovations—anisotropic weights that compensate for the missing r-decay and the double exploitation of the Euler equation in the integration-by-parts step—are likely to be reusable in related problems. The sharp limiting statement as α approaches the critical exponent 1/3 also clarifies the borderline between blowup and regularity.
major comments (2)
- [§3] §3 (Fixed-point construction): The contraction mapping argument for the lifting map is load-bearing. The anisotropic weights are asserted to control the r-nonlocal Biot-Savart contributions, yet the 1D approximate profile has no r-decay; an explicit bound showing that the size of the 1D approximation error is strictly smaller than the reciprocal of the Lipschitz constant of the nonlocal operator in the C^{1,α} topology (uniformly down to α near 1/3) is required. Without this quantitative estimate the contraction constant may exceed 1.
- [§4] §4 (Stability analysis): The finite-codimension stability in the low-regularity C^{1,α} topology rests on the integration-by-parts identity that exploits the Euler equation twice. A detailed verification that this identity closes the estimates for the axisymmetric Biot-Savart operator (including control of the error terms generated by the lack of r-decay) must be supplied; the current outline leaves open whether the resulting constants remain bounded as α → (1/3)^−.
minor comments (2)
- [Introduction] The dependence on the companion paper [11] for the 1D profiles should be stated more explicitly in the introduction and in the statement of the main theorems, including which properties of the 1D profiles are used verbatim.
- [Preliminaries] Notation for the weighted spaces and the precise form of the anisotropic weights should be collected in a single preliminary section rather than introduced piecemeal.
Simulated Author's Rebuttal
We thank the referee for the careful reading of our manuscript and the constructive comments on the fixed-point construction and stability analysis. We address each point below and have revised the manuscript to incorporate the requested quantitative estimates and detailed verifications.
read point-by-point responses
-
Referee: [§3] §3 (Fixed-point construction): The contraction mapping argument for the lifting map is load-bearing. The anisotropic weights are asserted to control the r-nonlocal Biot-Savart contributions, yet the 1D approximate profile has no r-decay; an explicit bound showing that the size of the 1D approximation error is strictly smaller than the reciprocal of the Lipschitz constant of the nonlocal operator in the C^{1,α} topology (uniformly down to α near 1/3) is required. Without this quantitative estimate the contraction constant may exceed 1.
Authors: We agree that an explicit quantitative bound is required to rigorously close the contraction. In the revised manuscript we have added Lemma 3.7, which derives an explicit upper bound on the C^{1,α} norm of the 1D approximation error. The bound is O(1-3α) and is shown to be strictly smaller than the reciprocal of the Lipschitz constant of the axisymmetric Biot-Savart operator in the same topology, uniformly for all α ∈ (0,1/3). The proof uses the anisotropic weighted estimates already developed in §3 together with the specific decay properties of the 1D profile from the companion paper. revision: yes
-
Referee: [§4] §4 (Stability analysis): The finite-codimension stability in the low-regularity C^{1,α} topology rests on the integration-by-parts identity that exploits the Euler equation twice. A detailed verification that this identity closes the estimates for the axisymmetric Biot-Savart operator (including control of the error terms generated by the lack of r-decay) must be supplied; the current outline leaves open whether the resulting constants remain bounded as α → (1/3)^−.
Authors: We thank the referee for this observation. The revised Section 4 now contains a complete, self-contained verification of the integration-by-parts identity. We explicitly compute every error term arising from the axisymmetric Biot-Savart operator and from the absence of r-decay, showing that the double exploitation of the Euler equation cancels the leading singular contributions. The resulting constants are tracked explicitly in α and remain bounded as α → (1/3)^− because the anisotropic weights are chosen precisely to absorb the r-non-decay uniformly in this limit. revision: yes
Circularity Check
Minor self-citation to companion 1D profiles; 3D lifting and stability arguments remain independent
specific steps
-
self citation load bearing
[Abstract]
"Using a fixed-point argument, we lift the C^∞ blowup profiles for a 1D model constructed in the companion work [11] to exact 3D blowup profiles."
The central existence claim for the 3D profiles is conditioned on the prior construction of the 1D profiles in [11] (same-author companion). While the lifting map itself is new, the overall result inherits its starting point from the self-citation, satisfying the definition of a load-bearing self-citation even though the subsequent analytic steps are independent.
full rationale
The derivation chain begins with 1D C^∞ profiles imported from companion paper [11] and then applies a fixed-point map in anisotropic weighted spaces plus finite-codimension stability to produce the 3D C^{1,α} profiles. The fixed-point contraction and integration-by-parts identities along trajectories are developed and verified inside the present manuscript; they do not reduce by definition or algebraic identity to the imported 1D data. The self-citation therefore supplies an external base case rather than a load-bearing tautology, keeping overall circularity low.
Axiom & Free-Parameter Ledger
axioms (3)
- domain assumption The 1D blowup profiles constructed in the companion paper [11] are C^∞ and satisfy the required decay and symmetry properties
- domain assumption The fixed-point operator is a contraction in the chosen family of anisotropic weighted spaces
- domain assumption The finite-codimension stability argument holds in the low-regularity C^{1,α} topology
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
global regularity theory for axisymmetric Euler without swirl with C^{1,1/3+}∩L² initial velocity
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
-
[1]
Jacob Bedrossian, Jiajie Chen, Maria Pia Gualdani, Sehyun Ji, Vlad Vicol, and Jincheng Yang. Finite time singularities in the Landau equation with very hard potentials.arXiv preprint arXiv:2602.05981, 2026
-
[2]
Smooth imploding solutions for 3D com- pressible fluids
Tristan Buckmaster, Gonzalo Cao-Labora, and Javier G´ omez-Serrano. Smooth imploding solutions for 3D com- pressible fluids. InForum of Mathematics, Pi, volume 13, page e6. Cambridge University Press, 2025
work page 2025
-
[3]
American Mathematical Soc., 2018
Theo B¨ uhler and Dietmar A Salamon.Functional analysis, volume 191. American Mathematical Soc., 2018
work page 2018
- [4]
-
[5]
Jiajie Chen. Singularity formation and global well-posedness 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 onS 1.Arch
Jiajie Chen. On the slightly perturbed De Gregorio model onS 1.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]
Jiajie Chen. On the regularity of the De Gregorio model for 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 theC 1,α asymptotically self-similar singularity in the 3D Euler and 2D Boussinesq equations.Nonlinearity, 37(6):065018, 2024
work page 2024
-
[10]
Vorticity blowup in Compressible Euler equations inR d, d≥3.Annals of PDE, 11(2):21, 2025
Jiajie Chen. Vorticity blowup in Compressible Euler equations inR d, d≥3.Annals of PDE, 11(2):21, 2025
work page 2025
-
[11]
Jiajie Chen. Asymptotically self-similar blowup for 3D incompressible Euler withC 1,1/3− velocity I:C ∞ 1D limiting profiles.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-similar blowup of the 2D Boussinesq and 3D Euler equations with smooth data II: Rigorous numerics.arXiv preprint: arXiv:2305.05660. 3D PROFILES, BLOWUP, AND LIMITING BEHAVIOR 131
-
[14]
Jiajie Chen and Thomas Y Hou. Finite time blowup of 2D Boussinesq and 3D Euler equations withC 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-similar blowup of the 2D Boussinesq and 3D Euler equations with smooth data I: Analysis.arXiv preprint: arXiv:2210.07191v3, 2022
-
[16]
Jiajie Chen and Thomas Y Hou. Singularity formation in 3D Euler equations with smooth initial data and boundary.Proceedings of the National Academy of Sciences, 122(27):e2500940122, 2025
work page 2025
-
[17]
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]
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.arXiv preprint, 2026
Jiajie Chen, Steve Shkoller, and Vlad Vicol. Smooth and stable Euler implosions.arXiv preprint, 2026
work page 2026
-
[20]
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 model of 2D Boussinesq system.Comm
K Choi, A Kiselev, and Y Yao. Finite time blow up for a 1D model of 2D Boussinesq system.Comm. Math. Phys., 334(3):1667–1679, 2015
work page 2015
-
[22]
P Constantin. On the Euler equations of incompressible fluids.Bulletin of the American Mathematical Society, 44(4):603–621, 2007
work page 2007
-
[23]
P Constantin, P. D. Lax, and A. Majda. A simple one-dimensional model for the three-dimensional vorticity equation.CPAM, 38(6):715–724, 1985
work page 1985
-
[24]
A C´ ordoba, D C´ ordoba, and MA Fontelos. Formation of singularities for a transport equation with nonlocal velocity.Annals of Mathematics, pages 1377–1389, 2005
work page 2005
-
[25]
Diego C´ ordoba, Andr´ es La´ ın-Sanclemente, and Luis Mart´ ınez-Zoroa. Finite-time singularity via multi-layer de- generate pendula for the 2D Boussinesq equation with uniformC 1, √ 4/3−1−ϵ ∩L2 force.Advances in Mathematics, 480:110480, 2025
work page 2025
-
[26]
Diego C´ ordoba and Luis Mart´ ınez-Zoroa. Blow-up for the incompressible 3d-euler equations with uniformc1, 1 2 −ϵ ∩ l2 force.arXiv preprint arXiv:2309.08495, 2023
-
[27]
Diego C´ ordoba and Luis Mart´ ınez-Zoroa. Finite time singularities of smooth solutions for the 2D incompressible porous media (ipm) equation with a smooth source.arXiv preprint arXiv:2410.22920, 2024
-
[28]
Diego Cordoba, Luis Martinez-Zoroa, and Fan Zheng. Finite time singularities to the 3D incompressible Euler equations for solutions inC 1,α ∩C ∞(R3\{0})∩L 2.arXiv preprint arXiv:2308.12197, 2023
-
[29]
Raphael Danchin. Axisymmetric incompressible flows with bounded vorticity.Russian Mathematical Surveys, 62(3):475–496, 2007
work page 2007
-
[30]
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
-
[31]
Theodore D Drivas and Tarek M Elgindi. Singlarity formation in the incompressible Euler equation in finite and infinite time.arXiv:2203.17221v1, 2022
-
[32]
Tarek M Elgindi. Finite-time singularity formation forC 1,α solutions to the incompressible Euler equations on R3.Annals of Mathematics, 194(3):647–727, 2021
work page 2021
-
[33]
Tarek M Elgindi, Tej-Eddine Ghoul, and Nader Masmoudi. On the stability of self-similar blow-up forC 1,α solutions to the incompressible Euler equations onR 3.arXiv preprint arXiv:1910.14071, 2019
-
[34]
Tarek M Elgindi and In-Jee Jeong. Finite-time singularity formation for strong solutions to the axi-symmetric 3D Euler equations.Annals of PDE, 5(2):1–51, 2019
work page 2019
-
[35]
Tarek M. Elgindi and In-Jee Jeong. On the effects of advection and vortex stretching.Archive for Rational Mechanics and Analysis, Oct 2019
work page 2019
-
[36]
Finite-time singularity formation for strong solutions to the Boussinesq system
Tarek M Elgindi and In-Jee Jeong. Finite-time singularity formation for strong solutions to the Boussinesq system. Annals of PDE, 6:1–50, 2020
work page 2020
-
[37]
From instability to singularity formation in incompressible fluids
Tarek M Elgindi and Federico Pasqualotto. From instability to singularity formation in incompressible fluids. arXiv preprint arXiv:2310.19780, 2023
-
[38]
Springer-Verlag, New York, 2000
Klaus-Jochen Engel and Rainer Nagel.One-parameter semigroups for linear evolution equations, volume 194 of Graduate Texts in Mathematics. Springer-Verlag, New York, 2000. With contributions by S. Brendle, M. Campiti, T. Hahn, G. Metafune, G. Nickel, D. Pallara, C. Perazzoli, A. Rhandi, S. Romanelli and R. Schnaubelt
work page 2000
-
[39]
David Gilbarg, Neil S Trudinger, David Gilbarg, and NS Trudinger.Elliptic partial differential equations of second order, volume 2. Springer, 1998
work page 1998
-
[40]
Israel Gohberg, Seymour Goldberg, and Marinus A Kaashoek.Classes of Linear Operators Vol. I. Operator Theory: Advances and Applications. Birkh¨ auser Basel, 1 edition, 2013
work page 2013
-
[41]
R Grauer and TC Sideris. Numerical computation of 3D incompressible ideal fluids with swirl.Physical Review Letters, 67(25):3511, 1991
work page 1991
-
[42]
Thomas Y Hou and De Huang. A potential two-scale traveling wave singularity for 3D incompressible Euler equations.Physica D: Nonlinear Phenomena, page 133257, 2022. 132 JIAJIE CHEN
work page 2022
-
[43]
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
-
[44]
TY Hou. Blow-up or no blow-up? a unified computational and analytic approach to 3D incompressible Euler and Navier-Stokes equations.Acta Numerica, 18(1):277–346, 2009
work page 2009
-
[45]
TY Hou and Z Lei. On the stabilizing effect of convection in three-dimensional incompressible flows.Communi- cations on Pure and Applied Mathematics, 62(4):501–564, 2009
work page 2009
-
[46]
Dynamic stability of the three-dimensional axisymmetric Navier-Stokes equations with swirl
TY Hou and C Li. Dynamic stability of the three-dimensional axisymmetric Navier-Stokes equations with swirl. Communications on Pure and Applied Mathematics, 61(5):661–697, 2008
work page 2008
-
[47]
TY Hou and R Li. Dynamic depletion of vortex stretching and non-blowup of the 3D incompressible Euler equations.Journal of Nonlinear Science, 16(6):639–664, 2006
work page 2006
-
[48]
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
-
[49]
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
-
[50]
RM Kerr. Evidence for a singularity of the three-dimensional, incompressible Euler equations.Physics of Fluids A: Fluid Dynamics, 5(7):1725–1746, 1993
work page 1993
-
[51]
Small scale creation for solutions of the incompressible two dimensional Euler equation
A Kiselev and V Sverak. Small scale creation for solutions of the incompressible two dimensional Euler equation. Annals of Mathematics, 180:1205–1220, 2014
work page 2014
-
[52]
G Luo and TY Hou. Toward the finite-time blowup of the 3D incompressible Euler equations: a numerical investigation.SIAM Multiscale Modeling and Simulation, 12(4):1722–1776, 2014
work page 2014
-
[53]
Cambridge University Press, 2002
AJ Majda and AL Bertozzi.Vorticity and incompressible flow, volume 27. Cambridge University Press, 2002
work page 2002
-
[54]
On the implosion of a compressible fluid II: singularity formation.Ann
Frank Merle, Pierre Rapha¨ el, Igor Rodnianski, and Jeremie Szeftel. On the implosion of a compressible fluid II: singularity formation.Ann. of Math. (2), 196(2):779–889, 2022
work page 2022
-
[55]
On a generalization of the Constantin–Lax–Majda equation.Nonlinearity, 21(10):2447–2461, 2008
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
-
[56]
A Pumir and ED Siggia. Development of singular solutions to the axisymmetric Euler equations.Physics of Fluids A: Fluid Dynamics (1989-1993), 4(7):1472–1491, 1992
work page 1989
-
[57]
X Saint Raymond. Remarks on axisymmetric solutions of the incompressible euler system.Communications in partial differential equations, 19(1-2):321–334, 1994
work page 1994
-
[58]
Incompressible Euler Blowup at the $C^{1,\frac{1}{3}}$ Threshold
Steve Shkoller. Incompressible Euler blowup at theC 1, 1 3 threshold.arXiv preprint arXiv:2603.10945, 2026
work page internal anchor Pith review Pith/arXiv arXiv 2026
-
[59]
American Mathematical Soc., 2012
Gerald Teschl.Ordinary differential equations and dynamical systems, volume 140. American Mathematical Soc., 2012
work page 2012
-
[60]
Y. Wang, C.-Y. Lai, J. G´ omez-Serrano, and T. Buckmaster. Asymptotic self-similar blow-up profile for three- dimensional axisymmetric euler equations using neural networks.Physical Review Letters, 130(24):244002, 2023
work page 2023
-
[61]
Discovery of unstable singularities.arXiv preprint arXiv:2509.14185, 2025
Yongji Wang, Mehdi Bennani, James Martens, S´ ebastien Racani` ere, Sam Blackwell, Alex Matthews, Stanislav Nikolov, Gonzalo Cao-Labora, Daniel S Park, Martin Arjovsky, et al. Discovery of unstable singularities.arXiv preprint arXiv:2509.14185, 2025. Department of Mathematics, University of Chicago, Chicago, IL 60637. Email address:jiajiechen@uchicago.edu
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.