Хотя при почленном дифференцировании степенного ряда радиус его сходимости и не уменьшается, но в пределах области сходимости получившийся ряд сходится медленнее, чем исходный.
Пример 1. Рассмотрим ряд
С |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
1 |
|
|
1 x2 x4 |
x6 |
x8 1 n x2n |
|
, |
(2.24) |
|||||||||||
|
|
|
|
|
1 x2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
областью сходимости которого является промежуток 1;1 . Интегри- |
||||||||||||||||||||||||||
руя ряд (2.24) на отрезке 0;x , |
x 1;1 , получаем |
|
|
|
|
|
||||||||||||||||||||
или |
x |
|
|
|
|
|
x |
|
|
|
|
|
||||||||||||||
x |
|
dx |
|
|
x |
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
2 |
|
dx x2 |
dx x4 dx 1 n x2n dx [12], |
|
|||||||||||||||||
01 x |
|
|
0 |
|
0 |
|
|
|
0 |
|
|
|
|
|
0 |
|
|
|
|
|
|
|||||
|
|
|
образом |
|
|
|
|
|
|
|||||||||||||||||
|
|
arctgx |
x x3 |
x5 |
|
1 n x2n 1 |
. |
|
|
|
(2.25) |
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
3 |
5 |
|
|
|
|
2n 1 |
|
|
|
|
|
|
|
|||
Так м |
|
|
|
|
|
получим разложение функции в степенной ряд в |
||||||||||||||||||||
промежутке 1;1 . Отсюда, например, при x 2 получаем |
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
arctg2 2 |
|
23 |
|
|
25 |
|
|
1 n 2 |
2n 1 |
|
|
|
. |
|
|||||
|
|
|
|
|
|
|
3 |
|
|
5 |
|
|
|
2n 1 |
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
Пример 2. Дифференцируя почленно равенство (2.24), получим |
||||||||||||||||||||||||||
|
|
|
|
|
|
|
2x |
|
|
2x 4x3 |
6x5 1 n 2nx2n 1 |
, |
|
|||||||||||||
|
|
1 x2 2 |
|
|||||||||||||||||||||||
|
|
|
|
А |
|
|
|
|
|
|||||||||||||||||
или |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
И |
|||||||
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
1 2x 4x3 |
6x5 |
1 n 1nx |
2n 2 |
|
. |
|
|||||||||||||
|
|
1 x2 2 |
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
Д |
|
||||||||||||||||
71
Задачи для решения в аудитории
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
1 |
|
|
|
|
|
|
|
||||||||
|
|
|
Задача 1. Исходя из соотношения xndx |
|
, найти сумму |
||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||
ряда: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
n 1 |
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
С |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
а) 1 |
1 |
|
1 n 1 |
; б) 1 |
1 |
|
1 n 1 |
. |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||
|
|
|
4 |
|
|
|
|
|
|
|
3n 2 |
|
|
|
|
5 |
|
|
|
|
|
4n 3 |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
Задача 2. Найти сумму ряда |
|
|
|
4n 3 |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||
Найти5 9 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
х3 |
|
|
|
х |
7 |
|
|
|
|
|
|
|
x4n 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3 |
7 |
|
|
|
|
|
|
|
4n 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
Задача 3. |
|
|
|
|
сумму ряда |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
бА |
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
х |
х5 |
|
х9 |
|
|
|
|
x4n 3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
Задача 4. Найти сумму ряда |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
х2 |
|
|
х3 |
|
|
|
х4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
n 1 |
xn 1 |
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
1 2 |
|
2 3 |
|
|
3 4 |
1 |
n n 1 . |
|
|
|
|
||||||||||||||||||||||||||||||
|
|
|
Задача 5. Функция определяется равенством |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Д |
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f x 1 2 3х |
n3n 1xn 1 . |
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
Показать, что функция f x непрерывна в интервале |
1 |
x |
1 |
. Вы- |
|||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3 |
|
|
|
|
3 |
|
|
|
|
|
0,125 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
И |
||||||||||||||||||
числить |
f x . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Ответы |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
1 |
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
1 |
|
|
1 х |
|
1 |
|
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||
|
|
|
1. а) |
|
|
|
ln2 |
|
|
|
|
, б) |
|
|
|
|
|
|
|
|
|
ln1 |
|
|
|
2 |
|
; 2. |
|
|
|
ln |
|
|
|
|
|
|
arctgx; |
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
4 |
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
|
|
|
3 |
|
|
3 |
|
|
|
2 2 |
|
|
|
|
|
|
|
|
2 |
|
1 х 2 |
|
|||||||||||||||||||||||||||||||
3. |
1 |
ln |
1 х |
|
1 |
arctgx ; 4. |
1 х ln 1 х x; 5. 0,2. |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||
4 |
1 х |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
72
умма всякого сходящегося степенного ряда является некоторой функцией, определенной внутри круга сходимости этого ряда (а
также, быть может, еще и в некоторых точках его границы).
СВо-вторых, можно по заданной функции искать сходящийся ряд того или ного т па, сумма которого в области сходимости равнялась бы заданной функц . Эта задача называется разложением функции в
В связи с этим возникают две задачи.
Во-первых, можно по заданному ряду искать ту функцию, кото-
рой равна его сумма в области сходимости ряда. Эта задача называется сумм рован ем сходящегося ряда.
ряд.
ейчас мы займемся вопросами разложения функций в степен-
ные ряды. В дальнейшем |
удут рассматриваться также разложения |
|||||||||||||||||||||||||||
функц й в |
|
|
|
|
|
|
|
|
|
|
|
|
ряды. Наряду со степенными рядами |
|||||||||||||||
гонометрические |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
относительно переменной х, т. е. рядами вида |
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
удобно |
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
А |
|
(2.26) |
|||||||||||||||||
|
|
|
|
|
|
|
|
|
a |
0 |
a x a |
2 |
x2 a |
n |
xn |
, |
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|||||
нам будет |
|
|
|
рассматривать также ряды, степенные относительно |
||||||||||||||||||||||||
переменной x х0 , ряды вида |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
a |
|
a x х |
|
a |
|
|
|
x х |
|
2 |
a |
|
x х |
|
n . (2.27) |
||||||||
|
|
|
|
|
|
0 |
1 |
|
|
|
0 |
|
2 |
|
Д |
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
n |
|
0 |
|
|||||||
|
|
Ясно, что подстановкой у x х0 |
второй из этих рядов превра- |
|||||||||||||||||||||||||
щается в первый. Поэтому если круг сходимости первого ряда состо- |
||||||||||||||||||||||||||||
ит из всех точек, для которых |
|
|
|
х |
R, то по тем же самым причинам |
|||||||||||||||||||||||
круг сходимости второго ряда состоит из всех тех точек у, для кото- |
||||||||||||||||||||||||||||
рых |
|
y |
|
R т. е. |
|
х x0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
И |
||||||||
|
|
|
R. Иными словами, на прямой, на которой |
|||||||||||||||||||||||||
изображается независимая переменная х, интервал сходимости ряда (2.27) имеет тот же радиус R, что и круг сходимости ряда (2.26), а центр его расположен в точке х0.
Таким образом, интервал сходимости ряда (2.27) получается путем сдвига интервала сходимости ряда (2.26) на х0 вправо (очевидно, если х0 <0, то фактически происходит сдвиг влево).
1. Коэффициенты Тейлора. Ряд Тейлора
Предположим, что функция раскладывается в степенной ряд в интервале х x0 R:
73
|
f x a |
0 |
a x x |
0 |
a |
2 |
x x |
2 a |
n |
x x |
n . |
(2.28) |
||||||||||||||||||||
|
|
1 |
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|||||||
|
Найдем коэффициенты ряда (2.28), выразив их через значения |
|||||||||||||||||||||||||||||||
функции f x и ее производных в точке |
|
x0. Для этого, полагая в |
||||||||||||||||||||||||||||||
(2.28) x x0, получим |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
С |
|
|
|
|
|
|
|
f x0 |
a0. |
|
|
|
|
|
|
|
|
|
|
|
|
|
(2.29) |
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
По теореме о д фференцируемости степенных рядов из (2.28) |
|||||||||||||||||||||||||||||||
наход м |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
и |
|
|
|
|
|
|
2 |
|
|
2 |
|
|
|
|
|
|
n 1 |
|
|
|
|
|||||||||||
|
|
|
|
3a3 x x0 |
|
nan (x x0) |
|
|
|
. |
(2.30) |
|||||||||||||||||||||
f x a1 2a2 x x0 |
|
|
|
|
||||||||||||||||||||||||||||
|
Полагая в (2.30) x x0, получим |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
f |
x0 |
a1. |
|
|
|
|
|
|
|
|
|
|
|
|
|
(2.31) |
||||||||
|
бА |
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
Д фференц руя о е части (2.30), находим |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
x 2 1a2 3 2a3 x x0 4 3a4 x x0 |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
f |
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
n n 1 an x x0 n 2 |
. |
(2.32) |
||||||||||||||||||
|
Полагая в (2.32) x x0, получим |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
f x0 |
2 1a2. |
|
|
|
|
|
|
|
|
|
|
|
|
|
(2.33) |
|||||||||||
|
Продолжая |
дифференцировать полученный ряд и подставляя |
||||||||||||||||||||||||||||||
x x0, будем иметь |
|
|
|
|
|
|
|
Д |
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
f x0 3 2 1a3, |
|
|
f IV x0 4 3 2 1a4, |
|
|
|
, |
|
|
|
|
||||||||||||||||||||
|
f n x0 n n 1 n 2 3 2 1an , |
|
, |
|
|
|
|
|
|
|||||||||||||||||||||||
или |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f n x0 n!an , n 0, 1, 2, , |
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
где полагаем f 0 x0 f x0 . |
Из полученных формул и определим |
|||||||||||||||||||||||||||||||
коэффициенты ряда (2.28): |
|
f x |
|
|
|
|
|
f x |
|
|
|
|
|
|
n |
x |
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f |
|
|||||||||||||||
|
a0 f x0 , |
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
0И0 |
|||||||||||||||
|
a1 |
|
|
|
|
|
|
, a2 |
|
|
|
|
|
, |
|
,an |
|
|
|
|
|
. (2.34) |
||||||||||
|
1! |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2! |
|
|
|
|
|
|
|
|
n! |
|
||||||||
|
Определение 1. Числа |
f |
n x |
0 |
|
|
|
|
|
|
|
|
называются коэф- |
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
, |
n 0 |
, 1, 2, |
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
n!
фициентами Тейлора функции f x в точке x0.
74
Подставим значения an |
из (2.34) в (2.28), получим |
|||||||||||||||||||
f x f x0 |
f x0 |
x x0 |
f x0 |
|
|
x x0 2 |
||||||||||||||
1! |
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
2! |
|
|
|
f n x |
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
x x0 n . (2.35) |
|||||
Определение 2. Ряд |
|
|
|
|
|
|
n! |
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
f x0 |
f x0 |
x x0 |
f x0 |
x x0 2 |
|
|
||||||||||||||
|
|
|
|
|||||||||||||||||
1! |
|
|
|
|
|
|
2! |
|
|
|
|
|
|
|
|
|
|
|
|
|
Если |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
С |
|
|
|
|
|
|
|
|
|
|
f n x0 |
|
x x0 n . (2.36) |
|||||||
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n! |
|
|
|
|
|
бА |
||||||||||||||||||||
называется рядом Тейлора функции f x |
в точке x0. |
|||||||||||||||||||
Из пр веденных выше рассуждений следует. |
||||||||||||||||||||
Теорема 1. |
функция |
f x разлагается в степенной ряд |
||||||||||||||||||
(2.28), то это разложение единственно и совпадает с разложением |
||||||||||||||||||||
функц f x в ряд Тейлора функции в точке x0 |
0. |
|||||||||||||||||||
Если в (2.36) полагать |
x0 0, то получим ряд Маклорена для |
|||||||||||||||||||
функции f x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
f x f 0 |
f 0 |
x |
f 0 x2 |
|
f |
n 0 |
xn , (2.37) |
|||||||||||||
|
|
|
|
|||||||||||||||||
|
|
|
1! |
|
Д |
|||||||||||||||
|
|
|
|
|
2! |
|
|
|
|
|
|
|
n! |
|||||||
который является частным случаем ряда Тейлора.
Из приведенных выше рассуждений следует, что если функция
f x имеет в точке x0 |
производные любого порядка, то для нее мож- |
|
|
|
И |
но составить ряд Тейлора или (при x0 0) ряд Маклорена (2.35). |
||
Определение 3. Функция |
f x называется порождающей для |
|
соответствующего ряда. |
|
|
2. Многочлены Тейлора. Формула Тейлора |
||
Определение 4. |
Частичные суммы Sn x ряда Тейлора (2.35) |
|
обозначаются через |
Tn x и |
называются многочленами Тейлора |
функции f x в точке x0.
Тогда ряд Тейлора функции f x можно представить в виде
75