Материал: 07 - презентация

lim→∞ ( ) = lim ( ( ) − ( )) = 0.

→∞

Достаточность. Пусть lim→∞ ( ) = 0. Тогда

lim→∞ ( ) = lim ( ( ) − ( )) = ( ), т.е. ряд сходится к

→∞

( ).

Теорема доказана.

Рассмотрим функцию:

1

( ) = { − 2 , ≠ 0. 0, = 0

Можно показать, что эта функция на всей числовой оси имеет производные всех порядков, и ( )(0) = 0 .

Ряд Маклорена этой функции сходится при всех , и сумма его тождественно равна 0, но не равна ( ). Таким образом, данная функция не представляется своим рядом Маклорена ни в какой окрестности точки = 0.

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

Теорема 2. Если функция ( ) в некотором интервале с центром в точке 0 имеет производные всех порядков, и все производные для всех из этого интервала ограничены одним и тем же числом:

| ( )( )| ≤ ,

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

Доказательство.

По условию теоремы | ( )( )| ≤ .

Оценим остаточный член в формуле Тейлора:

По признаку Даламбера

Это утверждение применимо к таким элементарным функциям как , s, cos. Например, функции s, c

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