Looking at Euler flows through a contact mirror: Universality and undecidability

07/20/2021
by   Robert Cardona, et al.
0

The dynamics of an inviscid and incompressible fluid flow on a Riemannian manifold is governed by the Euler equations. In recent papers [5, 6, 7, 8] several unknown facets of the Euler flows have been discovered, including universality properties of the stationary solutions to the Euler equations. The study of these universality features was suggested by Tao as a novel way to address the problem of global existence for Euler and Navier-Stokes [28]. Universality of the Euler equations was proved in [7] for stationary solutions using a contact mirror which reflects a Beltrami flow as a Reeb vector field. This contact mirror permits the use of advanced geometric techniques in fluid dynamics. On the other hand, motivated by Tao's approach relating Turing machines to Navier-Stokes equations, a Turing complete stationary Euler solution on a Riemannian 3-dimensional sphere was constructed in [8]. Since the Turing completeness of a vector field can be characterized in terms of the halting problem, which is known to be undecidable [30], a striking consequence of this fact is that a Turing complete Euler flow exhibits undecidable particle paths [8]. In this article, we give a panoramic overview of this fascinating subject, and go one step further in investigating the undecidability of different dynamical properties of Turing complete flows. In particular, we show that variations of [8] allow us to construct a stationary Euler flow of Beltrami type (and, via the contact mirror, a Reeb vector field) for which it is undecidable to determine whether its orbits through an explicit set of points are periodic.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
12/23/2020

Constructing Turing complete Euler flows in dimension 3

Can every physical system simulate any Turing machine? This is a classic...
research
04/09/2021

Turing universality of the incompressible Euler equations and a conjecture of Moore

In this article we construct a compact Riemannian manifold of high dimen...
research
11/05/2021

Computability and Beltrami fields in Euclidean space

In this article, we pursue our investigation of the connections between ...
research
01/20/2022

Analytic Adjoint Solutions for the 2D Incompressible Euler Equations Using the Green's Function Approach

The Green's function approach of Giles and Pierce is used to build the l...
research
08/27/2023

Information geometric regularization of the barotropic Euler equation

A key numerical difficulty in compressible fluid dynamics is the formati...
research
05/20/2023

An Eulerian hyperbolic model for heat transfer derived via Hamilton's principle: analytical and numerical study

In this paper, we present a new model for heat transfer in compressible ...
research
05/15/2023

A Wave Appropriate Discontinuity Sensor Approach for Compressible Flows

In this work, we propose a novel selective discontinuity sensor approach...

Please sign up or login with your details

Forgot password? Click here to reset