Co-Investigator(Kenkyū-buntansha) |
EI Shin-ichiro 九州大学, マス・フォア・インダストリ研究所, 教授 (30201362)
TABATA Masahisa 早稲田大学, 理工学術院, 教授 (30093272)
NAGATOU Kaori 九州大学, マス・フォア・インダストリ研究所, 准教授 (40326426)
MURASHIGE Sunao 公立はこだて未来大学, システム情報科学部, 教授 (40302749)
YAMAMOTO Nobito 電気通信大学, 電気通信学部, 教授 (30210545)
WATANABE Yoshitaka 九州大学, 情報基盤研究開発センター, 准教授 (90243972)
|
Budget Amount *help |
¥84,890,000 (Direct Cost: ¥65,300,000、Indirect Cost: ¥19,590,000)
Fiscal Year 2011: ¥16,900,000 (Direct Cost: ¥13,000,000、Indirect Cost: ¥3,900,000)
Fiscal Year 2010: ¥16,640,000 (Direct Cost: ¥12,800,000、Indirect Cost: ¥3,840,000)
Fiscal Year 2009: ¥26,130,000 (Direct Cost: ¥20,100,000、Indirect Cost: ¥6,030,000)
Fiscal Year 2008: ¥25,220,000 (Direct Cost: ¥19,400,000、Indirect Cost: ¥5,820,000)
|
Research Abstract |
We were working on the development and applications of the numerical verification methods for solutions of nonlinear partial differential equations, in particular, we succeeded in finding a new and very efficient verification principle for nonlinear evolutional problems. Also we extended and improved the existing verification methods for solutions of elliptic problems as well as we proved the effectiveness of the computer assisted proofs by applying our methods to resolve the actual nonlinear problems for which any theoretical approaches seem to be not useful to apply.
|