权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

新たな段階に入った有限要素法基盤の精度保証付き数値計算の進展

有限元法精度保证数值计算进展进入新阶段

基本信息

批准号：
20H01820
负责人：
小林健太
金额：
$ 11.23万
依托单位：
Hitotsubashi University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
2020
资助国家：
日本
起止时间：
2020-04-01 至 2024-03-31
项目状态：
已结题

项目摘要

有限要素法の各手法の中で不連続ガレルキン法はよく用いられているが、通常の不連続ガレルキン法は、与えられたペナルティーパラメータを固定する場合、異方的なメッシュ上では不安定になる。それを回避するために、異方的な単体で成り立つトレース不等式を使って、新たな不連続ガレルキン法のスキームを提案した。さらに、新しい不連続ガレルキン法の誤差解析に関する定理を証明し、さらに数値実験でその正しさを確かめた。ヒルベルト空間における無限次元線形作用素の可逆性と逆作用素ノルムを数学的に厳密な意味で検証する新しい精度保証付き数値計算アルゴリズムを提案し、その有効性を様々な微分作用素に対し実証した。また、Kolmogorov問題の精度保証付き数値計算を効率化するために必要な、ノルム定数の評価を大幅に改善した。3次元の流体方程式に対する精度保証付き数値計算は、必要とする計算量が膨大であるため困難であったが、効率的な検証スキームを開発することで、3次元定常Navier-Stokes方程式の検証に成功した。また、今後の研究において重要になると思われる、三角形要素上の補間誤差の最大値ノルムによる評価に成功した。時間発展する偏微分方程式の解に対する精度保証付き数値計算理論を構築し、数値計算で得られた近似解の近傍に真の解が時間局所存在することを数値的に検証する計算機援用証明手法を提案した。応用例として、非線形熱方程式の複素時間領域における解のダイナミクスについて解析を行った。

The method of finite element method is not connected with the method of finite element method, but with the method of finite element method. A new approach to the problem of inequality is proposed. The theorem on error analysis of the new method is proved, and the value of the new method is correct. Infinite-dimensional linear agents are invertible and inverse in space. Mathematical precision means that the new precision is guaranteed. Numerical calculation is not accurate. Differential agents are effective. The accuracy of Kolmogorov's problem is guaranteed, and the calculation efficiency is greatly improved. 3-D fluid equation accuracy assurance calculation is necessary to expand the calculation of the number of problems, the efficiency of the identification of the development of the problem, 3-D steady Navier-Stokes equation successfully In future research, the maximum value of interpolation error on triangular elements is evaluated successfully. The solution of the partial differential equation of time is guaranteed to be accurate. The calculation of the numerical value is based on the theory of approximate solution and the existence of the numerical value. The complex time domain of non-linear heat equation is solved by solving the complex time domain.