Rigorous verification of chaotic behaviour of maps using validated shadowing

Abstract

In this paper discrete dynamical systems exhibiting `complicated behaviour' are investigated. We present a computer-assisted method to prove that the given system admits the shift map as a subsystem. The method is applied to the Hénon map with the classical parameter values.