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

Synthetic approach for new developments of self-validating numerics

自验证数值新发展的综合方法

基本信息

批准号：
13440035
负责人：
NAKAO Mitsuhiro
金额：
$ 10.88万
依托单位：
Kyushu University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
2001
资助国家：
日本
起止时间：
2001 至 2002
项目状态：
已结题

来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-13440035/
关键词：
Numerical analysis Validated computation Numerical verification Computer assisted proof

项目摘要

In this research, we newly developed the self-validating numerical methods which can be applied to wide mathematical and analytical problems as well as extended or improved the existing techniques.And we actually applied these methods to particular problems such as equations in the mathematical fluid mechanics and oscillation problems. The important research results obtained by investigators and co-investigators are as follows :1. Nakao, N.Yamamoto, Watanabe established several refinements and extensions for the numerical verification methods of solutions for elliptic problems. Namely, they succeeded the numerical computation with guaranteed error bounds for the inverse eigenvalue problems of second order elliptic operator. They also obtained some results for enclosing the solutions for elliptic variational inequlities. Moreover, they computed an optimal constant with guaranteed accuracy appearing in the a priori error estimates for the finite element projection of the Poisson problem, which is an important contribution for the numerical verification for nonlinear elliptic problems.2. Nagatou and Minamoto obtained interesting computer assisted proofs for the Kolmogorov problem and for the perturbed Gelfand equation, respectively.3. Oishi established some fast algorithms for the fundamental validated computations for the solutions of linear equations.4. Nishida et al. computed with guaranteed error bounds for the non-trivial solution of heat convection problems, which is an important result for a computer assisted proof in the fluid mechanics.5. T. Yamamoto obtained some convergence results of the finite difference scheme for the singular solutions of two point boundary value problems.

在本研究中，我们发展了新的自验证数值方法，这些方法可以应用于广泛的数学和分析问题，并扩展或改进了现有的技术，我们实际上将这些方法应用于特定的问题，如数学流体力学中的方程和振动问题。研究者和合作研究者获得的重要研究成果如下：1。Nakao，N.Yamamoto，Watanabe建立了椭圆问题解的数值验证方法的一些改进和扩展。也就是说，他们成功地实现了二阶椭圆算子特征值反问题的数值计算，并保证了误差界。他们还得到了椭圆型变分不等式的封闭解的一些结果。此外，他们还计算了Poisson问题有限元投影先验误差估计中的一个保证精度的最优常数，这对非线性椭圆问题的数值验证是一个重要贡献. Nagatou和Minamoto分别获得了Kolmogorov问题和扰动Gelfand方程的有趣的计算机辅助证明。Oishi为线性方程组的基本验证计算建立了一些快速算法. Nishida等人计算了热对流问题非平凡解的保误差界，这是流体力学中计算机辅助证明的一个重要结果. T. Yamamoto获得了两点边值问题奇异解的有限差分格式的一些收敛性结果。