Mathematics – Logic
Scientific paper
2011-12-30
Mathematics
Logic
Scientific paper
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.
Buescu Jorge
Graca Daniel S.
Zhong Ning
No associations
LandOfFree
Computability, Noncomputability, and Hyperbolic Systems does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Computability, Noncomputability, and Hyperbolic Systems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Computability, Noncomputability, and Hyperbolic Systems will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-335694