|
|
| Line 1: |
Line 1: |
| In [[mathematics]], '''Sharkovskii's theorem''', named after [[Oleksandr Mikolaiovich Sharkovsky]], is a result about [[discrete dynamical system]]s. One of the implications of the theorem is that if a discrete dynamical system on the [[real line]] has a [[periodic point]] of period 3, then it must have periodic points of every other period.
| | <br><br>The author is known by title of Lura Avery though it is not her birth name. Since I was 18 I have been working to be a stock control and order filler but the promotion never comes. It's not a common thing but the things i like doing is to base jump but I've not made funds with the problem. [http://onlinerichesuniversity.net Online Riches University Review] Alabama is where our residence is but I am going to have move in a full year or 5. He's been working on his website for sometime now. Have a look here: http://onlinerichesuniversity.net<br><br>Feel free to visit my [http://onlinerichesuniversity.net Online Riches University] web-site: [http://onlinerichesuniversity.net Online Riches University] |
| | |
| ==The theorem==
| |
| Suppose
| |
| | |
| <math>f : \mathbb{R} \to \mathbb{R}</math> | |
| | |
| is a [[continuous function]]. We say that the number ''x'' is a ''periodic point of period m'' if ''f''<sup> ''m''</sup>(''x'') = ''x'' (where ''f''<sup> ''m''</sup> denotes the [[iterated function|composition of ''m'' copies of ''f'']]) and having ''least period m'' if furthermore ''f''<sup> ''k''</sup>(''x'') ≠ ''x'' for all 0 < ''k'' < ''m''. We are interested in the possible periods of periodic points of ''f''. Consider the following [[total order|ordering]] of the positive [[integer]]s: | |
| :<math>\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>
| |
| | |
| We start, that is, with the odd numbers in increasing order, then 2 times the odds, 4 times the odds, 8 times the odds, etc., and at the end we put the powers of two in decreasing order. Every positive integer appears exactly once somewhere on this list. Note that this ordering is not a [[well-order]]ing, since the set <math>\{2^k \ \mid\ k \in \mathbb{N}\}</math> doesn't have a least element. Sharkovskii's theorem states that if ''f'' has a periodic point of least period ''m'' and ''m'' precedes ''n'' in the above ordering, then ''f'' has also a periodic point of least period ''n''.
| |
| | |
| As a consequence, we see that if ''f'' has only finitely many periodic points, then they must all have periods which 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.
| |
| | |
| Interestingly, the above "Sharkovskii ordering" of the positive integers also occurs in a slightly different context in connection with the logistic map: the ''stable'' cycles appear in this order in the bifurcation diagram, starting with 1 and ending with 3, as the parameter is increased. (Here we ignore a stable cycle if a stable cycle of the same order has occurred earlier.)
| |
| | |
| The assumption of continuity is important, as the discontinuous function <math>f : x \mapsto (1-x)^{-1}</math>, for which every value has period 3, would otherwise be a counterexample.
| |
| | |
| ==Generalizations==
| |
| 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.
| |
| | |
| ==References==
| |
| * {{mathworld|urlname=SharkovskysTheorem |title=Sharkovskys Theorem}}
| |
| * {{planetmathref|id=3751|title=Sharkovskii's theorem}}
| |
| * {{cite book| last = Teschl| given = Gerald|authorlink=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 = http://www.mat.univie.ac.at/~gerald/ftp/book-ode/}}
| |
| | |
| ==External links==
| |
| * Keith Burns and Boris Hasselblatt, [http://math.arizona.edu/~dwang/BurnsHasselblattRevised-1.pdf The Sharkovsky theorem: a natural direct proof]
| |
| | |
| [[Category:Theorems in dynamical systems]] | |
| [[Category:Ukrainian inventions]]
| |
The author is known by title of Lura Avery though it is not her birth name. Since I was 18 I have been working to be a stock control and order filler but the promotion never comes. It's not a common thing but the things i like doing is to base jump but I've not made funds with the problem. Online Riches University Review Alabama is where our residence is but I am going to have move in a full year or 5. He's been working on his website for sometime now. Have a look here: http://onlinerichesuniversity.net
Feel free to visit my Online Riches University web-site: Online Riches University