Skip to main content
SpringerLink
Log in

Computing Hypergeometric Solutions of Linear Recurrence Equations

  • Published:
Applicable Algebra in Engineering, Communication and Computing Aims and scope

Abstract

We describe a complete algorithm to compute the hypergeometric solutions of linear recurrence relations with rational function coefficients. We use the notion of finite singularities and avoid computations in splitting fields. An implementation is available in Maple 9.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Abramov, S.A.: Rational solutions of linear difference and q-difference equations with polynomial coefficients. In (Russian) Programmirovanie, 6: 3–11, (1995) translation in Program. Comput. Software 21, 6, 273–278 (1995)

  2. Abramov, S.A., Barkatou, M.A.: Rational solutions of first order linear difference systems. In: Proceedings of ISSAC'98, ACM Press, 1998

  3. Abramov, S.A., Barkatou, M.A., van Hoeij, M.: Apparent Singularities of Linear Difference Equations with Polynomial Coefficients. To appear in AAECC, 2006

  4. Abramov, S.A., Bronstein, M., Petkovšek, M.: On polynomial solutions of linear operator equations. In: Proceedings of ISSAC'95. ACM, New York, 1995

  5. Abramov, S.A., Paule, P., Petkovšek, M.: q-Hypergeometric solutions of q-difference equations. In: Discrete Math. 180, 3–22 (1998)

  6. Adams, C.R.: On the irregular cases of the linear ordinary difference equations. In: Trans. Amer. Math. Soc. 30, 507–541 (1928)

  7. Barkatou, M.A.: A fast algorithm to compute the rational solutions of systems of linear differential equations. In: Rapport de Recherche IMAG (Grenoble). RR 973-M-, 1997

  8. Barkatou, M.A., Duval, A.: Sur les séries formelles solutions d'équations aux différences polynomiales. In Ann. Inst. Fourier (Grenoble). 44(2), 495–524 (1994)

  9. Beke, E.: Die Irreduzibilität der homogenen linearen differentialgleichungen. In: Math. Ann. 45, 278–294 (1894)

  10. Birkhoff, G.D.: Formal theory of irregular linear difference equations. In: Acta Math. 54, 205–246 (1930)

  11. Bostan, A., Cluzeau, T., Salvy, B.: Fast algorithms for polynomial solutions of linear differential equations. In: Proceedings of ISSAC'05, Beijing, China, pp. 24–27, 2005

  12. Cluzeau, T., van Hoeij, M.: A modular algorithm to compute the exponential solutions of a linear differential operator. Journal of Symbolic Computation. 38, 1043–1076 (2004)

    Google Scholar 

  13. Giesbrecht, M., Zhang, Y.: Factoring and decomposing ore polynomials over . In: Proceedings of ISSAC'03, August 3-6, Philadelphia, Pennsylvania, pp. 127–134, 2003

  14. van Hoeij, M.: Rational solutions of linear difference equations. In: Proceedings of ISSAC'98, pp. 120-123, 1998

  15. van Hoeij, M.: Finite singularities and hypergeometric solutions of linear recurrence equations. In: Journal of Pure and Applied Algebra. 139, 109–131 (1999)

  16. Nörlund, N.E.: Lecons sur les équations linéaires aux différences finies. Gauthiers Villard et Cie, Paris, 1929

  17. Petkovšek, M.: Hypergeometric solutions of linear recurrences with polynomial coefficients. In: Journal of Symbolic Computation. 14(2–3), 243–264 (1992)

  18. Petkovšek, M., Wilf, H.S., Zeilberger. D.: A=B. With a foreword by Donald E. Knuth. A. K. Peters, Ltd., Wellesley, MA, 1996

  19. van der Put, M.: Differential equations in characteristic p. In: Compositio Mathematica, 97, 227–251 (1995)

  20. van der Put, M., Singer, M.F.: Galois theory of difference equations. In: Lectures Notes in Mathematics, vol 1666. Springer, Berlin, 1997

  21. Weixlbaumer, C.: Solutions of difference equations with polynomial coefficients. Diplomarbeit, RISC Linz, Johannes Kepler Universität, 2001

Download references

Author information

Authors and Affiliations

  1. LACO, University of Limoges, 123 avenue Albert Thomas, 87060, Limoges cedex, France

    Thomas Cluzeau

  2. Department of mathematics, Florida State University, Tallahassee, FL, 32306, USA

    Mark van Hoeij

Authors
  1. Thomas Cluzeau
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mark van Hoeij
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Thomas Cluzeau.

Additional information

work initiated while being a member of Laboratoire STIX, École polytechnique, 91128 Palaiseau cedex,France

Supported by NSF grant 0098034

Rights and permissions

Reprints and permissions

About this article

Cite this article

Cluzeau, T., van Hoeij, M. Computing Hypergeometric Solutions of Linear Recurrence Equations. AAECC 17, 83–115 (2006). https://doi.org/10.1007/s00200-005-0192-x

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00200-005-0192-x

Keywords

Search

Navigation