Конечные разности

(перенаправлено с «Конечная разность»)

Конечная разность — математический термин, широко применяющийся в методах вычисления при интерполировании и численном дифференцировании.

Определение править

 
Три типа конечных разностей.

Пусть для некоторой точки   задано   узлов интерполяции   с шагом   и известны значения функции   в этих узлах:

 

Тогда восходящей конечной разностью (или разностью вперёд) 1-го порядка называют разность между  -м и  -м значениями   в узлах интерполяции, то есть[1]

 

Нисходящей конечной разностью (или разностью назад) 1-го порядка называют разность между  -м и  -м значениями   в узлах интерполяции, то есть[1]

 

Центральной (или симметричной) конечной разностью 1-го порядка называют разность между  -м и  -м значениями   в узлах интерполяции, то есть[1]

 

Разности высших порядков править

Восходящей конечной разностью 2-го порядка называют разность между  -ой и  -ой конечными разностями 1-го порядка, то есть

 

Соответственно, восходящей конечной разностью порядка   (для  ) называют разность между  -ой и  -ой конечными разностями порядка  , то есть[1]

 

Аналогично определяются нисходящие и центральные разности высших порядков[1]:

 
 

Через операторы править

Если ввести оператор смещения   такой, что  , то можно определить оператор восходящей конечной разности   как  . Для него справедливо соотношение

 ,

которое можно раскладывать по биному Ньютона. Данный способ представления   заметно упрощает работу с конечными разностями высших порядков[2].

Общие формулы править

Часто также используется другое обозначение:   — восходящая конечная разность порядка   от функции   c шагом  , взятая в точке  . Например,  . Аналогично, для нисходящих разностей можно использовать обозначение  , а для центральных —  .

В этих обозначениях можно записать общие формулы для всех видов конечных разностей произвольного порядка с использованием биномиальных коэффициентов[3]:

 
 
 

Общая формула для   используется при построении интерполяционного многочлена Ньютона.

Пример править

 
Пример вычисления конечных разностей

На приведённом изображении рассмотрен пример вычисления конечных разностей для

 

В зелёных клетках расположены значения  , в каждой последующей строке приводятся конечные разности соответствующего порядка.

Связь с производными править

Производная функции   в точке   определяется с помощью предела:

 

Под знаком предела стоит восходящая конечная разность  , делённая на шаг. Следовательно, эта дробь аппроксимирует производную при малых значениях шага. Погрешность приближения может быть получена с использованием формулы Тейлора[4]:

 

Аналогичное соотношение выполняется для нисходящей разности:

 

Центральная разность даёт более точное приближение:

 

Конечные разности порядка  , делённые на шаг, возведённый в степень  , аппроксимируют производную порядка  . Порядок погрешности приближения при этом не меняется[5]:

 

Связанные понятия править

Видно, что конечная разность при фиксированном шаге есть линейный оператор, отображающий пространство непрерывных функций в себя. Обобщением понятия конечной разности является понятие разностного оператора.

С конечными разностями также связаны понятия разделённых разностей и модуля непрерывности.

Примечания править

  1. 1 2 3 4 5 Бахвалов и др., 2011, с. 65.
  2. Корн Г. А., Корн Т. М. Справочник по математике для научных работников и инженеров. — М.: «Наука», 1974. — С. 669—670.
  3. Бахвалов и др., 2011, с. 66.
  4. Бахвалов и др., 2011, с. 81.
  5. Бахвалов и др., 2011, с. 82.

Литература править

См. также править