VMLA-Matzokin-2012 / 2012-лекции ЧА
.pdfМацокин А.М. “Численный анализ”. Конспект лекций.
Лекция 2. Интерполирование с кратными узлами
Иногда требуется построить полиномиальное приближение функции f (x) при
условии, что известны не только ее значения в некоторых точках области задания, но и значения ее производных.
Определение 1.
Алгебраический полином
|
|
P |
(x) |
a |
0 |
a |
x ... |
a |
N |
xN |
|
|
|
(1) |
|||
|
|
N |
|
|
1 |
|
|
|
|
|
|
|
|
|
|
||
называется интерполяционным полиномом Эрмита для функции |
f (x) , |
||||||||||||||||
заданной на отрезке [a, b] |
по ее значениям f (xi ) , |
по значениям первых |
|||||||||||||||
Ni 1 производных f (xi ) , …, |
f |
(Ni |
1) |
(xi ) |
в n |
1 попарно различных |
|||||||||||
|
|
||||||||||||||||
точках (узлах) |
xi |
[a, b], i |
0, ..., n , если |
|
|
|
|
|
|
||||||||
|
|
PN (xi ) |
|
f (xi ), |
|
|
|
|
|
|
|
|
|
|
|
||
|
|
PN (xi ) |
|
f (xi ), |
|
|
|
|
|
|
|
|
|
|
(2) |
||
|
|
|
... |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
PN(Ni 1) (xi ) |
f (Ni 1) (xi ) |
|
|
i |
0, ..., n. |
|
|
|
|||||||
Точки xi |
называются узлами интерполяции кратности Ni . |
|
|
||||||||||||||
Теорема 1. Задача алгебраической интерполяции (2) при N |
1 N0 |
... |
Nn |
||||||||||||||
имеет единственное решение. |
|
|
|
|
|
|
|
|
|
||||||||
Доказательство. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Очевидно, что система уравнений (2) относительно неизвестных a0 , ..., aN |
|||||||||||||||||
является линейной алгебраической системой порядка N |
1. |
|
|
||||||||||||||
Следовательно, она имеет единственное решение в том и только том |
|||||||||||||||||
случае, |
когда |
однородная |
система |
имеет |
только |
нулевое |
решение |
(определитель матрицы этой системы отличен от нуля).
Предположим, что теорема неверна: система уравнений (2) либо не имеет решения, либо имеет несколько решений. Значит однородная система (2) имеет ненулевое решение a0 , ..., aN , определяющее ненулевой полином
PN (x) степени N и удовлетворяющий условиям
PN (xi ) |
0, PN (xi ) |
0, ..., PN(Ni 1) (xi ) |
|
0 . |
|||||
Отсюда следует, что узел xi |
является его корнем кратности Ni , а, так как |
||||||||
интерполяционные узлы попарно различны, то |
|
|
|||||||
P (x) |
c (x |
x |
0 |
)N0 |
(x x )N1 ...(x |
x |
n |
)Nn , |
|
N |
|
|
|
|
1 |
|
|
||
т.е. является полиномом степени |
N0 ... |
Nn N , что противоречит |
|||||||
условию теоремы N |
1 |
|
N0 |
... |
Nn . |
|
|
|
Следовательно, наше предположение ложно и теорема верна.
11
Мацокин А.М. “Численный анализ”. Конспект лекций.
Представление интерполяционного полинома Эрмита в форме Лагранжа
Форму Лагранжа представления интерполяционного полинома для случая простых интерполяционных узлов можно обобщить и на случай кратных узлов в следующем виде
n
PN (x)
i 0
где полином PN, j,xi (x)
PN,(k)j,xi (xi )
PN,(k)j,xi (xm )
Ni |
|
1 |
P |
|
(x) |
f |
|
( j) |
, |
f |
( j) |
f |
( j) |
(x |
i |
) , |
(3) |
|
j |
0 |
|
|
i |
|
i |
|
|||||||||||
|
N, j,xi |
|
|
|
|
|
|
|
|
|
|
|||||||
степени N определяется условиями |
|
|
|
|||||||||||||||
j,k , |
k |
0, ..., Ni |
|
|
1, |
|
|
|
|
|
|
|
(4') |
|||||
0, |
k |
|
0, ..., Nm |
|
|
|
1, |
m |
0, ..., i |
1, i 1, ..., n, |
(4") |
где i, j − символ Кронекера.
Из условий (4") следует, что полином PN, j,xi (x) имеет
корень x0 |
кратности N0 , |
|
… |
|
|
корень xi |
1 |
кратности Ni 1 , |
корень xi |
1 |
кратности Ni 1, |
… |
|
|
корень xn кратности Nn
т.е. его можно представить в виде
PN, j,xi (x)
(x |
x |
0 |
)N0 ...(x |
x |
i 1 |
)Ni 1 (x |
x |
i 1 |
)Ni 1 ...(x |
x |
n |
)Nn Q |
N |
i |
1, j,x |
i |
(x) |
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
TN |
Ni |
|
1, j,xi (x) |
QNi 1, j,xi (x), |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
где |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
T |
N |
1, j,x |
|
(x) |
|
(x |
x |
0 |
)N0 ...(x |
|
x |
i |
1 |
)Ni 1 |
(x |
x |
i |
1 |
)Ni 1 |
...(x |
x |
n |
)Nn , |
||||||||
N |
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
а полином QN |
i |
1, j,x |
i |
(x) степени Ni |
1 нужно определить из условий (4'): |
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
[TN |
Ni |
1, j,xi (x) |
|
QNi |
1, j,xi (x)](0) |x |
|
xi |
|
0, |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
... |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
[TN |
Ni |
1, j,xi (x) |
QNi |
1, j,xi |
(x)]( j |
1) |
|x |
xi |
|
[TN |
Ni |
1, j,xi (x) |
QNi |
1, j,xi |
(x)]( j) |x |
xi |
|||
[TN |
Ni |
1, j,xi |
(x) |
QNi |
1, j,xi |
(x)]( j |
1) |
|x |
xi |
... |
|
|
|
|
|
|
|
|
|
[TN |
|
|
(x) |
QNi |
|
(Ni 1) |
|x xi |
||
Ni |
1, j,xi |
1, j,xi |
(x)] |
|
|
0, 1, (5)
0,
0.
12
Мацокин А.М. “Численный анализ”. Конспект лекций.
Матрица |
этой |
|
системы |
относительно |
неизвестных |
(0) |
(Ni |
1) |
|
|
|
QNi 1, j,xi |
(xi ), ..., QNi |
1, j,xi |
(xi ) − нижняя треугольная (докажите!). |
Напомним формулу Лейбница для производных от произведения функций:
|
k |
(k |
l) |
|
|
|
(k) |
l |
|
l |
|
||
[TN Ni 1, j,xi (x) QNi 1, j,xi (x)] |x xi |
Ck |
TN |
N |
1, j,x |
(xi ) QNi 1, j,xi |
(xi ). |
l |
0 |
|
i |
|
i |
|
|
|
|
|
|
С помощью этой формулы легко получить решение системы (5) относительно
|
|
|
|
(0) |
|
(Ni |
1) |
|
неизвестных QNi 1, j,xi |
(xi ), ..., QNi |
1, j,xi |
(xi ) : |
|||||
QN |
i |
1, j,x |
i |
(xi ) |
0, |
|
|
|
|
|
|
|
|
|
|
||
|
|
... |
|
|
|
|
|
|
( j |
|
1) |
|
|
|
|
|
|
QNi |
1, j,xi |
(xi ) |
0, |
|
|
|
( j) |
|
|
QNi |
1, j,xi |
(xi ) |
( j |
1) |
|
QNi |
1, j,xi |
(xi ) |
…
( j |
t) |
|
QNi |
1, j,xi |
(xi ) |
|
… |
|
(Ni |
1) |
(xi ) |
QNi |
1, j,xi |
Тогда полином QNi
|
1 |
|
, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
TN Ni 1, j,xi (xi ) |
|
|
|
|
|
|
|
|
|
|
|
|||
j |
(1) |
|
|
|
|
|
( j) |
|
|
|
|
|
|
|
C j 1 TN Ni 1, j,xi |
(xi ) QNi |
1, j,xi |
(xi ) |
, |
|
|
|
|||||||
|
|
TN Ni |
1, j,xi (xi ) |
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
(5') |
||
j t |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
p |
( j t |
p) |
|
|
(p) |
|
|
|
|
|
|
||
|
C j t |
TN Ni |
|
1, j,xi |
(xi ) QNi |
1, j,xi |
(xi ) |
|||||||
p |
j |
|
|
|
|
|
|
|
|
|
|
|
, |
|
|
|
TN Ni |
1, j,xi (xi ) |
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|||||||
Ni |
2 |
(Ni |
1 |
p) |
|
|
|
|
|
|
|
|
||
|
p |
|
(p) |
|
(xi ) |
|||||||||
|
CNi |
1 TN Ni |
|
1, j,xi (xi ) QNi |
1, j,xi |
|||||||||
p |
j |
|
|
|
|
|
|
|
|
|
|
|
|
. |
|
|
TN Ni |
1, j,xi (xi ) |
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
1, j,xi (x) может быть представлен в виде
N1, j,x (x) 1 1, j,x (xi ) (x xi )t
ii t 0 i i t!
ипредставление (3) интерполяционного полинома Эрмита в форме ЛагранжаQ(t)NNiQ
получено.
Представление интерполяционного полинома Эрмита в форме Ньютона
Напомним, что в случае простых попарно различных узлов x0 , x1, ..., xn алгебраической интерполяции функции f (x) интерполяционный полином в форме Ньютона:
13
Мацокин А.М. “Численный анализ”. Конспект лекций.
|
n |
|
|
Pn (x) |
f (x0 , x1,..., xk ) (x |
x0 ) ... (x xk 1) , |
(6) |
|
k 0 |
|
|
где f (x0 , x1,..., xk ) |
− разделенные разности |
k -го порядка функции |
f (x) на |
попарно различных узлах x0 , x1, ..., xk , был построен прежде всего для того, |
||
чтобы, |
при добавлении нового простого интерполяционного узла xn 1 |
было |
легко |
(за малое число арифметических действий) пересчитать |
ранее |
вычисленные значения Pn ( j), j |
1, ..., K, на новые, более точные, значения |
Pn 1( j) Pn ( j) f (x0 , x1, |
..., xn 1) (x x0 ) ... (x xn ), j 1, ..., K . |
Здесь мы имеем естественный порядок вычисления разделенных разностей f (x0 ), ..., f (x0 , x1,..., xk ), ..., f (x0, x1,..., xn 1)
по мере добавления новых интерполяционных узлов.
В случае интерполяции Эрмита (кратные интерполяционные узлы) ситуация меняется:
добавляется либо новый интерполяционный узел xn 1 кратности 1,
либо кратность Nk некоторого интерполяционного узла xk увеличивается на 1.
В этой ситуации естественной нумерацией интерполяционных узлов xi с
учетом их кратности Ni |
для интерполяционного полинома PN (x) |
будет |
||||||||||
порядок их появления при расчетах: |
|
|
|
|
|
|
|
|
||||
|
|
x (0) , x |
(1) , ..., x (N) , |
x |
(k) |
{x0 , ..., xn}, |
|
(7) |
||||
и кратность |
Nk |
интерполяционного узла xk |
равна |
количеству элементов |
||||||||
последовательности (7) равных этому узлу. |
|
|
|
|
|
|
||||||
Формально перепишем формулу (6) для узлов (7): |
|
|
|
|
|
|||||||
|
N |
|
|
|
|
|
|
|
|
|
|
|
PN (x) |
|
f (x |
(0) , x (1) ,..., x |
(k) ) (x |
x (0) ) ... (x |
x |
(k 1) ) , |
(8) |
||||
|
k 0 |
|
|
|
|
|
|
|
|
|
|
|
разделенные |
разности |
f (x (0) , x |
(1) ,..., x (k) ) |
в |
этой |
формуле |
пока |
|||||
неопределенны, |
так |
как |
некоторые |
из |
узлов x (0) , x |
(1) ,..., x (k) |
могут |
совпадать.
Последовательность (7) приблизим последовательностью попарно различных узлов
x , |
(0) , x , (1) , ..., x , |
(N) , x |
, |
(k) |
[a, b], |
x , |
(k) x |
, (l) , |
|
|
|
lim x |
|
|
x |
(k) , |
|
|
(9) |
|
|
, |
(k) |
|
|
|
|||
|
|
0 |
|
|
|
|
|
|
|
и рассмотрим интерполяционный полином |
|
|
|
|
|
||||
|
N |
|
|
|
|
|
|
|
|
P ,N (x) |
f (x , (0) , x , |
(1) ,..., x , |
(k) ) |
(x |
x , |
(0) ) |
... (x |
x , (k 1) ) , (10) |
|
|
k 0 |
|
|
|
|
|
|
|
|
14
Мацокин А.М. “Численный анализ”. Конспект лекций.
где разделенные |
разности f (x , (0) , x , |
(1) ,..., x , (k) ) уже определенны на |
системе попарно |
различных узлов x , |
(0) , x , (1) ,..., x , (k) по значениям |
функции в них: f (x , (0) ), f (x , (1) ), ..., f (x , (k) ) .
Лемма 1. На системе узлов (9) существуют и конечны пределы разделенных разностей:
|
|
|
|
|
|
|
df |
|
|
|
lim f (x |
, (l) , x , |
(l 1) ,..., x , |
(l |
k) ) |
f (x |
(l) , x (l 1) ,..., x |
(l k) ), |
|||
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
l |
l |
k |
N. |
|
|
Доказательство. |
|
|
|
|
|
|
|
|
|
|
Очевидно, что пределы разделенных разностей нулевого порядка |
||||||||||
существуют и конечны: |
lim f (x |
, (l) ) |
f (x |
(l) ) . |
|
|||||
|
|
|
|
0 |
|
|
|
|
|
|
Предположим, что существуют и конечны пределы всех разделенных |
||||||||||
разностей |
до |
порядка |
k |
включительно |
и рассмотрим |
разделенную |
||||
разность порядка k |
1: f (x , |
(l) , x , (l |
1) ,..., x , (l k) , x , (l k 1) ) . |
|||||||
Напомним, |
что по |
лемме 1.1 |
значение разделенной разности k 1-го |
|||||||
порядка f (x , |
(l) , x , |
(l |
1) ,..., x , |
(l |
k 1) ) не зависит от порядка следования |
ее аргументов. Следовательно, не уменьшая общности, мы можем считать, что узлы упорядочены по возрастанию (если это не так, то мы их
переставим): x , (l) |
|
x , |
(l |
1) ... |
x , |
(l |
k |
1) . |
|
|
|
|
|
|
|||||||||
Тогда |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
f (x , |
(l) , x , |
(l 1) ,..., x |
, |
(l k) , x , |
(l k 1) ) |
|
|
|
|
|
|
|
|
||||||||||
|
f (x |
, |
(l |
1) ,..., x |
, |
(l |
k) , x , |
(l |
k |
1) ) |
f (x |
, |
(l) , x |
, (l 1) ,..., x |
, |
(l k) ) |
|||||||
|
|
|
|
|
|
|
|
|
|
x , |
(l k |
1) |
x , |
(l) |
|
|
|
|
|
|
|||
|
|
f (x |
(l |
1) ,..., x |
(l |
k) , x |
(l k |
1) ) |
f (x |
(l) |
, x |
(l |
1) |
,..., x (l k ) ) |
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
, |
|
|
|
|
|
|
|
|
|
|
|
x (l |
k |
1) |
x |
(l) |
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
если x (l |
|
k |
1) |
x (l) . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Но, если |
x |
(l |
k 1) |
|
x (l) , |
т.е. |
|
x , |
(l |
i) |
x |
(l) , |
i |
0, ..., k |
1, |
то этой |
формулой пользоваться трудно (деление на нуль), но можно воспользоваться леммой 1.4:
f (x , (l) , x , |
(l 1) ,..., x , |
|
k) , x , (l |
k 1) ) |
f (k |
1) ( ) |
|
f (k 1) (x (l) ) |
|
(l |
|
|
|
|
, |
||||
(k |
1)! |
|
|||||||
|
|
|
|
|
|
(k 1)! |
|||
так как |
[x , (l) , x , |
(l |
k 1) ], |
x (l) . |
|
|
|
|
Что и требовалось доказать.
15
Мацокин А.М. “Численный анализ”. Конспект лекций.
Теорема 2. Интерполяционный полином
|
|
N |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
P ,N (x) |
|
|
|
|
f (x , |
(0) , x , |
(1) ,..., x , |
(k) ) |
|
(x |
x , |
|
(0) ) |
|
... (x |
x , (k 1) ) , (10) |
|||||||||||||||||||||||||||
|
k |
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
на системе узлов |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
x , |
(0) , x , |
(1) , ..., x , |
(N) , |
|
x |
, |
(k) |
|
|
[a, b], |
|
|
x |
, |
(k) |
|
x , |
(l) , |
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
lim x |
|
|
|
|
|
|
x |
(k) , |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(9) |
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
, |
(k) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
сходится к полиному |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
N |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
PN (x) |
|
|
|
|
f (x |
(0) , x |
|
(1) ,..., x |
(k) ) |
|
(x |
x |
(0) ) |
... (x |
x |
(k |
1) ) , |
|
(8) |
||||||||||||||||||||||||
|
|
|
|
k |
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
который является интерполяционным полиномом Эрмита (в форме |
|||||||||||||||||||||||||||||||||||||||||
|
|
Ньютона) |
|
для функции |
f (x) , |
|
заданной на отрезке |
[a, b] , по ее |
|||||||||||||||||||||||||||||||||||
|
|
значениям f (xi ) , |
по значениям первых Ni |
|
1 производных f (xi ) , |
||||||||||||||||||||||||||||||||||||||
|
|
…, |
|
f |
(Ni |
1) |
(xi ) |
|
|
|
в |
|
n |
1 |
|
попарно |
|
|
различных |
точках |
(узлах) |
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
|
|
xi |
|
[a, b], i |
|
0, ..., n , при условии N |
|
1 |
|
|
N0 ... |
Nn . |
|
|
|||||||||||||||||||||||||||||
Доказательство. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
Существование полинома PN (x) и сходимость к нему последовательности |
|||||||||||||||||||||||||||||||||||||||||||
полиномов |
P , N (x) |
следует леммы 1, |
причем, |
как это отмечалось при |
|||||||||||||||||||||||||||||||||||||||
доказательстве |
леммы, |
полиномы |
|
|
|
P , N (x) |
|
не |
|
зависят |
от |
способа |
|||||||||||||||||||||||||||||||
нумерации узлов (9), и, стало быть, полином PN (x) не зависит от способа |
|||||||||||||||||||||||||||||||||||||||||||
нумерации кратных интерполяционных узлов: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
x (0) , x (1) , ..., x (N) , |
|
x |
(k) |
{x0 , ..., xn}. |
|
|
|
|
(7) |
|||||||||||||||||||||||||||
Последним фактом мы воспользуемся для проверки интерполяционных |
|||||||||||||||||||||||||||||||||||||||||||
условий (2), например, в узле x0 |
кратности N0 : |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
PN (x0 ) |
|
f (x0 ), |
PN (x0 ) |
|
f (x0 ), |
|
..., |
PN(N0 |
1) (x0 ) |
f (N0 1) (x0 ) . |
|||||||||||||||||||||||||||||||||
Для этого интерполяционные узлы (учитывая их кратность) упорядочим |
|||||||||||||||||||||||||||||||||||||||||||
следующим образом: сначала перечислим кратный узел x0 : |
|
|
|
|
|||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
x |
(0) |
|
x0 , x |
(1) |
x0 , ..., x (N |
0 |
1) |
|
|
x0 , |
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
затем все остальные в некотором порядке. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
Тогда формула (8) для полинома PN (x) может быть переписана в виде |
|||||||||||||||||||||||||||||||||||||||||||
P (x) |
f (x |
0 |
) |
|
f (x |
0 |
, x |
0 |
) |
|
(x |
|
x |
0 |
) |
f (x |
0 |
,..., x |
0 |
) |
(x |
|
|
x |
0 |
)N0 1 |
|
|
|
|
|||||||||||||
N |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
N0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
)N0 |
|
N |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
(x |
x |
0 |
|
|
|
f (x |
|
(0) |
, x |
(1) |
,..., x |
(k) |
) |
[(x |
|
|
x |
(N |
0 |
) |
) |
... (x |
x |
(k |
1) |
)] |
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
k N0
16
Мацокин А.М. “Численный анализ”. Конспект лекций.
|
|
|
|
|
|
|
|
|
f |
(N0 |
1) |
(x0 ) |
|
|
|
|
N |
|
1 |
|
|
|
N |
|
|
f (x |
0 |
) |
f (x |
0 |
) (x |
x |
0 |
) |
|
|
(x |
x |
0 |
) |
0 |
(x x |
0 |
) |
0 |
Q(x) , |
|||||
|
(N0 |
|
1)! |
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
по которому легко проверить (проверьте!) выполнение условий интерполяции в кратном узле x0 .
В силу произвольности выбора интерполяционного узла (мы выбрали x0 , но могли выбрать и любой другой) полином PN (x) удовлетворяет всем
условиям интерполяции с кратными узлами. Теорема доказана.
Оценка погрешности интерполирования
Теорема 3. Для |
|
погрешности |
|
RN (x) |
|
f (x) |
PN (x) |
|
|
|
интерполирования |
||||||||||||||||||||||||||
функции |
f (x) по ее |
значениям f (xi ) , по |
|
|
|
значениям |
первых |
||||||||||||||||||||||||||||||
Ni |
1 производных: f (xi ) , |
…, |
|
|
|
f |
(Ni 1) |
(xi ) |
в |
n |
1 |
попарно |
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||
различных точках (узлах) |
xi |
|
|
[a, b], i |
|
0, ..., n , при |
условии |
||||||||||||||||||||||||||||||
N |
1 N0 |
... |
Nn , |
интерполяционным |
полиномом |
Эрмита |
|||||||||||||||||||||||||||||||
PN (x) (который мы построили либо в форме Лагранжа (3) |
либо |
в |
|||||||||||||||||||||||||||||||||||
форме Ньютона (8)), справедлива оценка |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|| RN (x) || C[a, b] |
|
|| f |
(N |
1) ( |
) || C[a, b] |
|| |
|
(x) || C[a, b], |
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
(N |
1)! |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
где |
(x) |
(x |
x |
0 |
)N0 |
... (x |
|
x |
n |
)Nn . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
Доказательство оставляется читателю в качестве упражнения. |
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
Замечание. Пусть N0 |
... |
|
Nn |
1 и если в качестве узлов интерполирования |
|||||||||||||||||||||||||||||||||
выбрать |
корни |
|
|
|
xk |
|
|
|
a |
b |
|
|
|
b |
|
a |
cos |
|
(2k |
|
|
|
1) |
|
, |
|
k |
0, ..., n, |
|||||||||
|
|
|
|
|
2 |
|
|
|
|
|
|
2 |
|
|
2(n |
1) |
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
полинома |
(x) |
|
(b |
a)n |
1 |
cos((n |
1) |
arc cos |
|
2x |
(b |
a) |
) , то |
|
|||||||||||||||||||||||
|
|
22n 1 |
|
|
|
|
b |
|
a |
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|| f (n |
1) ( |
) || C[a, b] |
|
(b a)n |
|
1 |
|
|
|| f (n |
1) ( |
) || C[a, b] |
|
b |
a n |
1 |
|||||||||||||||||||||
|| Rn (x) || C[a, b] |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. |
|
|
(n |
1)! |
|
|
|
|
|
22n 1 |
|
|
|
|
|
|
|
|
(n |
|
1)! |
|
|
|
|
2n |
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
Докажите, что коэффициент при старшей степени полинома |
(x) |
||||||||||||||||||||||||||||||||||||
равен единице, а сам полином является полиномом, наименее |
|||||||||||||||||||||||||||||||||||||
уклоняющимся от нуля на отрезке [a, b] (см. лекцию 9 |
ВМЛА). |
|
17
Мацокин А.М. “Численный анализ”. Конспект лекций.
Лекция 3. Интерполирование кубическим сплайном
Попытка повышения точности приближения функции f (x) за счет увеличения степени интерполяционного полинома Pn (x) чаще всего неудачна, так как разность Pn (x) f (x) может не стремиться к нулю при n . Вместо этого
для повышения точности приближения можно применять кусочнополиномиальную алгебраическую интерполяцию:
либо интервал [a, b] |
задания функции f (x) |
разбить на подъинтервалы: |
|
|
n |
|
|
[a, b] |
[xi , xi 1], |
сеткой узлов h {a |
x0 x1 ... xn b}, на |
i 0
каждом из которых функция приближается алгебраическим интерполяционным полиномом небольшой степени, но при таком подходе результирующий интерполянт будет иметь разрывы производных на стыках подъинтервалов; либо для вышеуказанного разбиения строится кусочно-полиномиальная
функция (сплайн), непрерывная вместе с несколькими своими первыми производными на интервале [a, b] .
Определение и построение кубического сплайна |
|
||
Определение. |
|
|
|
Кубическим |
сплайном, |
аппроксимирующим функцию f (x) |
на сетке |
h {a x0 |
x1 ... |
xn b} по ее значениям fi f (xi ), i |
0, ..., n , |
называется функция s(x) , удовлетворяющая следующим условиям:
a)s(x) − полином третьей степени на каждом подъинтервале [xi 1, xi ];
b)s(x) C2[a, b] ;
c) s(xi ) fi , i |
0, 1, ..., n , − условие интерполирования. |
|
|
Для определения сплайна s(x) : |
|
||
4n |
неизвестных: |
по четыре коэффициента полинома третьей степени |
|
|
|
(условие а)) на каждом подъинтервале [xi |
1, xi ], |
мы имеем: |
|
|
|
3(n |
1) условий непрерывности s(x) , первой и второй производных от |
||
|
|
s(x) в точках x1, ..., xn 1 (условие b)), |
|
n |
1 условие интерполяции (условие c)). |
|
|
Таким образом, для определения 4n неизвестных мы имеем 4n |
2 условий, |
т.е., если условия независимы, то для единственности задачи построения сплайна нам не хватает двух условий. Обычно эти условия ставят на концах интервала [a, b] (граничные условия). Мы ограничимся случаем
d) s(x0 ) f0 f (x0 ), s(xn ) fn f (xn ) .
18
Мацокин А.М. “Численный анализ”. Конспект лекций.
Итак, мы должны определить кусочно-кубическую функцию s(x) |
C2[a, b] : |
|||||||||||||||||||||||||||||||||||||||||||||
|
|
s(x) |
ai |
|
bi |
(x |
xi ) |
ci |
|
|
(x |
|
xi )2 |
di |
|
|
(x |
xi )3 |
x |
[xi , xi |
1] , |
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
, |
|
||||||||||||||||||||||||
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
6 |
|
|
|
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
по заданным значениям: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
s(xi ) |
|
fi , |
i |
0, 1, ..., n , |
c0 |
s (x0 ) |
|
|
f0 , cn |
|
s (xn ) |
fn . |
|
|
(1) |
||||||||||||||||||||||||||||
Учитывая, что на интервале [xi , xi |
1] |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
s(xi ) fi , |
|
|
s (xi ) |
|
ci , |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
s(xi |
1) |
|
|
|
fi |
1, |
s (xi |
1) |
|
ci |
1, |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
сплайн можно представить в виде |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
s(x) |
|
fi |
xi |
1 |
|
x |
|
fi |
1 |
x |
|
xi |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
hi |
|
|
|
hi |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
c |
i |
|
(xi |
1 |
x)3 |
|
|
hi2 (xi |
1 |
x) |
c |
i |
1 |
(x |
|
xi )3 |
hi2 (x |
xi ) |
, |
(2) |
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
6hi |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
6hi |
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
где hi |
|
xi |
1 |
|
xi . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
(докажите эту формулу и равенства |
s(x0 ) |
|
f0 , s(x1 |
0) |
s(x1 |
|
0) |
|
f1 , …, |
|||||||||||||||||||||||||||||||||||||
s(xn 1 |
0) |
|
s(xn |
1 |
0) |
|
fn |
1, s(xn ) |
fn , |
s (x0 ) |
|
f0 , s (x1 |
0) |
s (x1 |
0) , |
|||||||||||||||||||||||||||||||
…, s (xn 1 |
0) |
|
s (xn 1 |
0), s(xn ) |
|
|
fn ). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
Для определения неизвестных c1, ..., cn |
1 воспользуемся |
|
условиями |
|||||||||||||||||||||||||||||||||||||||||||
непрерывности первой производной от сплайна: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
s (xi |
0) |
|
|
s (xi |
|
|
0), i |
1, ..., n |
1. |
|
|
|
|
|
|
|
|
|||||||||||||||||
Вычислив эти производные, получим систему уравнений |
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||
|
|
|
|
hi 1 c |
|
|
|
|
hi 1 |
hi c |
|
|
|
hi c |
|
|
|
fi 1 |
|
fi |
|
|
fi |
|
fi 1 |
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
6 |
|
|
i 1 |
|
|
3 |
|
|
|
i |
|
|
6 |
|
|
i 1 |
|
|
hi |
|
|
|
hi 1 |
|
|
|
|
|
|
(3) |
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
i |
1, ..., n |
1, |
|
|
|
|
c0 |
f0 , |
|
|
cn |
fn . |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
Симметричная трехдиагональная матрица этой системы |
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||
|
|
2(h0 |
h1) |
|
|
|
|
h1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
c1 |
|
|
b1 |
||||
1 |
h1 |
|
2(h1 |
h2 ) |
|
h2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
c2 |
|
|
b2 |
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
6 |
|
|
|
|
|
|
|
|
|
|
|
|
|
hn |
|
|
|
|
2(hn |
|
|
hn |
2 ) |
|
|
|
|
|
hn |
|
|
|
|
cn |
|
|
bn |
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3 |
|
|
3 |
|
|
|
|
|
2 |
|
|
2 |
|
2 |
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
hn 2 |
|
|
|
2(hn |
2 |
|
hn |
1) |
cn |
1 |
|
bn |
1 |
имеет строгое диагональное преобладание в каждой строке и поэтому положительно определена и систему легко решить, например, методом прогонки.
19
Мацокин А.М. “Численный анализ”. Конспект лекций.
Оценка погрешности |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
Погрешность интерполирования |
r(x) |
|
f (x) |
|
s(x) |
мы оценим, предполагая, |
||||||||||||||||||||||||||
что функция f (x) достаточно гладка: |
f (x) |
C4[a, b], а сетка |
h |
равномерна, |
||||||||||||||||||||||||||||
т.е. все ее шаги равны: hi |
xi |
|
xi |
h |
|
b |
|
a |
. |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
1 |
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
Так как r(xi ) |
|
r(xi |
1) |
0 , |
|
|
|
|
|
||||||||||
|
|
|
|
r ( |
) |
0 |
|
|
|
|
|
|
то |
|
|
|
(a, b) : r ( |
) |
0 . |
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
Тогда |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
r(x) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
r(x) |
|
|
r (y) dy |
|
|| r ||C |
h || r ||C , |
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
xi |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(4) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
y |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
xi |
x |
|
|
|
|
xi 1 |
|
|
|
|
r (y) |
|
r |
(y) dy |
|
|| r |
||C |
h || r |
|
||C. |
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
Таким образом, нам осталось оценить |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
r (x) |
f (x) |
s (x) |
f |
(x) |
[c |
|
|
xi |
1 |
x |
|
c |
|
|
x |
xi |
|
], |
x |
[x |
, x |
|
|
] |
. (5) |
|||||||
i |
|
|
|
|
|
i |
1 |
|
|
|
i |
1 |
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
h |
|
|
|
|
|
|
h |
|
|
|
i |
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Перепишем систему (3) в виде |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
ci 1 |
4 ci |
ci 1 |
|
12 f (xi 1, xi , xi 1) 6 f (xi ) |
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
i |
1, ..., n |
|
1, |
|
|
|
c0 |
|
|
f0 , |
|
cn |
|
fn , |
|
|
|
|
|
|
|
||||||
и оценим разности ri |
fi |
|
ci , для которых легко получить соотношения |
|
|
|||||||||||||||||||||||||||
|
ri 1 |
4 ri |
|
ri 1 |
fi 1 |
4 fi |
|
fi 1 |
|
12 f (xi 1, xi , xi 1) |
|
i |
|
|
|
|||||||||||||||||
|
|
|
|
|
|
i |
1, ..., n |
1, |
|
r0 |
0, |
|
rn |
0. |
|
|
|
|
|
|
|
|||||||||||
Практически очевидна справедливость следующих неравенств: |
|
|
|
|
|
|
||||||||||||||||||||||||||
|
4 | ri | |
| ri |
1 | |
| ri |
1 | |
|
| |
i |
| |
2 |
|
max |
1 |
| rj | |
|
max |
| |
j | |
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
j |
n |
|
1 |
j n |
1 |
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(6) |
|
|
|
|
| ri | |
|
max | rj |
| |
|
|
max |
| |
|
|
|
| . |
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
j |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
1 |
|
2 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
j |
n |
1 |
|
|
j |
n |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Используя следующие разложения в ряд Тейлора:
fi |
|
fi |
fi(3)h |
f (4) ( |
i ) |
h2 |
, |
|
|
|
|
|
||||
1 |
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
h2 |
(3) |
|
h3 |
(4) |
|
h4 |
||||
fi 1 |
fi |
fi h fi |
|
|
fi |
|
|
f |
|
( i ) |
|
, |
||||
2 |
|
6 |
|
24 |
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
оценим i fi 1 |
4 fi |
fi |
1 |
12 f (xi |
1, xi , xi 1) : |
|
|
|
|
|||||||
|
| |
i | |
1.5 |
h2 |
M4 , M4 || f (4) || C[a,b] . |
(7) |
Получите неравенство (7) в качестве упражнения.
Неравенства (6) и (7) обеспечивают справедливость следующей леммы.
20