Convex integration and phenomenologies in turbulence (Q2187954)

Summary: In this review article we discuss a number of recent results concerning wild weak solutions of the incompressible Euler and Navier-Stokes equations. These results build on the groundbreaking works of De Lellis and Székelyhidi Jr., who extended Nash's fundamental ideas on \(C^1\) flexible isometric embeddings, into the realm of fluid dynamics. These techniques, which go under the umbrella name convex integration, have fundamental analogies with the phenomenological theories of hydrodynamic turbulence [\textit{C. De Lellis} and \textit{L. Székelyhidi jun.}, Bull. Am. Math. Soc., New Ser. 49, No. 3, 347--375 (2012; Zbl 1254.35180); Bull. Am. Math. Soc., New Ser. 54, No. 2, 247--282 (2017; Zbl 1366.35120); Notices Am. Math. Soc. 66, No. 5, 677--685 (2019; Zbl 1436.76009); \textit{L. Székelyhidi jun.}, ``From isometric embeddings to turbulence'', in: HCDTE Lecture Notes. Part II. Nonlinear hyperbolic PDEs, dispersive and transport equations, 195--255, AIMS on AppliedMathematics 7, American Institute of Mathematical Sciences (2012)]. Mathematical problems arising in turbulence (such as the Onsager conjecture) have not only sparked new interest in convex integration, but certain experimentally observed features of turbulent flows (such as intermittency) have also informed new convex integration constructions. First, we give an elementary construction of nonconservative \(C^{0+}_{x,t}\) weak solutions of the Euler equations, first proven by \textit{C. De Lellis} and \textit{L. Székelyhidi jun.} [Invent. Math. 193, No. 2, 377--407 (2013; Zbl 1280.35103); J. Eur. Math. Soc. (JEMS) 16, No. 7, 1467--1505 (2014; Zbl 1307.35205)]. Second, we present \textit{P. Isett}'s [Ann. Math. (2) 188, No. 3, 871--963 (2018; Zbl 1416.35194)] recent resolution of the flexible side of the Onsager conjecture. Here, we in fact follow the joint work [\textit{T. Buckmaster} et al., Commun. Pure Appl. Math. 72, No. 2, 229--274 (2019; Zbl 1480.35317)] of De Lellis-Székelyhidi Jr. and the authors of this paper, in which weak solutions of the Euler equations in the regularity class \(C^{\frac13 -}_{x,t}\) are constructed, attaining any energy profile. Third, we give a concise proof of the authors' recent result [\textit{T. Buckmaster} and \textit{V. Vicol}, Ann. Math. (2) 189, No. 1, 101--144 (2019; Zbl 1412.35215)], which proves the existence of infinitely many weak solutions of the Navier-Stokes in the regularity class \(C^0_t L^{2+}_x \cap C^0_t W^{1,1+}_x\). We conclude the article by mentioning a number of open problems at the intersection of convex integration and hydrodynamic turbulence.