標準写像について
なんかカオスの話が出たので
標準写像について書こう
.....と思ったがめんどくさくなってきてしまった。
どんな話をしたかったのかの概略だけ書いて終わりにします
ツッコミ歓迎
写像によって動かない点のことを固定点といって
固定点から少しずれた点のふるまいによって種類別させられる。
少しずれた点のふるまいの種類としては
固定点に吸い寄せられていく、（シンク）
固定点から離れていく（リペラー）
ある軸方向では固定点に吸い寄せられるがある軸方向では固定点から離れていく（サドル）
固定点の周りをくるくる回る（センター）
誤差が線形に増えていく（中立安定（？））
というのがある。
標準写像は相空間の体積を変えない写像なので
ある軸方向では固定点に吸い寄せられるがある軸方向では固定点から離れていく
固定点の周りをくるくる回る
誤差が線形に増えていく（これはk=0の時だけ発生する）
だけが許される。
ちなみに相空間の体積を変えない性質をシンプレクティック性といって
微分方程式のシンプレクティック法と関係がある。
固定点の近傍から固定点の座標を求める方法にはモノドロミー法というのがある
こんな感じで求まる
k=0.8の場合で
黒点が8周期点
青丸が7周期点
黒丸の
cが固定点の周りをくるくる回る固定点センター
sがある軸方向では固定点に吸い寄せられるがある軸方向では固定点から離れていく固定点（サドル）
SとCは互い違いに存在している。
これはポアンカレバーコフの定理というので証明されているらしい。
位相とかモース理論とかちゃんと勉強しないと理解できなさそう
ポアンカレバーコフ定理は再帰的に適用（？）されるので
センター固定点の周りにもセンター固定点とサドル固定点が存在する。無限に複雑な構造の続くフラクタル的になっている
カオス性が小さい時はトーラスだがカオス性が大きくなるとだんだんトーラスが壊れていく。
この時どういうトーラスから壊れていくのか調べたのがKAM理論。
#仮面ライダービルド 今週の黒板の式はコルモゴロフ・アーノルド・モーザー（KAM）定理です。KAM定理は、どのような運動は安定に存在し続けられるか、どのような運動は乱雑でカオス的な運動になってしまいそうか、ということを示してくれる定理です。
— シータ (@Perfect_Insider) 2018年7月1日
さらにKAM定理は、どのような軌道は「ほぼ楕円運動」として生き残りやすいが、どのような軌道はすぐに予測不能なカオス的運動になってしまうかも示唆してくれます。具体的には、影響を及ぼす星との距離の比が1/3などの分母の小さいきれいな分数だと、カオスになりやすいです。
— シータ (@Perfect_Insider) 2018年7月1日
この結果は実は土星の環の性質に見ることが出来ます。土星の環は多数の粒子から出来ていますが、土星の環にはところどころ隙間（粒子がいない場所。画像中の土星の環の中の黒い場所）があります。そして土星からこの隙間までの距離は、土星の衛星との距離との比がきれいな分数になるのです。 pic.twitter.com/tBi9DbxI0N
— シータ (@Perfect_Insider) 2018年7月1日
ちなみにカオス性がない（可積分の）時、解はトーラスになるというのはリウビル アーノルドの定理。（作用変数 角変数）（もう少し条件はあるが）
www.wikiwand.com
まあ概略だけ書いても誰も理解できないだろう
終わりです
PS
昔図書館で借りた本にあったヨーヨーのカオス（？）（覚えてない）。式だけメモしてあって意味はわからない。きれいな絵は描ける。
— merom686 (@merom686) 2019年2月23日
z = 2π / 5, k = 0.7;
として(x, y)をプロットしながらループ。
t = x + k * sin(y);
x = t * cos(z) + y * sin(z);
y = y * cos(z) - t * sin(z); pic.twitter.com/dufQLYvdvM
これは数式的にKicked Rotatorのように見えるがよくわからん
回転行列による回転
x = t * cos(z) + y * sin(z);
y = - t * sin(z)+y * cos(z);
yに依存するxに対するキック
t = x + k * sin(y);
ヨーヨーのカオスというのは
ヨーヨーが回転するとしているとして
ヨーヨーにつながっているひもの影響によってx座標が k * sin(y)ずらされるという状況を考えていますということなのかもしれない
力学系とかやってると重要な定理は大体ポアンカレが絡んでいるので
定理の名前を忘れたときはポアンカレっていっておけば７割大丈夫そう（ギャグです）
