抄録
Offer Organization: Japan Society for the Promotion of Science, System Name: Grants-in-Aid for Scientific Research, Category: Grant-in-Aid for Scientific Research (C), Fund Type: -, Overall Grant Amount: - (direct: 3200000, indirect: -)
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.