Hypergeometric solutions of linear difference systems

DOI10.1016/J.JSC.2025.102475MaRDI QIDQ6890940zbMATH OpenFDO

Authors Moulay A. Barkatou, Mark van Hoeij, Johannes Middeke, Yi Zhou

Publication date 2 December 2025

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

Full work available at URL https://doi.org/10.1016/J.JSC.2025.102475

zbMATH Keywords

algorithmsdifference equationsfactorizationhypergeometric solutionssymbolic computation

Mathematics Subject Classification ID

Classical hypergeometric functions, ({}_2F_1) (33C05) Linear difference equations (39A06) Difference operators (39A70) Symbolic computation and algebraic computation (68W30)

Review text

The paper develops algorithms for finding hypergeometric solutions of linear difference systems, generalising Petkovšek's method from single equations to full systems. A solution is viewed as a hypergeometric term multiplied by a primitive polynomial vector. The authors begin with Bronstein's idea of bounding candidates by examining the denominators of the system matrix and its inverse, but they then refine this approach substantially. They introduce the use of unramified generalised exponents, computed through super-reduction, to restrict the possible hypergeometric factors. Compatibility conditions derived from these exponents link the slope, constant factor, and index of potential solutions. The authors also define the notions of type and local type to group equivalent candidates and select minimal representatives, preventing duplicate solutions. The final algorithm efficiently produces polynomial solutions and scales well to high-dimensional systems, supporting applications such as the factorisation of difference operators.

Cites work

• Computing hypergeometric solutions of linear recurrence equations
• Computing the exponential part of a formal fundamental matrix solution of a linear difference system
• Die Irreducibilität der homogenen linearen Differentialgleichungen.
• EG-eliminations
• Finite singularities and hypergeometric solutions of linear recurrence equations
• Galois theory of difference equations
• scientific article; zbMATH DE number 3620034 (Why is no real title available?)
• scientific article; zbMATH DE number 1262438 (Why is no real title available?)
• scientific article; zbMATH DE number 1263435 (Why is no real title available?)
• Hypergeometric solutions of first-order linear difference systems with rational-function coefficients
• Hypergeometric solutions of linear recurrences with polynomial coefficients
• Regular systems of linear functional equations and applications
• Simple forms and rational solutions of pseudo-linear systems

Cited in

(1)

• Algorithms for 2-solvable difference equations

This page was built for publication: Hypergeometric solutions of linear difference systems

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