research-article

Towards a direct method for finding hypergeometric solutions of linear first order recurrence systems

Authors:

Johannes Middeke,

Carsten SchneiderAuthors Info & Claims

ACM Communications in Computer Algebra, Volume 52, Issue 3

Pages 89 - 91

https://doi.org/10.1145/3313880.3313891

Published: 16 February 2019 Publication History

Get Access

Abstract

We establish a connection between the hypergeometric solutions of a first order linear recurrence systems and the determinant of the system matrix. This enables us to find hypergeometric solutions for systems in a way similar to the scalar case. Our result works in the in the single basic and in the multibasic case.

References

[1]

Sergei A. Abramov, Peter Paule, and Marko Petkovšek, q-hypergeometric solutions of q-difference equations, Discrete Mathematics (1998), no. 180, 3--22.

Digital Library

Google Scholar

[2]

Sergei A. Abramov, Marko Petkovšek, and Anna A. Ryabenko, Hypergeometric solutions of first-order linear difference systems with rational-function coefficients, pp. 1--14, Springer International Publishing, 2015.

Digital Library

Google Scholar

[3]

Sergei A. Abramov, Resolving sequences of operator for linear ordinary differential and difference systems of arbitrary order, Computational Mathematics and Mathematical Physics 56 (2016), no. 5, 894--910.

Google Scholar

[4]

Moulay Barkatou, An algorithm for computing a companion block diagonal form for a system of linear differential equations, Appl. Algebra Engrg. Comm. Comput. 4 (1993), no. 3, 185--195.

Google Scholar

[5]

Moulay Barkatou and Mark van Hoeij, personal communication.

Google Scholar

[6]

A. Bauer and M. Petkovšek, Multibasic and mixed hypergeometric Gosper-type algorithms, J. Symbolic Comput. 28 (1999), no. 4--5, 711--736.

Google Scholar

[7]

Alin Bostan, Frédéric Chyzak, and Élie de Panafieu, Complexity estimates for two uncoupling algorithms, Proceedings of ISSAC'13 (Boston), June 2013.

Digital Library

Google Scholar

[8]

M. Danilevski, A. The numerical solutions of the secular equation (russian), Matem. Sbornik 44 (1937), no. 2, 169--171.

Google Scholar

[9]

M. van Hoeij, Finite singularities and hypergeometric solutions of linear recurrence equations, J. Pure Appl. Algebra 139 (1999), no. 1--3, 109--131.

Google Scholar

[10]

Marko Petkovšek, Hypergeometric solutions of linear recurrences with polynomial coefficients, Journal of Symbolic Computation (1992), no. 14, 243--264.

Digital Library

Google Scholar

[11]

B. Zürcher, Rationale Normalformen von pseudo-linearen Abbildungen, Master's thesis, ETH Zürich, 1994.

Google Scholar

Recommendations

Recurrence equations and their classical orthogonal polynomial solutions
Orthogonal systems and applications

The classical orthogonal polynomials are given as the polynomial solutions p"n(x) of the differential equation@s(x)y''(x)+@t(x)y^'(x)+@l"ny(x)=0,where @s(x) is a polynomial of at most second degree and @t(x) is a polynomial of first degree. In this ...
Laurent, Rational, and Hypergeometric Solutions of Linear q-Difference Systems of Arbitrary Order with Polynomial Coefficients

Systems of linear q-difference equations with polynomial coefficients are considered. Equations in the system may have arbitrary orders. For such systems, algorithms for searching polynomial, rational, and hypergeometric solutions, as well as solutions ...
The factorial-basis method for finding definite-sum solutions of linear recurrences with polynomial coefficients
Abstract
The problem of finding a nonzero solution of a linear recurrence L y = 0 with polynomial coefficients where y has the form of a definite hypergeometric sum, related to the Inverse Creative Telescoping Problem of Chen and Kauers (2017, ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Communications in Computer Algebra

ACM Communications in Computer Algebra Volume 52, Issue 3

September 2018

67 pages

ISSN:1932-2240

DOI:10.1145/3313880

Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 16 February 2019

Published in SIGSAM-CCA Volume 52, Issue 3

Check for updates

Qualifiers

Research-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

0
Total Citations
39
Total Downloads

Downloads (Last 12 months)3
Downloads (Last 6 weeks)0

Reflects downloads up to 02 Oct 2024

Other Metrics

View Author Metrics

Citations

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Recommendations

Recurrence equations and their classical orthogonal polynomial solutions

Laurent, Rational, and Hypergeometric Solutions of Linear q-Difference Systems of Arbitrary Order with Polynomial Coefficients

The factorial-basis method for finding definite-sum solutions of linear recurrences with polynomial coefficients