精度保証付き数値計算の前進---有限と無限をつなぐもの---
About this project
- Japan Grant Number
- JP23K20812
- Funding Program
- Grants-in-Aid for Scientific Research
- Funding organization
- Japan Society for the Promotion of Science
- Project/Area Number
- 23K20812
- Research Category
- Grant-in-Aid for Scientific Research (B)
- Allocation Type
-
- Multi-year Fund
- Single-year Grants
- Review Section / Research Field
-
- Basic Section 12040:Applied mathematics and statistics-related
- Research Institution
-
- Kyushu University
- Project Period (FY)
- 2021-04-01 〜 2025-03-31
- Project Status
- Declined
- Budget Amount*help
- 17,160,000 Yen (Direct Cost: 13,200,000 Yen Indirect Cost: 3,960,000 Yen)
Research Abstract
精度保証付き数値計算とは、代数方程式や微分方程式などの解の存在および誤差限界を数学的 に保証する数値計算法です。本研究課題の目的は、応募者が構築してきた無限次元計算理論の高度化と、その基盤となる有限次元部分空間への直交射影に対する誤差評価手法の高効率化により、有限と無限をつなぐ普遍的な数値計算法を確立することにあります。また、結実した理論・方法を、非線形関数方程式の未解決問題に対する計算機援用証明に応用するとともに、無限次元固有値問題と安定性解析、さらに、非整数階微分方程式の数値的検証に展開・拡張します。
Details 詳細情報について
-
- CRID
- 1040299826877828736
-
- Text Lang
- ja
-
- Data Source
-
- KAKEN