Order a period-three orbit as . Its images produce two subintervals with covering relations and . 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.
The covering graph has at least one primitive cycle of lengths two and four and two inequivalent primitive cycles of length five. Thus the guaranteed minimum numbers of distinct orbits are respectively .
For the stated map, the graph cycles give the period-two orbit
and the period-four orbit
The two period-five orbits are
Direct use of the two affine branches verifies every arrow.

Articles by others on the same topic (0)

There are currently no matching articles.