[論文レビュー] On Rational and Hypergeometric Solutions of Linear Ordinary Difference Equations in $\Pi\mathbf\Sigma^*$-field extensions

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

Polynomial and algebraic computation参考文献 38被引用数 8

ひとこと要約

本稿では、ΠΣ∗-体拡張における線形常差分方程式のすべての有理関数解および超幾何関数解を計算する完全なアルゴリズムを提示する。この手法は、アルゴリズム的差分体に基づく柔軟なフレームワークに依拠しており、ネストされた和および積の形で解を体系的に計算可能である。主な貢献は、一般のΠΣ∗-体上での超幾何関数解に対する初めての完全なアルゴリズムであり、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 $\Pi\Sigma^*$-fields. More generally, we provide a flexible framework for a big class of difference fields that is built by a tower of $\Pi\Sigma^*$-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.

研究の動機と目的

• パrameter化された線形差分方程式のすべての有理関数解を、ΠΣ∗-体拡張において完全に計算するアルゴリズムを開発すること。
• 任意のΠΣ∗-体上での超幾何関数解を計算する一般枠組みを提供し、先行する不完全な手法を拡張すること。
• 解の計算を記号計算環境に統合し、和分および再帰的式の解法における実用的利用を可能にすること。
• 代数的数拡張および次数／サイズ制約をサポートし、効率的かつ制御可能な解の生成を実現すること。
• 記号和分ツールの適用範囲を、より広い種類の特殊関数および定積分へと拡張すること。

提案手法

• σ-計算可能な基本体K上にΠΣ∗-体拡張を構築し、解の計算に適したアルゴリズム的性質を保証する。
• Abramovの分母の上限評価およびSchneiderのアルゴリズム的技法の一般化を用い、任意の次数の線形差分方程式を扱う。
• 係数体および再帰作用素の構造を分析することで、超幾何関数候補を同定する。
• 各超幾何関数候補に対して、必要な最小の定数体で線形差分方程式を解き、効率性と正しさを保証する。
• WithAlgebraicNumbersおよびDegreeInProductsなどの最適化機能を用い、代数的複雑性とメモリ使用量を制御する。
• Sigmaパッケージ内にフレームワークを実装し、実際の応用において有理関数解および超幾何関数解の両方の計算を可能にする。

実験結果

リサーチクエスチョン

• RQ1 一般のΠΣ∗-体拡張における同次線形差分方程式のすべての超幾何関数解を計算する完全なアルゴリズムを開発することは可能か？
• RQ2 アルゴリズム的性質を持つΠΣ∗-体において、パrameter化された線形差分方程式の有理関数解を体系的に計算する方法は何か？
• RQ3 ネストされた和および積の拡張において、解の計算の正しさと効率性を保証する定数体の役割は何か？
• RQ4 計算の実行可能性を損なわずに、代数的数体を解のフレームワークに統合する方法は何か？
• RQ5 自由または根号を含む差分体のような非有理的基底体へ、このフレームワークをどの程度まで拡張可能か？

主な発見

• 本稿では、一般のΠΣ∗-体拡張における同次線形差分方程式のすべての超幾何関数解を計算する初めての完全なアルゴリズムを提示する。
• このフレームワークにより、アルゴリズム的基底体を持つΠΣ∗-体におけるパrameter化された線形差分方程式のすべての有理関数解の計算が可能になる。
• 解は体拡張に由来するネストされた和および積の形で表現され、代数的数および次数制約について完全な制御が可能である。
• 各候補解を最小限に必要な定数体で解くことで、正しさと効率性が保証され、不要な体拡張を回避する。
• アルゴリズムはSigmaパッケージに実装されており、記号和分および再帰的式の解法における実用的応用をサポートする。
• このフレームワークは、自由または根号拡張などの他のアルゴリズム的差分体へも拡張可能であり、記号計算の新たな道を開く。