报告题目：微分算子的特征值的精确上下界估计及其应用

报告人：刘雪峰 (Associate Professor, Niigata University, Japan)

时  间：2016年12月30日    上午10:00-11:00

地  点：1518

内容提要：

    微分算子的特征值的上下界估计是数值分析中的经典课题之一。特别的，在近年来兴起的利用精确数值计算的计算机辅助数学证明中，特征值的严格界定对于非线性微分方程等问题的解的存在性的讨论起着重要作用。本报告将介绍应用有限元方法计算Laplace，Bi-harmonic, Stokes等微分算子的特征值方面的研究进展，及其在计算机辅助数学证明中的应用。