Лекция 14
593.58K
Category: mathematicsmathematics

Степенные ряды. Радиус сходимости ряда. Разложение функций в ряд Тейлора, ряд Маклорена. (Лекция 14)

1. Лекция 14

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

2.

Определение
Степенным рядом называется функциональный ряд
a0 a1 ( x x0 ) a2 ( x x0 ) 2 ... an ( x x0 ) n ... элементы которого произведения
постоянных a0 , a1 ,..., a n ,... на степенные функции с целыми показателями
степеней от разности x x0
a i - коэффициенты степенного ряда (обычно действительные функции).
В частности, если x0 0 ,то мы будем иметь степенной ряд, расположенный по
степеням x
a0 a1 x a2 x 2 ... an x n ...
В дальнейшем рассматриваем именно такие ряды (замена x x0 x )
n
Для удобства n-м элементом степенного ряда называют элемент a n x
(хотя он стоит на n+1 месте). Свободный элемент a 0 считается нулевым
элементом ряда.
Рассмотрим ряд
a0 a1 ( x x0 ) a2 ( x x0 ) 2 ... an ( x x0 ) n ... (*)
и докажем очень важную теорему, на которой будет основано изучение таких
рядов.

3.

Теорема Абеля
Если степенной ряд (*) сходится в точке x0 0 , то он сходится и притом
абсолютно, в интервале ( x0 , x0 ), т. е. при всяком x , удовлетворяющем
условию x x0 .
Доказательство:
n
a
x
n
Заметим, что вследствие сходимости ряда
его общий
n 1
элемент a n x n 0 . Поэтому все элементы этого ряда ограничены в
совокупности, т.е. существует М>0, такое, что при всяком n | a n x n | M .
2
n
x
2 x
n x
Запишем ряд (*) так a0 a1 x0 a2 x0 ... an x0 ... и составим ряд
x0
x0
x0
их абсолютных величин элементов
этого ряда: n
2
x
2
| a0 | | a1 x0 || | | a 2 x0
x0
x
n
|| | ... | a n x0
x0
x
|| | ...
x0
В силу установленного неравенства каждый элемент здесь меньше
x
соответствующего элемента геометрической прогрессии со знаменателем x :
2
n
0
M M
x
x
M
x0
x0
... M
x
x0
...

4.

Если x x0 , то x 1 и прогрессия сходится, поэтому сходится ряд из
x0
абсолютных величин, а значит, абсолютно сходится сам ряд (*). Теорема
доказана.
Несмотря на то, что a n x n a n x0n нельзя сразу воспользоваться признаком
сравнения, поскольку в условиях теоремы не сказано, что ряд в самой точке x 0
сходится абсолютно.
Следствие
Если степенной ряд (*) расходится при x x0, то он расходится и при всяком
х, большем по абсолютной величине x0 , то есть при x x0
Область сходимости степенного ряда
Здесь возможны три случая:
1) Область сходимости состоит только из одной точки х=0, то есть ряд
расходится для всех значений х, кроме х=0. Пример 1 x 2 2 x 2 ... n n x n ...
Если х фиксировано и х не равно 0,то, начиная с достаточно большого n, будет
nx 1, откуда вытекает неравенство n n x n 1, означающее, что общий
элемент ряда не стремится к нулю.

5.

2) Область сходимости состоит из всех точек оси ОХ, то есть ряд сходится
2
n
x
x
при всех значениях х. Пример 1 x 2 ... n ...
x
2
n
1 , так как
Для любого х, начиная с достаточно большого n, будет
n
n 1
n 1
n 2
n 2
x
x
x
x
и
т.д.
,
,
n 1
n
n 2
n
Начиная с номера n, элементы ряда по абсолютной величине будут меньше
элементов сходящейся геометрической прогрессии. Следовательно, при
любом х ряд сходится.
3) Область сходимости состоит более чем из одной точки оси ОХ, причем
есть точки оси, не принадлежащие области сходимости.
2
n
Пример 1 x х ... х ...
Это геометрическая прогрессия со знаменателем х. Ряд сходится при |x|<1 и
расходится при x 1.
В этом случае на числовой оси наряду с точками сходимости ряда имеются и
точки его расходимости.

6.

В этом случае на числовой оси наряду с точками сходимости ряда имеются и
точки его расходимости.
Из теоремы Абеля и ее следствия вытекает, что все точки сходимости
расположены от начала координат не дальше, чем любая из точек
расходимости. Точки сходимости будут целиком заполнять некоторый
интервал с центром в начале координат.
Таким образом
Для каждого степенного ряда, имеющего как точки сходимости , так и точки
расходимости, существует такое положительное число R, что для всех х по
модулю меньшим R ( x R ), ряд абсолютно сходится, а для всех |x|>R ряд
расходится. При x=R и x=-R различные варианты:
А) ряд сходится в обеих точках.
Б) ряд сходится в одной из точек.
В) ряд расходится в обеих точках.
Определение
Радиусом сходимости степенного ряда (*) называется такое число R, что для
любых х, |x|<R, степенной ряд сходится, а для всех х, |x|>R, расходится.
Интервал (-R,R) называется интервалом сходимости.

7.

Считаем, что если ряд расходится для любого х, кроме х=0, R=0.
Если ряд сходится при всех х, то считаем R или R .
2
n
Для ряда a0 a1 ( x x0 ) a2 ( x x0 ) ... an ( x x0 ) ... центр интервала сходимости в
точке x x0( а не х=0) и интервал сходимости x0 R, x0 R .
Способ отыскания радиуса сходимости степенного ряда
Отметим, что для нахождения радиуса сходимости можно исследовать ряд,
составленный из абсолютных величин элементов исходного ряда, то есть
a 0 a1 x ... a n x n ... (**) так как интервалы сходимости ряда (*) и ряда
u
(**) совпадают. К ряду (**) применим признак Даламбера. lim n n 1 будет
un
содержать |x| или степень |x|.
Для тех значений х, при которых получаемый предел меньше 1, ряд сходится, а
для тех, при которых x>1, ряд расходится. Отсюда следует, что значения |x|,
при которых этот предел равен 1, и будет являться радиусом сходимости ряда.
Может случиться, что найденный предел при всех х будет равен 0. Это
означает, что ряд (*) сходится при всех х и R .
Наоборот, если для любых х кроме х=0 предел равен бесконечности, то ряд
будет везде расходиться, кроме х=0, то есть R=0.

8.

Примеры
1
1
1 x x 2 ... x n ...
1) Найти радиус nсходимости
ряда
1
2!
n!
x n!
x
u n 1
lim n
lim n
lim n
0 , то есть для всякого х ряд сходится R
n
n 1
. un
n 1 ! x
2) Найти радиус сходимости ряда 1 x 1 x 2 ... 1 x n ...
x
n 1
n
xn
u n 1
lim n
lim n
lim n
x
n
un
n
1
n 1 x
2
n
Если |x|<1 - ряд сходится
Если |x|>1 – ряд расходится
При х=1 получаем гармонический ряд, который расходится.
1 1
При х=-1 ряд 1 1 ... сходится условно.
2 3
1
1
2 n 1
3) Найти радиус сходимости ряда x 2 x 3 ... ( 1) n 1
x
...
2
3
(2n 1)
2 n 1
lim n
x (2n 1) 2
u n 1
2
2
lim n
lim
x
x
, то есть R=1
n
2 n 1
2
un
2n 1 x
При |x|<1 – ряд сходится
При |x|>1 – ряд расходится
При |x|=1 – ряд сходится абсолютно.

9.

2
3
n
x
1
(
x
1
)
(
x
1
)
(
x
1
)
4) Найти радиус сходимости ряда
...
...
2
3
n
1
2
2
2
3
2
n
2
n 1
x 1 n 2n
x 1n x 1
u n 1
lim n
lim n
lim
n
n
n
1
un
2(n 1)
2
n 1 x 1 2
x 1
Если 2 1 ряд сходится, то есть при -2<x-1<2. Получаем интервал
сходимости (-1,3) с центром х=1.
Свойства степенных рядов
Рассмотрим степенной ряд (*), имеющий радиус сходимости R (конечный или
бесконечный).
Сумма ряда S(x) – есть функция, определенная внутри интервала сходимости,
а также в том из концов интервала, где ряд сходится. Предварительно
рассмотрим леммы.
Лемма 1
Степенной ряд правильно сходится в любом отрезке [-b,b], целиком лежащем
в интервале сходимости (-R,R)
Доказательство

10.

Доказательство
Выберем точку x 0 , так чтобы было b x0 R
__________(____[______________]______)_______ X
-R
-b
b x R
Она лежит в интервале сходимости и по теореме Абеля числовой ряд
a 0 a1 x0 ... a n x n ... сходится. Для всех точек X [ b, b] имеем , и
n
n
следовательно a n x a n x0 . Последнее неравенство и означает, что ряд
(*) правильно сходится в отрезке [-b,b].
Лемма 2
Степенной ряд, составленный из производных элементов ряда (*) имеет тот
же радиус сходимости, что и данный ряд.
Доказательство
n 1
n
Ряд из производных имеет вид a1 2a 2 x ... na n x (n 1)a n 1 x ... (**)
a n 1
Предположим, что предел отношения a существует, и применим для
n
отыскания радиусов
сходимости признак Даламбера:
n 1
a n 1 x
a n 1
для (*)
lim n
x lim n
n
an
an x
0

11.

lim n
(n 1)an 1 x n 1
an 1
n 1 an 1
x
lim
x
lim
n
n
n an
an
nan x n
Равенство пределов отношения последующего элемента к предыдущему для
обоих рядов, показывает, что их радиусы сходимости равны.
Следует отметить, что на конце интервала сходимости ряд (**) может
расходиться и тогда, когда ряд (*) сходится.
Например 2
n 1
2
x
xn
x
n
1
x
...
...
Ряд
lim n
x при x 1 ряд
n
2
22
n2
x
(n 1)
сходится.
Ряд производных
x
x n 1
1
... 2 ... при х=1 – гармонический ряд, который расходится.
2
n
Если теперь составить ряд из производных ряда (**), то он опять будет иметь
тот же радиус сходимости и т.д. Таким образом, все степенные ряды,
получающиеся последовательным дифференцированием ряда (*) имеют один
и тот же радиус сходимости и по лемме 1 правильно сходятся в любом
интервале, целиком принадлежащем интервалу сходимости.

12.

Свойство 1
Сумма степенного ряда есть функция, непрерывная в интервале сходимости
ряда: S ( x) a0 a1 x a 2 x 2 ... a n x n ...( R x R)
Заметим, что в том конце интервала, где степенной ряд сходится, его сумма
S(x) остается односторонне непрерывной (изнутри интервала сходимости).
Замечание
Следует учитывать одно обстоятельство, которое может иногда привести к
недоразумению.
Возьмем геометрическую прогрессию, сходящуюся при |x|<1.
1
1 ; S ( x)
определена всюду,
S ( x) 1 x x 2 ... x n ...
1 x
1 х
кроме точки x=1.
Тем не менее, следует твердо помнить, что S(x) является суммой ряда только
при |x|<1; При |x|>1 ряд расходится и о его сумме говорить нельзя.
Свойство 2
Степенной ряд можно поэлементно интегрировать в интервале сходимости
x
x
x
x
an n 1
a1 2
n
S
(
x
)
dx
a
dx
a
xdx
...
a
x
dx
a
x
x
...
x ...( R x R)
0
0
0 0 0 1
0 n
2
n 1
Получившийся степенной ряд имеет тот же радиус сходимости, что и данный.

13.

Свойство 3
Степенной ряд можно поэлементно дифференцировать в интервале
Сходимости S ' ( x) a1 2a 2 x ... na n x n 1 ...( R x R)
Далее S " ( x) 2a 2 3 2a3 x... n(n 1)a n x n 2 ...( R x R) и так далее.
Итак, степенной ряд в интервале его сходимости можно поэлементно
дифференцировать любое число раз, при этом радиусы сходимости
получающихся рядов остаются прежними.
Разложение функции в степенные ряды
Известно, что сумма степенного ряда в интервале сходимости этого ряда
является непрерывной и бесконечное число раз дифференцируемой.
Обратный вопрос?
Когда можно утверждать, что заданная функция f(x) является суммой
некоторого степенного ряда?
Из свойств степенных рядов следует, что эта функция должна быть
бесконечное число раз дифференцируема (но это условие не достаточное).
Остается вопрос установить, какие функции и в каких интервалах можно
представить в виде суммы степенных рядов.

14.

Важность такого разложения очевидна, так как, получаем возможность
приближенно заменить функцию суммой нескольких первых элементов
степенного ряда, то есть многочленом. Вычисление значений многочленов –
простейшие арифметические операции. Важно, что можно оценить точность
получаемых приближенных значений.
Замена функции таким простым выражением, как многочлен, оказывается
очень удобной в различных вопросах мат. анализа: при вычислении
интегралов, решении дифференциальных уравнений и т.д.
Итак, предположим, что функция f(x) бесконечное число раз
дифференцируема в окрестности некоторой точки x 0 . Допустим, что ее
можно представить в виде суммы степенного ряда, сходящегося в каком-то
интервале, содержащем точку x 0 .
f ( x) a0 a1 ( x x0 ) a2 ( x x0 ) 2 ... an ( x x0 ) n ...(*) , где a0 , a1 ,..., an - пока
неопределенные коэффициенты. Покажем, как пользуясь свойствами
степенных рядов можно найти эти коэффициенты по известным значениям
функции f(x) и ее производных в точке x 0 .

15.

Положим (*) x x0. Получаем f ( x0 ) a0 . Продифференцируем степенной
ряд f ' ( x) a1 2a 2 ( x x0 ) ... na n ( x x0 ) n 1 ... и снова положим x x0 .
Получим f ' ( x0 ) a1.
n 2
Последующее дифференцирование дает f ' ( x) 2a2 ... n(n 1)an ( x x0 ) ...
f " ( x0 )
При x x0 f " ( x0 ) 2a 2 , то есть a2
2!
Таким образом, находятся последовательно все коэффициенты разложения
(*). Подставляя найденные выражения в равенство
(*) получим ряд
( n)
f " ( x0 )
f ( x0 )
f ( x) f ( x0 ) f ' ( x0 )( x x0
( x x0 ) 2 ...
( x x0 ) n ...(**) Такой ряд
2!
n!
называется рядом Тейлора функции f(x).
Определение
Рядом Тейлора функции f(x) в окрестности точки называется степенной ряд
(**) относительно разности ( x x0 ) , коэффициенты которого выражаются
через функцию f(x) и ее производные в точке x 0 . Эти коэффициенты
называются коэффициентами Тейлора функции f(x) в точке x 0 .
Установили, что если функцию можно разложить в степенной ряд по
степеням разности ( x x0 ) , то этот ряд обязательно является рядом Тейлора
этой функции.

16.

Замечание
Все рассуждения сделаны в предположении, что функция f(x) может быть
разложена в степенной ряд. Если этого не предполагать, а просто считать
функцию f(x) бесконечное число раз дифференцируемой и составить для нее
ряд Тейлора, то ниоткуда не следует, что этот ряд сходится при значениях х,
отличных от x 0 .
Условие разложимости функций в ряд Тейлора.
Перейдем теперь к выяснению условий, при которых можно утверждать, что
ряд Тейлора, составленный для функции f(x)
( n)
f " ( x0 )
f
( x0 )
f ( x) f ( x0 ) f ' ( x0 )( x x0
( x x0 ) 2 ...
( x x0 ) n ...
2!
n!
действительно сходится в некотором интервале и что его сумма в точности
равна f(x).
Обозначения:
Tn (x) многочлен n-ой степени, представляющий n-ую частичную сумму ряда
f " ( x0 )
f ( n ) ( x0 )
2
( x x0 ) ...
( x x0 ) n
Тейлора Tn ( x) f ( x0 ) f ' ( x0 )( x x0
Rn ( x) f ( x) Tn ( x)
2!
n!

17.

Сходимость ряда Тейлора к функции f(x) в точке х означает, что lim n Tn ( x) f ( x)
или, что то же самое, lim n [ f ( x) Tn ( x)] lim n Rn ( x) 0
Величина Rn (x) дает при этом как раз ту ошибку, которую мы делаем, заменяя
функцию f(x) многочленом Tn (x) .
Для оценки величины остаточного члена, служит теорема, которую докажем
позднее.
Частный случай
Предположим, что функция f(x) сама есть многочлен n-ой степени. Тогда при
последовательном дифференцировании функции f(x) будем каждый раз
получать многочлен степени на единицу меньше. После n-го
дифференцирования получаем постоянную величину и все последующие
производные равны 0. Таким образом, от ряда Тейлора для многочлена f(x)
останутся только первые n+1 слагаемых, то есть опять-таки многочлен n-ой
степени. Полученное тождество
f " ( x0 )
f ( n ) ( x0 )
2
f ( x) f ( x0 ) f ' ( x0 )( x x0
( x x0 ) ...
( x x0 ) n
2!
n!
называется формулой Тейлора для многочлена.

18.

Пример
2
3
Разложить многочлен f ( x) 3 x x 2 x по степеням x-1.
Решение:
Здесь x0 1 ; f (1) 1; f ' (1) 5; f " (1) 10; f ' ' ' (1) 12
Таким образом f ( x) 3 x x 2 2 x 3 1 5( x 1) 5( x 1) 2 2( x 1) 3
Остаточный член ряда Тейлора. Формула Тейлора.
Пусть f(x) – функция, относительно которой хотим выяснить, допускает она
разложение в ряд Тейлора в окрестности некоторой точки или нет.
Запишем ее в следующем виде
f ( n ) ( x0 )
'
x x0 n Rn x (*) , где
f ( x) Tn ( x) Rn (n) f ( x0 ) f ( x0 )( x x0 ) ...
n!
Rn (x) - остаточный член ряда Тейлора.
Рассмотрим теорему относительно структуры , которая в дальнейшем
позволит устанавливать, стремится ли к нулю при неограниченном
возрастании n или нет, то есть можно ли представить функцию в виде ряда
Тейлора или нет.
Теорема

19.

Теорема
Если функция f(x) во всех точках некоторого интервала, содержащего точку
x 0, имеет (n+1) производную f ( n 1) ( x) , то остаточный член R (x) для любой
n
n 1
точки этого интервала имеет вид R ( x) f ( n 1) ( x x0 ) , где заключено
n
(n 1)!
между x и x 0 ( ( x0 , x))
В соответствии с такой записью Rn (x) формула (*) имеет вид
(n)
f
( x0 )
f ( n 1) (
'
x x0
f ( x) Tn ( x) Rn (n) f ( x0 ) f ( x0 )( x x0 ) ...
( x x0 ) n 1 (**)
n!
(n 1)!
В таком виде эту формулу называют формулой Тейлора n-го порядка для
функции f(x) в точке x 0 . Последний член в этой формуле отличается от
общего члена суммы только тем, что значение соответствующей производной
берется не в точке x 0 , а в некоторой точке , лежащей между точками x 0 и х.
Некоторые частные случаи этой формулы:
1) Пусть n=0, тогда f ( x) f ( x0 ) f ' ( )( x x0 ) . Это формула Лагранжа.
f " ( )
( x x0 ) 2 . Если в этой
2) Пусть n=1, тогда f ( x) f ( x0 ) f ' ( x0 )( x x0 )
2!
формуле отбросить остаточный член, то получим приближенное значение
функции, основанное на применении дифференциала. f ( x) f ( x0 ) f ' ( x0 )( x x0 )

20.

При этом f(x) заменяется линейной функцией.
Само по себе выражение для остаточного члена Rn (x) не дает возможности
вычислять его величину, так как неизвестна точка , в которой берется (n+1)
производная.
Поэтому в дальнейшем ограничимся оценкой величины Rn (x) .
Это делается на основании следующего замечания:
Пусть в интервале, в котором справедлива формула Тейлора, f ( n 1) ( x) по
абсолютной величине не превосходит числа M n 1 :
f ( n 1) ( x ) M n 1, тогда для любого х из этого интервала остаточный
n 1
x
x
0
член Rn ( x ) удовлетворяет неравенству R ( x) M
(***)
n
n 1
(n 1)!
Действительно, согласно доказанной теоремы
n 1
n 1
x
x
(
x
x
)
1
n 1
0
0
| Rn ( x) | | f ( n 1)
|
f ( n 1) ( ) x x0 M n 1
(n 1)!
(n 1)!
(n 1)!
Разложение функций в ряды Тейлора и Маклорена
Разложение заданной функции f(x) в ряд Тейлора в окрестности точки x 0
распадается на два этапа:

21.

1) Сначала вычисляются значения функции f(x) и ее производных в точке x 0
и составляется ряд Тейлора для функции f(x). При этом предполагается, что
функция f(x) бесконечное число раз дифференцируема.
2) Находится интервал, в котором составленный ряд Тейлора сходится к
функции f(x), то есть устанавливается для каких значений х остаточный член
ряда Rn (x) будет стремиться к нулю при n . При этом можно
воспользоваться следующей теоремой.
Теорема
Если в некотором интервале, окружающем точку x 0, абсолютные величины
всех производных функции f(x) ограничены одним и тем же числом, то
функция в этом интервале разлагается в ряд Тейлора.
Доказательство
Нужно установить, что для всех точек интервала Rn ( x) 0 при n
( n 1)
n 1
( x) M , где M –
По условию теоремы во всех точках интервала f
x x0
постоянная, не зависящая
от n. Тогда в силу неравенства (***) Rn ( x) M n 1
n
(n 1)!
x x0
Но отношение
0 при n , то есть радиус сходимости R
n!
x2
xn
(1 x
...
...)
2!
n!

22.

Следовательно, lim n Rn ( x) 0 для всех точек х, рассматриваемого
интервала, что и требовалось доказать.
Особенно часто используется разложение функции в ряд по степеням х.
f ( n ) (0) n
'
Полагая x0 0 получаем ряд f ( x) f (0) f (0) x ...
x Rn x
n!
Такой ряд называется рядом Маклорена.
Разложение в ряды элементарных функций
1) Показательная функция e x
x
e
Разложим эту функцию в ряд Маклорена. Все производные
функции
равны
x2 x3
xn
x
и обращаются в 1 при х=0. По формуле Тейлора e 1 x ... Rn ( x)
2! 3!
n!
Рассмотрим интервал [-N,N], где N – любое фиксированное число. Для всех
x
N
значений х из этого интервала e e M .
Следовательно, все производные в этом интервале ограничены одним и тем
же числом M e N и по доказанной теореме lim n Rn ( x) 0.
x
По предположению N – любое число, следовательно, функция e разлагается в
ряд Маклорена при2 всех3значениях
х, то есть на всей числовой оси.
n
x
x
x
Итак e x 1 x
...
...( , )(1)
2! 3!
n!

23.

1
1
1
В частности при х=1 находим ряд для числа е e 1 1 ... ...
2! 3!
n!
2) Тригонометрические функции sinx и cosx
Разложим в ряд Маклорена функцию sinx. Для этого последовательно
находим значения ее производных в точке х=0
f (0) (sin x) x 0 0
f ' (0) (cos x) x 0 1
f " (0) ( sin x) x 0 0
f ' ' ' (0) ( cos x) x 0 1
f "" (0) (sin x) x 0 0 и т. д.
Значения производных повторяются и образуют периодическую
последовательность 0,1,0,-1,0,1,0,-1,...
Любая производная функции sinx (то есть cos x, sin x) 1 следовательно ряд
функции sinx сходится к ней на всей числовой оси.
Итак
x3 x5
x 2 n 1
n 1
sin x x
... 1
...( , )( 2)
3! 5!
(2n 1)!
Аналогично для функции cosx
2n
x2 x4
n x
cos x 1
... 1
...( , )(3)
2! 4!
(2n)!

24.

3) Биноминальный ряд
Рассмотрим функцию f ( x) (1 x) m , где m – любое число. Разложим
функцию в ряд Маклорена.
f ' ( x) m(1 x) m 1
f " ( x) m(m 1)(1 x) m 2

f ( n) ( x) m(m 1)...(m n 1)(1 x) m n поэтому
f (0) 1; f ' (0) m; f " (0) m(m 1);... f ( n) (0) m(m 1)...(m n 1)
Следовательно, ряд запишется в виде:
(1 x) m 1 mx
m(m 1) 2
m(m 1)...( m n 1) n
x ...
x ... согласно признака
2!
n!
Даламбера ряд сходится, если |x|<1 и расходится, если |x}>1.
Исследуем Rn (x) , ограничившись случаем, когда 0<x<1. В этом интервале
1
m n 1
для всех n>m-1 имеем 1 x
1 и поэтому
n ( m 1)
(1 x)
f
(n)
( x) m(m 1)...( m n)(1 x) m n 1 m(m 1)...( m n)
Воспользуемся неравенством (***) Rn ( x)
m(m 1)...( m n) n 1
x
(n 1)!

25.

Правая часть неравенства есть абсолютная величина (n+1)-го члена
степенного ряда, сходящегося при |x|<1. Следовательно, lim n Rn ( x) 0 .
Соответствующее доказательство для интервала (-1,0) более сложное и оно не
приводится.
Таким образом, биноминальный ряд представляет функцию f ( x) (1 x) m
m(m 1) 2
m(m 1)...( m n 1) n
x ...
x ...
в интервале (-1,1) (1 x) m 1 mx
2!
n!
Если m – целое положительное число, то ряд справа содержит всего (m+1)
слагаемых и превращается в форму бинома Ньютона. Заметим, что ряд
m
сходится к функции f ( x) (1 x) во всем замкнутом интервале [-1,1].
Приведем биноминальные ряды, соответствующие значениям m=-1, m=1/2,
m=-1/2.
1
1 x x 2 x 3 ... ( 1) n x n ...( 1 x 1) (это геометрическая прогрессия)
1 x
1
1 2
1 3 3
1 3 5...(2n 3) n
1 x 1 x
x
x ... ( 1) n 1
x ...( 1 x 1)
2
2 4
2 4 6
2 4 6...2n
1
1
1 3 2 1 3 5 3
1 3 5...(2n 1) n
1 x
x
x ... ( 1) n
x ...( 1 x 1)
2
2 4
2 4 6
2 4 6...2n
1 x

26.

Замечание
Разложение отдельных функций в ряды могут быть получены из уже
известных разложений с помощью свойств степенных рядов.
4) Функции ln(1+x) и arctgx
Для разложения в ряд Маклорена функции f(x)=ln(1+x) воспользуемся
формулой для суммы геометрической прогрессии 1 1 x x 2 x 3 ... ( 1) n x n ...( 1 x 1)
1 x
Применим теорему об интегрировании
степенных рядов и проинтегрируем
x
dx
ln( 1 x) 0x ln( 1 x) то интегрируя
ряд в пределах от 0 до х. Поскольку
0
1 x
n
x2 x3
n 1 x
...( 1,1)(5)
поэлементно ряд, получим ln( 1 x) x ... ( 1)
2 3
n
Совершенно аналогично получается разложение функции arctg x в ряд
Маклорена. Для этого, заменим в формуле для суммы элементов
геометрической прогрессии x на x 2.
1
2
4
6
n 2n
1
x
x
x
...
(
1
)
x ...( 1 x 1)
Получим
2
1 x
Проинтегрируем ряд в пределах от 0 до х. Считая, что |x|<1 получаем
2 n 1
x3
n 1 x
arctg ( x) x
... ( 1)
...( 1,1)(6)
3
2n 1

27.

Замечание
Разложения (1)-(6) могут быть использованы для разложения в ряды других
функций.
Примеры:
1) Разложим в ряд Маклорена гиперболические функции chx и shx
x
x
e
e
Для ряда (1) заменим
на
получим
2
3
n
e x 1 x
x
x
x
... ( 1) n
...( x )
2! 3!
n!
Далее, по правилу сложения и вычитания рядов находим искомое разложение
e x e x
x2 x4
x 2n
chx
1
...
...
2
2! 4!
(2n)!
e x e x
x3 x5
x 2 n 1
shx
x
...
...
2
3! 5!
(2n 1)!
x2
2) Разложим в ряд Маклорена функцию f ( x) e
x
x
x2
e
e
Возьмем разложение функции
и вместо , подставим f ( x) e
4
6
2n
2
x
x
x
x
2
n
получим e 1 x ... ( 1)
...( x )
2! 3!
n!
3) Разложим в ряд Маклорена функцию f ( x)
x3
1 x2

28.

1
Воспользуемся разложением биноминального ряда, где m=-1/2 и, для
1 x
2
заменим x на x , получим
1
1
1 3 4
1 x2
x ... (*) Умножим обе части на x 3
2
2
2 4
1 x
x3
1 x2
x3
1 5 1 3 7
x
x ...
2
2 4
4) Разложим
в ряд Маклорена функцию f ( x) arcsin x .
x
dx
arcsin x 0x arcsin x , то разложение arcsinx получается
Так как
1 x2
0
интегрированием ряда (*)
1 x 3 1 3 x 5 1 3 5 x 7
arcsin x x
...[ 1,1]
2 3 2 4 5 2 4 6 7
5)Разложим в ряд Маклорена функцию f ( x) e x sin x
Так как ряды для e x и sinx сходятся абсолютно, то, перемножая их по
правилу, рассмотренному ранее получим искомое разложение
x3 x5
x
2
e sin x x x
... (первые коэффициенты, так как закон
3
подметить трудно).
30

29.

Некоторые применения рядов Тейлора
1. Приближенное вычисление значений функции
Допустим, что нам известны значения самой функции f(x) и ее
последовательных производных в некоторой точке x 0 и f(x) в окрестности
этой точки разлагается в ряд Тейлора. Тогда точное значение функции f(x) в
любой точке этой окрестности может быть вычислено по ряду Тейлора,
приближенное ее значение по частичной сумме этого ряда.
Возникающую при этом ошибку можно оценивать либо опираясь на теорему
об оценке остаточного члена, либо непосредственно оценивая остаток ряда.
Если, например, получающийся числовой ряд знакочередующийся, то это
делается при помощи теоремы Лейбница; в случае знакоположительного ряда
стараются подобрать другой ряд (обычно геометрическую прогрессию),
элементы
которого больше элементов остатка и, сумму которых мы можем найти.
На практике оценка остатка ряда оказывается более удобной, так как оценка
остаточного члена предполагает знание производной нужного нам порядка во
всем рассматриваемом интервале. Часто можно получить разложение
функций в ряды, вообще не отыскивая производных, а комбинируя известные
нам ряды.

30.

Рассмотрим примеры 2
n
x
x
1) Имеем e x 1 x
...
2!
n!
Производя вычисления по этой формуле в интервале [0,M], где М – любое
число и учитывая, что f ( n 1) ( x) e x e M по теореме об оценке остаточного
n 1
x
M
члена получим Rn ( x) e
(n 1)!
Оценка неудобна тем, что сюда входит величина e M . Кроме того, она может
оказаться слишком завышенной,n 1так как установлена
для всего интервала.
x
x n 1
3
При М=1 получим Rn ( x) e
(n 1)!
(n 1)!
Подсчитаем, например, сколько нужно взять элементов ряда, чтобы получить
число е с точностью до 0,00001.
3
5
Здесь x=1 и должно быть (n 1)! 10 Неравенство справедливо при n=8
3
3
10 5 Чтобы получить число е с этой точностью надо в сумме
9! 362880
1 1
1
e 1 1 ... 2,71828 все слагаемые брать с точностью 0,00001 во
2! 3!
8!
избежание накопления ошибок при арифметических действиях. В результате
нашли число е с шестью верными знаками.

31.

Покажем теперь, как можно оценивать ошибку Rn (1) пользуясь всем рядом
x
для e .
Rn (1)
1
1
1
1
1
1
1
1
...
[1
...]
1
...
(n 1)! (n 2)!
(n 1)! n 2 (n 2)(n 3)
(n 1)! n 1 (n 1) 2
1
(n 1)!
1
1
1
n 1
1
n!n
1
Итак мы получили оценку ошибки n! n , то есть почти в три раза более
3
точную, чем найденную выше
.
(n 1)!
2) Вычислить значение функций sinx и cosx при помощи их разложений в
ряды.
Приближенные формулы отличаются здесь очень высокой точностью, а
ошибка легко оценивается с помощью теоремы Лейбница.
Положим в разложении функции sinx последовательно n=1,2,3. Считая
х>0 получим
x3
x3
x5
sin x x, R1 ( x)
, (1) ; sin x x , R3 ( x)
, (2)
6
6
120
x3 x5
x7
sin x x
, R5 ( x)
, (3)
6 120
5040

32.

(1) и (3) дают значение функции с избытком, а (2) - с недостатком.
Замечание
Для получения значений sinx с точностью 0,00001 следует пользоваться
(1) в интервале (0<x<0,08)
(2) в интервале (0,08<x<0,4)
(3) в интервале (0,4<x<0,9)
На следующем рисунке
представлены
графики функций
3
3
3
y sin x, y x, y x
x
x
x
,y x
6
6 120
Аналогично получаем приближенные формулы для cosx
2
4
x2
x
x
cos x 1, R0 ( x)
, (1) ; cos x 1
, R2 ( x )
, (2)
2
x2 x4
x6
cos x 1
, R4 ( x )
, (3)
2 24
720
2
24
(1) и (3) дают значение функции с избытком, а (2) - с недостатком.
На следующем рисунке представлены графики функций
x2
x2 x4
y cos x, y 1, y 1 , y 1
2
2 24

33.

1. Интегрирование функций
x
Допустим, что нужно найти интеграл F ( x) f ( x)dx , причем известно
a
разложение функции f(x) в ряд Тейлора, а пределы интегрирования лежат
внутри интервала сходимости ряда. Тогда можно интегрировать ряд
поэлементно. В результате получаем ряд Тейлора для функции F(x), имеющей
тот жеx радиус сходимости, что и ряд для f(x).
Если f ( x)dxвыражается через элементарную функцию F(x), то тем самым
a
находимxее разложение в ряд Тейлора.
Если же f ( x)dx в элементарных функциях не выражается, то найденный
a
ряд может служить выражением неэлементарной функции F(x) через самые
простые элементарные функции – степенные, но уже бесконечным
выражением.
Замечание Зная оценку остаточного члена ряда для f(x) можно на основании
теоремы об оценке интеграла можно оценить и остаточный член ряда для
интеграла F(x).
Примеры:

34.

Примеры:
x
sin x
dx
1) Пусть дан интеграл
x
0
Раскладывая sinx в ряд и деля на x, получаем
sin x
x2
x4
1
... интервал сходимости , .
x
3!
5!
x
sin x
x3
x5
Интегрируем x dx x 3! 3 5! 5 ...
0
Этот ряд не сходится ни к одной элементарной функции; он является
аналитическим заданием новой функции, посредством бесконечного числа
операций.
x
sin x
Si
(
x
)
Функция
0 x dx (интегральный синус) встречается в теоретической
физике. С помощью приведенного ряда составлены подробные таблицы.
2) При изучении
теории вероятностей важную роль играет функция
x
x
1
2
Ф( х )
e
dx функция Лапласа или интеграл вероятностей. Этот
2 0
интеграл не выражается в элементарных
функциях.
x2
2
x
Раскладываем функцию e 2 , заменяя x на . Получаем разложение
2
e
x2
2
1
2
4
6
x
x
x
2
3
...
2 2 2! 2 3!
2

35.

тогда для функции
1
x3
x5
x7
x
Ф( х)
...
2
3
3
2
5
2
2
!
7
2
3
!
2
0,5
, Интеграл сходится быстро при
|x|<1.
dx
3) Вычислить интеграл 1 x 4 В общем случае неопределенный интеграл
0
выражается в элементарных функциях. Однако это выражение очень сложно
и неудобно для вычислений.
dx
1
x2 x 2 1
2
x 2
ln
arctg
c
1 x4 4 2 x2 x 2 1 4
1 x2
В то же время, разложив подынтегральную функцию в ряд
5
0,5
1
dx
1
1
1 1 1
1 x 4 x 8 x12 ... получаем
...
1 x4
1 x
0
4
2 2 5 2 9
Если ограничиться двумя первыми элементами ряда
9
1
(при этом ошибка не превосходит 1 0,0002) ,
0,5
2 9
dx
то
0 1 x 4 0.4938
English     Русский Rules