Loading [MathJax]/jax/output/SVG/jax.js

Абсолютная и условная сходимость рядов

Рассмотрим числовой ряд с бесконечным множеством положительных и бесконечным множеством отрицательных членов. Такой ряд называется знакопеременным рядом.

Запишем произвольный знакопеременный ряд
a1+a2+a3++an+=n=1an (1),
где числа a1,a2,a3,,an, являются как положительными, так и отрицательными, причем располагаются они в ряде произвольно. Так же рассмотрим ряд, составленный из абсолютных величин членов ряда (1):
|a1|+|a2|+|a3|++|an|+=n=1|an| (2).
Для знакопеременных рядов справедлива следующая Теорема:

Теорема 1

Если ряд (2) сходится, то сходится и ряд (1).

Доказательство

Предположим, что ряд (2) сходится. Обозначим через Sn частичную сумму ряда (1), а через σn частичную сумму ряда  (2). Тогда: Sn=a1+a2+a3++an;

σn=|a1|+|a2|+|a3|++|an|. Так как ряд  (2) сходится, то последовательность его частичных сумм σn имеет предел limnσn=σ, при этом для любого n справедливо неравенство

σnσ (3),
Поскольку члены ряда  (2) неотрицательны.
Обозначим через Sn сумму положительных членов, а через S»n сумму модулей отрицательных членов, содержащихся в сумме Sn.
Тогда
Sn=SnS»n (4),
σn=Sn+S»n (5).
Видно, что последовательности Sn и S»n не убывают, а из равенства (5) и неравенства (3) следует, что они являются ограниченными: Snσnσ и S»nσnσ. Следовательно, существуют limnSn=S и limnSn»=S». Но в таком случае, в силу равенства (4), последовательность частичных сумм ряда (1) имеет предел
limnSn=limn(SnS»n)=limnSnlimnS»n=SS».

Это означает, что ряд (1) сходится. ◼

Пример 1

Ряд 1122132+142+152162172+ согласно доказанной Теореме 1 сходится, т. к. сходится ряд, составленный из абсолютных величин членов данного ряда: 1+122+132+142+152+162+172+
Ниже представлен график поведения первых двадцати, составленных из абсолютных величин, членов ряда
Пример 1(абсолют.сход.)
Рассмотренный признак сходимости знакопеременного ряда является достаточным, но не необходим, т. к. существуют знакопеременные ряды, которые сходятся, а ряды, составленные из абсолютных величин их членов, расходятся. Так, например, ряд n=11n+11n согласно признаку Лейбница сходится, а ряд n=11n, составленный из абсолютных величин его членов, расходится.

Поэтому все сходящиеся ряды можно разделить на абсолютно и условно сходящиеся.

Ряд с действительными или комплексными членами n=1an называется абсолютно сходящимся, если сходиться ряд n=1|an|.

Ряд n=1an называется условно сходящимся, если этот ряд сходиться, а ряд n=1|an| расходиться.

Спойлер

Абсолютная и условная сходимость рядов

Предлагаем Вам пройти тест на тему «Абсолютная и условная сходимость рядов».


Таблица лучших: Абсолютная и условная сходимость рядов

максимум из 5 баллов
Место Имя Записано Баллы Результат
Таблица загружается
Нет данных

Абсолютная и условная сходимость несобственных интегралов

Введём понятия абсолютно и условно сходящихся несобственных интегралов.

Пусть дан несобственный интеграл I=baf(x)dx:

  • интеграл I называется абсолютно сходящимся, если сходится ˜I=ba|f(x)|dx;
  • интеграл I называется условно сходящимся, если интеграл I сходится, а  ˜I — расходится.

В случае абсолютной сходимости интеграла I говорят, что функция f(x) абсолютно интегрируема на полусегменте [a,b).

Пример
Спойлер
Теорема 1

Пусть fR([a,ξ)) для всех a<ξ<b. Тогда из сходимости несобственного интеграла ˜I=ba|f(x)|dx следует сходимость несобственного интеграла I=baf(x)dx и справедливо неравенство:

|baf(x)dx|ba|f(x)|dx
Спойлер
Теорема 2

Если функция g(x) абсолютно интегрируема на промежутке [a;b), то несобственные интегралы I1=baf(x)dx и I2=ba(f(x)+g(x))dx сходятся или расходятся одновременно.

Спойлер

Замечание

Ни на сходимость, ни на характер сходимости прибавление или вычитание под знаком интеграла абсолютно интегрируемой функции не влияет.

Пример

В качестве примера, исследуем интеграл на абсолютную и условную сходимость. Возьмём интеграл I=+1sinxxαdx.

Спойлер
Литература
Тесты

Абсолютная и условная сходимость несобственных интегралов

Проверьте свои знание по теме «Абсолютная и условная сходимость несобственных интегралов».