[论文解读] On Rational and Hypergeometric Solutions of Linear Ordinary Difference Equations in $Π\mathbfΣ^*$-field extensions

С. А. Абрамов, Manuel Bronstein+2 more|arXiv (Cornell University)|May 11, 2020

Polynomial and algebraic computation被引用 5

一句话总结

本文提出了一套完整算法，用于在ΠΣ*-域扩张中计算参数化线性差分方程的所有有理解，以及齐次线性差分方程的所有超几何解。该方法通过提供一个灵活且算法正确的框架，将现有方法扩展至在可计算常数域上通过嵌套ΠΣ*-扩张构建的广泛类差分域中求解这些问题，且已在Sigma软件包中实现。

ABSTRACT

We present a complete algorithm that computes all hypergeometric solutions of homogeneous linear difference equations and rational solutions of parameterized linear difference equations in the setting of $ΠΣ^*$-fields. More generally, we provide a flexible framework for a big class of difference fields that is built by a tower of $ΠΣ^*$-field extensions over a difference field that satisfies certain algorithmic properties. As a consequence one can compute all solutions in terms of indefinite nested sums and products that arise within the components of a parameterized linear difference equation, and one can find all hypergeometric solutions that are defined over the arising sums and products of a homogeneous linear difference equation.

研究动机与目标

• 开发一套完整算法，用于在ΠΣ*-域扩张中计算参数化线性差分方程的所有有理解。
• 提供一套完整算法，用于在ΠΣ*-域扩张中计算齐次线性差分方程的所有超几何解。
• 将现有针对有理函数域的有理解与超几何解算法推广至更复杂的差分域，这些差分域通过ΠΣ*-扩张构建。
• 通过仅要求常数域具备特定算法性质，确保框架在算法上的有效性。
• 通过集成至Sigma求和软件包并支持用户配置代数数域与乘积阶数，实现实际计算。

提出的方法

• 该方法基于一个通用框架，用于构建作为基差分域上ΠΣ*-域扩张塔的差分域，其中基差分域具备特定算法性质。
• 它推广了Abramov的分母有界技术，并将其扩展至ΠΣ*-域，以定位参数化方程的有理解。
• 对于超几何解，该方法将问题转化为在常数域上求解有理函数方程组，利用ΠΣ*-单项式的结构。
• 该算法采用归一化过程，将问题约化至最小常数域，从而确保完备性与高效性。
• 它与Karr的差分域理论兼容，并通过Sigma软件包支持通过创造性消去法求解递推关系。
• 支持用户配置选项，可将解限制在特定代数数域或乘积阶数范围内，从而提升计算可行性。

实验结果

研究问题

• RQ1 能否开发出一套完整算法，用于在ΠΣ*-域扩张中计算参数化线性差分方程的所有有理解？
• RQ2 是否可能在一般ΠΣ*-域（而不仅限于有理函数域）上计算齐次线性差分方程的所有超几何解？
• RQ3 如何将该算法框架推广至任意ΠΣ*-域扩张，同时保持完备性与可计算性？
• RQ4 为使此类算法有效，基常数域的最小算法要求是什么？
• RQ5 如何使该框架在符号求和与递推求解中具备实用性与可扩展性？

主要发现

• 本文提出了一套完整算法，用于在ΠΣ*-域扩张中计算参数化线性差分方程的所有有理解，扩展了以往仅限于有理函数域的研究工作。
• 针对齐次线性差分方程在ΠΣ*-域扩张中的所有超几何解，开发了一套完整算法，填补了现有方法的空白。
• 该框架具有通用性与灵活性，适用于任何满足特定算法性质的基差分域上的ΠΣ*-域扩张。
• 该算法已在Sigma求和软件包中实现，并支持通过配置代数数域与乘积阶数来优化性能。
• 该方法支持在嵌套求和-乘积域中计算d’Alembertian解与Liouvillian解，扩展了符号求和工具的应用范围。
• 该方法支持在复杂求和问题（包括粒子物理学与组合学中出现的问题）中进行递推关系的发现与求解。