カオスについて
暇なのでカオスについてかたろうじぇ?
いきなりね
カオスの定義はいろいろあるけれどたぶん「初期値俊敏性を持っていて決定論的であるもののこと」なのじぇ
この図でいう
を持つものなのじぇ
予想しようとする努力を微塵も感じない。 pic.twitter.com/Gu1eWI301o
— 土田善紀 (@tsuchidasama) 2017年8月1日
昔流れてきたこのツイートも大まかに言ってカオスなのじぇ。
はぇ~~~
2次元調和振動子の場合を考えてみようじぇ。
これがハミルトニアンなのじぇ
見ての通りこの場合ハミルトニアンはx方向のものとy方向のものに分離できるのじぇ。
そしてこれら
xについて見てみるとこれは位相空間的に周期的なのじぇ。
そしてもちろんyについても周期的なのじぇ。
xについても周期的そしてyについても周期的ということはこれは位相空間上でトーラスになるのじぇ。
ここでさっきの方法をちょっとだけ変えてトーラスであることを示すのじぇ。
(1)のハミルトニアンの力学変数を作用変数
と角変数
に正準変換してみようじぇ。
まあ難しいことしなくてもここでは調和振動子なので作用変数は
縦軸
横軸
の楕円になるので
楕円の面積の公式
を用いれば
このように計算でき、ハミルトニアンは
このように書き直せるのじぇ。
ここで
であるので{Ji}は保存されるのじぇ。
これによってさっきの話と同じようにトーラスになることが分かったのじぇ。
今度はこれに非加積分摂動を与えた場合を考えようじぇ。
非加積分摂動はフーリエ展開の形で与えるのじぇ。
ここで母関数を
として 新しい作用、各変数
を導入した正準変換を考えると
なので(2)をJ'iの周辺でテーラー展開したものは,
になるのじぇ。
。もし摂動が小さく任意のm,nに対して
が成立するのであれば、
のようにgを選ぶことでテーラー展開のεの一次の項を消すことができるのじぇ。
もし
が有理数の場合は分母を発散させるm,nの選び方ができてしまうのでg関数は決まらないけれど、
有理数の数は無理数の数に比べてとても少ないのでそれは無視できると考えられるらしいのじぇ。
この手続きをεの高次の項に対しても繰り返すことで高次の項を消去でき、
ハミルトニアンは結局
となり、元のトーラスは変形して新しいトーラスができるのじぇ。
これを Kolmogorov-Arnold-Moser(KAM) トーラスというらしいのじぇ。
gをどう選ぶかの話のにいろいろ疑問を持つ人は多いと思うけれどそこはかなり難しい数学の議論でKolmogorov-Arnold-Moserの論文に詳しく書かれているらしいのじぇ。
。もし摂動が大きくなってくると、
となり、
となる母関数を得ることができず、εの一時の項を消せないためトーラスは崩壊するのじぇ。これがカオスの発生なのじぇ。
ところでなぜ母関数が
を満足しなければならないのかはまりちゃにはわからないのじぇ(詳しい人いたら教えてください。)
本の内容をブログに書いてみればよくわかるんじゃないかと思ったけれど
大事で気になるところがはしょられているのでいまいちよくわからんって感じなのじぇ
トーラスが崩壊してカオスがどのように作り出されるか
ポアンカレマップ、面積保存写像、孤立固定点についてkicked rotator modelの図を交えた話はまた今度気が向いたらなのじぇ
~~~~追記~~~~
KAMトーラスなんて現実世界に現れるのかと思うかもしれないけど
うちの教授によるとなんと土星の環がKAMトーラスらしいのじぇ
土星の太陽を回る周期と,土星の輪をなしている塵が土星の周りを回る周期でトーラスを形成しほかの惑星によって及ぼされる引力が微小な摂動となり
周期比が有理数比から遠いところだけが輪として残っているということらしいのじぇ
写真はここから
solarsystem.nasa.gov