2023 Fiscal Year Final Research Report
Computer algebra based analysis for hypergeometric functions in some variables
| Project/Area Number |
21K03291
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Multi-year Fund |
|---|
| Section | 一般 |
|---|
| Review Section |
Basic Section 12010:Basic analysis-related
|
|---|
| Research Institution | Kanazawa University |
|---|
Principal Investigator |
|
|---|
| Project Period (FY) |
2021-04-01 – 2024-03-31
|
| Keywords | 複素解析 / 超幾何関数 / 数式処理 |
|---|
| Outline of Final Research Achievements |
We developed a method for computing holonomic D-modules associated to a family of non-isolated hypersurface singularities via comprehensive Groebner systems of Poincare-Birkhoff-Witt algebra. (joint work with S.Tajima, K.Nabeshima, and Y.Umeta). We studied Groebner theory in tropical Weyl algebras and obtained algorithms of Buchberger and F5 types (joint work with Ari Dwi Hartanto). We studied a special types of multivariable hypergeometric functions, and obtained its rank, singular locus, fundamental groups of complementary subspace of singular locus, and monodromy. (joint work with K.Matsumoto, J.Kaneko, and T.Terasoma). We published a textbook for mathematical software and its implementation. (co-authored with N.Takayama, M.Noro, and M.Fujimoto).
|
| Free Research Field |
複素解析
|
| Academic Significance and Societal Importance of the Research Achievements |
本研究の目的は，多変数超幾何関数について，パッフィアン方程式や関数等式などのさまざまな公式(関係式)を数式処理の技法を援用しながら導出することである．これらの公式は純粋数学としての興味だけでなく，応用数学の面からも興味深く実用性のあるものである．例えば，パッフィアン方程式は，多変数超幾何関数やより一般にホロノミック関数の数値評価を行うのに極めて有効である．計算数理統計など関連する諸分野が急速に発展する中で，計算効率のよい公式を探索することの重要性は増している．そのため，それらの公式を組織的に導出していくことは学術的にも重要であり，また社会的にも意義がある．
|
