' § 94. Знакочередующиеся ряды. Знакочередующимся
называется ряд, члены которого поочередно то положи тельны, то отрицательны. Например, ряд
|
|
1 |
- Т + І - Т + |
|
|
|
0 8 ) |
есть ряд знакочередующийся. |
|
|
|
|
|
Относительно |
знакочередующихся |
рядов |
имеет |
ме |
сто следующая |
теорема. |
|
Если |
члены |
знакочередую |
Т е о р е м а |
(Лейбница). |
щегося ряда, |
начиная |
с |
некоторого |
п — in, |
убывают |
но |
абсолютной |
величине |
и |
ап—*-0 при |
п-+оо, |
то ряд |
схо |
дится. |
|
|
|
|
|
|
|
|
|
|
Доказательства этой |
теоремы мы |
не приводим, |
вви |
ду его недостаточной |
элементарности. |
|
|
|
Для ряда (18) условия теоремы выполняются; в |
са |
мом деле, |
|
|
|
|
|
|
|
|
|
|
1 |
> т > і > т > |
••• >тг> |
|
|
как видим, члены ряда по абсолютной величине убывают.
Общин |
член |
а„ ряда |
(18) имеет |
вид |
ап = |
(—~; |
отсюда |
lim |
a „ = l i m |
( — l ) " - 1 • — |
= 0 ; |
второе |
усло- |
вне также |
выполнено; следовательно, |
ряд (18) |
схо |
дится. |
|
|
|
|
|
|
§ 95. Абсолютная сходимость. Будем теперь рассма тривать ряды с произвольными членами, т. е. ряды, ко
торые содержат бесконечное множество |
положительных |
и бесконечное множество отрицательных |
членов (среди |
членов ряда могут оказаться также и члены, равные нулю).
Т е о р е м а . Пусть |
дан |
ряд |
|
|
|
|
с произвольными |
|
членами. |
|
Если |
сходится |
ряд, состав |
ленный из |
абсолютных |
величин |
членов |
ряда |
(1), т. е. |
ряд |
|
|
|
|
|
|
|
|
|
|
|
• | а 1 | + |
| а 2 |
| + . . . |
+ | о „ | + |
|
|
(19) |
то исходный |
ряд |
(1) также |
сходится. |
|
|
|
Д о к а з а т е л ь с т в о . |
Составим вспомогательный |
ряд |
loi + |
I ai |
I ) + (а2 |
+ |
I а 2 1 ) + (а3 |
+ |
| а3 |
\ ) + . . . |
Если ап |
^ 0, то |
I а„ | |
= |
ffn; |
если |
же |
ап |
< 0, то |
| а „ |
| = |
— а „ ; |
а первом случае а„ + |
| а„ |
| |
= |
2an , |
а |
во |
втором |
ап |
+ |
| ап |
| |
= 0. |
Таким образом, каждый |
член |
ряда (20) |
либо |
равен |
удвоенному |
соот |
ветствующему члену ряда (19), либо равен нулю. |
|
|
|
|
|
По |
условию |
ряд |
(19) |
|
сходится. |
Но |
тогда |
сходится |
и |
ряд |
|
|
2 | я , ] - Ь 2 | а 2 |
| + |
2 | а 3 | + |
. . . |
|
' |
|
|
(19*) |
Действительно, если
то |
|
|
|
I «і 1 + 1*21+ ••• +КІ = л,*. |
|
|
|
2 | а , | + 2 | в 2 | + |
. . . + 2 | а п | = 2 Л ; . |
По условию |
ряд (19) сходится; |
значит, |
существует |
|
|
|
|
|
|
|
lim |
АП |
= |
А\ |
|
а |
тогда |
|
|
Я - » о о |
|
|
|
|
|
|
Um |
(2Л",) = |
2 |
Um |
|
Л * = 2 Л * ; |
|
|
|
|
|
|
|
|
|
|
|
л - » о о |
|
|
|
|
Г І - > С © |
|
|
следовательно, ряд |
(19*) |
сходится. |
|
|
|
|
|
|
Так как |
2 | а „ | |
ап |
+ |
|
| а „ | , то (по |
теореме |
о сравнении рядов |
с неотрицательными членами) ряд (20) сходится. |
|
|
|
Положим |
|
|
|
|
|
|
|
|
|
|
|
АП = ai + « 2 + <Ъ + • • • + ап, |
|
|
|
|
Отсюда |
1 + 1*2 І +Ы+ ••• + КІ' |
т. |
е. |
>С=(«і+|«і |
+А ' |
|
—+ | |
|
+ |
••• +а , K+KD- |
|
|
|
|
Л* — |
|
п |
а, + аг |
|
• • • + |
п |
—An — An
Ря д (19) сходится по условию, а сходимость ряда (20) нами
установлена. |
Следовательно, |
пределы |
lim |
Аа |
и lim |
Ап |
суще- |
|
|
|
П-*а> |
|
Л - » о о |
|
|
ствуют; поэтому существует |
и предел |
lim (л" |
— А'п), |
а |
значит, |
существует и |
lim А П ; следовательно, ряд (1) |
сходится. |
|
|
П- > оо
Ряд ( I ) , для которого выполняются условия дока
занной теоремы, называется абсолютно сходящимся. Таким образом, всякий абсолютно сходящийся ряд есть
вместе с тем |
ряд сходящийся. |
|
Вернемся |
к ряду |
(18) |
|
|
1 |
2 ^ 3 |
4 ^ • •• |
Согласно теореме Лейбница, этот ряд сходится. Соста вим ряд из абсолютных величин его членов:
1 + 7 + 1Г + 7 + • • •
Полученный ряд (гармонический) расходится. Значит, ряд (18) сходится, ио неабсолютпо.
Таким образом |
оказывается, что наряду с абсолют |
но сходящимися |
рядами существуют и ряды, сходя |
щиеся неабсолютно. |
Абсолютно сходящиеся ряды обладают некоторыми |
замечательными |
свойствами, которыми не обладают |
ряды, сходящиеся неабсолютно. Благодаря этим свой ствам абсолютно сходящиеся ряды имеют большое зна чение в математике и ее приложениях.
П Р И М Е Р . |
Покажем, что |
ряд |
|
|
|
|
|
|
|
|
|
|
sin а |
. sin |
2а |
, |
sin |
За |
, |
sin |
4а |
+ . . . |
|
(21) |
|
|
|
|
|
|
|
|
|
|
16 |
|
|
|
|
|
сходится (и притом абсолютно). |
|
|
|
|
|
|
|
|
|
|
Составим |
ряд |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
I sin a |
I |
|
1 sin |
2а |
[ |
1 sin |
За] |
|
[sin 4а |
| |
••• |
. |
|
2 |
т |
' |
л |
|
1 |
|
5 |
|
11 |
|
Г£ |
|
г |
( ^ ) |
|
|
4 |
|
' |
|
8 |
|
|
|
16 |
|
|
|
|
Д л я |
ряда |
(22) |
|
о„ = |
sin |
па |
» |
|
|
|
I s ' n |
|
I ^ |
1. то |
чле |
|
^ — |
т |
а к |
к а к |
п а |
ны ряда |
(22) |
не |
|
превосходят соответствующих |
членов |
сходящейся |
прогрессии
_ i . _ L . _ L .
2 - г 2 2 ~ 23 ~ **"
По теореме сравнения рядов с неотрицательными членами ряд (22) сходится. Следовательно, ряд (21) сходится и притом абсолютно.
§ 96. Функциональные ряды. Рассмотрим |
выражение |
x + x2 + x3 + . . . |
. . . . |
(23) |
і_
где x — независимая переменная. Дадим х значение-^-;
2
тогда выражение (23) обратится в числовой ряд
Этот ряд есть геометрическая прогрессия, знаменатель которой равен -^; следовательно, ряд (23*) сходится.
Положив x — |
2, получим |
числовой ряд |
|
|
|
|
|
|
2 + |
22 |
+ 23 |
+ |
|
|
|
|
|
очевидно, |
расходящийся. |
|
|
|
|
|
|
|
Слагаемые х, х1, хг |
|
из |
которых |
составлено вы |
ражение |
(23), |
суть ф у н к ц и и |
аргумента |
х; |
поэтому |
выражение (23) |
называют |
функциональным |
|
рядом. При |
определенном |
|
численном |
значении х |
ф у н к ц и о н а л ь |
н ы й ряд |
(23) |
обращается в обыкновенный |
ч и с л о в о й |
ряд. При одних значениях х получаются, |
как мы |
видим, |
сходящиеся |
числовые |
ряды, |
а |
при |
других — расходя |
щиеся. Совокупность всех значений х, при которых ряд
(23) сходится, называется областью сходимости |
ряда |
(23), а совокупность значений х, при которых ряд |
(23) |
расходится, называется областью расходимости |
ряда |
(23). Нетрудно видеть, что областью сходимости ряда
(23)является промежуток (—1,1): ряд (23) есть про грессия со знаменателем x, а прогрессия сходится лишь
при |
| J C | < 1 . Область |
расходимости |
ряда |
(23) |
состоит |
из значений х, |
удовлетворяющих |
соотношениям |
\х\^ |
1 |
или — с о |
<С л: ^ |
—1 и |
1 =sC Л' < |
+ 0 |
0 . |
|
|
|
|
|
(23) |
|
Если |
x |
находится |
в |
промежутке (—1, 1), |
то |
ряд |
имеет сумму |
і —х • |
|
зависящую |
от |
х, |
и |
значит, |
яв |
ляющуюся |
ф у н к ц и е й |
от x. |
|
|
|
|
|
|
|
|
|
Вообще функциональным рядом называется выра |
жение вида |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
И і ( * ) |
+ И г ( * ) + ••• + |
" « ( * ) |
+ |
••.«. |
|
|
|
(24) |
где |
U\(x), |
|
ІІ2(Х), |
...— |
|
функции |
одного и |
того |
же |
пере |
менного x, определенные в какой-либо области. Сово купность тех значений х, при которых ряд (24) (обра щаясь каждый раз в числовой ряд) сходится, называют областью сходимости ряда (24). Ясно, что сумма ряда
(24)есть функция от х.
Кчислу важнейших типов функциональных рядов относятся так называемые степенные ряды и тригоно
метрические ряды (ряды Фурье), которые |
и будут в |
этой главе предметом наших рассмотрений. |
|
§ 97. Степенные ряды. Степенным рядом |
называется |
функциональный |
ряд вида |
|
<2о + Û J * + |
а2хг + а 3 х 3 + . . . +aaxn+ |
(25) |
где x — независимое переменное и а0, аи |
а2, |
ап, ...— |
вещественные числа, называемые |
коэффициентами |
ряда.
Иногда рассматривают степенные ряды более общего вида: о 0 + ai (x — а) + о 2 (х — а ) 2 + • • • + ап (х — а ) " +
(а — вещественное число). Этот ряд при помощи подстановки x — а = х'
приводится к виду (25); поэтому достаточно ограничиться рассмот рением ряда (25).
Из функциональных рядов степенной ряд наиболее прост по своей структуре (членами ряда служат про стейшие степенные функции!); поэтому степенные ряды находят себе широкое применение как в математиче ском анализе, так и в его приложениях.
При x = 0 все члены ряда (25), кроме первого, ока зываются равными нулю; поэтому при х — О сумма вся кого ряда вида (25) существует и равна ао', другими словами, всякий ряд (25) сходится при х = 0.
Выясним вопрос о том, какой вид имеет область схо димости степенного ряда, сходящегося не только при
значении |
х = |
0, но |
и при |
значениях |
х, |
отличных |
от |
нуля. |
|
|
|
|
значения х Ф 0, при |
Для этого найдем сначала те |
которых |
ряд (25) сходится |
а б с о л ю т н о . |
|
|
Составим |
ряд из |
абсолютных |
величин |
членов |
ряда |
(25) |
|
|
|
|
|
|
|
|
|
+ |
+ |
I о 2 * 2 |
І + . . . |
+\апхп\+ |
. . . |
(26) |
Введем обозначение ]а„хг,\=ѵп |
и |
рассмотрим |
от |
ношение |
( п + 1)-го члена ряда (26) к л-му члену: |
|
|
Р / І + І |
|
|
|
|
|
|
|
|
tf/l |
апхп |
|
an |
|
|
|
Предположим, что существует
l i m |
ап+і |
= |
1 ф 0 . |
|
|
|
Л - » о о |
|
|
|
|
Так как х от п не зависит, то |
|
|
|
lim _ i ± L = = Hm |
«2±L | ] = | |
x l l i m |
g / l + l |
|
Ort