Project/Area Number |
23K20810
|
Research Category |
Grant-in-Aid for Scientific Research (B)
|
Allocation Type | Multi-year Fund |
Section | 一般 |
Review Section |
Basic Section 12040:Applied mathematics and statistics-related
|
Research Institution | Tokyo Woman's Christian University |
Principal Investigator |
劉 雪峰 東京女子大学, 現代教養学部, 教授 (50571220)
|
Co-Investigator(Kenkyū-buntansha) |
荻田 武史 早稲田大学, 理工学術院, 教授 (00339615)
中尾 充宏 早稲田大学, 理工学術院, その他(招聘研究員) (10136418)
小林 健太 一橋大学, 大学院経営管理研究科, 教授 (60432902)
関根 晃太 千葉工業大学, 情報変革科学部, 准教授 (80732239)
渡部 善隆 九州大学, 情報基盤研究開発センター, 准教授 (90243972)
|
Project Period (FY) |
2024-04-01 – 2025-03-31
|
Project Status |
Granted (Fiscal Year 2024)
|
Budget Amount *help |
¥4,290,000 (Direct Cost: ¥3,300,000、Indirect Cost: ¥990,000)
Fiscal Year 2024: ¥4,290,000 (Direct Cost: ¥3,300,000、Indirect Cost: ¥990,000)
|
Keywords | ナビエ・ストークス方程式 / 計算機援用証明 / 厳密計算ライブラリ / 固有値問題の厳密評価 / 精度保証付き数値計算 |
Outline of Research at the Start |
この研究では、3次元空間内を動く流体(液体や気体)の複雑な動きを新しい計算援用証明法で解析しています。特に、新たな誤差解析の理論とスーパーコンピュータを用いた計算法を開発し、レイノルズ数の大きい流れの効率的な検証方法を確立することを目指しています。このような流れの研究には、世界中の数学者が大きな関心を寄せており、本研究が成功すると、この学問領域に大きな影響を与える成果をもたらすことが期待されています。
|