Аннотация:
В работе исследуются условия,
которые нужно наложить на правую часть системы для того, чтобы при
достаточно малом диаметре разбиения ломаные Эйлера сходились к
пучку решений системы, в частности, чтобы из всякой
последовательности ломаных Эйлера можно было выделить сходящуюся
на всем рассматриваемом промежутке времени к решению
подпоследовательность. Найдено условие (для заданной, выписываемой
явно, константы, для любой липшицевого с этой константой
отображения в фазовую плоскость, множество точек разрыва функции
динамики имеет нулевую по Лебегу меру на графиках таких
отображений), которое гарантирует сходимость ломаных Эйлера к
пучку решений системы, если только диаметр соответствующих ломаным
разбиений стремится к нулю. Рядом примеров показано, что данное
условие не может быть ослаблено; в частности, сходимости может не
быть даже если для всякой порожденной в рамках системы траектории
сужение функции динамики на этот график интегрируемо по Риману,
константа в указанном выше условии также не может быть уменьшена.
В работе ломаные Эйлера погружаются в семейство решений
интегрального уравнения с запаздыванием специального вида, для
которых в свою очередь, и проводится доказательство основного
результата. Вследствие этого, результаты статьи имеют место и в
более широком классе численных методов, например для ломаных со
счетным числом звеньев.
Ключевые слова:дифференциальные уравнения; ломаные Эйлера; пошаговые методы; условия Каратеодори.