An intermittent Onsager theorem (Q6101151): Difference between revisions

This article provides a new proof of the flexible side of Onsager's conjecture in \(L^3\)-based spaces. That conjecture states that only sufficiently regular solutions of the 3D Euler equations need to conserve kinetic energy. At any regularity below a suitable threshold, there should exist weak solutions which violate energy conservation and exhibit (turbulent) energy dissipation. Moreover, uniqueness of solutions generically fails -- the equations become flexible. This article's results establish the existence in \(C^{0}_{t}(H^{\beta}\cap{} L^{\frac{1}{1-2\beta}})\) for any \(0<\beta<\frac{1}{2}\). In particular, by interpolation this yields solutions in Besov spaces \(C^{0}_t B^{s}_{3,\infty}\) with \(s\) approaching \(\frac{1}{3}\). The underlying method of convex integration here starts from a suitable subsolution and iteratively adds high frequency corrections to construct a solution in the limit. Building on prior work by \textit{T. Buckmaster} et al. [Intermittent convex integration for the 3D Euler equations. Princeton, NJ: Princeton University Press (2023; Zbl 07658420)] the constructed solutions reach arbitrarily close to optimal regularity and have \textit{intermittent} structure. That is, the solutions contain spatial concentrations. Moreover, the construction determines an optimal choice of intermittency parameter for the pipe flows used in the iteration step.