2023 Fiscal Year Research-status Report
関数方程式の解に対する効率的な計算機援用「非」存在証明法の開発
| Project/Area Number |
23K03237
|
|---|
| Research Institution | Chiba Institute of Technology |
|---|
Principal Investigator |
関根 晃太 千葉工業大学, 情報科学部, 准教授 (80732239)
|
|---|
| Project Period (FY) |
2023-04-01 – 2026-03-31
|
| Keywords | 計算機援用証明法 / 精度保証数値計算 / 解の非存在証明 / 関数方程式 |
|---|
| Outline of Annual Research Achievements |
関数方程式の解に対し，効率的な計算機援用非存在証明法を開発するために，2023年度には計画通りキー定理の導出を行った．従来は，非存在証明を行うための候補となる集合を，無限次元空間のみで検討していた．それに対し，非存在を検証するための候補となる集合をコンピュータで計算可能な有限次元部分と計算が不可能な無限次元部分に分割し，有限次元部分については，可能な限りコンピュータで評価することで，従来手法よりも効率的なアルゴリズムとなりえるキー定理を構築した．これにより，従来に比べ繊細な計算が可能になると考えられる．加えて，従来は不可能であった基底の係数レベルで有限次元部分については具体的に解が存在しない区間を把握できることにも成功する．
さらに，計算機援用非存在証明法を利用する際に必要となる射影誤差定数についても，新たな公式を導出し，以下の論文として出版された:
“抽象的なHilbert空間の有限次元部分空間への直交射影の誤差に対する最良定数”, 日本応用数理学会論文誌, 34巻1号, pp.19-32, 2024/3/25, doi.org/10.11540/jsiamt.34.1_19
上記論文では，抽象化されたHilbert空間上に対し，射影誤差定数の最良定数が無限次元部分の固有値問題に帰着してかけることをしめした．これにより，キー定理の導出だけでなく，アルゴリズム内で利用する具体的な定数でも計算機援用非存在証明法の効率化をはかれるようになる．
|
| Current Status of Research Progress |
Current Status of Research Progress
1: Research has progressed more than it was originally planned.
Reason
2023年度に予定をしていた解の非存在証明法のキー定理の導出のみができたため，順調に進展している．さらに，キー定理の導出以外にも予定していなかった本課題で重要となる射影誤差定数の公式まで導出できた．よって，当初の計画以上に進展しているといえる．
|
| Strategy for Future Research Activity |
当初の計画通りキー定理をアルゴリズム化し，コンピュータで実装する．
さらに学会発表などでキー定理について公開も行う予定である．
|
| Causes of Carryover |
2023年度に開催を予定されていた精度保証付き数値計算の国際会議SCANがウクライナ情勢により延期されたため，予定していた国外による研究発表がなくなってしまった．
そのために，翌年度分として，当初の計画通り学会発表に利用することを考えている．
具体的には，The 43rd JSST Annual International Conference on Simulation Technologyで学会発表する費用として利用する予定である．
|
