Файл: Тарасов, Н. П. Курс высшей математики для техникумов учебник.pdf

ВУЗ: Не указан

Категория: Не указан

Дисциплина: Не указана

Добавлен: 16.10.2024

Просмотров: 183

Скачиваний: 2

ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.

' § 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

\ ) + . . .

320.


Если ап

^ 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 ^ • ••

I I Н, П, Тарасов

321


Согласно теореме Лейбница, этот ряд сходится. Соста­ вим ряд из абсолютных величин его членов:

1 + 7 + 1Г + 7 + • • •

Полученный ряд (гармонический) расходится. Значит, ряд (18) сходится, ио неабсолютпо.

Таким образом

оказывается, что наряду с абсолют­

но сходящимися

рядами существуют и ряды, сходя­

щиеся неабсолютно.

Абсолютно сходящиеся ряды обладают некоторыми

замечательными

свойствами, которыми не обладают

ряды, сходящиеся неабсолютно. Благодаря этим свой­ ствам абсолютно сходящиеся ряды имеют большое зна­ чение в математике и ее приложениях.

П Р И М Е Р .

Покажем, что

ряд

 

 

 

 

 

 

 

 

 

 

sin а

. sin

,

sin

За

,

sin

+ . . .

 

(21)

 

 

 

 

 

 

 

 

 

 

16

 

 

 

 

 

сходится (и притом абсолютно).

 

 

 

 

 

 

 

 

 

 

Составим

ряд

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

I sin a

I

 

1 sin

[

1 sin

За]

 

[sin

|

•••

.

 

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) обратится в числовой ряд

i + i-+-w+

•••

(23*)

Этот ряд есть геометрическая прогрессия, знаменатель которой равен -^; следовательно, ряд (23*) сходится.

322


Положив 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)

И *

323


где 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

=1 x\l.

324