周期点

力学系における**周期点**（しゅうきてん、）とは、写像を反復合成することによって元に戻る相空間上の点である。力学系を調べるときの中心的役割を果たす概念の一つ。特に周期1の周期点は不動点と呼ばれる。周期点を含む軌道は周期軌道と呼ばれ、写像 *f* に存在する全ての周期点の集合は Per(*f*) のように書き表される。

周期点ではない点も、写像の反復によって周期点に引き付けられたり、あるいは反発したりする。このような周期点近傍の振る舞いは、周期点での微分係数（多次元写像の場合はヤコビ行列の固有値）で分別できる。周期点は、常微分方程式の周期解とは適当な条件のもとでポアンカレ写像によって対応づけでき、連続力学系と離散力学系を結び付けることができる。

## 定義
相空間を *M* とし、（離散）力学系を定める写像を *f*&thinsp;: *M* &rarr; *M* とする。相空間上の点 *x* &isin; *M* に対する写像 *f* の *n* 回反復合成を *f*&thinsp;*n*(x) で表す。ある *x* について

: f^k(x) = x 

を満たす自然数 *k* が存在するとき、*x* を**周期点**と呼ぶ。周期点の例として、写像 *f*&thinsp;(*x*) = *x*2 &minus; 1 を考える。ここで **R** を実数とし、*x* &isin; **R** である。この写像では、*f*&thinsp;(0) = &minus;1 でさらに *f*&thinsp;(&minus;1) = 0 なので、*x* = 0, &minus;1 は周期点である。

上式を満たす最小の自然数 *k* は**周期**と呼ばれる。あるいは、上式を満たす全ての自然数 *k* を周期と呼び、最小の *k* は**最小周期**などと呼び分ける流儀もある。すなわち上式に加えて

: f^n(x) \ne x\ (1 \le n 

を満たす *k* が周期または最小周期である。以下では特に断りない限り周期と呼ぶ。 

周期 *k* の周期点は、略して ***k'' 周期点'''などと呼ばれる。特に ''k'' = 1 の周期点、すなわち

:<math> f(x) = x </math>

を満たす ''x'' は[[不動点]]と呼ばれる。見方を変えると、''k'' 周期点とは、''k'' 回反復合成の写像 ''f''&thinsp;<sup>''k''</sup> の不動点のことである。

ある周期点 ''x'' に写像を繰り返し適用することで、次のような点列が得られる。

: <math>O(x) = \{ x,\ f(x),\ f^2(x),\cdots, \ f^{k-1}(x),\ x,\ f(x),\ f^2(x),\cdots, \ f^{k-1}(x),\cdots,  \} </math>

このような写像の反復で得られる点列 ''O''(''x'') を[[軌道 (力学系)|軌道]]と呼び、ある周期点から始まる軌道を'''周期軌道'''という。''k'' 周期点で構成される周期軌道も、略して ***k* 周期軌道*'などと呼ばれる。*k* 周期軌道は *k* 個の点から成る。

また、写像 *f* に存在する周期点全体から成る集合は、Per(*f*) などのような記号で表す。任意の周期ではなく *k* 周期点の集合を指定するときは Per*k*&thinsp;(*f*) のように表される。

写像 *f* が1対1ではない場合、周期点ではない点から始まった軌道が途中から周期点になることがある。つまり、非周期点 *x* についてある自然数 *m* が存在して、*i* &ge; *m* を満たす全ての自然数 *i* について

: f^{n+i}(x) = f^{i} x 

を満たす自然数（周期）*n* が存在する場合である。このような非周期点 *x* を**最終的に周期的**である、または**最終的周期点**や**前周期点**という（終局周期的や実質周期点などの和訳もある）。例として、上と同じく *f*&thinsp;(*x*) = *x*2 &minus; 1 を考える。初期点を *x* = 1 とすると、*f*&thinsp;(1) = 0, *f*&thinsp;(0) = &minus;1, *f*&thinsp;(&minus;1) = 0 なので、1 は最終的に周期な点である。さらに初期点を *x* =  としても、*f*&thinsp;() = 1, *f*&thinsp;(1) = 0, *f*&thinsp;(0) = &minus;1, *f*&thinsp;(&minus;1) = 0 なので、 もまた最終的に周期な点である。

周期性は力学系における中心的概念の一つであり、周期点の存在を調べることの重要性は高い。周期軌道自体はとても単純な点列だが、力学系ではもっと複雑な軌道もあり得る。典型的な力学系ではほとんどの軌道は不動点でも周期点でもない。しかし、系全体を調べるときにも周期軌道は中心的役割を果たす。

## 周囲の振る舞い
周期点 *p* から始まる周期軌道に対し、非周期点 *x* から始まる軌道が *n* &rarr; &infin; で収束することがある。ある周期軌道の近くの点が、その周期軌道に引き込まれ近づいていったり、反発して離れたりする問題を安定性という。一般に、写像 *f* の周期 *k* の周期点は *f*&thinsp;*k* の不動点とみなせることから、周期点の存在と安定性の議論は *f*&thinsp;*k* の不動点の存在と安定性の議論に落とし込むことができる。

*k* 周期点 *p* を持つ微分可能な1次元写像 *f*&thinsp;: **R** &rarr; **R** について考える。*p* における反復合成 *f*&thinsp;*k* の微分 (*f*&thinsp;*k*)&prime;(*p*) の絶対値が、

:\left |  (f^{k})^\prime (p) \right \vert  

を満たすとき、*p* は**吸引的**である、または**吸引周期点**などという。一方で

:\left |  (f^{k})^\prime (p) \right \vert > 1 

を満たすとき、*p* は**反発的**である、または**反発周期点**などという。

周期点 *p* は吸引的であれば、任意の *x* &isin; *U* が *n* &rarr; &infin; で *f*&thinsp;*nk*(*x*) &rarr; *p* となるような *p* を含むある開区間 *U* が存在する。周期点 *p* は反発的であれば、*p* ではない点 *x* &isin; *U* に対して、*f*&thinsp;*nk*(*x*) 	&notin; *U* を満たす *n* が存在する。これら自体を吸引的・反発的の定義とする場合もある。

1次元写像の周期点 *p* が吸引的または反発的であるとき、すなわち

:\left |  (f^{k})^\prime (p) \right \vert \ne 1 

を満たすとき、*p* は**双曲型**であるという。また、

:\left |  (f^{k})^\prime (p) \right \vert = 1 

の場合は、*p* は**中立的**あるいは**非双曲型**であるという。

これらの概念は多次元数空間や複素数上の写像に拡張される。*m* 次元写像  *f*&thinsp;: **R***m* &rarr; **R***m* の場合は、周期点 *p* &isin; **R***m* における反復合成 *f*&thinsp;*k* のヤコビ行列 *Df*&thinsp;*k*(*p*) のすべての固有値の絶対値が 1 よりも小さいときに *p* は吸引周期点で、*Df*&thinsp;*k*(*p*) のすべての固有値の絶対値が 1 よりも大きいときに *p* は反発周期点である。多次元写像では1次元写像と異なり、*Df*&thinsp;*k*(*p*) のいくつかの固有値の絶対値が 1 よりも小さく、残りの固有値の絶対値が 1 よりも大きい場合があり、このような周期点 *p* を**鞍点**や**サドル**などという。

例えば、*x*, *y* &isin; **R**2 を変数とする2次元写像 
: f(x, y) = (0.43 - x^2 + 0.4 y,\ x)
は、(0.7, &minus;0.1) という吸引的な2周期点を持つ。この点におけるヤコビ行列は
: Df^2(0.7,\ -0.1) = 
\begin{pmatrix}
0.12 & 0.08 \\
-1.4 & 0.4
\end{pmatrix}

となり、この固有値は共役な複素数となり、それらの絶対値は約 0.4 であるから 1 より小さいことが確かめられる。(0.7, &minus;0.1) と周期を成す相手は (&minus;0.1, 0.7) で、{(0.7, &minus;0.1), (&minus;0.1, 0.7)} という2周期軌道を成す。

微分可能な複素関数 *f*&thinsp;: **C** &rarr; **C** が *k* 周期の周期点 *p* を持つとする。このとき、|(*f&thinsp;<sup>k</sup>*)&prime; (*p*)| k*)&prime; (*p*)| > 1 であれば、周期点 *p* は反発的、|(*f&thinsp;k*)&prime; (*p*)| = 1 であれば、周期点 *p* は中立的であるという。周期点が中立的なとき、複素力学系ではさらに [(*f&thinsp;k*)&prime; (*p*)]<sup>*m*</sup> = 1 を満たす自然数 *m* が存在するとき*'有理的中立周期点**に分類する。そうでない場合は、**無理的中立周期点**と呼ばれる。

多次元数空間上の写像でも、''Df''&thinsp;<sup>''k''</sup>(''p'') のすべての固有値の絶対値が1に等しくないとき、1次元写像と同様に ''p'' は双曲型であるという。大抵の写像では周期点は双曲型だけで、双曲型周期点は解析しやすい振る舞いを持つ。さらに、周期点が双曲型であれば、周期点近傍で系は局所的に[[構造安定]]で、微小な摂動があっても定性的挙動は変わらない。一方で、周期点が非双曲型であれば、微小な摂動によって周期点の構造に変化が起き得る。パラメータを有する写像族の[[分岐 (力学系)|分岐現象]]では、これに係わる非双曲型周期点がしばしば発生する。

周期軌道 ''O'' 上のある周期点 ''p''<sub>1</sub> &isin; ''O'' が吸引的だが、別の周期点 ''p''<sub>2</sub> &isin; ''O'' が反発的であるというようなことは起こらない。同じ周期軌道上の周期点は全て同じ微分係数の値を持つ。よって、周期点の安定性とは、一つ一つの周期点の性質というよりも、その周期点が含まれる周期軌道全体の性質だといえる。

実際、''O'' = {''x''<sub>0</sub>, &hellip; ''x''<sub>''k''&minus;2</sub>, ''x''<sub>''k''&minus;1</sub>} という周期軌道については、合成関数の[[連鎖律]]より

: <math> (f^{k})' (x_{0})=  f'(x_{k-1}) \cdot f'(x_{k-2}) \cdots  f'(x_{0}) </math>

が成り立ち、ある周期点における反復写像 ''f''&thinsp;<sup>''k''</sup> の微分係数は、各周期点における元の写像 ''f'' の微分係数の積と等しい。同様のことが **R**<sup>''m''</sup> 上の写像の周期点に対するヤコビ行列でも成り立つ。一般的に行列の積 ''A''<sub>1</sub>''A''<sub>2</sub>&hellip;''A''<sub>''n''</sub> の[[巡回置換]]は全て同じ固有値であるので、各周期点のヤコビ行列の固有値は等しくなる。

==連続力学系とのつながり==

変数 ''x'' &isin; **R**<sup>''m''</sup> とその[[時間微分]]による[[自励系]][[常微分方程式]]

:<math> \frac{dx}{dt} =f(x) </math>

で定まる連続力学系でも周期性のある解（周期軌道）を持つ場合があり、このような軌道は相空間上で[[単純閉曲線]]となる。時刻 ''t'' と初期値 ''x''<sub>0</sub> に対して ''x'' の値を返す解を ''&phi;''(''t'', ''x''<sub>0</sub>): **R** &times; **R**<sup>''m''</sup> &rarr; **R**<sup>''m''</sup> と表すと、解は[[平衡点|非平衡点]] ''x'' と時間 ''&tau;'' > 0 について ''&phi;''(''t'', ''x''<sub>0</sub>) = ''&phi;''(''t'' + ''&tau;'', ''x''<sub>0</sub>) を満たし、''&tau;'' を周期と呼ぶ。

連続力学系についての結果は、適当な条件があれば写像で定まる離散力学系の結果に翻訳することができる。具体的には、連続力学系の周期軌道 ''&gamma;'' は、その[[ポアンカレ写像]] ''P'' の不動点または周期点に対応する。周期軌道 ''&gamma;'' がポアンカレ断面 &Sigma; を ''n'' 回横切るような閉曲線であれば、&Sigma; 上に ''P'' の ''n'' 周期点およびそれを含む ''n'' 周期軌道が存在する。

周期 ''T'' の周期性を持った[[非自励系]]常微分方程式

:<math> \frac{dx}{dt} =f(t, x) </math>
:<math> f(t, x) = f(t+T, x) </math>

についても、時間 ''T'' 毎に断面を取るポアンカレ写像あるいはストロボ写像が適用できる。この場合、断面上の ''k'' 周期点は、元の微分方程式での周期 ''kT'' で同じ ''x'' に戻る周期解に対応する。

==関連する基本的概念や現象==
一般に、力学系 ''f'' の周期点全体の集合 Per(''f'') は[[不変集合]]で、なおかつ[[極限集合]]でも[[非遊走集合]]でもある。周期点 ''x'' から出発する軌道 ''O''&thinsp;(''x'') は  ''O''&thinsp;(''x'') = ''ω''&thinsp;lim(''x'') で、''f'' が[[同相写像]]であればさらに ''O''&thinsp;(''x'') = ''α''&thinsp;lim(''x'') である。

[[コンパクト空間|コンパクトな]]多様体 ''M'' 上の可微分同相写像 ''f''&thinsp;: ''M'' &rarr; ''M'' の非遊走集合 &Sigma;(''f'') が有限個の双曲型周期点から成り、なおかつ任意の2つの周期点の[[安定多様体]]と不安定多様体が横断的に交わるとき、''f'' を[[モース・スメール系]]という。モース・スメール系であれば、系は構造安定であることが知られている。[[円周]] ''S''<sup>1</sup> 上の力学系では、可微分同相写像全体に対してモース・スメール系が[[稠密集合|稠密]]に存在する。

実数直線 **R** 上の写像に限れば、[[連続写像]]であることを仮定するだけで[[シャルコフスキーの定理]]によって周期点についての強い結論が得られる。この定理では、シャルコフスキー順序と呼ばれる次のような自然数の順序を考える。 

:3 ▹ 5 ▹ 7 ▹ &hellip; ▹ 2''n''+1 ▹ &hellip;
:▹ 3&times;2 ▹ 5&times;2 ▹ 7&times;2 ▹ &hellip; ▹ (2''n''+1)&times;2 ▹ &hellip;
:▹ 3&times;4 ▹ 5&times;4 ▹ 7&times;4 ▹ &hellip; ▹ (2''n''+1)&times;4 ▹ &hellip;
::⁝
:▹ &hellip; ▹ 2<sup>''m''</sup> ▹ &hellip; ▹ 8 ▹ 4 ▹ 2 ▹ 1

''I'' を **R** 上の閉区間とする。このとき、連続写像 ''f'' : **R** &rarr; **R** または ''f'' : ''I'' &rarr; ''I'' に ''k'' 周期点が存在すれば、シャルコフスキー順序の中における自然数 ''k'' の右辺にある自然数全てについての周期点も存在する。 定理の帰結として、3周期点が存在すれば、全ての周期の周期点が存在することが保証される。

パラメータ ''&lambda;'' を持つ写像族 ''f''<sub>''&lambda;''</sub> では、''&lambda;'' がある値を通過するときに相空間上の軌道の幾何学的構造が変化することがある。このような現象を[[分岐 (力学系)|分岐]]という。この一種として[[周期倍分岐]]があり、吸引的な不動点が存在する場合、あるパラメータ ''&lambda;''<sub>0</sub> で反発的な不動点に変わり、代わりに吸引的な2周期点が発生する。一般化すると、周期倍分岐が起こると、吸引的な ''k'' 周期点が消えて、反発的な ''k'' 周期点と吸引的な 2''k'' 周期点が現れる。


[[複素数]] **C** 上で定義された写像の反復では、無限遠点に収束しない初期値の集合の境界として[[ジュリア集合]]が定義される。2次以上の複素係数多項式 ''f'' : **C** &rarr; **C*' のジュリア集合 *J*&thinsp;(*f*) は、*f* の反発周期点の全体の[[閉包 (位相空間論)|閉包]]と合致することが知られる。この事実自体をジュリア集合の定義とする場合もある。さらに有理的中立周期点が存在すれば、それらはジュリア集合に含まれる。

ジュリア集合 *J*&thinsp;(*f*) が *f* の反発周期点の全体の閉包に一致することは、言い換えれば *J* 上で *f* の周期点の集合が稠密に存在することを意味する。一般に、コンパクトな[[距離空間]] *X* 上の連続写像 *f* : *X* &rarr; *X* の周期点集合 Per(*f*) が *X* 上に稠密に存在し、なおかつ *f* が *X* 上で[[位相推移的]]であれば、*f* は[[初期値鋭敏性]]を持つ。ここで位相推移的であるとは、*X* の[[空集合|空ではない]]任意の部分開集合 *U*, *V* について *f*&thinsp;<sup>*n*</sup>(*U*) &cap; *V* &ne; &empty; を満たす *n* > 0 が存在することをいう。ここで初期値鋭敏性を持つとは、ある *&delta;* > 0 があって、任意の *x* &isin; *X* とその任意の近傍 *U* について *d*(*f&thinsp;n*(*x*), *f&thinsp;n*(*y*)) > *&delta;* となるような *y* &isin; *U* と *n* > 0 が存在することをいう。これら周期点の稠密性・位相推移性・初期値鋭敏性を持つ系は、の意味で[[カオス (力学系)|カオス的]]である。広く合意されたカオスの数学的定義はないが、大雑把に言えばカオスとはある種の予測困難性を伴った不規則な振る舞いをいう。カオス的な系に周期点が稠密に存在することは、系の構造の中に規則性を持った骨格のようなものを存在していることを意味する。

==出典==


==参照文献==
*
*
*
*
*
*
*
*
*
*
*
*

==外部リンク==
*[https://encyclopediaofmath.org/wiki/Periodic_point Periodic point]. *Encyclopaedia of Mathematics*
*[https://mathworld.wolfram.com/PeriodicPoint.html Periodic Point]. *MathWorld''