Now showing items 1-5 of 5

    • Computability and Beltrami fields in Euclidean space 

      Miranda Galcerán, Eva; Peralta Salas, Daniel; Cardona, Robert (2022-11-15)
      Research report
      Open Access
      In this article, we pursue our investigation of the connections between the theory of computation and hydrodynamics. We prove the existence of stationary solutions of the Euler equations in Euclidean space, of Beltrami ...
    • Integrable systems and closed one forms 

      Miranda Galcerán, Eva; Cardona, Robert (2018-05-15)
      Article
      Open Access
      In the first part of this paper we revisit a classical topological theorem by Tischler (1970) and deduce a topological result about compact manifolds admitting a set of independent closed forms proving that the manifold ...
    • Integrable systems on singular symplectic manifolds: from local to global 

      Miranda Galcerán, Eva; Cardona, Robert (2021-02-03)
      Research report
      Open Access
      In this article, we consider integrable systems on manifolds endowed with symplectic structures with singularities of order one. These structures are symplectic away from a hypersurface where the symplectic volume goes ...
    • Looking at Euler flows through a contact mirror: universality and undecidability 

      Miranda Galcerán, Eva; Peralta-Salas, Daniel; Cardona, Robert (2022-07-08)
      Research report
      Open Access
      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 ...
    • Turing universality of the incompressible Euler equations and a conjecture of Moore 

      Miranda Galcerán, Eva; Cardona, Robert; Peralta-Salas, Daniel (2021-04-09)
      Research report
      Open Access
      In this article we construct a compact Riemannian manifold of high dimension on which the time dependent Euler equations are Turing complete. More precisely, the halting of any Turing machine with a given input is equivalent ...