Определение 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 :

   f 1 (x ), f 2 (x ), f 3 (x ) … f n (x ), ….

   Приняв эти функции в качестве членов ряда, образуем ряд:

   f 1 (x ) + f 2 (x ) + f 3 (x ) + … + f n (x ) + …, (1)

   который называется функциональным рядом .

   Например: sin(x) + sin(2x) + sin(3x) + … + sin(nx) + …

   В частном случае функциональным рядом является ряд:

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

   Степенной ряд может быть записан и в такой форме:

   где
   некоторое постоянное число.

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

   Определение : Совокупность всех значений х (или всех точек х числовой прямой), при которых степенной ряд сходится, называется областью сходимости степенного ряда.

   Пример 1.

   Найти область сходимости степенного ряда:

   Решение (1 способ) .

   Применим признак Даламбера.

   
   

   

   Так как признак Даламбера применим к рядам только с положительными членами , то выражение, стоящее под знаком предела, взято по абсолютной величине.

   По признаку Даламбера ряд сходится, если
   и
   .

   Т.е. ряд сходится, если < 1, откуда
   или-3< x <3.

   

   Получим интервал сходимости данного степенного ряда: (-3;3).

   В крайних точках интервала x =
   , будем иметь
   .

   В этом случае теорема Даламбера не дает ответа на вопрос о сходимости ряда.

   Исследуем ряд на сходимость в граничных точках:

   x = -3 ,

   Получим знакочередующийся ряд. Исследуем его на сходимость по признаку Лейбница:

   1.
   члены ряда, взятые по абсолютной величине, монотонно убывают.

   2.
   Следовательно, ряд в точкеx = -3 сходится.

   x = 3,

   Получим положительный ряд. Применим интегральный признак Коши сходимости ряда.

   члены ряда монотонно убывают.

   Функция
   на промежутке
   :

   
   

   .

   Несобственный интеграл расходится, значит, ряд в точке x=3 расходится.

   Ответ:

   Второй способ определения области сходимости степенного ряда основан на применении формулы радиуса сходимости степенного ряда:

   , где и
   коэффициентыи
   членов ряда.

   Для данного ряда имеем:
   

   . R =3.

   

   ряд сходится

   Интервал сходимости ряда: -3< x <3.

   Далее, как и в предыдущем случае, надо исследовать в граничных точках: x =
   .

   Ответ: область сходимости ряда [-3;3).

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

   Пример 2.

   Найти область сходимости степенного ряда:
   .

   Найдем R – радиус сходимости ряда.

   ,
   ,
   .

   .
   .

   Интервал сходимости ряда (-;).

   Исследуем ряд на сходимость в точках x = -иx = .

   x = - ,

   Получим знакочередующийся ряд. Применим признак Лейбница:

   1.
   члены ряда, взятые по абсолютной величине, монотонно убывают.

   2.
   , следовательно, ряд в точкеx = -сходится.

   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 }