Введение

В математике интерполяция Биркоффа является обобщением интерполяции полиномов. Она относится к задаче нахождения полинома степени *n* такого, что только определенные производные принимают заданные значения в заданных точках:

где заданы точки данных *x<sub>i</sub>* и неотрицательные целые числа *k<sub>i</sub>*. Она отличается от интерполяции Эрмита тем, что можно задавать производные полинома в некоторых точках, не задавая при этом производные более низкого порядка или сам полином. Название происходит от имени Джорджа Дэвида Биркоффа, который впервые исследовал эту задачу в 1906 году.

Некоторые примеры

Рассмотрим дифференцируемую функцию на , такую что. Покажем, что не существует квадратичного интерполяционного многочлена Бирхоффа, удовлетворяющего условию , где: Поскольку , многочлен можно представить в виде (выполняя выделение полного квадрата), где – это просто коэффициенты интерполяции. Производная интерполяционного многочлена задается выражением , однако это абсурдно, поскольку не обязательно. Матрица инцидентности задается следующим образом:

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

Пусть задано натуральное число и дифференцируемая функция на . Существует ли многочлен, такой что: и для с ? Построим полином Лагранжа/Ньютона (один и тот же интерполирующий полином, но в разных формах для вычисления и представления), который удовлетворяет для , тогда полином является интерполяционным многочленом Бирхоффа, удовлетворяющим вышеуказанным условиям. Матрица инцидентности задается следующим образом:

Пусть задано натуральное число и дифференцируемая функция на . Существует ли многочлен, такой что: и для ? Построим как интерполирующий многочлен в точках и , таким образом, что определим итерации . Тогда является интерполяционным многочленом Бирхоффа. Матрица инцидентности задается следующим образом: