- 15.1 Определения и простейшие свойства
- 15.1.1 Простейшие свойства сходящихся рядов
- 15.2 Ряды с неотрицательными слагаемыми
- 15.2.1 Признак сравнения
- 15.2.2 Признак Даламбера
- 15.2.3 Признак Коши
- 15.2.4 Интегральный признак
-
- 15.3 Знакопеременные ряды и ряды со слагаемыми произвольного знака
- 15.3.1 Признак Лейбница
- 15.3.2 Признаки Абеля и Дирихле
- 15.4 Абсолютная и условная сходимость. Перестановки рядов
- 15.4.1 Перестановки абсолютно сходящихся рядов
- 15.4.2 Перестановки условно сходящихся рядов
- 15.4.3 Умножение рядов. Теорема Коши
- 15.5 Бесконечные произведения
Автор: Таисия Ткачева
15.1 Определения и простейшие свойства
Пусть задана числовая последовательность $\left\{a_{n}\right\}_{n=1}^{\infty}$. Символ $a_{1}+a_{2}+\cdots+a_{n}+\ldots$, или, что то же самое, $\displaystyle\sum_{n=1}^{\infty}a_{n}$, называется числовым рядом, а сами числа $a_{n}$ называются слагаемыми или членами ряда. Обозначим $S_{1}=a_{1}, S_{2}=a_{1}+a_{2},\ldots, S_{n}=a_{1}+a_{2}+\cdots+a_{n}=\displaystyle\sum_{k=1}^{n}a_{k}$ $\left(n=1,2,\ldots\right)$. Числа $S_{n}$ называются частичными суммами ряда $\displaystyle\sum_{n=1}^{\infty}a_{n}$.
Определение. Если существует $\displaystyle\lim_{n \rightarrow \infty}S_{n}=S$, то ряд $\displaystyle\sum_{n=1}^{\infty}a_{n}$ называется сходящимся, а число $S$ называется суммой ряда $\displaystyle\sum_{n=1}^{\infty}a_{n}$. Если же не существует конечного предела последовательности частичных сумм $S_{n}$, то ряд $\displaystyle\sum_{n=1}^{\infty}a_{n}$ называется расходящимся. Если ряд $\displaystyle\sum_{n=1}^{\infty}a_{n}$ сходится к сумме $S,$ то это обозначают так: $$S=a_{1}+a_{2}+\cdots+a_{n}+\cdots=\displaystyle\sum_{n=1}^{\infty}a_{n}.$$
Таким образом, с каждым рядом $\displaystyle\sum_{n=1}^{\infty}a_{n}$ мы связываем последовательность его частичных сумм $S_{n}=\displaystyle\sum_{k=1}^{n}a_{k}$, причем сходимость ряда мы определяем как сходимость последовательности частичных сумм этого ряда (понятие сходимости последовательности изучалось нами ранее). Обратно, если задана последовательность $\left\{S_{n}\right\}_{n=1}^{\infty}$, то легко составить ряд, для которого эта последовательность будет последовательностью частичных сумм. Действительно, достаточно положить $a_{1}=S_{1}, a_{2}=S_{2}-S_{1},\ldots,$ $a_{n}=S_{n}-S_{n-1}$ $(n=2,3,\ldots)$. Ясно, что в этом случае будем иметь $a_{1}+\cdots+a_{n}=S_{n}$, т. е. заданные числа $S_{n}$ являются частичными суммами построенного нами рядa $\displaystyle\sum_{n=1}^{\infty}a_{n}.$
Пример 1 (геометрическая прогрессия). Геометрической прогрессией называется такая последовательность $1,q,q^{2},\ldots,q^{n−1},\ldots$, т. е. $\left\{q^{n-1}\right\}_{n=1}^{\infty}$, где $q$ – фиксированное число. Ряд $1+q+q^{2}+\cdots+q^{n−1}+\ldots\equiv\displaystyle\sum_{n=1}^{\infty}q^{n-1}$ называется суммой геометрической прогрессии. В этом случае слагаемые ряда равны ${a}_n = q^{n−1}$. Выведем формулу для суммы первых $n$ слагаемых геометрической прогрессии. Имеем $$S_{n}=1+q+q^{2}+\cdots+q^{n-2}+q^{n−1},$$$$qS_{n}=q+q^{2}+q^{3}+\cdots+q^{n-1}+q^{n}.$$Если $q\neq1$, то вычитая второе равенство из первого, получим $S_{n}=\frac{1-q^{n}}{1-q}$. Если же $q=1$, то, очевидно, $S_{n}=1+1+\cdots+1=n$ и $S_{n}\rightarrow\infty$ $\left(n\rightarrow\infty\right)$, так что при $q=1$ данный ряд расходится. Пусть $q\neq1$. Тогда вопрос о сходимости ряда $\displaystyle\sum_{n=1}^{\infty}q^{n-1}$ сводится к вопросу о сходимости последовательности $S_{n}=\frac{1-q^{n}}{1-q}$. Ясно, что возможны такие случаи.
- $\left|q\right|<1$. При этом $S_{n}\rightarrow\frac{1}{1-q}$ $\left(n\rightarrow\infty\right)$, т. е. наш ряд сходится и его сумма равна $S=\frac{1}{1-q}$.
- $\left|q\right|>1$. Тогда последовательность $S_{n}$ не имеет предела, т. е. ряд расходится.
- $\left|q\right|=1$. Случай $q=1$ уже рассмотрен. Если же $q=−1$, то, очевидно, $S_{2k}=0$ и $S_{2k+1}=1$, так что последовательность частичных сумм $\left\{S_{n}\right\}$ не имеет предела, т. е. ряд расходится.
Окончательно,$$\displaystyle\sum_{n=1}^{\infty}q^{n-1}=\frac{1}{1-q}$$при$\left|q\right|<1$, а при $\left|q\right|\geqslant 1$ ряд $\displaystyle\sum_{n=1}^{\infty}q^{n-1}$ расходится.
Пример 2. Рассмотрим ряд $$\frac{1}{1\cdot2}+\frac{1}{2\cdot3}+\cdots+\frac{1}{n(n+1)}+\ldots$$Имеем$$S_{n}=\frac{1}{1\cdot2}+\frac{1}{2\cdot3}+\cdots+\frac{1}{n(n+1)}=$$ $$=\left(1-\frac{1}{2}\right)+\left(\frac{1}{2}-\frac{1}{3}\right)+\cdots+\left(\frac{1}{n}-\frac{1}{n+1}\right)=1-\frac{1}{n+1}.$$Теперь уже легко видеть, что $\displaystyle\lim_{n\rightarrow\infty}S_{n}=\displaystyle\lim_{n\rightarrow\infty}\left(1-\frac{1}{n+1}\right)=1$, а это означает, что наш ряд сходится и его сумма равна $\displaystyle\sum_{n=1}^{\infty}\frac{1}{n(n+1)}=1$.
Теорема (критерий Коши сходимости ряда). Ряд $\displaystyle\sum_{n=1}^{\infty}a_{n}$ сходится тогда и только тогда, когда для любого $\varepsilon>0$ найдется такой номер $N=N(\varepsilon)$, что при любом $n\geq N$ и при любом натуральном $p$ справедливо неравенство $$\left|\displaystyle\sum_{k=n+1}^{n+p}a_{k}\right|<\varepsilon.$$
Доказательство. Сумма слева в последнем неравенстве называется отрезком Коши. По определению, сходимость ряда эквивалентна сходимости последовательности его частичных сумм $S_{n}$. В силу критерия Коши для числовых последовательностей, сходимость последовательности $\left\{S_{n}\right\}$ эквивалентна ее фундаментальности. Фундаментальность последовательности $\left\{S_{n}\right\}$ означает, что для любого $\varepsilon>0$ найдется такой номер $N$, что для любого $n\geqslant N$ и для любого $p\in \mathbb {N}$ справедливо неравенство $\left|S_{n+p}−S_{n}\right|<\varepsilon$. Но поскольку $$S_{n+p}−S_{n}=a_{1}+\cdots+a_{n}+a_{n+1}+\cdots+a_{n+p}−(a_{1}+\cdots+a_{n})=$$ $$=a_{n+1}+\cdots+a_{n+p},$$ то тем самым теорема доказана. $\small\Box$
Следствие (необходимое условие сходимости). Если ряд $\displaystyle\sum_{n=1}^{\infty}a_{n}$ сходится, то $\displaystyle\lim_{n\rightarrow \infty}a_{n}=0$.
Доказательство. Если ряд $\displaystyle\sum_{n=1}^{\infty}a_{n}$ сходится, то, в силу критерия Коши, для любого $\varepsilon>0$ найдется такое $N\in \mathbb {N}$, что при любом $n\geqslant N$ и при любом $p\in \mathbb {N}$ справедливо неравенство $\left|\displaystyle\sum_{k=n+1}^{n+p}a_{k}\right|<\varepsilon$. В частности, если $p=1$, то получим, что для любого $\varepsilon>0$ найдется такой номер $N$, что при любом $n\geqslant N$ справедливо неравенство $\left|a_{n+1}\right|<\varepsilon$. Это и означает, что $\displaystyle\lim_{n\rightarrow \infty}a_{n}=0$. $\small\Box$
Другое доказательство необходимого условия сходимости. Сходимость ряда $\displaystyle\sum_{n=1}^{\infty}a_{n}$ равносильна существованию следующего предела: $\displaystyle\lim_{n \rightarrow \infty}S_{n}=S$. Но тогда и $\displaystyle\lim_{n \rightarrow \infty}S_{n-1}=S$, откуда, в силу равенства $a_{n}=S_{n}−S_{n−1}$, следует $$\displaystyle\lim_{n \rightarrow \infty}a_{n}=\displaystyle\lim_{n \rightarrow \infty}{(S_{n}-S_{n-1})}=\displaystyle\lim_{n \rightarrow \infty}S_{n}-\displaystyle\lim_{n \rightarrow \infty}S_{n-1}=S-S=0.\ \small\Box$$
Итак, если ряд $\displaystyle\sum_{n=1}^{\infty}a_{n}$, сходится, то его слагаемые стремятся к нулю. Обратное утверждение неверно. Действительно, для ряда $\displaystyle\sum_{n=1}^{\infty}\frac{1}{\sqrt{n}}$ имеем: $a_{n}=\frac{1}{\sqrt{n}}$. Тогда $\displaystyle\lim_{n \rightarrow \infty}a_{n}=0$ и, вместе с тем, $$S_{n}=1+\frac{1}{\sqrt{2}}+\cdots+\frac{1}{\sqrt{n}}\geqslant n\cdot\frac{1}{\sqrt{n}}=\sqrt{n},$$ откуда следует, что $\displaystyle\lim_{n \rightarrow \infty}S_{n}=+\infty$, т. е. ряд $\displaystyle\sum_{n=1}^{\infty}\frac{1}{\sqrt{n}}$ расходится.
Пример. Гармоническим называется ряд $$\displaystyle\sum_{n=1}^{\infty}\frac{1}{n}=1+\frac{1}{2}+\frac{1}{3}+\cdots+\frac{1}{n}+\ldots$$ Отрезок Коши этого ряда можно оценить следующим образом:
$$\displaystyle\sum_{k=n+1}^{n+p}\frac{1}{k}=\frac{1}{n+1}+\frac{1}{n+2}+\cdots+\frac{1}{n+p}\geqslant\frac{1}{n+p}\cdot p.$$ Если взять $p=n$, то получим, что $\displaystyle\sum_{k=n+1}^{2n}\frac{1}{k}\geqslant\frac{n}{n+n}=\frac{1}{2}$. Это означает, что найдется такое ${\varepsilon}_{0}>0$ $({\varepsilon}_{0}=\frac{1}{2})$, что для любого $N\in \mathbb {N}$ существует $n\geqslant N$ (например, $n=N$) и существует такое $p\in \mathbb {N}$ $(p=n)$, при которых справедливо неравенство $\left|\displaystyle\sum_{k=n+1}^{n+p}\frac{1}{k}\right|\geqslant {\varepsilon}_{0}$. В силу критерия Коши это означает, что гармонический ряд расходится.
Как правило, на практике необходимое условие сходимости применяется в следующей форме: если предел слагаемых ряда не существует, либо существует, но отличен от нуля, то ряд расходится.
Примеры решения задач
-
Найти сумму ряда $$\sum_{n=1}^{\infty}\left(\sqrt{n+2}-2\sqrt{n+1}+\sqrt{n}\right).$$
Решение
$$S_{n}=\left(\sqrt{1+2}-2\sqrt{1+1}+\sqrt{1}\right)+\left(\sqrt{2+2}-2\sqrt{2+1}+\sqrt{2}\right)+\cdots+$$ $$+\left(\sqrt{n-1+2}-2\sqrt{n-1+1}+\sqrt{n-1}\right)+\left(\sqrt{n+2}-2\sqrt{n+1}+\sqrt{n}\right)=$$ $$=\left(\sqrt{3}-2\sqrt{2}+\sqrt{1}\right)+\left(\sqrt{4}-2\sqrt{3}+\sqrt{2}\right)+\cdots+$$ $$+\left(\sqrt{n+1}-2\sqrt{n}+\sqrt{n-1}\right)+\left(\sqrt{n+2}-2\sqrt{n+1}+\sqrt{n}\right)=$$ $$=1-\sqrt{2}+\sqrt{n+2}-\sqrt{n+1}=1-\sqrt{2}+\frac{1}{\sqrt{n+2}+\sqrt{n+1}};$$ $$S=\lim_{n \rightarrow \infty}S_{n}=\lim_{n \rightarrow \infty}\left(1-\sqrt{2}+\frac{1}{\sqrt{n+2}+\sqrt{n+1}}\right)=1-\sqrt{2}.$$
-
Записать первые три члена ряда $$\sum_{n=1}^{\infty}\frac{\sqrt{n+1}}{\left(4n-3\right)5^{n}}.$$
Решение
$$\sum_{n=1}^{\infty}\frac{\sqrt{n+1}}{\left(4n-3\right)5^{n}}=\frac{\sqrt{2}}{1\cdot5^1}+\frac{\sqrt{3}}{5\cdot5^2}+\frac{\sqrt{4}}{9\cdot5^3}+\ldots$$
-
Записать сумму в свернутом виде с общим членом ряда $$\frac{2}{\sqrt[5]{7}}+\frac{4}{\sqrt[5]{14}}+\frac{8}{\sqrt[5]{21}}+\ldots$$
Решение
$$\frac{2}{\sqrt[5]{7}}+\frac{4}{\sqrt[5]{14}}+\frac{8}{\sqrt[5]{21}}+\ldots=\frac{2^1}{\sqrt[5]{7\cdot1}}+\frac{2^2}{\sqrt[5]{7\cdot2}}+\frac{2^3}{\sqrt[5]{7\cdot3}}+\ldots=\sum_{n=1}^{\infty}\frac{2^n}{\sqrt[5]{7n}}$$
-
Проверить, выполняется ли необходимое условие сходимости для ряда: $$\sum_{n=1}^{\infty}\left(2n+1\right).$$
Решение
Ряды $\displaystyle\sum_{n=1}^{\infty}\left(2n+1\right)$ расходятся, поскольку не выполняется необходимое условие сходимости: общий член ряда не стремится к нулю $\left(\displaystyle\lim_{n \rightarrow \infty}a_{n}=\displaystyle\displaystyle\lim_{n \rightarrow \infty}\left(2n+1\right)=\infty\neq0\right)$.
Определения и простейшие свойства числового ряда
Пройдите этот тест, чтобы проверить свои знания по только что прочитанной теме
Таблица лучших: Определения и простейшие свойства числового ряда
Место | Имя | Записано | Баллы | Результат |
---|---|---|---|---|
Таблица загружается |
- В.И.Коляда, А. А.Кореновский. Курс лекций по математическому анализу. Часть 2. Одесса. «Астропринт». 2010. с. 27-30.
- Б.П.Демидович. Сборник задач и упражнений по математическому анализу.13-е издание, исправленное.Издательство Московского университета. Издательство ЧеРо. 1997. с. 247-248.
- В.А.Ильина, Э.Г.Позняка. Основы математического анализа. М.: Наука, 1980. с. 12.
- М.Ю.Пантеев. Матанализ с человеческим лицом, или Как выжить после предельного перехода. Полный курс математического анализа. Том 2. 2011, 2014. с. 100, 127.
М684. Задача о новом варианте морского боя
Условие
Двое играют в следующий вариант «морского боя». Один игрок располагает на доске $n×n$ некоторое количество непересекающихся «кораблей» $n×1$ (быть может, ни одного). Второй игрок наносит одновременно ряд ударов по полям доски и про каждое поле получает от противника ответ — попал или промахнулся. По какому минимальному количеству полей следует нанести удары, чтобы по ответам противника можно было однозначно определить расположение всех его кораблей? Рассмотрите три случая: а) $n=4$, б) $n=10$, в) $n$ — любое натуральное число.
Решение
Как показывают письма читателей, формулировка задачи допускает два одинаково осмысленных толкования — в зависимости от того, какие корабли считать «непересекающимися» $(1)$ те, которые не имеют общих клеток; $(2)$ те, которые вообще не имеют общих точек, даже граничных — как это принято в обычной игре «морской бой», в которую все мы играли в детстве. Обе задачи получились довольно интересными, хотя $(1)$, пожалуй, попроще. С нее мы и начнем.
$(1)$ Пусть корабли заполняют произвольное множество $K$ из нескольких горизонталей или вертикалей доски $n×n$; мы должны указать множество $A$ из возможно меньшего числа клеток такое, что пересечение $A\cap K$ однозначно определяет множество $K$. (Заметим, что если кораблей $n$, то они занимают все клетки доски, и мы, разумеется, никак не сможем узнать, горизонтальные корабли или вертикальные.)
Легко указать множество $A$ из $2n-1$ клеток, удары по которым позволяют найти любое $K$ (пример для $n=10$ приведен на рисунке $1$). С другой стороны, $2n-2$ клеток заведомо недостаточно. Это следует из того, что любое множество $A$ из $2n-2$ доски $n×n$ можно разбить на два непустых подмножества $B$ и $C$, так, что ни одна из вертикалей и ни одна из горизонталей, пересекающихся с $B$, не пересекающихся с $C$ (тогда, если ответ «попал!» будет в точности на $B,$ мы не сможем узнать, горизонтальные корабли или вертикальные). Докажем это.
Сопоставим каждой горизонтали красную, а каждой вертикали — синюю точку (вершину графа) и для каждой клетки множества $A$ (на рисунке $2$ они обозначены звездочками) соединим ребром пару точек, соответствующую ее вертикали и горизонтали (рис. $2$). Мы получим граф с $2n$ вершинами и $2n-2$ ребрами. Такой граф не может быть связным (см. «Квант». 1981. №6. с. 10) — он обязательно распадается на два или больше отдельных кусков. Ребра одного из связных кусков можно принять за множество $B$ (см. рис. $2$), остальные — за множество $C$. (Разумеется, это рассуждение можно изложить и не пользуясь терминологией теории графов.) Итак, в случае $(1)$ ответ: $2n-1$.
$(2)$ Пусть корабли не имеют общих точек. Докажем, что в этом случае необходимое количество $a$ ударов — клеток в множестве $A$ — не меньше $\frac{4n}{3}$. При этом будут использованы только такие свойства множества $A$: в каждой горизонтали и вертикали встречается хотя бы одна клетка множества $A,$ и для любой клетки множества $A$ в ее горизонтали или вертикали есть еще хотя бы одна клетка $A$.
Расставим в клетках множества $A$ синие и красные единицы и двойка так: на каждой горизонтали, где клеток $A$ более одной, запишем в каждую из них красную $1$, а где лишь одна клетка — запишем в нее красную $2$; точно так же на каждой вертикали запишем в клетке множества $A$ синие $1$ и $2$ (рис. $3$). Поскольку в каждой клетке множества $A$ стоят либо единица и двойка, либо две единицы, сумма $s$ всех написанных чисел не больше $3a$. Поскольку на каждой линии (горизонтали и вертикали) мы записали числа с суммой не меньше $2$, $s\geqslant 4n$. Поэтому $a\geqslant s/3\geqslant 4n/3$.
На рисунке $4$ показано, как можно направить требуемым образом $4$ удара на доске $3×3$ ($n=3$). Используя этот «блок» $3×3$, можно построить пример направления $a$ ударов, где $a$ — наименьшее целое число, для которого $a\geqslant\frac{4n}{3}$ (примеры для $n=4$, $n=8$ и $n=10$ показаны на рисунках $3$ — $5$).
Итак, в этом случае ответ: $\left[\frac{4n+2}{3}\right]$, то есть для $n=3k$, $n=3k+1$ и $n=3k+2$ нужно соответственно $4k$, $4k+2$ и $4k+3$ ударов.
Н.Васильев