多项式不等式定义域上和乐函数积分的算法
符号计算
2016-04-05 v2 经典分析与常微分方程
摘要
我们提出了一种算法，用于计算由多项式不等式定义的域上和乐函数的定积分的和乐系统。如果被积函数满足包含参数的和乐差分-微分系统，那么也可以计算出该积分的和乐差分-微分系统。在该算法中，即使被积函数是通常的函数，也不可避免地会涉及和乐分布（L. Schwartz意义上的广义函数）。
引用
@article{arxiv.1108.4853,
title = {Algorithms for integrals of holonomic functions over domains defined by polynomial inequalities},
author = {Toshinori Oaku},
journal= {arXiv preprint arXiv:1108.4853},
year = {2016}
}
备注
corrected typos; Sections 5 and 6 were slightly revised with results unchanged