「つくば計算機援用証明セミナー」は、数値計算に伴う誤差の制御や、コンピュータによる数学証明を実現する計算機援用証明の研究を発展させることを目的としたセミナーで、不定期開催です。精度保証付き数値計算を中心とした関連分野の研究者が議論を行う場を提供し、分野横断的な研究交流を通じて各分野の発展に寄与することを目指します。
第5回 8月17日（月） 16:30--18:00＠筑波大学第3エリア総合研究棟B 0108室
水口信（埼玉大学）
「非線形放物型方程式の解の爆発時間の数値的検証法について」
概要：非線形放物型偏微分方程式の解の爆発と爆発時間の範囲について計算機を用いて厳密に検証する手法を紹介します. 解の爆発は解の大きさが無限大になる現象のため, 既存の数学理論や数値計算では厳密な爆発時間を得るのは困難とされてきた. しかし既存の精度保証の計算技術と解析的な結果のエネルギー法を組み合わせることで藤田型方程式の解の正確な爆発時間を得ることができた. その内容について講演をする. 時間があれば今後の展望についても話す.
-----
第２回 5月14日（木） 16:30--18:00＠筑波大学第3エリア総合研究棟B 0107室
Jason Mireles-James (Florida Atlantic University)
「Introduction to the parameterization method for invariant manifolds」
概要：I will provide a short introduction to the parameterization method for invariant manifolds. These ideas have deep roots in dynamical systems theory but started to develop into a coherent method in works of Cabre, Fontich, Haro, and de la Llave which appeared around 2001 and shortly thereafter. My presentation will provide a little history and then focus on computational applications. In particular, I'll discuss the use of the method to compute stable/unstable manifolds attached to fixed points of maps, equilibria, and periodic orbits for ordinary differential equations. If time permits, I will also mention some applications to delay and partial differential equations.
-----
第１回 4月28日（火） 16:30--18:00＠筑波大学第3エリア総合研究棟B 0107室
松江要（九州大学）
「精度保証付き数値計算と力学系 ― 問題の捉え方と基本的な考え方」
概要：精度保証付き数値計算（計算機援用証明）は「数学的に厳密な結果を数値計算によって得る」ことを可能にするアプローチであり、解析的手法だけでは証明が難しい問題において威力を発揮します。力学系は、この技術との親和性が高い分野の一つです。しかし、精度保証付き数値計算では区間演算による誤差評価などのため、通常の数値計算とは異なる考え方が必要になります。特に、厳密な結論を得るためには、単に計算を行うだけでなく、どの量を計算すれば目的の数学的結果が導かれるのかを保証する理論的枠組みが重要になります。本講演では、力学系の例を通して、精度保証付き数値計算を用いた数理的問題の基本的な考え方を紹介します。
アクセス：
どなたでも講演を聴講できます。直接会場にお越しください。事前登録等は不要です。筑波大学第3エリア総合研究棟Bへの来校方法はアクセスのページをご参照ください。
世話人：
高安亮紀（筑波大学）
岩波龍雅（筑波大学大学院）
本セミナーは以下の研究費からの補助を受けて開催しています。
- 科学技術振興機構創発的研究支援事業「計算機援用証明によるナヴィエ-ストークス方程式の解析」（研究代表者: 高安亮紀, 課題番号: JPMJFR246A）
- 日本学術振興会学術研究助成基金助成金 基盤研究(B) 「無限次元力学系に対する時間変数境界値問題の計算機援用証明の研究」（研究代表者: 高安亮紀, 課題番号: 26K00619）