Paper 3, Section II, C

Dynamical Systems
Part II, 2013

Let f:IIf: I \rightarrow I be a continuous map of an interval IRI \subset \mathbb{R}. Explain what is meant by the statements (a) ff has a horseshoe and (b) ff is chaotic according to Glendinning's definition of chaos.

Assume that ff has a 3-cycle {x0,x1,x2}\left\{x_{0}, x_{1}, x_{2}\right\} with x1=f(x0),x2=f(x1),x0=f(x2)x_{1}=f\left(x_{0}\right), x_{2}=f\left(x_{1}\right), x_{0}=f\left(x_{2}\right), x0<x1<x2x_{0}<x_{1}<x_{2}. Prove that f2f^{2} has a horseshoe. [You may assume the Intermediate Value Theorem.]

Represent the effect of ff on the intervals Ia=[x0,x1]I_{a}=\left[x_{0}, x_{1}\right] and Ib=[x1,x2]I_{b}=\left[x_{1}, x_{2}\right] by means of a directed graph. Explain how the existence of the 3 -cycle corresponds to this graph.

The map g:IIg: I \rightarrow I has a 4-cycle {x0,x1,x2,x3}\left\{x_{0}, x_{1}, x_{2}, x_{3}\right\} with x1=g(x0),x2=g(x1)x_{1}=g\left(x_{0}\right), x_{2}=g\left(x_{1}\right), x3=g(x2)x_{3}=g\left(x_{2}\right) and x0=g(x3)x_{0}=g\left(x_{3}\right). If x0<x3<x2<x1x_{0}<x_{3}<x_{2}<x_{1} is gg necessarily chaotic? [You may use a suitable directed graph as part of your argument.]

How does your answer change if x0<x2<x1<x3x_{0}<x_{2}<x_{1}<x_{3} ?