Research Project
Grant-in-Aid for JSPS Fellows
本研究では、微分作用素の固有値に対する形状微分の精度保証付き数値計算法を開発し、固有値に関する領域の形状決定問題(太鼓の形を聴く)や形状最適化問題、有限要素法の誤差解析における未解決問題の解決を目指す。潰れた領域や零固有値を含む問題、二階微分の評価、滑らかな境界を持つ領域への対応などの課題に取り組み、純粋数学・数値解析分野の重要な未解決問題に対する計算機援用証明を与えることを目標とする。