Numerical verification method of solutions for nonlinear evolutional equations

非线性演化方程解的数值验证方法

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

项目成果

Some remarks on the instability of approximate solutions for ODEs

关于 ODE 近似解不稳定性的一些评论

• 发表时间: 2013
• 作者: T. Kimura

Numerical verification method of solutions for nonlinear elliptic and parabolic problems

非线性椭圆抛物型问题解的数值验证方法

• 作者: 中尾充宏

偏微分方程式の解に対する数値的存在検証---コンピュータによる厳密な解析学の展開---

偏微分方程解存在性的数值验证 --- 使用计算机进行严格分析的发展 ---

• 作者: 中尾充宏

Eigenvalue excluding for perturbed-periodic one-dimensional Schrodinger operators

排除扰动周期一维薛定谔算子的特征值

• DOI: 10.1098/rspa.2011.0159
• 发表时间: 2012
• 作者: K. Nagatou; M. Plum; M. T. Nakao
• 通讯作者: M. T. Nakao

Some remarks on the optimal error estimates for the finite element method on the L-shaped domain

关于L型域上有限元法最优误差估计的几点思考

• 作者: Takehiko Kinoshita; Mitsuhiro T. Nakao
• 通讯作者: Mitsuhiro T. Nakao