Shadowing is a method of backward error analysis that plays a important role in hyperbolic dynamics. In this paper, the shadowing by containment framework is revisited, including a new shadowing theorem. This new theorem has several advantages with respect to existing shadowing theorems: It does not require injectivity or differentiability, and its hypothesis can be easily verified using interval arithmetic. As an application of this new theorem, shadowing by containment is shown to be applicable to infinite length orbits and is used to provide a computer assisted proof of the presence of chaos in the well-known noninjective Tinkerbell map. A. GOLDSZTEJN, W. HAYES, AND P. COLLINS proof is conceptually very simple since it relies directly on the Poincaré-Miranda theorem. 1 Note that the containment theorem proposed in [21] also does not require differentiability or injectivity: However, its hypotheses are quite difficult to verify. Third, this new containment theorem is extended to bi-infinite orbits, thus reaching the scope of shadowing theorems by refinement like [35].As an application, we show that this containment theorem for bi-infinite orbits can be used to prove that a dynamical system is chaotic in several senses (positive topological entropy, Li-Yorke chaos, and Devaney chaos). Different computed assisted proofs of the presence of chaos were proposed in, e.g., [34,9,42,10,26]. All these approaches are similar in the sense that they rely on some topological fixed point theorems whose hypotheses are translated to sufficient conditions for the presence of chaos. However, the usage of different topological fixed point theorems leads to different statements. The sufficient conditions we obtain here are remarkable by their simplicity, which allows an easy numerical verification by a computer.
Interval analysis.Interval analysis is a branch of numerical analysis that was born in the 1960's. It consists of computing with intervals of reals instead of reals, providing a framework for handling uncertainties and verified computations (see [27,1,28,17,20] for a survey). Among other applications, interval analysis was used to provide rigorous numerical proofs of mathematical statements (resolution of the 14th Smale problem [38], properties of manifolds [6,7], and properties of chaotic dynamical systems [3,18,4,39,33]).