Знакопеременный ряд. Сходимость знакопеременных рядов Функциональные ряды Функциональный ряд и его область сходимости

Определение

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

Пример 16. Ряды

,
,

являются знакопеременными.

Знакочередующиеся ряды, очевидно, являются частным случаем знакопеременных рядов.

Для знакопеременного ряда возникает вопрос о связи его сходимости со сходимостью знакоположительного ряда .

ТЕОРЕМА 9 (Признак абсолютной сходимости)

Если сходится ряд , то сходится и ряд .

Доказательство. Из сходимости ряда по свойству 3 сходящихся рядов следует сходимость ряда
. Действительно, поскольку
, где
, то по первому признаку сравнения сходится и ряд
.

Отсюда следует, что ряд
также сходится, так как является алгебраической суммой двух сходящихся рядов.

В доказанной теореме сформулирован достаточный признак сходимости ряда . Обратное утверждение в общем случае неверно.

Определения

Если сходится ряд , то ряд называется абсолютно сходящимся.

Если же ряд сходится, а ряд расходится, то ряд называется условно сходящимся .

Пример 17.
.

Общий член этого ряда
. Так как
, то ряд
расходится, ибо он является рядом Дирихле, в котором
. Ряд
согласно признаку Лейбница сходится. Следовательно, исследуемый ряд сходится условно.

Пример 18. Исследовать на сходимость ряд
.

Этот ряд сходится абсолютно, так как ряд
– сходящийся ряд Дирихле.

При исследовании знакочередующихся рядов на сходимость можно рассуждать по следующей схеме:

Ранее отмечалось, что в знакоположительных рядах можно произвольным образом переставлять и группировать члены. В знакопеременных рядах, если они абсолютно сходятся, это свойство сохраняется. Для условно сходящихся рядов дело обстоит иначе. Здесь группировка, перестановка членов ряда может нарушить сходимость ряда. Например, если из знакочередующегося условно сходящегося ряда выделить положительные члены, то полученный ряд может расходиться. Следует иметь в виду это обстоятельство и с условно сходящимися рядами обращаться с большой осторожностью. Для условно сходящихся рядов справедлива следующая теорема Римана.

ТЕОРЕМА 10

Изменяя порядок членов в условно сходящемся ряде, можно сделать его сумму равной любому наперед заданному числу и даже сделать ряд расходящимся.

К примеру, если в ряде
провести перестановку членов, то ряд можно представить в виде

Итак, сумма рассматриваемого ряда уменьшилась вдвое. Это происходит потому, что при условной сходимости осуществляется взаимное погашение положительных и отрицательных членов и, следовательно, сумма ряда зависит от порядка расположения членов, а при абсолютной сходимости ряда этого не происходило.

Пример 19. Исследовать на сходимость ряд
.

Данный ряд знакочередующийся. Исследуем ряд, составленный из модулей его членов, т.е. ряд
. Используя признак Коши, получаем

Следовательно, данный ряд сходится абсолютно.

Функциональные ряды Функциональный ряд и его область сходимости

Пусть
,
,...,
,... – последовательность функций, определенных на некотором множестве
.

Определение

Ряд вида

, (14)

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

Придавая в (14) различные числовые значения из множества
, будем получать различные числовые ряды. В частности, при
из (14) получим числовой ряд
. Этот числовой ряд может быть сходящимся или расходящимся. Если он сходится, тоназываетсяточкой сходимости функционального ряда (14) .

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

Вид области
для произвольного функционального ряда может быть различным: вся числовая ось, интервал, объединение интервалов и полуинтервалов и т.д. В простейших случаях при исследовании функциональных рядов на сходимость можно применить рассмотренные выше признаки сходимости числовых рядов, если подx понимать фиксированное число.

Определения

Сумма первых членов функционального ряда

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

Функция , определенная в области
, называется остатком ряда .

Функциональный ряд называется абсолютно сходящимся на множестве
, если в каждой точке
сходится ряд
.

Определение 1

Числовой ряд $\sum \limits _{n=1}^{\infty }u_{n} $, члены которого имеют произвольные знаки (+), (?), называется знакопеременным рядом.

Рассмотренные выше знакочередующиеся ряды являются частным случаем знакопеременного ряда; понятно, что не всякий знакопеременный ряд является знакочередующимся. Например, ряд $1-\frac{1}{2} -\frac{1}{3} +\frac{1}{4} +\frac{1}{5} -\frac{1}{6} -\frac{1}{7} +\ldots - $ знакопеременный, но не являющийся знакочередующимся рядом.

Отметим, что в знакопеременном ряде членов как со знаком (+), так и со знаком (-) бесконечно много. Если это не выполняется, например, ряд содержит конечное число отрицательных членов, то их можно отбросить и рассматривать ряд, составленный только из положительных членов, и наоборот.

Определение 2

Если числовой ряд $\sum \limits _{n=1}^{\infty }u_{n} $ сходится и его сумма равна S,а частичная сумма равна $S_n$ , то $r_{n} =S-S_{n} $ называется остатком ряда, причём $\mathop{\lim }\limits_{n\to \infty } r_{n} =\mathop{\lim }\limits_{n\to \infty } (S-S_{n})=S-S=0$, т.е. остаток сходящегося ряда стремится к 0.

Определение 3

Ряд $\sum \limits _{n=1}^{\infty }u_{n} $ называется сходящимся абсолютно, если сходится ряд, составленный из абсолютных величин его членов $\sum \limits _{n=1}^{\infty }\left|u_{n} \right| $.

Определение 4

Если числовой ряд $\sum \limits _{n=1}^{\infty }u_{n} $ сходится, а ряд $\sum \limits _{n=1}^{\infty }\left|u_{n} \right| $, составленный из абсолютных величин его членов, расходится, то исходный ряд называется условно (неабсолютно) сходящимся.

Теорема 1 (достаточный признак сходимости знакопеременных рядов)

Знакопеременный ряд $\sum \limits _{n=1}^{\infty }u_{n} $ сходится, причём абсолютно, если сходится ряд, составленный из абсолютных величин его членов$\sum \limits _{n=1}^{\infty }\left|u_{n} \right| $.

Замечание

Теорема 1 даёт только достаточное условие сходимости знакопеременных рядов . Обратная теорема неверна, т.е. если знакопеременный ряд $\sum \limits _{n=1}^{\infty }u_{n} $ сходится, то не обязательно, что сходится ряд, составленный из модулей $\sum \limits _{n=1}^{\infty }\left|u_{n} \right| $ (он может быть как сходящимся, так и расходящимся). Например, ряд $1-\frac{1}{2} +\frac{1}{3} -\frac{1}{4} +...=\sum \limits _{n=1}^{\infty }\frac{(-1)^{n-1} }{n} $ сходится по признаку Лейбница, а ряд, составленный из абсолютных величин его членов, $\sum \limits _{n=1}^{\infty }\, \frac{1}{n} $ (гармонический ряд) расходится.

Свойство 1

Если ряд $\sum \limits _{n=1}^{\infty }u_{n} $ абсолютно сходится, то он абсолютно сходится при любой перестановке его членов, при этом сумма ряда не зависит от порядка расположения членов. Если $S"$ - сумма всех его положительных членов, а $S""$ - сумма всех абсолютных величин отрицательных членов, то сумма ряда $\sum \limits _{n=1}^{\infty }u_{n} $ равна $S=S"-S""$.

Свойство 2

Если ряд $\sum \limits _{n=1}^{\infty }u_{n} $ абсолютно сходится и $C={\rm const}$, то ряд $\sum \limits _{n=1}^{\infty }C\cdot u_{n} $ также абсолютно сходится.

Свойство 3

Если ряды $\sum \limits _{n=1}^{\infty }u_{n} $ и $\sum \limits _{n=1}^{\infty }v_{n} $ абсолютно сходятся, то ряды $\sum \limits _{n=1}^{\infty }(u_{n} \pm v_{n}) $ также абсолютно сходятся.

Свойство 4 (теорема Римана)

Если ряд условно сходится, то какое бы мы не взяли число А, можно переставить члены данного ряда так, чтобы его сумма оказалась в точности равной А; более того, можно так переставить члены условно сходящегося ряда, чтобы после этого он расходился.

Пример 1

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

\[\sum \limits _{n=1}^{\infty }\frac{(-1)^{n} \cdot 9^{n} }{n!} .\]

Решение. Данный ряд является знакопеременным, общий член которого обозначим: $\frac{(-1)^{n} \cdot 9^{n} }{n!} =u_{n} $. Составим ряд из абсолютных величин $\sum \limits _{n=1}^{\infty }\left|u_{n} \right| =\sum \limits _{n=1}^{\infty }\frac{9^{n} }{n!} $ и применим к нему признак Даламбера. Составим предел $\mathop{\lim }\limits_{n\to \infty } \frac{a_{n+1} }{a_{n} } $, где $a_{n} =\frac{9^{n} }{n!} $, $a_{n+1} =\frac{9^{n+1} }{(n+1)!} $. Проведя преобразования, получаем $\mathop{\lim }\limits_{n\to \infty } \frac{a_{n+1} }{a_{n} } =\mathop{\lim }\limits_{n\to \infty } \frac{9^{n+1} \cdot n!}{(n+1)!\cdot 9^{n} } =\mathop{\lim }\limits_{n\to \infty } \frac{9^{n} \cdot 9\cdot n!}{n!\cdot (n+1)\cdot 9^{n} } =\mathop{\lim }\limits_{n\to \infty } \frac{9}{n+1} =0$. Таким образом, ряд $\sum \limits _{n=1}^{\infty }\left|u_{n} \right| =\sum \limits _{n=1}^{\infty }\frac{9^{n} }{n!} $ сходится, а значит, исходный знакопеременный ряд сходится абсолютно.Ответ: ряд $\sum \limits _{n=1}^{\infty }\frac{(-1)^{n} \cdot 9^{n} }{n!} $ абсолютно сходится.

Пример 2

Исследовать на абсолютную и условную сходимость ряд $\sum \limits _{n=1}^{\infty }\frac{(-1)^{n} \cdot \sqrt{n} }{n+1} $.

1. Исследуем ряд на абсолютную сходимость. Обозначим $\frac{(-1)^{n} \cdot \sqrt{n} }{n+1} =u_{n} $ и составим ряд из абсолютных величин $a_{n} =\left|u_{n} \right|=\frac{\sqrt{n} }{n+1} $. Получаем ряд $\sum \limits _{n=1}^{\infty }\left|u_{n} \right| =\sum \limits _{n=1}^{\infty }\, \frac{\sqrt{n} }{n+1} $ с положительными членами, к которому применяем предельный признак сравнения рядов. Для сравнения с рядом $\sum \limits _{n=1}^{\infty }a_{n} =\sum \limits _{n=1}^{\infty }\, \frac{\sqrt{n} }{n+1} $ рассмотрим ряд, который имеет вид $\sum \limits _{n=1}^{\infty }\, b_{n} =\sum \limits _{n=1}^{\infty }\, \frac{1}{\sqrt{n} } \, $. Этот ряд является рядом Дирихле с показателем $p=\frac{1}{2}
2. Далее исследуем исходный ряд $\sum \limits _{n=1}^{\infty }\frac{(-1)^{n} \cdot \sqrt{n} }{n+1} $ на условную сходимость. Для этого проверим выполнение условий признака Лейбница. Условие 1): $u_{n} =(-1)^{n} \cdot a_{n} $, где $a_{n} =\frac{\sqrt{n} }{n+1} >0$, т.е. этот ряд знакочередующийся. Для проверки условия 2) о монотонном убывании членов ряда используем следующий метод. Рассмотрим вспомогательную функцию $f(x)=\frac{\sqrt{x} }{x+1} $, определенную при $x\in }