Computer-assisted proof shows that the linearized operator around threefold symmetric traveling waves in the Burgers-Hilbert equation has an eigenvalue with negative real part for ω=3 and c≈1.1.
Stable nearly self-similar blowup of the 2D Boussinesq and 3D Euler equations with smooth data II: Rigorous numerics
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
fields
math.AP 2years
2026 2verdicts
UNVERDICTED 2roles
background 1polarities
background 1representative citing papers
Audit of Navier-Stokes obstruction calculus shows existing decompositions locate CKN badness transport but lack coercive estimates, proving a resolution lemma and identifying the need for a filtered stretching-diffusion estimate with subgrid terms.
citing papers explorer
-
Linear instability of a Burgers--Hilbert traveling wave
Computer-assisted proof shows that the linearized operator around threefold symmetric traveling waves in the Burgers-Hilbert equation has an eigenvalue with negative real part for ω=3 and c≈1.1.
-
A Structural Audit of Navier-Stokes Obstruction Calculus
Audit of Navier-Stokes obstruction calculus shows existing decompositions locate CKN badness transport but lack coercive estimates, proving a resolution lemma and identifying the need for a filtered stretching-diffusion estimate with subgrid terms.