О конструктивном исследовании краевых задач с приближенным выполнением краевых условий

Известия высших учебных заведений. Математика. 2010. № 10. С. 82–86.

Максимов В. П., Чадов А. Л.

Переводчик: Пинягина О.

Рассматриваются линейные краевые задачи для систем функционально-дифференциальных уравнений с числом краевых условий, превышающим размерность системы. Исследуется разрешимость таких задач в случае, когда допускается приближенное выполнение краевых условий. Предлагаемый подход использует теоремы, условия которых допускают эффективную проверку с использованием современных средств вычислений.

Ключевые слова: функционально-дифференциальные уравнения, краевые задачи, конструктивные методы, доказательные вычисления, functional differential equations, boundary-value problems, constructive methods, reliable computing, функциональные уравнения и теория конечных разностей, интегро-дифференциальные уравнения