Computability, noncomputability, and hyperbolic systems
From MaRDI portal
Publication:2018989
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.
Recommendations
Cites work
- scientific article; zbMATH DE number 1581767 (Why is no real title available?)
- scientific article; zbMATH DE number 3112803 (Why is no real title available?)
- scientific article; zbMATH DE number 42077 (Why is no real title available?)
- scientific article; zbMATH DE number 52121 (Why is no real title available?)
- scientific article; zbMATH DE number 3484411 (Why is no real title available?)
- scientific article; zbMATH DE number 1460545 (Why is no real title available?)
- scientific article; zbMATH DE number 918596 (Why is no real title available?)
- scientific article; zbMATH DE number 3349776 (Why is no real title available?)
- scientific article; zbMATH DE number 2229941 (Why is no real title available?)
- A tutorial on computable analysis
- Computability and dynamical systems
- Computability and the morphological complexity of some dynamics on continuous domains
- Computability in linear algebra
- Computability of topological pressure for shifts of finite type with applications in statistical physics
- Computability theory of generalized functions
- Computability, noncomputability and undecidability of maximal intervals of IVPs
- Computable Real‐Valued Functions on Recursive Open and Closed Subsets of Euclidean Space
- Computational unsolvability of domains of attraction of nonlinear systems
- Computing the topological entropy of shifts
- Continuity and computability of reachable sets
- Deterministic Nonperiodic Flow
- Differentiable dynamical systems
- Dynamical systems: stability and simulability
- Effective Borel measurability and reducibility of functions
- Effective symbolic dynamics, random points, statistical behavior, complexity and entropy
- Mathematical problems for the next century
- Non-computable Julia sets
- Nonlinear oscillations, dynamical systems, and bifurcations of vector fields
- On Computable Numbers, with an Application to the Entscheidungsproblem
- On Computable Numbers, with an Application to the Entscheidungsproblem. A Correction
- On the definitions of computable real continuous functions
- Perturbation theory for linear operators.
- Structural stability on two-dimensional manifolds
- Structurally Stable Systems are not Dense
- The Lorenz attractor exists
- The stability of saturated linear dynamical systems is undecidable
- Unpredictability and undecidability in dynamical systems
- What's new on Lorenz strange attractors?
- Wijsman convergence: A survey
Cited in
(11)- On Turing dynamical systems and the Atiyah problem
- Computational hyperbolicity
- Computability of limit sets for two-dimensional flows
- Computability and computational complexity of the evolution of nonlinear dynamical systems
- An analytic system with a computable hyperbolic sink whose basin of attraction is non-computable
- scientific article; zbMATH DE number 2084368 (Why is no real title available?)
- Computability in planar 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
- Computability of Differential Equations
- Computing geometric Lorenz attractors with arbitrary precision
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)
