Related papers: Computability, Noncomputability, and Hyperbolic Sy…
We discuss asymptotically hyperbolic manifold with a noncompact boundary which is close to a horosphere in a certain sense. The model case is a horoball or the complement of a horoball in standard hyperbolic space. We show some geometric…
We show that any measurable solution of the cohomological equation for a H\"older linear cocycle over a hyperbolic system coincides almost everywhere with a H\"older solution. More generally, we show that every measurable invariant…
We consider the question of computing invariant measures from an abstract point of view. We work in a general framework (computable metric spaces, computable measures and functions) where this problem can be posed precisely. We consider…
We assign some kind of invariant manifolds to a given integrable PDE (its discrete or semi-discrete variant). First, we linearize the equation around its arbitrary solution $u$. Then we construct a differential (respectively, difference)…
We consider the issue of computability at the most fundamental level of physical reality: the Planck scale. To this aim, we consider the theoretical model of a quantum computer on a non commutative space background, which is a computational…
In this paper, we examine the relationship between the stability of the dynamical system $x^{\prime}=f(x)$ and the computability of its basins of attraction. We present a computable $C^{\infty}$ system $x^{\prime}=f(x)$ that possesses a…
We present a novel geometric approach for determining the unique structure of a Hamiltonian and establishing an instability criterion for quantum quadratic systems. Our geometric criterion provides insights into the underlying geometric…
We present several topics involving the computation of dynamical systems. The emphasis is on work in progress and the presentation is informal -- there are many technical details which are not fully discussed. The topics are chosen to…
We construct countable Markov partitions for non-uniformly hyperbolic diffeomorphisms on compact manifolds of any dimension, extending earlier work of O. Sarig for surfaces. These partitions allow us to obtain symbolic coding on invariant…
We investigate the theory of thermodynamic formalism from the perspective of computable analysis, with a special focus on the computability of equilibrium states. Specifically, we develop two complementary general approaches to verify the…
We show that a partially hyperbolic system can have at most a finite number of compact center-stable submanifolds. We also give sufficient conditions for these submanifolds to exist and consider the question of whether they can intersect…
We investigate conditions under which a co-computably enumerable closed set in a computable metric space is computable and prove that in each locally computable computable metric space each co-computably enumerable compact manifold with…
We consider the Cauchy problem for first order systems. Assuming that the set of the singular points of the characteristic variety is a smooth manifold and the characteristic values are real and semi-simple we introduce a new class which is…
Invariant manifolds are the skeleton of the chaotic dynamics in Hamiltonian systems. In Celestial Mechanics, for instance, these geometrical structures are applied to a multitude of physical and practical problems, such as to the…
In Hamiltonian systems subjected to periodic perturbations the stable and unstable manifolds of the unstable periodic orbits provide the dynamical "skeleton" that drives the mixing process and bounds the chaotic regions of the phase space.…
We study the hyperbolicity of a class of horseshoes exhibiting an internal tangency, i.e. a point of homoclinic tangency accumulated by periodic points. In particular these systems are strictly not uniformly hyperbolic. However we show that…
In this paper we analyze the stability of equilibrium manifolds of hyperbolic shallow water moment equations. Shallow water moment equations describe shallow flows for complex velocity profiles which vary in vertical direction and the…
We consider compact sets which are invariant and partially hyperbolic under the dynamics of a diffeomorphism of a manifold. We prove that such a set K is contained in a locally invariant center submanifold if and only if each strong stable…
Saddle fixed points are the centerpieces of complicated dynamics in a system. The one-dimensional stable and unstable manifolds of these saddle-points are crucial to understanding the dynamics of such systems. While the problem of sketching…
We demonstrate the remarkable effectiveness of boundary value formulations coupled to numerical continuation for the computation of stable and unstable manifolds in systems of ordinary differential equations. Specifically, we consider the…