数値解析セミナー

過去の記録 ~01/29次回の予定今後の予定 01/30~

開催情報 火曜日 16:30~18:00 数理科学研究科棟(駒場) 056号室
担当者 齊藤宣一
セミナーURL http://www.infsup.jp/utnas/

2011年01月11日(火)

16:30-18:00   数理科学研究科棟(駒場) 002号室
本セミナーは、グローバルCOE事業「数学新展開の研究教育拠点」(東京大学)の援助を受け、GCOEセミナーして行われています。
https://www.ms.u-tokyo.ac.jp/gcoe/index.html

木下武彦 氏 (京都大学数理解析研究所)
線形常微分作用素の逆作用素に対するノルム評価とその応用 (JAPANESE)
[ 講演概要 ]
計算機援用証明において線形微分作用素の逆作用素に対するノルム評価を得ることは重要である.しかし,理論的なノルム評価ではしばしば過大評価となり,計算機援用証明で用いる際に実用的な値を得ることが難しい.本講演では近似積分作用素を利用した評価手法を提案し,数値例として提案手法と理論的なノルム評価との比較を行う.また,本結果を用いた応用例として,非線形常微分方程式に対する解の検証理論について紹介する.
[ 参考URL ]
http://www.infsup.jp/utnas/