Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску

В математической области численного анализа , Ньютон многочлен , названный в честь его изобретателя Исаака Ньютона , [1] является интерполяционным полиномом для заданного набора точек данных. Полином Ньютона иногда называют интерполяционным полиномом разделенных разностей Ньютона, потому что коэффициенты полинома вычисляются с использованием метода разделенных разностей Ньютона .

Определение [ править ]

Учитывая набор из k  + 1 точек данных

где никакие два х J не являются одинаковыми, интерполяционный полином Ньютона является линейной комбинацией из Ньютона базисных полиномов

с базисными полиномами Ньютона, определенными как

для j > 0 и .

Коэффициенты определяются как

куда

- обозначение разделенных разностей .

Таким образом, многочлен Ньютона можно записать как

Формула деленной разности Ньютона [ править ]

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

Это называется формулой прямой разделенной разности Ньютона [ необходима цитата ] .

Формула обратной разделенной разности Ньютона [ править ]

Если узлы переупорядочены как , полином Ньютона становится

Если они расположены на одинаковом расстоянии от и для i = 0, 1, ..., k , то,

называется формулой обратной разделенной разности Ньютона [ необходима цитата ] .

Значение [ править ]

Формула Ньютона представляет интерес, потому что это прямая и естественная версия полинома Тейлора с разностями. Многочлен Тейлора сообщает, куда пойдет функция, на основе ее значения y и ее производных (скорости ее изменения, скорости изменения скорости изменения и т. Д.) При одном конкретном значении x . Формула Ньютона - это полином Тейлора, основанный на конечных разностях, а не на мгновенных скоростях изменения.

Добавление новых точек [ править ]

Как и в случае с другими формулами разности, степень интерполяционного полинома Ньютона может быть увеличена путем добавления дополнительных членов и точек, не отбрасывая существующие. Форма Ньютона проста в том, что новые точки всегда добавляются на одном конце: прямая формула Ньютона может добавлять новые точки справа, а обратная формула Ньютона может добавлять новые точки слева.

Точность полиномиальной интерполяции зависит от того, насколько близко интерполированная точка находится к середине значений x используемого набора точек. Очевидно, что по мере того, как на одном конце добавляются новые точки, эта середина становится все дальше и дальше от первой точки данных. Следовательно, если неизвестно, сколько точек потребуется для желаемой точности, середина значений x может быть далеко от того места, где выполняется интерполяция.

Гаусс, Стирлинг и Бессель разработали формулы для решения этой проблемы. [2]

Формула Гаусса поочередно добавляет новые точки на левом и правом концах, тем самым сохраняя центр набора точек в одном и том же месте (рядом с оцененной точкой). При этом используются термины из формулы Ньютона с переименованием точек данных и значений x в соответствии с вашим выбором, какая точка данных обозначена как точка данных x 0 .

Формула Стирлинга по-прежнему сосредоточена вокруг конкретной точки данных для использования, когда оцененная точка находится ближе к точке данных, чем к середине из двух точек данных.

Формула Бесселя по-прежнему сосредоточена вокруг определенной середины между двумя точками данных для использования, когда оцененная точка находится ближе к середине, чем к точке данных.

Бессель и Стирлинг достигают этого, иногда используя среднее значение двух разностей, а иногда используя среднее значение двух произведений биномов по x , тогда как для значений Ньютона или Гаусса используется только одно различие или произведение. Стирлинг использует среднюю разницу в нечетных выражениях (для разницы используется четное число точек данных); Бессель использует среднюю разницу в четных градусах (для разницы используется нечетное количество точек данных).

Сильные и слабые стороны различных формул [ править ]

Для любого заданного конечного набора точек данных существует только один полином наименьшей возможной степени, который проходит через все из них. Таким образом, уместно говорить о «форме Ньютона» или форме Лагранжа и т. Д. Интерполяционного полинома. Однако имеет значение способ получения полинома. Есть несколько подобных методов, например, Гаусса, Бесселя и Стирлинга. Они могут быть получены из Ньютона путем переименования значений x точек данных, но на практике они важны.

Бессель против Стирлинга [ править ]

Выбор между Бесселем и Стирлингом зависит от того, находится ли интерполированная точка ближе к точке данных или ближе к середине между двумя точками данных.

Ошибка полиномиальной интерполяции приближается к нулю, когда точка интерполяции приближается к точке данных. Таким образом, формула Стирлинга обеспечивает повышение точности там, где это меньше всего необходимо, а Бессель обеспечивает повышение точности там, где это необходимо больше всего.

Таким образом, формулу Бесселя можно назвать наиболее точной разностной формулой и, в целом, наиболее точной из известных формул полиномиальной интерполяции.

Методы разделенных разностей против Лагранжа [ править ]

Иногда говорят, что Лагранж требует меньше работы, и иногда его рекомендуют для задач, в которых заранее известно из предыдущего опыта, сколько терминов необходимо для достаточной точности.

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

Существует «барицентрическая» версия Лагранжа, которая избавляет от необходимости заново выполнять все вычисления при добавлении новой точки данных. Но это требует, чтобы значения каждого термина были записаны.

Но способность Гаусса, Бесселя и Стирлинга удерживать точки данных в центре близко к интерполированной точке дает им преимущество перед Лагранжем, когда заранее неизвестно, сколько точек данных потребуется.

Кроме того, предположим, что кто-то хочет выяснить, достаточно ли точна линейная интерполяция для некоторого конкретного типа задачи. Это можно определить, оценив квадратичный член формулы разделенной разности. Если квадратичный член пренебрежимо мал - это означает, что линейный член достаточно точен без добавления квадратичного члена, - тогда линейная интерполяция достаточно точна. Если проблема достаточно важна или если квадратичный член почти достаточно велик, чтобы иметь значение, то можно было бы определить, достаточно ли велика _ сумма_ квадратичных и кубических членов, чтобы иметь значение в проблеме.

Конечно, для такого определения можно использовать только метод разделенных разностей.

Для этой цели следует выбрать формулу разделенной разности и / или ее точку x 0, чтобы формула использовала в качестве своего линейного члена две точки данных, между которыми будет выполняться интересующая линейная интерполяция.

Формулы разделенных разностей более универсальны и полезны для решения большего числа задач.

Формула Лагранжа наиболее эффективна, когда вся интерполяция будет выполняться при одном значении x , при этом только значения y точек данных меняются от одной задачи к другой, и когда из прошлого опыта известно, сколько терминов необходимо для достаточная точность.

С формой Ньютона интерполяционного многочлена существует компактный и эффективный алгоритм для объединения членов, чтобы найти коэффициенты многочлена. [3]

Точность [ править ]

Когда в терминах Стирлинга или Бесселя последний использованный термин включает в себя среднее значение двух разностей, тогда используется на одну точку больше, чем при интерполяции Ньютона или других полиномов для той же степени полинома. Таким образом, в этом случае методы Стирлинга или Бесселя не помещают полином степени N −1 через N точек, а вместо этого торгуют эквивалентностью с полиномом Ньютона для лучшего центрирования и точности, что дает этим методам иногда потенциально большую точность для данной степени полинома. , чем другие полиномиальные интерполяции.

Общий случай [ править ]

Для особого случая x i = i существует тесно связанный набор многочленов, также называемых многочленами Ньютона, которые являются просто биномиальными коэффициентами для общего аргумента. То есть, есть также многочлены Ньютона, заданные формулой

В этой форме полиномы Ньютона порождают ряды Ньютона . Это, в свою очередь, частный случай общих разностных полиномов, которые позволяют представлять аналитические функции через обобщенные разностные уравнения.

Основная идея [ править ]

Решение интерполяционной задачи приводит к проблеме линейной алгебры, в которой мы должны решить систему линейных уравнений. Используя стандартный мономиальный базис для нашего интерполяционного полинома, мы получаем очень сложную матрицу Вандермонда . Выбирая другой базис, базис Ньютона, мы получаем систему линейных уравнений с гораздо более простой нижнетреугольной матрицей, которую можно решить быстрее.

Для k  + 1 точек данных мы строим базис Ньютона как

Используя эти многочлены в качестве основы, мы должны решить

для решения задачи полиномиальной интерполяции.

Эта система уравнений может быть решена итеративно путем решения

Вывод [ править ]

Хотя формулу интерполяции можно найти, решив линейную систему уравнений, есть потеря интуиции в том, что показывает формула, и почему формула интерполяции Ньютона работает не сразу. Для начала нам понадобится следующий результат:

. Это равенство означает, что реверсирование членов разделенной разницы не влияет на конечный результат. Докажем этот результат по индукции.

Основа :

Индукция : предположим, что результат верен для разделенной разницы, содержащей меньше членов. Используя предположение индукции, видим, что где предположение индукции использовалось при 2-м равенстве.

Чтобы вывести формулу интерполяции, мы теперь будем использовать следующий результат, который также будет доказан с помощью индукции:

где - единственный полином степени (не выше), проходящий через точки . Благодаря этому результату мы теперь можем точно количественно оценить ошибку между полиномом интерполяции at и истинным значением .

Основание : где - единственный проходящий полином нулевой степени .

Индукция : предположим, что результат верен, когда очков меньше, чем . Пусть - многочлен степени (не выше), проходящей через

где - единственный полином степени (не выше), проходящий через точки . Предпоследнее равенство исходит из гипотезы индукции, поскольку включает точки и, следовательно . Приближаясь к желаемому результату, мы теперь утверждаем, что, поскольку оба многочлена проходят и имеют степень (не выше) . Оба эти критерия однозначно определяют полином. Тот факт, что левая сторона проходит, легко понять по определению «как быть». Чтобы продемонстрировать прохождение левой части , мы будем использовать первый доказанный выше результат вместе с предположением индукции:

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

Вся эта работа теперь ведет к тому, откуда взялась формула интерполяции Ньютона. Преобразуя результат выше, мы отмечаем, что это полином степени (не выше), проходящей через , и, таким образом, мы видим, что «расширение» полинома до следующей точки требует добавления члена, дающего нам формулу интерполяции Ньютона.

Полином Тейлора [ править ]

Предел полинома Ньютона, если все узлы совпадают, является полиномом Тейлора , потому что разделенные разности становятся производными.

Заявление [ править ]

Как видно из определения разделенных разностей, новые точки данных могут быть добавлены к набору данных для создания нового полинома интерполяции без пересчета старых коэффициентов. И когда точка данных изменяется, нам обычно не нужно пересчитывать все коэффициенты. Кроме того, если x i распределены равноудаленно, вычисление разделенных разностей становится значительно проще. Поэтому для практических целей обычно предпочтительнее формулы разделенных разностей, чем формы Лагранжа .

Примеры [ править ]

Разделенные различия можно записать в виде таблицы. Например, функция f должна быть интерполирована по точкам . Написать

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

Например, предположим, что мы должны построить интерполирующий полином к f ( x ) = tan ( x ) с использованием разделенных разностей в точках

Используя шестизначную точность, строим таблицу

Таким образом, интерполирующий полином равен

Если в таблице будет больше цифр точности, первый и третий коэффициенты окажутся равными нулю.

Другой пример:

Последовательность такая, что и , т. Е. От до .

Вы получаете наклон порядка следующим образом:

Поскольку у нас есть порядок уклонов , можно получить следующий порядок:

Наконец, мы определяем наклон порядка :

Как только у нас есть наклон, мы можем определить следующие многочлены:

  • .
  • .

См. Также [ править ]

  • De numeris triangularibus et inde de progressionibus arithmeticis: Magisteria magna , работа Томаса Харриота, описывающая аналогичные методы интерполяции, написанная на 50 лет раньше, чем работа Ньютона, но не опубликованная до 2009 г.
  • Серия Ньютон
  • Схема Невилла
  • Полиномиальная интерполяция
  • Форма Лагранжа интерполяционного полинома
  • Форма Бернштейна интерполяционного полинома
  • Эрмита интерполяция
  • Теорема Карлсона
  • Таблица ньютоновских рядов

Ссылки [ править ]

  1. ^ Данэм, Уильям (1990). «7». Путешествие сквозь гений: Великие теоремы математики . Kanak Agrawal, Inc., стр.  155–183 . ISBN 9780140147391. Проверено 24 октября 2019 года .
  2. ^ Численные методы для ученых и инженеров, RW Hamming
  3. ^ Stetekluh, Джефф. «Алгоритм Ньютона формы интерполяционного многочлена» .

Внешние ссылки [ править ]

  • Модуль для полинома Ньютона Джона Х. Мэтьюза