多変数超幾何関数の数式処理による計算解析

2023 年度 研究成果報告書

• 研究課題/領域番号: 21K03291
• 研究種目: 基盤研究(C)
• 配分区分: 基金
• 応募区分: 一般
• 審査区分: 小区分12010:基礎解析学関連
• 研究機関: 金沢大学
• 研究代表者: 小原 功任 金沢大学, 数物科学系, 教授 (00313635)
• 研究期間 (年度): 2021-04-01 – 2024-03-31
• キーワード: 複素解析 / 超幾何関数 / 数式処理

研究成果の概要

PBW代数におけるグレブナー基底を用いて，特異点が孤立していない場合にも適用可能な局所コホモロジーの計算方法を与えた(田島・鍋島・梅田との共同研究)．トロピカルWeyl代数におけるグレブナー基底の研究を行い，ブッフバーガー型およびF5型のアルゴリズムを得た(Ari DwiHartantoとの共同研究)．ある特別なタイプの多変数超幾何関数について深く調べ，ランク，特異点配置，特異点配置の補空間の基本群，モノドロミーなどを得た(松本・金子・寺杣との共同研究)．数式処理の手法とその実装方法を述べる教科書を執筆し出版した(高山・野呂・藤本との共著)．

自由記述の分野

複素解析

研究成果の学術的意義や社会的意義

本研究の目的は，多変数超幾何関数について，パッフィアン方程式や関数等式などのさまざまな公式(関係式)を数式処理の技法を援用しながら導出することである．これらの公式は純粋数学としての興味だけでなく，応用数学の面からも興味深く実用性のあるものである．例えば，パッフィアン方程式は，多変数超幾何関数やより一般にホロノミック関数の数値評価を行うのに極めて有効である．計算数理統計など関連する諸分野が急速に発展する中で，計算効率のよい公式を探索することの重要性は増している．そのため，それらの公式を組織的に導出していくことは学術的にも重要であり，また社会的にも意義がある．