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

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

H3 正則性を持つ一般多角形領域上のPoisson 方程式の解について

H3 关于具有正则性的一般多边形域上泊松方程的解

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

線形化Kolmogorov問題に対する固有値の除外について

关于排除线性化柯尔莫哥洛夫问题的特征值

• 发表时间: 2015
• 作者: 渡部 善隆;Kaori Nagatou;Michael Plum;中尾 充宏
• 通讯作者: 中尾 充宏