Архитектура Аудит Военная наука Иностранные языки Медицина Металлургия Метрология Образование Политология Производство Психология Стандартизация Технологии |
Вычисление суммы знакочередующегося ряда
Пусть знакочередующийся ряд сходится и его сумма равна S, тогда . Разность - остаток ряда, в свою очередь, является суммой знакочередующегося ряда и, следовательно, удовлетворяет условию . Таким образом, заменяя сумму ряда его частичной суммой, получаем ошибку, абсолютная величина которой меньше абсолютной величины первого отброшенного члена ряда.
Пример 1.14. Вычислить сумму ряда с точностью .
Р е ш е н и е. Ряд - сходится абсолютно (проверить самостоятельно). Так как , а , то для нахождения суммы S ряда с точностью достаточно три первых члена ряда: . Допускаемая при этом ошибка меньше, чем первый отброшенный член ряда (т.е. меньше, чем 0, 009). ¨
Функциональные ряды
Функциональный ряд. Область сходимости функционального ряда
Ряд , (2.1) членами которого являются функции от x, определенные на множестве D, называется функциональным рядом. Функция fn(x) называется общим членом ряда. Например, - функциональный ряд, где общий член ряда ; - функциональный ряд, где . При определенном значении аргумента x = x0 Î D получим числовой ряд . Если числовой ряд сходится, где x0 Î D, то x0 называется точкой сходимости функционального ряда (2.1). Множество всех точек сходимости функционального ряда (2.1) называется областью сходимости ряда (2.1). Например, рассмотрим функциональный ряд Взяв x = 0, получим расходящийся числовой ряд 1 + 1 + … + 1 + …, а при x = 1 получим ряд , который сходится (ряд геометрической прогрессии со знаменателем ). Таким образом, при одних значениях аргумента функциональный ряд может сходиться, при других – расходится.
Суммы ……………………………. называются частичными суммами функционального ряда.
Если существует , где , то говорят, что ряд (2.1) сходится на множестве D к функции S(x). Функция S(x) называется суммой функционального ряда (2.1). Для нахождения области сходимости функционального ряда можно использовать эталонные ряды и достаточные признаки сходимости числовых рядов.
Пример 2.1. Найти область сходимости функционального ряда: а) ; б) ; в) ; г) .
Р е ш е н и е. а) Данный ряд представляет собой обобщенный гармонический ряд, который сходится при x > 1 и расходится при x £ 1. Следовательно, областью сходимости ряда является интервал (1; +¥ ).
б) Члены данного ряда образуют геометрическую прогрессию со знаменателем . Ряд будет сходиться при . Þ Þ . Область сходимости ряда – интервал . в) Для нахождения области сходимости данного ряда можно воспользоваться признаком Даламбера (теорема 1.8), который применим лишь к рядам с положительными членами. Так как ряд является знакопеременным, то составим ряд из абсолютных величин членов данного ряда: (*) и к нему применим признак Даламбера: , , тогда . Знакоположительный ряд (*) будет сходиться, если Þ Þ , т.е. . Тогда и исходный ряд будет сходиться, и притом абсолютно в интервале (-4; 0). При ряд расходится, как не удовлетворяющий необходимому признаку сходимости ( , т.е., начиная с достаточно больших значений , выполняется неравенство , или . Таким образом, члены ряда возрастают с увеличением номера члена n. Поэтому , следовательно, ряд расходится). Если d = 1, то ответа о сходимости ряда признак Даламбера не дает, и при x = -4 и x = 0 ряд нужно исследовать особо.
При из ряда получим числовой ряд , который сходится (см. пример 1.12, а).
При из ряда получим - гармонический ряд, который расходится. Таким образом, областью сходимости ряда будет промежуток [-4; 0).
г) Ряд является знакоположительным, т.к. для любого . Для определения области сходимости воспользуемся признаком Даламбера: , , , следовательно, ряд сходится на . ¨
Степенные ряды
Степенным рядом называется функциональный ряд вида , (2.2) т.е. ряд, членами которого являются степенные функции. Более общий вид степенного ряда: (2.3)
Замечание. Так как , то ряды и являются степенными, а ряды и функциональные, но не являются степенными. Теорема 2.1 (Абеля). Если степенной ряд (2.2) сходится в некоторой точке , то он сходится (причем абсолютно) при всех значениях x, удовлетворяющих условию .
Д о к а з а т е л ь с т в о. Так как точка сходимости ряда (2.2), то числовой ряд (2.4) сходится. Тогда . Следовательно, можно найти такое положительное число M, чтобы для любого номера n выполнялось условие . (2.5) Ряд (2.2) является в общем случае знакопеременным, поэтому, чтобы исследовать его сходимость, возьмем ряд из абсолютных величин его членов , (2.6) который перепишем в виде (2.7) Возьмем для сравнения ряд , (2.8) являющийся при абсолютно сходящимся (ряд геометрической прогрессии со знаменателем ). Используя неравенство (2.5), будем иметь . По признаку сравнения ряд (2.7) сходится, тогда и ряд (2.6) сходится при . Следовательно, при указанных значениях аргумента ряд (2.2) сходится абсолютно. #
Следствие. Если степенной ряд расходится в точке x1, то он расходится и при всех x, для которых . Действительно, если бы ряд сходился в точке , для которой , то по теореме Абеля он сходился бы при всех x, для которых , следовательно, и в точке x1, что противоречит условию. Из теоремы Абеля следует: Существует такое неотрицательное число R, что при всех ряд (2.2) расходится, а при - сходится абсолютно. Множество значений переменной x, удовлетворяющих соотношению , называется интервалом сходимости степенного ряда. Число (2.2) называется радиусом сходимости степенного ряда. ряд сходится
Рис. 2 Возможны случаи: 10. Если R = 0, то ряд (2.4) сходится только в точке x = 0. 20. Если R = ¥, то ряд (2.4) сходится на всей числовой оси. 30. Если 0 < R < ¥, то интервалом сходимости является конечный интервал с центром в точке x = 0, т.е. (-R; R). Замечание. Сходимость степенного ряда (2.2) на концах интервала сходимости, т.е. в точках и исследуется отдельно непосредственной подстановкой значений в степенной ряд.
Областью сходимости степенного ряда (2.2) называют промежуток , или , или . Теорема Абеля была доказана для ряда, записанного по степеням x. Степенной ряд общего вида (2.3):
может быть приведен к виду ряда (2.2), если принять . Геометрически это соответствует перенесению начала координат на числовой оси из точки x = 0 в точку . Соответственно, интервал сходимости ряда (2.3) будет иметь вид . Интервал сходимости ряда (2.3) симметричен относительно точки . Ряд сходится
Рис.3
Популярное:
|
Последнее изменение этой страницы: 2016-09-01; Просмотров: 3444; Нарушение авторского права страницы