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/
• 关键词: 精度保証付き数値計算法; 解の数値的検証; 数値解析; 解の事後誤差評価; 計算機援用証明; 非線形現象; 非線形偏微分方程式; 数値的検証法; 構成的高精度事前誤差評価; 非線形楕円型方程式; 非線形発展方程式

项目成果

Recurrence relations of orthogonal polynomials in <I>H</I>₀¹ and <I>H</I>₀²

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

• DOI: 10.1587/nolta.6.404
• 发表时间: 2015
• 期刊: Nonlinear Theory and Its Applications, IEICE
• 作者: T. Kinoshita;Y. Watanabe; M. T. Nakao
• 通讯作者: M. T. Nakao

Some remarks on the numerical norm estimation of the inverse operator in Hilbert spaces

关于希尔伯特空间中逆算子数值范数估计的一些评论

• 发表时间: 2017
• 作者: Mitsuhiro T. Nakao;Takehiko Kinoshita;Yoshitaka Watanabe
• 通讯作者: Yoshitaka Watanabe

Some remarks on the rigorous estimation of inverse linear elliptic operators

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

• 发表时间: 2016
• 期刊: Lecture Notes in Computer Science (LNCS) 9553, the proceedings of SCAN 2014
• 作者: T. Kinoshita;Y. Watanabe; M. T. Nakao
• 通讯作者: M. T. Nakao

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

紧凑算子解析的缺点评估

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

On the compactness of a nonlinear operator related to stream function-vorticity formulation for the Navier-Stokes equations

纳维-斯托克斯方程中与流函数-涡度公式相关的非线性算子的紧性

• DOI: 10.14495/jsiaml.9.77
• 发表时间: 2017
• 期刊: JSIAM Letters
• 影响因子: 0.4
• 作者: Watanabe Yoshitaka;Nakao Mitsuhiro T.;Nagatou Kaori
• 通讯作者: Nagatou Kaori