computer-assisted proofs 1Euler equations 1fluid dynamics 1singularities 1weighted energy estimates 1
From the 1 of 2 linked papers with an AI index.
2 papers
math.AP2026
A clarification on the distinction between nonlocal error and profile residual error in a computer-assisted proof of 3D Euler singularity
Jiajie Chen, Thomas Y. Hou
In \cite{zhang2025dimension}, the author discusses the applicability of a nonexistence result for self-similar profiles to the Hou--Luo scenario and raises questions about the appr…
math.AP2026
Analytic finite-rank corrections for singularly weighted estimates in a computer-assisted proof of 3D Euler singularity
Jiajie Chen, Thomas Y. Hou
The paper presents an analytic low‑rank correction technique that enforces required vanishing conditions in singularly weighted energy estimates used in computer‑assisted proofs of…