Paper 4, Section II, B

Dynamical Systems
Part II, 2015

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

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) and, without loss of generality, 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, explaining carefully how the graph is constructed. Explain what feature of the graph implies the existence of a 3-cycle.

The map g:IIg: I \rightarrow I has a 5-cycle {x0,x1,x2,x3,x4}\left\{x_{0}, x_{1}, x_{2}, x_{3}, x_{4}\right\} with xi+1=g(xi),0i3x_{i+1}=g\left(x_{i}\right), 0 \leqslant i \leqslant 3 and x0=g(x4)x_{0}=g\left(x_{4}\right), and x0<x1<x2<x3<x4x_{0}<x_{1}<x_{2}<x_{3}<x_{4}. For which n,1n4n, 1 \leqslant n \leqslant 4, is an nn-cycle of gg guaranteed to exist? Is gg guaranteed to be chaotic? Is gg guaranteed to have a horseshoe? Justify your answers. [You may use a suitable directed graph as part of your arguments.]

How do your answers to the above change if instead x4<x2<x1<x3<x0x_{4}<x_{2}<x_{1}<x_{3}<x_{0} ?