シャルコフスキーの定理のソースを表示

[[数学]]において、{{仮リンク|オレクサンドル・シャルコフスキー|en|Oleksandr Mikolaiovich Sharkovsky}}の名にちなむ'''シャルコフスキーの定理'''（シャルコフスキーのていり、{{Lang-en-short|Sharkovskii's theorem}}）は、[[力学系|離散力学系]]に関する一結果である。この定理の主張の一つとして、[[実数直線]]上の離散力学系が周期 3 の[[周期点]]を持つなら、その他のすべての周期の周期点も持つ、というものがある。

== 定理 ==

ある区間 <math>I\subset \mathbb{R}</math> に対し、

:<math>f : I \to I</math>

は[[連続函数]]であると仮定する。ある ''x'' が「周期 ''m'' の周期点」であるとは、''f''<sup>&nbsp;''m''</sup>(''x'') =&nbsp;''x'' が成立することを言う（ここで ''f''<sup>&nbsp;''m''</sup> は ''f'' の ''m'' 回の[[反復合成写像]]を表す）。さらにすべての 0&nbsp;<&nbsp;''k''&nbsp;<&nbsp;''m'' に対して ''f''<sup>&nbsp;''k''</sup>(''x'') ≠ ''x'' であるなら、そのような ''m'' は最小周期と言う。今、''f'' の周期点として起こり得るすべての周期に興味がある。正の[[整数]]全体の[[全順序|順序]]を次のように小さい順に与える：

:<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>

すなわち、増加していく順番に奇数を並べ、その次にそれらの 2 倍、4 倍、8 倍 ... を並べる。そして最後に、減少していく順番で 2 のべき乗を並べる。するとこの表において、すべての正の整数は丁度一回現れることになる。ここで、集合 <math>\{2^k \mid k \in \mathbb{N}\}</math> は最小元を含まないため、この順序は[[整列集合|整列順序]]でないことに注意されたい。シャルコフスキーの定理では、''f'' が最小周期 ''m'' の周期点を持ち、上述の順番で ''m'' が ''n'' の先に現れるものであるなら、''f'' は最小周期 ''n'' の周期点も持つことが示されている。

したがって、''f'' が高々有限個の周期点しか持たないなら、それらの周期はすべて必ず 2 のべきでなければならない。さらに、周期 3 の周期点が存在するなら、他のすべての周期の周期点が存在することも分かる。

シャルコフスキーの定理で示されているのは、各周期を持つサイクルの存在であり、それらが''安定''<!--未定義用語-->であるとは示されていない。[[ロジスティック写像]]のようなシステムに対して、[[分岐図 (力学系)|分岐図]]は幅広いパラメータの値域を示すが、そのサイクルの周期は一見すると 3 のみである。実際は、そこには全ての周期のサイクルが必ず存在するが、それらは安定ではないためコンピュータで作成された図では視認できないのである。

興味深いことに、上述の正の整数の「シャルコフスキー順序」は、ロジスティック写像との関連でわずかに異なった文脈においても現れる：すなわち分岐図において、パラメータが増加するにつれて 1 からはじまり 3 で終わる安定なサイクルが、この順序で現れるのである（ここで同じ次数の安定なサイクルがそれ以前に生じる場合は、カウントしないことにする）。

連続性の仮定は重要である。実際、不連続函数 <math>f : x \mapsto (1-x)^{-1}</math> はすべての値が周期 3 を持つため、反例となってしまう。

== 一般化 ==

シャルコフスキーの定理は、他の位相空間上の力学系に直ちに応用できるものではない。周期 3 の周期点のみを持つ[[アーノルドの舌|円周写像]]を見つけることは簡単である。すなわち、120度の回転を与える写像である。しかし、その空間の写像類群から周期軌道を除いたものを含むいくつかの一般化も存在する。

== 参考文献 ==
* {{mathworld|urlname=SharkovskysTheorem |title=Sharkovskys Theorem}}
* {{cite book| last = Teschl| given = Gerald|authorlink=:en: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/}}

== 外部リンク ==
* Keith Burns and Boris Hasselblatt, [http://math.arizona.edu/~dwang/BurnsHasselblattRevised-1.pdf The Sharkovsky theorem: a natural direct proof]

{{DEFAULTSORT:しやるこふすきいのていり}}
[[Category:力学系の定理]]
[[Category:数学に関する記事]]