Dissipative continuous Euler flows (Q368622): Difference between revisions

The authors prove the following result: Assume \(e: [0,1]\to \mathbb{R}\) is a positive smooth function. Then there is a continuous vector field \[ v: \mathbb{T}^3 \times [0,1] \to \mathbb{R}^3 \] and a continuous scalar field \(p: \mathbb{T}^3 \times [0,1] \to \mathbb{R}\) which solve the incompressible Euler equations \[ \begin{cases} \partial_t v+\text{div}(v\otimes v)+\nabla p=0, \\ \text{div}=0, \end{cases} \] in the sense of distributions and such that \[ e(t)=\int |v|^2(x,t)dx,\quad \forall t \in [0,1]. \] In particular, if \(e\) is a strictly decreasing function, the previous result shows the existence of continuous solutions which dissipate the total kinetic energy, which can not happen for a solution of \(C^{0,\alpha}\) regularity for \(\alpha>1/3\). This extends previous results of \textit{V. Scheffer} [J. Geom. Anal. 3, No. 4, 343--401 (1993; Zbl 0836.76017)], \textit{A. Shnirelman} [Commun. Pure Appl. Math. 50, No. 12, 1261--1286 (1997; Zbl 0909.35109); Commun. Math. Phys. 210, No. 3, 541--603 (2000; Zbl 1011.35107)] and previous results of the authors [Ann. Math. (2) 170, No. 3, 1417--1436 (2009; Zbl 1350.35146); Arch. Ration. Mech. Anal. 195, No. 1, 225--260 (2010; Zbl 1192.35138); Bull. Am. Math. Soc., New Ser. 49, No. 3, 347--375 (2012; Zbl 1254.35180)] and goes in the direction of Onsager's conjecture which state that for any \(\alpha<1/3\) there exist dissipative solutions to Euler with \(C^{0,\alpha}\) regularity. In the proof, the equation is rewritten as a differential inclusion. The solutions are then constructed with an iteration procedure, using convex integration.