セミナー

発表言語 日本語
開催日 2011年12月13日 15時00分
終了日 2011年12月13日 16時00分
開催場所京都大学数理解析研究所402号室
セミナー名第51回 GCOE tea time
タイトル 線形化逆作用素を用いた非線形常微分方程式系に対する解の検証理論 
分野 解析
その他
講演者名木下 武彦
講演者所属京都大学数理解析研究所
概要本講演では非線形常微分方程式系の初期値問題に対する解の新しい検証手法を提
案する.本手法は近似解を計算する部分と,厳密解を検証する部分に分離されて
おり,さらに,近似解は任意のアルゴリズムを用いて計算してよい.このよう
に,本手法はこれまで得られてきた近似解法を利用する事ができ,その近似解を
用いた検証手法として有用であると考えられる.講演では幾つかの数値例を紹介
し,提案手法の持つ性質を考察する.
備考他分野の話を聞いたり、若手研究者と交流する良い機会ですので ぜひ参加してください。飲み物、おやつも用意する予定ですので、お気軽にお越しください。