利用$\Pi\Sigma$-扩张的递推方程系统的分母界
符号计算
2017-05-02 v1
摘要
我们考虑线性递推方程组，其系数以不定嵌套和与积的形式给出，涵盖例如调和数、超几何积、-超几何积或其混合版本。这些线性系统在-扩张的框架下表述，我们的目标是为解寻找分母界（亦称通用分母）；即一个非零多项式使得系统每个解的分母均整除。这是计算此类相当一般的递推系统所有有理解的第一步。一旦已知分母界，求解有理解的问题便化为求解多项式解的问题。
引用
@article{arxiv.1705.00280,
title = {Denominator Bounds for Systems of Recurrence Equations using $\Pi\Sigma$-Extensions},
author = {Johannes Middeke and Carsten Schneider},
journal= {arXiv preprint arXiv:1705.00280},
year = {2017}
}