Computability, noncomputability, and hyperbolic systems

详细信息    查看全文

• 作者：Daniel S. Graç ; a^a ; ^b ; ^{dgraca@ualg.pt} ; Ning Zhong^c ; ^{ning.zhong@uc.edu} ; Jorge Buescu^d ; ^{jbuescu@ptmat.fc.ul.pt}
• 关键词：Computability ; Hyperbolic systems ; Smale&rsquo ; s horseshoe
• 刊名：Applied Mathematics and Computation
• 出版年：2012
• 出版时间：25 November, 2012
• 年：2012
• 卷：219
• 期：6
• 页码：3039-3054
• 全文大小：348 K

文摘

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, having many applications in physical sciences and other fields. We show that (i) locally these manifolds can be computed, but (ii) globally they cannot, since their degree of computational unsolvability lies on the second level of the Borel hierarchy. 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.