第4回

日時:2012年12月10日(月)  15時00分より
場所:弘前大学 理工学部 2号館 11階1110室

講演者:

木村 拓馬 氏 (早稲田大学理工学術院)
「放物型問題に対する精度保証付き数値計算について」
放物型偏微分方程式の初期値境界値問題に対する精度保証付き数値計算法について述べる. 具体的には, 以下の研究成果を紹介する.

  • 線形熱方程式の近似解に対する誤差評価
  • 線形問題に解を与える作用素のノルム評価
  • 非線形問題の解の存在に関する計算機援用証明

  • なお本研究は, 中尾充宏校長(佐世保工業高等専門学校), 木下武彦研究員(京都大学数理解析研究所)との共同研究である.