| 研究課題/領域番号 |
21K03270
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 基金 |
|---|
| 応募区分 | 一般 |
|---|
| 審査区分 |
小区分12010:基礎解析学関連
|
|---|
| 研究機関 | 神戸大学 |
|---|
研究代表者 |
高山 信毅 神戸大学, 理学研究科, 教授 (30188099)
|
|---|
| 研究期間 (年度) |
2021-04-01 – 2025-03-31
|
| 研究課題ステータス |
交付 (2023年度)
|
| 配分額 *注記 |
4,030千円 (直接経費: 3,100千円、間接経費: 930千円)
2024年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
2023年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
2022年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
2021年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
|
|---|
| キーワード | 多変数超幾何関数 / honomic勾配降下法 / 分布 / Feynman積分 / 数値解法 / 統計分布 / 数値計算 |
|---|
| 研究開始時の研究の概要 |
ガンマ関数, 不完全ガンマ関数は古典的な特殊関数論の大きな研究テーマであった. 一方, 古典的な統計学の検定論においてもこれらは中心的役割をはたす. したがって, 現代的な多変数超幾何関数論は現代統計学においてやはり重要な役割をはたせるのであろう.
その役割をはたすためには ``多変数超幾何微分方程式の解の大域挙動の研究と精密な数値評価'' が大きく進展する必要がある. 本研究は, 多変数超幾何微分方程式の解の大域挙動を明らかにし, それを用いて多変数超幾何関数の精密な数値評価を可能にすることを目的とする.
|
| 研究実績の概要 |
Trefethenらが提案したチェビシェフ多項式を用いた微分方程式の近似解の計算はとても優れた方法であるがこの方法を別の立場で理解し多変数化する方針の一つを得た. 我々の立場では (1) チェビシェフ点と重みを用いる近似積分公式で常微分方程式 Lf=0 を Lf の積分の最小化とみなす. (2) 初期条件や境界条件はこの最適化問題の制約と思う. 以上の見方により近似積分公式, 最適化手法を用いて常微分方程式の近似解を求めるより一般な方法が得られる. この方法を random matrix の固有値の分布問題を holonomic gradient method により解析する問題に適用し従来の方法に比べ良好な数値近似解を得ることができるようになった. 以上の結果は arxiv:2111.10947 の改訂版に詳しく記述した.
昨年度, 多様体上へのD-加群の有理制限アルゴリズムを与えあるHornの超幾何系に対してその特異点である超曲面への制限の計算も可能であることを示した. このアルゴリズムを実装しHornのリストの超幾何系の超曲面への制限をすべて計算した.
超幾何系の contiguity relation はパラメータが generic な時にはよく知られているが parameter が退化した場合は斉藤によるA-超幾何系の場合を除きよくわかっていない. contiguity relation は差分方程式による数値計算やexact samplerの構築に必要なものでありパラメータが退化した場合の系統的研究が必要である. Appell 関数 F1, F2 に対して微分方程式の有理式解を求める方法を援用して退化した場合の contiguity relation をすべて求めた.
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
本年度の目標であったTrefethen らが提案するチェビシェフ多項式を用いた微分方程式の近似解の計算方法の一般化が得られた. 【接続公式の研究を大域的な数値計算に活かすこと】の研究を開始したいと計画していたが開始できず, 代わりにニューラルネットの特殊関数を用いた最尤推定への応用の研究の準備に多くの時間を費やした.
|
| 今後の研究の推進方策 |
申請時に挙げた問題3: 【接続公式の研究を大域的な数値計算に活かすこと】の研究を完成させる.
パラメータが退化した場合のcontiguity relationの求め方を一般の場合に与える.
ニューラルネットを用いholonomic勾配降下法の初期値を求める方法は新しい方向性である. この方法を Fisher-Bingham 分布のみならず他の積分であらわされる分布に対しても適用する.
|
