Covering relations, cone conditions and the stable manifold theorem

被引:56
作者
Zgliczynski, Piotr [1 ]
机构
[1] Jagiellonian Univ, Inst Comp Sci, PL-30348 Krakow, Poland
关键词
Invariant manifold; Hyperbolicity; Covering relation; Cone condition; Lyapunov function; COMPUTER-ASSISTED PROOF; TOPOLOGICAL-ENTROPY; PERIODIC-ORBITS; FIXED-POINTS; MULTIDIMENSIONAL PERTURBATIONS; HETEROCLINIC CONNECTIONS; RIGOROUS VERIFICATION; SYMBOLIC DYNAMICS; MICHELSON SYSTEM; CHAOS;
D O I
10.1016/j.jde.2008.12.019
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
We show how to effectively link covering relations with cone conditions. We give a new, 'geometric,' proof of the stable manifold theorem for hyperbolic fixed point of a map. (c) 2009 Elsevier Inc. All rights reserved.
引用
收藏
页码:1774 / 1819
页数:46
相关论文
共 39 条
[1]  
[Anonymous], J UNIVERSAL COMPUTER
[2]   Periodic orbits, symbolic dynamics and topological entropy for the restricted 3-body problem [J].
Arioli, G .
COMMUNICATIONS IN MATHEMATICAL PHYSICS, 2002, 231 (01) :1-24
[3]   Symbolic dynamics for the Henon-Heiles Hamiltonian on the critical level [J].
Arioli, G ;
Zgliczynski, P .
JOURNAL OF DIFFERENTIAL EQUATIONS, 2001, 171 (01) :173-202
[4]   Stable manifolds associated to fixed points with linear part equal to identity [J].
Baldomá, I ;
Fontich, E .
JOURNAL OF DIFFERENTIAL EQUATIONS, 2004, 197 (01) :45-72
[5]   Stable manifolds and the Perron-Irwin method [J].
Chaperon, M .
ERGODIC THEORY AND DYNAMICAL SYSTEMS, 2004, 24 :1359-1394
[6]   A verified optimization technique to locate chaotic regions of Henon systems [J].
Csendes, Tibor ;
Garay, Barnabas M. ;
Banhelyi, Balazs .
JOURNAL OF GLOBAL OPTIMIZATION, 2006, 35 (01) :145-160
[7]   ISOLATING BLOCKS AND SYMBOLIC DYNAMICS [J].
EASTON, RW .
JOURNAL OF DIFFERENTIAL EQUATIONS, 1975, 17 (01) :96-118
[10]   Positive topological entropy of Chua's circuit: A computer assisted proof [J].
Galias, Z .
INTERNATIONAL JOURNAL OF BIFURCATION AND CHAOS, 1997, 7 (02) :331-349