| Budget Amount *help |
¥10,530,000 (Direct Cost: ¥8,100,000、Indirect Cost: ¥2,430,000)
Fiscal Year 2019: ¥2,340,000 (Direct Cost: ¥1,800,000、Indirect Cost: ¥540,000)
Fiscal Year 2018: ¥1,820,000 (Direct Cost: ¥1,400,000、Indirect Cost: ¥420,000)
Fiscal Year 2017: ¥1,820,000 (Direct Cost: ¥1,400,000、Indirect Cost: ¥420,000)
Fiscal Year 2016: ¥2,080,000 (Direct Cost: ¥1,600,000、Indirect Cost: ¥480,000)
Fiscal Year 2015: ¥2,470,000 (Direct Cost: ¥1,900,000、Indirect Cost: ¥570,000)
|
|---|
| Outline of Final Research Achievements |
We conducted research on the theory, application, and method of "numerical verification method" or "computer-assisted proof" that provides mathematical and exact guarantees for computer calculations of differential equations and other functional equations used to scientifically describe natural phenomena.
We have successfully obtained an efficient approach of the invertibility estimation of linear operators and the its inverse operator norm with optimal upper bound in a general functional space. We have also established a framework for rigorous computer verification of the existence or uniqueness of solutions to nonlinear functional equations based on this estimation.
|
