Denominator bounds for systems of recurrence equations using -extensions

DOI10.1007/978-3-319-73232-9_7zbMATH Open1406.39010arXiv1705.00280OpenAlexW2964036730MaRDI QIDQ1716151FDOQ1716151

Authors: Johannes Middeke, Carsten Schneider 

Publication date: 29 January 2019

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.

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

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

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)

Cited In (7)

• 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
• Denominator bounds and polynomial solutions for systems of \(q\)-recurrences over \(\mathbb{K}(t)\) for constant \(\mathbb{K}\)

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)