研究者詳細
2024/04/24 更新
基本情報
教育活動
現在担当している科目
社会貢献活動・その他
特定課題制度(学内資金)
Click to view the Scopus page. The data was downloaded from Scopus API in April 23, 2024, via http://api.elsevier.com and http://www.scopus.com .
現代数学演習 【前年度成績S評価者用】
基幹理工学部
2024年 秋学期
現代数学演習
理工学基礎実験1A 担当講師登録用クラス
2024年 春学期
数学B1(微分積分) 生医
先進理工学部
2024年 通年
数学A1(線形代数) 応化(2)
特異性を持つ数理モデルの精度保証付き分岐探索
2023年
概要を見る
特異性という数学的な複雑性を持つ数理モデルに対し、計算機が誤りなく全ての現象パターンを自動で探索計算できることを研究目的として本研究を行った。具体的には、特異性を持つ数理モデルとしてエノン型方程式にフォーカスして研究を行い、探索した解の存在証明のために”精度保証付き数値計算”を使用した。精度保証付き数値計算は、コンピュータの計算に含まれる誤差を全て把握して、「ε>0の範囲で解が唯一存在する」という論法を使用して数学的な証明/保証を与える手法である。エノン型方程式は固定されたパラメータに対して、複数の解をもつため、これまで純粋数学では解が複数個に分岐する条件を絞り切れずにいた。それに対して、本研究ではコンピュータを使用し保証付きで解の分岐の追跡を行った。結果として、微分幾何学ではカスプ点と呼ばれる、解の分岐点を精度保証付きで求めることに成功して、解が複数に分岐するタイミングが明らかとなった。ゆえに、結果として、計算機が誤りなく全ての現象パターンを探索する起点の個所の特定方法が本研究により得られた。上記の研究成果は、ICIAM2024およびRIMS拠点事業「新時代における高性能科学技術計算法の探究」にて発表を行った。今後の課題としては、「これ以上解がない」ことを証明するために、射撃法を用いた全解探索手法などを検討している。
Click to view the Scopus page. The data was downloaded from Scopus API in April 23, 2024, via http://api.elsevier.com and http://www.scopus.com .