ﻻ يوجد ملخص باللغة العربية
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.
We prove a non-mixing property of the flow of the 3D Euler equation which has a local nature: in any neighbourhood of a typical steady solution there is a generic set of initial conditions, such that the corresponding Euler flows will never enter a v
We study pairs of Engel structures on four-manifolds whose intersection has constant rank one and which define the same even contact structure, but induce different orientations on it. We establish a correspondence between such pairs of Engel structu
Can every physical system simulate any Turing machine? This is a classical problem which is intimately connected with the undecidability of certain physical phenomena. Concerning fluid flows, Moore asked in [15] if hydrodynamics is capable of perform
Let $Q$ be a closed manifold admitting a locally-free action of a compact Lie group $G$. In this paper we study the properties of geodesic flows on $Q$ given by Riemannian metrics which are invariant by such an action. In particular, we will be inter
This paper is devoted to searching for Riemannian metrics on 2-surfaces whose geodesic flows admit a rational in momenta first integral with a linear numerator and denominator. The explicit examples of metrics and such integrals are constructed. Few