On testing the existence of universal denominators for partial differential and difference equations

详细

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.