ИСТИНА

We consider linear partial differential equations with polynomial coefficients and prove algorithmic undecidability of the following problem: to test whether a given equation of considered form has no more than one solution that is analytic on a domain and that satisfies some fixed boundary conditions. It is assumed that a polynomial which vanishes at each point of the domain boundary is known.