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