Skip to main content
Log in

Evaluating the rational generating function for the solution of the Cauchy problem for a two-dimensional difference equation with constant coefficients

  • Published:
Programming and Computer Software Aims and scope Submit manuscript

Abstract

We propose an algorithm for evaluation of rational generating functions for solutions of the Cauchy problems for two-dimensional difference equations with constant coefficients. The coefficients of onedimensional difference equations and the initial data are used to solve the corresponding Cauchy problems. The algorithm is implemented in the Maple computer algebra system.

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

Access this article

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., Barkatou, M.A., van Hoeij, M., and Petkovsek, M., Subanalytic solutions of linear difference equations and multidimensional hypergeometric sequences, J. Symbolic Comput., 2011, vol. 46, pp. 1205–1228.

    Article  MathSciNet  MATH  Google Scholar 

  2. Abramov, S.A., Gheffar, A., and Khmelnov, D.E., Rational solutions of linear difference equations: Universal denominators and denominator bounds, Program. Comput. Software, 2011, vol. 37, no. 2, pp. 78–86.

    Article  MathSciNet  MATH  Google Scholar 

  3. Gel’fond, A.O., Ischislenie konechnykh raznostei (Evaluation of Finite Differences), Moscow: KomKniga, 2006.

    Google Scholar 

  4. Isaacs, R.F., A finite difference function theory, Univ. Nac. Tucuman. Rev., 1941, vol. 2, pp. 177–201.

    MathSciNet  MATH  Google Scholar 

  5. Moivre, A. de, De fractionibus algebraicis radicalitate immunibus ad fractiones simpliciores reducendis, deque summandis terminis quarumdam serierum aequali intervallo a se distantibus, Philos. Trans., vol. 32, pp. 162–178.

  6. Bousquet-Melou, M. and Petkovsek, M., Linear recurrences with constant coefficients: The multivariate case, Discrete Math., 2000, vol. 225, pp. 51–75.

    Article  MathSciNet  MATH  Google Scholar 

  7. Leinartas, E.K., Multiple Laurent series and difference equations, Sib. Math. J., 2004, vol. 45, no. 2, pp. 321–326.

    Article  MathSciNet  Google Scholar 

  8. Leinartas, E.K., Multiple Laurent series and fundamental solutions of linear difference equations, Sib. Math. J., 2007, vol. 48, no. 2, pp. 268–272.

    Article  MathSciNet  Google Scholar 

  9. Leinartas, E.K., Passare, M., and Tsikh, A.K., Multidimensional versions of the Poincare theorem for difference equations, Mat. Sb., 2008, vol. 199, no. 10, pp. 87–104.

    Article  MathSciNet  MATH  Google Scholar 

  10. Stanley, R.P., Enumerative Combinatorics, Cambridge Univ. Press, 2011.

    Book  MATH  Google Scholar 

  11. Egorychev, G.P., Integral’noe predstavlenie i vychislenie kombinatornykh summ (Integral Representation and Evaluation of Combinatorial Sums), Novosibirsk: Nauka, 1977.

    MATH  Google Scholar 

  12. Baccherini, D., Merlini, D., and Sprugnoli, R., Level generation trees and proper Riordan arrays, Appl. Anal. Discrete Math., 2008, no. 2, pp. 69–91.

    Article  MathSciNet  MATH  Google Scholar 

  13. Bloom, D.M., Singles in a sequence of coin tosses, College Math. J., 1998, pp. 307–344.

    Google Scholar 

  14. Sadykov, T.M., On a multidimensional system of hypergeometric differential equations, Sib. Math. J., 1998, vol. 39, no. 5, pp. 986–997.

    Article  MATH  Google Scholar 

  15. Dickenstein, A., Sadykov, T.M., Bases in the solution space of the Mellin system, Sbornik Mathematics, 2007, vol. 198, no. 9-10, pp. 1277–1298.

    Article  MathSciNet  MATH  Google Scholar 

  16. Dickenstein, A. and Sadykov, T.M., Algebraicity of solutions to the Mellin system and its monodromy, Dokl. Math., 2007, vol. 75, no. 1, pp. 80–82.

    Article  MathSciNet  MATH  Google Scholar 

  17. Abramov, S.A., Search of rational solutions to differential and difference systems by means of formal series, Program. Comput. Software, 2015, vol. 41, no. 2, pp. 65–73.

    Article  MathSciNet  MATH  Google Scholar 

  18. Leinartas, E.K. and Lyapin, A.P., On rationality of multidimensional reciprocal power series, Zh. Sib. Fed. Univ. Ser. Mat. Fiz., 2009, vol. 2, no. 4, pp. 499–455.

    Google Scholar 

  19. Lyapin, A.P., Riordan arrays and two-dimensional difference equations, Zh. Sib. Fed. Univ. Ser. Mat. Fiz., 2009, vol. 2, no. 2, pp. 210–220.

    Google Scholar 

  20. Nekrasova, T.I., On the hierarchy of generating functions for solutions of multidimensional difference equations, Izv. Irkutsk. Gos. Univ., 2014, vol. 9, pp. 91–102.

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to A. A. Kytmanov.

Additional information

Original Russian Text © A.A. Kytmanov, A.P. Lyapin, T.M. Sadykov, 2017, published in Programmirovanie, 2017, Vol. 43, No. 2.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Kytmanov, A.A., Lyapin, A.P. & Sadykov, T.M. Evaluating the rational generating function for the solution of the Cauchy problem for a two-dimensional difference equation with constant coefficients. Program Comput Soft 43, 105–111 (2017). https://doi.org/10.1134/S0361768817020074

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1134/S0361768817020074

Navigation