
Числовые ряды
..pdf
Теорема 4 (О почленном дифференцировании рядов)
∞
Пусть ряд ∑un (x) сходится на [a;b], имеет сумму S (x),
n=1
∞
т.е. ∑un (x)= S (x), и пусть его члены имеют на этом
n=1
промежутке непрерывные производные, причём составленный из
этих |
производных |
ряд |
|
∞ |
сходится на [a;b] |
u1′(x)+u2′(x)+…+un′(x)+…= ∑un′(x) |
n=1
∞
равномерно и имеет сумму σ (x), т.е. ∑un′(x)=σ (x).
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∞ |
|
|
|
|
|
|
|
|
|
[a;b] |
|
|
|
|
|
|
|
Тогда |
ряд |
∑un (x) |
сходится |
на |
равномерно, и |
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
n=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∞ |
|
производная |
его |
суммы |
равна |
сумме |
ряда |
∑un′(x) |
||||||||||||||||||
|
S′(x)=σ (x). |
|
|
|
|
|
|
|
|
|
|
|
|
|
n=1 |
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
Пример 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
∞ |
x |
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
Показать, |
что |
ряд |
∑ |
|
|
|
|
равномерно |
сходится |
при |
|||||||||||
|
|
|
|
n |
||||||||||||||||||||
|
x [−1;1]. |
|
|
|
|
n=1 |
n |
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
Решение |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
Так |
как при любом |
x [−1;1]выполняется неравенство |
|||||||||||||||||||
|
|
x |
n |
|
|
1 |
|
|
|
|
∞ |
|
1 |
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
≤ |
|
, |
а |
ряд |
∑ |
|
|
|
|
сходится |
(обобщённый |
||||||||
|
|
n |
n |
|
3 |
|
|
3 |
|
|
|
|||||||||||||
|
|
|
|
n |
2 |
|
|
|
n=1 |
n |
2 |
|
|
|
|
|
|
|
|
|||||
гармонический |
ряд |
при |
p = |
3 |
>1), |
то |
исходный |
ряд, |
по |
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
теореме 1, сходится равномерно.
51
Пример 2
|
Исследовать |
непрерывность |
суммы сходящегося |
ряда |
|||||||
∞ |
|
|
1 |
|
|
|
|
|
|
|
|
∑ |
|
|
|
|
. |
|
|
|
|
|
|
n |
4 |
2 |
x |
2 |
|
|
|
|
|
||
n=1 |
|
+n |
|
|
|
|
|
|
|
||
Решение |
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
1 |
|
|
|
|
Каждый |
член |
данного ряда |
un (x)= |
|
|
есть |
||||
|
n4 + x2 n2 |
непрерывная для любого x (−∞; +∞) функция. По теореме 1,
|
|
∞ |
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
1 |
|
||||||
ряд ∑ |
|
|
|
|
|
|
|
сходится равномерно, |
т.к. |
|
|
|
|
|
|
≤ |
, а |
||||||||||||
|
|
|
4 |
2 |
n |
2 |
|
n |
4 |
2 |
n |
2 |
4 |
||||||||||||||||
|
|
n=1 n |
|
+ x |
|
|
|
|
|
|
|
+ x |
|
|
n |
||||||||||||||
|
|
|
∞ |
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
ряд |
|
∑ |
|
|
сходится. Тогда по теореме 2, |
сумма |
S (x) |
ряда |
|||||||||||||||||||||
|
4 |
|
|||||||||||||||||||||||||||
|
|
n=1 |
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
∞ |
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
∑ |
|
|
|
|
|
|
|
|
есть непрерывная для любого x R функция. |
||||||||||||||||||||
n |
4 |
|
|
2 |
n |
2 |
|
||||||||||||||||||||||
n=1 |
|
+ x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
Пример 3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∞ |
|
|
|
|
1 |
|
|
|
|
|
|
|
|
Можно ли почленно интегрировать ряд ∑ |
|
|
|
? |
|
|
|
|
||||||||||||||||||||
|
n |
2 |
+ x |
2 |
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n=1 |
|
|
|
|
|
|
|
|
||||
Решение |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
Каждый член данного ряда u |
n |
(x)= |
1 |
|
|
|
|
есть функция, |
||||||||||||||||||||
|
n2 + x2 |
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
непрерывная для любого x R . По теореме 1 этот ряд сходится
равномерно на всей действительной оси, т.к. |
|
1 |
≤ |
1 |
, а ряд |
|||||||
n2 |
+ x2 |
|
||||||||||
|
|
|
|
|
|
|
|
n2 |
|
|||
∞ |
1 |
|
|
|
|
|
|
|
|
|
|
|
∑ |
|
сходится. |
Поэтому, согласно |
теореме |
3, |
данный |
ряд |
|||||
2 |
|
|||||||||||
n=1 |
n |
|
|
|
|
|
|
|
|
|
|
|
можно |
почленно |
интегрировать |
по любому |
промежутку |
||||||||
[α; y] R . |
Полагая, в частности |
α = 0 и |
интегрируя |
по |
||||||||
промежутку |
[0; y], получим |
|
|
|
|
|
|
|
52
y |
∞ |
|
|
1 |
∞ y |
|
|
|
|
1 |
|
|
|
|
|
∞ |
1 |
|
|
|
|
|
x |
|
y |
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
∫ |
∑ |
|
|
|
|
dx = ∑ |
|
|
|
|
|
|
|
|
dx = ∑ |
|
arctg |
|
|
|
|
|
= |
|||||||||||
n |
2 |
+ x |
2 |
|
|
|
2 |
+ x |
2 |
n |
|
|
n |
|
||||||||||||||||||||
|
= |
|
|
|
= ∫n |
|
|
|
|
|
= |
|
|
|
|
|
|
|
|
|
||||||||||||||
0 |
n 1 |
|
|
|
|
|
n 1 0 |
1 |
|
|
|
|
|
|
y |
|
n 1 |
|
|
|
|
|
|
|
|
|
0 |
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
= ∑ |
arctg |
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
n=1 |
n |
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
Пример 4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∞ |
|
sin nx |
|
||||||||
Можно ли почленно дифференцировать ряд ∑ |
? |
|||||||||||||||||||||||||||||||||
3 |
|
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n=1 |
|
|
n |
|
|
|
|||||
Решение |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Каждый |
член |
данного ряда |
u |
n |
(x) |
= sin nx |
есть |
|
функция, |
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n3 |
|
|
|
|
|
|
|
|
= cos nx . |
|||||
дифференцируемая для любого |
x R , |
причём u |
′(x) |
|||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
n2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Составим |
ряд |
из |
|
производных |
∑cos2nx . |
Этот |
|
ряд |
|
сходится |
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
n=1 |
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
равномерно по теореме Вейерштрасса, т.к. |
|
cos nx |
|
≤ |
1 |
|
|
|
и члены |
|||||||||||||||||||||||||
|
|
|
|
|
||||||||||||||||||||||||||||||
|
|
n2 |
|
|
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n2 |
|
|
|
|
|
|
его un′ (x)= cosn2nx непрерывные функции. Поэтому по теореме 4
|
|
|
|
∞ |
|
nx |
|
|
|
|
|
|
|
|
|
исходный |
ряд |
∑ |
sin |
|
|
можно |
почленно дифференцировать, |
||||||||
|
3 |
|
|||||||||||||
|
|
|
|
n=1 |
n |
|
|
|
|
|
|
|
|
|
|
|
∞ |
sin nx ′ |
|
∞ |
sin nx ′ |
∞ |
cos nx |
||||||||
причём ∑ |
n |
3 |
|
= ∑ |
n |
3 |
|
= ∑ |
n |
2 . |
|||||
n=1 |
|
|
|
n=1 |
|
|
x |
n=1 |
|
8.2.3. Степенной ряд и его свойства
Важнейшим классом функциональных рядов являются степенные ряды.
Определение
Степенным рядом называется функциональный ряд вида
53
∞
a0 +a1 (x −a)+a2 (x −a)2 +…+an (x −a)n +…= ∑an (x −a)n ,
n=0
где {an }∞n=0 последовательность действительных чисел.
ЗАМЕЧАНИЕ 1
∞
Степенной ряд ∑an (x −a)n называют ещё рядом по степеням
n=0
(x −a).
Рассмотрим вопрос о структуре области сходимости степенного ряда.
1) Всякий степенной ряд сходится при x = a , т.к. тогда a0 +a1 (x −a)+a2 (x −a)2 +…+an (x −a)n +…= a0 .
2) Существуют степенные ряды, которые сходятся только при
∞
x = a . Например, ряд ∑(x n)n сходится только при x = 0 .
n=1
Действительно, пусть x0 ≠ 0 - любое число, тогда при n → ∞
величина x0 n , начиная |
|
с |
|
некоторого номера n |
удовлетворяет неравенству: |
|
n x0 |
|
> 2 , то есть общий член |
|
|
ряда к нулю не стремится и в силу необходимого признака ряд при x0 ≠ 0 расходится.
3) Существуют степенные ряды, сходящиеся при любом значении x R . В качестве примера рассмотрим ряд
|
|
∞ |
x n |
|
|
|
|
|
|
|
|
||||
∑ |
|
. |
Зафиксируем |
произвольное x = x0 , |
где |
x0 R . |
|||||||||
|
|||||||||||||||
|
n=1 |
n |
|
|
|
|
|
|
|
|
|||||
Очевидно, |
что найдётся такое |
N , |
что для любого |
n > N |
|||||||||||
|
|
x |
|
|
|
1 |
|
|
|
∞ x |
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
0 |
|
< |
|
|
, |
а тогда ряд |
∑ |
0 |
|
можно |
сравнить со |
||
n |
2 |
|
n |
||||||||||||
|
|
|
|
|
|
|
|
n=1 |
|
|
|
|
54

∞ |
1 |
|
|
сходящимся рядом ∑ |
и убедиться, что исходный ряд |
||
n |
|||
n=1 |
2 |
|
сходится абсолютно при любом значении x .
4)Существуют степенные ряды сходящиеся при одних значениях x и расходящиеся при других.
Вопрос о структуре области сходимости степенного ряда решает следующая теорема.
Теорема (Теорема Абеля)
∞
Для каждого степенного ряда ∑an (x −a)n существует такое
n=0
|
|
|
|
|
|
|
|
|
|
|
∞ |
|
неотрицательное число r ≥ 0 , что ряд ∑an (x −a)n |
сходится, и |
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
n=0 |
|
притом |
абсолютно, при |
|
x −a |
|
< r |
x (a −r; a +r ) и |
||||||
|
|
|||||||||||
расходится |
при |
|
x −a |
|
> r |
|
x (−∞; a −r ) (a +r; +∞). |
|||||
|
|
|
||||||||||
Число |
r |
называется радиусом |
сходимости, а |
открытый |
||||||||
промежуток (a −r; a +r ) интервалом сходимости. |
|
ЗАМЕЧАНИЕ 2
Относительно поведения степенного ряда на границах
промежутка сходимости, т.е. при |
x = a +r и |
x = a −r общих |
|
∞ |
∞ |
утверждений высказать нельзя. |
Ряды ∑anrn |
и ∑an (−r )n |
|
n=0 |
n=0 |
могут сходиться или расходиться в зависимости от их конкретного вида.
Поэтому, принят следующий порядок отыскания области сходимости степенного ряда:
1)При помощи признаков Даламбера или Коши отыскивают промежуток сходимости степенного ряда, решая
относительно |
x |
неравенства: lim |
|
un+1 |
(x) |
|
<1 или |
|
|
||||||
|
un (x) |
|
|||||
|
|
n→∞ |
|
|
|
lim n un (x) <1 .
n→∞
55

2)Исследуют сходимость ряда на концах промежутка сходимости, т.е. при x = a +r и x = a −r .
Примеры
1). Найти область сходимости степенного ряда ∑∞ xn .
n=0 n!
|
|
|
|
lim |
|
u |
n+1 |
|
|
= lim |
|
xn+1 n! |
|
|
|
|
= lim |
xn |
x n! |
|
|
= |
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
un |
|
|
(n +1)! xn |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
n→∞ |
|
|
|
|
|
|
|
n→∞ |
|
|
|
|
|
n→∞ n! (n +1) xn |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
∞ |
x |
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
= lim |
|
|
|
|
|
|
= 0 ряд ∑ |
|
|
|
|
|
|
|
сходится для любого x R . |
|
|
||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
n! |
|
|
|
||||||||||||||||||||||||||||||||||||||||||
|
n→∞ (n +1) |
|
|
|
|
|
|
|
|
|
n=0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∞ |
|
|
|
x |
n |
|
|
|
|
|
|
||||||
|
2). Найти область сходимости степенного ряда ∑ |
|
|
|
|
|
|
|
|
. |
|
|
|
||||||||||||||||||||||||||||||||||||||||
|
n |
10 |
n |
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n=1 |
|
|
|
|
|
|
|
||||||||||
|
Ищем промежуток сходимости |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
lim |
|
un+1 |
|
|
= lim |
|
|
|
xn+1 n 10n |
|
|
|
|
|
|
|
= |
1 |
lim |
|
|
x |
|
|
= |
|
|
x |
|
|
|
<1, |
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
|
un |
|
(n |
+1) xn 10n+1 |
|
|
(1+ 1n) |
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||
n→∞ |
|
|
|
|
n→∞ |
|
|
|
10 n→∞ |
|
|
|
10 |
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
x |
|
<10 x (−10;10) |
( r =10 радиус сходимости). |
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||
тогда |
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||
|
Исследуем сходимость на границах: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
∞ |
|
|
|
|
|
n |
∞ |
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
(−10)n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
x = −10 : ∑ |
= ∑(−1) |
|
|
- ряд Лейбница – |
|
|
сходится |
|||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
n=1 |
n 10 |
n=1 |
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
условно. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
∞ |
10 |
n |
|
|
∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
x =10 : ∑ |
|
= |
∑1 - гармонический ряд - расходится. |
|
|
|||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
n |
|
|
||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
n=1 |
n 10 |
|
|
n=1 n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∞ |
|
|
x |
n |
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
Итак, |
область |
сходимости |
|
|
|
степенного |
ряда |
|
|
∑ |
|
|
|
|
||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
n 10 |
n |
|
|||||||||||||||||||||||||||||||||||||||||||||
промежуток [−10;10). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n=1 |
|
|
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∞ |
|
(x −33) |
2n−1 |
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
3). Найти область сходимости степенного ряда ∑ |
|
|
|
. |
||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n=1 |
|
|
|
|
|
n |
|
|
|
|
56

|
|
|
|
|
|
|
|
|
u |
|
= |
(x −3)2n−1 |
; |
u |
|
|
|
|
= |
(x −3)2n+1 |
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
n3 |
|
|
|
n+1 |
|
(n +1)3 |
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
lim |
|
u |
n+1 |
|
|
= lim |
|
|
(x −3)2n+1 n3 |
|
|
|
= |
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
un |
|
(n +1)3 (1−3)2n−1 |
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
n→∞ |
|
|
|
|
|
n→∞ |
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
(x −3)2 n3 |
|
= (x −3)2 <1, |
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
= lim |
|
|
|
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
3 |
|
|
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
n→∞ |
|
|
|
|
3 |
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
1+ |
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
тогда |
|
x −3 |
|
<1 |
|
промежуток сходимости (2; 4) |
( r =1радиус |
||||||||||||||||||||||||||||||||||
|
|
|
|||||||||||||||||||||||||||||||||||||||
сходимости). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
∞ |
|
|
|
|
|
|
2n−1 |
|
|
|
|
|
∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
(−1)3 |
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
x = 2 : |
|
|
∑ |
|
|
= −∑ |
|
|
|
|
сходится |
как |
обобщённый |
|||||||||||||||||||||||||||
|
|
|
|
3 |
|
|
|
|
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
n=1 |
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
n=1 |
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
гармонический ряд ( p = 3 >1 ). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
∞ |
2n−1 |
|
|
|
∞ |
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
x = 4 : ∑1 |
|
|
|
= ∑ |
|
|
сходится. |
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
3 |
|
3 |
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
|
|
|
|
|
n=1 |
n |
|
|
|
|
n=1 |
|
|
n |
|
|
(x −33) |
2n−1 |
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∞ |
сходится при x [2; 4]. |
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
Итак, степенной ряд ∑ |
|
|
|
|
||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n=1 |
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
Свойства степенных рядов |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
1. |
Степенной ряд ∑an (x −a)n |
|
сходится равномерно на любом |
||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
n=0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
замкнутом промежутке [α; β], целиком лежащем в интервале |
||||||||||||||||||||||||||||||||||||||||
|
сходимости [α; β] (a −r; a +r ). |
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∞ |
|
|
|
|
|
(x −a)n |
|
|
|
|
|
|
||||
2. |
Пусть |
степенной |
ряд |
|
∑an |
|
имеет |
промежуток |
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n=0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
сходимости |
|
|
(a −r; a +r ), |
|
тогда |
его |
можно почленно |
|||||||||||||||||||||||||||||||||
|
дифференцировать |
|
|
|
|
|
в |
|
|
|
|
этом |
промежутке, |
т.е. |
57
|
∞ |
n ′ |
∞ |
n−1 |
, причём ряд в правой |
|
∑an (x −a) |
|
= ∑n an (x −a) |
|
|
n=0 |
x |
n=1 |
|
|
части имеет тот же интервал сходимости (a −r; a +r ).
Следствие
Сумма степенного ряда - бесконечно дифференцируемая функция (в промежутке сходимости).
∞
3. Сумма степенного ряда ∑an (x −a)n является непрерывной
n=0
функцией в каждой точке его промежутка сходимости
(a −r; a +r ).
∞
4. Степенной ряд ∑an (x −a)n можно почленно интегрировать
n=0
по любому промежутку, принадлежащему промежутку
сходимости, |
т.е. |
если |
y (a −r; a +r ), |
то |
||
y |
∞ |
n |
∞ |
(y −a)n+1 |
|
|
|
∑an (x −a) |
dx = ∑an |
n +1 |
, причём ряд в правой |
||
∫0 n=0 |
|
n=0 |
|
|
части имеет тот же промежуток сходимости (a −r; a +r ).
8.2.4. Теоремы о коэффициентах степенного ряда. Ряды Тейлора и Маклорена
Начиная с этого пункта, мы будем решать следующую задачу теории функциональных рядов: по заданной функции искать сходящийся степенной ряд того или иного типа, сумма которого в области сходимости равнялась бы заданной функции. Эта задача называется разложением функции в степенной ряд.
∞
Рассмотрим степенной ряд общего вида: ∑an (x −a)n .
n=0
Обозначим его сумму через f (x).
58
Теорема (О связи суммы степенного ряда и его коэффициентов)
Если в некотором промежутке (a −r; a +r ) |
функция |
f (x) |
||||||
|
|
|
|
|
|
∞ |
(x −a)n , |
|
есть |
сумма |
степенного |
ряда |
∑an |
т.е. |
|||
|
|
|
|
|
|
n=0 |
|
|
|
∞ |
|
|
|
|
|
|
|
f (x)= ∑an (x −a)n , то коэффициенты этого ряда выражаются |
||||||||
|
n=0 |
|
|
|
|
|
|
|
через |
f (x) и число a следующим образом |
|
|
|||||
|
a0 = f (a), an = |
|
f (n) (a) |
|
(n =1, 2, 3,…). |
|
||
|
|
n! |
|
|||||
|
|
|
|
|
|
|
Доказательство
Известно, что в промежутке сходимости степенной ряд можно почленно дифференцировать, причём в результате получается
ряд, имеющий тот |
же интервал сходимости, что и исходный. |
||
|
|
∞ |
(x −a)n , |
Последовательно |
дифференцируя |
f (x)= ∑an |
|
|
|
n=0 |
|
получим следующие равенства, справедливые для |
любого |
||
x (a −r; a +r ). |
|
|
|
f (x)= a0 +a1 (x −a)+a2 (x −a)2 +…+an (x −a)n +…
f ′(x)= a1 +2a2 (x −a)+3a3 (x −a)2 +…+n an (x −a)n−1 +… f ′′(x)=1 2a2 +2 3a3 (x −a)+…+(n −1) n an (x −a)n−2 +…
………………………………………………………………………
f (n) (x)=1 2 … (n −1) n an +2 3 … n (n +1) (x −a)+…
………………………………………………………………………
Полагая в написанных выше равенствах x = a , получим f (a)= a0 , f ′(a)= a1 , f ′′(a)=1 2 a2 ,
59

f ′′′(a)=1 2 3 a3 ,…, f (n) (a)=1 2 3 … (n −1) n an .
Откуда |
|
|
|
|
|
|
|
(a) |
|
|
|
′′(a) |
|
|
||||
|
a0 = f (a), a1 |
= |
|
f ′ |
, a2 = |
f |
, |
|
||||||||||
|
|
1! |
|
|
2! |
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
a3 = |
|
f ′′′(a) |
, |
…, an = |
|
f (n) (a) |
, … |
|
|
||||||||
|
|
3! |
|
|
n! |
|
|
|
||||||||||
|
если f (x) |
|
|
|
|
|
|
|
|
|
|
|
|
∞ |
|
|
||
Итак, |
- сумма степенного ряда ∑an (x −a)n , |
то |
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n=0 |
|
|
|
это записывают в виде |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
∞ |
|
f |
(n) |
(a) |
|
|
|
|
|
|
|
||
|
f (x) |
= ∑ |
|
(x −a)n . |
|
|
||||||||||||
|
|
n! |
|
|
||||||||||||||
|
|
|
|
|
n=0 |
|
|
|
|
|
|
|
|
|
||||
Определение |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Пусть |
f (x) некоторая |
|
бесконечно дифференцируемая |
в |
окрестности точки x = a функция. Степенной ряд вида
f(a)+ f ′1!(a)(x −a)+ f ′′2!(a)(x −a)2 +…
…+ f (nn) !(a)(x −a)n +…= ∑∞ f (nn) !(a)(x −a)nn=0
,
независимо от того сходится ли он и имеет ли своей суммой f (x), называется рядом Тейлора для функции f (x) в окрестности точки a .
ЗАМЕЧАНИЕ 1
В частном случае, при a = 0 ряд
∑∞ f (n) (a)(x −a)n
n=0 n!
принимает вид
60