Пусть функция задана таблично
- шаг таблицы,
- узлы таблицы.
Величина называется конечной разностью первого порядка функции
в точке
с шагом
.
Конечная разность порядка функции
в точке
есть
Таким образом, конечная разность второго порядка есть
Аналогичным образом могут быть определены конечные разности произвольного порядка.
Конечные разности чаще всего располагают в виде таблицы следующим образом:
![]() | ![]() | ![]() | ![]() | ![]() | ... | ![]() |
![]() | ![]() |
![]() | ||||
![]() | ![]() |
![]() | ![]() |
![]() | ||
![]() | ![]() |
![]() | ![]() | |||
![]() | ![]() | ![]() | ||||
... | ... | |||||
![]() |
![]() | ![]() |
![]() | ![]() | ||
![]() |
![]() | ![]() |
Теорема 2.3. -я конечная разность выражается через значения функции в
точке по формуле
, где
. (2.5.1)
В частности уже получена аналогично получаются формулы
Коэффициенты, входящие в эти формулы, можно взять из треугольника Паскаля*.
Теорема 2.4. Пусть функция дифференцируема
раз на отрезке
. Тогда справедливо равенство
(2.5.2)