next up previous
Next: Методы Рунге-Кутта второго порядка Up: О применении i-гладкого анализа Previous: Сходимость методов

4. Метод Рунге-Кутта первого порядка аппроксимации (метод Эйлера)

При m=1 имеем метод Эйлера
equation317

displaymath1875
Оценим невязку
equation323
Предположим, что выполнено

Условие 4.1. Решение x(t) системы (1.1) дифференцируемо на tex2html_wrap_inline1879.

Тогда
equation332
причем tex2html_wrap_inline1881.

Подставляя (4.3) в (4.2) получаем
equation342
откуда следует сходимость метода Эйлера.

Условие 4.1 выполняется, если выполняется одно из следующих условий.

Условие 4.1.A. Отображение tex2html_wrap_inline1673 в правой части системы (1.1) инвариантно непрерывно (или коинвариантно непрерывно) в области определения [10, c. 43,].

Порядок аппроксимации метода Эйлера можно уточнить, если выполнено

Условие 4.2. Решение x(t) системы (1.1) имеет ограниченную вторую производную на tex2html_wrap_inline1879, т.е. существует константа C > 0 для которой tex2html_wrap_inline1891 при tex2html_wrap_inline1893.

В этом случае разложение (4.3) имеет вид
displaymath1895
откуда следует оценка tex2html_wrap_inline1897, т.е. метод Эйлера имеет первый порядок аппроксимации.

Условие 4.2 выполняется, если выполняется одно из следующих условий

Условие 4.2.A. Отображение tex2html_wrap_inline1673
a) инвариантно дифференцируемо [10, c. 43,], причем производные tex2html_wrap_inline1901,gradf, tex2html_wrap_inline1905 ограничены в области определения;
b) коинвариантно дифференцируемо [10, c. 45,], причем производные tex2html_wrap_inline1907 и gradf ограничены в области определения.