D加群とは線型(常または偏)微分方程式系を代数的に捉えた概念である。D加群のうちホロノミック系と呼ばれるクラスは線型常微分方程式(系)の一般化であり,解の全体が有限次元であるという性質がある。ホロノミック系を満たす関数,すなわちホロノミック関数の性質はD加群の考察から解明できると期待される。そこで,ホロノミック関数の多項式不等式で定義された領域上の積分の満たすホロノミック系を計算するアルゴリズムを構成し結果がホロノミックになることを示した。応用として統計学に現れる種々の分布の確率密度関数や,3角形図式に対応する時空2次元のファインマン積分などの満たすホロノミック系を計算した。
|