Кусочно-полиномиальная интерполяция

Отсюда получаем оценку погрешности для локальной интерполянты с равноотстоящими узлами (3.3)-(3.4):

(3.6)

.

Предложение 3.1. Для интерполяционный процесс, порожденный локальной интерполянтой для равноотстоящих узлов, определяемых формулами (3.3)-(3.4), равномерно сходится при к на :

на

со скоростью при .

Утверждение предложения 3.1. следует из оценки (3.6).

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

Теорема 3.1. Для любой функции интерполяционный процесс, порожденный локальной интерполянтой для равноотстоящих узлов, определяемых формулами (3.3)-(3.4), равномерно сходится при к на :

на

Доказательство. Введем оператор

, .

По построению - линейный ограниченный оператор в пространстве .

Теперь утверждение теоремы 3.1 означает, что последовательность операторов поточечно сходится при к единичному оператору , и нам нужно только проверить выполнение условий а) и б) теоремы 2.1 для последовательности при .

Выполнение условия б) теоремы 2.1 немедленно следует из предложения 3.1, так как множество плотно в .

Докажем справедливость условия б). Обозначим через - оператор интерполирования на отрезке , (см. (3.4)).

Имеем

(3.7)

Обозначив

, (3.8)

перепишем (3.7) в виде

(3.9)

Сделаем в (3.8) замену переменной, положив

Имеем

,

.

Подставляя найденные выражения в (3.7), получим функцию от новой переменной :

. (3.10)

Так как функция взаимно однозначно отображает отрезок на отрезок , то

(3.11)

Отметим, что в (3.10) вычисляется максимальное значение функции , непрерывной на отрезке , независящей от и - номера отрезка . Следовательно,

(3.12)

зависит только от .

Используя (3.12), имеем

Отсюда для нормы оператора получим оценку:

. (3.13)

Условие a) теоремы 2.1 доказано. Так как не зависит от , то теорема 3.1 доказана.

Интерполяция сплайнами

Понятие сплайна. Построенный нами в предыдущем пункте локальный интерполянт для равноотстоящих узлов, определяемых формулами (3.3)-(3.4), обладает существенным недостатком: в точках склейки - общих точках частичных отрезков он не является гладкой функцией. Возникает задача построения локального интерполянта, являющегося гладкой функцией на всем отрезке . Эта задача решается с помощью сплайнов.

Термин сплайн (англ.- spline) имеет техническое происхождение. Первоначально сплайнами называли длинные гибкие деревянные рейки, используемые английскими кораблестроителями для вычерчивания деталей корпуса корабля в натуральную величину. Другими словами, сплайн был чертежным инструментом для построения гладких кривых.

В вычислительной математике под сплайном на отрезке понимают кусочно-полиномиальную функцию гладкую на всем отрезке.

Пусть отрезок разбит на частичных отрезков точками

.

Набор точек принято называть сеткой.

Сплайном степени порядка на отрезке , соответствующим сетке , называется функция , совпадающая на каждом частичном отрезке , с многочленом

(3.14)

степени не выше .

Из определения следует, что для многочленов (3.14), представляющих сплайн на каждом частичном отрезке , имеет место равенство

(3.15)

Рис. 3.1

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

Для сплайнов степени и порядка на отрезке используется обозначение

,

где число называется дефектом сплайна.

Сплайн называется интерполяционным для заданной таблицы (1.1), если

, (3.16)

где - узлы интерполяции.

Интерполяция посредством сплайнов называется сплайн-интерполяцией.