Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Числовые ряды. Учебное пособие

.pdf
Скачиваний:
0
Добавлен:
15.08.2026
Размер:
1 Мб
Скачать

Министерство цифрового развития, связи и массовых коммуникаций Российской Федерации

Федеральное государственное бюджетное образовательное учреждение высшего образования

«Сибирский государственный университет телекоммуникаций и информатики» (СибГУТИ)

Д. В. Воронин

Числовые ряды

Учебное пособие

Новосибирск

2021

УДК 512.64+514.742.2+514.12

Утверждено редакционно-издательским советом СибГУТИ

Рецензенты: канд. техн. наук., доц. И.В. Нечта,

канд. физ.-мат. наук, доц. Е.Б. Сибиряков

Воронин Д.В. Числовые ряды: Учебное пособие / Д. В. Воронин ; Сибирский государственный университет телекоммуникаций и информатики ; каф. высшей математики. – Новосибирск, 2021. – 50 с.

В пособии излагается классический раздел математического анализа – числовые ряды. Предназначено для использования в учебном процессе преподавателями и студентами при изучении математики в соответствии с требованиями государственных образовательных стандартов по направлению подготовки бакалавров факультета ИВТ СибГУТИ 01.03.02 «Прикладная математика и информатика».

Работа подготовлена на кафедре высшей математики СибГУТИ.

©Воронин Д.В., 2021

©Сибирский государственный университет телекоммуникаций и информатики, 2021

2

Содержание

 

Предисловие

4

§ 1. Понятие числового ряда, сходимость ряда, умножение ряда на число,

 

сложение рядов

 

1.1. Определения

5

1.2. Критерий Коши сходимости ряда

7

1.3. Свойства сходящихся рядов

7

1.4. Примеры числовых рядов

10

1.5. Задачи для самостоятельной работы

15

§ 2. Положительные числовые ряды. Признаки сходимости и расходимости

 

положительных числовых рядов

 

2.1. Необходимое и достаточное условие сходимости

 

положительного ряда

16

2.2. Признаки сравнения

17

2.3. Достаточные признаки Даламбера и Коши

21

2.4. Достаточные признаки Раабе, Куммера, Бертрана, Гаусса

24

2.5. Интегральный признак Коши-Маклорена,

 

”телескопический" признак Коши и признак Ермакова

27

2.6. Примеры применения признаков сходимости

30

2.7. Задачи для самостоятельной работы

35

§ 3. Знакопеременные числовые ряды

 

3.1. Абсолютная и условная сходимости рядов

36

3.2. Знакочередующийся ряд. Признак Лейбница

41

3.3. Признаки сходимости произвольных числовых рядов

42

3.4. Примеры

45

3.5. Задачи для самостоятельной работы

48

Литература

49

3

Предисловие

В пособии излагается классический раздел математического анализа – числовые ряды. Оно написано на основе лекционной и практической работы автора со студентами СибГУТИ, НГТУ и НГУ. Пособие состоит из трех разделов: понятие числового ряда, положительные числовые ряды, знакопеременные числовые ряды. Каждый раздел дополнен образцами решения задач по предварительно изложенному теоретическому материалу. Основные теоремы обычного вузовского курса теории числовых рядов в пособии доказаны. Некоторые дополнительные теоремы приведены без доказательств, с которыми, однако, можно ознакомиться с помощью монографий Г.М. Фихтенгольца [2] или Н.М. Абасова, А.С. Запреева [3]. Данное пособие является исправленным и дополненным изданием предыдущего пособия Д.В. Воронина [4]. В этом издании данного пособия исправлены некоторые неточности, а также добавлен практический материал.

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

4

§ 1. Понятие числового ряда, сходимость ряда, умножение ряда на число, сложение рядов

1.1. Определения

Будем обозначать через N множество натуральных чисел: N 1,2,3...

Определение 1. Числовым рядом называется бесконечная сумма чисел, расположенных в определенном порядке. Каждое число в этой сумме называется членом ряда.

Символическая запись:

a

a

2

... a

n

1

 

 

... an n 1

.

(1.1)

Формула для числа an, с помощью которой можно получить любой член ряда в зависимости от его номера, называется формулой общего члена ряда или n-го члена ряда. Само множество {an} образует последовательность, каждый член которой является функцией целочисленного аргумента an = f(n).

Пример 1.

 

 

1

 

 

1

 

 

1

 

 

 

 

 

1

 

 

 

 

1

 

...

 

...

 

гармонический ряд

2

3

n

n

 

 

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Здесь

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

1

a

1, a

 

 

 

1

, a

 

 

1

,.....

n

 

 

5

 

 

 

 

 

 

n

 

1

 

 

 

 

5

 

100

100

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Замечание 1. Нумерацию членов ряда иногда удобнее начинать не с

единицы, а с нуля или с некоторого натурального числа, большего единицы.

 

Определение 2. Рассмотрим последовательность конечных сумм членов

ряда (1.1):

 

 

 

 

 

 

 

 

 

 

,...; n N .

 

S

a

, S

2

a a

2

,..., S

n

a a

2

... a

n

(1.2)

1

1

 

1

 

1

 

 

Члены последовательности (1.2) называются частичными суммами ряда

(1.1), соответственно, число

 

n

Sn

ak

 

k 1

n-ой частичной суммой ряда (1.1).

Числовой ряд (1.1) называется сходящимся, если существует конечный предел последовательности частичных сумм (1.2):

 

n

 

 

lim Sn

lim ak

S .

(1.3)

n

n k 1

 

 

5

Если же предел S бесконечный (то есть, S = + или S = - ), либо предела последовательности частичных сумм не существует, то ряд (1.1) называется

расходящимся.

Конечный или бесконечный предел А называется суммой ряда (1.1) и символически записывают

 

 

 

S an

,

 

 

 

n 1

 

а сумма

 

 

 

 

 

Rn

an

 

k n 1

 

(1.4)

называется n-ым остатком ряда (1.1), понимая под этими записями (в отличие от понятия суммы конечного числа слагаемых) пределы последовательностей соответствующих частичных сумм вида (1.3).

Пример. Рассмотрим бесконечную сумму членов арифметической прогрессии

a

(a

d ) (a

2d ) ... (a

nd) ...

 

 

 

1

 

 

1

 

 

 

1

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

(n 1)d ,

1

 

 

 

 

 

 

 

1 3 5 7 ...

 

1,

d 2.

Например,

 

 

a

a

 

 

 

 

 

 

 

 

 

 

n 0

 

 

 

 

 

 

Последовательность частичных сумм имеет вид:

 

 

 

 

 

 

 

a a

n

 

 

2a d (n 1)

n при n

 

 

 

S

 

1

 

n

1

 

 

 

 

n

 

2

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Вывод: данный ряд расходится (при a1

0, d 0).

 

 

 

Теорема 1. Произвольное изменение первых n членов ряда не влияет на сходимость или расходимость этого ряда.

Доказательство.

Представим ряд в виде суммы двух слагаемых:

где

 

S

k 1

S

n

 

a

 

k

 

 

n

 

 

k 1

S

n

 

a

 

,

k

 

Rn

A

Rn ak

k n 1

Зафиксируем значение n. Тогда Sn – константа. Запишем новый ряд, где заменим величину А другим значением В (что соответствует произвольному изменению первых n слагаемых ряда). Если исходный ряд сходится, то Rn и S = А + Rn – константы. Тогда В + Rn – константа, и новый ряд также сходится.

6

Пусть исходный ряд расходится, т.е. S не существует в виде константы (как и Rn). Тогда В + Rn – не является константой, и новый ряд также расходится.

1.2. Критерий Коши сходимости ряда

Так как вопрос о сходимости ряда по определению 2 эквивалентен вопросу о сходимости последовательности его частичных сумм, то напомним критерий Коши сходимости последовательности.

Для сходимости последовательности {Sn} необходимо и достаточно, чтобы для любого положительного числа > 0 нашелся номер М такой, что для всех номеров n, удовлетворяющих условию n М, и для всех натуральных р N выполнялось условие

S

n p

S

n

.

 

 

 

Как следствие из этого утверждения получаем основную теорему.

Теорема 2 (Критерий Коши). Для сходимости ряда

an

n 1

необходимо и

достаточно, чтобы для любого положительного числа > 0 нашелся номер М такой, что для всех номеров n удовлетворяющих условию n М, и для всех натуральных р N выполнялось условие

n p

 

ak

.

k n 1

 

(1.5)

Доказательство. Для доказательства теоремы достаточно заметить, что выражение, стоящее под знаком модуля в неравенстве (1.5), есть разность (n + р)-ой и n-ой частичных сумм ряда: Sn+p - Sn , и, следовательно, критерий Коши для рядов является просто переформулировкой критерия Коши для конкретной последовательности – последовательности частичных сумм. Заметим, что критерий Коши представляет в основном теоретический интерес, так как его использование для исследования конкретных рядов затруднительно. Поэтому ниже будут приведены более эффективные в практическом отношении признаки сходимости и расходимости рядов.

1.3 Свойства сходящихся рядов

В этом пункте рассмотрим свойства сходящихся числовых рядов, которые являются следствиями соответствующих свойств сходящихся числовых последовательностей.

7

Теорема 3. Если ряд

ak

k 1

сходится, то последовательность n-ых

остатков ряда rn ak является бесконечно малой.

k n 1

Доказательство. Для доказательства достаточно показать, что для любого > 0 найдется номер М, такой, что для любого n М имеет место неравенство:

r

,

n

 

которое следует непосредственно из определения 2 сходимости ряда к своей сумме А и из определения предела последовательности. А именно, условие сходимости последовательности частичных сумм рассматриваемого ряда к пределу А означает, что для любого > 0 найдется номер М такой, что

 

n

 

n

 

k

 

 

 

k

 

 

 

k

n

 

 

 

 

 

 

 

 

 

 

 

 

S

 

A

 

a

 

 

 

a

 

 

 

a

 

r

, n M

 

 

 

k 1

 

 

 

k 1

 

 

 

k n 1

 

 

 

Что и требовалось доказать.

Теорема 4 (Необходимый признак сходимости ряда).

Для сходимости ряда

an

n 1

необходимо, чтобы последовательность {аn}

была бесконечно малой, то есть, чтобы

lim a

n

0

.

n

 

 

 

 

Доказательство.

Составим две частичные суммы:

(1.6)

S

n

a

a

... a

a

 

 

 

 

 

 

1

 

2

 

n 1

 

n

 

 

и

S

n 1

a a

... a

 

 

 

 

 

 

 

 

1

 

2

n 1

 

 

 

 

 

 

 

 

 

 

 

 

Пусть ряд сходится, тогда

 

 

 

 

lim S

n

S const

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim S

 

 

 

n 1 l

 

lim S

 

S

 

n 1

n l

l

 

n

 

l

 

 

 

 

 

 

 

Так как

an

Sn

Sn 1

 

 

 

 

8

lim a

n

lim S

n

n

n

 

 

Следствие. Если

S

n 1

 

S S 0

 

 

 

 

lim a

n

0 ряд расходится

n

 

 

 

 

 

Теорема 5 (Алгебраические свойства рядов). Для сходимости ряда

an

n 1

необходимо и достаточно, чтобы сходился ряд

can n 1

, где с 0 —

произвольное число. Если ряд сходится, то:

через

 

 

 

can

c an .

(1.7)

n 1

n 1

 

Доказательство. Обозначим через Sn частичные суммы первого ряда, а

Sn

– частичные суммы второго. Тогда имеем

 

 

 

n

n

 

 

Sn

cak

c ak

cS n

 

 

k 1

k 1

.

 

 

 

Из этого равенства и из свойств последовательностей следует, что последовательности Sn и Sn сходятся и расходятся одновременно. Кроме того,

если предел последовательности

Sn

существует, то справедливо равенство

lim S

n

n

 

c lim S

n

n

 

,

из которого и следует последнее утверждение данной теоремы.

Теорема 6 (Алгебраические свойства рядов). Если ряды

an

n 1

и

 

 

 

 

 

b

 

 

 

сходятся, тогда сходится ряд an

bn и справедливо равенство

n

n 1

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

an

bn an

bn .

(1.7)

 

n 1

n 1

n 1

 

Доказательство. Обозначим символами Сn, Аn, Bn

частичные суммы

соответствующих рядов, тогда очевидны равенства

 

 

n

n

n

 

 

Cn ak bk ak bk An Bn .

 

k 1

k 1

k 1

 

 

 

9

 

 

Из этого равенства и из свойств последовательностей следует, что предел последовательности {Сn} существует и, кроме того, выполняется равенство

limC

n

n

 

lim A

n

n

 

lim B

n

n

 

.

1.4. Примеры числовых рядов

Пример 1

Простейшим примером бесконечного числового ряда является сумма бесконечного числа членов геометрической прогрессии

a, aq, aq

2

,..., aq

n 1

,...,

 

 

 

 

то есть

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a aq aq

2

... aq

n 1

 

... aq

n 1

 

 

 

 

 

 

 

 

 

 

 

n 1

 

.

(1.8)

Ниже будем называть ряд вида (1.8) рядом геометрической прогрессии.

Ее n-ая частичная сумма легко находится, если воспользоваться

непосредственно проверяемым тождеством:

 

 

 

 

 

q

 

... q

 

 

q

 

1 q

 

 

 

 

1 q 1 q q

2

... q

n 1

1 q q q

2

2

n 1

n

n

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Тогда при q 1 имеем

 

 

 

 

 

 

 

 

 

 

 

a 1 qn

 

 

 

 

 

 

 

 

 

 

 

Sn

a aq ... aqn 1

a 1 q ... qn 1

,

 

 

 

 

(1.9)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 q

 

 

 

 

 

 

 

 

 

а

при q = 1 имеем

 

Sn = аn. Из этих выражений

очевидно,

 

что

при

q 1

 

 

 

 

 

 

 

 

 

 

 

 

S

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

последовательность

 

 

 

 

 

имеет конечный предел (так как последовательность

 

 

n

n 1

q

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

n 1 образует бесконечно малую последовательность):

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim Sn

 

a

 

 

 

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 q

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

следовательно, ряд (1.8) сходится к сумме

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

aqn 1

 

 

 

 

.

 

 

 

 

 

 

 

 

 

(1.10)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

1 q

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

При

q

1

— ряд (1.8) расходится. Действительно:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Если q 1,

lim S

n

 

, в зависимости от знака числа a.

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

S

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Если же

q 1, то последовательность

 

n

 

n 1

не имеет предела.

 

 

 

 

 

При q 1, последовательность принимает значения 1,0,1,0,.... То есть из

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k 1

 

 

 

 

нее можно выбрать две подпоследовательности:

S2k 1 k 1 и S2k

, которые

 

 

 

 

 

 

 

 

 

 

 

 

 

 

10

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]