MétaCan
Menu
Back to cohort
Record W4312225573 · doi:10.48550/arxiv.2212.12608

Systematic search for singularities in 3D Euler flows

2022· preprint· en· W4312225573 on OpenAlexaff
Xinyu Zhao, Bartosz Protas

Bibliographic record

VenuearXiv (Cornell University) · 2022
Typepreprint
Languageen
FieldMathematics
TopicNavier-Stokes equation solutions
Canadian institutionsMcMaster University
Fundersnot available
KeywordsMathematicsInviscid flowSingularityNorm (philosophy)Sobolev spaceEuler equationsEuler's formulaGravitational singularityMathematical analysisOptimization problemBounded functionEuler systemVector fieldApplied mathematicsMathematical optimizationGeometryPhysicsClassical mechanics

Abstract

fetched live from OpenAlex

We consider the question whether starting from a smooth initial condition 3D inviscid Euler flows on a periodic domain $\mathbb{T}^3$ may develop singularities in a finite time. Our point of departure is the well-known result by Kato (1972), which asserts the local existence of classical solutions to the Euler system in the Sobolev space $H^m(\mathbb{T}^3)$ for $m > 5/2$. Thus, potential formation of a singularity must be accompanied by an unbounded growth of the $H^m$ norm of the velocity field as the singularity time is approached. We perform a systematic search for "extreme" Euler flows that may realize such a scenario by formulating and solving a PDE-constrained optimization problem where the $H^3$ norm of the solution at a certain fixed time $T > 0$ is maximized with respect to the initial data subject to suitable normalization constraints. This problem is solved using a state-of-the-art Riemannian conjugate gradient method where the gradient is obtained from solutions of an adjoint system. Computations performed with increasing numerical resolutions demonstrate that, as asserted by the theorem of Kato (1972), when the optimization time window $[0, T]$ is sufficiently short, the $H^3$ norm remains bounded in the extreme flows found by solving the optimization problem, which indicates that the Euler system is well-posed on this "short" time interval. On the other hand, when the window $[0, T]$ is long, possibly longer than the time of the local existence asserted by Kato's theorem, then the $H^3$ norm of the extreme flows diverges upon resolution refinement, which indicates a possible singularity formulation on this "long" time interval. The extreme flow obtained on the long time window has the form of two colliding vortex rings and is characterized by certain symmetries. In particular, the region of the flow in which a singularity might occur is nearly axisymmetric.

Fetched live from OpenAlex and de-inverted. Abstracts are not stored in this database: the inverted indexes are 8.6 GB of the frame’s 9.3 GB of text, and the host has 13 GB free.

How this classification was reachedexpand

Full frame distilled prediction

Teacher imitation

Not calibrated prevalence, not ground truth. Human validation pending. Learned from the 10,348 direct Codex labels and 10,348 direct Gemma labels. Candidate is the union of thresholded teacher heads; consensus is their intersection. These outputs are machine_predicted_unvalidated and are not human labels or direct frontier model labels.

metaresearch head score (Codex)0.001
metaresearch head score (Gemma)0.001
Version: codex-gemma-dda1882f352aValidation status: machine_predicted_unvalidated
Candidate categoriesMeta-epidemiology (narrow)
Consensus categoriesnone
DomainCandidate signal: none · Consensus signal: none
Study designCandidate signal: Theoretical or conceptual · Consensus signal: none
GenreCandidate signal: Empirical · Consensus signal: Empirical
Teacher disagreement score0.433
Threshold uncertainty score1.000

Codex and Gemma teacher scores by category

CategoryCodexGemma
Metaresearch0.0010.001
Meta-epidemiology (narrow)0.0000.000
Meta-epidemiology (broad)0.0010.000
Bibliometrics0.0010.001
Science and technology studies0.0000.000
Scholarly communication0.0000.000
Open science0.0010.001
Research integrity0.0000.001
Insufficient payload (model declined to judge)0.0000.000

Machine scores (provisional)

The two teacher heads of the student model, read on this work. A score orders the frame for review; it never asserts a category, and the validation status ships verbatim with every row.

Baseline scores from an immature model (maturity gate not passed, 7 training rounds). Scores rank; they never assert a category.

Opus teacher head0.230
GPT teacher head0.271
Teacher spread0.041 · how far apart the two teachers sit on this one work
Validation statusscore_only:v0-immature-baseline · verbatim from the scoring run: score_only means the number may rank works, and no category label ships from it

Classification

machine, unvalidated

Machine predicted; a candidate call from one teacher head, not a consensus.

Study designTheoretical or conceptual
Domainnot available
GenreEmpirical

How this classification was reached, model by model and score by score, is at the end of the page under "How this classification was reached".

Quick stats

Citations0
Published2022
Admission routes1
Has abstractyes

Explore more

Same venuearXiv (Cornell University)Same topicNavier-Stokes equation solutionsFrench-language works237,207