1 0 0 0 OA 有限体積法の数学的基盤理論の確立
本研究プロジェクトでは,構造保存型の数値解法として理工学各分野で広く応用されている有限体積法に対する数学的な基盤理論の開発とその現実問題への応用を行なった。基礎的な面では、離散ソボレフの不等式、補間誤差不等式の最良定数、離散Rellichの定理、離散最大値の定理、離散微分形式などについて応用指向の進んだ結果を得ることができた。応用面では、細胞性粘菌の数理モデルに対して、構造保存型の有限体積法を開発し、いままで未解決だった離散エネルギー不等式の証明に成功した。また、離散微分形式の応用としてLagrange力学に基づくエネルギー保存型数値解法の有限体積法への拡張を行なった。
1 0 0 0 OA 離散関数解析と変分理論からなる差分法の基礎理論構築
離散関数解析,変分理論の構成についてわれわれは研究を行い、微積分作用素間関係の離散的対応と差分作用素のなす空間における差分変換行列の概念を提唱、数学的評価を行うとともに、これらの結果を用いて一定の微積分不等式の離散版を統一的に証明するとともに、それらを成立させる数学的条件などについて研究を進めた.証明技法に関する議論により数学的制約の理解を深め、本議論がより広い関数空間で成り立つ強い示唆を得た.また、変分理論で用いる主要な概念の離散定義を拡張する研究も推進した.これにより、グリーン定理などの基本関係式の離散版に基づき離散変分理論概念を拡張し、差分法のさらなる数学的基盤を定義した