Denominator bounds for systems of recurrence equations using -extensions

DOI10.1007/978-3-319-73232-9_7MaRDI QIDQ1716151zbMATH OpenOpenAlexFDO

Authors Johannes Middeke, Carsten Schneider

Publication date 29 January 2019

Full work available at URL https://arxiv.org/abs/1705.00280

zbMATH Keywords

difference equationscoupled systemsOre polynomialsnested sumsdifference ringsdenominator boundsnested products

Mathematics Subject Classification ID

Computational aspects of associative rings (general theory) (16Z05) Difference equations, scaling ((q)-differences) (39A13)

Abstract: We consider linear systems of recurrence equations whose coefficients are given in terms of indefinite nested sums and products covering, e.g., the harmonic numbers, hypergeometric products, $q$-hypergeometric products or their mixed versions. These linear systems are formulated in the setting of $PiSigma$-extensions and our goal is to find a denominator bound (also known as universal denominator) for the solutions; i.e., a non-zero polynomial $d$ such that the denominator of every solution of the system divides $d$. This is the first step in computing all rational solutions of such a rather general recurrence system. Once the denominator bound is known, the problem of solving for rational solutions is reduced to the problem of solving for polynomial solutions.

Recommendations

• Denominator bounds and polynomial solutions for systems of \(q\)-recurrences over \(\mathbb{K}(t)\) for constant \(\mathbb{K}\)
• Denominator bounds for higher order systems of linear recurrence equations
• Minimal universal denominators for systems of linear recurrences
• A collection of denominator bounds to solve parameterized linear difference equations in \(\Pi\Sigma\)-extensions
• Denominators of rational solutions of linear difference systems of an arbitrary order

Cited in

(7)

• Denominator bounds and polynomial solutions for systems of \(q\)-recurrences over \(\mathbb{K}(t)\) for constant \(\mathbb{K}\)
• Term algebras, canonical representations and difference ring theory for symbolic summation
• The SAGEX review on scattering amplitudes Chapter 4: Multi-loop Feynman integrals
• Denominator bounds for higher order systems of linear recurrence equations
• On rational and hypergeometric solutions of linear ordinary difference equations in \(\Pi\Sigma^\ast\)-field extensions
• Minimal universal denominators for systems of linear recurrences
• Creative telescoping for hypergeometric double sums

This page was built for publication: Denominator bounds for systems of recurrence equations using \(\Pi\Sigma\)-extensions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1716151)