课题基金 / 基金详情

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

A study on the numerical verification method of solutions with high accuracy for the nonlinear mathematical models in infinite dimension
无限维非线性数学模型高精度解的数值验证方法研究
批准号：
15K05012
负责人：
NAKAO Mitsuhiro
金额：
$3.0万
依托单位：
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/
关键词：
精度保証付き数値計算法解の数値的検証数値解析解の事後誤差評価計算機援用証明非線形現象非線形偏微分方程式数値的検証法構成的高精度事前誤差評価非線形楕円型方程式非線形発展方程式

项目摘要

项目成果

NAKAO Mitsuhiro的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Recurrence relations of orthogonal polynomials in <I>H</I><sub>0</sub><sup>1</sup> and <I>H</I><sub>0</sub><sup>2</sup>
<I>H</I><sub>0</sub><sup>1</sup> 和 <I>H</I><sub>0</sub><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
关于希尔伯特空间中逆算子数值范数估计的一些评论
DOI： --
发表时间： 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 关于具有正则性的一般多边形域上泊松方程的解
DOI： --
发表时间： 2015
期刊：
影响因子： --
作者： [木下武彦, 渡部善隆, 中尾充宏]
通讯作者： 中尾充宏
共 24 条
    Numerical verification method of solutions for nonlinear evolutional equations
    • 批准号：
      24540151
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $3.24万
    • 财政年份：
      2012
    • 负责人：
      NAKAO Mitsuhiro
    • 依托单位：
      Sasebo National College of Technology
    Development of computer assisted analysis for complicated nonlinear phenomena
    Asymptotic behaivours of solutions for nonlinear wave equations
    • 批准号：
      17340040
    • 项目类别：
      Grant-in-Aid for Scientific Research (B)
    • 资助金额：
      $4.76万
    • 财政年份：
      2005
    • 负责人：
      NAKAO Mitsuhiro
    • 依托单位：
      Kyushu University
    Synthetic approach for the development of computer assisted analysis from the numerical verification methods
    • 批准号：
      15204007
    • 项目类别：
      Grant-in-Aid for Scientific Research (A)
    • 资助金额：
      $20.63万
    • 财政年份：
      2003
    • 负责人：
      NAKAO Mitsuhiro
    • 依托单位：
      KYUSHU UNIVERCITY
    海外基金