Следующая теорема подтверждает, что для устойчивой ЛММ с гладкими (smooth) коэффициентами примененная к начальной задаче 1.2, локальные ошибки складываются, как и ожидалось

для n, s <=n<=s-1

Задача 1.2 Задана функция f, T>0, , требуется определить дифференцируемую функцию u(t) определенную для всех t из отрезка [0,T] такую что

a) u(0)=u₀

b) u_t(t)=f(u(t),t) для всех t из отрезка [0,T]

Сходящийся ЛММ обеспечивает получение точного значений u при k->0,для любого t из [0,T]

Замечания по поводу определения сходимости ЛММ

1) Условие 1.6.2 о пределе при k->0 для каждого фиксированного t.Т.к. v(t) задается на дискретной сетке, это значит что k неявно ограничивается значениями t/n.Данное ограничение можно ослабить потребовав,чтобы

2) Сходящаяся ЛММ должна работать для всех корректно поставленных задач с н.у.

Формула, которая работает только для ограниченного класса начальных задач например только с достаточно гладкими коэффициентами, будет чувствительным к возмущениям

3) относится к точному решению ЛММ; ошибки округления не учитываются в определении сходимости. Однако, данные упрощения обоснованны,т.к. ошибки дискретизации и ошибки в начальных точках учтены, с помощью 1.6.1, условия согласованности регулируют источники ошибок почти одинаково.

4)Заметим, что условие 1.6.1 достаточно слабое, требующей точность в начальных точках только o(1) или O(k). В отличие от точности O(k^2) которая требуется на последующих шагах метода в соответствии с определением согласованности. Причина такого различия достаточно проста: ошибки в начальных шагах присутствуют только в s шагах, в то время как последующие ошибки представлены θ(k^-1) раз. В уравнениях в частных производных в граничных условиях точность граничных условий также может быть на 1 порядок меньше

Теорема Далквиста. ЛММ сходится ó ЛММ согласован и устойчив

Кроме сходимости,полезно было знать точность решения полученного с помощью ЛММ. Для того чтобы гарантировать точность p порядка условия 1.6.1

могут быть усилены