2月3日(木)  14:30 -- 15:30 熊谷 和則(京都大学大学院情報学研究科)
             ``計算機援用証明法によるCouette-Taylor問題の解析''
＜研究発表要旨＞
Couette-Taylor問題と呼ばれる流体力学の分岐問題について論じる。この問題では
周期分岐解の存在証明が、ある常微分方程式系の固有値問題に帰着される。しかし、
その方程式は純粋数学的手法のみでは解析が困難である。そこで、具体的なパラメ
ータに対して精度保証付き数値計算を行い、その結果を利用してその常微分方程式
系を調べることにより周期分岐解の存在証明を試みる。