Development of practical methods for rigorous calculation with guaranteed accuracy

开发可保证精度的严格计算的实用方法

• 批准号: 09640278
• 负责人: YAMAMOTO Nobito
• 金额: $ 2.05万
• 依托单位: The University of Electro-Communications (1999-2001)Kyushu University (1997-1998)
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 1997
• 资助国家: 日本
• 起止时间: 1997 至 2000
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-09640278/
• 关键词: computation with guaranteed accuracy; numerical verification; numerical analysis; Newton method; eigenvalue problem; 精度保証付き計算法; 有限要素法; 誤差評価; 丸め誤差; 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 spaces2. Verified computation methods for eigenvalues of symmetric band matrices together with their indices3. Extension of the above methods to general eigenvalue problems4. Methods for verification of uniqueness of solutions to fixed point equations5. Research on a bifurcation diagram of Perturbed Gelfand Equation with guaranteed accuracy6. Rigorous calculation of constants appearing in error estimations of FEM7. Research on methods for transaction of rounding errors using Fortran 90 and quadruple-precision floating point numbers8. Numerical verification of solutions to the Navier-Stockes equation using spectral methods9. Estimation methods for influence of rounding error by interval arithmetic10. 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.

我们在这项由科学研究资助金资助的研究中的目标是开发实用的方法来进行严格的计算，并保证准确性。通过4年多的研究，我们取得了以下一些成果： 1．无限维空间中牛顿算子最大特征值的验证计算2。验证了对称带状矩阵特征值及其索引的计算方法3。将上述方法推广到一般特征值问题4。验证定点方程解唯一性的方法5。精度保证的微扰Gelfand方程分岔图研究6．严格计算FEM7误差估计中出现的常数。使用 Fortran 90 和四精度浮点数处理舍入误差的方法研究8。使用谱方法对纳维-斯托克斯方程的解进行数值验证9。区间运算舍入误差影响的估计方法10．有限元逼近能力的估计。因此，我们可以得出验证特征值问题计算的实用方法。已开发。在偏微分方程的方法上，它们也得到了发展，但对于非专业用户来说在实际使用中存在一些数学问题的困难。

项目成果

Yamamoto,N.: "A simple method for error bounds of eigenrilues of symmetric matrices"Linear Algebra and its Applications.

Yamamoto,N.：“对称矩阵特征值误差界的一种简单方法”线性代数及其应用。

Nakao, M.T.: "On the best constant in the error bound for the H^1_0-projection into piecewise polynomial spaces" Journal of Approximation Theory. 93. 491-500 (1998)

Nakao, M.T.：“关于 H^1_0 投影到分段多项式空间的误差范围中的最佳常数”《近似理论杂志》。

Kimura, S., Yamamoto, N.: "On explicit bounds in the error for H^1_0-projection into piecewise polynomial spaces"Bulletin of Informatics and Cybernetics. Vol.31,No.2. 109-115 (1999)

Kimura, S., Yamamoto, N.：“关于 H^1_0 投影到分段多项式空间的误差的显式界限”信息学和控制论通报。

Nakao, M.T., Yamamoto, N., Nagatou, K.: "Numerical verifications of eigenvalues of second-order elliptic operators"Japan Journal of Industrial and Applied Mathematics. Vol.16. 307-320 (1999)

Nakao, M.T.、Yamamoto, N.、Nagatou, K.：“二阶椭圆算子特征值的数值验证”日本工业与应用数学杂志。

Nakao,M.T.,Yamamoto,N.: "A guaranteed bound of the optimal constant in the error estimations for linear triangular element"Computing Supplementurn.

Nakao，M.T.，Yamamoto，N.：“线性三角形单元误差估计中最佳常数的保证界限”计算补充。