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

Необходимый признак сходимости ряда

ТЕОРЕМА 1

Если ряд сходится, то его общий член стремится к нулю при
, т.е.
.

Кратко : если ряд сходится, то его общий член стремится к нулю.

Доказательство. Пусть ряд сходится и его сумма равна . Для любого частичная сумма

.

Тогда . 

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

Пример 4.

Для этого ряда общий член
и
.

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

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

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

Знакоположительные числовые ряды

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

ТЕОРЕМА 2 (Критерий сходимости знакоположительного ряда)

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

Доказательство. Так как для любого
, то, т.е. последовательность
– монотонно возрастающая, поэтому для существования предела необходимо и достаточно ограничение последовательности сверху каким-либо числом.

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

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

ТЕОРЕМА 3 (Первый признак сравнения)

Пусть даны два знакоположительных ряда:

(1)

(2)

причем, начиная с некоторого номера
, для любого
выполняется неравенство
Тогда:

Схематическая запись первого признака сравнения:

сход.сход.

расх.расх.

Доказательство. 1) Так как отбрасывание конечного числа членов ряда не влияет на его сходимость, докажем теорему для случая
. Пусть для любого
имеем

, (3)

где
и
- соответственно частичные суммы рядов (1) и (2).

Если ряд (2) сходится, то существует число
. Поскольку при этом последовательность
- возрастающая, ее предел больше любого из ее членов, т.е.
для любого . Отсюда из неравенства (3) следует
. Таким образом, все частичные суммы ряда (1) ограничены сверху числом . Согласно теореме 2 этот ряд сходится.

2) Действительно, если бы ряд (2) сходился, то по признаку сравнения сходился бы и ряд (1). 

Для применения этого признака часто используют такие ряды-эталоны, сходимость или расходимость которых известна заранее, например:

3) - ряд Дирихле (он сходится при
и расходится при
).

Кроме этого часто используют ряды, которые можно получить с помощью следующих очевидных неравенств:

,

,
,
.

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

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

Шаг 1. Проверим знакоположительность ряда:
для

Шаг 2. Проверим выполнение необходимого признака сходимости ряда:
. Так как
, то

(если вычисление предела вызывает трудности, то этот шаг можно пропустить).

Шаг 3. Используем первый признак сравнения. Для этого подберем для данного ряда ряд-эталон. Так как
, то в качестве эталона можно взять ряд
, т.е. ряд Дирихле. Этот ряд сходится, так как показатель степени
. Следовательно, согласно первому признаку сравнения сходится и исследуемый ряд.

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

1) Данный ряд знакоположительный, так как
для

2) Необходимый признак сходимости ряда выполняется, ибо

3) Подберем ряд-эталон. Так как
, то в качестве эталона можно взять геометрический ряд

. Этот ряд сходится, следовательно, сходится и исследуемый ряд.

ТЕОРЕМА 4 (Второй признак сравнения)

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

Доказательство. Пусть ряд (2) сходится; докажем, что тогда сходится и ряд (1). Выберем какое-нибудь число , большее, чем . Из условия
вытекает существование такого номера , что для всех
справедливо неравенство
, или, что то же,

(4)

Отбросив в рядах (1) и (2) первые членов (что не влияет на сходимость), можно считать, что неравенство (4) справедливо для всех
Но ряд с общим членом
сходится в силу сходимости ряда (2). Согласно первому признаку сравнения, из неравенства (4) следует сходимость ряда (1).

Пусть теперь сходится ряд (1); докажем сходимость ряда (2). Для этого следует просто поменять ролями заданные ряды. Так как

то, по доказанному выше, из сходимости ряда (1) должна следовать сходимость ряда (2). 

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

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

1)
; 4)
;

2)
; 5)
;

3)
; 6)
.

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

.

для любого
.

Так как
, то возьмем в качестве ряда-эталона гармонический расходящийся ряд
. Поскольку предел отношения общих членовиконечен и отличен от нуля (он равен 1), то на основании второго признака сравнения данный ряд расходится.

Пример 9.
по двум признакам сравнения.

Данный ряд знакоположительный, так как
, и
. Поскольку
, то в качестве ряда-эталона можно брать гармонический ряд. Этот ряд расходится и следовательно, по первому признаку сравнения, исследуемый ряд также расходится.

Так как для данного ряда и ряда-эталона выполняется условие
(здесь использован 1-й замечательный предел), то на основании второго признака сравнения ряд
– расходится.

ТЕОРЕМА 5 (Признак Даламбера)

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

Доказательство. Пусть
. Возьмем какое-либо число, заключенное между и 1:
. Из условия
следует, что начиная с некоторого номера выполняется неравенство

;
;
(5)

Рассмотрим ряд

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

Случай
рассмотрите самостоятельно.

Замечания :

следует, что остаток ряда

.

Признак Даламбера удобен на практике тогда, когда общий член ряда содержит показательную функцию или факториал.

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

Данный ряд знакоположительный и

.

(Здесь при вычислении дважды применено правило Лопиталя).

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

Пример 11. .

Данный ряд знакоположительный и
. Поскольку

то данный ряд сходится.

ТЕОРЕМА 6 (Признак Коши)

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

Доказательство аналогично теореме 5.

Замечания :

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

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

то по признаку Коши данный ряд расходится.

ТЕОРЕМА 7 (Интегральный признак сходимости Маклорена - Коши)

Пусть дан ряд

члены которого положительны и не возрастают:

Пусть, далее
- функция, которая определена для всех вещественных
, непрерывна, не возрастает и

Перед началом работы с этой темой советую посмотреть раздел с терминологией для числовых рядов. Особенно стоит обратить внимание на понятие общего члена ряда. Если у вас есть сомнения в правильности выбора признака сходимости, советую глянуть тему "Выбор признака сходимости числовых рядов" .

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

Если ряд $\sum\limits_{n=1}^{\infty}u_n$ сходится, то $\lim_{n\to\infty}u_n=0$.

Часто в литературе вместо словосочетания "необходимый признак сходимости" пишут "необходимое условие сходимости". Однако перейдём к сути: что означает данный признак? А означает он следующее: если $\lim_{n\to\infty}u_n=0$, то ряд может сходиться. Если же $\lim_{n\to\infty}u_n\neq 0$ (или же предела попросту не существует), то ряд $\sum\limits_{n=1}^{\infty}u_n$ расходится.

Стоит обратить внимание, что равенство $\lim_{n\to\infty}u_n=0$ вовсе не означает сходимости ряда. Ряд может как сходиться, так и расходиться. А вот если $\lim_{n\to\infty}u_n\neq 0$, то ряд гарантированно расходится. Если эти нюансы требуют детальных пояснений, то прошу раскрыть примечание.

Что означает словосочетание "необходимое условие"? показать\скрыть

Поясним понятие необходимого условия на примере. Для покупки ручки студенту необходимо иметь 10 рублей. Это можно записать так: если студент покупает ручку, то у него есть 10 рублей. Наличие десяти рублей - это и есть необходимое условие покупки ручки.

Пусть это условие выполнено, т.е. десятка у студента есть. Значит ли это, что он купит ручку? Вовсе нет. Он может купить ручку, а может приберечь деньги на потом. Или купить что-либо иное. Или подарить их кому-то, - вариантов масса:) Иными словами, выполнение необходимого условия покупки ручки (т.е. наличие денег) вовсе не гарантирует покупку этой ручки.

Точно так же и необходимое условие сходимости числового ряда $\lim_{n\to\infty}u_n=0$ вовсе не гарантирует сходимость этого самого ряда. Простая аналогия: если есть деньги, студент может купить ручку, а может и не купить. Если $\lim_{n\to\infty}u_n=0$, ряд может как сходиться, так и расходиться.

Однако что произойдет, если необходимое условие покупки ручки не выполнено, т.е. денег нет? Тогда студент ручку точно не купит. То же самое и с рядами: если необходимое условие сходимости не выполнено, т.е. $\lim_{n\to\infty}u_n\neq 0$, то ряд точно будет расходиться.

Говоря кратко: если необходимое условие выполнено, то следствие может как произойти, так и не произойти. Однако если необходимое условие не выполнено, то следствие точно не произойдёт.

Для наглядности приведу пример двух рядов: $\sum\limits_{n=1}^{\infty}\frac{1}{n}$ и $\sum\limits_{n=1}^{\infty}\frac{1}{n^2}$. Общий член первого ряда $u_n=\frac{1}{n}$ и общий член второго ряда $v_n=\frac{1}{n^2}$ стремятся к нулю, т.е.

$$ \lim_{n\to\infty}u_n=\lim_{n\to\infty}\frac{1}{n}=0;\; \lim_{n\to\infty}v_n=\lim_{n\to\infty}\frac{1}{n^2}=0. $$

Однако гармонический ряд $\sum\limits_{n=1}^{\infty}\frac{1}{n}$ расходится, а ряд $\sum\limits_{n=1}^{\infty}\frac{1}{n^2}$ сходится. Выполнение необходимого условия сходимости вовсе не гарантирует сходимости ряда.

Исходя из необходимого условия сходимости ряда можно сформулировать достаточный признак расходимости числового ряда:

Если $\lim_{n\to\infty}u_n\neq 0$, то ряд $\sum\limits_{n=1}^{\infty}u_n$ расходится.

Чаще всего в стандартных примерах необходимый признак сходимости проверяется, если общий член ряда представлен дробью, числитель и знаменатель которой есть некие многочлены. Например, $u_n=\frac{3n^2+2n-1}{5n^2+7}$ (см. пример №1). Или же могут присутствовать корни от многочленов (см. пример №2). Бывают примеры, которые несколько выбиваются из данной схемы, но для стандартных контрольных работ это редкость (см. примеры во второй части этой темы). Подчеркну главное: с помощью необходимого признака нельзя доказать сходимость ряда. Этот признак используют, когда нужно доказать, что ряд расходится.

Пример №1

Исследовать сходимость ряда $\sum\limits_{n=1}^{\infty}\frac{3n^2+2n-1}{5n^2+7}$.

Так как нижний предел суммирования равен 1, то общий член ряда записан под знаком суммы: $u_n=\frac{3n^2+2n-1}{5n^2+7}$. Найдём предел общего члена ряда:

$$ \lim_{n\to\infty}u_n=\lim_{n\to\infty}\frac{3n^2+2n-1}{5n^2+7}=\left|\frac{\infty}{\infty}\right|= \lim_{n\to\infty}\frac{\frac{3n^2}{n^2}+\frac{2n}{n^2}-\frac{1}{n^2}}{\frac{5n^2}{n^2}+\frac{7}{n^2}}= \lim_{n\to\infty}\frac{3+\frac{2}{n}-\frac{1}{n^2}}{5+\frac{7}{n^2}}=\frac{3+0-0}{5+0}=\frac{3}{5}. $$

"Предел отношения двух многочленов" . Так как предел общего члена ряда не равен нулю, т.е. $\lim_{n\to\infty}u_n=\frac{3}{5}\neq 0$, то необходимый признак сходимости не выполнен. Следовательно, ряд расходится.

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

Почему мы начали применять именно необходимый признак сходимости? показать\скрыть

Если говорить нестрого, то вопрос сходимости этого ряда решается ещё до формального исследования. Я не буду касаться такой темы как порядок роста, просто приведу некие общие рассуждения. Давайте посмотрим на общий член ряда $u_n=\frac{3n^2+2n-1}{5n^2+7}$ повнимательнее. Сначала обратимся к числителю. Число (-1), расположенное в числителе, можно отбросить сразу: если $n\to\infty$, то данное число будет пренебрежимо малым по сравнению с остальными слагаемыми.

Посмотрим на степени $n^2$ и $n$, имеющиеся в числителе. Вопрос: какой элемент ($n^2$ или $n$) будет расти быстрее прочих?

Ответ здесь прост: наиболее быстро будет увеличивать свои значения именно $n^2$. Например, когда $n=100$, то $n^2=10\;000$. И этот разрыв между $n$ и $n^2$ будет всё больше и больше. Поэтому все слагаемые, кроме тех, что содержат $n^2$, мы мысленно отбросим. После такого "отбрасывания" в числителе останется $3n^2$. А после проведения подобной процедуры для знаменателя, там останется $5n^2$. И дробь $\frac{3n^2+2n-1}{5n^2+7}$ теперь станет такой: $\frac{3n^2}{5n^2}=\frac{3}{5}$. Т.е. на бесконечности общий член явно не будет стремиться к нулю. Осталось лишь показать это формально, что и было сделано выше.

Частенько в записи общего члена ряда используют такие элементы, как, например, $\sin\alpha$ или $\arctg\alpha$ и тому подобное. Нужно просто помнить, что значения подобных величин не могут выходить за некие числовые границы. Например, каким бы ни было значение $\alpha$, значение $\sin\alpha$ останется в пределах $-1≤\sin\alpha≤ 1$. Т.е., к примеру, мы можем записать, что $-1≤\sin(n!e^n)≤ 1$. А теперь представьте, что в записи общего члена ряда расположено выражение вроде $5n+\sin(n!e^n)$. Сыграет ли синус, который может "колебаться" лишь от -1 до 1, хоть какую-либо значимую роль? Ведь значения $n$ устремляются в бесконечность, а синус не сможет превысить даже единицу! Поэтому при предварительном рассмотрении выражения $5n+\sin(n!e^n)$ синус можно просто отбросить.

Или, для примера, возьмём арктангенс. Каким бы ни было значение аргумента $\alpha$, значения $\arctg\alpha$ будут удовлетворять неравенству $-\frac{\pi}{2}<\arctg\alpha<\frac{\pi}{2}$. Т.е., например, в выражении вроде $7n^3+\sqrt{9n+100}-6\arctg(5^n+587n^{258})$ можно сразу отбросить арктангенс. Да и $\sqrt{9n+100}$ тоже, оставив при этом лишь $7n^3$.

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

Ответ : ряд расходится.

Пример №2

Исследовать ряд $\sum\limits_{n=1}^{\infty}\frac{\sqrt{4n^7+5n^3-4}}{9n^2-n+12}$ на сходимость.

Так как нижний предел суммирования равен 1, то общий член ряда записан под знаком суммы: $u_n=\frac{\sqrt{4n^7+5n^3-4}}{9n^2-n+12}$. Найдём предел общего члена ряда:

$$ \lim_{n\to\infty}u_n=\lim_{n\to\infty}\frac{\sqrt{4n^7+5n^3-4}}{9n^2-n+12}=\left|\frac{\infty}{\infty}\right|= \lim_{n\to\infty}\frac{\sqrt{\frac{4n^7}{n^7}+\frac{5n^3}{n^7}-\frac{4}{n^7}}}{\frac{9n^2}{n^{\frac{7}{3}}}-\frac{n}{n^{\frac{7}{3}}}+\frac{12}{n^{\frac{7}{3}}}}= \lim_{n\to\infty}\frac{\sqrt{4+\frac{5}{n^4}-\frac{4}{n^7}}}{\frac{9}{n^\frac{1}{3}}-\frac{1}{n^\frac{4}{3}}+\frac{12}{n^\frac{7}{3}}}=+\infty. $$

Если метод решения данного предела вызывает вопросы, то советую обратиться к теме "Пределы с иррациональностями. Третья часть" (пример №7). Так как предел общего члена ряда не равен нулю, т.е. $\lim_{n\to\infty}u_n\neq 0$, то необходимый признак сходимости не выполнен. Следовательно, ряд расходится.

Немного поговорим с позиции интуитивных рассуждений. В принципе, здесь верно всё то же самое, что было сказано в примечании к решению примера №1. Если мысленно "отбросить" все "несущественные" слагаемые в числителе и знаменателе общего члена ряда, то дробь $\frac{\sqrt{4n^7+5n^3-4}}{9n^2-n+12}$ примет вид: $\frac{\sqrt{4n^7}}{9n^2}=\frac{n^2\sqrt{4n}}{9n^2}=\frac{\sqrt{4n}}{9}$. Т.е. ещё до формального исследования становится ясным, что при $n\to\infty$ общий член ряда к нулю стремиться не станет. К бесконечности - станет, к нулю - нет. Поэтому остаётся лишь показать это строго, что и было сделано выше.

Ответ : ряд расходится.

Пример №3

Исследовать сходимость ряда $\sum\limits_{n=1}^{\infty}\left(5^n\sin\frac{8}{3^n}\right)$.

Так как нижний предел суммирования равен 1, то общий член ряда записан под знаком суммы: $u_n=5^n\sin\frac{8}{3^n}$. Найдём предел общего члена ряда:

$$ \lim_{n\to\infty}u_n=\lim_{n\to\infty}\left(5^n\sin\frac{8}{3^n}\right)=\lim_{n\to\infty}\frac{\sin\frac{8}{3^n}}{\frac{1}{5^n}}=\left|\frac{0}{0}\right|=\left|\begin{aligned}&\frac{8}{3^n}\to 0;\\&\sin\frac{8}{3^n}\sim\frac{8}{3^n}. \end{aligned}\right|=\lim_{n\to\infty}\frac{\frac{8}{3^n}}{\frac{1}{5^n}}=8\cdot\lim_{n\to\infty}\left(\frac{5}{3}\right)^n=+\infty. $$

Так как предел общего члена ряда не равен нулю, т.е. $\lim_{n\to\infty}u_n\neq 0$, то необходимый признак сходимости не выполнен. Следовательно, ряд расходится.

Пару слов насчёт тех преобразований, которые были осуществлены при вычислении предела. Выражение $5^n$ было помещено в числитель для того, чтобы выражения и в числителе, и в знаменателе стали бесконечно малыми. Т.е. при $n\to\infty$ имеем: $\sin\frac{8}{3^n}\to 0$ и $\frac{1}{5^n}\to 0$. А если мы имеем отношение бесконечно малых, то смело можем применять формулы, указанные в документе "Эквивалентные бесконечно малые функции" (см. таблицу в конце документа). Согласно одной из таких формул, если $x\to 0$, то $\sin x\sim x$. А у нас и есть как раз такой случай: так как $\frac{8}{3^n}\to 0$, то $\sin\frac{8}{3^n}\sim\frac{8}{3^n}$. Иными словами, мы просто-напросто заменяем выражение $\sin\frac{8}{3^n}$ выражением $\frac{8}{3^n}$.

Полагаю, может возникнуть вопрос, зачем же мы преобразовывали выражение $5^n\sin\frac{8}{3^n}$ к виду дроби, - ведь замену можно было сделать и без такого преобразования. Ответ тут таков: замену-то сделать можно, но вот правомерна ли она будет? Теорема про эквивалентные бесконечно малые функции даёт недвусмысленное указание, что подобные замены возможны лишь в выражениях вида $\frac{\alpha(x)}{\beta(x)}$ (при этом $\alpha(x)$ и $\beta(x)$ - бесконечно малые), расположенных под знаком предела. Вот мы и преобразовали наше выражение к виду дроби, подогнав его под требования теоремы.

Ответ : ряд расходится.

Пример №4

Исследовать сходимость ряда $\sum\limits_{n=1}^{\infty}\frac{3^n}{n^2}$.

Так как нижний предел суммирования равен 1, то общий член ряда записан под знаком суммы: $u_n=\frac{3^n}{n^2}$. Вообще-то, вопрос со сходимостью этого ряда легко решается с помощью признака Д"Аламбера . Однако можно применить и необходимый признак сходимости.

Посмотрим повнимательнее на общий член ряда. В числителе расположено выражение $3^n$, которое с возрастанием $n$ увеличивается гораздо быстрее, нежели расположенный в знаменателе $n^2$. Сравните сами: например, если $n=10$, то $3^n=59049$, а $n^2=100$. И этот разрыв стремительно увеличивается с ростом $n$.

Вполне логично предположить, что если $n\to\infty$, то $u_n$ не станет стремиться к нулю, т.е. необходимое условие сходимости выполнено не будет. Осталось лишь проверить эту столь правдоподобную гипотезу и вычислить $\lim_{n\to\infty}u_n=\lim_{n\to\infty}\frac{3^n}{n^2}$. Однако перед вычислением этого предела найдём вспомогательный предел функции $y=\frac{3^x}{x^2}$ при $x\to +\infty$, т.е. вычислим $\lim_{x\to +\infty}\frac{3^x}{x^2}$. Зачем мы это делаем: дело в том, что в выражении $u_n=\frac{3^n}{n^2}$ параметр $n$ принимает лишь натуральные значения ($n=1,2,3,\ldots$), а аргумент $x$ функции $y=\frac{3^x}{x^2}$ принимает действительные значения. При нахождении $\lim_{x\to+\infty}\frac{3^x}{x^2}$ мы можем применить правило Лопиталя:

$$ \lim_{x\to +\infty}\frac{3^x}{x^2}=\left|\frac{\infty}{\infty}\right|=|\text{применяем правило Лопиталя}|=\lim_{x\to +\infty}\frac{\left(3^x\right)"}{\left(x^2\right)"}=\lim_{x\to +\infty}\frac{3^x\ln 3}{2x}=\\ =\frac{\ln 3}{2}\cdot\lim_{x\to +\infty}\frac{3^x}{x} =\left|\frac{\infty}{\infty}\right|=|\text{применяем правило Лопиталя}|=\frac{\ln 3}{2}\cdot\lim_{x\to +\infty}\frac{\left(3^x\right)"}{\left(x\right)"}=\\ =\frac{\ln 3}{2}\cdot\lim_{x\to +\infty}\frac{3^x\ln 3}{1}=\frac{\ln^2 3}{2}\cdot\lim_{x\to +\infty}3^x=+\infty. $$

Так как $\lim_{x\to +\infty}\frac{3^x}{x^2}=+\infty$, то $\lim_{n\to\infty}u_n=\lim_{n\to\infty}\frac{3^n}{n^2}=+\infty$. Так как $\lim_{n\to\infty}u_n\neq 0$, то необходимое условие сходимости ряда не выполнено, т.е. заданный ряд расходится.

Ответ : ряд расходится.

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

Ряды для чайников. Примеры решений

Всех выживших приветствую на втором курсе! На этом уроке, а точнее, на серии уроков, мы научимся управляться с рядами. Тема не очень сложная, но для ее освоения потребуются знания с первого курса, в частности, необходимо понимать, что такое предел , и уметь находить простейшие пределы. Впрочем, ничего страшного, по ходу объяснений я буду давать соответствующие ссылки на нужные уроки. Некоторым читателям тема математических рядов, приемы решения, признаки, теоремы могут показаться своеобразными, и даже вычурными, нелепыми. В этом случае не нужно сильно «загружаться», принимаем факты такими, какими они есть, и просто учимся решать типовые, распространенные задания.

1) Ряды для чайников , и для самоваров сразу содержание:)

Для сверхбыстрой подготовки по теме есть экспресс-курс в pdf формате , с помощью которого реально «поднять» практику буквально за день.

Понятие числового ряда

В общем виде числовой ряд можно записать так: .
Здесь:
– математический значок суммы;
– общий член ряда (запомните этот простой термин);
– переменная-«счётчик». Запись обозначает, что проводится суммирование от 1 до «плюс бесконечности», то есть, сначала у нас , затем , потом , и так далее – до бесконечности. Вместо переменной иногда используется переменная или . Суммирование не обязательно начинается с единицы, в ряде случаев оно может начинаться с нуля , с двойки либо с любого натурального числа .

В соответствии с переменной-«счётчиком» любой ряд можно расписать развёрнуто:
– и так далее, до бесконечности.

Cлагаемые – это ЧИСЛА , которые называются членами ряда. Если все они неотрицательны (больше либо равны нулю) , то такой ряд называют положительным числовым рядом .

Пример 1

Это уже, кстати, «боевое» задание – на практике довольно часто требуется записать несколько членов ряда.

Сначала , тогда:
Затем , тогда:
Потом , тогда:

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

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

Пример 2

Записать первые три члена ряда

Это пример для самостоятельного решения, ответ в конце урока

Даже для сложного на первый взгляд ряда не составляет трудности расписать его в развернутом виде:

Пример 3

Записать первые три члена ряда

На самом деле задание выполняется устно: мысленно подставляем в общий член ряда сначала , потом и . В итоге:

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

Иногда встречается обратное задание

Пример 4

Здесь нет какого-то четкого алгоритма решения, закономерность нужно просто увидеть .
В данном случае:

Для проверки полученный ряд можно «расписать обратно» в развернутом виде.

А вот пример чуть сложнее для самостоятельного решения:

Пример 5

Записать сумму в свёрнутом виде с общим членом ряда

Выполнить проверку, снова записав ряд в развернутом виде

Сходимость числовых рядов

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

1) Ряд расходится . Это значит, что бесконечная сумма равна бесконечности: либо суммы вообще не существует , как, например, у ряда
(вот, кстати, и пример ряда с отрицательными членами). Хороший образец расходящегося числового ряда встретился в начале урока: . Здесь совершенно очевидно, что каждый следующий член ряда больше, чем предыдущий, поэтому и, значит, ряд расходится. Ещё более тривиальный пример: .

2) Ряд сходится . Это значит, что бесконечная сумма равна некоторому конечному числу : . Пожалуйста: – этот ряд сходится и его сумма равна нулю. В качестве более содержательного примера можно привести бесконечно убывающую геометрическую прогрессию, известную нам ещё со школы: . Сумма членов бесконечно убывающей геометрической прогрессии рассчитывается по формуле: , где – первый член прогрессии, а – её основание, которое, как правило, записывают в виде правильной дроби. В данном случае: , . Таким образом: Получено конечное число, значит, ряд сходится, что и требовалось доказать.

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

Существует несколько признаков сходимости ряда: необходимый признак сходимости ряда, признаки сравнения, признак Даламбера, признаки Коши , признак Лейбница и некоторые другие признаки. Когда какой признак применять? Это зависит от общего члена ряда , образно говоря – от «начинки» ряда. И очень скоро мы всё разложим по полочкам.

! Для дальнейшего усвоения урока необходимо хорошо понимать , что такое предел и хорошо уметь раскрывать неопределенность вида . Для повторения или изучения материала обратитесь к статье Пределы. Примеры решений .

Необходимый признак сходимости ряда

Если ряд сходится, то его общий член стремится к нулю: .

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

Если общий член ряда не стремится к нулю , то ряд расходится

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

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

Докажем, что ряд из первого примера расходится.
Общий член ряда:

Вывод : ряд расходится

Необходимый признак часто применяется в реальных практических заданиях:

Пример 6

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

Делим числитель и знаменатель на

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

Пример 7

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

Это пример для самостоятельного решения. Полное решение и ответ в конце урока

Итак, когда нам дан ЛЮБОЙ числовой ряд, в первую очередь проверяем (мысленно или на черновике): а стремится ли его общий член к нулю? Если не стремится – оформляем решение по образцу примеров № 6, 7 и даём ответ о том, что ряд расходится.

Какие типы очевидно расходящихся рядов мы рассмотрели? Сразу понятно, что расходятся ряды вроде или . Также расходятся ряды из примеров № 6, 7: когда в числителе и знаменателе находятся многочлены, и старшая степень числителя больше либо равна старшей степени знаменателя . Во всех этих случаях при решении и оформлении примеров мы используем необходимый признак сходимости ряда.

Почему признак называется необходимым ? Понимайте самым естественным образом: для того, чтобы ряд сходился, необходимо , чтобы его общий член стремился к нулю. И всё бы было отлично, но этого ещё не достаточно . Иными словами, если общий член ряда стремится к нулю, ТО ЭТО ЕЩЕ НЕ ЗНАЧИТ, что ряд сходится – он может, как сходиться, так и расходиться!

Знакомьтесь:

Данный ряд называется гармоническим рядом . Пожалуйста, запомните! Среди числовых рядов он является прима-балериной. Точнее, балеруном =)

Легко заметить, что , НО. В теории математического анализа доказано, что гармонический ряд расходится .

Также следует запомнить понятие обобщенного гармонического ряда:

1) Данный ряд расходится при . Например, расходятся ряды , , .
2) Данный ряд сходится при . Например, сходятся ряды , , . Еще раз подчеркиваю, что почти во всех практических заданиях нам совершенно не важно, чему равна сумма , например, ряда , важен сам факт его сходимости .

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

Вообще, рассматриваемый материал очень похож на исследование несобственных интегралов , и тому, кто изучал эту тему, будет легче. Ну а тому, кто не изучал – легче вдвойне:)

Итак, что делать, если общий член ряда СТРЕМИТСЯ к нулю? В таких случаях для решения примеров нужно использовать другие, достаточные признаки сходимости / расходимости:

Признаки сравнения для положительных числовых рядов

Заостряю ваше внимание , что здесь речь уже идёт только о положительных числовых рядах (с неотрицательными членами) .

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

Сначала рассмотрим признак сравнения , а точнее, первую его часть:

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

Иными словами: Из сходимости ряда с бОльшими членами следует сходимость ряда с меньшими членами . На практике неравенство часто выполнено вообще для всех значений :

Пример 8

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

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

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

Для всех натуральных номеров справедливо очевидное неравенство:

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

Если у вас есть какие-то сомнения, то неравенство всегда можно расписать подробно! Распишем построенное неравенство для нескольких номеров «эн»:
Если , то
Если , то
Если , то
Если , то
….
и теперь-то уж совершенно понятно, что неравенство выполнено для всех натуральных номеров «эн».

Проанализируем признак сравнения и решенный пример с неформальной точки зрения. Все-таки, почему ряд сходится? А вот почему. Если ряд сходится, то он имеет некоторую конечную сумму : . И поскольку все члены ряда меньше соответствующих членов ряда , то ясен пень, что сумма ряда не может быть больше числа , и тем более, не может равняться бесконечности!

Аналогично можно доказать сходимость «похожих» рядов: , , и т.д.

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

Пример 9

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

И в этом примере я предлагаю вам самостоятельно рассмотреть вторую часть признака сравнения :

Если известно , что ряд – расходится , и, начиная с некоторого номера (часто с самого первого), выполнено неравенство , то ряд тоже расходится .

Иными словами: Из расходимости ряда с меньшими членами следует расходимость ряда с бОльшими членами .

Что нужно сделать?
Нужно сравнить исследуемый ряд с расходящимся гармоническим рядом . Для лучшего понимания постройте несколько конкретных неравенств и убедитесь в справедливаости неравенства .

Решение и образец оформления в конце урока.

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

Предельный признак сравнения числовых положительных рядов

Рассмотрим два положительных числовых ряда и . Если предел отношения общих членов этих рядов равен конечному, отличному от нуля числу : , то оба ряда сходятся или расходятся одновременно .

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

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

Пример 10

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

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

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

Почему для сравнения был выбран именно ряд ? Если бы мы выбрали любой другой ряд из «обоймы» обобщенного гармонического ряда, то у нас не получилось бы в пределе конечного, отличного от нуля числа (можете поэкспериментировать).

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

Приложение

Онлайн сервис сайт поможет найти сумму ряда онлайн как числовой последовательности, так и функционального ряда. Сумма ряда для математиков есть нечто особое в понимании анализа числовых величин и предельного перехода. Про общее решение рядов сказано и написано очень много полезных трудов за прошедшие несколько столетий. Лично для каждого преподавателя служит важным долгом донести свои накопленные знания в математике до конечного слушателя, то есть студента. Искать проще простого такую сумму ряда 1/n. Будет вам сумма ряда 1/n^2 представлена в краткой записи.. Наряду с определением суммы ряда онлайн последовательности числовой, сайт в онлайн режиме может найти так называемую частичную сумму ряда. Однозначно это поможет для аналитических представлений, когда сумму ряда онлайн нужно выразить и найти как решение лимита числовой последовательности частичных сумм ряда. По свое сути сумма ряда есть не что иное, как обратная операция разложения функции в ряд. Операции практически взаимные по природе. Так уж сложилось, что сходимость ряда изучается после прохождения курса лекции в математическом анализе после пределов. Найденное решение рядов означает результат исследования его на сходимость или расходимость. Этот результат определяется однозначно. В сравнении с аналогами, сайт имеет свои неоспоримые преимущества, потому что умеет найти сумму ряда онлайн как числового, так и функционального ряда, что позволяет однозначно определять область сходимости начального исходного ряда, применяя практически все известные науке методологии. Опираясь на теорию рядов, необходимым во все времена условием сходимости последовательности числовой будет равенство нулю лимита общего члена числового ряда на бесконечности. Но это условие является не достаточным при установлении сходимости числового ряда онлайн. Немного отвлечемся от насущной проблемы и порассуждаем с другой философской позиции по поводу рядов в математике. Для вас это решение рядов онлайн позволит стать наилучшим калькулятором и помощником на каждый день. Совсем не охота просиживать прекрасные зимние деньки за уроками, когда сумма ряда находится в два счета прямо на ваших глазах. Если понадобится кому-то определить ту самую ходимость ряда, то потребуется несколько секунд после предварительного ввода правильных данных. В то время, как аналогичные сайты требуют вознаграждения за свои услуги, мы стараемся быть полезными каждому желающему попробовать научиться самому решать примеры, используя наш простой сервис. На ваше усмотрение мы можем представить решение рядов в онлайн режиме на любом современном устройстве, то есть в любом браузере.. Так вот найти и доказать, что сумма ряда 1/n на бесконечности расходится - будет простым заданием. Навсегда запомните, как сумма ряда 1/n^2 сходится и имеет в математике огромное смысловое значение. А вот сумма конечного ряда обычно определяется после использования, например, интегрального признака или признака Раабе, о котором мало кто знает в рядовых вузах. По определению сходимости рядов онлайн учеными выведены разные достаточные признаки сходимости или расходимости ряда. Более известны и часто применяемы из этим методов - это признаки Д"Аламбера, признак сходимости Коши, признак сходимости Раабе, признак сравнения числовых рядов, а также интегральный признак сходимости числового ряда. Заслуживают особого внимания такие числовые ряды, у которых знаки слагаемых обязательно строго чередуются друг за другом с минуса на плюс и обратно, а абсолютные величины этих числовых рядов убывают монотонно, то есть равномерно. На практике изучения рядов оказалось, что для таких числовых рядов необходимый признак сходимости знакопеременного ряда онлайн является достаточным, то есть равенство нулю лимита общего члена числового ряда на бесконечности. Найденная сумма ряда таким способом оказывается равносильно другим применяемым методам. Сходимость ряда занимает колоссальную трату времени, так как сам процесс предполагает полное исследование функции.. Есть много разных сайтов, которые представляют сервисы вычисления суммы ряда онлайн, а также разложения функций в ряд в режиме онлайн в любой точке из области определения исследуемой функции. Разложить функцию в ряд онлайн в этих сервисах можно без труда, так как используется функционал вычисления производной, а вот обратная операция - найти сумму функционального онлайн ряда, членами которого являются не числа, а функции, не редко бывает невозможным на практике в силу трудностей, возникающих на почве отсутствия необходимых вычислительных ресурсов.. Используйте наш ресурс для вычислений суммы рядов онлайн, проверки и закрепления своих знаний. Если же сумма ряда расходится, то мы не получим ожидаемого результата для дальнейших действий в какой-то общей задачей. Этого можно заранее избежать, применяя свои знания как специалиста. Напоследок нельзя не упомянуть как сумма ряда 1/n самая простая в выражении и ее часто приводят в пример. Даже когда хотят показать некоторый признак сходимости в деле, то доказывают это для суммы ряда 1/n^2, потому что прозрачно для учеников такое представление и не путаются студенты. Поскольку имеем выражение для сложного общего члена ряда, то сумма конечного ряда была бы полезна, если будет доказано для мажорирующего ряда (относительно исходного) его сходимость. С другой стороны сходимость ряда будет происходить независимо от начальных условий задачи. Лучшее решение рядов может предложить только наш сервис сайт, потому что только мы гарантируем экономию вашего времени, соотнеся траты на вычисление с полезность и точностью результата. Поскольку искомая сумма ряда представима в большинстве случаев мажорирующим рядом, то как раз целесообразнее исследовать именно его. Отсюда сходимость ряда от мажорирующего общего члена однозначно укажет на сходимость основного выражения, и задача решится сама собой сразу же.. Преподаватели высших учебных заведений также могут использовать наше решение рядов онлайн и проверять работы своих подопечных курсантов. Для некоторого случая сумма ряда может быть вычислена в задаче для физики, химии или прикладной дисциплины, не застревая в рутинных вычислениях, чтобы не сбиться с основного направления при исследовании некоторого природного процесса. Для начала обычно записывают самое что не наесть упрощённое выражение в виде суммы ряда 1/n и оправдан такой подход. Число Пи присутствует во многих вычислительных операциях, но сумма ряда 1/n^2 можно сказать является классическим пример сходимости гармонического ряда на бесконечности. Что же все-таки означает выражение "сумма конечного ряда"? А это означает как раз, что он сходится и предел его частичных сумм имеет конкретное числовое значение. Если же подтвердится сходимость ряда и это повлияет на конечную устойчивость системы, то тогда возможно изменить входные параметры задачи и попробовать сделать заново. Напоследок хотим вам дать неявный на первый взгляд, но очень полезный на практике совет. Даже если вы имеет достаточный опыт в решении рядов и не нуждаетесь в подобных сервисах по решению рядов онлайн, приступить к нахождению суммы ряда мы предлагаем вам с определения сходимости ряда. Потратьте всего минуту на это действие, используя сайт, чтобы на протяжении всего вычисления суммы ряда просто держать этот факт в голове. Лишним не будет! О сумме ряда онлайн много написано на сайтах по математике, приложено много иллюстраций как в прошлом веке ученые обозначали символами выражения суммы ряда. По большому счету мало что изменилось, но интересные моменты есть. Если сходимость ряда в онлайне представляется невозможным, то просто проверьте введенные данные и спокойно повторите запрос. Лучше все-таки сначала перепроверить общий член ряда. И всякое решение рядов онлайн покажется сразу на сайте, вам не придется нажимать дополнительные ссылки для того, чтобы получить ответ на поставленную задачу. Лучшее, по мнению экспертов, заставляет студентов более требовательно подходить к выбору калькулятора решения рядов. В сумму ряда как онлайн сервиса вкладывают понятие сходимости ряда, то есть существование конечной суммы. Наряду с этим разделом представлены такие базовые темы как интегралы и производная, поскольку все они тесно связаны. Давайте вместе с нами поговорим как сумма ряда 1/n расходится при стремлении переменной к бесконечности. Однако другая сумма такого ряда как 1/n^2 будет наоборот сходиться и примет конечное числовое выражение. Интересно изучать случаи, когда сумма конечного ряда представляется постепенно в виде промежуточных частичных сумм ряда при пошаговом увеличении переменной на единицу, а может и несколько единиц сразу. Проверку на сходимость ряда в онлайне рекомендуем делать после собственных решений заданий. Это позволит вам детально разобраться в теме и повысить свой уровень знаний. Не забывайте про это никогда, мы стараемся только для вас. Как-то на уроке учитель показал решение рядов онлайн с помощью вычислительной техники. Нужно сказать, что это всем понравилось изрядно. После этого случая калькулятор был востребован на всем курсе изучения математики. Лишним не будет проверить, как сумма ряда вычисляется калькулятором онлайн за несколько секунд после того, как вы запросите показать результат. Сразу станет понятно, в каком направлении стоит держать ход решения задачи. Поскольку о сходимости ряда в некоторых дорогих учебниках написано не много, то лучше скачать из Интернета несколько хороших докладов выдающихся ученых и пройти курс обучения по их методике. Результат будет хорошим. При решении рядов нельзя исключать самый первый признак сходимости, а именно стремление к нулю предела общего его члена. Хоть и не достаточное это условие, но необходимое всегда. Целостность решенного примера производит приятное ощущение на ученика, когда он понимает, что сумма ряда вычислена не прибегая к подсказкам. Учебники предназначены как пособие к применению на практике своих навыков. По мере забывания пройденного материала, нужно каждый четверг уделять хотя бы пять минут на беглый просмотр лекций, иначе к началу сессии вы все позабудете, а как вычисляется сходимость ряда вы тем более позабудете. Начните с одного раза и в дальнейшем переборите свою лень. Не зря заставляют преподаватели доказывать, как сумма ряда 1/n будет расходится. А вот если все-таки сумма ряда 1/n^2 будет представлена как знакопеременный ряд, то ничего страшного не случится - ведь абсолютный ряд то сходится! Ну и конечно сумма конечного ряда для вас может представлять особый интерес, когда вы изучаете эту дисциплину самостоятельно. Львиную долю примеров решают с помощью метода Даламбера и решение рядов при этом сводится к вычислению пределов, как отношение его соседних членов, а именно последующего на предыдущий. Поэтому желаем вам удачи в решении математики и пусть вы никогда не будете ошибаться! Возьмем за базовую основу так называемое решение рядов онлайн по направлению исследовательского разногласия причастности основополагающих принципов и научных межотраслевых направлений. Позвольте нам для вас найти ответ и рассказать утвердительно, что сумма ряда решается несколькими принципиально разными методами, но в конце концов результат один и тот же. Подсказка про сходимость ряда не всегда очевидна для студентов, даже если им заранее сказать ответ, хотя конечно это безусловно подталкивает их к правильному ходу решения. Абстракция в математике хоть и выступает на первое местною, однако она подкреплена теорией и доказывает некоторые неоспоримые факты в два счета. Нельзя пропустить такой аспект при решении рядов онлайн, как применимость или неприменимость базовых теоретических принципом сходимости числового ряда и представления сложной суммы ряда в некотором упрощенном варианте для более приятного глазу вида. Но известны случаи, когда сумма ряда 1/n будет сходиться и мы не станем вас напрягать этим казусом, потому что всего на просто нужно вместо символа бесконечности подставить некоторое целое число и тогда вся сумма сведется к обычному арифметическому ряду. Гармоничный ряд это сумма ряда 1/n^2, то сеть в любой возведенной степени.