广义 Hermite 约化、创造性伸缩与 D-有限函数的定积分
符号计算
2023-06-12 v1
摘要
Hermite 约化是符号积分中的经典算法工具，用于将给定有理函数分解为具有单极点的函数与另一有理函数导数之和。我们将 Hermite 约化推广到任意线性微分算子而非纯导数，并为此约化开发了高效算法。随后，我们将广义 Hermite 约化应用于计算含多个连续或离散参数的 D-有限函数的单个定积分所满足的线性算子。所得算法是基于约化的创造性伸缩方法的推广。
引用
@article{arxiv.1805.03445,
title = {Generalized Hermite Reduction, Creative Telescoping and Definite Integration of D-Finite Functions},
author = {Alin Bostan and Frédéric Chyzak and Pierre Lairez and Bruno Salvy},
journal= {arXiv preprint arXiv:1805.03445},
year = {2023}
}
备注
Accepted for publication in the proceedings of the conference ISSAC'18 (Jul 16-19, 2018)