Abstract
We consider the problem of testing the existence of a universal denominator for partial differential or difference equations with polynomial coefficients and prove its algorithmic undecidability. This problem is closely related to finding rational function solutions in that the construction of a universal denominator is a part of the algorithms for finding solutions of such form for ordinary differential and difference equations.
Article PDF
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Avoid common mistakes on your manuscript.
References
Abramov, S. and Petkovsek, M., On polynomial solutions of linear partial differential and (q-)difference equations, Proc. of the 14th Int. Workshop Computer Algebra in Scientific Computing (CASC 2012), Maribor, Slovenia, September 2012; Lect. Notes Comput. Sci., 2012, vol. 7442, pp. 1–11.
Paramonov, S.V., On rational solutions of linear partial differential or difference equations, Program. Comput. Software, 2013, vol. 39, no. 2, pp. 57–60.
Kauers, M. and Schneider, C., Partial denominator bounds for partial linear difference equations, Proc. of ISSAC’10, 2010, pp. 211–218.
Kauers, M. and Schneider, C., A refined denominator bounding algorithm for multivariate linear difference equations, Proc. of ISSAC’11, 2011, pp. 201–208.
Matiyasevich, Yu.V., Desyataya problema Gil’berta (Hilbert’s Tenth Problem), Moscow: Nauka–Fizmatlit, 1993.
Denef, J. and Lipshitz, L., Power series solutions of algebraic differential equations, Math. Ann., 1984, vol. 267, pp. 213–238.
Abramov, S.A., Rational solutions of linear difference and q-difference equations with polynomial coefficients, Proc. of ISSAC’95, 1995, pp. 285–289.
Author information
Authors and Affiliations
Corresponding author
Additional information
Original Russian Text © S.V. Paramonov, 2017, published in Programmirovanie, 2017, Vol. 43, No. 2.
Rights and permissions
About this article
Cite this article
Paramonov, S.V. On testing the existence of universal denominators for partial differential and difference equations. Program Comput Soft 43, 126–129 (2017). https://doi.org/10.1134/S0361768817020104
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S0361768817020104