Innovative research for self-validating numerical method of infinite dimensional problems

无限维问题自验证数值方法的创新研究

• 批准号: 18K03434
• 负责人: NAKAO MITSUHIRO
• 金额: $ 2.75万
• 依托单位: Waseda University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2018
• 资助国家: 日本
• 起止时间: 2018-04-01 至 2022-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-18K03434/
• 关键词: 数値解析; 精度保証付き数値計算; 有限要素法の構成的誤差評価; 解の数値的検証法; 計算機援用証明; 誤差評価; 数値的検証

项目成果

An improved method for verifying the existence and bounds of the inverse of second-order linear elliptic operators mapping to dual space

验证二阶线性椭圆算子映射到对偶空间的逆存在性及有界的改进方法

• DOI: 10.1007/s13160-019-00344-8
• 发表时间: 2019
• 期刊: Japan Journal of Industrial and Applied Mathematics
• 影响因子: 0.9
• 作者: Watanabe Yoshitaka;Kinoshita Takehiko;Nakao Mitsuhiro T.
• 通讯作者: Nakao Mitsuhiro T.

Numerical Verification of Solutions for Nonlinear Parabolic Problems

非线性抛物型问题解的数值验证

• DOI: 10.1080/01630563.2020.1777159
• 发表时间: 2020
• 期刊: Numerical Functional Analysis and Optimization
• 影响因子: 1.2
• 作者: Hashimoto Kouji;Kinoshita Takehiko;Nakao Mitsuhiro T.
• 通讯作者: Nakao Mitsuhiro T.

Error Constants for the Semi-Discrete Galerkin Approximation of the Linear Heat Equation

线性热方程的半离散伽辽金近似的误差常数

• DOI: 10.1007/s10915-021-01636-3
• 发表时间: 2021
• 期刊: Journal of Scientific Computing
• 影响因子: 2.5
• 作者: M. Mizuguchi;M. T. Nakao;K. Sekine;S. Oishi
• 通讯作者: S. Oishi

On Some Convergence Properties for Finite Element Approximations to the Inverse of Linear Elliptic Operators

线性椭圆算子逆算子有限元逼近的一些收敛性

• DOI: 10.14232/actacyb.294906
• 发表时间: 2022
• 期刊: Acta Cybernetica
• 影响因子: 0.4
• 作者: Takehiko Kinoshita and Yoshitaka Watanabe and Mitsuhiro T. Nakao

線形熱方程式の解と半離散近似解との誤差評価の改善

线性热方程解与半离散近似解误差评估的改进

• 发表时间: 2019
• 作者: Giorgio Metafune;Luigi Negro;Motohiro Sobajima;Chiara Spina;水口 信
• 通讯作者: 水口 信