dynamic system in_r_xiangze
TRANSCRIPT
![Page 1: Dynamic system in_r_xiangze](https://reader033.vdocuments.mx/reader033/viewer/2022042816/55961f691a28ab800e8b4821/html5/thumbnails/1.jpg)
(続) Rで力学系
2012/5/26
Tokyo.R #23
@xiangze750
![Page 2: Dynamic system in_r_xiangze](https://reader033.vdocuments.mx/reader033/viewer/2022042816/55961f691a28ab800e8b4821/html5/thumbnails/2.jpg)
Agenda
力学系とは
アトラクタ
分岐 力学系の性質をとらえる 見えない構造をみる
![Page 3: Dynamic system in_r_xiangze](https://reader033.vdocuments.mx/reader033/viewer/2022042816/55961f691a28ab800e8b4821/html5/thumbnails/3.jpg)
Agenda
Tsukuba.Rでの発表
「Rで分かる力学系 ~分岐の様子を可視化してみる~」http://arataka.wordpress.com/2009/03/02/tsukubar4-lt/
今回は力学系の大域的分岐と”ホモクリニック軌道の可視化”に注目します。
![Page 4: Dynamic system in_r_xiangze](https://reader033.vdocuments.mx/reader033/viewer/2022042816/55961f691a28ab800e8b4821/html5/thumbnails/4.jpg)
力学系とは
常微分方程式の解の大域的な振る舞いを研究する分野 解が解析的に表示できない場合に全体的な性質を知ることができる 天体力学の研究に由来する(3体問題)がいろいろなシステムで研究されている。
有名な例
Chua 回路 電子回路
Lorenz方程式(気象のモデル由来) Lotka voltera方程式(生態系)
Standard map(外力の加わる振動子)
少ない変数でありながらときに非常に複雑な時系列を生成する。
![Page 5: Dynamic system in_r_xiangze](https://reader033.vdocuments.mx/reader033/viewer/2022042816/55961f691a28ab800e8b4821/html5/thumbnails/5.jpg)
力学系とは
Chua 回路
少ない変数でありながらときに非常に複雑な時系列を生成する。
相空間 時系列
![Page 6: Dynamic system in_r_xiangze](https://reader033.vdocuments.mx/reader033/viewer/2022042816/55961f691a28ab800e8b4821/html5/thumbnails/6.jpg)
力学系のアトラクタとその分類
アトラクタ
力学系の軌道の最終的な挙動
– 固定点
![Page 7: Dynamic system in_r_xiangze](https://reader033.vdocuments.mx/reader033/viewer/2022042816/55961f691a28ab800e8b4821/html5/thumbnails/7.jpg)
力学系のアトラクタとその分類
アトラクタ
力学系の軌道の最終的な挙動– リミットサイクル(周期的な振動)
![Page 8: Dynamic system in_r_xiangze](https://reader033.vdocuments.mx/reader033/viewer/2022042816/55961f691a28ab800e8b4821/html5/thumbnails/8.jpg)
力学系のアトラクタとその分類
アトラクタ
力学系の軌道の最終的な挙動– ストレンジアトラクタ
![Page 9: Dynamic system in_r_xiangze](https://reader033.vdocuments.mx/reader033/viewer/2022042816/55961f691a28ab800e8b4821/html5/thumbnails/9.jpg)
分岐
1つの常微分方程式の系のパラメータを連続的に変化させるとアトラクタとそこへ至る解軌道の性質が大きく変化すること。
局所的な分岐
pitch-fork分岐(固定点が不安定になる) Hopf分岐(固定点がリミットサイクルに変化する)
大域的な分岐
ホモクリニック分岐
ヘテロクリニック分岐 カオスへ至る分岐
周期倍分岐
![Page 10: Dynamic system in_r_xiangze](https://reader033.vdocuments.mx/reader033/viewer/2022042816/55961f691a28ab800e8b4821/html5/thumbnails/10.jpg)
分岐(Lorenz方程式)
Lorenz方程式における分岐 ホモクリニック分岐
![Page 11: Dynamic system in_r_xiangze](https://reader033.vdocuments.mx/reader033/viewer/2022042816/55961f691a28ab800e8b4821/html5/thumbnails/11.jpg)
分岐(Lorenz方程式)
Lorenz方程式における分岐 ホモクリニック分岐
![Page 12: Dynamic system in_r_xiangze](https://reader033.vdocuments.mx/reader033/viewer/2022042816/55961f691a28ab800e8b4821/html5/thumbnails/12.jpg)
分岐(Lorenz方程式)
Lorenz方程式における分岐 ホモクリニック分岐
![Page 13: Dynamic system in_r_xiangze](https://reader033.vdocuments.mx/reader033/viewer/2022042816/55961f691a28ab800e8b4821/html5/thumbnails/13.jpg)
ホモクリニック軌道、ヘテロクリニック軌道
ホモクリニック軌道
単一の双曲型不動点の安定な方向、不安定な方向がつながった解軌道 ヘテロクリニック軌道
異なる双曲型不動点の安定な方向、不安定な方向がつながった解軌道 折りたたみ、引き延ばしの構造(カオス)をもたらす。
ホモクリニック、ヘテロクリニック分岐が起こるパラメータで現れる(構造不安定)。
力学系の構造が決まる上で重要だが、見つけにくい。
http://www.gfd-dennou.org/arch/gfdsemi/2002-03-25/mizuta/pub-web/006.html
![Page 14: Dynamic system in_r_xiangze](https://reader033.vdocuments.mx/reader033/viewer/2022042816/55961f691a28ab800e8b4821/html5/thumbnails/14.jpg)
力学系を特徴づける量
リャプノフ指数 初期値の差分(δx(0))が時間tの経過に伴ってどのくらい大きくなるかの比率
http://www.elmer.unibas.ch/pendulum/lyapexp.htm
![Page 15: Dynamic system in_r_xiangze](https://reader033.vdocuments.mx/reader033/viewer/2022042816/55961f691a28ab800e8b4821/html5/thumbnails/15.jpg)
見えない構造を見る
リャプノフ指数が大きな軌道の初期値を探し出す。 例:Standard map (周期的に外力が与えられる振り子)
K=0,δ=1 K=0.6,δ=1 K=1.2,δ=1
![Page 16: Dynamic system in_r_xiangze](https://reader033.vdocuments.mx/reader033/viewer/2022042816/55961f691a28ab800e8b4821/html5/thumbnails/16.jpg)
見えない構造を見る
重力相互作用するものが3つ以上ある場合軌道が複雑になる。 2体(天体)の相互作用を慣性運動、もう一つの天体からの影響を周期外力とみなしたモデルがStandard mapに相当する。
![Page 17: Dynamic system in_r_xiangze](https://reader033.vdocuments.mx/reader033/viewer/2022042816/55961f691a28ab800e8b4821/html5/thumbnails/17.jpg)
見えない構造を見る(例:Standard map)
カオス的な性質(K=1,δ=1)
わずかな初期値の違いが大きな違いに増幅される
![Page 18: Dynamic system in_r_xiangze](https://reader033.vdocuments.mx/reader033/viewer/2022042816/55961f691a28ab800e8b4821/html5/thumbnails/18.jpg)
手順
初期値をN個用意する。それぞれに対して方程式の時間発展を計算し、リャプノフ指数λNを計算する。 得点a*λNが大きい点の周囲に初期値を取り直す 繰り返し
![Page 19: Dynamic system in_r_xiangze](https://reader033.vdocuments.mx/reader033/viewer/2022042816/55961f691a28ab800e8b4821/html5/thumbnails/19.jpg)
結果
K=1,δ=1 (強いカオス性)
– カオス的な部分を抜き出せている。
![Page 20: Dynamic system in_r_xiangze](https://reader033.vdocuments.mx/reader033/viewer/2022042816/55961f691a28ab800e8b4821/html5/thumbnails/20.jpg)
結果
K=1,δ=0.41 (弱いカオス性)
– リャプノフ指数は初期値の位置に応じて複雑な変化を示す。– カオス的な部分に到達させるのは難しい。
ここ
exp(λ)
![Page 21: Dynamic system in_r_xiangze](https://reader033.vdocuments.mx/reader033/viewer/2022042816/55961f691a28ab800e8b4821/html5/thumbnails/21.jpg)
結果
K=1,δ=0.41 (弱いカオス性)
– カオス的な部分に到達させるのは難しい。
– 初期値の選択によってはホモクリニック軌道をみることができる(?)。
![Page 22: Dynamic system in_r_xiangze](https://reader033.vdocuments.mx/reader033/viewer/2022042816/55961f691a28ab800e8b4821/html5/thumbnails/22.jpg)
まとめ
少数自由度の微分方程式も時に複雑な挙動を見せる。 力学系の性質、アトラクタの種類は分岐によって大きく変わる ストレンジアトラクタへ至る分岐にはホモクリニック(ヘテロクリニック)軌道の周辺で起こる。
ホモクリニック軌道を見つけ出すことは難しいがリャプノフ指数による重み付けによって可能になる。
– 多自由度の場合に威力を発揮する(はず)。
![Page 23: Dynamic system in_r_xiangze](https://reader033.vdocuments.mx/reader033/viewer/2022042816/55961f691a28ab800e8b4821/html5/thumbnails/23.jpg)
Reference
Rで分かる力学系 ~分岐の様子を可視化してみる~http://arataka.wordpress.com/2009/03/02/tsukubar4-lt/
レプリカ交換モンテカルロ法を用いた力学系の軌道・パラメータ探索– http://d.hatena.ne.jp/sfchaos/20110705
これからの可視化は動画の時代~Rでanimationパッケージで動画を作成する方法@Tokyo.R #20
– http://d.hatena.ne.jp/EulerDijkstra/20120129/1327834316
論文
– Probing rare physical trajectories with Lyapunov weighted dynamics
– Identifying rare chaotic and regular trajectories in dynamical systems with Lyapunov weighted path sampling
ベクトル場のホモクリニック分岐と Lorenz-type attractor– http://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/pdf/0806-09.pdf