On checking existence of infinitely differentiable solutions of partial differential equations with boundary conditionsстатья
Информация о цитировании статьи получена из
Web of Science,
Scopus
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 9 июня 2016 г.
Аннотация:The problem of checking existence of infinitely differentiable solutions of linear partial differential equations with zero boundary conditions is considered. The coefficients of the equations are assumed to be polynomials over Z in independent variables. It is proved that this problem is algorithmically undecidable. This result extends results of our earlier studies of analytic solutions. The proof relies on the result obtained by Denef and Lipshitz concerning the relationship between a certain subset of nonhomogeneous differential equations of the considered form (but without boundary conditions) and Diophantine equations.