Числовые ряды. Учебное пособие
.pdfМинистерство цифрового развития, связи и массовых коммуникаций Российской Федерации
Федеральное государственное бюджетное образовательное учреждение высшего образования
«Сибирский государственный университет телекоммуникаций и информатики» (СибГУТИ)
Д. В. Воронин
Числовые ряды
Учебное пособие
Новосибирск
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 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
