Abstract
Linear difference equations with polynomial coefficients depending on parameters are considered. It is proved that the problem of existence of numerical values of parameters for which the given equation has a polynomial solution (alternatively, a solution given by a rational function) is undecidable (similar to the undecidability of the same problem in the differential case proved by J.-A. Weil).
Similar content being viewed by others
References
Denef, J. and Lipshitz, L., Decision Problems for Differential Equations, Symbolic Logic, 1989, vol. 54, pp. 941–950.
Singer, M.F., Liouvillian Solutions of nth Order Homogeneous Linear Differential Equations, Am. J. Math., 1981, vol. 103, no. 4, pp. 661–682.
Abramov, S.A., Computer Algebra Problems Related to Searching Polynomial Solutions of Linear Differential and Difference Equations, Vestn. Mosk. Univ., Ser. 15 Computational Math. and Cybernetics, 1989, vol. 15, no. 3, pp. 53–60.
Abramov, S.A., Rational Solutions of Linear Differential and Difference Equations with Polynomial Coefficients, Zh. Vychisl. Mat. Mat. Fiz., 1989, vol. 29, no. 11, pp. 1611–1620.
Abramov, S.A., On an Undecidable Problem Related to Differential and Difference Equations, Abstracts of the 13th Int. Conf. on Differential Equations (Eruginskie chteniya), 2009, Pinsk, Belarus, p. 118.
Boucher, D., About the Polynomial Solutions of Homogeneous Linear Differential Equations Depending on Parameters, Proc. of ISSAC’99, 1999, pp. 261–268.
Matiyasevich, Yu.V., Enumerable sets are Diophantine, Dokl. Akad. Nauk SSSR, 1970, vol. 191, no. 2, pp. 278–282.
Matiyasevich, Yu.V., Desyataya problema Gil’berta (Hilbert’s Tenth Problem), Moscow: Nauka, Fizmatlit, 1993.
Eremenko, A., Rational Solutions of First-Order Differential Equations, Ann. Acad. Sci. Fenn. Math., 1998, vol. 23, pp. 181–190.
Richardson, D., Some Undecidable Problems Involving Elementary Functions of a Real Variable, J. Symbolic Logic, 1968, vol. 33, pp. 514–520.
Author information
Authors and Affiliations
Corresponding author
Additional information
Original Russian Text © S.A. Abramov, 2010, published in Programmirovanie, 2010, Vol. 36, No. 2.
Rights and permissions
About this article
Cite this article
Abramov, S.A. On an undecidable problem related to difference equations with parameters. Program Comput Soft 36, 63–67 (2010). https://doi.org/10.1134/S0361768810020027
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S0361768810020027