МА_Метода
.pdfДоказательство. Обозначим lim |
an |
|
|
= K > 0, ε = |
K |
. По определе- |
|||||||||||||||||||||||||||||||||||||||
bn |
|
|
|
2 |
|
||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
нию предела и учитывая, что для любого n N bn > 0, имеем |
|||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
δ N : n > δ |
an |
− K |
|
|
K |
|
K an |
3K K |
|
|
|
|
|
|
3K |
||||||||||||||||||||||||||||||
bn |
< |
2 |
|
2 |
|
< |
|
bn |
< |
2 |
|
|
2 |
bn |
< an < |
2 |
bn. |
||||||||||||||||||||||||||||
Теперь воспользуемся |
теоремой |
10.2 и следствиями 10.1 , 10.2 : |
|||||||||||||||||||||||||||||||||||||||||||
+∞ |
|
|
|
|
P |
|
|
|
|
|
|
|
|
|
|
P |
K |
|
|
|
|
|
|
|
|
|
|
P |
|||||||||||||||||
P |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
n=1 an сходится |
|
|
an сходится |
|
|
|
|
|
2 |
bn сходится bn сходит- |
|||||||||||||||||||||||||||||||||||
|
∞ |
|
|
|
|
n≥δ |
|
|
|
|
|
|
|
|
|
|
|
n≥δ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n≥δ |
||||||||||||
+ |
|
|
|
+∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3K |
||||||||
nP |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
ñÿ |
bn сходится. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Аналогично, |
|
n=1 bn |
|
сходится |
|
|
|
bn |
сходится |
|
|
|
|
|
bn сходит- |
||||||||||||||||||||||||||||||
|
|
|
|
|
|
2 |
|||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
P |
+∞ |
|
|
|
|
|
|
|
|
P |
|
|
|
|
|
|
|
|
|
|
|
P |
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n≥δ |
|
|
|
|
|
|
|
|
|
|
|
n≥δ |
|
|
|
|
|
|
||||||||
ñÿ |
an сходится n=1 an сходится. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
n≥δ |
|
|
|
|
|
|
|
P |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
P |
|
|
sin(x) |
|
|
|
|
tg(x) |
|
|
|
|
|
|
arcsin(x) |
|
arctg(x) |
||||||||||||||||||||||||||||
Òàê êàê lim |
|
|
|
|
= lim |
|
|
|
|
= lim |
|
|
|
|
|
|
|
|
|
= lim |
|
|
|
|
= |
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
x→0 |
x |
|
x |
x→0 |
|
x |
|
x→0 |
|
|
|
|
|
x |
|
|
|
x→0 |
|
|
|
x |
|||||||||||||||||||||
= lim |
ln(1 + x) |
= lim |
e |
|
− 1 |
|
|
= 1, то из предельного признака сравнения |
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||
x→0 |
x |
x→0 |
|
|
x |
|
|
|
+∞ |
|
|
|
|
+∞ |
|
|
|
|
|
|
|
+∞ |
|
|
|
|
|
|
|
|
|||||||||||||||
+∞ |
+∞ |
+∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
P |
|
|
|
|
|
|
nP |
|
|
|
|
P |
|
|
|
|
|
|
|
P |
|
|
|
|
|
|
|
|
|||||||||||||||||
следует, что ряды |
|
sin(an), |
|
|
tg(an), |
|
|
|
arcsin(an), |
arctg(an), |
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
n=1 |
|
|
|
|
|
=1 |
|
|
|
|
|
|
n=1 |
|
|
|
|
|
|
|
n=1 |
|
|
|
|
|
|
|
|
PP
ln(1 + an), (exp(an) − 1) сходятся или расходятся одновременно с
n=1 n=1
+∞ |
|
|
|
|
|
|
|
|
|
|
рядом |
an, åñëè an > 0 è lim an = 0. |
|
|
|
|
|||||
nP |
|
+∞ 1 |
|
|
|
|
||||
|
=1 |
|
|
|
|
|
|
|
|
|
Пример 10.2. Ряд |
n=1 |
|
называется гармоническим. Так как (см. |
|||||||
n |
||||||||||
пример 10.1) lim |
ln(1 + 1 |
P) |
∞ |
1 |
расходится, то по |
|||||
1/n |
|
|
= 1 è ðÿä n=1 ln |
1 + n |
||||||
|
|
|
/n |
+ |
|
|
|
|||
|
|
|
|
|
|
|
P |
|
|
|
+∞ 1
предельному признаку сравнения расходится и ряд P n. •
n=1
10.3.Интегральный признак сходимости положительного ряда
Теорема 10.4. Пусть функция f непрерывна, положительна и не
|
+∞ |
+∞ |
возрастает на [1, +∞). Тогда ряд |
nP |
R1 |
f(n) и интеграл |
f(x) dx сходят- |
|
|
=1 |
|
ся или расходятся одновременно. Если ряд и интеграл сходятся, то для
90
+∞ |
+∞ |
nR |
R |
любого n N верна оценка |
f(x) dx ≤ S − Sn ≤ f(x) dx. |
+1 |
n |
|
Доказательство. Òàê êàê |
fn |
положительна на |
[1, +∞) |
, то последова- |
||||||
|
|
|
|
|
|
n |
|
|
|
||
тельности Sn = |
f(k) è In = |
R1 |
f(x) dx возрастают. Так как сходимость |
||||||||
|
|
|
|
|
|
k=1 |
|
|
|
|
|
|
|
+ |
∞ |
|
|
P |
+ |
|
|
|
|
ðÿäà |
|
|
|
|
∞ |
|
|
|
|
||
n=1 |
f(n) и интеграла |
f(x) dx равносильна существованию конеч- |
|||||||||
|
|
|
|
|
1 |
|
|
|
|
||
íûõ |
|
пределов |
lim Sn è lim IRn соответственно, то по теореме 2.15 (Вейер- |
||||||||
|
P |
|
штрасса) достаточно показать, что последовательности {Sn} è {In} могут быть ограничены сверху лишь одновременно.
Òàê êàê f не возрастает на [1, +∞), то для любых k N è x[k, k + 1] верны неравенства f(k + 1) ≤ f(x) ≤ f(k). По следствию
= 1, 2(, . |
+. . , n |
≤ |
k+1 |
|
|
≤ |
|
1,Rk получим |
f(k). Складывая эти неравенства для k = |
||||||
6.2 f k |
1) |
|
f(x) dx |
|
|||
|
|
− |
|
k+1 |
|
|
|
n−1 |
|
|
n−1 |
|
n−1 |
||
k=1 f(k + 1) ≤ k=1 |
Z |
f(x) dx ≤ k=1 f(k) Sn − f(1) ≤ In ≤ Sn−1. |
|||||
X |
|
|
X k |
|
|
X |
Последнее неравенство верно при n > 1.
Если последовательность {Sn} ограничена сверху, т. е. существует число M > 0 такое, что для любого n N верно неравенство Sn ≤ M, òî In ≤ Sn−1 äëÿ n > 1. Так как последовательность {In} возрастает, то неравенство In ≤ M выполнено для всех n N.
Обратно, если последовательность {In} ограничена сверху, т. е. существует число M такое, что для любого n N верно неравенство In ≤ M, òî Sn ≤ In + f(1) ≤ M + f(1). Докажем оценку в предположении, что ряд
|
|
|
|
+ |
|
+ |
|
|
+∞ |
+ |
|
||
|
|
|
|
|
|
k+1 k=P |
|
||||||
и интеграл сходятся. Очевидно, S − Sn |
= |
f(k). Из полученных выше |
|||||||||||
|
|
|
|
∞ |
|
|
|
|
|
n+1 |
|
|
|
|
|
|
|
|
|
|
∞ |
|
|
|
∞ |
||
неравенств имеем |
Z |
|
|
|
|
Z |
|
|
|||||
f(x) dx = k=n+1 |
f(x) dx ≤ k=n+1 f(k) = S − Sn ≤ |
||||||||||||
+ |
|
|
|
n+1 |
|
|
X k |
|
X |
||||
∞ |
k |
|
|
+∞ |
|
|
|
|
|
||||
|
Z |
|
|
Z |
|
|
|
|
|
|
|
|
|
≤ k=n+1 |
f(x) dx = |
f(x) dx. |
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
||||||||
X k−1 |
|
|
n |
|
|
|
|
|
|
|
|
+∞ 1
Пример 10.3. Ðÿä P nλ называется обобщенным гармоническим ря-
n=1
дом или рядом Дирихле. Покажем, что ряд Дирихле сходится при λ > 1 и расходится при λ ≤ 1.
91
1
Пусть λ > 0. Рассмотрим функцию f : [1, +∞) → R, f(x) = xλ . Очевидно, f непрерывная, положительная и убывающая. Несобственный
+∞ 1
интеграл R1 xλ dx сходится при λ > 1 и расходится при 0 < λ ≤ 1 (см. пример 7.1). Следовательно, по интегральному признаку сходимости (тео-
рема 10.4 ) ряд Дирихле сходится при λ > 1 и расходится при 0 < λ ≤ 1.
1
Åñëè λ ≤ 0, òî lim nλ 6= 0 и ряд Дирихле расходится, так как не выполнен необходимый признак сходимости ряда. •
+∞ 1
Пример 10.4. Найдем сумму ряда P n4 с точностью ε = 0.01. Ðàñ-
n=1
сматриваемый ряд есть ряд Дирихле с λ = 4, следовательно, он сходится.
По теореме 10.4 имеем 0 ≤ S − Sn ≤ |
+∞ |
n4 dx = |
3n3 . Решим неравенство |
|||||||||||||
Zn |
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
1 |
|
|
1 |
|
< 0.01. Получаем, что n ≥ 4. Значит S − Sn < 0.01. Вычисляем |
||||||||||||||
|
|
|||||||||||||||
|
3n3 |
|||||||||||||||
S |
4 |
= 1 + |
1 |
+ |
1 |
+ |
1 |
= 1.08. Èòàê S |
= 1.08 с точностью ε = 0.01. |
• |
||||||
|
|
|
||||||||||||||
|
|
|
24 |
34 |
44 |
|
|
|
|
|
|
10.4. Признаки Коши и Даламбера сходимости ряда
Пусть {an} последовательность неотрицательных чисел.
Теорема 10.5 (признак |
Êîøè). Åñëè |
существует предел |
||
lim √ |
|
|
+∞ |
|
an |
= K [0, +∞], òî ïðè K < 1 ðÿä |
an сходится, при K > |
||
|
|
+∞ |
nP |
|
n |
|
|
||
|
|
|
=1 |
|
P
an расходится.
n=1
Пусть
√
> δ n an
|
|
По определению предела |
|
|
|
||||||||
lim n |
|
= K ε > 0 |
δ N : | |
√ |
|
− K| < ε |
|
|
|
||||
an |
an |
|
|
|
|||||||||
|
|
|
|
|
|
|
|
n |
|
|
|
||
|
|
K − ε < √ |
|
< K + ε. |
|
|
|
||||||
|
|
an |
|
|
|
||||||||
|
|
|
|
n |
|
|
|
|
|
|
|
||
K < 1. Возьмем ε > 0 |
так, чтобы q = K + ε < 1. Тогда |
|
n > |
||||||||||
< q an < qn |
|
|
|
|
P qn сходится, то по |
|
|
||||||
|
|
|
. Òàê êàê ðÿä |
|
|
|
|
признаку |
|
|
|
|
|
|
|
n>δ |
+∞ |
|
|
|
|
|
сравнения сходится ряд |
P |
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
1P |
|
|
|
|
|
|
|
|
|
|
|
|
|
an, а потому и ряд |
an сходится. |
|
|
|||
|
|
|
|
|
|
|
n>δ |
n=1 |
− |
ε > 1. Тогда |
|
|
|
Пусть K > 1. Возьмем ε > 0 так, чтобы q = K |
n > |
||||||||||||
> δ √an > q1 |
|
|
|
|
|
|
+ |
∞ |
|
||||
an |
> q1 , а потому lim an = +∞ è ðÿä |
|
an расходится в |
||||||||||
n |
|
|
|
|
|
|
n |
|
|
nP |
|
|
|
силу следствия 10.1 . |
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
92
Теорема 10.6 (признак |
Даламбера). |
Åñëè |
|
|
существует предел |
|||||||||||||||||||||||||||||||||||||
|
an+1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+∞ |
|
|
|
|
|
|
|
|
nP |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
lim an |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
сходится, при D > |
|||||||||||||||||||
|
= D [0, +∞], òî ïðè D < 1 ðÿä |
|
=1 an |
|
||||||||||||||||||||||||||||||||||||||
> 1 lim an = +∞ è ðÿä |
nP |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
an расходится. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Доказательство. По определению предела |
|
|
|
|
|
|
|
|
− D |
< ε |
|
|
|
||||||||||||||||||||||||||||
|
|
|
lim an |
|
= D ε > 0 δ N : n > δ |
|
|
|
|
an |
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
an+1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
an+1 |
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
an+1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
D − |
ε < |
|
|
|
|
< D + ε (D − ε) an |
< an+1 < (D + ε) an. |
|
|
|
|||||||||||||||||||||||||||||
|
|
|
|
an |
|
|
|
|||||||||||||||||||||||||||||||||||
|
Пусть D < 1. Возьмем ε > 0 так, чтобы q = D + ε < 1. Тогда n > |
|||||||||||||||||||||||||||||||||||||||||
> δ an+1 < qan. Полагая n |
= δ + 1, n = δ + 2, |
|
. . . , n |
= δ + k, . . . |
||||||||||||||||||||||||||||||||||||||
последовательно получим |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
aδ+2 < qaδ+1, aδ+3 < qaδ+2 < q2aδ+1, . . . , aδ+k+1 < qkaδ+1, . . . . |
|
|
|
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
qkaδ+1 сходится, то по признаку сравнения сходится ряд |
||||||||||||||||||||||||||||||||||
Òàê êàê ðÿä |
P |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
+∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
k≥0 |
|
P |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
P Пусть D > 1. |
|
ε > 0 так, чтобы D |
|
|
|
|
ε > 1. Тогда |
|
|
n > |
||||||||||||||||||||||||||||||||
an, а потому и ряд |
an сходится. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
n>δ |
|
|
|
|
|
|
|
|
|
|
n=1 |
|
|
|
|
|
|
|
|
|
|
|
− |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
Возьмем |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∞ |
|||||||||
> δ an+1 > (D − ε)an > (D − ε)n−δaδ+1, а потому lim an = +∞ è ðÿä |
+ |
|||||||||||||||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||||||||||||||
|
|
an |
||||||||||||||||||||||||||||||||||||||||
расходится в силу следствия 10.1 . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
nP |
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
=1 |
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
Замечание 10.1. Существуют сходящиеся и |
|
|
расходящиеся |
ðÿäû |
|||||||||||||||||||||||||||||||||||||
+∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
an+1 |
|
|
|
|
|
|
|
|
||||||||||
an, для которых K = lim √an = 1 èëè D = lim |
|
|
|
|
|
|
|
|
|
|
= 1. Например для |
|||||||||||||||||||||||||||||||
|
|
a |
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||
nP |
|
|
|
|
|
+∞ 1 |
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|||
ряда Дирихле |
|
=1 |
|
, который сходится при λ > 1 и расходится при λ ≤ 1 |
||||||||||||||||||||||||||||||||||||||
|
nλ |
|||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
nP |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
λ имеем K = lim rn |
|
1 |
|
|
= lim e−λ ln(n)/n = |
||||||||||||||||||||||||
(см. пример 10.3), при любом |
|
|
|
|||||||||||||||||||||||||||||||||||||||
nλ |
||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
an+1 |
|
|
|
|
nλ |
|
n |
|
|
|
|
|
λ |
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
= e0 = 1 è D = lim |
|
|
= lim |
|
|
= lim |
|
|
= 1. |
|
|
|
|
|||||||||||||||||||||||||||||
|
an |
(n + 1)λ |
n + 1 |
|
|
|
|
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
+∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
Åñëè ðÿä |
|
|
an сходится по признаку Коши, т. е. lim √ |
|
= K < 1, òî |
||||||||||||||||||||||||||||||||||||
|
|
|
an |
|||||||||||||||||||||||||||||||||||||||
легко |
|
|
|
|
|
P |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
ε |
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
n=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
вычислить сумму такого ряда с любой заданной точностью . |
|
|
|
|||||||||||||||||||||||||||||||||||||
|
Для этого: 1) возьмем q такое, что K < q < 1; 2)m+1 |
|
δ N |
|
|
|
||||||||||||||||||||||||||||||||||||
÷òî n > δ |
|
√an < q; 3) найдем m N такое, что 1 |
|
найдем |
|
|
такое, |
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
q < ε; 4) положим |
q
n
−
n0 = max{δ, m}.
93
Тогда |S − Sn0 | < ε, т. е. за приближенное значение суммы ряда с
точностью ε можно взять Sn0 . Докажем это утверждение:
|
|
|
lim |
N qn0 |
+k |
= |
|
|
lim |
|
qn0+1(1 − qN ) = |
|
qn0+1 |
N |
|
|
|
|
||||||||||||||||||||||||||||||
|
S |
|
|
|
|
|
Pqm+1 < ε. |
|||||||||||||||||||||||||||||||||||||||||
| |
|
− |
|
n0 | |
|
|
|
− |
|
n0 |
|
|
|
n0+1 + |
|
|
n0 |
+2 + · · · |
= N |
|
+ |
∞ k=1 |
n0+k ≤ |
|||||||||||||||||||||||||
|
|
|
|
|
|
∞ kP |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
→ |
|
|
|
|
||||||||
|
|
|
→ |
|
|
|
|
|
|
|
|
|
→ |
|
∞ |
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
||||||||||
≤ N |
|
|
|
|
|
|
|
|
|
|
+ |
|
|
|
|
1 |
− |
q |
1 |
− |
q |
≤ 1 |
− |
q |
||||||||||||||||||||||||
|
+ |
|
|
=1 |
|
|
|
|
|
|
|
N |
+ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∞ |
|
|
|
n + 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
Пример 10.5. Найти сумму n=1 |
|
|
|
|
|
|
с точностью ε = 0.01. |
|||||||||||||||||||||||||||||||||||||||||
3n + 1 |
|
|||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
+ P |
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
1. Òàê êàê lim √an = lim |
3n + 1 |
= |
|
3 |
. то можно взять q = |
2 |
. 2. Решим |
|||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
√an < q 3n + 1 |
|
< 2 n > 1, возьмем δ = 1. 3. Решим |
|||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n + 1 |
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
неравенство |
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
неравенство |
qm+1 |
|
|
|
|
|
|
|
0.5m+1 |
= 0.5m < 0.01 m ≥ 7, возьмем m = 7. |
||||||||||||||||||||||||||||||||||||||
|
< ε |
|
|
|||||||||||||||||||||||||||||||||||||||||||||
1 − q |
1 − 0.5 |
4. Положим n0 = max{δ, m} = 7. По доказанному ранее за приближенное значение суммы ряда с точностью ε = 0.01 можно взять
2 |
|
1 |
|
3 |
|
2 |
|
4 |
|
3 |
|
5 |
|
4 |
|
6 |
|
5 |
|
7 |
||
S7 = |
|
|
|
+ |
|
|
|
+ |
|
|
|
+ |
|
|
|
+ |
|
|
|
+ |
|
|
4 |
|
7 |
|
10 |
|
13 |
|
16 |
|
19 |
||||||||||||
= 0.7803 |
|
0.78. |
• |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
= |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
+∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Åñëè ðÿä |
nP |
an сходится по признаку Даламбера, т. е. |
||||||||||||||||||||
|
|
|
|
=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
6 |
+ |
|
22 |
|
7 |
|
= |
|||||
|
|
|
|
8 |
|
|
lim an+1 = D < an
< 1, то легко вычислить сумму такого ряда с любой заданной точностью
ε. Для этого: 1) возьмем q такое, что D < q < 1; 2) найдем δ |
|
N |
{ |
} |
|||||
|
m |
0 |
|
||||||
|
an+1 |
< q; 3) найдем m N такое, что aδ+1 |
|
q |
|
|
|
|
|
такое, что n > δ |
|
|
|
|
< ε; |
|
|||
an |
1 − q |
|
|
4) положим n0 = δ + m. Тогда |S −Sn0 | < ε, т. е. за приближенное значение суммы ряда с точностью ε можно взять Sn0 . Докажем это утверждение:
|
|
lim |
|
a |
|
|
qm+k−1 |
= lim a |
|
|
|
|
|
|
− |
|
|
= |
|
δ |
N |
|
|
|
< ε. |
|
|
|
||||||||||||||||
|
S |
|
|
|
|
|
|
|
|
|
|
|
|
P |
|
|
|
|||||||||||||||||||||||||||
| |
|
− |
n0 |
| |
|
− |
|
|
n0 |
|
|
|
δ+m+1 |
|
|
|
δ+m+2 |
|
+ · · · = N→+∞ k=1 |
δ+m+k |
≤ |
|||||||||||||||||||||||
|
|
|
|
|
N |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
q |
m |
(1 |
|
|
|
q |
N |
) |
a |
+1q |
m |
|
|
|
|
|||||||
|
|
|
|
|
P |
|
|
|
|
|
|
|
|
|
→ |
+ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
− |
|
|
|
|
|
|
− |
|
|
|
|
|
|
|
|||||||
≤ N→+∞ k=1 |
δ+1 |
|
|
|
|
|
|
N |
|
+∞ |
|
|
δ+1 |
|
|
|
1 |
|
|
|
|
q |
|
|
|
1 |
|
q |
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∞ n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
Пример 10.6. Найти сумму |
P |
|
|
с точностью ε = 0.01. |
|
|
|
|||||||||||||||||||||||||||||||||||||
|
n |
= 1. |
||||||||||||||||||||||||||||||||||||||||||
1. Òàê êàê lim |
|
|
n+1 = lim ( |
|
1)3 |
|
|
= |
|
|
1. то можно взять q |
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n=1 3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
n + |
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
an |
|
|
|
|
|
|
3n+1n |
|
|
|
3 |
|
|
|
|
|
|
|
|
|
|
2 |
||||||||||||||
2. Решим неравенство |
an+1 |
|
< q |
n + 1 |
< |
1 |
n > 2, возьмем δ = 2. |
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||
|
an |
|
|
|
3n |
|
|
2 |
94
|
qm |
|
3 0.5m |
|||
3. Решим неравенство aδ+1 |
|
< ε |
|
|
|
< 0.01 0.5m−1 < |
1 − q |
33 |
1 − 0.5 |
< 0.09 m ≥ 5, возьмем m = 5. 4. Положим n0 = δ + m = 7. По доказанному ранее за приближенное значение суммы ряда с точностью ε = 0.01
можно взять S |
7 |
= |
1 |
+ |
|
2 |
+ |
3 |
+ |
|
4 |
+ |
5 |
+ |
6 |
+ |
7 |
= 0.7480 = |
0.75. |
• |
|
3 |
32 |
33 |
33 |
35 |
36 |
37 |
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
10.5. Признак Лейбница сходимости знакочередующегося ряда
|
|
|
+∞ |
|
|
|
|
n |
|
Ðÿä n=1(−1)n+1an = a1 − a2 + a3 − a4 + . . . , ãäå an > 0 для любого |
|||||
|
N, |
P |
|
|
|
|
|
|
|
называется знакочередующимся. |
|||||
|
|
|
|||||
|
|
Теорема 10.7 (признак Лейбница). Если для любого n N an+1 ≤ |
|||||
≤ an è lim an = 0, òî ðÿä |
+∞ |
||||||
(−1)n+1an сходится, его сумма S [0; a1] è |
|||||||
для любого n N |
S |
SnnP an+1. |
|||||
|
|
|
|
|
| |
− |
=1 |
|
|
|
|
| ≤ |
Доказательство. Покажем, что последовательность частичных сумм ряда с четными индексами {S2n} не убывает и ограничена сверху. В самом
деле, так как по условию для любого n N an+1 ≤ an, òî
S2 = a1 − a2 ≥ 0, . . . , S2n+2 = S2n + (a2n+1 − a2n+2) ≥ S2n.
S2n = a1−(a2−a3)−· · ·−(a2n−2−a2n−1)−a2n ≤ a1. Следователь- íî, 0 ≤ S2 ≤ · · · ≤ S2n ≤ S2n+2 ≤ · · · ≤ a1. Неубывающая ограниченная сверху последовательность {S2n} по теореме 2.15 имеет предел lim S2n = S è 0 ≤ S ≤ a1. Для последовательности частичных сумм с нечетными индексами {S2n+1} выполнено
lim S2n+1 = lim(S2n + a2n+1) = lim S2n + lim a2n+1 = S + 0 = S.
Итак, последовательности частичных сумм |
{S2n} è {S2n+1} имеют |
||||||||||||||
один и тот же предел S. Отсюда lim Sn = S. |
|
|
|
|
|
|
|
|
|
|
|||||
По доказанному ранее знакочередующийся ряд a |
n+1 − |
a |
n+2 |
+ a3 |
. . . |
||||||||||
|
|
|
|
|
|
|
|
n+2 |
− |
|
|||||
сходится и его сумма 0 ≤ Rn ≤ an+1. Поэтому |S − Sn| = |(−1) |
Rn| = |
||||||||||||||
= Rn ≤ an+1. |
|
|
|
|
|
|
|
|
n+1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Пример 10.7. Вычислить сумму ряда +∞ |
|
(−1) |
|
|
|
с точностью |
|||||||||
ε = 0, 01. |
|
nP |
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
=1 n(n + 1)(n + 2) |
|
|
|
|
|||||||
Òàê êàê an = |
1 |
убывает и lim an = 0, то по признаку |
|||||||||||||
|
|||||||||||||||
n(n + 1)(n + 2) |
|||||||||||||||
Лейбница данный ряд сходится. Так как a4 = |
|
1 |
|
|
< ε, òî |S − S3| ≤ |
||||||||||
|
|
||||||||||||||
4 · 5 · 6 |
95
≤ a4 < ε. Вычислим S3 = |
|
|
1 |
|
|
− |
|
|
1 |
|
|
+ |
|
|
|
1 |
|
|
= 0.142. Значит |
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
1 |
· |
2 |
· |
3 |
2 |
· |
3 |
· |
4 |
3 |
· |
4 |
· |
5 |
|||||||
S = |
0.14. |
• |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
10.6.Абсолютная и условная сходимость ряда
сходится. |
+∞ |
+∞ |
P |
nP |
|
Теорема 10.8 Если ряд |
|an| сходится, то и ряд |
an также |
|
n=1 |
=1 |
Доказательство. Введем новые последовательности {a+n } è {a−n }:
n |
|
0, an < 0 |
|
|
n |
|
|
|
|
|
−an, |
an |
< 0 |
и рассмотрим два положи- |
|||||||||||||
a+ = |
|
an, an ≥ |
0 ; a− = |
|
|
|
0, |
|
an |
≥ 0 |
|
|
|
|
|
|
|
|
|||||||||
тельных ряда |
+∞ a+ è |
+∞ a−. Òàê êàê a+ |
a |
|
è a− |
a |
|
n |
, òî |
||||||||||||||||||
ýòè ðÿäû |
|
P |
n |
P |
|
|
|
|
|
|
|
|
n ≤ | n| |
|
n ≤ | n| N |
|
|||||||||||
|
|
|
|
n=1 |
n=1 n |
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
сходятся по признаку сравнения. По предложению 10.1 разность |
||||||||||||||||||||||||
сходящихся рядов есть сходящийся ряд, т.е. ряд |
+∞ |
(an+ − an−) сходится. Да- |
|||||||||||||||||||||||||
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+∞ nP |
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
=1 |
|
|
|
|
|
лее, очевидно, что an+ − an− = an, значит ряд |
|
an сходится. |
|
|
|
||||||||||||||||||||||
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
+ |
|
|
|
|
nP |
|
|
+ |
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∞ ( |
|
|
|
|
|
∞ |
|
|
|
|
|
|
|
∞ |
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
P |
|
|
|
|
|
|
|
P |
|
|
|
|
|||||
Замечание 10.2. Åñëè |
|
|
n=1 an сходится, то ряд n=1 |an| |
может расхо- |
|||||||||||||||||||||||
диться. Например, ряд |
+ |
|
− |
|
|
n+1 |
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
1) |
|
сходится по признаку Лейбница, но ряд |
||||||||||||||||||||||
|
|
|
|
|
|
nP+∞ 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
=1 |
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
из абсолютных величин |
|
nP |
|
|
гармонический ряд, который расходится |
||||||||||||||||||||||
|
n |
||||||||||||||||||||||||||
(см. пример 10.2). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+∞ |
|
|
|
|
|
|
|
|
|
||
+∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+∞ |
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
nP+∞ |
|
|
|
|
|
|
|
|
|||
Определение 10.2. Если ряд |
|an| сходится, то говорят, что ряд |
||||||||||||||||||||||||||
P |
|
|
|
|
|
|
|
+∞ |
|
|
|
|
|
=1 |
|
|
|
|
|
nP |
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
P |
|
|
|
|
|
|
|
|
|||||
an сходится абсолютно. Если ряд |
an сходится, но |
|an| расходит- |
|||||||||||||||||||||||||
n=1 |
|
|
|
|
|
|
|
nP |
|
|
|
|
|
|
|
|
n=1 |
|
|
|
|
|
=1 |
|
|
|
|
ся, то говорят, что ряд |
|
an сходится условно. |
|
|
|
|
|
||||||||||||||||||||
=1 |
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
В этих терминах ряд |
+∞ |
|
(−1)n+1 |
сходится условно. Теорему 10.8 мож- |
|||||||||||||||||||||||
P |
|
|
|||||||||||||||||||||||||
но сформулировать так: |
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
n=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
абсолютно сходящийся ряд сходится. |
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+∞ |
|
|
|
|
|
|
|
|
|
|
|
рестановке его членов новый ряд P |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
Замечание 10.3. |
Åñëè ðÿä |
|
an сходится абсолютно, при любой пе- |
n=1
по-прежнему будет сходиться и иметь ту
96
+∞
же сумму. Если же ряд P an сходится условно, то всегда можно найти
n=1
такую перестановку его членов, что новый ряд будет сходиться к любому наперед заданному числу (см. теорему Римана, доказанную в [ 7 ] т. 1.10)
или даже станет расходящимся.
Для исследования абсолютной сходимости часто применяют признаки Коши и Даламбера, которые в этом случае имеют следующий вид.
< 1 ðÿä |
+∞ a сходится абсолютно; при K > 1p |
|lim| |
|
a = + |
è ðÿä |
Теорема 10.9 Если существует предел lim n |
an |
= K, òî ïðè K < |
|||
|
P n |
|
|
| n| |
∞ |
+∞ |
n=1 |
|
|
|
|
|
|
|
|
|
P
an расходится.
n=1
Теорема 10.10 Если существует предел lim |
|
an |
|
|
= |
D, òî ïðè |
|||||||
|
|
|
|
|
|
an+1 |
|
|
|
|
|
|
|
|
|
+ |
|
|
|
|
|
|
|
|
|
||
D < 1 |
ðÿä |
∞ |
сходится абсолютно; при |
D > 1 |
|
|
|
|
|
= + |
|
è ðÿä |
|
|
an |
|
lim |
|
an |
| |
∞ |
|
|||||
|
|
P |
|
|
|
|
| |
|
|
|
n=1
+∞
P
an расходится.
n=1
lim |
|
an+1 |
|
= D, òî K = D. |
|
lim p |
|an| |
= K |
|
|
|
Замечание 10.4. Отметим, что если существуют |
n |
è |
|||||
|
an |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
11. СТЕПЕННЫЕ РЯДЫ
11.1. Понятие степенного ряда
Пусть {an} последовательность чисел, x0 R.
Определение 11.1. Семейство числовых рядов x R, называется степенным рядом по степеням тех x, для которых числовой ряд
областью сходимости степенного ряда и обозначается Dcx. Функция S :
+∞
Dcx → R S(x) = P an(x − x0)n называется суммой степенного ряда.
n=0
97
|
|
|
|
|
|
x0 |
Dcx |
|
|
|
|
|
x − x0 = + |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
Очевидно, |
|
|
|
. Заменой |
|
|
|
|
|
|
w степенной ряд по степеням |
|||||||||||||||||||||||
x − x0 преобразуется в ряд по степеням w |
|
|
∞ anwn и обратно. |
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
+∞ xn |
|
|
nP |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
=0 |
|
|
|
|
|
|
|
|
|
|
|
|
||
Пример 11.1. Äëÿ ðÿäà n=0 |
|
|
Dcx = R. Возьмем x R. Îáî- |
|||||||||||||||||||||||||||||||
n! |
||||||||||||||||||||||||||||||||||
|
|
|
|
|
xn |
|
|
|
n P |
|
|
|
|
|
|
xn+1 |
|
|
|
|
|
|
|
|
|
|
|
|
||||||
значим bn = |
|
|
b |
bn |
|
|
|
|
|
|
|
|
n! |
|
|
|
|
x |
1 = 0 < |
|||||||||||||||
|
n! , тогда lim |
|
= lim (n + 1)! xn |
= lim n|+| |
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
Даламбера |
|
+1 |
|
сходится |
|
|
|
|
|
|
любом |
|
|
|
|
|
|
|
|
|
|||||||
< 1, по признаку |
|
ðÿä |
|
ïðè |
x |
R |
. Аналогич- |
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
+ |
∞ |
|
|
|
|
|
|
|
|
|
|
|
|
+ |
∞ |
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|||||
но можно показать, что для ряда |
|
n=0 n!x |
Dcx = {0}, à äëÿ ðÿäà |
n=0 x |
|
|||||||||||||||||||||||||||||
Dcx = ( |
|
1; 1) |
|
|
|
|
|
|
|
|
|
P |
|
|
|
|
|
x < 1) и его сумма |
P |
|
||||||||||||||
|
|
− |
|
|
( т. е. совпадает с интервалом |
|
| |
|
| |
|
|
|
|
|
|
|
|
равна |
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
S(x) = |
|
|
1 |
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
− x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
11.2. Радиус и интервал сходимости степенного ряда
+∞
Теорема 11.1 (Абеля). Если сходится ряд P anxn1 è |x| < |x1|, òî
n=0
+∞
ðÿä P anxn сходится абсолютно.
n=0
Доказательство. По необходимому признаку сходимости ряда последовательность {anxn1 } стремится к нулю, а потому ограничена, т. е. M >
> 0 : |
|
n |
|
|
N |
|
0 |
|
|
|
|
|
anx1n |
|
|
|
M. Òàê êàê q = |
|
|
|
x |
< 1, òî |
|
anxn |
|
= |
|||||||||
|
|
|
|
|
|
|
|
|
| ≤ |
|
x1 |
| |
| |
||||||||||||||||||||||
|
|
|
n |
{ } | |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
+ |
∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
n |
|
|
|
|
|
|
|
|
n |
è ðÿä |
|
|
n сходится. По |
признаку |
сравнения |
|||||||||||||||||||
= |anx1 | |
|
|
|
≤ |
Mq |
|
|
|
|
|
|
|
n=0 Mq |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
x1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
+∞ |
|
|
|
|
|
|
P |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
anx |
n |
|
сходится. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
(теорема 10.2 ) ряд |
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
=0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
nP |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+∞ anxn существует ра- |
|||||||||||||
Теорема 11.2. У любого степенного ряда |
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
=0 |
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
nP |
|
+∞ |
|
сходится |
|||||||
диус сходимости, т. е. такой Rcx |
[0; +∞], ÷òî ðÿä n=0 anxn |
|
|
|
|
|
|||||||||||||||||||||||||||||
абсолютно при всех |
|
x |
|
< Rcx |
и расходится при |
|
x |
|
|
|
|
cx. |
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
| |
| |
|
|
|
|
|
|
|
| |
| |
> R P |
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Доказательство. Положим Rcx = sup |x|. Åñëè |x| > Rcx, òî x 6 Dcx
x Dcx
и ряд расходится. Если |x| < Rcx, òî x1 Dcx, такой что |x| < |x1| < Rcx.
+∞
По теореме Абеля ряд P anxn сходится абсолютно.
n=0
98
Замечание 11.1. Предыдущая теорема показывает, что область сходимости Dcx содержит интервал |x| < Rcx, называемый интервалом схо-
димости степенного ряда, и, возможно, еще содержит точки x = −Rcx è
p
Предложение 11.1. Пусть существует lim n |an| = K. Åñëè K 6= 0 6= 0, òî Rcx = 1/K; åñëè K = 0, òî Rcx = +∞; åñëè K = +∞, òî Rcx = 0.
+∞
Доказательство. Применим к ряду P anxn признак Коши. Для это-
n=0
p |
|
p |
|
|
го вычислим lim n |
|anxn| = |x| lim n |an| = K|x|. Åñëè K = 0, òî äëÿ ëþ- |
áîãî x R K|x| = 0 < 1, поэтому Dcx = R è Rcx = +∞. Åñëè K = +∞, то для любого x 6= 0 K|x| = +∞ > 1, поэтому Dcx = {0} è Rcx = 0. Åñëè K 6= 0 è K 6= +∞, то ряд сходится абсолютно при K|x| < 1, ò. å.
ïðè |x| < 1/K, и расходится при K|x| |
> 1, ò. å. ïðè |x| > 1/K. Поэтому |
||||||||||||||||||||||||||
Rcx = 1/K. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
11.3. Дифференцирование и интегрирование степенного ряда |
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
+∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Пусть S(x) сумма степенного ряда |
|
anxn = a0+a1x+· · ·+anxn+. . . , |
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
=0 |
|
|
|
|
|
|
|
+∞ |
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
nP |
|
|
|
|
|
|
|
|
|
||||||
Rcx его радиус сходимости. Рассмотрим два ряда: |
|
nanxn−1 = a1+ |
|||||||||||||||||||||||||
|
|
|
|
n |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n=1 |
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
исходного почленным диф- |
|||||||||||||
+2a2x + |
|
+ nanx − + . . . , полученный из |
|||||||||||||||||||||||||
· · · |
|
|
|
|
|
P |
|
|
|||||||||||||||||||
|
|
|
|
+ |
|
|
|
|
n+1 |
|
|
|
|
a1 |
2 |
|
|
|
an |
n+1 |
|
||||||
|
|
|
|
|
∞ an |
|
|
|
|
|
|
|
|
|
|
||||||||||||
ференцированием, и n=0 |
|
x |
|
= a0x + |
|
|
x |
|
+ · · · + |
|
|
x |
|
+ . . . , |
|||||||||||||
n + 1 |
|
2 |
|
n + 1 |
|
||||||||||||||||||||||
полученный из |
исходного почленным интегрированием. Приведем без до- |
||||||||||||||||||||||||||
|
P |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
казательства следующий важный результат. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
Теорема 11.3. Для рядов +∞ anxn, +∞ nanxn−1 è +∞ |
an |
xn+1 ðàäè- |
|||||||||||||||||||||||||
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
n=0 |
|
n=1 |
|
|
|
|
|
n=0 n + 1 |
|
|
|||||||
усы сходимости совпадают. |
Сумма степенного ряда |
дифференцируема |
|||||||||||||||||||||||||
|
|
P |
|
P |
|
|
|
|
|
|
|
SP |
|
|
|||||||||||||
и интегрируема в интервале сходимости |
|x| < Rcx, и справедливы равен- |
||||||||||||||||||||||||||
ñòâà S0(x) = +∞ nanxn−1 è |
x |
S(t) dt = +∞ |
|||||||||||||||||||||||||
R0 |
|
an |
|
|
xn+1. |
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
n=1 |
|
|
|
|
|
|
=0 |
n + 1 |
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
P |
|
|
|
|
|
nP |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Теорему можно кратко сформулировать так: в интервале сходимости степенной ряд можно дифференцировать и интегрировать почленно. Доказательство теоремы можно найти в [ 7 ] (т. 2.16 и 2.17).
Пример 11.2. Äëÿ |x| < 1 справедливы равенства:
+∞ |
|
n+1 xn |
+∞ |
n x2n+1 |
||||
X |
(−1) |
|
|
|
X |
(−1) |
|
|
ln(1 + x) = |
|
n |
; |
arctg(x) = |
2n + 1 |
. |
||
n=1 |
|
|
|
|
n=0 |
|
|
|
99