1998 Fiscal Year Annual Research Report
| Project/Area Number |
09640055
|
|---|
| Research Institution | Yokohama City University |
|---|
Principal Investigator |
大阿久 俊則 横浜市立大学, 理学部, 助教授 (60152039)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
藤井 道彦 横浜市立大学, 理学部, 助手 (60254231)
藤井 一幸 横浜市立大学, 理学部, 助教授 (00128084)
浅野 洋 横浜市立大学, 理学部, 教授 (00046012)
高山 信毅 神戸大学, 理学部, 教授 (30188099)
|
|---|
| Keywords | D-加群 / 線型偏微分方程式 / アルゴリズム / グレブナ基底 / 数式処理 |
|---|
| Research Abstract |
昨年度に引続き,D-加群(線型偏微分方程式系)に対する種々の演算(関手)の計算アルゴリズムを確立し,同時に実際の計算を可能にするようなソフトウェアを開発することを目標に研究を行なった.具体的な研究成果は次の通り:
1. D-加群の演算の計算アルゴリズム:アフィン空間上で定義されたD-加群のアフィン部分多様体への制限(引き戻し)と,アフィン空間をファイバーとする積分(順像),およびそれらの導来関手の計算アルゴリズムを得た.これらはD-加群のあるフィルター付けに適合した自由分解を経由して計算される.さらに自由分解がフィルター付けに適合しているための必要十分条件を与えた。この条件は多項式環の場合にも従来は知られていなかったと思われる.
2. ホロノミック関数の計算アルゴリズム:種々の関数を計算機で正確に扱うことは困難であるが,我々は関数そのものではなく,それの満たす微分方程式系に着目してD-加群のアルゴリズムを適用することにより,関数等式の証明や,積分や積の満たす微分方程式系を求めるアルゴリズムを導いた.
3. de Rhamコホモロジーの計算アルゴリズム:アフィン空間から余次元1の代数的集合を除いた空間のde Rhamコホモロジー群の計算アルゴリズムを,積分の計算アルゴリズムの応用として導いた.
4. 実際のソフトウェアの開発とその公開:高山信毅が1991年頃から開発を続けている数式処理システムkanを用いて上記の1-3のアルゴリズムのプログラミングを行ない,高山のホームページ上で公開した.
|
-
[Publications] 大阿久 俊則: "加群の積分とその応用" 京都大学数理解析研究所講究録. 1038. 163-169 (1998)
-
[Publications] 大阿久 俊則: "計算の視点から見たD加群理論" 数学. 50・2. 203-211 (1998)
-
[Publications] 大阿久 俊則: "数式処理と数学-ホロノミック・パラダイム" 数理科学. 425. 32-38 (1998)
-
[Publications] T.Oaku: "Higher-codimensional boundary value problems" Publ.RIMS,Kyoto Univ.34・3. 383-437 (1998)
-
[Publications] T.Oaku: "An algorithm for de Rham cohomology groups" J.Pure Appl.Algebra. (印刷中). (1999)
