2023 Fiscal Year Annual Research Report
精度保証付き数値計算の前進---有限と無限をつなぐもの---
| Project/Area Number |
21H01000
|
|---|
| Allocation Type | Single-year Grants |
|---|
| Research Institution | Kyushu University |
|---|
Principal Investigator |
渡部 善隆 九州大学, 情報基盤研究開発センター, 准教授 (90243972)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
宮路 智行 京都大学, 理学研究科, 准教授 (20613342)
木下 武彦 佐賀大学, 理工学部, 准教授 (30546429)
小林 健太 一橋大学, 大学院経営管理研究科, 教授 (60432902)
|
|---|
| Project Period (FY) |
2021-04-01 – 2025-03-31
|
| Keywords | 精度保証付き数値計算 / 計算機援用証明 / 有限要素法 / 線形作用素の可逆性 / 射影誤差評価 |
|---|
| Outline of Annual Research Achievements |
前年度に引き続き、非線形関数方程式に対する精度保証付き数値計算手法の一般化・汎用化に取り組みました。具体的な研究実績は以下の通りです。
(1) 具体的な応用となる非線形関数方程式を念頭に、適切な方法により得られた近似解の周りで非線形関数方程式の線形化により導かれた線形作用素の可逆性検証条件の改善と、逆作用素ノルムの上界を効率的に評価する手法を推進しました。あわせて、2階楕円型作用素における収束オーダーの改善と定量的な逆作用素ノルムの誤差限界を与えることに成功し。国内学会において成果を発表しました。
(2) (1)で得られた線形化作用素の可逆性検証と逆作用素ノルム評価を用いて、非線形関数方程式を無限次元Newton型作用素による不動点形式に同値変形します。不動点問題を計算機により解くためには、計算機による取扱いが可能な有限次元部分空間の設定と、無限次元空間から有限次元部分空間への直交射影の定量的誤差評価が要請されます。様々な形状の領域にも対応する基底関数より構成される有限次元部分空間に対する直交射影の誤差の最適値を上限・下限の形で数学的に厳密かつ精緻に捉える研究を推進し、特異性を含む線形作用素への応用を含む実問題への適用に成功しました。
(3) (1)(2)により達成される理論および基盤技術を，非線形関数方程式の解の存在検証に適用しました。今年度は、Navier-Stokes方程式から導かれるProudman-Johnson問題、Elkouh問題、Bermann問題の解に対する計算機援用証明に取り組み、いくつかの検証例を得ることができました。さらに、3次元波動方程式の爆発解の存在検証に成功し、数学的な未解決問題のひとつである安定性解析への道筋を付けることができました。
|
| Research Progress Status |
令和5年度が最終年度であるため、記入しない。
|
| Strategy for Future Research Activity |
令和5年度が最終年度であるため、記入しない。
|
-
-
-
-
-
-
-
-
-
-
-
[Presentation] A computer-assisted proof for a nonlinear differential equation involved with self-similar blowup in wave equations,2023
Author(s)
Yoshitaka Watanabe, Kaori Nagatou, Michael Plum, Birgit Scherkhuber, and Mitsuhiro T. Nakao
Organizer
Minisymposia: Verified Numerical Computations and Applications, in the 10th International Congress on Industrial and Applied Mathematics (ICIAM), August 20-25, 2023, Waseda University, Tokyo, Japan.
Int'l Joint Research
-
-
-
