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.
Similar content being viewed by others
References
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.
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.
Gel’fond, A.O., Ischislenie konechnykh raznostei (Evaluation of Finite Differences), Moscow: KomKniga, 2006.
Isaacs, R.F., A finite difference function theory, Univ. Nac. Tucuman. Rev., 1941, vol. 2, pp. 177–201.
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.
Bousquet-Melou, M. and Petkovsek, M., Linear recurrences with constant coefficients: The multivariate case, Discrete Math., 2000, vol. 225, pp. 51–75.
Leinartas, E.K., Multiple Laurent series and difference equations, Sib. Math. J., 2004, vol. 45, no. 2, pp. 321–326.
Leinartas, E.K., Multiple Laurent series and fundamental solutions of linear difference equations, Sib. Math. J., 2007, vol. 48, no. 2, pp. 268–272.
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.
Stanley, R.P., Enumerative Combinatorics, Cambridge Univ. Press, 2011.
Egorychev, G.P., Integral’noe predstavlenie i vychislenie kombinatornykh summ (Integral Representation and Evaluation of Combinatorial Sums), Novosibirsk: Nauka, 1977.
Baccherini, D., Merlini, D., and Sprugnoli, R., Level generation trees and proper Riordan arrays, Appl. Anal. Discrete Math., 2008, no. 2, pp. 69–91.
Bloom, D.M., Singles in a sequence of coin tosses, College Math. J., 1998, pp. 307–344.
Sadykov, T.M., On a multidimensional system of hypergeometric differential equations, Sib. Math. J., 1998, vol. 39, no. 5, pp. 986–997.
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.
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.
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.
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.
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.
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.
Author information
Authors and Affiliations
Corresponding author
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
About this article
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
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S0361768817020074