Ряд Тейлора

[править]

Материал из Википедии — свободной энциклопедии

Ряд Те́ йлора — разложение функции в бесконечную сумму степенных функций.

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

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

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

Пусть функция бесконечно дифференцируема в некоторой окрестности точки . Формальный ряд

называется рядом Тейлора функции в точке .

[править]Связанные определения

§ В случае, если , этот ряд также называется рядом Макло́ рена.

[править]Свойства

§ Если есть аналитическая функция в любой точке a, то её ряд Тейлора в любой точке области определения сходится к в некоторой окрестности .

§ Существуют бесконечно дифференцируемые функции, ряд Тейлора которых сходится, но при этом отличается от функции в любой окрестности . Например, Коши предложил такой пример:

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

[править]Формула Тейлора

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

Теорема:

§ Пусть функция имеет производную в некоторой окрестности точки , § Пусть § Пусть — произвольное положительное число, тогда: точка при или при :

Это формула Тейлора с остаточным членом в общей форме (форма Шлёмильха — Роша).

[править]Различные формы остаточного члена

В форме Лагранжа:

В форме Коши:

В интегральной форме:

Ослабим предположения:

§ Пусть функция имеет производную в некоторой окрестности точки

§ И производную в самой точке , тогда:

— остаточный член в асимптотической форме (в форме Пеано, в локальной фо