| 研究課題/領域番号 |
18K03318
|
|---|
| 研究機関 | 山形大学 |
|---|
研究代表者 |
西岡 斉治 山形大学, 理学部, 准教授 (10632226)
|
|---|
| 研究期間 (年度) |
2018-04-01 – 2024-03-31
|
| キーワード | 微分超越性 / 超超越性 / 差分代数 / 強正規拡大 |
|---|
| 研究実績の概要 |
2次式型の1階有理的差分方程式に対する解の微分超越性についての論文が出版された。関数が微分超越的とは、いかなる代数的微分方程式の解にもならないという性質で、超超越性ともいう。ガンマ関数が代表例である。また、微分超越的でないとき微分代数的という。今回の論文で明らかにしたのは、方程式が定数係数ではない場合に、微分代数的な超越関数解が存在するための必要十分条件である。条件は係数のみの関係式で記述される簡潔なものとなっている。
他に、四則演算と差分が定義された集合（差分環・体）の強正規拡大について、その具体例を豊富にすることを目的として文献調査および考察を行った。強正規拡大によるガロワ理論は、線形差分方程式に関するピカール・ヴェシオ拡大によるガロワ理論を拡張したものであり、ある程度の非線形差分方程式を扱えるはずである。実際、楕円関数が強正規拡大を生成することが知られている。
なお、差分ではなく微分の場合には、微分体（四則演算と微分が定義された体）の強正規拡大はいわゆる梅村の古典関数の微分代数的定義を与える。このことから、２階代数的微分方程式の中でも良い性質を持つとされるパンルヴェ方程式が梅村の古典超越関数解を持つか否かという問題の解決に用いられた。これをパンルヴェ方程式の既約性という。パンルヴェ方程式には差分における対応物があり、差分体の強正規拡大を用いた同様の研究がなされているが、その詳細は過去の研究課題を参照されたい。
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
3: やや遅れている
理由
強正規拡大について、研究集会をはじめとする海外研究者との交流機会が得られず、情報収集に支障があった。
|
| 今後の研究の推進方策 |
遅れている強正規拡大の情報収集については、この１年間で新たに出版された論文も見つつ、文献中心で行う。引き続き古典的な手法の発掘・再評価も行う。
|
| 次年度使用額が生じた理由 |
新型コロナウイルス感染症拡大のため、参加を予定していた学会や研究会などの中止や延期によるもの（社会情勢を考慮して参加を見送った場合を含む）。
次年度は主に出張旅費または論文執筆・公表の経費として使用する。
|
