On rational and hypergeometric solutions of linear ordinary difference equations in ^-field extensions
From MaRDI portal
(Redirected from Publication:2029003)
On rational and hypergeometric solutions of linear ordinary difference equations in \(\Pi\Sigma^\ast\)-field extensions
On rational and hypergeometric solutions of linear ordinary difference equations in \(\Pi\Sigma^\ast\)-field extensions
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.
In this paper the authors develop an algorithmic framework to solve linear difference equations in the context of \(\Pi\Sigma^*\)-fields. That is, the coefficients of these equations are assumed to be indefinitely nested sums and products that can be represented as elements of a \(\Pi\Sigma^*\)-field. The two main results of this paper are algorithms for computing (1) hypergeometric solutions of homogeneous linear difference equations, and (2) rational solutions of parameterized (inhomogeneous) linear difference equations. These algorithms are therefore generalizations of classical algorithms (Abramov, Petkovšek, etc.). They can also be viewed as the difference analog of Singer's algorithm, based on Risch's algorithm, for finding all Liouvillian solutions of linear differential equations whose coefficients are given in terms of Liouvillian extensions.
Recommendations
- Solving parameterized linear difference equations in terms of indefinite nested sums and products
- Rational solutions of linear difference and \(q\)-differential equations with polynomial coefficients
- Degree bounds to find polynomial solutions of parameterized linear difference equations in -fields
- On solutions of linear ordinary difference equations in their coefficient field
- Hypergeometric solutions of first-order linear difference systems with rational-function coefficients
Cites work
- m-fold hypergeometric solutions of linear recurrence equations revisited
- \(q\)-hypergeometric solutions of \(q\)-difference equations
- A collection of denominator bounds to solve parameterized linear difference equations in \(\Pi\Sigma\)-extensions
- A difference ring theory for symbolic summation
- A holonomic systems approach to special functions identities
- A new Sigma approach to multi-summation
- A refined difference field theory for symbolic summation
- An Extension of Liouville’s Theorem on Integration in Finite Terms
- An extension of Zeilberger's fast algorithm to general holonomic functions
- An introduction to pseudo-linear algebra
- Computing hypergeometric solutions of second order linear differential equations using quotients of formal solutions and integral bases
- Creative telescoping for holonomic functions
- Degree bounds to find polynomial solutions of parameterized linear difference equations in -fields
- Denominator bounds for systems of recurrence equations using -extensions
- Fast algorithms for refined parameterized telescoping in difference fields
- Finite singularities and hypergeometric solutions of linear recurrence equations
- Galois theory of difference equations
- scientific article; zbMATH DE number 1254263 (Why is no real title available?)
- scientific article; zbMATH DE number 1254298 (Why is no real title available?)
- scientific article; zbMATH DE number 1262437 (Why is no real title available?)
- scientific article; zbMATH DE number 1263410 (Why is no real title available?)
- scientific article; zbMATH DE number 872231 (Why is no real title available?)
- scientific article; zbMATH DE number 3207354 (Why is no real title available?)
- Hypergeometric dispersion and the orbit problem
- Hypergeometric solutions of linear recurrences with polynomial coefficients
- In memory of Manuel Bronstein
- Indefinite summation with unspecified summands
- Liouvillian solutions of linear differential equations with Liouvillian coefficients
- Minimal representations and algebraic relations for single nested products
- Multibasic and mixed hypergeometric Gosper-type algorithms
- Non-commutative elimination in Ore algebras proves multivariate identities
- On solutions of linear ordinary difference equations in their coefficient field
- On the summation of rational functions
- Polynomial ring automorphisms, rational \((w,\sigma )\)-canonical forms, and the assignment problem
- Problems of computer algebra involved in the search for polynomial solutions of linear differential and difference equations
- Product representations in -fields
- Rational solutions of linear differential and difference equations with polynomial coefficients
- Refined holonomic summation algorithms in particle physics
- Representing (q-)hypergeometric products and mixed versions in difference rings
- Simplifying multiple sums in difference fields
- Solving difference equations in finite terms
- Solving linear recurrence equations with polynomial coefficients
- Solving parameterized linear difference equations in terms of indefinite nested sums and products
- Summation in Finite Terms
- Summation theory. II: Characterizations of \(R {\Pi}{\Sigma}^{\ast}\)-extensions and algorithmic aspects
- Symbolic integration. I: Transcendental functions
- Symbolic summation assists combinatorics
- Symbolic summation with radical expressions
- The method of creative telescoping
- The Problem of Integration in Finite Terms
- The two-mass contribution to the three-loop gluonic operator matrix element \(A_{g g, Q}^{(3)}\)
- Theory of non-commutative polynomials
- Theory of summation in finite terms
Cited in
(24)- Hypergeometric solutions of linear recurrences with polynomial coefficients
- On solutions of linear ordinary difference equations in their coefficient field
- The three-loop polarized singlet anomalous dimensions from off-shell operator matrix elements
- The two-loop massless off-shell QCD operator matrix elements to finite terms
- Constructing minimal telescopers for rational functions in three discrete variables
- The massless three-loop Wilson coefficients for the deep-inelastic structure functions \(F_2\), \(F_L\), \(xF_3\) and \(g_1\)
- The factorial-basis method for finding definite-sum solutions of linear recurrences with polynomial coefficients
- A collection of denominator bounds to solve parameterized linear difference equations in \(\Pi\Sigma\)-extensions
- Analytic integration methods in quantum field theory: an introduction
- Term algebras, canonical representations and difference ring theory for symbolic summation
- The SAGEX review on scattering amplitudes Chapter 4: Multi-loop Feynman integrals
- Hypergeometric structures in Feynman integrals
- Refined telescoping algorithms in RΠΣ -extensions to reduce the degrees of the denominators✱
- Representation of hypergeometric products of higher nesting depths in difference rings
- The first-order factorizable contributions to the three-loop massive operator matrix elements \(A_{Qg}^{(3)}\) and \(\Delta A_{Qg}^{(3)}\)
- Rational solutions to the first order difference equations in the bivariate difference field
- Recurrence-Driven Summations in Automated Deduction
- Creative telescoping for hypergeometric double sums
- Asymptotics for the reciprocal and shifted quotient of the partition function
- Symbolic summation in multivariate difference fields
- On the computation of the difference Galois groups of order 3 equations
- Polynomial solutions to the first order difference equations in the bivariate difference field
- On some algebraic difference equations \(u_{n+2} u_{n}= \psi(u_{n+1})\) in \(\mathbb R_*^+\), related to families of conics or cubics: generalization of the Lyness' sequences
- Degree bounds to find polynomial solutions of parameterized linear difference equations in -fields
Describes a project that uses
Uses Software
This page was built for publication: On rational and hypergeometric solutions of linear ordinary difference equations in \(\Pi\Sigma^\ast\)-field extensions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2029003)
