On checking existence of infinitely differentiable solutions of partial differential equations with boundary conditions
- Autores: Paramonov S.V.1
-
Afiliações:
- Department of Computational Mathematics and Cybernetics
- Edição: Volume 42, Nº 2 (2016)
- Páginas: 107-111
- Seção: Article
- URL: https://journals.rcsi.science/0361-7688/article/view/176417
- DOI: https://doi.org/10.1134/S0361768816020079
- ID: 176417
Citar
Resumo
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.
Sobre autores
S. Paramonov
Department of Computational Mathematics and Cybernetics
Autor responsável pela correspondência
Email: s.v.paramonov@yandex.ru
Rússia, Moscow, 119991
Arquivos suplementares
