We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Dynamical Systems

Title: Universality of Euler flows and flexibility of Reeb embeddings

Abstract: The dynamics of an inviscid and incompressible fluid flow on a Riemannian manifold is governed by the Euler equations. Recently, Tao [35,36] launched a programme to address the global existence problem for the Euler and Navier Stokes equations based on the concept of universality. In this article we prove that the Euler equations exhibit universality features. More precisely, we show that any non-autonomous flow on a compact manifold can be extended to a smooth solution of the Euler equations on some Riemannian manifold of possibly higher dimension. The solutions we construct are stationary of Beltrami type, so they exist for all time. Using this result, we establish the Turing completeness of the Euler flows, i.e. that there exist solutions that encode a universal Turing machine and, in particular, these solutions have undecidable trajectories. Our proofs deepen the correspondence between contact topology and hydrodynamics, which is key to establish the universality of the Reeb flows and their Beltrami counterparts. An essential ingredient in the proofs is a novel flexibility theorem for embeddings in Reeb dynamics in terms of an $h$-principle in contact geometry, which unveils the flexible behavior of the steady Euler flows.
Comments: 26pages, 3 figures, minor expository changes
Subjects: Dynamical Systems (math.DS); Analysis of PDEs (math.AP); Symplectic Geometry (math.SG)
Cite as: arXiv:1911.01963 [math.DS]
  (or arXiv:1911.01963v3 [math.DS] for this version)

Submission history

From: Eva Miranda [view email]
[v1] Tue, 5 Nov 2019 17:41:33 GMT (35kb)
[v2] Wed, 27 Nov 2019 19:43:41 GMT (217kb,D)
[v3] Thu, 13 Feb 2020 10:00:31 GMT (217kb,D)

Link back to: arXiv, form interface, contact.