Editing Sharkovskii's theorem

{{Short description|Mathematical rule}}
In [[mathematics]], '''Sharkovskii's theorem''' (also spelled '''Sharkovsky''', '''Sharkovskiy''', '''Šarkovskii''' or '''Sarkovskii'''), named after [[Oleksandr Sharkovsky|Oleksandr Mykolayovych Sharkovsky]], who published it in 1964, is a result about [[Dynamical system (definition)#Discrete dynamical system|discrete dynamical system]]s.<ref>{{cite journal |first=O. M. |last=Sharkovskii |title=Co-existence of cycles of a continuous mapping of the line into itself |journal=Ukrainian Math. J. |volume=16 |pages=61–71 |year=1964 }}</ref> One of the implications of the theorem is that if a discrete dynamical system on the [[real line]] has a [[periodic point]] of period&nbsp;3, then it must have periodic points of every other period.

==Statement==
For some [[interval (mathematics)|interval]] <math>I\subset \mathbb{R}</math>, suppose that
<math display=block>f : I \to I</math>
is a [[continuous function]]. The number <math>x</math> is called a ''periodic point of period <math>m</math>'' if <math>f^{(m)}(x)=x</math>, where <math>f^{(m)}</math> denotes the [[iterated function]] obtained by composition of <math>m</math> copies of <math>f</math>. The number <math>x</math> is said to have ''least period <math>m</math>'' if, in addition, <math>f^{(k)}(x)\ne x</math> for all <math>0<k<m</math>. Sharkovskii's theorem concerns the possible least periods of periodic points of <math>f</math>. Consider the following ordering of the positive [[integer]]s, sometimes called the Sharkovskii ordering:<ref>K. Burns, B. Hasselblatt, "[https://www.math.arizona.edu/~dwang/BurnsHasselblattRevised-1.pdf The Sharkovsky Theorem: A Natural Direct Proof]" (2008). Accessed 3 February 2023.</ref>
<math display=block>\begin{array}{cccccccc}
3 & 5 & 7 & 9 & 11 & \ldots & (2n+1)\cdot2^{0} & \ldots\\
3\cdot2 & 5\cdot2 & 7\cdot2 & 9\cdot2 & 11\cdot2 & \ldots & (2n+1)\cdot2^{1} & \ldots\\
3\cdot2^{2} & 5\cdot2^{2} & 7\cdot2^{2} & 9\cdot2^{2} & 11\cdot2^{2} & \ldots & (2n+1)\cdot2^{2} & \ldots\\
3\cdot2^{3} & 5\cdot2^{3} & 7\cdot2^{3} & 9\cdot2^{3} & 11\cdot2^{3} & \ldots & (2n+1)\cdot2^{3} & \ldots\\
 & \vdots\\
\ldots & 2^{n} & \ldots & 2^{4} & 2^{3} & 2^{2} & 2 & 1\end{array}</math>

It consists of:
* [[odd number|the odd numbers]] ''excluding'' <math> 1 </math> <math> = (2n+1)\cdot2^0</math> in ''increasing'' order,
* 2 times the odd numbers <math> = (2n+1)\cdot2^1</math> in ''increasing'' order,
* 4 times the odd numbers <math> = (2n+1)\cdot2^2</math> in ''increasing'' order,
* 8 times the odd numbers <math> = (2n+1)\cdot2^3</math>,
* etc. <math> = (2n+1)\cdot2^m</math>
* finally, the powers of two <math> = 2^n</math> in ''decreasing'' order.

This ordering is a [[total order]]: every positive integer appears exactly once somewhere on this list. However, it is not a [[well-order]]. In a well-order, every subset would have an earliest element, but in this order there is no earliest power of two.

Sharkovskii's theorem states that if <math>f</math> has a periodic point of least period <math>m</math>, and <math>m</math> precedes <math>n</math> in the above ordering, then <math>f</math> has also a periodic point of least period <math>n</math>.

One consequence is that if <math>f</math> has only finitely many periodic points, then they must all have periods that are powers of two. Furthermore, if there is a periodic point of period three, then there are periodic points of all other periods.

Sharkovskii's theorem does not state that there are ''stable'' cycles of those periods, just that there are cycles of those periods. For systems such as the [[logistic map]], the [[bifurcation diagram]] shows a range of parameter values for which apparently the only cycle has period 3. In fact, there must be cycles of all periods there, but they are not stable and therefore not visible on the computer-generated picture.

The assumption of continuity is important. Without this assumption, the discontinuous [[piecewise linear function]] <math>f:[0,3) \to [0,3)</math> defined as:
<math display=block>f: x\mapsto \begin{cases}x+1 &\mathrm{for\ } 0\le x<2 \\ x-2 &\mathrm{for\ } 2\le x< 3\end{cases}</math>
for which every value has period 3, would be a counterexample. Similarly essential is the assumption of <math>f</math> being defined on an interval. Otherwise <math>f : x \mapsto (1 - x)^{-1}</math>, which is defined on real numbers except the one: <math>\mathbb R\setminus\{1\},</math> and for which every non-zero value has period 3, would be a counterexample.

==Generalizations and related results==

Sharkovskii also proved the converse theorem: every [[upper set]] of the above order is the set of periods for some continuous function from an interval to itself. In fact all such sets of periods are achieved by the family of functions <math>T_h:[0,1]\to[0,1]</math>, <math>x\mapsto\min(h,1-2|x-1/2|)</math> for <math>h\in[0,1]</math>, except for the empty set of periods which is achieved by <math>T:\mathbb R\to\mathbb R</math>, <math>x\mapsto x+1</math>.<ref>{{cite book|last1=Alsedà|first1=L.|title=Combinatorial dynamics and entropy in dimension one|last2=Llibre|first2=J.|last3=Misiurewicz|first3=M.|date=2000|publisher=World Scientific Publishing Company|isbn=978-981-02-4053-0|author-link3=Michał Misiurewicz}}</ref><ref>{{cite journal |first1=K. |last1=Burns |first2=B. |last2=Hasselblatt |title=The Sharkovsky theorem: A natural direct proof |journal=[[American Mathematical Monthly]] |volume=118 |issue=3 |pages=229–244 |year=2011|doi=10.4169/amer.math.monthly.118.03.229 |citeseerx=10.1.1.216.784 |s2cid=15523008 }}</ref>

On the other hand, with additional information on the combinatorial structure of the interval map acting on the points in a periodic orbit, a period-n point may force period-3 (and hence all periods).  Namely, if the orbit type (the cyclic permutation generated by the map acting on the points in the periodic orbit) has a so-called stretching pair, then this implies the existence of a periodic point of period-3.  It can be shown (in an asymptotic sense) that almost all cyclic permutations admit at least one stretching pair, and hence almost all orbit types imply period-3.<ref>{{cite journal |first1=Erik |last1=Lundberg |title=Almost all orbit types imply period-3 |journal=[[Topology and Its Applications]] |volume=154 |pages=2741–2744
 |year=2007 |issue=14 |doi=10.1016/j.topol.2007.05.009 |doi-access=free }}</ref>

[[Tien-Yien Li]] and [[James A. Yorke]] showed in 1975 that not only does the existence of a period-3 cycle imply the existence of cycles of all periods, but in addition it implies the existence of an uncountable infinitude of points that never map to any cycle ([[chaos (mathematics)|chaotic points]])—a property known as [[period three implies chaos]].<ref>{{cite journal |first1=T. Y. |last1=Li |first2=J. A. |last2=Yorke |title=Period Three Implies Chaos |journal=[[American Mathematical Monthly]] |volume=82 |issue= 10|pages=985–992 |year=1975 |jstor=2318254 |doi=10.1080/00029890.1975.11994008 |bibcode=1975AmMM...82..985L }}</ref>

Sharkovskii's theorem does not immediately apply to dynamical systems on other topological spaces. It is easy to find a [[circle map]] with periodic points of period 3 only: take a rotation by 120 degrees, for example. But some generalizations are possible, typically involving the mapping class group of the space minus a periodic orbit.  For example, [[Peter Kloeden]] showed that Sharkovskii's theorem holds for triangular mappings, i.e., mappings for which the component {{math|''f<sub>i</sub>''}} depends only on the first {{math|''i''}} components {{math|''x<sub>1</sub>,..., x<sub>i</sub>''}}.<ref>{{cite journal |first=P. E. |last=Kloeden |title=On Sharkovsky's cycle coexistence ordering |journal=Bull. Austral. Math. Soc. |volume=20 |year=1979 |issue= 2|pages=171–178 |doi=10.1017/S0004972700010819 |doi-access=free }}</ref>

==References==
{{reflist}}

==External links==
* {{mathworld|urlname=SharkovskysTheorem |title=Sharkovskys Theorem}}
* {{PlanetMath |urlname=sharkovskiistheorem |title=Sharkovskii's theorem}}
* {{cite book| last = Teschl| given = Gerald|author-link=Gerald Teschl| title = Ordinary Differential Equations and Dynamical Systems| publisher=[[American Mathematical Society]]| place = [[Providence, Rhode Island|Providence]]| year = 2012| isbn= 978-0-8218-8328-0| url = https://www.mat.univie.ac.at/~gerald/ftp/book-ode/}}
* {{cite journal |last=Misiurewicz |given=Michal |date=November 1997 |title=Remarks on Sharkovsky's Theorem |journal=The American Mathematical Monthly |volume=104 |issue=9 |pages=846–847|doi=10.1080/00029890.1997.11990727 }}
* Keith Burns and Boris Hasselblatt, [http://math.arizona.edu/~dwang/BurnsHasselblattRevised-1.pdf The Sharkovsky theorem: a natural direct proof]
* [http://scholarpedia.org/article/Sharkovsky%20ordering scholarpedia: Sharkovsky ordering by  Aleksandr Nikolayevich Sharkovsky]

[[Category:Eponymous theorems of physics]]
[[Category:Theorems in dynamical systems]]
[[Category:Soviet inventions]]