カオス理論における共役マップ
概要
カオス理論では、マップの共役は一種のアイソメトリ、アイソモルフィズムと似ており、実際にはもっと一般的な動的な文脈でホメオモルフィズムそのものである。
1 教科書によって完全に同じではないかもしれないが、目的は正確に同じである。数学では、計算が簡単な場所である性質が確認された後に、実際に証明が必要な場所でその性質を保存することである。
定義2
$X$で定義された2つのマップに対し、$C \circ f = g \circ C$を満たす連続な単射$C$が存在する場合、$f$と$g$は共役conjugateであると言われる。
定理3
全ての$x$に対して、$g \left( C(x) \right) = C \left( f(x) \right)$としよう。
- [2]: $f$のピリオディック-$k$オービットで$C’ \ne 0$である場合 $$\left( g^{k} \right) ' \left( C (x) \right) = \left( f^{k} \right) ' (x)$$
説明
この2つの定理は、共役性がマップを繰り返し適用することや微分を取ることと関係なく保持されることを意味する。これは、あるシステムでリアプノフ指数を計算するのが容易であれば、それと共役なシステムでもリアプノフ指数を計算するのが容易であるということである。
例4
良い例は、ロジスティックマップがカオティックなオービットを持つことを示すことである。
例えば、テントマップ$T : [0,1] \to [0,1]$は$T(x) = 1 - | 1 - 2x|$として定義され、ロジスティックマップ$G$は$a=4$のロジスティックファミリーの一部として$G (x) := g_{4} (x) = 4x(1-x)$として定義される。この場合
$$C(x) : = {{ 1- \cos \pi x} \over { 2 }}$$
は、$T$と$G$が共役になるように存在する連続な単射である。実際に計算してみると
$$G(C(x)) = \sin^2 \pi x = C ( T(x) )$$
となり、容易に確認できる。
上の図は、テントマップを繰り返し適用したときのグラフと、$y=x$との交点を見つけることで$T$のピリオディック-$k$ポイントを見つけ出す過程を示している。これにより、$T$は全ての$k \in \mathbb{N}$に対してピリオディック-$k$オービットが存在することがわかり、$C$の存在と定理1により、$G$も全ての$k \in \mathbb{N}$に対してピリオディック-$k$オービットが存在することがわかる。
一方で、$[0,1]$のほぼ至る所で$\ln \left| \left( T^{k} (x) \right)' \right| = \ln 2 > 0$であるため、$T$のピリオディックポイント$x$はソースであり、$G$のピリオディックポイント$C(X)$もソースである。したがって、$T$のピリオディックオービット$\left\{ x , \cdots , \right\}$に対応する$G$のピリオディックオービット$\left\{ C(x) , \cdots \right\}$は非漸近的にピリオディックであり得ず、定理[2]によりリアプノフ指数が正であることが保証される。
これは結局、ロジスティックマップがカオティックオービットを持っていることを意味する。この間接的な証明は難しいと感じるかもしれないが、ロジスティックマップがカオティックオービットを持っていることを直接証明するよりはるかに容易であるだろう。
証明
定理1の証明
$C \left( f^{k-1} (x) \right) = g^{k-1} \left( C (x) \right)$が成り立つと仮定すると、
$$ \begin{align*} C \left( f^{k} (x) \right) =& g \left[ C \left( f^{k-1} (x) \right) \right] \\ =& g \left[ g^{k-1} \left( C (x) \right) \right] \\ =& g^{k} \left( C (x) \right) \end{align*} $$
一方、$k=1$のとき、$f^{1} (x) = x$であるため、
$$ g \left( C(x) \right) = C \left( f(x) \right) = C (x) $$
数学的帰納法により全ての$k \in \mathbb{N}$に対して、
$$ C \left( f^{k} (x) \right) = g^{k} \left( C (x) \right) $$
$x$が$f$のピリオディック-$k$ポイントである場合、$f^{k} (x) = x$であるため、
$$ g^{k} \left( C (x) \right) = C(x) $$
したがって、$C(x)$は$g$のピリオディック-$k$ポイントとなる。
■
定理[2]の証明
$x$が$f$のピリオディック-$k$ポイントであるとしよう。
定理1の証明から、
$$ g^{k} \left( C (x) \right) = C \left( f^{k} (x) \right) $$
チェインルールにより、
$$ \left( g^{k} \right)' \left( C(x) \right) C’ (x) = C ' (x) \left( f^{k} \right)' (x) $$
$C ' (x) \ne 0$であるため、両辺から項を消去すると、
$$ \left( g^{k} \right)' \left( C(x) \right) = \left( f^{k} \right)' (x) $$
■
コード
以下は、テントマップ$T$、ロジスティックマップ$G$、および$T^{k}$のグラフを描画するR言語で書かれたコードである。
tent<-function(x) {1 - abs(1-2*x)}
logistic<-function(x) {4*x*(1-x)}
win.graph(8,4); par(mfrow=c(1,2))
plot(tent,main='Tent Map T')
plot(logistic,main='Logistic Map G\')
win.graph(9,3.5); par(mfrow=c(1,3))
plot(tent,main='T',xlab='x',ylab='y'); abline(0,1)
plot(seq(0,1,len=1000),tent(tent(seq(0,1,len=1000))),main='T^2',type='l',xlab='x',ylab='y');abline(0,1)
plot(seq(0,1,len=1000),tent(tent(tent(tent(tent(seq(0,1,len=1000))))))
,main='T^k',type='l',xlab='x',ylab='y');abline(0,1)