3次元領域におけるレイノルズ数の大きい流れの計算機援用証明
研究課題情報
- 体系的番号
- JP23K20810
- 助成事業
- 科学研究費助成事業
- 資金配分機関情報
- 日本学術振興会(JSPS)
- 研究課題/領域番号
- 23K20810
- 研究種目
- 基盤研究(B)
- 配分区分
-
- 基金
- 補助金
- 審査区分/研究分野
-
- 小区分12040:応用数学および統計数学関連
- 研究機関
-
- 東京女子大学
- 新潟大学
- 研究期間 (年度)
- 2021-04-01 〜 2025-03-31
- 研究課題ステータス
- 交付
- 配分額*注記
- 17,160,000 円 (直接経費: 13,200,000 円 間接経費: 3,960,000 円)
研究概要
この研究では、３次元空間内を動く流体（液体や気体）の複雑な動きを新しい計算援用証明法で解析しています。特に、新たな誤差解析の理論とスーパーコンピュータを用いた計算法を開発し、レイノルズ数の大きい流れの効率的な検証方法を確立することを目指しています。このような流れの研究には、世界中の数学者が大きな関心を寄せており、本研究が成功すると、この学問領域に大きな影響を与える成果をもたらすことが期待されています。