数値解析セミナー

過去の記録 ~04/16次回の予定今後の予定 04/17~

開催情報 火曜日 16:30~18:00 数理科学研究科棟(駒場) 002号室
担当者 齊藤宣一、柏原崇人
セミナーURL https://sites.google.com/g.ecc.u-tokyo.ac.jp/utnas-bulletin-board/

2014年07月28日(月)

16:30-18:00   数理科学研究科棟(駒場) 056号室
宮路智行 氏 (京都大学数理解析研究所)
Computer assisted analysis of Craik’s and Pehlivan’s 3D dynamical systems (JAPANESE)
[ 講演概要 ]
三次元Navier-Stokes方程式の厳密な特殊解の構成のためCraikによって導出された三次元常微分方程式系と,それに関連する方程式への計算機援用解析を行う.Craikの方程式が定める力学系は相空間体積を保存する.先行研究の数値計算によれば,大多数を占める非有界な軌道の運命は孤立した不安定周期軌道に支配される.この周期軌道のまわりでは四つ葉状の軌道が描かれる.一方,安定な四つ葉状のカオス的アトラクターをもつ散逸系の方程式がPehlivanによって全く異なる文脈で提案されている.数学解析,数値計算,および精度保証付き数値計算を用いて,周期軌道の存在とその分岐を証明し,四つ葉状のカオスに至る理由を明らかにする.
[ 参考URL ]
http://www.infsup.jp/utnas/