📂動力学

マップシステムのオービット

定義¹

マップ $f : X \to X$ と $p \in X$ に対して $f^{k} (p) = p$ を満たす最小の自然数を $k \in \mathbb{N}$ としよう。

1. マップ $f : X \to X$ と点 $x \in X$ に対して、$f$ の下での集合 $\left\{ x , f(x) , f^{2} , \cdots \right\}$ を $x$ の軌道^orbitという。この時、$x$ を軌道の初期値^{initial value}という。
2. 初期値 $p$ を持つ軌道 $\left\{ p , f (p) , f^{2} (p) , \cdots \right\}$ を周期-$k$ 軌道といい、$p$ を周期-$k$ ポイントという。
3. $p$ が $f^{k}$ のシンクならば、$p$ の周期-$k$ 軌道を**(周期的)シンクといい、$f^{k}$ のソースならば、$p$ の周期-$k$ 軌道を(周期的)ソース**という。
4. ある$N \in \mathbb{N}$ と全ての $n \ge N$ に対して $f^{n+k} (p) = f^{n} (p)$ を満たすなら、$p$ はイベンチュアリー周期^{eventually periodic}という。
5. 軌道 $\left\{ p , f (p) , f^{2} (p) , \cdots , f^{n} (p) , \cdots \right\}$ に対して $\displaystyle \lim_{n \to \infty} | f^{n} (p) - x_{n} | = 0$ を満たす周期軌道 $\left\{ x_{1} , \cdots , x_{n} \right\}$ が存在するなら、$\left\{ p , f (p) , f^{2} (p) , \cdots , f^{n} (p) , \cdots \right\}$ はアシンプトティカリー周期^{asymtotically periodic}という。

説明

周期-$k$ 軌道が存在するということは本質的に $f^{k}$ が固定点を持つことと同じである。したがって、周期を持つことや固定点を持つことは、マップを何回適用するかの違いに過ぎない。したがって、概念的な勉強が終わった後には、全ての定理や上位概念が固定点を基準にその表現を合わせることになる。「周期」とは自然数に対して一般化された「固定点」と考えよう。

アシンプトティカリー周期であり、正確にその$\left\{ x_{1} , \cdots , x_{n} \right\}$ と同じになるならば、それをイベンチュアリー周期とも言える。また、周期シンク軌道に収束する軌道はアシンプトティカリー周期である。

一方 $X = \mathbb{R}$ の場合、以下のような簡単な定理を考えることができる。

定理²

$f$ の周期-$k$ 軌道を $\left\{ p_{1} , p_{2} , \cdots , p_{k} \right\}$ としよう。

$\left| f '(p_{1}) \cdots f '(p_{k}) \right| < 1$ ならば、$\left\{ p_{1} , p_{2} , \cdots , p_{k} \right\}$ はシンクであり、$\left| f '(p_{1}) \cdots f '(p_{k}) \right| > 1$ であれば、$\left\{ p_{1} , p_{2} , \cdots , p_{k} \right\}$ はソースである。

証明

チェーンルールにより、

$$\begin{align*} ( f^{k} )' ( p_{1} ) =& \left( f \left( f^{k-1} \right) \right)' ( p_{1} ) \\ =& f ' \left( \left( f^{k-1} \right) \right) \left( f^{k-1} \right)' ( p_{1} ) \\ =& f ' \left( \left( f^{k-1} \right) \right) f ' \left( \left( f^{k-2} \right) \right) \cdots f ' ( p_{1} ) \\ =& f ' ( p_{k} ) f ' ( p_{k-1} ) \cdots f ' ( p_{1} ) \end{align*}$$

スムースな $f : \mathbb{R} \to \mathbb{R}$ に対して、ある $p \in \mathbb{R}$ が固定点だとしよう。

[1] $| f ' (p) | < 1$ ならば、$p$ はシンクである。

[2] $| f ' (p) | > 1$ ならば、$p$ はソースである。

$| ( f^{k} )' ( p_{1} ) | = | f ' ( p_{k} ) f ' ( p_{k-1} ) \cdots f ' ( p_{1} ) |$ に1次元マップのシンクとソースの判定法を適用すれば、求める結果を得る。

■