数値解析セミナー

過去の記録 ～04/19｜次回の予定｜今後の予定 04/20～

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

2012年10月09日(火)

16:30-18:00   数理科学研究科棟(駒場) 002号室
本セミナーは、グローバルCOE事業「数学新展開の研究教育拠点」(東京大学)の援助を受け、GCOEセミナーして行われています。
https://www.ms.u-tokyo.ac.jp/gcoe/index.html
木村拓馬 氏 (早稲田大学理工学術院)
放物型初期値境界値問題に対する精度保証付き数値計算 (JAPANESE)
[ 講演概要 ]
本講演では,中尾充宏校長(佐世保工業高等専門学校),木下武彦研究員(京都大学RIMS)と講演者による,放物型初期値境界値問題に関する共同研究の成果を発表する.特に,熱方程式に対する時間方向に補間を用いた近似の誤差評価, その応用による線形放物型問題に解を与える作用素のノルム評価, 及びこれらの応用による非線形問題の解の存在に対する計算機援用証明について述べる.
[ 参考URL ]
http://www.infsup.jp/utnas/