ИСТИНА

We consider the problems of testing the existence of solutions of certin forms for partial linear differential equations with polynomial coefficients. We prove undecidability of such problems for rational function solutions (this result holds also for difference equations) and for formal Laurent series solutions. Also we prove undecidability of problems of testing the uniqueness of analytic solution and of testing the existence of infinitely differentiable solution for partial differential equation with boundary conditions.