Рассмотрим функцию на отрезке и последовательность интерполяционных полиномов Возникает вопрос: существует ли для точки предел этой последовательности и равен ли он значению: ?
Определение. Интерполяционный полином сходится к функции для , если .
Рассмотрим два примера.
Рис. 5.2. Интерполяция функции Рунге
Пример 1 (Рунге)
В 1901 г. Рунге (1901 г.) рассмотрел интерполяцию полиномами на отрезке функции при равномерном распределении узлов сетки. Выяснилось, что при бесконечном увеличении степени n интерполяционного полинома , последовательность расходится на интервале (рис. 5.2). То есть
.
При этом – достаточно «хорошая», гладкая функция.
Чем выше степень интерполяционного полинома, построенного по интерполяционной таблице с равномерным шагом для функции , тем больше погрешность.
Пример 2 (Бернштейн, 1912 г.)
Последовательность интерполяционных полиномов , построенных на равномерных сетках , для непрерывной функции , не стремится с возрастанием n к функции ни в одной точке отрезка , отличной от -1, 0,1 (рис. 5.3).
Рис. 5.3. Интерполяция функции y = |x|
Эти два примера иллюстрируют недостаток интерполяции полиномами: с увеличением степени интерполяционного полинома возможны существенные отклонения интерполяционного полинома от функции на концах интервала. Увеличение степени полинома накладывает все более жесткие ограничения на .
Теорема Фабера
Для любой интерполяционной таблицы размерности найдутся непрерывная функция и точка , такие, что не сходится к функции в точке при .