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

VMLA-Matzokin-2012 / 2012-лекции ЧА

.pdf
Скачиваний:
106
Добавлен:
06.06.2015
Размер:
2.51 Mб
Скачать

Мацокин А.М. “Численный анализ”. Конспект лекций.

Лекция 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

Соседние файлы в папке VMLA-Matzokin-2012