【数学書は1日1時間】An Introduction to Chaotic Dynamical Systems §1.5 (22日目)
前書き
この記事はRobert L. Devaney著
「An Introduction to Chaotic Dynamical Systems Second Edition」
- 作者: Robert Devaney
- 出版社/メーカー: Westview Press
- 発売日: 1989/01/21
- メディア: ハードカバー
- この商品を含むブログを見る
§1.5 の演習問題
「An Introduction to Chaotic Dynamical Systems Second Edition」には演習問題の答えが付属していません。そのため、ここに載せた答案は間違っている可能性があります。間違い等に気づきましたらお知らせくださると助かります。
1.
$F_2(x)=2x(1-x)$は$0<x<1$ならば$n\to\infty$のとき、$F_2^n(x)\to1/2$となることを証明せよ。
解答
まずは$0<x<1/2$のときについて考える。このとき$x<F_2(x)<1/2$であるから$n\to\infty$のとき$F_2(x)^n\to1/2$となる。$1/2<x<1$のとき、$0<F_2(x)<1/2$である。よって$F_2(x)<F_2^2(x)<1/2$であるから、同様に$n\to\infty$のとき$F_2(x)^n\to1/2$。$x=1/2$のとき、$F_2(x)=1/2$である。以上を総括すれば、$0<x<1$ならば、$n\to\infty$のとき$F_2^n(x)\to1/2$となる。
2.
単位区間上の$F_4^n(x)$のグラフを描け。ここで$F_4(x)=4x(1-x)$である。さらに、$F_4$は少なくとも$2^n$個の周期$n$の周期点を持つことを結論付けよ。
解答
$F_4$は区間$[0, \frac{1}{2}], [\frac{1}{2}, 1]$を$[0, 1]$に単調増加、単調減少しながら写す。よって、$[0, \frac{1}{2}], [\frac{1}{2}, 1]$上には$F^2_4$によってそれぞれ1つの起伏が出来るはずである。起伏の頂点は$1$なので、$[0, \frac{1}{2}]$に$F^2_4(c)=1$を満たすある$c$が存在する。よって$[0, c], [c, 1/2]$は$F^2_4$によって$[0,1]$に単調に写される。$[\frac{1}{2}, 1]$についても同様である。よって、$[0, \frac{1}{2}], [\frac{1}{2}, 1]$から生じる$4$つの区間上には$F^3_4$によって$4$つの起伏が出来る。
この議論を繰り返せば、$F^n_4$では$2^{n-1}$個の起伏ができ、それぞれの起伏と対角線との交点は$2$つあるので、$F^n_4$の固定点は$2^n$個である。
3.
次の式により定まるtent 写像の単位区間上のグラフを描け。
$$T_2(x)=\begin{cases} 2x &0\leq x\leq 1/2 \\ 2-2x &1/2\leq x\leq 1\end{cases}$$ 更に、$T^n_2$のグラフを用いて$T_2$は周期$n$の周期点をちょうど$2^n$個持つことを結論づけよ。
解答
上の図2から分かる通り,$T^n_2$は$2^{n-1}$個の起伏をもつので、$T^n_2$と対角線との交点は$2^n$個ある。
4.
$T(x)$のすべての周期点の集合は$[0, 1]$において稠密であることを証明せよ。
解答
$T^n_2$の固定点は$[0, 1]$を$2^n$等分した各区間にそれぞれ存在することを示す。
$T_2$は区間$[0, \frac{1}{2}], [\frac{1}{2}, 1]$をそれぞれ線形に$[0,1]$に写す。よって、$T^2_2$によって$[0, \frac{1}{2}], [\frac{1}{2}, 1]$上には起伏がそれぞれ1つできる。起伏は区分線形であり傾きは$1/2, -1/2, 1/2, -1/2$である。起伏の頂点はそれぞれ$1/4, 3/4$であるから、$4$つの周期点はそれぞれ$[0,\frac{1}{4}], [\frac{1}{4},\frac{2}{4}], [\frac{2}{4},\frac{3}{4}], [\frac{3}{4}, 1]$上にそれぞれ1つ存在する。以上の議論を帰納的に続ければ、$F^n_2$の固定点は$[0,1]$を等分した$2^n$個の区間、$[0,2^{-n}], [2^{-n}, 2\ \cdot\ 2^{-n}], \dots,[(2^n-1)2^{-n}, 1]$にそれぞれ$1$つずつ存在する。よって$n\to\infty$のとき、$[0, 1]$はいくらでも小さい区間に分割され、それぞれに固定点が$1$つずつ存在する。
5.
baker 写像
$$B(x)=\begin{cases}2x &0\leq x\leq 1/2\\ 2x-1 &1/2<x\leq 1 \end{cases}$$ のグラフを描け。周期$n$の周期点を$B$はいくつ持つ?
解答
$B^n$は$[0,1]$に$2^n$個の等しい線分を持つ。$0\leq B^n(x)\leq 1$であるから、各線分と対角線の交点は$1$つである。よって周期$n$の周期点は$2^n$個ある。
今日の数学はここまで。続きはまた明日。
【数学書は1日1時間】An Introduction to Chaotic Dynamical Systems §1.5 (21日目)
前書き
この記事はRobert L. Devaney著
「An Introduction to Chaotic Dynamical Systems Second Edition」
- 作者: Robert Devaney
- 出版社/メーカー: Westview Press
- 発売日: 1989/01/21
- メディア: ハードカバー
- この商品を含むブログを見る
$\Lambda$がCantor集合であることの証明 (続き)
昨日の記事において、Cantor 集合の定義5.4において、「真部分集合」と訳した箇所を「完全な部分集合」と改めました。それに付随して集合が「完全」であることの説明も書き加えましたので、ご確認ください。
$\Lambda$は閉区間の共通部分で出来ているから、$\Lambda$は閉集合である。今から、$\Lambda$が完全であることを証明する。最初に任意の$A_k$の端点は$\Lambda$に含まれることに注意せよ。確かに、そのような点は最終的に固定点$0$に写されるから反復において$I$にとどまり続ける。今、$p\in\Lambda$は孤立しているなら、十分に近い全ての点は必ず$F$の反復の下で$I$から離れる。そのような点はいくつかの$A_k$に含まれるはずである。このとき$p$に収束する$A_k$の端点の点列が存在するか、削除された$p$の近傍のすべての点はいくつかの$F^n$によって$I$の外に写される。前者の場合、$A_k$の端点は$0$に写されるため、$p$は$\Lambda$内にある。後者の場合、$F^n$は$p$を$0$に写し、$p$の近傍内のほかのすべての点は実軸の負に写すと仮定する。すると、$F^n$は$p$で極大値を持つので$(F^n)'(p)=0$である。連鎖律から、いくらかの$i<n$について$F'(F^i(p))=0$が成り立つ。それゆえ、$F^i(p)=1/2$である。しかしながら、$F^{i+1}(p)\mathrlap{\,/}{\in} I$であるから$F^n(p)\to-\infty$であり、$F^n(p)=0$であることに矛盾する。よって$p$はる累積点であり、証明を得る。
定理 5.6
$\mu>2+\sqrt{5}$ならば$\Lambda$はCantor 集合である。
注意
$\mu>4$についても定理は真であるが、証明はより繊細である。
私たちは$\mu>4$における$F_\mu$の大体の軌道の挙動について理解することが出来た。点は$F_\mu$の反復によって$=\infty$に向かう傾向にあるか、軌道全体が$\Lambda$内に存在するかのどちらかである。それゆえ、点が$\Lambda$に属さない限り、$F_\mu$における点の軌道は完全に理解できる。次節では$\Lambda$上のダイナミクスをを解析することによって$F_\mu$の解析を完了する。
$\mu>2+\sqrt{5}$のとき、$I_0\cup I_1$において$|F'_\mu(x)|>1$であった。これは$\Lambda$上では$|F'_\mu(x)|>1$であることを意味する。これは周期点だけでなく、集合全体で$|F'_\mu(x)|\mathrlap{\,/}{=}1$を要求することを除いて、§3の双曲性条件*1と同様の条件である。これは双曲型集合*2を定義する動機付けになる。
定義
集合$\Gamma\subset \mathbb{R}$が$f$についての反発的(それぞれ吸引的)集合であるとは、$\Gamma$は閉集合かつ有界かつ$f$の下で不変であり、ある$N>0$が存在して$|(f^n)'(x)|>1$(それぞれ$<1$)を全ての$n\geq N$および全ての$x\in\Gamma$について成り立つことを言う。
$\mu>2+\sqrt{5}$のときの二次関数についてのCantor 集合$\Lambda$は勿論、$N=1$のときの反発的双曲型集合である。
今日の数学はここまで。続きはまた明日。
【数学書は1日1時間】An Introduction to Chaotic Dynamical Systems §1.5 (20日目)
前書き
この記事はRobert L. Devaney著
「An Introduction to Chaotic Dynamical Systems Second Edition」
- 作者: Robert Devaney
- 出版社/メーカー: Westview Press
- 発売日: 1989/01/21
- メディア: ハードカバー
- この商品を含むブログを見る
$\mu>4$のときの二次関数族
前節の例4.10において$\mu$の値が$3$を超えると$F_\mu$のダイナミクスは周期$2$の新たな周期点が生まれるなどして、より複雑になる。
今は$\mu>4$の場合に集中しよう。この説の残りのにおいて$F_\mu$の添え字$\mu$は削って$F$とだけ表記することにする。昨日と同じく、すべての$F$の面白いダイナミクスは単位区間$I:=[0,1]$の中で起こる。$\mu>4$であれば$F$の最大値$\mu/4$は$1$よりも大きくなることに注意せよ。それゆえ、$F$によって$I$を跳び越してしまう点が存在する。そのような点の集合を$A_0$と表すことにする。明らかに$A_0$は$1/2$を中心にした開区間で、$x\in A_0$ならば$F(x)>1$であり、それゆえ$F^2(x)<0$で$F^n(x)\to-\infty$という性質を持つ。
$A_1 := {x\in I|F(x)\in A_0}$とする。$x\in A_1$ならば、$F^2(x)>1, F^3(x)<0$であるから、$A_0$と同様に$F^n(x)\to-\infty$となる。帰納的に$A_n:={x\in I|F^n(x)\in A_0}$とする。$A_n$の全ての点は$n+1$回目の反復で$I$からはみ出す。よって、$x$が$A_n$に属しているならば、$x$の軌道は最終的に$-\infty$に向かう傾向にある。私たちは$A_n$に属するすべての点の最終的な運命をしったので、解析を残しているのは$I$から決してはみ出さない点の軌道だけてあり、言い換えるとそのような点の集合は
$$I-\left(\bigcup^\infty_{n=0} A_n\right)$$
である。この集合を$\Lambda$で表す。最初の疑問は「どの点がこの集合に含まれているか?」である。$\Lambda$を理解するために、より注意深く再帰的な構造をこれから記述していく。
$A_0$は$1/2$を中心にした開区間であるから、$I-A_0$は二つの閉区間、左の$I_0$と右の$I_1$からなる。
$F$の制限$F|_{I_0}:I_0\to I$と$F|_{I_1}:I_1\to I$は全単射であることに注意せよ。このとき$F$は$I_0$では増加、$I_1$では減少する。$F(I_0)=F(I_1)=I$であるから、$F$によって$A_0$に写される開区間の組(片方は$I_0$に含まれ、もう片方は$I_1$に含まれる)が存在する。それゆえ、この組が$A_1$である。
さらに$I-(A_0\cup A_1)$について考えていく。この集合は四つの閉区間で構成され、それぞれの元を$I_0$または$I_1$の元に一対一で対応させる。結果として、$F^2$はそれぞれを$I$上*1に写す。従って、$F^2$によって$A_0$上に写される部分区間を$I-(A_0\cup A_1)$に含まれる四つのそれぞれの区間が有することが分かる。よって、それらの区間の点は$F$の三回目の反復によって$I$からはみ出す。
これを続けていくと、2つの事実に行きつく。まず一つ目に、$A_n$は$2^n$個のバラバラな開区間から構成されている。それゆえ、$I-(A_0\cup \dots\cup A_n)$は$2^{n+1}$個の閉集合で構成される。二つ目に、$F^{n+1}$はそれらの閉集合を$I$上に単調に写す。実際、$F^{n+1}$のグラフはそれらの区間で増加と減少を交互に繰り返す。したがって、$F^{n+1}$のグラフにはちょうど$2^n$個の山が$I$上にある形となり、それゆえ$F^n$は少なくとも$2^n$個の固定点を持つ、もしくは同値であるが、$Per_n(F)$は$I$の$2^n$個の点で構成される。明らかに、$\Lambda$の構造は前日の状況$\mu<3$のときと比べて$\mu>4$のときの方がかなり複雑になっている。
$\Lambda$の構造はCantorの三進集合*2を想起させる。つまり、$\Lambda$は一連の閉区間の「中央」から開区間を連続して削除することによって得られている。
定義 5.4
集合$\Lambda$がCantor 集合であるとは、それが平集合であり、完全に非連結であって、かつ$I$の完全な部分集合*3であることである。集合が非連結であるとは、いかなる区間をも含まないことを指す。集合が完全*4であるとは、それに含まれるすべての点が累積点*5であるか、集合の他の点による極限であることをいう。
例 5.5 (Cantorの三進集合)
これはCantor 集合の古典的な例である。始めに$I$から、"中央三分の一" i.e. 区間$(\frac{1}{3},\frac{2}{3})$を消す。次に残ったものから2つの中央三分の一 i.e. 区間$(\frac{1}{9},\frac{2}{9})$と$(\frac{7}{9}, \frac{8}{9})$を消す。この流れのまま中央三分の一を消し続ける。ここで$n$回目のこの手順では$2^n$個の開集合が削除されることに気を付けよ。従って、この方法は$\Lambda$の構造と完全に相似である。演習問題7.ではCantorの三進集合が確かにCantor 集合の定義を満たすことを示す。
$\Lambda$がCantor 集合であることを保証するために、追加の前提を$\mu$に課す必要がある。$\mu$は全ての$x\in I_0\cup I_1$に対して$|F'(x)|>1$を満たすとする。これは$I_0$と$I_1$の$A_0$に接する端点で最も$|F'(x)|$が小さいことを利用して、$|F'(x)|=1$の方程式を解けば、$\mu>2+\sqrt{5}$を満たすことと同値であることが簡単にわかる。それゆえ、そのような値の$\mu$について、ある$\lambda>1$が存在して全ての$x\in \Lambda$に対して$|F'(x)|>\lambda$を満たす。連鎖律から同様にして$|(F^n)'(x)|>\lambda^n$が導かれる。$\Lambda$がいかなる区間をも含まないことを主張したい。そのために$x, y\in\Lambda, x\mathrlap{\,/}{=} y$であって、$[x,y]\subset\Lambda$とする。すると、全ての$\alpha\in[x, y]$に対し$|(F^n)'(\alpha)|>\lambda^n$である。$n$を選択して$\lambda^n|y-x|>1$とする。平均値の定理から、$|F^n(y)-F^n(x)|\geq \lambda^n|y-x|>1$が導かれ、これは少なくとも$F^n(x)$または$F^n(y)$が$I$の外に存在することを示している。しかし、これは矛盾である。よって、$\Lambda$は完全に非連結である。
今日の数学はここまで。続きはまた明日。
【数学書は1日1時間】An Introduction to Chaotic Dynamical Systems §1.5 (19日目)
前書き
この記事はRobert L. Devaney著
「An Introduction to Chaotic Dynamical Systems Second Edition」
- 作者: Robert Devaney
- 出版社/メーカー: Westview Press
- 発売日: 1989/01/21
- メディア: ハードカバー
- この商品を含むブログを見る
§1.5 AN EXAMPLE: THE QUADRATIC FAMILY
二次関数族の性質
この節では二次関数の族$F_\mu(x)=\mu x(1-x)$の議論を続けていく。実際、力学系で引き起こされるほとんどの重要な現象の多くを示すため、この章の残りにおいてこの例にしばしば戻ってくるだろう。
命題 5.1
- $F_\mu(0)=F_\mu(1)=0$かつ$F_\mu(p_\mu)=p_\mu$、ここで$p_\mu=\frac{\mu-1}{\mu}$
- $\mu>1$ならば$0<p_\mu<1$
証明
自明。
これから、$\mu>1$の場合を中心に考える。次の命題は$[0, 1]$に属していないすべての点は$-\infty$に向かう傾向にあることを示す。
命題 5.2
$\mu>1$とする。$x<0$ならば$n\to-\infty$のとき$F_\mu^n(x)\to-\infty$となる。同様に、$x>1$ならば$n\to\infty$のとき$F_\mu^n(x)\to-\infty$となる。
証明
$x<0$ならば、$\mu x(1-x)<x$であるから$F_\mu(x)<x$。それゆえ$F_\mu^n(x)$は減少点列である。この点列は$p$に収束できない*1、その場合$F_\mu^{n+1}(x)\to F_\mu(p)$である。一方、$F_\mu(p)\to p$である。それゆえ$F^n_\mu(p)\to-\infty$。$x>1$ならば$F_\mu(x)<0$より同じように$F^n(x)\to-\infty$である。
この命題の結果として、全ての興味深い二次関数族のすべての系は単位区間$[0,1]$に引き起こされることが分かる。低い$\mu$の値に対して、$F_\mu$のダイナミクスは複雑すぎることはない。
命題 5.2
$1<\mu<3$とする。 1. $F_\mu$は$p_\mu=(\mu-1)/\mu$において吸引的な固定点を持ち、$0$において反発的な固定点を持つ。 2. $0<x<1$ならば、
$$\lim_{n\to\infty} F^n_\mu(x)=p_\mu$$
証明
- 前節の最後、例4.10において証明済み。
- まず最初に$1<\mu<2$の場合について扱う。$x$が区間$(0,1/2]$に属しているとする。グラフによる解析により$x\mathrlap{\,/}{=} p_\mu$であるならば、直ちに次のことが示される。
$$|F_\mu(x)-p_\mu|<|x-p_\mu|$$ 図5.1を見よ。結果として$n\to\infty$のとき$F^n_\mu(x)\to p_\mu$であることが分かる。一方で、$x$が区間$(1/2,1)$に存在する場合、$F_\mu(x)$は$(0, 1/2)$に属するから、$n\to\infty$のとき
$$F^n_\mu(x)=F^{n-1}_\mu(F_\mu(x))\to p_\mu.$$ $2<\mu<3$の場合はより難しい。$1/2<p_\mu<1$であることに注意せよ。$\hat p_\mu\in(0,1/2)$を$F_\mu(\hat p_\mu)=p_\mu$を満たすものとする。区間$[\hat p_\mu, p_\mu]$は$F_\mu$によって$[p_\mu, \mu/4]$に写され、この区間は$F_\mu$によってさらに$[\frac{\mu^2}{4}(1-\mu/4), p]$に写される。図5.2に示すように$\frac{\mu^2}{4}(1-\mu/4)<1/2$であるから、結論として区間$[\hat p_\mu, p_\mu]$は$F^2_\mu$によって$[1/2, p]$に写される。したがって、任意の点$x\in[\hat p_\mu, p_\mu]$に対して$n\to\infty$のとき、$F^n_\mu(x)\to p_\mu$となる。次に$x<\hat p_\mu$とする。再び幾何的な解析はある$k>0$が存在し、すなわち$F^k_\mu\in[\hat p_\mu, p_\mu]$を満たすことを示す。それゆえ、この場合でも同様に$n\to\infty$のとき$F^{n+k}_\mu(x)\to p_\mu$となる。最後に$F_\mu$は区間$(p_\mu,1)$を$(0,p_\mu)$に写す(全射)ので、前のものと同様に$F^{n+k+1}_\mu(x)\to p_\mu$を満たす。$(0,1)=(0,\hat p_\mu)\cup[\hat p_\mu,p_\mu]\cup(p_\mu,1)$であるから、これで終わりである。中間の場合、$\mu=2$が残っている。これについては演習問題1.を見よ。
それゆえ*2、$1<\mu<3$のとき$F_\mu$はたった二つの固定点しか持たず、ほかの$I$内のすべての点は$p_\mu$に漸近する。したがって、$F_\mu$のダイナミクスはこの範囲の$\mu$については完全に理解された。
今日の数学はここまで。続きはまた明日。
【数学書は1日1時間】An Introduction to Chaotic Dynamical Systems §1.4 (18日目)
昨日は疲れたため休みました。すいません。
前書き
この記事はRobert L. Devaney著
「An Introduction to Chaotic Dynamical Systems Second Edition」
- 作者: Robert Devaney
- 出版社/メーカー: Westview Press
- 発売日: 1989/01/21
- メディア: ハードカバー
- この商品を含むブログを見る
§1.4の演習問題
「An Introduction to Chaotic Dynamical Systems Second Edition」には演習問題の答えが付属していません。そのため、ここに載せた答案は間違っている可能性があります。間違い等に気づきましたらお知らせくださると助かります。
2.
次の写像の族に生じる、示されたパラメータ値の分岐点について考えよ*1。
$$\begin{aligned} &a. S_\lambda(x)=\lambda\sin x,\ \lambda=1 \\ &b. E_\lambda(x)=\lambda e^x,\ \lambda=1/e \\ &c. E_\lambda(x)=\lambda e^x,\ \lambda=-e \\ &d. Q_c(x)=x^2 + c,\ c=-3/4 \\ &e. F_\mu(x)=\mu x(1-x),\ \mu=1 \\ &f. A_\lambda(x)=\lambda \tan^{-1}x,\ \lambda=1 \\ &g. A_\lambda(x)=\lambda \tan^{-1}x,\ \lambda=-1 \end{aligned}$$
解答
全部の詳細を記すのは大変なのでどのような分岐であるかについてだけ載せます。
a. $S'_\lambda$の固定点の分岐。パラメーターが増えるにつれ固定点の数は$1\to1\to3$と変化する。
b. $E_\lambda$の固定点の分岐。パラメーターが増えるにつれ固定点の数は$2\to1\to0$と変化する。
c. $E_\lambda$の2周期点の分岐。パラメーターが増えるにつれ周期点の数は$3\to1\to1$と変化する。
d. $Q_c$の2周期点の分岐。パラメーターが増えるにつれ周期点の数は$1\to1\to3$と変化する。
e. $F_\mu$の固定点の分岐。パラメーターが増えるにつれ周期点の数は$2\to1\to2$と変化する。
f. $A_\lambda$の固定点の分岐。パラメーターが増えるにつれ周期点の数は$1\to1\to3$と変化する。
g. $A_\lambda$の2周期点の分岐。パラメーターが増えるにつれ周期点の数は$3\to1\to1$と変化する。
3.
$f$を微分同相写像とする。$f$のすべての双曲型周期点は孤立していることを示せ。
解答
実数$a<b$を$f^n(a)=a$, $f^n(b)=b$かつ$|(f^n)'(a)|, |(f^n)'(b)|\mathrlap{\,/}{=}1$とする。このとき、平均値の定理からある$c\in[a, b]$が存在し、
$$|f^n(a)-f^n(b)| = |(f^n)'(c)(a-b)|$$ を満たす。$a, b$はどちらも周期点であるから、左辺は$|a-b|$と等しい。即ち、
$$\begin{aligned} |a-b|&=|(f^n)'(c)||a-b| \\ 1&=|(f^n)'(c)| \end{aligned}$$ を満たす。
今、$|a-b|\to0$の極限をとれば、$|(f^n)'(c)|\to|(f^n)'(a)|\mathrlap{\,/}{=}1$である。しかし、これは矛盾。
4.
双曲型周期点は孤立している必要はないことを例を通して示せ。
解答
$f(x)=\sin x^{-1}$は$x=0$付近で孤立していない固定点が存在する。
5.
他の双曲型固定点の累積点である非双曲型固定点をもつ$C^1$微分同相の例を見つけよ。
解答
問題の意味を汲み取れませんでした。解答を思いつき次第追記します。
6.
$-\infty<\alpha<1$における力学系の族$f_\alpha(x)=x^3-\alpha x$について考えよ*2。分岐を引き起こす全てのパラメータ値を見つけ、それらの値で変化する$f_\alpha$の相図を記述せよ。
解答
$f_\alpha(x)$の固定点は$x=0, \pm\sqrt{\alpha+1}$である。よって、
$$\begin{aligned}&a.\hspace{3mm} \alpha < -1\text{のとき、固定点は}1つ \\ &b.\hspace{3mm} \alpha = -1\text{のとき、固定点は}2つ \\ &c.\hspace{3mm} \alpha > -1\text{のとき、固定点は}3つ \end{aligned}$$ 存在する。このことから、$\alpha=-1$が固定点に対する唯一の分岐点であると言える。
$f_\alpha$は素周期が$2$以上の周期点は持たないと予想していますが、証明は思いついていません。思いつき次第追記します。
7.
線形写像$f_k(x)=kx$について考える。$f_k$の相図が似ているパラメータの開集合が計4つあることを示せ。ただし、$k=0, \pm1$は例外である。
解答
- $(0, 1).\hspace{3mm}$符号が変化することなく全ての初期値が$0$に収束する。
- $(-1,0).\hspace{3mm}$符号が交互に変化しながら全ての初期値が$0$に収束する。
- $(1,\infty).\hspace{3mm}$符号が変化することなく全ての初期値が無限大に発散する。
- $(-\infty,-1).\hspace{3mm}$符号が交互に変化しながら全ての初期値が無限大に発散する。
今日の数学はここまで。続きはまた明日。
【数学書は1日1時間】An Introduction to Chaotic Dynamical Systems §1.4 (17日目)
前書き
この記事はRobert L. Devaney著
「An Introduction to Chaotic Dynamical Systems Second Edition」
- 作者: Robert Devaney
- 出版社/メーカー: Westview Press
- 発売日: 1989/01/21
- メディア: ハードカバー
- この商品を含むブログを見る
§1.4の演習問題
「An Introduction to Chaotic Dynamical Systems Second Edition」には演習問題の答えが付属していません。そのため、ここに載せた答案は間違っている可能性があります。間違い等に気づきましたらお知らせくださると助かります。
1.
次のそれぞれの写像の周期点を全て見つけ出し、それらが吸引的・反発的・どちらでもないかを分類せよ。さらに相図を描け。
$$\begin{aligned} &a.\ f(x)=x-x^2 \\ &b.\ f(x)=2(x-x^2) \\ &c.\ f(x)=x^3-\frac{1}{9}x \\ &d.\ f(x)=x^3-x \\ &e.\ S(x)=\frac{1}{2}\sin x \\ &f.\ S(x)=\sin x \\ &g.\ E(x)=e^{x-1} \\ &h.\ E(x)=e^x \\ &i.\ A(x)=\tan^{-1}x \\ &j.\ A(x)=\frac{\pi}{4}\tan^{-1}x \\ &k.\ A(x)=-\frac{\pi}{4}\tan^{-1}x \end{aligned}$$
解答
a.
$f(x)=x-x^2=x$を解けば、固定点は$x=0$のみ。$f(x)\leq x$であるから$n>0$に対して$f^n(x)\leq x$。よって$f^n$の固定点は$x=0$のみである。$f'(0)=-1$であるから$0$は吸引的でも反発的でもない。
b.
$f(x)=2(x-x^2)=x$を解けば、固定点は$x=0, 1/2$。それ以外の周期点はない。$f'(0) = 2, f'(1/2)=0$より$0$は反発的、$1/2$はどちらでもない。
c.
$f(x)=x^2-\frac{x}{9}=x$を解けば、固定点は$x=0, \pm\frac{\sqrt{10}}{3}$。それ以外の周期点は無い。$f'(0)=1/9, f'(\pm\frac{\sqrt{10}}{3})=29/9$より$0$は吸引的、$\pm\frac{\sqrt{10}}{3}$は反発的。
d.
$f(x)=x^3-x=x$を解けば、固定点は$x=0, \pm\sqrt{2}$。それ以外の周期点は無い。$f'(0)=-1, f'(\pm\sqrt{2})=5$より$0$はどちらでもなく$\pm\sqrt{2}$は反発的。
e.
$S(x)=\frac{1}{2}\sin x=x$を解けば、固定点は$x=0$。それ以外の周期点は無い。$S'(0)=1/2$より$0$は吸引的。
f.
$S(x)=\sin x = x$を解けば、固定点は$x=0$。それ以外の周期点は無い。$S'(0)=1$よりどちらでもない。
g.
$E(x)=e^{x-1}=x$を解けば、固定点は$x=1$のみ。それ以外の周期点は無い。$E'(1)=1$より$0$はどちらでもない。
h.
$E(x)=e^x=x$は実数解を持たない。よって固定点を持たない。
i.
$A(x)=\tan^{-1}x=x$を解けば、固定点は$x=0$のみ。それ以外の周期点は無い。$A'(0)=1$より$0$はどちらでもない。
j.
$A(x)=\frac{\pi}{4}\tan^{-1}x=x$を解けば、固定点は$x=0$のみ。それ以外の周期点は無い。$A'(0)=\pi/4$より$0$は吸引的。
k.
jと同様に固定点は$x=0$のみ。それ以外の周期点は無く、$A'(0)=-\pi/4$より$0$は吸引的。
今日の数学はここまで。続きはまた明日。
【数学書は1日1時間】An Introduction to Chaotic Dynamical Systems §1.4 (16日目)
前書き
この記事はRobert L. Devaney著
「An Introduction to Chaotic Dynamical Systems Second Edition」
- 作者: Robert Devaney
- 出版社/メーカー: Westview Press
- 発売日: 1989/01/21
- メディア: ハードカバー
- この商品を含むブログを見る
§1.4 HYPERBOLICITY
双極型
双曲型周期点と呼ばれる周期点を持つ写像は多くの典型的な力学系を引き起こし、さらに解析するためのもっとも単純な周期挙動を提供する。
定義4.1
$p$を周期$n$の周期点とする。点$p$が双曲型*1であるとは$|(f^n)'(p)|\mathrlap{\,/}{=} 1$であることである。数$(f^n)'(p)$は周期点の倍率*2と呼ばれる。
例4.2
微分同相$f(x)=\frac{1}{2}(x^3+x)$を考える。このとき$f$は3つの固定点, $x=0, 1, -1$を持つ。$f'(0)=1/2, f'(\pm 1)=2$であることに注意すれば、それぞれの固定点は双曲型であることが分かる。
例4.3
$f(x)=-\frac{1}{2}(x^3+x)$とする。$0$は$f'(0)=-1/2$であるから双曲型固定点である。いま、点$\pm 1$は周期$2$の周期軌道上にある。連鎖律から$(f^2)'(\pm 1)=f'(1)\ \cdot\ f'(-1)=4$と計算できる。それゆえ、この周期点は双曲型である。しかし、区間$(-1, 1)$の点は$0$に向けて渦巻いていくか、$\pm 1$から遠ざかっていくことに注意せよ。
上の例はどちらも$|f'(0)|\leq 1$かつ$0$に近い点は$0$に漸近している。この状況はしばしば引き起こされる。
命題4.4
$p$は$|f'(p)|\leq 1$である双曲型固定点とする。このとき、$p$を含む開区間$U$が存在し、$x\in U$に対して
$$\lim_{n\to\infty}f^n(x) = p$$
証明
$f$は$C^1$級であるから、全ての$x\in[p-\epsilon, p+\epsilon]$に対して$|f'(x)| < A < 1$を満たすような$\epsilon>0$が存在する。平均値の定理より
$$|f(x)-p| = |f(x)-f(p)| \leq A|x-p|<|x-p|\leq \epsilon$$ それゆえ$f(x)$は$[p-\epsilon, p+\epsilon]$に含まれ、実際$x$よりも$p$に近づく。 同様の議論によって
$$|f^n(x)-p|\leq A^n|x-p|$$ であるから、$n\to\infty$のとき$f^n(x)\to p$となる。
注意
定義4.5
$p$を$|(f^n)'(p)|<1$である周期$n$の双曲型周期点とする。この点$p$は吸引的周期点*3と呼ばれる。
それゆえ、周期$n$の吸引的周期点は$f^n$によって自分自身に写される近傍を持つ。そのような近傍は局所安定集合とよばれ$W^s_{loc}$と表される。吸引的不動点は$f'(p)=0, 0 < f'(p)<1, -1 < f'(p) < 0$の3つの条件によって種類分けできるだろう。
命題4.6
$p$を$|f'(p)|>1$を満たす双曲型固定点とする。このとき$p$を含むある開区間$U$が存在し、$x\in U, x\mathrlap{\,/}{=} p$に対してある$k>0$が存在して$f^k(x)\not \in U.$
証明
$f$は$C^1$級であるから、$x\in[p-\epsilon, p+\epsilon]$に対して$|f'(x)| > A > 1$を満たすような$\epsilon > 0$が存在する。平均値の定理より
$$|f(x)-p| = |f(x) - f(p)| \geq A|x-p| > |x-p|$$
よって$f(x)$は$x$よりも$p$から遠ざかる。 同様の議論を通して
$$|f^n(x)-p| > A^n|x-p|$$ $A > 1$より$n\to\infty$のとき$A^n\to\infty$であり、$|f^n(x)-p|\to\infty$。いま、$\epsilon$は有限であるから、ある$k>0$が存在して$f^k(x)\not\in [p-\epsilon, p+\epsilon].$
定義4.7
$|f'(p)|>1$である固定点$p$は反発的固定点と呼ばれる。命題4.6で記述された近傍を局所不安定集合と呼び$W^u_{loc}$で表す。
その結果、双曲型周期点は周期点の微分係数に影響を受ける局所的な挙動を持つ。これは次の例で示すように、微分不可能であるか非双曲型である場合には正しくない。
例4.8
図4.1のそれぞれの写像は$f(0)=0$と$f'(0)=1$を満たすが、$0$付近の非常に異なる相図を持つ。(a)では、写像$f(x)=x+x^3$は弱吸引的固定点を$0$で持つ。(b)では、写像$f(x)=x-x^3$は弱反発的な固定点を$0$に持つ。(c)では、写像$f(x)=x+x^2$は$0$の右側では弱反発的であるが、左側では弱吸引的である。
ほとんどの写像は後で見るように双曲型の周期点しか持たない。しかしながら、非双曲型周期点はしばしば写像の族の中で引き起こされる。これが生じたとき、周期点はしばしば分岐する。後でより広範囲な分岐点の理論を扱う予定だが、今はいくつかの例を与えることにする。
例4.9
2次関数$Q_c(x)=x^2+c$の族について考える。ここで$c$はパラメータである。$Q_c$のグラフは対角線との交点に関して場合分けが出来る。すなわち$c>1/4, c = 1/4, c < 1/4$の3つである。$c > 1/4$のとき$Q_c$は固定点を持たないことに注意せよ。$c=1/4$のとき$x=1/2$において特徴的な非双曲型固定点を$Q_c$は持つ。そして、$c < 1/4$のとき$Q_c$は1つは吸引的でもう一つは反発的な双曲型固定点の組を持つ。したがって、$Q_c$の相図は$c$が$1/4$まで減少するとき変化する。この変化は分岐の一例である。
例4.10
$F_\mu(x) = \mu x(1-x),\ \mu > 1$とする。$F\mu$は2つの固定点$0$と$p_\mu = (\mu-1)/\mu$をもつ。$F\mu'(0) = \mu$と$F_\mu(p_\mu)=2-\mu$であることに注意せよ。それゆえ、$\mu>1$について$0$は反発的であり、$1<\mu<3$について$p_\mu$は吸引的である。$\mu=3$のとき$F_\mu(p_\mu) = -1$である。$\mu$が$3$まで増加するとき、$F^2_\mu$は新しい2つの固定点をもつことに注意せよ。それらは周期$2$の新しい周期点である。これはもう一つの分岐が生じたことを意味する。つまり、$Per_2(F_\mu)$が変化する。
この2次写像の族は一般の理論において重要な事象を確かに明示する。
今日の数学はここまで。続きはまた明日。