Теория рядов. Учебное пособие
.pdfФедеральное агентство связи
Федеральное государственное образовательное бюджетное учреждение высшего профессионального образования
«Сибирский государственный университет телекоммуникаций и информатики»
(ФГОБУ ВПО «СибГУТИ»)
В. К. Трофимов Т. С. Мурзина Т. Э. Захарова
ТЕОРИЯ РЯДОВ
Учебное пособие
Рекомендовано Сибирским региональным учебно-методическим центром высшего профессионального образования для межвузовского использования в качестве учебного пособия для студентов, обучающихся по направлениям подготовки бакалавров 230100.62 «Информатика и вычислительная техника», 210700.62 «Инфокоммуникационные технологии и системы связи» и по специальности 090302.65 «Информационная безопасность телекоммуникационных систем».
Новосибирск
2013
УДК 517.3 (075.8)
В. К. Трофимов, Т. С. Мурзина, Т. Э. Захарова. Теория рядов: Учебное пособие/ СибГУТИ. – Новосибирск, 2013.– 145 стр.
В учебном пособии излагается классический раздел математического анализа – теория рядов. В книге подробно изложен теоретический материал по следующим разделам: числовые ряды, функциональные, степенные ряды и ряды Фурье. Приведены примеры решения задач, на которых продемонстрированы тонкости излагаемого материала. Кроме того, пособие содержит большое количество задач для самостоятельного решения.
Кафедра высшей математики СибГУТИ
Ил.11, список лит.- 17 наименований
Для специальностей 230100.62, 210700.62, 090302.65
Рецензенты:
д.ф.-м.н., проф. Г.Г.Черных к.т.н., доцент Е.М.Григорьев
Утверждено редакционно-издательским советом СибГУТИ в качестве учебного пособия.
© Сибирский государственный университет телекоммуникаций и информатики, 2013
2
|
ОГЛАВЛЕНИЕ |
|
Глава 1 |
Числовые ряды |
|
§1.1 |
Понятие числового ряда, сходимость ряда, умножение ряда |
|
§1.2 |
на число, сложение рядов……………………………………… |
5 |
Необходимое условие сходимости ряда……………………… |
9 |
|
§1.3 |
Свойства сходящихся рядов…………………………………… |
10 |
§1.4 |
Критерий сходимости ряда с неотрицательными членами….. |
11 |
§1.5 |
Признаки сравнения……………………………………………. |
12 |
§1.6 |
Признак Даламбера…………………………………………….. |
15 |
§1.7 |
Признак Коши…………………………………………………... |
19 |
§1.8 |
Признак Раабе…………………………………………………... |
23 |
§1.9 |
Интегральный признак сходимости ряда…………………….. |
27 |
§1.10 |
Абсолютно и условно сходящиеся ряды……………………… |
31 |
§1.11 |
Знакочередующиеся ряды……………………………………… |
33 |
§1.12 |
Признаки Дирихле и Абеля сходимости рядов………………. |
36 |
§1.13 |
Условно сходящиеся ряды…………………………………….. |
40 |
Глава 2 |
Функциональные ряды |
|
§2.1 |
Сходимость функциональных рядов…………………………. |
46 |
§2.2 |
Равномерная сходимость функциональных рядов…………… |
50 |
§2.3 |
Признак Вейерштрасса………………………………………… |
60 |
§2.4 |
Почленное интегрирование и дифференцирование |
|
§2.5 |
функциональных рядов………………………………………… |
63 |
Степенные ряды. Теорема Абеля……………………………… |
71 |
|
§2.6 |
Область сходимости степенного ряда………………………… |
73 |
§2.7 |
Вычисление радиуса сходимости степенного ряда методами |
|
§2.8 |
Даламбера и Коши……………………………………………… |
73 |
Почленное интегрирование и дифференцирование |
|
|
§2.9 |
степенных рядов………………………………………………... |
79 |
Разложение функций в степенные ряды……………………… |
84 |
|
§2.10 |
Применение рядов для приближенных вычислений…………. |
97 |
Глава 3 |
Ряды Фурье |
|
§3.1 |
Введение………………………………………………………… 104 |
|
§3.2 |
Понятие ортогональности функций на отрезке. |
|
§3.3 |
Ортогональность тригонометрических функций……………. |
104 |
Ряды Фурье. Коэффициенты Фурье………………………….. |
107 |
|
§3.4 |
Теоремы разложения………………………………………….. |
109 |
§3.5 |
Разложение в ряд Фурье чётных и нечётных функций……… |
113 |
§3.6 |
Разложение функции, заданной на части промежутка π,π |
116 |
§3.7 |
Разложение функции, заданной на промежутке а,а 2π … |
119 |
§3.8 |
Разложение в ряд Фурье периодичной функции с периодом |
|
§3.9 |
2l………………………………………………………………………… |
121 |
Приближение функции тригонометрическими многочленами |
123 |
|
§3.10 |
Сходимость в среднем. Равенство Парсеваля………………… |
127 |
§3.11 |
Ряд Фурье в комплексной форме……………………………… |
128 |
3
§3.12 Ортогональные системы функций. Ряды Фурье по |
|
|
§3.13 |
ортогональным системам………………………………………. |
130 |
Интеграл Фурье в тригонометрической форме………………. |
132 |
|
§3.14 |
Интеграл Фурье в комплексной форме……………………….. |
134 |
§3.15 Теорема Котельникова о квантовании непрерывного сигнала по времени………………………………………………………. 136
Ответы к примерам |
140 |
Литература |
145 |
4
Глава 1. Числовые ряды
§1.1 Понятие числового ряда, сходимость ряда, умножение ряда на число, сложение рядов
Пусть задана некоторая числовая последовательность an , где n –
натуральное число, то есть n N {1,2,...,n,...}. |
Выражение вида |
a1 a2 an , |
(1.1) |
где n 1,2,..., а an – действительные числа, будем называть числовым рядом.
|
|
Ряд (1.1) сокращенно записывают в виде an . Числа |
a1,a2, ,an, |
n 1 |
|
называются членами ряда, а число an– n-ым членом ряда.
Сумму n первых членов ряда (1.1) будем называть n-ой частичной суммой и обозначать Sn :
n
Sn a1 a2 an = ak .
|
|
|
|
k 1 |
|
|
|
|
|
Определение 1. Числовой |
ряд |
an |
называется сходящимся, если |
|
|
|
n 1 |
|
|
последовательность его частичных сумм Sn |
имеет конечный предел S , т.е. |
|||
lim Sn S , |
S . |
|||
n |
|
|
|
|
Число S назовем суммой ряда (1.1) и будем писать: |
||||
|
|
|
|
|
S a1 a2 an |
|
|
или |
S= an . |
|
|
|
|
n 1 |
Если же этот предел бесконечный или |
последовательность частичных |
|||
сумм Sn не имеет предела, то говорят, что ряд (1.1) расходится.
Замечание. Вопрос о сходимости ряда (1.1) в силу определения 1, равносилен вопросу о существовании предела последовательности Sn
частичных сумм этого ряда. |
|
|
|
|
||
С |
другой |
стороны, |
вопрос |
о |
сходимости |
произвольной |
последовательности u1,u2, ,un ,... (n N ) |
равносилен вопросу о сходимости |
|||||
следующего числового ряда: |
|
|
|
|
||
|
u1 (u2 |
u1) (u3 u2) (un un 1) , |
(1.2) |
|||
для которого b1 u1, b2 u2 |
u1, b3 u3 |
u2 , |
… , bn un |
un 1, … , а |
||
последовательность частичных сумм совпадает с членами последовательности
un :
S1 u1, S2 b1 b2 u2 , S3 b1 b2 b3 u3 , … , Sn b1 bn un ,… .
5
При этом предел последовательности u1,u2, ,un , … (n N ) совпадает с суммой ряда (1.2).
Таким образом, изучение бесконечного ряда и его суммы есть просто иная форма изучения последовательности и ее предела, но эта форма имеет определенные преимущества как при исследовании вопроса существования предела, так и при его вычислении.
При изучении сходимости последовательности большое значение имеет критерий Коши. Напомним этот критерий сходимости последовательности.
Критерий Коши (для последовательности). Для сходимости последовательности Sn необходимо и достаточно, чтобы для любого положительного числа ε 0 нашелся номер M такой, что для всех номеров n, удовлетворяющих условию n M , и для всех натуральных p N выполнялось
условие Sn p Sn ε.
Как следствие из этого утверждения получим критерий Коши сходимости
ряда:
Критерий Коши (для ряда). Для сходимости ряда an необходимо и
n 1
достаточно, чтобы для любого положительного числа ε 0 нашелся номер M такой, что для всех номеров n, удовлетворяющих условию n M , и для всех
|
n p |
|
|
|
|
натуральных p N выполнялось условие |
ak |
|
ε. |
|
|
|
k n 1 |
|
|
|
|
|
n |
|
|
n p |
|
Доказательство. В нашем случае |
Sn ak и |
Sn p |
ak . Тогда |
||
|
k 1 |
|
k 1 |
||
n p
Sn p Sn ak . Отсюда, из определения сходимости ряда и критерия Коши
k n 1
для последовательности вытекает справедливость утверждения.
Что и требовалось доказать.
Установим, что конечное число членов ряда не влияет на его сходимость или расходимость. Более точно справедливо следующее утверждение.
Лемма 1. Отбрасывание конечного числа членов ряда (или добавление конечного числа членов) не влияет на сходимость или расходимость этого ряда.
Доказательство. Рассмотрим ряд
|
|
|
|
a1 a2 an |
= ak |
(1.3) |
|
Наряду с рядом (1.3) рассмотрим ряд |
k 1 |
|
|
|
|
|
|
|
|
|
|
at 1 at 2 an = |
ak , |
(1.4) |
|
k t 1
полученный из ряда (1.3) отбрасыванием первых t членов.
6
Если обозначить Sn a1 a2 ... an |
сумму первых n членов ряда (1.3) |
||
и S~n t at 1 at 2 ... an |
сумму n–t |
первых членов ряда |
(1.4), то |
справедливо равенство |
S~n t . |
|
|
Sn St |
|
(1.5) |
|
В равенстве (1.5) перейдем к пределу при n . Так как limSt |
St , то, |
||
|
|
n |
|
учитывая, что предел суммы равен сумме пределов, получаем |
|
||
lim Sn |
St lim S~n t . |
|
(1.6) |
n |
n |
|
|
Из последнего равенства вытекает, что последовательности Sn и S~n t одновременно либо имеют предел, либо его не имеют. Это означает, что из сходимости ряда (1.3) следует сходимость ряда (1.4) и его сумма равна S St , а из расходимости (1.3) следует расходимость (1.4). Верно и обратное утверждение.
Таким образом, отбрасывание (или добавление) конечного числа членов ряда не влияет на сходимость ряда, а влияет только на значение суммы ряда.
Лемма доказана.
Приведем некоторые примеры.
Пример 1. Исследовать на сходимость ряд qn 1 , где q –произвольное
n 1
число.
► Решение. Этот ряд представляет собой геометрическую прогрессию с первым членом 1 и знаменателем q. Используем известную формулу для суммы n первых членов геометрической прогрессии (при q 1):
|
|
|
|
|
|
n |
|
|
1 q |
n |
|
1 |
|
q |
n |
|||||
|
|
|
|
|
Sn qk 1 |
|
|
|
|
|
|
|
. |
|||||||
|
|
|
|
|
|
1 q |
|
|
1 q |
|
|
|||||||||
|
|
|
|
|
|
k 1 |
|
|
|
|
1 q |
|||||||||
а) Если |
|
q |
|
1, то qn 0 |
при n , и, следовательно, |
|||||||||||||||
|
|
|||||||||||||||||||
|
|
|
|
limS |
|
|
1 |
|
|
qn |
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
n |
lim |
|
|
|
|
|
|
|
= |
|
. |
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
n |
|
1 q |
1 q |
|
|
1 q |
|
|
|
|
||||||
|
|
|
|
|
n |
|
|
|
|
|
|
|||||||||
Значит, |
если |
|
q |
|
1, то последовательность Sn имеет конечный предел, |
||||||||||||||||
|
|
||||||||||||||||||||
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
равный |
|
, т.е. ряд qn 1 сходится при |
|
q |
|
1 и его сумма S |
|
|
. |
||||||||||||
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|||||||||||||||
1 q |
|
|
|
|
n 1 |
|
|
|
|
|
|
|
n |
1 q |
|||||||
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
1 q |
|
|
|
||
б) Если q 1, то q |
|
|
|
|
|
|
|
|
|
|
|
|
. |
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
при n , и тогда limSn lim |
1 q |
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
n |
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
В случае |
q 1 предел последовательности частичных сумм ряда qn 1 не |
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
q p, |
p 1, |
n 1 |
||||
существует. |
Действительно, |
обозначив |
|
запишем |
|||||||||||||||||
7
S |
|
|
( 1)n 1 pn 1 |
|
|
limS |
|
lim |
p2k 1 1 |
||||||
n |
|
|
|
|
и |
заметим, |
что |
2к 1 |
|
, а |
|||||
|
|
|
1 p |
|
|
k |
n |
1 p |
|||||||
limS |
2к |
lim |
p2k 1 |
. Это |
означает, |
что |
предел последовательности |
||||||||
1 p |
|
||||||||||||||
k |
n |
|
|
|
|
|
|
|
|||||||
Sn не существует.
Таким образом, при q 1 ряд qn 1 расходится.
n 1
в) Если q=1, то ряд имеет вид
1 + 1 +…+ 1 +…
В этом случае Sn |
n и limSn |
|
|
limn , а значит, ряд |
qn 1 |
||
|
n |
n |
n 1 |
|
|
|
расходится при q=1.
г) Если q= –1, то ряд имеет вид
1 – 1 + 1 –1+…
и его частичные суммы запишутся следующим образом: S2n 0; S2n 1 1. Это означает, что не существует предел последовательности частичных сумм
получившегося ряда, а значит, ряд qn 1 расходится в случае q= –1. ◄
n 1
1
Пример 2. Доказать сходимость ряда n 1 n(n 1)(n 2) и найти его
сумму.
► Решение. Заметим, что
a |
n |
|
1 |
|
(n 2) n |
|
|
1 |
|
1 |
, |
|
n(n 1)(n 2) |
2n(n 1)(n |
2) |
2n(n 1) |
2(n 1)(n 2) |
||||||||
|
|
|
|
|
|
то есть
1
an bn bn 1, где bn 2n(n 1).
Легко видно, что существует конечный предел последовательности bn при n (он равен нулю). Запишем n-ую частичную сумму исходного ряда:
Sn b1 b2 b2 b3 bn bn 1 b1 bn 1.
Вычислим предел последовательности этих частичных сумм Sn при n :
limS |
n |
lim(b |
b |
) limb |
limb |
b . |
n |
n 1 |
n 1 |
n 1 |
n n 1 |
1 |
Этот предел существует и равен b1, а значит и сумма исходного ряда
равна b |
1 |
|
1 |
.◄ |
|
|
|
|
2 1 (1 1) |
|
|
|
|
|
|||
1 |
4 |
|
|
|
|
|
||
|
|
|
|
|
1 |
|
|
|
Пример 3. Доказать, что ряд |
|
расходится. |
||||||
|
|
|
||||||
|
|
|
||||||
|
|
|
|
n 1 |
|
n |
||
8
► Решение. Так как при любом k 1, 2, , n выполняется неравенство
|
|
|
|
1 |
|
|
1 |
|
|
|
, |
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
k |
|
|
n |
|
|
|
|
|||||||||
|
|
|
n |
1 |
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|||
то |
|
Sn |
|
n |
|
|
|
n |
. |
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
n |
|
|
|
|
|||||||||||||||
|
|
|
k 1 |
|
k |
|
1 |
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Поэтому limSn |
lim |
n |
и, следовательно, ряд |
|
расходится. ◄ |
||||||||||||||||||||
|
|
|
|||||||||||||||||||||||
|
|
|
|||||||||||||||||||||||
n |
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n 1 |
|
n |
||
§1.2 Необходимое условие сходимости ряда
В этом параграфе рассмотрим необходимое условие сходимости ряда и достаточное условие расходимости ряда.
Теорема 1. (необходимое условие сходимости ряда). Если ряд (1.1)
сходится, то его n-ый член стремится к нулю при неограниченном
возрастании n, то есть: liman 0.
n
Доказательство. Пусть ряд an сходится, это означает, что существуют
n 1
конечные пределы последовательностей Sn и Sn 1 частичных сумм ряда, так как при n величина (n 1) также стремится к бесконечности. Заметим, что
an Sn Sn 1.
В последнем равенстве перейдем к пределу при n . Учитывая, что в нашем случае предел разности равен разности пределов, имеем:
lim an |
lim(Sn |
Sn 1) lim Sn |
lim Sn 1 S S 0. |
n |
n |
n |
n |
|
|
|
Что и требовалось доказать. |
Это условие не является достаточным для сходимости ряда: из того, что
liman 0 не следует, что ряд сходится, он может как сходиться, так и
n
расходиться. Например, ряд из примера 3 удовлетворяет условию liman 0,
n
но расходится. Но если n-й член ряда (1.1) не стремится к нулю при n , то этот ряд расходится. Таким образом, можно сформулировать достаточный признак расходимости ряда:
Следствие (достаточное условие расходимости ряда). Если n-й член ряда
(1.1) не стремится к нулю при n , то этот ряд расходится.
Ряд
– а + а –а+…
расходится потому, что для его n-го члена lim an a 0.
n
9
Задачи для самостоятельного решения.
1-11. Проверить выполнение необходимого признака сходимости:
|
|
|
|
|
|
n |
|
|
|
|
n 2 |
n |
|
|
|
|
|
|
|
|
1 |
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
1. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3. sin |
|
|
4 |
|
|||||||||
|
n 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
n 1 |
|
|
|
|
n 1 n |
3 |
|
|
|
|
|
|
|
|
|
n 1 |
n |
|
|
|
|
||||||||||||||||||||||||||
|
|
3n |
3 |
|
1 |
|
|
|
|
|
|
n |
2 |
|
3 |
|
|
|
|
|
|
|
n |
2 |
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
4. |
n |
2 |
1 |
|
|
|
|
5. |
2n |
3 |
1 |
|
|
|
|
|
6. tg |
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
n 2 |
|
|
|
|
|
|
|
n 1 |
|
|
|
|
|
|
|
n 1 |
n 1 |
|
|||||||||||||||||||||||||||||
|
|
|
|
|
n 4 |
|
|
|
|
|
|
|
|
|
n |
2 |
3 |
|
|
|
|
|
|
|
||||||||||||||||||||||||
7. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
1 3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
9. cos |
|
|
|
|
|
|
|||||||||||||||||
|
|
3 |
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
n |
|
|
|
|
8. ln |
|
|
n |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
|
n 1 |
|
|
|
8 |
|
|
|
|
n 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n 1 |
n |
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
11. |
ctg |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
10. |
|
|
|
|
n 2 |
|
|
|
|
|
|
2 |
|
|
5 |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
n 1 |
|
|
|
|
|
|
n 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
§1.3 Свойства сходящихся рядов
Докажем несколько свойств сходящихся рядов, которые будут полезны в дальнейшем.
|
|
|
Свойство 1. Для произвольного числа c 0 два ряда |
an |
и can |
|
n 1 |
n 1 |
сходятся или расходятся одновременно. В случае их сходимости
can =c an .
n 1 n 1
Доказательство. Обозначим через An частичные суммы ряда an , а через Bn
n 1
частичные суммы ряда can . Тогда имеем
n 1
n n
Bn = cak =c ak =cAn .
k 1 |
k 1 |
Из этого равенства и из свойств последовательностей следует, что последовательности An и Bn сходятся или расходятся одновременно. Кроме того, если предел последовательности Bn существует, то справедливо равенство
limBn climAn ,
n n
из которого и следует утверждение
can =c an .
n 1 n 1
Что и требовалось доказать.
10
