A study on the numerical verification method of solutions with high accuracy for the nonlinear mathematical models in infinite dimension

无限维非线性数学模型高精度解的数值验证方法研究

• 批准号: 15K05012
• 负责人: NAKAO Mitsuhiro
• 金额: $ 3万
• 依托单位: Kyushu University (2016-2017)Sasebo National College of Technology (2015)
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2015
• 资助国家: 日本
• 起止时间: 2015-04-01 至 2018-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-15K05012/
• 关键词: 精度保証付き数値計算法; 解の数値的検証; 数値解析; 解の事後誤差評価; 計算機援用証明; 非線形現象; 非線形偏微分方程式; 数値的検証法; 構成的高精度事前誤差評価; 非線形楕円型方程式; 非線形発展方程式

项目成果

Karlsruhe Institute of Technology(ドイツ)

卡尔斯鲁厄理工学院（德国）

Some remarks on the rigorous estimation of inverse linear elliptic operators

关于逆线性椭圆算子严格估计的一些评论

• 发表时间: 2016
• 作者: T. Kinoshita; Y. Watanabe; M. T. Nakao
• 通讯作者: M. T. Nakao

コンパクト作用素のレゾルベントに対する下側評価

紧凑算子解析的缺点评估

• 发表时间: 2016
• 作者: 木下武彦; 渡部 善隆; 中尾 充宏
• 通讯作者: 中尾 充宏

Optimal Order Constructive a Priori Error Estimates for a Full Discrete Approximation of the Heat Equation

热方程全离散逼近的最优阶构造先验误差估计

• 发表时间: 2017
• 作者: T. Kimura; T. Minamoto; M. T. Nakao
• 通讯作者: M. T. Nakao

Recurrence relations of orthogonal polynomials in H01 and H02

<I>H</I>₀¹ 和 <I>H</I>₀<sup> 正交多项式的递推关系

• DOI: 10.1587/nolta.6.404
• 发表时间: 2015
• 作者: T. Kinoshita; Y. Watanabe; M. T. Nakao
• 通讯作者: M. T. Nakao