On rational and hypergeometric solutions of linear ordinary difference equations in ^-field extensions

DOI10.1016/J.JSC.2021.01.002zbMATH Open1483.12005arXiv2005.04944OpenAlexW3126493290MaRDI QIDQ2029003FDOQ2029003

Yanyan Li

Publication date: 3 June 2021

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

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 $PiSigm{a}^{*}$-fields. More generally, we provide a flexible framework for a big class of difference fields that is built by a tower of $PiSigm{a}^{*}$-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.

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

zbMATH Keywords

linear difference equationsrational solutionshypergeometric solutionsdifference fields

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Linear difference equations (39A06) Difference algebra (12H10)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A new Sigma approach to multi-summation
• Symbolic summation assists combinatorics
• Simplifying Multiple Sums in Difference Fields
• Refined holonomic summation algorithms in particle physics
• A holonomic systems approach to special functions identities
• Finite singularities and hypergeometric solutions of linear recurrence equations
• Theory of non-commutative polynomials
• Problems of computer algebra involved in the search for polynomial solutions of linear differential and difference equations
• Galois theory of difference equations
• Symbolic integration. I: Transcendental functions
• Non-commutative elimination in Ore algebras proves multivariate identities
• An extension of Zeilberger's fast algorithm to general holonomic functions
• The Problem of Integration in Finite Terms
• On the summation of rational functions
• Hypergeometric solutions of linear recurrences with polynomial coefficients
• An introduction to pseudo-linear algebra
• \(q\)-hypergeometric solutions of \(q\)-difference equations
• The method of creative telescoping
• On solutions of linear ordinary difference equations in their coefficient field
• Summation in Finite Terms
• Creative Telescoping for Holonomic Functions
• \( m\)-fold hypergeometric solutions of linear recurrence equations revisited
• Multibasic and mixed hypergeometric Gosper-type algorithms
• Solving difference equations in finite terms
• Solving parameterized linear difference equations in terms of indefinite nested sums and products
• Indefinite summation with unspecified summands
• A refined difference field theory for symbolic summation
• Rational solutions of linear differential and difference equations with polynomial coefficients
• Theory of summation in finite terms
• Product representations in \(\Pi\Sigma\)-fields
• Fast Algorithms for Refined Parameterized Telescoping in Difference Fields
• A difference ring theory for symbolic summation
• Solving Linear Recurrence Equations with Polynomial Coefficients
• Degree bounds to find polynomial solutions of parameterized linear difference equations in \(\Pi\Sigma\)-fields
• Polynomial ring automorphisms, rational \((w,\sigma )\)-canonical forms, and the assignment problem
• An Extension of Liouville’s Theorem on Integration in Finite Terms
• The two-mass contribution to the three-loop gluonic operator matrix element \(A_{g g, Q}^{(3)}\)
• Liouvillian solutions of linear differential equations with Liouvillian coefficients
• In memory of Manuel Bronstein
• Hypergeometric dispersion and the orbit problem
• Minimal representations and algebraic relations for single nested products
• Summation theory. II: Characterizations of \(R {\Pi}{\Sigma}^{\ast}\)-extensions and algorithmic aspects
• Computing hypergeometric solutions of second order linear differential equations using quotients of formal solutions and integral bases
• Denominator bounds for systems of recurrence equations using \(\Pi\Sigma\)-extensions
• Representing \((q-)\)hypergeometric products and mixed versions in difference rings

Cited In (17)

• The massless three-loop Wilson coefficients for the deep-inelastic structure functions \(F_2\), \(F_L\), \(xF_3\) and \(g_1\)
• 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
• The SAGEX review on scattering amplitudes Chapter 4: Multi-loop Feynman integrals
• The two-loop massless off-shell QCD operator matrix elements to finite terms
• Rational solutions to the first order difference equations in the bivariate difference field
• Refined telescoping algorithms in RΠΣ -extensions to reduce the degrees of the denominators✱
• Representation of hypergeometric products of higher nesting depths in difference rings
• Constructing minimal telescopers for rational functions in three discrete variables
• Term Algebras, Canonical Representations and Difference Ring Theory for Symbolic Summation
• Creative telescoping for hypergeometric double sums
• Recurrence-Driven Summations in Automated Deduction
• The factorial-basis method for finding definite-sum solutions of linear recurrences with polynomial coefficients
• Hypergeometric structures in Feynman integrals
• Degree bounds to find polynomial solutions of parameterized linear difference equations in \(\Pi\Sigma\)-fields
• Analytic Integration Methods in Quantum Field Theory: An Introduction
• The three-loop polarized singlet anomalous dimensions from off-shell operator matrix elements
• The first-order factorizable contributions to the three-loop massive operator matrix elements \(A_{Qg}^{(3)}\) and \(\Delta A_{Qg}^{(3)}\)

Uses Software

• SIGMA
• EvaluateMultiSums
• hypergeometricsols
• RhoSum
• RatDiff
• NestedProducts

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)