Архитектура Аудит Военная наука Иностранные языки Медицина Металлургия Метрология
Образование Политология Производство Психология Стандартизация Технологии


Вычисление суммы знакочередующегося ряда



 

Пусть знакочередующийся ряд сходится и его сумма равна 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; Нарушение авторского права страницы


lektsia.com 2007 - 2024 год. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав! (0.051 с.)
Главная | Случайная страница | Обратная связь