Войти / Регистрация
Корзина

  • Ваша корзина пуста
Войти / Регистрация
Корзина

  • Ваша корзина пуста

Статья «О проверке существования бесконечно дифференцируемых решений уравнений в частных производных с граничными условиями, "Программирование"»

Авторы:
  • Парамонов С.В.1
стр. 49-54
Платно
1 МГУ им. М. В. Ломоносова
  • В выпуске: №2, 2016
  • В журнале: Программирование
  • Издательство: ФГУП «Издательство «Наука»
  • Рубрика ГРНТИ: Информатика. Информационные и вычислительные системы
  • Год выхода: 2016
  • SDI: 007.001.0132-3474.2016.000.002.49.54
  • ISSN: 0132-3474
Аннотация:
Рассматривается задача проверки существования бесконечно дифференцируемых решений для линейных дифференциальных уравнений в частных производных с нулевыми граничными условиями. Предполагается, что коэффициенты уравнений являются полиномами над Z от независимых переменных. Доказывается алгоритмическая неразрешимость этой задачи. Этот результат дополняет проведенные ранее исследования, касающиеся аналитических решений. В предлагаемом доказательстве использована установленная Денефом и Липшицем связь между определенным подмножеством неоднородных дифференциальных уравнений рассматриваемого вида (но без граничных условий) и диофантовыми уравнениями.

Архивные статьи (2015 год и ранее) доступны для ознакомления бесплатно, для скачивания их необходимо приобрести. Для просмотра материалов необходимо зарегистрироваться и авторизоваться на сайте.

Чтобы приобрести доступ к материалу для юридического лица, пожалуйста, свяжитесь с администрацией портала с помощью формы обратной связи либо по электронному адресу libnauka@naukaran.com.  

Действия с материалами доступны только авторизованным пользователям.