Grant-in-Aid for Scientific Research (C).
General mathematics (including Probability theory/Statistical mathematics)
|Research Institution||The University of Electro-Communications|
YAMAMOTO Nobito Department of Electro-Communications, The University of Electro-Communications, Associate Professor, 電気通信学部, 助教授 (30210545)
大塚 寛 九州大学, 大学院数理学研究科, 講師 (30203839)
中尾 充宏 九州大学, 大学院数理学研究科, 教授 (10136418)
|Project Fiscal Year
1997 – 2000
Completed(Fiscal Year 2001)
|Budget Amount *help
¥3,200,000 (Direct Cost : ¥3,200,000)
Fiscal Year 2000 : ¥800,000 (Direct Cost : ¥800,000)
Fiscal Year 1999 : ¥700,000 (Direct Cost : ¥700,000)
Fiscal Year 1998 : ¥700,000 (Direct Cost : ¥700,000)
Fiscal Year 1997 : ¥1,000,000 (Direct Cost : ¥1,000,000)
|Keywords||computation with guaranteed accuracy / numerical verification / numerical analysis / Newton method / eigenvalue problem / 精度保証 / 数値的検証法 / 数値解析 / Newton法 / 固有値問題 / 精度保証付き計算法 / 有限要素法 / 誤差評価 / 丸め誤差 / Navier-Stokes方程式 / 誤差解析|
Our objective in this study which is fonded by Grant-in-Aid for Scientific Research is development of practical methods for rigorous calculation with, guaranteed accuracy. Through the period of this study over 4 years, we have obtained some results on the following.
1. Verified computation of the maximum eigenvalue of Newton operators in infinite dimensional spaces
2. Verified computation methods for eigenvalues of symmetric band matrices together with their indices
3. Extension of the above methods to general eigenvalue problems
4. Methods for verification of uniqueness of solutions to fixed point equations
5. Research on a bifurcation diagram of Perturbed Gelfand Equation with guaranteed accuracy
6. Rigorous calculation of constants appearing in error estimations of FEM
7. Research on methods for transaction of rounding errors using Fortran 90 and quadruple-precision floating point numbers
8. Numerical verification of solutions to the Navier-Stockes equation using spectral methods
9. Estimation methods for influence of rounding error by interval arithmetic
10. Estimation of ability of approximation of FEM.
Consequently we can conclude that practical methods for verified computation of eigenvalue problems. are developed. On the methods for PDEs, they are also developed but there are some difficulties concerning mathematical matters in practical use for non-professional users.