Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Учебное пособие 1993

.pdf
Скачиваний:
1
Добавлен:
30.04.2022
Размер:
3.63 Mб
Скачать

отрезками (рис.2) и функция f (x) приближается к ломаной с вершиной в данных точках.

Рис. 2

Уравнения каждого отрезка в общем случае разные. Так как имеются n интервалов (xi 1, xi ) , то запишем для

каждого из них уравнение прямой, проходящее через две точки:

 

 

 

 

 

 

 

 

 

y

 

yi

1

 

 

 

x

xi

1

.

 

 

 

 

 

 

 

 

 

 

 

yi

 

yi 1

 

 

xi

xi 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Отсюда

y yi

1

yi

 

yi

1

 

(x

 

xi

 

1) .

 

 

 

 

 

 

 

xi

 

xi

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Тогда:

y

 

 

yi

 

yi

1

 

x

 

yi

1

 

yi

 

 

yi

1

 

xi

 

1 .

 

 

xi

 

xi

1

 

 

 

xi

 

 

xi

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Обозначим:

 

a

i

 

yi

yi

1

;

 

 

b

 

 

y

i

1

a

i

x

i

1

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

xi

xi

 

 

 

 

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Получим

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y

ai x

 

bi ,

 

 

xi

 

1

x

 

xi .

(2.7)

Сначала определяется интервал, которому принадлежит значения аргумента x , а затем подставляют его в (2.7), и находят приближенное значение функции в этой точке.

20

Квадратичная (параболическая) интерполяция. В этом случае в качестве интерполяционной функции на отрезке

xi 1 , xi 1 принимается квадратный трехчлен:

y a

i

x2

b x

c

(x

i 1

x x

i

1

) .

(2.8)

 

 

i

i

 

 

 

 

Здесь имеются три неизвестных коэффициента ai , bi , ci ,

для определения которых нужны три уравнения. Они получаются из условия прохождения параболы (2.8) через три точки:

(xi 1, yi 1), (xi , yi ), (xi 1, yi 1) :

 

 

 

 

a

 

x2

1

b x

i

1

 

c

i

y

i

1

 

 

 

 

 

 

 

 

 

i

 

i

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

x2

b x

i

c

i

 

y

i

 

 

 

 

 

 

 

(2.9)

 

 

 

 

 

 

i

 

i

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

x 2

1

b x

i

1

 

c

i

y

 

.

 

 

 

 

 

 

 

 

 

i

 

i

i

 

 

 

 

 

i

1

 

 

 

 

 

 

 

Интерполяция для любой точки

 

x

 

[x0 , xn ]

проводится

по трем ближайшим к ней узлам.

 

 

 

 

 

 

 

 

 

 

 

 

 

Пример.

 

Найти

приближенное

 

значение

функции

y

f (x) при

x

0.32,

если ее значения заданы в таблице 2:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Таблица 2

 

 

 

x

 

0.15

0.30

 

 

 

 

0.40

 

 

 

0.55

 

 

 

 

y

 

2.17

3.633.

 

 

 

5.07

 

 

 

7.78

 

 

 

Решение.

1.

 

Воспользуемся

формулой (2.7). Значение

x

0.32 находится между узлами

xi 1

 

0.30

и

xi

0.40 . В

этом случае

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ai

 

yi

yi

1

 

 

5.07

 

 

3.63

14.4

,

 

 

 

 

 

 

xi

xi

1

 

 

0.40

 

 

0.30

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

bi

 

yi

1

 

ai xi

 

1

 

3.63 14.4

0.30

 

0.69 ,

 

 

 

y

14.4x

0.69

14.4 0.32

 

0.69

3.92.

 

21

2. Воспользуемся формулой квадратичной интерполяции (2.8). Составим систему (2.9) с учетом ближайших к точке x 0.32 узлов:

 

 

xi

1

0.15 ;

 

 

xi

0.30 ;

 

 

xi

1

0.40 .

 

 

Соответственно,

yi

 

 

1

2.17 ;

yi

3.63 ; yi

1

5.07 .

Система принимает вид:

 

 

 

 

 

 

 

 

 

 

 

0.152 a

i

 

0.15b

c

i

2.17

 

 

 

 

 

 

 

 

i

 

 

 

 

 

 

 

 

0.302 a

i

 

0.30b

c

i

3.63

 

 

 

 

 

 

 

 

 

i

 

 

 

 

 

 

 

 

 

0.402 a

i

0.40b

c

i

5.07.

 

 

 

 

 

 

 

 

i

 

 

 

 

 

Решая

эту

систему,

 

находим:

 

 

ai

18.67 ,

bi

1.33 ,

ci 1.55 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y a

x2

b x

c

18.670.322 1.33 0.32

1.55

3.89 .

i

 

i

i

 

 

 

 

 

 

 

 

 

 

 

 

2.4. Интерполяционный многочлен Лагранжа

Построим теперь интерполяционный многочлен, единый для всего отрезка [a,b] . При этом график интерполяционного многочлена должен проходить через все заданные точки.

Пусть задано n

1

 

значение

функции f (x) в n 1

различных точках - узлах интерполяции:

x0 , x1,..., xn

y0 , y1,..., yn .

Требуется построить многочлен (2.6)

(x)

a

0

a x ...

a

n

xn ,

 

 

1

 

 

значение, которого в узлах интерполирования были бы равны

значениям функции

 

f (x) в тех же узлах. То есть,

получаем

a

0

a x

0

a

2

x2

...

a

n

xn

y

0

 

 

 

1

 

0

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

a x

a

 

x2

...

a

n

xn

y

 

 

(2.10)

 

 

0

1

1

 

2

1

 

 

1

 

1

 

 

.......... .......... .......... .......... ..........

 

 

 

 

a

0

a x

n

a

2

x2

...

a

n

xn

y

n

.

 

 

1

 

n

 

 

n

 

 

 

22

Определитель этой системы

1

x0

x02

....

x0n

1

x

x2

....

xn

 

1

1

 

1

.......... .......... .......... ...

1

xn

xn2

....

xnn

называется определителем Вандермонда. Он отличен от нуля, так как все узлы интерполирования различны. Следовательно,

система (2.10)

имеет единственное

решение и

интерполяционный

многочлен

Pn (x)

определяется

единственным образом. Однако, для большого

числа узлов

интерполяции, решать эту систему сложно.

 

Многочлен Pn (x) можно построить другим способом.

Запишем многочлен (2.6) в виде:

 

 

(x) A0 (x x1)(x x2 )(x x3 )...(x xn )

 

A1(x x0 )(x x2 )(x x3 )...(x xn )

 

A2 (x

x0 )(x x1)(x x3 )...(x xn )

(2.11)

.......... .......... .......... .......... .......... .......... ...

 

An (x x0 )(x x1)(x x2 )...(x xn 1).

 

Коэффициенты

A0 , A1,..., An

определим

по условию

прохождения графика многочлена через заданные точки:

 

 

 

( xi ) f (xi ) yi

(i

0,1,..., n) .

 

Положим в (2.11) x

x0 . Найдем:

 

 

 

 

(x0 )

y0

A0 (x0 x1)(x0

 

x2 )...(x0 xn ) ;

т.е.

A0

 

 

y0

 

.

 

(x0

x1 )(x0

x2 )...(x0

xn )

 

 

 

 

 

23

Положим x

x1 : A1

 

y1

 

 

 

,

(x1 x0 )(x1 x2 )...(x1 xn )

 

 

 

 

 

далее

A2

 

 

 

y2

 

 

 

 

 

(x2

x0 )(x2

x1 )...( x2

xn )

 

 

 

 

 

 

 

и т.д.:

 

 

 

 

 

 

 

 

 

 

An

 

 

 

yn

 

 

.

 

 

(xn

x0 )(xn

x1 )...(xn

xn 1 )

 

 

 

 

 

Подставляя значение коэффициентов в (2.11), получаем интерполяционную формулу (многочлен) Лагранжа:

(x)

или

 

(x x1)(x x2 ) (x xn )...

 

y0

 

 

(x

0

x )(x

0

x

2

) (x

0

x

n

)

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

(x x0 )(x x2 ) (x xn )...

 

y1

 

(x

 

x

0

)(x

 

x

2

) (x...

 

x

n

)

 

1

 

1

 

 

1

 

 

 

 

 

 

 

(x x0 )(x x1)(x x3 )...(x xn )

y2

(x2

x0 )(x2

x1)(x2

 

x3 ) (x2 xn )

 

 

.......... .......... .......... .......... .......... .......... .........

(x x0 )(x x1)...(x xn 1)

yn .

(xn x0 )(xn x1) (xn xn 1)

 

 

n

(x

x0 )...(x

xi 1)(x

xi 1)...(x

xn )

 

. (2.12)

Ln (x)

yi

 

(x

x

0

)...(x

x

)(x

x

 

)...(x

x

n

)

 

i 0

i

 

i

i 1

i

i 1

i

 

 

 

Очевидно, что степень многочлена Лагранжа не

превышает числа

n .

Часто многочлен Лагранжа записывают

виде

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

n

 

x

x j

 

 

 

 

 

 

 

 

 

Ln (x)

yi

 

 

 

 

.

 

 

 

 

 

 

 

 

0 xi

x j

 

 

 

 

 

 

 

 

 

i 0

j

 

 

 

 

 

 

 

 

 

 

 

 

j

i

 

 

 

 

 

 

 

24

При

n 1 имеем

две

точки,

и формула

Лагранжа

представляет в этом случае уравнение прямой

y L1(x) ,

проходящей через две заданные точки

 

 

 

 

y

x

x1

y

0

x

x0

y ,

 

 

 

 

 

 

 

 

 

x0

x1

 

x1

1

 

 

 

 

 

x0

 

где x0 , x1 - абсциссы этих точек.

 

При

 

 

 

n

2

 

 

 

 

получим уравнение

 

 

параболы

 

 

y

 

 

 

L2 (x) ,

проходящей через три точки

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y

(x x1 )(x x2 )

 

 

 

y0

 

 

 

(x

 

 

x0 )(x x2 )

 

 

y

0

 

 

 

 

 

 

 

 

(x x0 )(x x1 )

y2 .

(x

0

x )(x

0

 

x

2

)

 

 

 

(x

 

 

x

0

)(x

 

 

 

x

2

)

 

 

 

 

 

 

(x

2

 

 

 

x

0

)(x

2

 

 

x )

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

Пример.

 

 

 

Для

 

 

 

 

 

функции

 

 

 

 

y

 

 

 

 

 

 

sin

x

 

 

 

 

построить

интерполяционный многочлен Лагранжа, выбрав узлы

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

0,

 

 

 

x

 

 

 

 

1

,

 

 

 

 

x

 

 

 

 

 

 

 

1

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

6

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Решение. Многочлен Лагранжа для трех узлов

интерполирования запишется так

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(x x1 )(x x2 )

 

 

 

 

 

 

 

 

 

 

(x x0 )(x x2 )

 

 

 

 

 

 

 

 

 

 

 

(x x0 )(x x1 )

L2 (x)

 

y0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

.

 

(x

0

 

 

x )(x

0

 

x

2

)

 

 

(x

 

 

x

0

)(x

 

 

 

 

x

2

)

 

 

 

(x

2

 

x

0

)(x

2

x )

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

Вычисляем соответствующие значения функции

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y

 

 

0,

 

 

 

 

 

y

 

 

 

 

sin

 

 

 

 

 

1

,

 

 

 

y

 

 

 

 

 

 

 

sin

 

 

 

 

 

 

 

1.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

6

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Применяя формулу Лагранжа, получим

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

1

 

 

 

x

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

x

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

x

x

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

L2 (x)

 

0

 

6

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

1

 

 

 

 

 

 

 

6

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

1

 

 

 

 

 

 

 

 

2

 

 

 

 

 

1

 

 

1

 

 

1

 

 

 

 

1

 

1

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

6

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

6

 

 

6

 

 

2

 

 

 

 

 

 

 

2

 

2

 

6

 

 

 

25

или L2 (x) 72 x 3x2.

График интерполяционного многочлена y Ln (x) проходит через заданные точки: значение многочлена данной

функции

y

f (x) совпадают в узлах xi (i 0,1,..., n) .

Если

функция

y

f (x) сама является многочленом

степени

n ,

то имеет

место тождественное совпадение:

f (x) Ln (x) . В общем случае, в точках, отличных от узлов

интерполяции, Rn (x)

f (x) Ln (x) 0 .

 

Эта разность

есть погрешность интерполяции,

и

называется остаточным членом интерполяционной формулы.

Если функция

y

f (x) имеет непрерывные производные

до n 1 порядка включительно,

то остаточный член формулы

Лагранжа имеет вид:

 

 

 

 

 

 

 

 

R

 

(x)

f (n

1) ( )

(x x

 

)(x x )...(x

x

 

) ,

(2.13)

n

 

 

 

0

n

 

 

(n

 

1)!

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

где - некоторая точка из промежутка интерполяции (a,b) . Знание остаточного члена в предположении ( n 1)-

кратной дифференцируемости

 

f (x)

позволяет записать точное

представление f (x) через

ее

интерполяционный

 

многочлен

Ln (x) :

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (x) L (x)

 

f (n

1) (

)

 

(x x

 

)(x

x )...(x x

 

) . (2.14)

 

 

 

 

 

0

n

 

 

n

 

(n

1)!

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Абсолютную

 

 

погрешность

интерполяционного

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

~

 

a,b

можно оценить

многочлена Лагранжа в любой точке x

с помощью неравенства

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

~

 

 

 

~

 

~

 

 

M n 1

 

~

 

,

 

(2.15)

 

 

 

 

 

 

 

 

 

 

Rn (x )

 

 

 

f (x )

Ln (x )

 

 

 

 

 

Пn

1(x )

 

 

 

 

 

 

 

 

(n

1)!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

26

где M n

1

max

 

 

 

f (n

1) (x)

,

 

 

 

 

 

 

 

 

 

 

 

x

a,b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пn 1(x)

 

(x

x0 )(x

x1)....( x xn ) .

 

 

 

 

 

 

Максимальная

 

погрешность

интерполирования

на

отрезке

a, b

оценивается величиной

 

 

 

 

 

 

 

 

 

max

 

Rn (x)

 

 

M n

1

 

max

 

Пn 1(x)

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(n

1)!

 

 

 

 

 

x

a,b

 

 

 

 

 

x a,b

 

 

 

 

 

Так как максимумы функций

f (n 1) (x)

 

и Пn

1(x)

достигаются, чаще всего, в разных точках

отрезка

a, b , то более

точной, но более трудно реализуемой следует считать оценку

max

 

R (x)

 

1

max

 

f (n 1) (x)П

n

1

(x)

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x a,b

 

n

 

 

(n 1)! x

a,b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

C помощью интерполяционного многочлена Лагранжа,

построенного для

 

промежутка

a, b , можно решать задачи

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

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

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

Зададимся целью придать интерполяционной формуле Лагранжа более простой вид, подобный виду широко используемой в математическом анализе формулы Тейлора. Если в многочлене Лагранжа (2.12) все слагаемые однотипны и

27

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

Поставленной цели будем добиваться сначала для несколько суженой постановки задачи интерполирования. А именно, будем считать, что интерполируемая функция y f (x) задана своими значениями y0 , y1,..., yn на системе

равноотстоящих узлов x0 , x1 ,..., xn , т.е. таких, что любой узел xi можно представить в виде

xi x0 ih,

где i 0,1,..., n , а h 0 - некоторая постоянная величина,

называемая шагом сетки (таблицы).

Прежде чем получить такие формулы, рассмотрим элементы конечных разностей.

Составим разности значений заданной функции:

y0

y1

y0

f (x0

h)

f (x0 ),

y1

y2

y1

f (x0

2h) f (x0 h),

.......... .......... .......... .......... .......... .......... .

yn 1

yn

 

yn 1 f (x0

nh) f x0 (n 1)h .

Эти разности называются конечными разностями первого порядка функции. Из них, в свою очередь, таким же образом можно получить n 1 конечных разностей второго порядка, или вторых разностей:

2 y

0

y

y

0

;

2 y

y

2

y ; ....;

2 y

n 2

y

n 1

y

n 2

.

 

1

 

 

1

 

1

 

 

 

 

Аналогично определяются разности III и IV и т.д. порядков. Разность порядка k определяется формулой:

28

k yi 1 k 1 yi k 1 yi 1 ,

где k 1,2,..., n и 0 yi yi .

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

y0 y1 y0 ;

2 y

0

y

y

0

 

( y

2

y ) ( y

 

y

0

) y

2

 

 

2y

y

0

;

 

 

 

 

1

 

 

 

 

 

 

1

 

1

 

 

 

 

 

 

 

1

 

 

 

3 y

0

2 y

2 y

0

( y

2

 

y ) ( y

 

 

y

0

) y

2

2 y

y

0

 

 

 

1

 

 

 

 

 

 

 

1

 

1

 

 

 

 

 

 

 

1

 

 

 

 

 

 

( y3

y2 ) 2( y2

 

 

y1 ) ( y1

y0 ) y3

y2

 

 

2 y2

2 y1 y1

y0

 

 

 

y3

3y2

 

3y1

y0 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Аналогично для любого k можно записать:

 

 

 

 

 

 

 

 

 

k y0

yk

 

k

 

yk

1

 

 

k(k

1)

yk

 

2 ...

(

1)k y0 .

(2.16)

 

 

 

1!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Такую же формулу можно записать и для значения

разности в узле xi :

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k yi

yk

i

 

kyk

 

 

i 1

 

 

k(k

1)

yk i

2 ...

(

1)k yi .

(2.17)

 

 

 

 

 

 

2!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Для

функции

 

 

y

 

f (x) ,

заданной

 

 

таблицей

своих

значений

y0 , y1,..., yn

 

 

в узлах

x0 , x1 ,..., xn ,

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

разных порядков удобно помещать в одну общую таблицу с узлами и значениями функции. Обычно используют горизонтальную таблицу (таблица 3) или диагональную таблицу (таблица 4) конечных разностей

29