Development of rigorous computation methods for singular trajectories in dynamical systems

2019 Fiscal Year Final Research Report

• Project/Area Number: 17K14235
• Research Category: Grant-in-Aid for Young Scientists (B)
• Allocation Type: Multi-year Fund
• Research Field: Foundations of mathematics/Applied mathematics
• Research Institution: Kyushu University
• Principal Investigator: Matsue Kaname 九州大学, マス・フォア・インダストリ研究所, 助教 (70610046)
• Project Period (FY): 2017-04-01 – 2020-03-31
• Keywords: 特異構造の一様評価 / コンパクト化 / 時間スケール特異性解消 / 爆発レート

Outline of Final Research Achievements

I have developed methodologies to describe solution structures of differential equations possessing singular perturbation nature, including "multi-scale structure", and "finite-time singularities" as a consequence of divergence or the presence of discontinuity at a finite time, from the viewpoint of dynamical systems.
Moreover, I have also developed several methodologies of rigorous numerics available for various systems possessing the above singular nature, which are usually difficult to treat both mathematically and numerically. The methodologies enable us to compute targeting trajectories with mathematical rigor and concreteness.

Free Research Field

力学系, 数値解析, 精度保証付き数値計算

Academic Significance and Societal Importance of the Research Achievements

微分方程式の解構造において特徴づけが一般に困難な「特異性」の記述につき、結果の妥当性が限られる数学的結果と数値計算の橋渡しを担う精度保証付き数値計算が、標準的な力学系の道具を用いて適用できるようになる事で、特異性も厳密性と具体性を担保しつつ計算できるようになった。また特異性がいつ生じるかを力学系の言葉で明確にし、その振る舞いを力学系と精度保証付き数値計算で追えるようになった事で、特異性発現の有無を判定する事が可能となり、その振る舞いを厳密性をもって視認する事が可能となった。これは微分方程式の解の特異性解析を容易にかつ体系的にし、信頼性のある深い考察を導く事につながる。