Proved
Smooth-data blowup with a boundary (Chen & Hou 2022) ↗
Only the exact statement and passage cited here; not an independent OpenMath assessment.
Observed Oct 21, 2026
Theorem · version 1
Smooth-data blowup with a boundary
Statement
For smooth initial data in an axially periodic cylinder with an impermeable wall, the three-dimensional incompressible Euler equations form a singularity in finite time.
Assumptions
- Three-dimensional incompressible Euler equations.
- Reported in the 2026 manuscript’s historical context.
Scope
A bounded domain with a wall, proved with analysis and rigorous numerics; not compactly supported data in all of ℝ³.
Evidence
Source reports
Connections
In this problem · publication v9
Three-dimensional Euler regularity →
Related result · Proved
A proved singularity in a nearby setting; the smooth unforced ℝ³ question differs.
Relationship not independently reviewed. This concerns its use in this problem.
Sources
Finite Time Blowup for the Euler Equation →
- §1.1, Historical context; references [6], [7], [10], [15] → · Original passage ↗
Recorded wording
Elgindi (Annals 2021) proved finite-time blowup on ℝ³ for C^{1,α} axisymmetric velocities without swirl, for small α > 0. Córdoba and Martínez-Zoroa (2023) constructed finite-energy forced Euler solutions on ℝ³ that blow up. For smooth initial data, Chen and Hou (2022; rigorous numerics 2025) proved blowup in an axially periodic cylinder with an impermeable wall.
paraphrase · OpenMath supplies its own mathematical paraphrases and links; proof text is not republished.
OpenAI · Preprint · Publication date Sep 8, 2026
Revision & attribution
Source revision: 2026-09-08. Observed Oct 13, 2026.
OpenAI attributes the argument to its internal research model. Bibliographic authorship is printed as OpenAI; individual human preparation and checking roles are not inferred.
History
Statement versions
Statement versions and problem publication versions are separate. A new publication can update context or sources while retaining the same statement.
Assessment history · 1
Assessments retained in these publication records. Earlier statement versions retain their own source histories.
Proved
Smooth-data blowup with a boundary (Chen & Hou 2022) ↗
Only the exact statement and passage cited here; not an independent OpenMath assessment.
Observed Oct 21, 2026 · Source passage →
Record details
- Claim ID
- claim-euler-chen-hou-boundary
- Statement version
- 1
- SHA-256
- 608ec99565a3193655889608f9c13f12b2266ab541e2f8249e6cf805003fc27a