Ломаные Эйлера и диаметр разбиения

Abstract

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