Rigorous high-dimensional shadowing using containment: The general case

Carmen Young, Kenneth Jackson, Wayne Hayes
2005 Discrete and Continuous Dynamical Systems. Series A  
A shadow is an exact solution to an iterated map that remains close to an approximate solution for a long time. An elegant geometric method for proving the existence of shadows is called containment, and it has been proven previously in two and three dimensions, and in some special cases in higher dimensions. This paper presents the general proof using tools from differential and algebraic topology and singular homology.
doi:10.3934/dcds.2006.14.329 fatcat:wod3bqo4f5gf7kuq3hqlbgs7oy