Числовой ряд, члены которого имеют произвольные знаки (+), (?), называется знакопеременным рядом. Рассмотренные выше знакочередующиеся ряды являются частным случаем знакопеременного ряда; понятно, что не всякий знакопеременный ряд является знакочередующимся. Например, ряд? знакопеременный, но не являющийся знакочередующимся рядом.

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

Определение 1. Если числовой ряд сходится и его сумма равна S, а частичная сумма равна S n , то называется остатком ряда, причём, т.е. остаток сходящегося ряда стремится к 0.

Рассмотрим сходящийся знакочередующийся ряд как частный случай знакопеременного ряда

где. Запишем его в виде, тогда по признаку Лейбница; так как, то, т.е. остаток сходящегося ряда стремится к 0.

Для знакопеременных рядов вводятся понятия абсолютной и условной сходимости.

Определение 2. Ряд называется сходящимся абсолютно, если сходится ряд, составленный из абсолютных величин его членов.

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

Теорема 2 (достаточный признак сходимости знакопеременных рядов). Знакопеременный ряд сходится, причём абсолютно, если сходится ряд, составленный из абсолютных величин его членов.

Доказательство. Обозначим через частичную сумму ряда: , а через? частичную сумму ряда: . Обозначим через сумму всех положительных членов, а через сумму абсолютных величин всех отрицательных членов, входящих в. Очевидно, что.

По условию теоремы ряд сходится, тогда существует, и так как последовательность? монотонно возрастающая и неотрицательная, то. Очевидно, что, тогда последовательности и являются монотонно возрастающими и ограниченными, причем их пределы равны и. Тогда. Значит, исходный знакопеременный ряд сходится и сходится абсолютно. Теорема доказана.

Замечание. Теорема 2 даёт только достаточное условие сходимости знакопеременных рядов. Обратная теорема неверна, т.е. если знакопеременный ряд сходится, то не обязательно, что сходится ряд, составленный из модулей (он может быть как сходящимся, так и расходящимся). Например, ряд сходится по признаку Лейбница (см. пример 1 данной лекции), а ряд, составленный из абсолютных величин его членов, (гармонический ряд) расходится.

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

Решение. Данный ряд является знакопеременным, общий член которого обозначим: . Составим ряд из абсолютных величин и применим к нему признак Даламбера. Составим предел, где, . Проведя преобразования, получаем. Таким образом, ряд сходится, а значит, исходный знакопеременный ряд сходится абсолютно. Ответ: ряд абсолютно сходится.

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

Решение. А) Исследуем ряд на абсолютную сходимость. Обозначим и составим ряд из абсолютных величин. Получаем ряд с положительными членами, к которому применяем предельный признак сравнения рядов (теорема 2, лекция 2, разд. 2.2). Для сравнения с рядом рассмотрим ряд, который имеет вид. Этот ряд является рядом Дирихле с показателем, т.е. он расходится. Составим и вычислим следующий предел. Так как предел существует, не равен 0 и не равен?, то оба ряда и ведут себя одинаково. Таким образом, ряд расходится, а значит, исходный ряд не является абсолютно сходящимся.

Б) Далее исследуем исходный ряд на условную сходимость. Для этого проверим выполнение условий признака Лейбница (теорема 1, разд. 3.1). Условие 1): , где, т.е. этот ряд знакочередующийся. Для проверки условия 2) о монотонном убывании членов ряда используем следующий метод. Рассмотрим вспомогательную функцию, определенную при (функция такова, что при имеем). Для исследования этой функции на монотонность найдём её производную: . Эта производная при. Следовательно, функция монотонно убывает при указанных значениях х. Полагая, получаем, где. Это означает, чтоусловие 2) выполнено. Для проверки условия 3) находим предел общего члена: , т.е. третье условие выполняется. Таким образом, для исходного ряда выполнены все условия признака Лейбница, т.е. он сходится.

Ответ: ряд условно сходится.

Свойства абсолютно и условно сходящихся рядов

Свойство 1. Если ряд абсолютно сходится, то он абсолютно сходится при любой перестановке его членов, при этом сумма ряда не зависит от порядка расположения членов. Если? сумма всех его положительных членов, а? сумма всех абсолютных величин отрицательных членов, то сумма ряда равна.

Свойство 2. Если ряд абсолютно сходится и, то ряд также абсолютно сходится.

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

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

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

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

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

Если ряд сходится абсолютно, то он является сходящимся (в обычном смысле). Обратное утверждение неверно.

Ряд называется условно сходящимся, если сам он сходится, а ряд, составленный из модулей его членов, расходится.

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

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

поскольку . Следовательно, данный ряд сходится.

38. Знакочередующиеся ряды. Признак Лейбница.

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

Признак Лейбница

Для знакочередующихся рядом действует достаточный признак сходимости Лейбница.

Пусть {an} является числовой последовательностью, такой, что

1. an+1 < an для всех n;

Тогда знакочередующиеся ряды исходятся.

39. Функциональные ряды. Степенные ряды. Радиус сходимости. Интервал сходимости.

Понятие функционального ряда и степенного ряда

Обычный числовой ряд, вспоминаем, состоит из чисел:

Все члены ряда –это ЧИСЛА.

Функциональный же ряд состоит из ФУНКЦИЙ:

В общий член рядапомимо многочленов, факториалов и других подарков непременно входит буковка «икс». Выглядит это, например, так:

Как и числовой ряд, любой функциональный ряд можно расписать в развернутом виде:

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

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

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

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

Упрощенно степенной ряд во многих учебниках записывают так: , где– это старая знакомая «начинка» числовых рядов (многочлены, степени, факториалы, зависящие только от «эн»). Простейший пример:

Посмотрим на это разложение и еще раз осмыслим определение: члены степенного ряда содержат «иксы» в целых положительных (натуральных) степенях.

Очень часто степенной ряд можно встретить в следующих «модификациях»: илигде а – константа. Например:

Строго говоря, упрощенные записи степенного ряда,илине совсем корректны. В показателе степени вместо одинокой буквы «эн» может располагаться более сложное выражение, например:

Или такой степенной ряд:

Лишь бы показатели степеней при «иксАх» были натуральными.

Сходимость степенного ряда .

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

Не нужно пугаться такого обилия терминов, они идут «рядом друг с другом» и не представляют особых сложностей для понимания. Лучше выберем какой-нибудь простой подопытный ряд и сразу начнём разбираться.

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

Если х=1,то

Если х=-1,то

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