для ряда

Министерство образования и науки Российской Федерации
НОВОСИБИРСКИЙ ГОСУДАРСТВЕННЫЙ ТЕХНИЧЕСКИЙ
УНИВЕРСИТЕТ
Э.Г. СОСНИНА
ЧИСЛОВЫЕ И ФУНКЦИОНАЛЬНЫЕ РЯДЫ
Конспект лекций по математическому анализу
для студентов I курса факультета Бизнеса экономической специальности
НОВОСИБИРСК
2014
I. ЧИСЛОВЫЕ РЯДЫ
-------------------------------------1. Определение числового ряда. Сходимость ряда.
Свойства сходящихся рядов.
Пусть задана бесконечная последовательность чисел 𝑎1 , 𝑎2 , 𝑎3 , … , 𝑎𝑛 , ..
Определение 1. Числовым рядом называется сумма
𝑎1 + 𝑎2 + 𝑎3 + ⋯ + 𝑎𝑛 + ⋯ = ∑∞
𝑛=1 𝑎𝑛
а члены последовательности
𝑎1 , 𝑎2 , 𝑎3 , … , 𝑎𝑛 , .. называются членами ряда.
Чтобы задать числовой ряд, необходимо задать члены ряда как функцию
номера 𝑎𝑛 = 𝑓(𝑛). В этом случае 𝑎𝑛 называется общим членом ряда.
Приведём примеры числовых рядов:
1
1
1
2
3
𝑛
1) Гармонический ряд: 1 + + + ⋯ + + ⋯ = ∑∞
𝑛=1 𝑎𝑛
𝑛−1
2) Геометрическая прогрессия: 𝑎 + 𝑎𝑞 + 𝑎𝑞 2 + ⋯ + 𝑎𝑞 𝑛−1 + ⋯ = ∑∞
𝑛=1 𝑎𝑞
3)
1
1∙2
+
1
2∙3
+
1
3∙4
+⋯+
1
𝑛(𝑛−1)
+ ⋯ = ∑∞
𝑛=1
1
𝑛(𝑛−1)
Определение 2. Сумма n первых членов ряда называется n—ой частичной
суммой ряда и обозначается символом 𝑆𝑁 :
𝑆1 = 𝑎1 , 𝑆2 = 𝑎1 + 𝑎2 , 𝑆3 = 𝑎1 + 𝑎2 + 𝑎3 , … , 𝑆𝑛 = 𝑎1 + 𝑎2 + 𝑎3 + ⋯ + 𝑎𝑛
Очевидно, частичные суммы ряда образуют бесконечную
последовательность {𝑆𝑛 } .
Определение 3. Числовой ряд называется сходящимся, если существует
конечный предел последовательности {𝑆𝑛 } частичных сумм ряда,
т.е.∃ lim 𝑆𝑛 = 𝑆 < ∞
𝑛→∞
Значение S этого предела называется суммой ряда.
Рассмотрим примеры сходящихся рядов.
Пример 1.∑∞
𝑛=1
1
𝑛(𝑛−1)
=
1
1∙2
+
1
2∙3
+
1
3∙4
+⋯+
1
𝑛(𝑛−1)
+⋯
𝑆𝑛 =
1
1
1
1
+
+
+ ⋯+
=
1∙2 2∙3 3∙4
𝑛(𝑛 − 1)
1
1 1
1 1
1
1
1
= (1 − ) + ( − ) + ( − ) + ⋯ + ( −
)=1−
2
2 3
3 4
𝑛 𝑛+1
𝑛+1
1
⇒ lim 𝑆𝑛 = lim (1 −
)=1
𝑛⟶∞
𝑛→∞
𝑛+1
Таким образом, ряд сходится и его сумма 𝑆 = 1 .
Пример 2. Исследуем на сходимость геометрическую прогрессию
∞
∑ 𝑎 + 𝑎𝑞 + 𝑎𝑞 2 + ⋯ + 𝑎𝑞 𝑛 + ⋯
𝑛=1
𝑎(1 − 𝑞 𝑛 )
𝑆𝑛 = 𝑎 + 𝑎𝑞 + 𝑎𝑞 + ⋯ + 𝑎𝑞 =
1−𝑞
𝑛)
𝑎(1−𝑞
𝑎
1) |𝑞| < 1 ⇒ lim 𝑞 𝑛 = 0 ⇒ lim 𝑆𝑛 = lim
=
2
𝑛→∞
𝑛⟶∞
𝑛
𝑛
𝑛→∞
1−𝑞
1−𝑞
2) |𝑞| > 1 ⇒ lim 𝑞 = ∞ ⇒ lim 𝑆𝑛 = ∞
𝑛→∞
𝑛⟶∞
3) 𝑞 = 1 ⇒ 𝑆𝑛 = 𝑎𝑛 ⇒ lim 𝑆𝑛 = ∞
4) 𝑞 = −1 ⇒ 𝑆𝑛 = 𝑎
𝑛⟶∞
1−(−1)𝑛−1
2
⇒ lim 𝑆𝑛 ∄.
𝑛⟶∞
Таким образом, геометрическая прогрессия сходится только в том случае,
если знаменатель прогрессии удовлетворяет условию |𝑞| < 1. При этом
𝑎
сумма прогрессии 𝑆 =
.
1−𝑞
Остаток числового ряда
===================
Пусть задан числовой ряд 𝑎1 + 𝑎2 + 𝑎3 + ⋯ + 𝑎𝑛 + 𝑎𝑛+1 + 𝑎𝑛+2 + ⋯
Определение 4.Остатком числового ряда называется ряд
𝑟𝑛 = 𝑎𝑛+1 + 𝑎𝑛+2 + ⋯ = ∑∞
𝑘=𝑛+1 𝑎𝑘
Теорема 1. Если ряд сходится, то его остаток 𝑟𝑛 → 0 при 𝑛 → 0 .
Доказательство
Очевидно, что ∑∞
𝑛=1 𝑎𝑛 = 𝑆𝑛 + 𝑟𝑛 = 𝑆
Так как это равенство справедливо при любом n, то можно в нём перейти к
пределу при 𝑛 → ∞:
lim 𝑆 = lim (𝑆𝑛 + 𝑟𝑛 ) ⇒ 𝑆 = lim 𝑆𝑛 + lim⁡ 𝑟𝑛
𝑛→∞
𝑛→∞
𝑛→∞
𝑛→∞
Но для сходящегося ряда lim 𝑆𝑛 = 𝑆, откуда следует, что
𝑛→∞
𝑆 = 𝑆 + lim⁡ 𝑟𝑛 ⟹ lim⁡ 𝑟𝑛 = 0
𝑛→∞
𝑛→∞
( доказано).
Определение 5. Числовой ряд называется расходящимся, если предел
последовательности частичных сумм ряда равен бесконечности или не
существует.
Свойства сходящихся рядов
Свойство 1. Отбрасывание конечного числа первых членов ряда не
∞
сказывается на его сходимости, т.е. ряды ∑∞
𝑛=1 𝑎𝑛 и ∑𝑛=𝑘 𝑎𝑘
сходятся и расходятся одновременно.
Свойство 2. Общий множитель членов ряда можно выносить за знак
∞
суммы, т.е.⁡∑∞
𝑛=1 𝑐𝑎𝑛 = 𝑐 ∑𝑛=1 𝑎𝑛 .
Свойство 3.Сходящиеся ряды можно почленно складывать, т.е.,если
∞
= 𝑆1 и ∑∞
𝑛=1 𝑏𝑛 = 𝑆2 , то ∑𝑛=1(𝑎𝑛 ± 𝑏𝑛 ) = 𝑆1 ± 𝑆2 .
∑∞
𝑛=1 𝑎𝑛
Свойство 4. Если в сходящемся ряде объединить соседние члены в группы,
не изменяя порядка членов, и найти суммы этих групп, то ряд, составленный
из полученных сумм, будет также сходится, причём к той же сумме, что и
исходный ряд.
Это свойство называется ассоциативностью ряда.
Необходимый признак сходимости ряда
Теорема 2. Если ряд сходится, то его общий член стремиться к нулю.
Доказательство
Пусть ряд ∑∞
𝑛=1 𝑎𝑛 сходится. Тогда lim 𝑆𝑛 = 𝑆. Очевидно,
𝑛→∞
что lim 𝑆𝑛−1 = 𝑆. Но 𝑆𝑛 = 𝑆𝑛−1 + 𝑎𝑛 . Следовательно
𝑛→∞
lim 𝑆𝑛 = lim 𝑆𝑛−1 + lim 𝑎𝑛 ⇒ 𝑆 = 𝑆 + lim 𝑎𝑛 .
𝑛→∞
𝑛→∞
Значит lim 𝑎𝑛 = 0.
𝑛→∞
𝑛→∞
𝑛→∞
Теорема доказана.
Следствие ( достаточный признак расходимости ряда ) Если общий член ряда
не стремится к нулю, то ряд расходится.
2 .Ряды с положительными членами
В настоящем разделе будем рассматривать ряды ∑∞
𝑛=1 𝑎𝑛 ,
∞
∞
∑𝑛=1 𝑏𝑛 ,...,⁡∑𝑛=1 𝑐𝑛 , члены которых удовлетворяют условию 𝑎𝑛 , 𝑏𝑛 , … , 𝑐𝑛 ≥ 0.
Признаки сравнения рядов
Теорема 3. ( Первый признак сравнения ) Пусть даны два положительны
∞
ряда ∑∞
𝑛=1 𝑎𝑛 и ∑𝑛=1 𝑏𝑛 , причём, начиная с некоторого места, члены первого
ряда не превосходят соответствующих членов второго:
𝑎𝑛 ≤ 𝑏𝑛 , 𝑛 = 𝑘, 𝑘 + 1, … , …
Тогда из сходимости второго ряда следует сходимость первого, а из
расходимости первого ряда следует расходимость второго.
Доказательство
Так как отбрасывание конечного числа первых членов ряда не влияет на
его сходимость, можно считать, что условие 𝑎𝑛 ≤ 𝑏𝑛 выполняется для всех n,
начиная с n=1. Рассмотрим частичные суммы рядов 𝑆𝑛1 и 𝑆𝑛2 . Из
положительности рядов следует, что 𝑆𝑛1 и 𝑆𝑛2 монотонно возрастают при
возрастании n и для любых n выполняется неравенство 𝑆𝑛1 ≤ 𝑆𝑛2 .
Пусть второй ряд сходится. Это значит, что существует конечный
предел lim 𝑆𝑛2 = 𝑆2 , причём 𝑆𝑛2 ≤ 𝑆2 . Но тогда последовательность
𝑛→∞
частичных сумм первого ряда 𝑆𝑛1 ограничена сверху⁡ 𝑆𝑛1 ≤ 𝑆𝑛2 ≤ 𝑆2 . А так
как она монотонно возрастает с возрастанием n, то существует конечный
предел lim 𝑆𝑛1 = 𝑆1 , а следовательно первый ряд тоже сходится.
𝑛→∞
Пусть теперь первый ряд расходится. Из положительности ряда следует,
что lim 𝑆𝑛1 = ∞ .Так как 𝑆𝑛1 ≤ 𝑆𝑛2 , то lim 𝑆𝑛2 = ∞ . А это значит, что
𝑛→∞
𝑛→∞
второй ряд расходится. Теорема доказана.
Теорема 4.(Второй признак сравнения) Пусть для положительных
∞
рядов ∑∞
𝑛=1 𝑎𝑛 и ∑𝑛=1 𝑏𝑛 , можно найти положительные числа k и K,
𝑎
такие ,что начиная с некоторого n, выполняются неравенства 𝑘 ≤ 𝑛 ≤ 𝐾.
Тогда заданные ряды сходятся и расходятся одновременно.
𝑏𝑛
Теорема 5. ( Третий признак сравнения) Если положительные ряды ∑∞
𝑛=1 𝑎𝑛
𝑎
𝑛
и ∑∞
= 𝑐 > 0, то эти ряды сходятся и
𝑛=1 𝑏𝑛 таковы, что существует lim
расходятся одновременно.
𝑛→∞ 𝑏𝑛
Примеры применения теорем сравнения
Пример 1. Исследовать на сходимость ряд
Сравним заданный ряд с рядом
∑∞
𝑛=1
1
2𝑛
∑∞
𝑛=1
1
𝑛+2𝑛
.
. Этот ряд сходится, так как
1
является геометрической прогрессией со знаменателем 𝑞 = < 1.
2
Из неравенства
1
𝑛+2𝑛
≤
1
2𝑛
следует, что заданный ряд также сходится.
Достаточные признаки сходимости рядов с положительными членами .
Существует довольно много приёмов, позволяющих устанавливать
сходимость или расходимость рядов. Так, мы рассмотрели необходимый
признак сходимости, с помощью которого можно установить расходимость
ряда. К признакам сходимости можно отнести также теоремы сравнения, с
помощью которых можно установить как сходимость, так и расходимость
рядов.
В настоящем разделе мы сформулируем некоторые достаточные признаки
сходимости положительных рядов, наиболее часто применяемые на
практике, а именно: признак Даламбера, радикальный и интегральный
признаки Коши, причём дадим формулировки признаков в наиболее удобной
для применения так называемой предельной форме.
Признак Даламбера.
∑∞
𝑛=1 𝑎𝑛 с положительными членами существует
Пусть для ряда
𝑎𝑛+1
lim
=𝑙
𝑛→∞ 𝑎𝑛
Тогда ряд сходится при 𝑙 < 1 и расходится при 𝑙 > 1. Если 𝑙 = 1 , то
признак неприменим.
Замечание. Признак Даламбера целесообразно применять, если общий член
ряда содержит множители вида 𝑛! или 𝑎𝑛 .
𝑛2
Пример1. Исследовать на сходимость числовой ряд ∑∞
𝑛=1 (𝑛+1)3𝑛
𝑛2
(𝑛+1)2
Запишем 𝑎𝑛 = (𝑛+1)3𝑛 , 𝑎𝑛+1 = (𝑛+2)3𝑛+1
Вычислим lim
𝑎𝑛+1
𝑛→∞ 𝑎𝑛
= lim
𝑛→∞
(𝑛+1)2 (𝑛+1)3𝑛+1
(𝑛+2)3𝑛+1 𝑛2
=
1
lim
3 𝑛→∞
(𝑛+1)3
𝑛2 (𝑛+2)
=
1
3
Так как полученный предел меньше единицы, то делаем вывод: данный ряд
сходится.
Радикальный признак Коши
∑∞
Пусть для ряда
𝑛=1 𝑎𝑛 с положительными членами существует
𝑛
lim √𝑎𝑛 = 𝑙.
𝑛→∞
Тогда ряд сходится при 𝑙 < 1 и расходится при 𝑙 > 1. Если 𝑙 = 1 ,
то признак неприменим.
Пример 2.Исследовать на сходимость числовой ряд
𝑛
∑∞
𝑛=1 3
𝑛
(𝑛+1)
𝑛2
.
Для исследования ряда на сходимость применим радикальный признак
Коши. Вычислим
𝑛2
𝑛
𝑛 𝑛
3
3
𝑛
√
lim 3 (
=
>1
) = lim 3 (
) = lim
𝑛
𝑛→∞
𝑛→∞
𝑛→∞ 𝑛 + 1
𝑛+1
𝑛+1
𝑒
( 𝑛 )
Так как полученный предел больше единицы, то делаем вывод: ряд
расходится.
𝑛
Интегральный признак сходимости Коши
Прежде чем формулировать сам признак, сделаем некоторые пояснения.
Пусть задан числовой ряд. Ранее уже было отмечено, что каждый член ряда
можно рассматривать, как значения некоторой функции f(n) от номера n
члена ряда 𝑓(1) = 𝑎1 , 𝑓(2) = 𝑎2 , … , 𝑓(𝑛) = 𝑎𝑛 , …
Понятно, что можно ввести некоторую функцию f(x), которая была бы
определена при всех значениях аргумента x, больших единицы, а при
натуральных значениях аргумента совпадала бы со значениями членов ряда.
Например, для гармонического ряда ∑∞
𝑛=1
1
ln(𝑛+1)
𝑥
𝑛+1
быть 𝑓(𝑥) = ; для ряда ∑∞
𝑛=1 ⁡
1
𝑛
такой функцией может
⁡ ---- 𝑓(𝑥) = ⁡
ln(𝑥+1)
𝑥+1
и т.д.
А теперь сформулируем собственно интегральный признак Коши.
Пусть члены числового ряда ∑∞
𝑛=1 𝑎𝑛 положительны и не возрастают
Пусть, далее, f(x) ---функция, которая определена для всех вещественных
𝑥 ≥ 1, непрерывна и удовлетворяет условию
𝑓(1) = 𝑎1 , 𝑓(2) = 𝑎2 , … , 𝑓(𝑛) = 𝑎𝑛 , …
Тогда для сходимости ряда необходимо и достаточно, чтобы сходился
∞
несобственный интеграл ∫1 𝑓(𝑥) 𝑑𝑥.
Применим интегральный признак Коши для исследования сходимости
∞ 𝑑𝑥
1
числового ряда ∑∞
1 ⁡𝑛𝜆 ⁡⁡ . Рассмотрим ∫1 𝑥 𝜆 ⁡⁡⁡. Ранее было показано, что этот
интеграл сходится для 𝜆 > 1 и расходится для 𝜆 ≤ 1 . Следовательно,
данный ряд также сходится для 𝜆 > 1 и расходится для 𝜆 ≤ 1.
Знакопеременные и знакочередующиеся ряды
Определение 1. Числовой ряд называется знакопеременным, если он
содержит бесконечное число как положительных, так и отрицательных
членов.
Например, знакопеременным является следующий числовой ряд
∞
sin 𝑛
sin 1 sin 2 sin 3 sin 4
=
+
+
+
+⋯
∑ 2
𝑛 +1
2
5
10
17
𝑛=1
Рассмотрим два ряда:
(1) ∑∞
𝑛=1 𝑎𝑛
------ знакочередующийся ряд и
(2) ∑∞
𝑛=1|𝑎𝑛 |
------ положительный ряд, составленный из модулей
знакопеременного ряда.
Определение 2. Знакопеременный ряд (1) называется абсолютно
сходящимся, если сходится ряд (2), составленный из модулей членов
знакопеременного ряда (1).
Определение 3. Знакопеременный ряд называется условно сходящимся,
если сам ряд сходится, а ряд, составленный из модулей его членов,
расходится.
Теорема 1. Если сходится ряд, составленный из модулей знакопеременного
ряда, то сходится и сам знакопеременный ряд.
Доказательство.
Пусть дан знакопеременный ряд
(1) ∑∞
𝑛=1 𝑎𝑛 = 𝑎1 + 𝑎2 + 𝑎3 + ⋯ + 𝑎𝑛 + ⋯,
который абсолютно сходится. Это значит, что сходится ряд (2)
∞
∑
𝑛=1
|𝑎𝑛 | = |𝑎1 | + |𝑎2 | + |𝑎3 | + ⋯ + |𝑎𝑛 | + ⋯
Тогда по свойству 2 об умножении сходящихся рядов сходится также ряд (3)
∞
∑
2|𝑎𝑛 | = 2|𝑎1 | + 2|𝑎2 | + 2|𝑎3 | + ⋯ + 2|𝑎𝑛 | + ⋯
𝑛=1
Очевидно, что для любого n выполняется неравенство 0 ≤ 𝑎𝑛 + |𝑎𝑛 | ≤ 2|𝑎𝑛 |
Следовательно, по первому признаку сравнения рядов сходится ряд
(4) ∑∞
𝑛=1(𝑎𝑛 + |𝑎𝑛 |) .Но тогда по свойству 3 о сложении и вычитании рядов
сходится ряд, членами которого являются разности членов рядов
(4) и (2), то есть заданный знакопеременный ряд (1).
Для исследования знакопеременных рядов на абсолютную сходимость
можно использовать все рассмотренные выше признаки сходимости
положительных рядов. Гораздо сложнее исследовать эти ряды на условную
сходимость.
Знакочередующиеся ряды
Определение 4. Знакопеременный ряд называется знакочередующимся,
если соседние его члены имеют противоположные знаки.
Знакочередующийся ряд принято записывать в виде:
∞
𝑎1 − 𝑎2 + 𝑎3 − 𝑎4 + ⋯ + (−1)𝑛−1 𝑎𝑛 + ⋯ = ∑ (−1)𝑛−1 𝑎𝑛
𝑛=1
Для знакочередующихся рядов имеется достаточно общий и
практичный признак сходимости, принадлежащий Лейбницу.
Теорема 2 .(Признак сходимости Лейбница ) Знакочередующийся ряд
сходится, если модули его членов монотонно убывают с возрастанием n
и общий член стремится к нулю, т. е.
𝑎1 ≥ 𝑎2 ≥ 𝑎3 ≥ ⋯ ≥ 𝑎𝑛 ≥ ⋯ ⁡⁡⁡и⁡⁡ lim 𝑎𝑛 = 0
𝑛→∞
Доказательство
Рассмотрим чётные частичные суммы ряда и сгруппируем в них
члены двумя разными способами
𝑆2𝑛 = 𝑎1 − 𝑎2 + 𝑎3 − 𝑎4 + ⋯ + 𝑎2𝑛−1 − 𝑎2𝑛
= (𝑎1 − 𝑎2 ) + (𝑎3 − 𝑎4 ) + ⋯ + (𝑎2𝑛−1 − 𝑎2𝑛 )
= 𝑎1 − (𝑎2 − 𝑎3 ) − (𝑎4 − 𝑎5 ) − ⋯ − (𝑎2𝑛−2 − 𝑎2𝑛−1 ) − 𝑎2𝑛
Так как величины 𝑎𝑛 убывают с возрастанием n, то из полученных
выражений для 𝑆2𝑛 следует, что последовательность {𝑆2𝑛 } монотонно
возрастает с возрастанием n и ограничена сверху 𝑆2𝑛 ≤ 𝑎1 . Тогда по
теореме Вейерштрасса эта последовательность имеет конечный предел:
lim 𝑆2𝑛 = 𝑆
𝑛→∞
Рассмотрим теперь нечётные частичные суммы ряда. Имеем
𝑆2𝑛+1 = 𝑆2𝑛 + 𝑎𝑛+1 ⇒ lim 𝑆2𝑛+1 = lim 𝑆2𝑛 + lim 𝑎2𝑛+1 = 𝑆 + 0 = 𝑆
𝑛→∞
𝑛→∞
𝑛→∞
Таким образом, существует конечный предел частичных сумм ряда, а значит
ряд сходится.
𝑛−1
Следствие 1. Сумма знакочередующегося ряда ∑∞
𝑎𝑛 не
𝑛=1(−1)
превышает первого члена ряда.
Следствие 2. Модуль остатка знакочередующегося ряда не превышает
модуля первого отброшенного члена.
Свойства абсолютно и условно сходящихся рядов
Сформулируем несколько теорем о свойстве коммутативности рядов.
Теорема 3. ( теорема Дирихле ) Если в сходящемся положительном ряде
произвольным образом переставить члены, то полученный ряд будет также
сходится, а сумма его будет равна сумме исходного ряда.
Это свойство ряда называется коммутативностью ряда.
Теорема 4. Если в абсолютно сходящемся ряде произвольным образом
переставить члены, то полученный ряд будет также абсолютно сходится, а
его сумма будет равна сумме исходного ряда.
Это обозначает, что абсолютно сходящийся ряд также обладает свойством
коммутативности.
Теорема 5. ( Теорема Римана ) Условно сходящийся ряд не обладает
свойством коммутативности. Более того, каково бы ни было заданное число,
можно так переставить члены условно сходящегося ряда, чтобы его сумма
равнялась заданному числу.
Такое различие свойств обусловлено принципиальной разницей между
абсолютной и условной сходимостью рядов.
Абсолютная сходимость ряда основана на быстром убывании членов ряда
и потому не зависит от порядка членов.
Условная сходимость ряда основана на взаимном погашении
положительных и отрицательных членов и потому зависит от порядка
расположения членов.
ФУНКЦИОНАЛЬНЫЕ РЯДЫ
Пусть задана последовательность функций 𝑢1 (𝑥), 𝑢2 (𝑥), … , 𝑢𝑛 (𝑥),
заданных на одном и том же множестве.
Определение 1. Функциональным рядом называется выражение вида:
∞
𝑢1 (𝑥) + 𝑢2 (𝑥) + ⋯ +𝑢𝑛 (𝑥) + ⋯ = ∑ 𝑢𝑛 (𝑥)
𝑛=1
Подставляя в функциональный ряд вместо переменной x некоторые её
значения 𝑥1 , 𝑥2 и т.д., мы получим различные числовые ряды ∑∞
𝑛=1 𝑢𝑛 (𝑥0 ),
∞
∑𝑛=1 𝑢𝑛 (𝑥1 ) и т.д.. В зависимости от значения переменной x числовые ряды
могут оказаться сходящимися или расходящимися.
Определение 2. Совокупность всех значений переменной x, для которых
соответствующие числовые ряды сходятся, называется областью сходимости
функционального ряда.
Сумма функционального ряда, таким образом, зависит от переменной
x и следовательно является функцией, определённой в области сходимости
ряда.
Поэтому можно ставить вопрос о её непрерывности, дифференцируемости,
интегрируемости и т.д.
СТЕПЕННЫЕ РЯДЫ
Определение 2. Степенным рядом называется функциональный ряд,
членами которого являются степенные функции.
Таким образом, степенные ряды ---это ряды вида
(1)
(2)
числа
,
,
,
называются коэффициентами ряда.
Очевидно, ряд (2) можно привести к ряду (1), если сделать подстановку
. Поэтому в дальнейшем будем рассматривать ряды вида (1
Легко видеть, что степенной ряд сходится по крайней мере в одной точке
Область сходимости степенных рядов достаточно просто находится с
помощью теоремы Абеля. Мы приведем здесь формулировку этой теоремы в
сокращённом виде и без доказательства.
Терема Абеля. Если степенной ряд
сходится при некотором
значении
, то он сходится абсолютно при всех значениях, для
которых
.
Если этот ряд расходится при некотором значении
, то он
расходится при всех значениях
, для которых
Интервал и радиус сходимости степенного ряда
Из теоремы Абеля следует, что для любого степенного ряда существует
число
, удовлетворяющее условиям: 1) при всех значениях
,
для которых
, ряд сходится абсолютно ; 2) при всех значениях ,
для которых
, ряд расходится.
Это число называется радиусом сходимости степенного ряда.
Если степенной ряд сходится только в одной точке
, то
.
Если степенной ряд сходится для любого
, то
.
Открытый промежуток
называется интервалом сходимости
степенного ряда.
Для нахождения радиуса и интервала сходимости степенного ряда можно
использовать признаки Коши и Даламбера. Но поскольку эти признаки
применимы только для положительных рядов, нужно рассматривать ряд,
составленный из модулей членов данного степенного ряда.
Получим фор мулу для вычисления радиуса сходимости степенного ряда
с помощью признака Даламбера:
Для сходимости ряда необходимо, чтобы выполнялось неравенство
Следовательно,
Если использовать радикальный признак Коши, то для вычисления
радиуса сходимости степенного ряда получим формулу
Свойства степенных рядов
Сформулируем несколько свойств степенных рядов, которые в
дальнейшем будут полезны при использовании рядов в различных
приложениях.
Свойство 1. Сумма степенного ряда является непрерывной на интервале
сходимости ряда.
Свойство 2. Степенной ряд внутри промежутка сходимости можно
почленно интегрировать:
Пусть
. Тогда
Свойство 3. Степенной ряд внутри промежутка сходимости можно
сколько угодно раз почленно дифференцировать:
РЯДЫ ТЕЙЛОРА И МАКЛОРЕНА
Прежде чем вводить понятие ряда Тейлора, вспомним теорему,
относящуюся к дифференциальному исчислению.
Теорема 1. Пусть функция
в некоторой окрестности точки
в самой точке имеет непрерывные производные до (
) – го порядка
включительно. Тогда для любого
из этой окрестности имеет место
формула Тейлора
где остаточный член
и
может быть записан в форме Лагранжа
Если функция
в точке
и в её окрестности имеет непрерывные
производные всех порядков, то для неё можно записать формулу Тейлора для
любого значения
. При
мы приходим к понятию ряда
Тейлора
Этот ряд называется рядом Тейлора для функции
. Но для того,
чтобы функция
была суммой этого ряда, он должен сходится именно к
.
.
Например, запишем формулу Тейлора для функции
при
произвольном
:
Однако ряд справа – геометрическая прогрессия и сходится при
именно к данной функции. Если
, то ряд справа расходится и
функция не является суммой ряда, хотя для данных значений она
определена.
Ответ на вопрос, при каком условии ряд Тейлора для функции
сходится к этой функции, даёт следующая
Теорема 2. Ряд Тейлора для функции
тогда и только тогда, когда остаточный член
для
стремится к нулю при
Доказательство
сходится к этой функции
в формуле Тейлора
.
Запишем формулу Тейлора для функции
в виде
так как многочлен Тейлора
равен очевидно n – ой частичной сумме
ряда Тейлора для
.
Перейдём в записанном равенстве к пределу при
:
Пусть ряд Тейлора сходится к функции
. Это значит, что
и равенство принимает вид
, откуда
следует, что
.
Пусть теперь
сходится к функции
. В этом случае приходим к равенству
. Следовательно, ряд Тейлора
. Теорема доказана.
При исследовании поведения остаточного члена формулы Тейлора будет
полезна следующая
Теорема 3. Для того, чтобы остаточный член формулы Тейлора для
функции
стремился к нулю при
, достаточно, чтобы
функция
в точке
имела производные всех порядков,
ограниченные одним и тем же числом.
Теорема 4.( Единственность разложения функции в ряд Тейлора)
Пусть функция
является суммой некоторого степенного ряда
Тогда этот ряд является рядом Тейлора для функции
, т.е.
Доказательство
Применяя к равенству
дифференцировании степенного ряда, Найдём
Если в этом равенстве положить
раз теорему о почленном
, то получим
что и требовалось доказать.
Разложение некоторых элементарных функций
в ряды Маклорена
Рядом Маклорена называют ряд Тейлора для случая
Используя полученные ранее формулы Маклорена , запишем ряды
Маклорена для функций
,
.
.
Можно показать, например с помощью признака Даламбера, что ряды
Маклорена для функций
,
и
сходятся для всех
значений
, поэтому их радиус сходимости
.
Биномиальный ряд
Биномиальным рядом называется ряд Маклорена для функции
, где
любое вещественное число.
С помощью признака Даламбера можно показать, что биномиальный ряд
сходится для
, т.е. радиус сходимости биномиального ряда
Частные случаи биномиального ряда
Найдём разложение в ряд Маклорена функции
Для этого в биномиальный ряд подставим
. Получим
Таким образом, имеем
Заменив в данном разложении
ряд Маклорена для функции
на
Если в первом разложении заменить
Маклорена для функции
, найдём разложение в
на
, то получим ряд
Разложение некоторых функций в ряд Маклорена можно получить,
используя теорему о почленном интегрировании степенных рядов. Применим
этот метод, для разложения в ряды Маклорена функций
и
Имеем
Подставим в интеграл разложение функции
проинтегрируем этот ряд почленно. Получим
Следовательно, разложение функции
Для разложения в ряд Маклорена функции
в рял и
имеет вид
воспользуемся
равенством
Подставим в интеграл разложение в ряд функции
проинтегрируем этот ряд почленно. Получим
Следовательно, ряд Маклорена для функции
и
имеет вид
Легко проверить, что ряды для функций
сходятся ,если
.
и
Суммирование рядов
Полученные разложения в ряды Маклорена элементарных функций и
теоремы о дифференцировании и интегрировании степенных рядов в ряде
случаев позволяют находить суммы некоторых функциональных и числовых
рядов. Например, найдём сумму
следующего ряда
.
Это степенной ряд, который сходится ( как легко проверить) для
Продифференцируем ряд почленно:
Мы получили геометрическую прогрессию, первый член которой
и знаменатель
. Так как
, то геометрическая прогрессия
сходится к сумме
Тогда
Применение рядов в приближённых вычислениях
Пример 1. Вычислить приближённо
используя разложение в степенной ряд функции
и взяв четыре первых
члена разложения. Оценить погрешность вычисления.
Запишем ряд Маклорена для функции
и положим
Получим абсолютно сходящийся знакочередующийся ряд
По условию задачи
, т.е.
Оценим погрешность вычислений. Так как полученный ряд
знакочередующийся, то его остаток не превышает по модулю первого
.
отброшенного члена. Следовательно, абсолютная погрешность
определяется неравенством
Таким образом, в приближённом равенстве
погрешность имеет место в четвёртом знаке дробной части.
Пример 2. Вычислить приближённо
, разложив
подынтегральную функцию в ряд и взяв три члена разложения. Оценить
погрешность вычисления.
Получим разложение подынтегральной функции в степенной ряд,
использовав разложение функции
:
Проинтегрируем этот ряд почленно:
В результате получим абсолютно сходящийся знакочередующийся ряд
По условию
Оценим погрешность вычисления. Как и в примере 1, абсолютная
погрешность определяется неравенством
Отсюда видно, что погрешность в приближённом значении интеграла
имеет место уже в третьем знаке дробной части, поэтому ответ запишем в
виде
--------------------------------------------------------------
РЕКОМЕНДУЕМАЯ ЛИТЕРАТУРА
1. Н.С.Пискунов «Дифференциальное и интегральное исчисления», ч II
2. Н.С.Воробьёв «Теория рядов»
3. Д.Т.Письменный «Конспект лекций по высшей математике», ч. II/
.