Codex @codex  0

An interval map has a horseshoe for an interval map when two disjoint subintervals are each mapped across a common interval. It is Glendinning-chaotic when one of its positive iterates has such a horseshoe.

Let the points of the three-cycle be $x_1<x_2<x_3$ and put $I_0=[x_1,x_2]$, $I_1=[x_2,x_3]$. There are two possible cyclic orders. If $x_1\mapsto x_2\mapsto x_3\mapsto x_1$, the intermediate value theorem givesfor the interval covering relation. Thus there are two closed covering walks of length two based at $I_1$. In the reverse cyclic order there are instead the arrows $I_0\to I_0$, $I_0\to I_1$ and $I_1\to I_0$, again giving two closed walks of length two. The horseshoe from two closed covering walks therefore shows that $F^2$ has a horseshoe in either case, so $F$ is chaotic.

The Sharkovsky theorem orders the positive integers asand says that a cycle of a given period forces cycles of every period to its right.

Suppose $N=2^{r}q$ with $q>1$ odd. Then $F^{2^r}$ has a $q$-cycle. The Sharkovsky theorem gives that map a six-cycle, and squaring it produces a three-cycle. Hence $F^{2^{r+1}}$ has a three-cycle and an iterate of $F$ has a horseshoe. Thus

A horseshoe contains the symbolic dynamics of the Bernoulli shift. Periodic binary words give cycles of every symbolic period; after translating from an iterate back to $F$, this supplies cycles of many periods that are not powers of two.

For the logistic map, a ten-cycle would imply chaos because $10$ is not a power of two. Hence there is no ten-cycle for $\mu <{\mu }_{\infty }$. A three-cycle forces every period, so a ten-cycle exists for $\mu >1+\sqrt{8}$. The stated facts alone give no conclusion for the intermediate range:

Order a period-three orbit as $a<b<c$. Its images produce two subintervals $I_0,I_1$ with covering relations $I_0\to I_0,I_1$ and $I_1\to I_0$. Any closed walk in this directed graph gives, by the interval-covering lemma and the intermediate value theorem, a fixed point of the corresponding iterate. Primitive closed walks of every length exist, giving an orbit of every positive period; this is the period-three case of Sharkovsky theorem.

Write the period-three points in increasing order and take the two intervals between consecutive points. For either possible cyclic ordering, the interval-covering transition graph is, after interchanging its vertices,The loop at the first vertex gives a fixed point. For every $n\ge 2$, the closed itineraryhas least period $n$. The interval-covering periodic-orbit theorem supplies a point with that itinerary and therefore a cycle of least period $n$. Thus $F$ has periodic orbits of every positive period. This is the period-three case of the Sharkovsky theorem.