精度保証付き数値計算の前進---有限と無限をつなぐもの---
研究課題情報
- 体系的番号
- JP23K20812
- 助成事業
- 科学研究費助成事業
- 資金配分機関情報
- 日本学術振興会(JSPS)
- 研究課題/領域番号
- 23K20812
- 研究種目
- 基盤研究(B)
- 配分区分
-
- 基金
- 補助金
- 審査区分/研究分野
-
- 小区分12040:応用数学および統計数学関連
- 研究機関
-
- 九州大学
- 研究期間 (年度)
- 2021-04-01 〜 2025-03-31
- 研究課題ステータス
- 採択後辞退
- 配分額*注記
- 17,160,000 円 (直接経費: 13,200,000 円 間接経費: 3,960,000 円)
研究概要
精度保証付き数値計算とは、代数方程式や微分方程式などの解の存在および誤差限界を数学的 に保証する数値計算法です。本研究課題の目的は、応募者が構築してきた無限次元計算理論の高度化と、その基盤となる有限次元部分空間への直交射影に対する誤差評価手法の高効率化により、有限と無限をつなぐ普遍的な数値計算法を確立することにあります。また、結実した理論・方法を、非線形関数方程式の未解決問題に対する計算機援用証明に応用するとともに、無限次元固有値問題と安定性解析、さらに、非整数階微分方程式の数値的検証に展開・拡張します。
詳細情報 詳細情報について
-
- CRID
- 1040299826877828736
-
- 本文言語コード
- ja
-
- データソース種別
-
- KAKEN