Analysis of a global-in-time solution for reaction-diffusion system using verified numerical computation
| Project/Area Number |
18K13462
|
|---|
| Research Category |
Grant-in-Aid for Early-Career Scientists
|
| Allocation Type | Multi-year Fund |
|---|
| Review Section |
Basic Section 12040:Applied mathematics and statistics-related
|
|---|
| Research Institution | Chuo University (2021-2022)
Waseda University (2018-2020) |
|---|
Principal Investigator |
|
|---|
| Project Period (FY) |
2018-04-01 – 2023-03-31
|
| Project Status |
Completed (Fiscal Year 2022)
|
| Budget Amount *help |
¥4,160,000 (Direct Cost: ¥3,200,000、Indirect Cost: ¥960,000)
Fiscal Year 2021: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2020: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
Fiscal Year 2019: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2018: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
|
|---|
| Keywords | 計算機援用証明 / 解の精度保証付き数値計算法 / 放物型偏微分方程式 / 偏微分方程式 / 誤差定数 / 爆発解 / 藤田型方程式 / 半離散近似解 / 爆発時間 / 反応拡散系 / 精度保証付き数値計算 / ソボレフ定数の評価 / 大域解 |
|---|
| Outline of Final Research Achievements |
In this research, we mainly aim to improve numerical verification method for solutions of parabolic partial differential equations including reaction-diffusion systems, and to establish a method for verifying the existence of special solutions such as global-in-time solutions and blow-up solutions. First, for improving the verification method, we obtained the best value of the error constant of the semi-discrete approximation of the parabolic equation.The improved method were finally able to clarify the range of the explosion time of the blow-up solution, which could not be clarified by previous mathematical methods, of a parabolic equation.
|
| Academic Significance and Societal Importance of the Research Achievements |
一般的な非線形偏微分方程式の解を解析的に解くことは難しい. しかし解の精度保証付き数値計算法を用いれば偏微分方程式の解の厳密な存在範囲を明確に示すことができる. そのため方程式の解の存在だけでなく, 数値シミュレーション結果の妥当性を保証するといった工学面に対する応用も可能である. この解の精度保証付き数値計算法の改良かつその手法の適応範囲の拡大が本研究の主な目的である. 本研究の最も重要な成果はその計算手法を用いてある放物型方程式の解の爆発時間の範囲を得たことである. それは既存の数学的手法では得られなかった現象(爆発現象)の一端が解明できたことを意味する.
|
Report
(6 results)
Research Products
(13 results)
