- 著者
-
小林 健太
土屋 卓也
渡部 善隆
劉 雪峰
高安 亮紀
- 出版者
- 一橋大学
- 雑誌
- 基盤研究(B)
- 巻号頁・発行日
- 2016-04-01
平成29年度において得られた成果は以下の通りになります。小林健太(代表者)および土屋卓也(分担者)は非適合有限要素法の誤差評価について研究を進め、必ずしも正則性条件を満たさないような三角形分割上でのCrouzeix-Raviart有限要素法およびRaviart-Thomas有限要素法について誤差評価を得ることに成功しました。非適合有限要素法は、実際に広く用いられているにも関わらず、三角形分割に制限を課さない誤差評価は今まで得られていませんでしたので、この結果は実用上も重要です。渡部善隆(分担者)は、重調和型非線形方程式の解に対する精度保証付き数値計算の枠組みを理論面・実用面から整備しました。これは今後、流体方程式の精度保証を考える上で基礎となる重要な結果です。また、Poisson方程式の有限要素近似解に対する精度保証付き高精度誤差評価に成功しました。この成果は、他の方程式に対する精度保証の高精度化にも応用できる可能性が高いと考えられます。劉雪峰(分担者)は、Stokes方程式の事前誤差評価とStokes微分作用素の固有値評価を中心に研究を行い、特に、3次元領域におけるStokes微分作用素の固有値の厳密な下界と上界を得ることに成功しました。また、Stokes境界値問題の有限要素法解について、Hypercircle法を用いることで事前誤差評価に成功しました。さらに高安亮紀(分担者)は、半群理論を利用した放物型方程式に対する解の精度保証付き数値計算方法を応用し、非線形放物型方程式の時間変数を複素数に拡張した方程式の解について精度保証付き数値計算を試みました。また、双曲型方程式の一種である移流方程式に対する解の精度保証付き数値計算に成功しました。劉および高安の結果は、流体問題やその他、複雑な構造を持つ方程式への精度保証付き数値計算の応用に向けて重要であるといえます。