Library for Validated Computation of Differential Equations
| Project/Area Number |
24540115
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Multi-year Fund |
|---|
| Section | 一般 |
|---|
| Research Field |
General mathematics (including Probability theory/Statistical mathematics)
|
|---|
| Research Institution | The University of Electro-Communications |
|---|
Principal Investigator |
YAMAMOTO Nobito 電気通信大学, 情報理工学(系)研究科, 教授 (30210545)
|
|---|
| Project Period (FY) |
2012-04-01 – 2015-03-31
|
| Project Status |
Completed (Fiscal Year 2014)
|
| Budget Amount *help |
¥5,200,000 (Direct Cost: ¥4,000,000、Indirect Cost: ¥1,200,000)
Fiscal Year 2014: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
Fiscal Year 2013: ¥1,820,000 (Direct Cost: ¥1,400,000、Indirect Cost: ¥420,000)
Fiscal Year 2012: ¥1,820,000 (Direct Cost: ¥1,400,000、Indirect Cost: ¥420,000)
|
|---|
| Keywords | 精度保証 / 偏微分方程式 / 常微分方程式 / 多倍長演算 / 力学系 / 多倍長 / 精度保証法 |
|---|
| Outline of Final Research Achievements |
We have developed the following.
(1) Numerical verification methods for norm estimation of invers differential operators w.r.t. PDEs. (2) Validated methods of constructing Lyapunov functions w.r.t. ODEs (3) A library named LILIB for usage of interval multi precision arithmetic with guaranteed accuracy.
|
Report
(4 results)
Research Products
(17 results)
