Знакочередующиеся и знакопеременные ряды и их сходимость. Примеры. Знакопеременные ряды, абсолютная и условная сходимость Функциональные ряды. Область сходимости функционального ряда
Числовой ряд, содержащий бесконечное множество положительных и бесконечное множество отрицательных членов, называется знакопеременным.
Абсолютная и условная сходимость
Ряд называется абсолютно сходящимся, если ряд также сходится.
Если ряд сходится абсолютно, то он является сходящимся (в обычном смысле). Обратное утверждение неверно.
Ряд называется условно сходящимся, если сам он сходится, а ряд, составленный из модулей его членов, расходится.
Исследовать на сходимость ряд .
Применим достаточный признак Лейбница для знакочередующихся рядов. Получаем
поскольку . Следовательно, данный ряд сходится.
38. Знакочередующиеся ряды. Признак Лейбница.
Частным случаем знакопеременного ряда является знакочередующийся ряд, то есть такой ряд, в котором последовательные члены имеют противоположные знаки.
Признак Лейбница
Для знакочередующихся рядом действует достаточный признак сходимости Лейбница.
Пусть {an} является числовой последовательностью, такой, что
1. an+1 < an для всех n;
Тогда знакочередующиеся ряды исходятся.
39. Функциональные ряды. Степенные ряды. Радиус сходимости. Интервал сходимости.
Понятие функционального ряда и степенного ряда
Обычный числовой ряд, вспоминаем, состоит из чисел:
Все члены ряда –это ЧИСЛА.
Функциональный же ряд состоит из ФУНКЦИЙ:
В общий член рядапомимо многочленов, факториалов и других подарков непременно входит буковка «икс». Выглядит это, например, так:
Как и числовой ряд, любой функциональный ряд можно расписать в развернутом виде:
Как видите, все члены функционального ряда это функции.
Наиболее популярной разновидностью функционального ряда является степенной ряд.
Определение:
Степенной ряд – это ряд, в общий член которого входят целые положительные степени независимой переменной.
Упрощенно степенной ряд во многих учебниках записывают так: , где– это старая знакомая «начинка» числовых рядов (многочлены, степени, факториалы, зависящие только от «эн»). Простейший пример:
Посмотрим на это разложение и еще раз осмыслим определение: члены степенного ряда содержат «иксы» в целых положительных (натуральных) степенях.
Очень часто степенной ряд можно встретить в следующих «модификациях»: илигде а – константа. Например:
Строго говоря, упрощенные записи степенного ряда,илине совсем корректны. В показателе степени вместо одинокой буквы «эн» может располагаться более сложное выражение, например:
Или такой степенной ряд:
Лишь бы показатели степеней при «иксАх» были натуральными.
Сходимость степенного ряда .
Интервал сходимости, радиус сходимости и область сходимости
Не нужно пугаться такого обилия терминов, они идут «рядом друг с другом» и не представляют особых сложностей для понимания. Лучше выберем какой-нибудь простой подопытный ряд и сразу начнём разбираться.
Прошу любить и жаловать степенной ряд Переменная может принимать любое действительное значение от «минус бесконечности» до «плюс бесконечности». Подставим в общий член ряда несколько произвольных значений «икс»:
Если х=1,то
Если х=-1,то
Если х=3,то
Если х=-0,2, то
Очевидно, что, подставляя в то или иное значение «икс», мы получаем различные числовые ряды. Некоторые числовые ряды будут сходиться, а некоторые расходиться. И наша задача найти множество значений «икс», при котором степенной рядбудет сходиться. Такое множество и называется областью сходимости ряда.
Для любого степенного ряда (временно отвлекаемся от конкретного примера) возможны три случая:
1) Степенной ряд сходится абсолютно на некотором интервале . Иными словами, если мы выбираем любое значение «икс» из интервалаи подставляем его в общий член степенного ряда, то у нас получается абсолютно сходящийся числовой ряд. Такой интервал и называется интервалом сходимости степенного ряда.
Радиус сходимости, если совсем просто, это половина длины интервала сходимости:
Геометрически
ситуация выглядит так:
В данном случае, интервал сходимости ряда: радиус сходимости ряда:
Определение 6.1 Числовой ряд, содержащий бесконечное множество положительных и бесконечное множество отрицательных членов, называется знакопеременным. Частным случаем знакопеременного ряда является знакочередующийся ряд, то есть такой ряд, в котором последовательные члены имеют противоположные знаки.
Признак Лейбница
Для знакочередующихся рядом действует достаточный признак сходимости Лейбница.
Пусть {an} является числовой последовательностью, такой, что
1. an+1 < an ;
Тогда знакочередующиеся ряды и сходятся.
Абсолютная и условная сходимость
Определение 6.2 Ряд называется абсолютно сходящимся, если ряд также сходится. Если ряд сходится абсолютно, то он является сходящимся (в обычном смысле). Обратное утверждение неверно.
Ряд называется условно сходящимся, если сам он сходится, а ряд, составленный из модулей его членов, расходится.
Применим достаточный признак Лейбница для знакочередующихся рядов. Получаем
поскольку. Следовательно, данный ряд сходится.
Исследовать на сходимость ряд.
Попробуем применить признак Лейбница:
Видно, что модуль общего члена не стремится к нулю при n > ?. Поэтому данный ряд расходится
Применяя признак Даламбера к ряду, составленному из модулей соответствующих членов, находим
Следовательно, данный ряд сходится абсолютно.
Определить, является ли ряд абсолютно сходящимся, условно сходящимся или расходящимся?
Сначала воспользуемся признаком Лейбница и найдем предел. Вычислим этот предел по правилу Лопиталя:
Таким образом, исходный ряд расходится.
Исследовать на сходимость ряд
Общий член данного ряда равен. Применим признак Даламбера к ряду, составленному из модулей:
Следовательно. исходный ряд сходится абсолютно.
Исследовать, является ли ряд абсолютно сходящимся, условно сходящимся или расходящимся?
Применяя признак Лейбница, видим, что ряд является сходящимся:
Рассмотрим теперь сходимость ряда, составленного из модулей соответствующих членов. Используя интегральный признак сходимости, получаем
Следовательно исходный ряд сходится условно.
Определить, является ли ряд абсолютно сходящимся, условно сходящимся или расходящимся?
Сначала применим признак Лейбница:
Следовательно, данный ряд сходится. Выясним, является ли эта сходимость абсолютной или условной. Воспользуемся предельным признаком сравнения и сравним соответствующий ряд из модулей с расходящимся гармоническим рядом:
Поскольку ряд, составленный из модулей, расходится, то исходный знакочередующийся ряд является условно сходящимся.
1. Ряды с положительными членами. Признаки сходимости
Определить сходимость ряда (1.1) и найти его сумму в случае сходимости непосредственно по определению 1.1 как предела последовательности частичных сумм, весьма затруднительно. Поэтому существуют достаточные признаки определения сходится ряд или расходится. В случае его сходимости приближенным значением его суммы с любой степенью точности может служить сумма соответствующего числа первых n членов ряда.
Здесь будем рассматривать ряды (1.1) с положительными (неотрицательными) членами, т. е. ряды, для которых Такие ряды будем называть положительными рядами.
Теорема 3.1. (признак сравнения)
Пусть даны два положительных ряда
и выполняются условия для всех n=1,2,…
Тогда: 1) из сходимости ряда (3.2) следует сходимость ряда (3.1);
2) из расходимости ряда (3.1) следует расходимость ряда (3.2).
Доказательство. 1. Пусть ряд (3.2) сходится и его сумма равна В. Последовательность частичных сумм ряда (3.1) является неубывающей ограниченной сверху числом В, т. е.
Тогда в силу свойств таких последовательностей следует, что она имеет конечный предел, т. е. ряд (3.1) сходится.
2. Пусть ряд (3.1) расходится. Тогда, если ряд (3.2) сходится, то в силу доказанного выше пункта 1 сходился бы и исходный ряд, что противоречит нашему условию. Следовательно ряд (3.2) также расходится.
Этот признак удобно применять к определению сходимости рядов, сравнивая их с рядами, сходимость которых уже известна.
Пример 3.1. Исследовать на сходимость ряд
Члены ряда положительны и меньше соответствующих членов сходящегося ряда геометрической прогрессии
т. к. , n=1,2,…
Следовательно, по признаку сравнения исходный ряд также сходится.
Пример 3.2. Исследовать на сходимость ряд
Члены данного ряда положительны и больше соответствующих членов расходящегося гармонического ряда
Следовательно, по признаку сравнения исходный ряд расходится.
Теорема 3.2. (Предельный признак Даламбера).
Тогда: 1) при q < 1 ряд (1.1) сходится;
- 2) при q > 1 ряд (1.1) расходится;
Замечание: Ряд (1.1) будет расходиться и в том случае, когда
Пример 3.3. Исследовать на сходимость ряд
Применим предельный признак Даламбера.
В нашем случае.
Пример 3.4. Исследовать на сходимость ряд
Следовательно, исходный ряд сходится.
Пример 3.5. Исследовать на сходимость ряд
Применим предельный признак Даламбера:
Следовательно, исходный ряд расходится.
Замечание. Применение предельного признака Даламбера к гармоническому ряду не дает ответа о сходимости этого ряда, т. к. для этого ряда
Теорема 3.3. (Предельный признак Коши Коши Огюстен Луи (1789 - 1857), французский математик.).
Пусть члены положительного ряда (1.1) таковы, что существует предел
Тогда: 1) при q < 1 ряд (1.1) сходится;
- 2) при q > 1 ряд (1.1) расходится;
- 3) при q = 1 о сходимости ряда (1.1) ничего сказать нельзя, необходимы дополнительные исследования.
Пример 3.6. Исследовать на сходимость ряд
Применим предельный признак Коши:
Следовательно, исходный ряд сходится.
Теорема 3.4. (Интегральный признак Коши).
Пусть функция f(x) непрерывная неотрицательная невозрастающая функция на промежутке
Тогда ряд и несобственный интеграл сходятся или расходятся одновременно.
Пример 3.7. Исследовать на сходимость гармонический ряд
Применим интегральный признак Коши.
В нашем случае функция удовлетворяет условию теоремы 3.4. Исследуем на сходимость несобственный интеграл
Несобственный интеграл расходится, следовательно, исходный гармонический ряд расходится также.
Пример 3.8. Исследовать на сходимость обобщенный гармонический ряд
Функция удовлетворяет условию теоремы 3.4.
Исследуем на сходимость несобственный интеграл
Рассмотрим следующие случаи:
- 1) пусть Тогда обобщенный гармонический ряд есть гармонический ряд, который расходится, как показано в примере 3.7.
- 2) пусть Тогда
Несобственный интеграл расходится, и, следовательно, ряд расходится;
3) пусть Тогда
Несобственный интеграл сходится, и, следовательно, ряд сходится.
Окончательно имеем
Замечания. 1. Обобщенный гармонический ряд будет расходиться при, т. к. в этом случае не выполняется необходимый признак сходимости: общий член ряда не стремится к нулю.
2. Обобщенный гармонический ряд удобно использовать при применении признака сравнения.
Пример 3.9. Исследовать на сходимость ряд
Члены ряда положительны и меньше соответствующих членов сходящегося обобщенного гармонического ряда
т. к. и параметр
Следовательно, исходный ряд сходится (по признаку сравнения).
Перейдем к рассмотрению рядов, члены которых могут быть как положительными, так и отрицательными.
Определение 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} $.
- Исследуем ряд на абсолютную сходимость. Обозначим $\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}
- Далее исследуем исходный ряд $\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 }