第38回数値解析セミナー (UTNAS) @東大

Posted by Akira IMAKURA on -

---------------------------
数値解析セミナー（第38回）
---------------------------

講演者（所属）: 木村拓馬（早稲田大学理工学術院）

題目: 放物型初期値境界値問題に対する精度保証付き数値計算

日時: 2012年10月9日（火）16:30-18:00

場所: 東京大学大学院数理科学研究科 002室
http://www.ms.u-tokyo.ac.jp/access/

概要:

本講演では，中尾充宏校長（佐世保工業高等専門学校），木下武彦研究員（京都大学RIMS）と講演者による，放物型初期値境界値問題に関する共同研究の成果を発表する．特に，熱方程式に対する時間方向に補間を用いた近似の誤差評価，その応用による線形放物型問題に解を与える作用素のノルム評価，及びこれらの応用による非線形問題の解の存在に対する計算機援用証明について述べる．