Computability, noncomputability, and hyperbolic systems

DOI10.1016/J.AMC.2012.09.031zbMATH Open1310.37015arXiv1201.0164OpenAlexW2147781258MaRDI QIDQ2018989FDOQ2018989

Authors: Ning Zhong, Jorge Buescu, Daniel Graça 

Publication date: 26 March 2015

Published in: Applied Mathematics and Computation (Search for Journal in Brave)

Abstract: In this paper we study the computability of the stable and unstable manifolds of a hyperbolic equilibrium point. These manifolds are the essential feature which characterizes a hyperbolic system. We show that (i) locally these manifolds can be computed, but (ii) globally they cannot (though we prove they are semi-computable). We also show that Smale's horseshoe, the first example of a hyperbolic invariant set which is neither an equilibrium point nor a periodic orbit, is computable.

Full work available at URL: https://arxiv.org/abs/1201.0164

Recommendations

• An analytic system with a computable hyperbolic sink whose basin of attraction is non-computable
• Computability in planar dynamical systems
• Computational unsolvability of domains of attraction of nonlinear systems
• COMPUTING INVARIANT SETS
• Computability and dynamical systems

zbMATH Keywords

hyperbolic systemscomputabilitySmale's horseshoe

Mathematics Subject Classification ID

Strange attractors, chaotic dynamics of systems with hyperbolic behavior (37D45) Computation over the reals, computable analysis (03D78) Dynamical systems with hyperbolic orbits and sets (37D05) Applications of computability and recursion theory (03D80)

Cites Work

• Nonlinear oscillations, dynamical systems, and bifurcations of vector fields
• Deterministic Nonperiodic Flow
• Perturbation theory for linear operators.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Differentiable dynamical systems
• Title not available (Why is that?)
• Computability, noncomputability and undecidability of maximal intervals of IVPs
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Lorenz attractor exists
• Title not available (Why is that?)
• A tutorial on computable analysis
• Mathematical problems for the next century
• Title not available (Why is that?)
• Effective symbolic dynamics, random points, statistical behavior, complexity and entropy
• On Computable Numbers, with an Application to the Entscheidungsproblem
• On Computable Numbers, with an Application to the Entscheidungsproblem. A Correction
• Wijsman convergence: A survey
• Structurally Stable Systems are not Dense
• Structural stability on two-dimensional manifolds
• Continuity and computability of reachable sets
• Title not available (Why is that?)
• On the definitions of computable real continuous functions
• Unpredictability and undecidability in dynamical systems
• Computing the topological entropy of shifts
• What's new on Lorenz strange attractors?
• Effective Borel measurability and reducibility of functions
• Computability theory of generalized functions
• Computability in linear algebra
• Computability and dynamical systems
• Non-computable Julia sets
• Title not available (Why is that?)
• Computational unsolvability of domains of attraction of nonlinear systems
• The stability of saturated linear dynamical systems is undecidable
• Computable Real‐Valued Functions on Recursive Open and Closed Subsets of Euclidean Space
• Dynamical systems: stability and simulability
• Computability and the morphological complexity of some dynamics on continuous domains
• Computability of topological pressure for shifts of finite type with applications in statistical physics

Cited In (10)

• Computability of limit sets for two-dimensional flows
• Computability and computational complexity of the evolution of nonlinear dynamical systems
• The connection between computability of a nonlinear problem and its linearization: the Hartman-Grobman theorem revisited
• Robust non-computability of dynamical systems and computability of robust dynamical systems
• Title not available (Why is that?)
• On Turing dynamical systems and the Atiyah problem
• Computability of Differential Equations
• Computing geometric Lorenz attractors with arbitrary precision
• Computational hyperbolicity
• Computability in planar dynamical systems

This page was built for publication: Computability, noncomputability, and hyperbolic systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2018989)