17.2 Вычисление радиуса сходимости степенного ряда

Теорема. Пусть дан степенной ряд $$\begin{equation}\sum\limits_{n=0}^\infty a_nx^n\label{eq:1} \end{equation}$$ Если существует $$\lim\limits_{n\to\infty}\sqrt[n]{\left|a_n\right|} \equiv p \gt 0,$$ то радиус сходимости ряда $\eqref{eq:1}$ равен $R = \frac{1}{p}$. Если для любого $n$ числа $a_n \neq 0$ и существует $$\lim\limits_{n\to\infty}\left|\frac{a_{n+1}}{a_n}\right| \equiv p^* \gt 0,$$ то $$R = \frac{1}{p^*} = \lim\limits_{n\to\infty}\left|\frac{a_n}{a_{n+1}}\right|.$$

Для доказательства первого утверждения применим признак Коши. Для фиксированного $x$ имеем $$\sqrt[n]{\left|a_nx^n\right|} = \sqrt[n]{a_n}\cdot\left|x\right|\to p\left|x\right|\left(n\to\infty\right). $$Если $\left|x\right|\lt\frac{1}{p}$, то $ρ\left|x\right|\lt 1$ и, по признаку Коши, ряд $\eqref{eq:1}$ сходится абсолютно. Если $\left|x\right|\gt\frac{1}{p}$, то $p\left|x\right|\gt 1$ и, следовательно, ряд $\eqref{eq:1}$ расходится, т. к. не выполнено необходимое условие сходимости.
Доказательство второго утверждения теоремы легко можно провести аналогично, используя признак Даламбера (проведите самостоятельно). Мы покажем, что из существования предела $ρ^∗$ следует существование предела $ρ$ и их равенство $ρ = ρ^∗$. Ясно, что отсюда также будет следовать второе утверждение теоремы.
Зададим $\epsilon \gt 0$ и найдем такой номер $N$, что для всех $n \geq N$ справедливо неравенство $$\left|\left|\frac{a_{n+1}}{a_n}\right|-p^*\right|\lt\epsilon.$$ Тогда $$p^*-\epsilon\lt\left|\frac{a_{n+1}}{a_n}\right|\lt p^*+\epsilon$$ т. е.
$$\left|a_n\right|\left(ρ^∗−\epsilon\right)\lt\left|a_{n+1}\right|\lt\left|a_n\right|\left(ρ^∗+\epsilon\right).$$ Применяя рекуррентно левое неравенство, получаем $$\left|a_{N+1}\right|\gt\left(ρ^∗−\epsilon\right)\left|a_N\right|,$$ $$\left|a_{N+2}\right|\gt\left(ρ^∗\epsilon\right)^2\left|a_N\right|,\dotsi,\left|a_{N+k}\right|\gt\left(ρ^∗-\epsilon\right)^k\left|a_N\right|,\dotsi,$$ а из правого неравенства следует, что $$\left|a_{N+k}\right|\lt\left(ρ^∗+\epsilon\right)^k\left|a_N\right| \left(k = 1, 2,\dotsi\right).$$
Пусть $n\gt N$, т. е. $n = N+k$, где $k\in N$. Тогда $$\sqrt[n]{\left|a_n\right|}\lt\left(ρ^∗+\epsilon\right)^{\frac{n−N}{n}}\left|a_N\right|^{\frac{1}{n}} = (ρ^∗+\epsilon)^{1-\frac{N}{n}}\sqrt[n]{\left|a_N\right|}.$$ При фиксированном $N$ выражение справа стремится к $ρ^∗+\epsilon$ при $n\to\infty$. Поэтому при $n\geq N_1$ оно меньше, чем $ρ^∗+2\epsilon$. Аналогично можно показать, что при $n\geq N_2$ справедливо неравенство $\sqrt[n]{\left|a_n\right|}\gt ρ^∗−2\epsilon$. Получим, что при $n\geq N_3 \equiv max \left(N_1, N_2\right)$ имеет место неравенство $$ρ^∗−2\epsilon\lt\sqrt[n]{\left|a_n\right|}\lt ρ^∗+2\epsilon,$$ а это означает, что существует $$ρ\equiv \lim\limits_{n\to\infty}\sqrt[n]{\left|a_n\right|} = ρ^∗.$$

Замечание 1. Если в условии теоремы считать, что $\frac{1}{0} = +\infty$ и $\frac{1}{+\infty} = 0$, то теорема остается справедливой и в случаях $ρ = 0$ и $ρ = +\infty$. При этом необходимые изменения в доказательстве очевидны (проведите самостоятельно).

Замечание 2. Во второй части доказательства нашей теоремы мы,
по существу, доказали, что из существования $\lim\limits_{n\to\infty}\frac{a_{n+1}}{a_n}\left(a_n\gt 0\right)$ следует, что существует и $\lim\limits_{n\to\infty}\sqrt[n]{a_n}$, и эти пределы равны. Для рядов с
положительными слагаемыми это означает, что признак Коши не слабее
признака Даламбера.

Итак, мы можем находить радиус сходимости $R = \frac{1}{ρ}$ степенного ряда $\eqref{eq:1}$ в случае если существует $$ρ = \lim\limits_{n\to\infty}\sqrt[n]{\left|a_n\right|},$$ где $0\leq ρ\leq +\infty$. Но предел $ρ$ может и не существовать. В общем случае радиус сходимости ряда $\eqref{eq:1}$ находится следующим образом.

Теорема Коши – Адамара. Пусть дан степенной ряд $$\begin{equation}\sum\limits_{n=0}^\infty a_nx^n.\label{eq:2} \end{equation}$$ Тогда его радиус сходимости равен $$R =\dfrac{1}{\overline{\lim\limits_{n\to\infty}}\sqrt[n]{\left|a_n\right|}},$$ где понимается $\frac{1}{0} = +\infty$ и $\frac{1}{+\infty} = 0$.

Доказательство этой теоремы основано на применении обобщенного признака Коши сходимости рядов с положительными слагаемыми.

Теорема (обобщенный признак Коши). Пусть дан числовой ряд $$\begin{equation}\sum\limits_{n=0}^\infty u_n,\label{eq:3} \end{equation}$$ где числа $u_n \geq 0$. Если $\overline{\lim\limits_{n\to\infty}}\sqrt[n]{u_n}\lt 1$, то ряд $\eqref{eq:3}$ сходится, а если $\overline{\lim\limits_{n\to\infty}}\sqrt[n]{u_n}\gt 1$, то ряд $\eqref{eq:3}$ расходится.

Если $\overline{\lim\limits_{n\to\infty}}\sqrt[n]{u_n}\gt 1$, то существует подпоследовательность номеров $n_k$, таких, что $u_{n_k}\geq 1$, а значит, $u_n$ не стремится к нулю, и следовательно, ряд $\eqref{eq:3}$ расходится, т. к. не выполнено необходимое условие сходимости. Если же $\overline{\lim\limits_{n\to\infty}}\sqrt[n]{u_n}\equiv q\lt 1$, то для $0\lt\epsilon\lt 1−q$ найдется такой номер $N$, что для всех $n\geq N$ справедливо неравенство $\sqrt[n]{u_n}\lt q+\epsilon\lt 1$. Отсюда следует, что $u_n\lt\left(q+\epsilon\right)n$ при $n \geq N$ и, значит, ряд $\eqref{eq:3}$ сходится в силу признака сравнения.

(Теоремы Коши – Адамара). Имеем $$\overline{\lim\limits_{n\to\infty}}\sqrt[n]{\left|a_nx^n\right|} = \overline{\lim\limits_{n\to\infty}}\sqrt[n]{\left|a_n\right|}\cdot\left|x\right|.$$ Если $\left|x\right|\gt\frac{1}{\lim\limits_{n\to\infty}\sqrt[n]{\left|a_n\right|}}$,
то для ряда $\sum\limits_{n=0}^\infty\left|a_nx^n\right|$ не выполнено необходимое условие сходимости.
Следовательно, необходимое условие сходимости не выполнено и для ряда
$\eqref{eq:2}$, т. е. он расходится.

Примеры:

Пример 1. Рассмотрим ряд $$\sum\limits_{n=0}^\infty nx^n.$$ Здесь $a_n = n, \lim\limits_{n\to\infty}\sqrt[n]{a_n} = \lim\limits_{n\to\infty}\sqrt[n]{n} = 1$, т. е. $R = \dfrac{1} {\lim\limits_{n\to\infty}\sqrt[n]{a_n}} = 1$. В точках $x = R = 1$ и $x = −R = −1$ ряд расходится. Область его сходимости
– интервал$\left(−1, 1\right)$.
Пример 2. Для ряда $$\sum\limits_{n=0}^\infty\left[3 + (−1)n\right]^nx_n$$
имеем $a_n = [3 + (−1)n]^n$, $\overline\lim\limits_{n\to\infty}\sqrt[n]{a_n} = \overline\lim\limits_{n\to\infty}\left[3 + (−1)n\right] = 4$, $R = \frac{1}{4}$. Данный ряд сходится при $\left|x\right|\lt\frac{1}{4}$. Если $x = \pm\frac{1}{4}$, то $\left|a_{2k}x^{2k}\right|= 4^{2k}\frac{1}{4^{2k}} = 1$, т. е. слагаемые с четными номерами равны $1$ и
предел слагаемых ряда не равен нулю. Окончательно, область сходимости
ряда – интервал $\left(−\frac{1}{4}, \frac{1}{4}\right)$.
Пример 3. Для ряда $$\sum\limits_{n=0}^\infty\frac{\left(n!\right)^2}{\left(2n!\right)}x^n$$ имеем $a_n = \frac{\left(n!\right)^2}{\left(2n!\right)}$,$\lim\limits_{n\to\infty}\dfrac{\frac{\left(\left(n+1\right)!\right)^2}{\left(2\left(n+1\right)\right)!}}{\frac{\left(n!\right)^2}{\left(2n\right)!}} = \lim\limits_{n\to\infty}\frac{\left(\left(n+1\right)!\right)^2\left(2n\right)!}{\left(2n+2\right)!\left(n!\right)^2} = \lim\limits_{n\to\infty}\frac{\left(n+1\right)^2}{\left(2n+1\right)\left(2n+2\right)} = \frac{1}{4}$, $R = 4$. Данный ряд сходится при $\left|x\right|\lt 4$.
При $x = 4$ получаем числовой ряд $\sum\limits_{n=1}^\infty a_n$, где $a_n = \frac{\left(n!\right)^24^n}{\left(2n\right)!}$. Поскольку $\frac{a_n}{a_{n+1}} = 1-\frac{1}{2n}+\frac{1}{2n\left(n+1\right)}$, то $a_n\lt a_{n+1}$. Это означает, что последовательность $\left(a_n\right)$ монотонно возрастает. Следовательно не выполняется необходимое условие для сходимости ряда (предел общего члена отличен от нуля), ряд расходится. Аналогично для $x = -4$. Окончательно, область сходимости
ряда – интервал $\left(−4, 4\right)$.
Пример 4. Рассмотрим ряд $$\sum\limits_{n=0}^\infty \left(1+\frac{1}{n}\right)^{n^2}x^n.$$ $\frac{1}{R} = \lim\limits_{n\to\infty}\left(1+\frac{1}{n}\right)^{n^2} = e^2$. Следовательно при $\left|x\right|\lt \frac{1}{e^2}$ сходится абсолютно. В точках $x = R = \frac{1}{e^2}$ и $x = −R = −\frac{1}{e^2}$ ряд расходится. Область его сходимости
– интервал$\left(−\frac{1}{e^2}, \frac{1}{e^2}\right)$.

Тест по теме: "Радиус сходимости числового ряда"

Небольшой тест по теории и практике.

Литература

  1. Б. П. Демидович Сборник задач по математическому анализу 13-е издание, исправленное Издательство Московского университета Издательство ЧеРо 1997 отдел V ряды (ст. 284)
  2. В. И. Коляда, А. А. Кореновский «Курс лекций по математическому анализу». — Одесса: Астропринт, 2010, ч.2. раздел 17 «Вычисление радиуса сходимости степенного ряда». (ст. 56 — 60)
  3. Кудрявцев Л. Д. курс математического анализа : учебник для вузов: В 3 т. Т. 2. Радиус сходимости и круг сходимости степенного ряда / Л. Д. Кудрявцев. — 5-е изд., перераб. и доп. — Москва: Дорфа, 2003. — 720 с. (ст. 107 — 108).

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

Определение. Числовой ряд $\sum\limits_{n=1}^\infty a_{n}$ называется знакопеременным (знакочередующимся), если его слагаемые попеременно меняют знак, т. е. если $a_{n} \cdot a_{n+1}<0$ $(n=1,2,\dots)$.
Знакопеременный ряд можно записать в виде $$u_{1}-u_{2}+u_{3}-u_{4}+\dots=\sum \limits _{n=1}^\infty (-1)^{n-1}u_{n},$$ где $u_{n}\geqslant 0$.

Теорема Лейбница. Если модули слагаемых знакочередующегося ряда $$\sum\limits_{n=1}^\infty (-1)^{n-1}u_{n} (15.14)$$ монотонно убывают к нулю, то этот ряд сходится.

Обозначим через $S_{n}$ частичную сумму ряда $(15.14)$. Рассмотрим частичные суммы с четными номерами $$S_{2m}=(u_{1}-u_{2})+(u_{3}-u_{4})+\dots+(u_{2m-1}-u_{2m}).$$ Так как $u_{n}$ убывают по условию, то в каждой скобке выражение неотрицательно. Поэтому $$S_{2(m+1)}=S_{2m+2}=S_{2m}+(u_{2m+1}-u_{2m+2})\geqslant S_{2m}.$$ Это означает, что последовательность $\left\{ {S_{2m}} \right\}_{m=1}^\infty$ возрастает. С другой стороны, из представления $$S_{2m}=u_{1}-(u_{2}-u_{3})-(u_{4}-u_{5})-\dots-(u_{2m-2}-u_{2m-1})-u_{2m},$$ в силу монотонности $ u_{k}$, следует, что $S_{2m}\leqslant u_{1}$. Таким образом, последовательность $\left\{ {S_{2m}} \right\}_{m=1}^\infty$ ограничена сверху и возрастает и, следовательно, имеет предел. Обозначим $S= \displaystyle{\lim_{m \to \infty}} S_{2m}$. Для доказательства сходимости ряда $(15.14)$ нужно еще показать, что $S_{2m+1} \rightarrow S (m\rightarrow \infty)$. Но это сразу следует из равенства $S_{2m+1}= S_{2m}+ u_{2m+1}$ и условия теоремы $u_{2m+1}\rightarrow 0 (m\rightarrow\infty)$. Окончательно, последовательность частичных сумм ряда $(15.14)$ с четными и с нечетными номерами сходятся к одному и тому же пределу $S$. Поэтому $S= \displaystyle{\lim_{n \to \infty}} S_{n}$.
Знакочередующийся ряд, для которого выполнены условия теоремы Лейбница, называется рядом лейбницевского типа. Теорема Лейбница утверждает, что ряд лейбницевского типа сходится.

Пример 1. Рассмотрим полугармонический ряд $\displaystyle{\sum_{n=1}^\infty} \frac{(-1)^{n-1}}{n}$. Здесь $u_{n}=\frac{1}{n}$ и данный ряд является рядом лейбницевского типа. По теореме Лейбница, он сходится. Ранее мы показали, что ряд, составленный из модулей слагаемых, – гармонический – расходится. Таким образом, сходимость исходного ряда обусловлена не малостью его слагаемых, а взаимной интерференцией слагаемых.

Пример 2. Приведем пример, показывающий, что в теореме Лейбница нельзя отбросить условие монотонности.
Ряд $\displaystyle{\sum_{n=1}^\infty} \frac{(-1)^{n-1}}{\sqrt{n}}$ является рядом лейбницевского типа и, следовательно, сходится. Гармонический ряд $\displaystyle{\sum_{n=1}^\infty} \frac{1}{n}$ расходится. Рассмотрим знакопеременный ряд $\displaystyle{\sum_{n=1}^\infty}\left[ \frac{(-1)^{n-1}}{\sqrt{n}} +\frac{1}{n}\right].$ Его слагаемые стремятся к нулю, но их модули не монотонны. Легко видеть, что он расходится. Действительно, если бы он являлся сходящимся, то сходился бы и ряд $\displaystyle{\sum_{n=1}^\infty} \frac{1}{n}$, как разность двух сходящихся рядов $\displaystyle{\sum_{n=1}^\infty}\left[ \frac{(-1)^{n-1}}{\sqrt{n}} +\frac{1}{n}\right]$ и $\displaystyle{\sum_{n=1}^\infty} \frac{(-1)^{n-1}}{\sqrt{n}}.$ Но гармонический ряд $\displaystyle{\sum_{n=1}^\infty} \frac{1}{n}$ расходится.

Теорема (оценка остатка ряда лейбницевского типа). Остаток после $n$-го слагаемого ряда лейбницевского типа имеет такой же знак, как и его первое слагаемое, а по абсолютной величине не превосходит абсолютной величины первого слагаемого.

Пусть $S_{n}$– частичные суммы ряда лейбницевского типа $$\displaystyle{\sum_{n=1}^\infty} (-1)^{n-1}u_{n} (15.15)$$ $S= \displaystyle{\sum_{n=1}^\infty} (-1)^{n-1}u_{n}$ и $r_{n}=\displaystyle{\sum_{k=n+1}^\infty} (-1)^{k-1}u_{k}$ Тогда $r_{n}=S-S_{n}$, и мы хотим оценить $r_{n}.$
При доказательстве теоремы Лейбница мы получили, что последовательность частичных сумм ряда $(15.15)$ с четными номерами $S_{2m}$ возрастает, и поэтому $S_{2m}\leqslant S$. С другой стороны, $$S_{2m+1}=u_{1}-(u_{2}-u_{3})-(u_{4}-u_{5})-\dots-(u_{2m}-u_{2m+1}),$$ откуда видно, что $S_{2m+1}\geqslant S_{2m+3},$ т.е. последовательность частичных сумм ряда $(15.15)$ с нечетными номерами убывает и поэтому $S_{2m+1}\geqslant S$.
Таким образом, $$S_{2m}\leqslant S \leqslant S_{2m+1},$$ откуда $$0\leqslant S-S_{2m}\leqslant S_{2m+1}-S_{2m}=u_{2m+1},$$ т.е. остаток четного порядка $r_{2m}=S-S_{2m}$ удовлетворяет неравенству $$0\leqslant r_{2m} \leqslant u_{2m+1},$$ что и доказывает теорему для остатков четного порядка.
Аналогично, из неравенства $$S_{2m+2}\leq S \leqslant S_{2m+1}$$ следует $$0\geqslant S — S_{2m+1}\geqslant S_{2m+2}-S_{2m+1}=-u_{2m+2},$$ т. е. $$-u_{2m+2}\leqslant r_{2m+1}\leqslant 0,$$ чем доказано утверждение теоремы для остатков нечетного порядка.
Итак, мы показали, что $\text{sign }$ $r_{n} = (-1)^{n}$ и $\mid r_{n}\mid \leqslant u_{n+1}$ для любого $n = 1,2,\dots$

Примеры решения задач

Определить, сходятся ли ряды:

  1. $\displaystyle \sum_{n=1}^\infty (-1)^n \frac{\ln^2n}{n}$
    Решение

    Найдём предел $u_{n}=\frac{\ln^2n}{n}$ при $n\rightarrow\infty$, воспользовавшись правилом Лопиталя: $\displaystyle\lim_{n \to \infty}\frac{\ln^2n}{n}=\displaystyle\lim_{n \to \infty}\frac{2\ln n}{n}=\displaystyle\lim_{n \to \infty}\frac{2}{n}=0$, то есть модули слагаемых стремятся к нулю. Для проверки монотонности воспользуемся теоремой о достаточном условии строгой монотонности:
    $\left(\frac{\ln^2x}{x}\right)^\prime=\frac{\frac{2\ln x}{x}x-\ln^2 x}{x^2}=\frac{\ln x \left(2-\ln x \right)}{x^2}$ Откуда видно, что при $x\rightarrow\infty$, $\left(\frac{\ln^2x}{x}\right)^\prime<0$, откуда следует, что модули слагаемых монотонно убывают. То есть, данный ряд удовлетворяет условиям теоремы Лейбница, следовательно, он сходится.

  2. $\displaystyle{\sum_{n=1}^\infty} \frac{(-1)^{n+1}}{{\sqrt[n]{n}}}$
    Решение

    Найдём предел $u_{n}=\frac{(-1)^{n+1}}{{\sqrt[n]{n}}}$ при $n\rightarrow\infty$: $\displaystyle \lim_{n \to \infty} \frac{(-1)^{n+1}}{{\sqrt[n]{n}}}=\lim_{n \to \infty}n^{-\frac{1}{n}}=\lim_{n \to \infty}e^{-\frac{\ln n}{n}}. $Воспользуемся правилом Лопиталя: $\displaystyle \lim_{n \to \infty}e^{-\frac{\ln n}{n}}=\lim_{n \to \infty}e^{-\frac{1}{n}}=e^0=1$. Покажем, что данный ряд не удовлетворяет не только условиям теоремы Лейбница, но и необходимое условие сходимости числового ряда: $\displaystyle \lim_{n \to \infty} \frac{(-1)^{n+1}}{{\sqrt[n]{n}}}=\displaystyle \lim_{n \to \infty} (-1)^{n+1}$ Но предела $\displaystyle \lim_{n \to \infty} (-1)^{n+1}$ не существует (можно показать по Гейне, взяв ${x_{k}}^{\prime}=2n+1$ и ${x_{k}}^{\prime \prime}=2n$). То есть, данный ряд расходится.

  3. $\displaystyle \sum_{n=1}^\infty \frac{(-1)^{n+1}}{2n-\text{arctg } n}$
    Решение

    Найдём предел $\displaystyle \lim_{n \to \infty} \frac{1}{2n-\text{arctg } n}=\lim_{n \to \infty} \frac{1}{2n-\frac{\pi}{2}}=0.$ То есть модули слагаемых стремятся к нулю. Проверяем монотонность: $\displaystyle \left(\frac{1}{2x-\text{arctg } x}\right)^\prime=\frac{-2+\frac{1}{1+x^2}}{\left(2x-\text{arctg } x\right)^2},$ откуда видно, что при $x\rightarrow\infty$ $\displaystyle \left(\frac{1}{2x-\text{arctg } x}\right)^\prime < 0$, что по теореме о достаточном условии строгой монотонности говорит о том, что $\displaystyle \left\{\frac{1}{2n-\text{arctg } n}\right\}_{n=1}^\infty$ монотонно убывает. То есть, по теореме Лейбница, ряд сходится.

  4. $\displaystyle \sum_{n=1}^\infty \sin{\left(\pi\sqrt{n^2+k^2}\right)},$ где $k \in \mathbb{N}$
    Решение

    Воспользовавшись нечётностью и периодичностью синуса, получим, что $\sin\alpha=-\sin(-\alpha)=-\sin\left(2\pi n-\alpha\right)=-\sin\left(\pi n+(\pi n -\alpha\right))=$$=-\sin(\pi n)\cos(\pi n-\alpha)-\cos(\pi n)\sin(\pi n-\alpha)=$$=-\cos(\pi n)\sin(\pi n-\alpha)=(-1)^{n+1}\sin(\pi n-\alpha)$. То есть, $$\displaystyle \sum_{n=1}^\infty \sin{\pi\sqrt{n^2+k^2}}=\displaystyle \sum_{n=1}^\infty (-1)^{n+1}\sin(\pi n-\pi\sqrt{n^2+k^2}).$$ Предел общего члена ряда: $\displaystyle \lim_{n \to \infty} (-1)^{n+1}\sin(\pi n-\pi\sqrt{n^2+k^2})=\lim_{n \to \infty}\sin\left(\frac{n^2-(n^2+k^2)}{n+\sqrt{n^2+k^2}}\right)=$$\displaystyle =\lim_{n \to \infty}\sin\left(\frac{\pi k^2}{n+\sqrt{n^2+k^2}}\right)=0.$ Монотонность. $\left(\frac{\pi k^2}{x+\sqrt{x^2+k^2}}\right)^\prime=\frac{-\pi k^2}{x+\sqrt{x^2+k^2}}\left(1+\frac{x}{\sqrt{x^2+k^2}}\right)=$$=\frac{-\pi k^2}{x+\sqrt{x^2+k^2}}\left(\frac{x+\sqrt{x^2+k^2}}{\sqrt{x^2+k^2}}\right)=\frac{-\pi k^2}{x\sqrt{x^2+k^2}+x^2+k^2}$, то есть при $n \to \infty$ $\left(\frac{\pi k^2}{x+\sqrt{x^2+k^2}}\right)^\prime<0$, а значит, по теореме о достаточном условии строгой монотонности $\left\{\frac{\pi k^2}{n+\sqrt{n^2+k^2}}\right\}_{n=1}^\infty$ монотонно убывает при достаточно больших $n.$ При $y$ в окрестности нуля, по таблице эквивалентных, $\sin(y)\sim y$, а $y=\frac{\pi k^2}{x+\sqrt{x^2+k^2}}$ монотонно убывает к $0$, как было показано. Значит, общий член ряда также монотонно убывает к нулю, следовательно, по признаку Лейбница, ряд сходится.

    При первом взгляде могло показаться, что для этого ряда не выполняется необходимое условие сходимости числового ряда. Однако, это не так: $\displaystyle \lim_{n \to \infty}\sin{\left(\pi\sqrt{n^2+k^2}\right)}=\lim_{n \to \infty}\sin{\left(\pi\sqrt{n^2\left(1+\frac{k^2}{n^2}\right)}\right)}=$$\displaystyle =\lim_{n \to \infty}\sin{\pi n\sqrt{1+\frac{k^2}{n^2}}}=\lim_{n \to \infty}\sin{\pi n}=0$

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

Тест для проверки уровня усвоения материала по теме «признак Лейбница».

  1. Лысенко З.М. Конспект лекций по математическому анализу.
  2. В.И.Коляда, А.А.Кореновский. Курс лекций по математическому анализу т.2. Одесса, «Астропринт», 2010, стр 16-19
  3. Б.П.Демидович. Сборник задач и упражнений по математическому анализу, 13-ое издание, Московского университета, 1997, стр. 259-260

Смотрите также

  1. Л.Д.Кудрявцев. Курс математического анализа, том. 2 стр. 27-29
  2. Г.М. Фихтенгольц. Курс дифференциального и интегрального исчисления.- т.2., стр. 302-305

17.1 Структура множества точек сходимости степенного ряда

Структуру множества точек сходимости степенного ряда устанавливает

Первая теорема Абеля. Пусть степенной ряд $$\sum_{n=0}^{\infty} a_nx^n \tag {17.1} $$ сходится в некоторой точке $x_1 \ne 0.$ Тогда ряд $(17.1)$ абсолютно сходится в каждой точке $x,$ такой, что $|x| \lt |x_1|.$

Из сходимости числового ряда $\displaystyle\sum_{n=0}^{\infty} a_nx_1^n$ следует, что его слагаемые стремятся к нулю и, следовательно, ограничены, т. е. существует такое $M,$ что для всех $n = 0,1,…$ справедливо неравенство $|a_nx_1^n| \le M.$ Поэтому для $|x| \lt |x_1|$ имеем $$|a_nx^n| = |a_nx_1^n| \cdot \left| \frac {x}{x_1}\right|^{n} \le M \cdot \left| \frac {x}{x_1}\right|^{n}.$$ Поскольку $q = \left| \frac {x}{x_1}\right| \lt 1,$ то ряд $\displaystyle\sum_{n=0}^{\infty}q^n $ сходится. Значит, по признаку сравнения сходится и ряд $\displaystyle\sum_{n=0}^{\infty} |a_nx^n|,$ а это означает, что ряд $(17.1)$ сходится и притом абсолютно.

Замечание. Если степенной ряд $(17.1)$ сходится при $x = x_1,$ то нельзя гарантировать, что он сходится и при $x = -x_1.$ Например, ряд $\displaystyle\sum_{n=1}^{\infty} \frac {x^n}{n} $ сходится при $x = x_1 = -1$ и расходится при $x = -x_1 = 1.$

Следствие. Если степенной ряд $(17.1)$ расходится в некоторой точке $x_1,$ то для всех $x,$ таких, что $|x| \gt |x_1|$ ряд $(17.1)$ расходится.

Если бы в некоторой точке $x_2,$ такой, что $|x_2| \gt |x_1|,$ ряд $(17.1)$ оказался сходящимся, то, в силу первой теоремы Абеля, он должен был быть сходящимся в точке $x_1.$ Но в точке $x_1$ ряд $(17.1)$ расходится по условию, и следствие доказано.

Теорема. Множество точек сходимости степенного ряда $(17.1)$ представляет собой непустой промежуток с центром в точке $x_0 = 0.$ Это может быть одноточечное множество $\{ 0 \},$ интервал (быть может, и бесконечный), отрезок или полуинтервал.

Ясно, что в точке $x_0 = 0$ ряд $(17.1)$ с любыми коэффициентами $\{ a_n \}$ сходится. Если других точек сходимости у ряда $(17.1)$ нет, то множеством точек сходимости ряда $(17.1)$ является множество $\{ 0 \}.$ Предположим, что существуют отличные от нуля точки сходимости ряда $(17.1).$ Обозначим через $E$ множество всех таких точек, $R = \sup_{x \in E}|x|.$ Пусть $|x| \lt R.$ Тогда найдется такое $x_1 \in E,$ что $|x_1| \gt |x|.$ По первой теореме Абеля, ряд $(17.1)$ сходится абсолютно в точке $x.$ Если $R \lt +\infty$ и $|x| \gt R,$ то ясно, что $x \notin E$ и, следовательно, в этой точке ряд $(17.1)$ расходится. При $x = \pm R$ ряд $(17.1)$ может быть сходящимся или расходящимся.

Определение. Радиусом сходимости степенного ряда $$\sum_{n=0}^{\infty} a_n(x-x_0)^n \tag {17.2}$$ называется неотрицательное число $R$ (конечное или равное $+\infty$), обладающее тем свойством, что при $|x − x_0| \lt R$ ряд $(17.2)$ сходится, а при $|x − x_0| \gt R$ ряд $(17.2)$ расходится. Существование такого числа $R$ установлено в предыдущей теореме. Интервал $(x_0 − R, x_0 + R)$ называется интервалом сходимости степенного ряда $(17.2).$

Иллюстрация Изображение не найдено

Иллюстрация комплексного случая.

Изображение не найдено

Иллюстрация вещественного случая.

Из доказанной теоремы следует, что степенной ряд $(17.2)$ сходится в точке $x = x_0.$ Если множество точек сходимости ряда $(17.2)$ состоит более чем из одной точки $x_0,$ то ряд $(17.2)$ сходится в интервале $(x_0 − R, x_0 + R)$ и расходится вне отрезка $[x_0 − R, x_0 + R],$ причем во всех точках интервала $(x_0 − R, x_0 + R)$ ряд $(17.2)$ сходится абсолютно.

Пример 1. Ряд $$\sum_{n=0}^{\infty} n!x^n \tag {17.3}$$ сходится лишь в одной точке $x = 0.$ Действительно, если $x \ne 0,$ то, в силу известного равенства $\displaystyle\lim_{n \to \infty} n!x^n = \infty,$ ряд $(17.3)$ расходится, т. к. для него не выполнено необходимое условие сходимости. Итак, здесь $R = 0$ и множество точек сходимости состоит из единственной точки $\{ 0 \}.$

Пример 2. Ряд $$\sum_{n=0}^{\infty} x^n \tag {17.4}$$ сходится при $|x| \lt 1$ и расходится при $|x| \ge 1.$ Здесь $R = 1,$ интервал сходимости $(−1, 1),$ на концах интервала сходимости ряд $(17.4)$ расходится, так что множество точек сходимости ряда $(17.4)$ – интервал $(−1, 1).$

Пример 3. Ряд $$\sum_{n=1}^{\infty} \frac {x^n}{n} \tag {17.5}$$ сходится при $|x| \lt 1$ по признаку сравнения, т. к. $\left| \frac {x^n}{n} \right| \le |x^n|$ (сравниваем с геометрической прогрессией). Если $|x| \gt 1,$ то слагаемые ряда $(17.5)$ стремятся к $\infty$ и, следовательно, ряд $(17.5)$ расходится. Итак, радиус сходимости ряда $(17.5)$ $R = 1,$ интервал сходимости $(−1, 1).$ При $x = −1$ ряд $(17.5)$ принимает вид $\displaystyle\sum_{n=1}^{\infty} \frac {(-1)^n}{n}.$ Это – ряд лейбницевского типа и, следовательно, сходящийся. При $x = 1$ получаем ряд $\displaystyle\sum_{n=1}^{\infty} \frac {1}{n}$ – гармонический, а значит, расходящийся. Итак, на левом конце интервала сходимости ряд $(17.5)$ сходится (условно), а на правом конце – расходится. Множество точек сходимости ряда $(17.5)$ – полуинтервал $[−1, 1).$

Пример 4. Для ряда $$\sum_{n=1}^{\infty} \frac {x^n}{n^2} \tag {17.6}$$ при $|x| \le 1$ имеем $\left| \frac {x^n}{n^2} \right| \le \frac {1}{n^2},$ т. е. ряд $(17.6),$ в силу признака сравнения, сходится на множестве $[−1, 1].$ Если же $|x| \gt 1,$ то ряд $(17.6)$ расходится, т. к. не выполнено необходимое условие сходимости $(\frac {x^n}{n^2} \to \infty \space (n \to \infty)).$ Итак, радиус сходимости ряда $(17.6)$ $R = 1,$ интервал сходимости $(−1, 1),$ множество точек сходимости $[−1, 1].$

Пример 5. Ряд $$\sum_{n=1}^{\infty} \frac {x^n}{n!} \tag {17.7}$$ сходится при каждом $x \in \mathbb R.$ В самом деле, поскольку $$\frac {|x|^{n+1}}{(n+1)!} \cdot \frac {n!}{|x|^n} = \frac {|x|}{n+1} \to 0 \qquad (n \to \infty),$$ то, в силу признака Даламбера, получаем, что ряд $(17.7)$ сходится. Имеем $R = +\infty,$ интервал сходимости $(−\infty, +\infty).$

Примеры решения задач

  1. Определить радиус сходимости ряда $$\sum_{n=0}^{\infty}a_nz^n, \qquad \text{где} \qquad \begin{equation*} a_n =\begin{cases} \frac {1}{n}, \text { если $n = 1, 3, 5, …,$} \\ 0, \text { если $n = 0, 2, 4, …,$} \end{cases} \end{equation*}$$
    Решение

    Признак Даламбера неприменим для определения сходимости этого ряда, так как отношение $\displaystyle\frac {a_{n+1}}{a_n}$ не имеет смысла для четных номеров $n.$ Не дает ответа здесь и признак Коши, поскольку нетрудно проверить, что здесь предел$\displaystyle{\lim_{n \to \infty}} \sqrt[n]{|a_n|}$ не существует. Однако, если положить $b_k = \frac{1}{2k+1},\space k = 0, 1, 2, …,$ и записать данный ряд в виде $$\sum_{k=0}^{\infty}b_kz^{2k+1} = \sum_{k=0}^{\infty} \frac {z^{2k+1}}{2k+1},$$ то, исследовав абсолютную сходимость этого ряда с помощью признака Даламбера, получим $$\lim_{k \to \infty} \frac {|b_{k+1}z^{2k+3}|}{|b_kz^{2k+1}|} = |z|^2 \lim_{k\to \infty} \frac {2k+1}{2k+3} = |z|^2.$$ Отсюда следует, что рассматриваемый ряд абсолютно сходится, когда $|z^2| \lt 1,$ т. е. когда $|z| \lt 1$ и абсолютно расходится, когда $|z| \gt 1.$ Таким образом, радиус сходимости этого степенного ряда равен $1.$

  2. Определить интервал сходимости ряда $$\sum_{n=1}^{\infty} \left( \frac {z}{n} \right) ^n$$
    Решение

    В силу признака Даламбера и признака сравнения получаем, что ряд сходится для любого $x \in \mathbb R$ $$\frac {|z|^{n+1}}{(n+1)^{n+1}} \cdot \frac {n^n}{|z|^n} = \frac {|z| \cdot n^n}{(n+1)^{n+1}} \le \frac {|z| \cdot n^n}{n^{n+1}} = \frac {|z|}{n} \to 0 \qquad (n \to \infty),$$ Таким образом, $R = +\infty,$ а искомый интервал сходимости $(-\infty;+\infty).$

  3. Определить радиус сходимости ряда $$\sum_{n=0}^{\infty} 2^nz^n $$
    Решение

    Сделаем замену $t = 2z^2.$ Отсюда получим, ряд $$\sum_{n=0}^{\infty} t^n \text { — сумма геометрической прогрессии.}$$ При $|t| \lt 1$ ряд сходится, при $|t| \ge 1$ расходится. Теперь подставим $2z^2$ вместо $t$ в неравенство $|t| \lt 1.$ Получим $$|2z^2| \lt 1,$$ откуда $$|z| \lt \sqrt{\frac{1}{2}} = \frac{\sqrt{2}}{2} = R.$$

  4. Определить множество точек сходимости ряда $$\sum_{n=0}^{\infty} n^2z^n $$
    Решение

    В силу признака Коши получаем, что $$ \sqrt[n]{|n^2z|} = |z|\sqrt[n]{n^2}.$$ Выражение будет стремиться к нулю, при $n \to \infty,$ когда $|z| \lt 1.$ Отсюда радиус сходимости равен $1,$ а интервал сходимости $(-1; 1).$ При $z = 1$ имеем ряд вида $\displaystyle\sum_{n=0}^{\infty} n^2,$ который расходится, т. к. не выполняется необходимое условие сходимости. При $z = -1$ имеем ряд вида $\displaystyle\sum_{n=0}^{\infty} n^2(-1)^n.$ Исследуем по признаку Лейбница. $a_n = n^2$ монотонно возрастает при достаточно больших $n,$ а $\displaystyle{\lim_{n \to \infty}}a_n = \displaystyle{\lim_{n \to \infty}}n^2 = \infty.$ Следовательно, так как ни одно из условий признака Лейбница не выполняется, то ряд в точке $z = -1$ расходится. Следовательно, множество точек сходимости $(-1; 1).$

  5. Определить множество точек сходимости ряда $$\sum_{n=1}^{\infty} \frac{z^n}{n^3} $$
    Решение

    При $|z| \le 1$ имеем $\left| \frac{z^n}{n^3} \right| \le \left| \frac{1}{n^3} \right|,$ т. е. ряд сходится на $[-1;1].$ Если $|z| \gt 1,$ то ряд расходится т. к. не выполнено необходимое условие сходимости $\left( \displaystyle{ \lim_{n \to \infty}}\frac{z^n}{n^3} \to \infty \right ).$ Итак, радиус сходимости равен $1,$ а множество точек сходимости — интервал $[-1;1].$

Литература

  1. Кудрявцев Л. Д. Курс математического анализа : учебник для вузов: В 3 т. Т. 2. Радиус сходимости и круг сходимости степенного ряда / Л. Д. Кудрявцев. — 5-е изд., перераб. и доп. — Москва: Дрофа, 2003. — 720 с. — c. 100-107.
  2. В. И. Коляда, А. А. Кореновский «Курс лекций по математическому анализу». — Одесса: Астропринт, 2010, ч.2, разделы 17 «Степенные ряды» и 17.1 «Структура множества точек сходимости степенного ряда».(стр. 53 — 56).
  3. Лысенко З.М. Конспект лекций по математическому анализу.

Структура множества точек сходимости степенного ряда

Пройдите этот тест, чтобы проверить свои знания по только что прочитанной теме.

2.2 Бесконечно малые и бесконечно большие последовательности

Определение. Последовательность $\left\{x_n\right\}$ называется бесконечно малой, если $\lim\limits_{n\to\infty} x_n = 0$.

Легко видеть, что последовательность $\left\{x_n\right\}$ сходится к числу $a$ тогда и только тогда, когда последовательность $a_n = x_n — a$ бесконечно малая. Используя это, можно дать следующее равносильное определение предела.

Определение. Число $a$ называется пределом последовательности $\left\{ x_n\right\}$, если последовательность $\left\{x_n — a\right\}$ бесконечно малая.

Следует, однако, понимать, что при таком определении предела нужно отдельно определять понятие бесконечно малой последовательности, а именно, бесконечно малой называть такую последовательность $\left\{ x_n\right\}$, что для любого $\varepsilon > 0$ найдется номер $N = N(\varepsilon) \in \mathbb{N}$, такой, что при любом $n \geq N$ справедливо неравенство $|x_n| < \varepsilon$.

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

Доказательство. Свойство 1) следует из арифметических свойств переделов (теорема 7).

Докажем 2). Пусть $\left\{a_n\right\}$ — бесконечно малая, а $\left\{x_n\right\}$ ограниченная последовательности. Обозначим $\beta_n = a_nx_n$. Поскольку $\left\{x_n\right\}$ ограничена, то существует такое $A > 0$, что $|x_n| \leq A$ при любом $ n \in \mathbb{N}$. Зададим $\varepsilon > 0$ и, пользуясь тем, что $\left\{a_n\right\}$ бесконечно малая, найдем такой номер $N$, что при всех $n \geq N$ справедливо неравенство $|a_n| < \frac{\varepsilon}{A}$. Тогда для $n \geq N$ получим $|\beta_n| = |a_n|$ $|x_n| \leq A$ $|a_n| < \varepsilon$, а это означает, что последовательность $\left\{\beta_n\right\}$ бесконечно малая. $\small\Box$

Бесконечно большие последовательности

Выше мы показали, что каждая сходящаяся последовательность ограничена. Иначе говоря, всякая неограниченная последовательность расходится. Мы выделим некоторые специальные классы неограниченных последовательностей.

Определение. Говорят, что последовательность $\left\{x_n\right\}$ стремится к $+\infty$, если для любого действительного числа $M$ найдется номер $N$, зависящий, вообще говоря, от $M$, такой, что для всех $n \geq N$ справедливо неравенство $x_n > M$. В этом случае пишут $\lim\limits_{n\to\infty} x_n = +\infty$, или $x_n \rightarrow + \infty$ при $n \rightarrow \infty$.

Говорят, что последовательность $\left\{x_n\right\}$ стремится к $-\infty$, если для любого действительного числа $M$ найдется номер $N$, зависящий, вообще говоря, от $M$, такой, что для всех $n \geq N$ справедливо неравенство $x_n < -M$. В этом случае пишут $\lim\limits_{n\to\infty} x_n = -\infty$, или $x_n \rightarrow -\infty$ при $n \rightarrow \infty$.

Последовательность $\left\{x_n\right\}$ называется бесконечно большой, если модули её элементов стремятся к $+\infty$ $(\lim\limits_{n\to\infty} |x_n| = +\infty)$, т.е. если для любого $M$ найдется номер $N$, такой, что для всех $n \geq N$ справедливо неравенство $|x_n| > M$. Обозначают это так: $\lim\limits_{n\to\infty} x_n = \infty$, или $x_n \rightarrow \infty$ при $n \rightarrow \infty$.

Иллюстрация

Ясно, что каждое из условий $\lim\limits_{n\to\infty} x_n = +\infty$, или $\lim\limits_{n\to\infty} x_n = -\infty$ влечет $\lim\limits_{n\to\infty} x_n = \infty$. Обратное неверно. Например, последовательность $x_n = (-1)^nn$ стремится к $\infty$, но не стремится ни к $+\infty$, ни к $-\infty$.

Напомним, что неограниченная последовательность $\left\{x_n\right\}$ — это такая, что для любого $M$ найдется такой номер $n$, что $|x_n| > M$. Ясно, что каждая бесконечно большая последовательность неограничена, но обратное неверно. Например, последовательность $x_n = n^{(-1)^n}$ неограничена, но не является бесконечно большой.

Связь между бесконечно большими и бесконечно малыми последовательностями устанавливает следующее

Утверждение. Пусть $x_n \neq 0$ $(n = 1, 2,\dots)$. Тогда последовательность $\left\{x_n\right\}$ бесконечно большая в том и только в том случае, когда последовательность $ a_n = \frac{1}{x_n} $ бесконечно малая.

Доказательство этого утверждения сразу следует из эквивалентности двух следующих неравенств: $|a_n| < \varepsilon$ и $|x_n| = |\frac{1}{a_n}| > \frac{1}{\varepsilon}$. Например, если $\left\{x_n\right\}$ — бесконечно большая, то для заданного $\varepsilon > 0$ найдем такой номер $N$, что для всех $n \geq N$ справедливо неравенство $|x_n| > \frac{1}{\varepsilon}$. Тогда для $n \geq N$ будем иметь $|a_n| = |\frac{1}{x_n}| < \varepsilon$, а это и означает, что последовательность $\left\{a_n\right\}$ бесконечно малая.

Доказательство обратного утверждения аналогично.$\small\Box$

Некоторые виды неопределенностей.

Пусть $x_n \rightarrow +\infty$, $y_n \rightarrow +\infty$. Тогда легко убедится в том, что $x_n + y_n \rightarrow +\infty$ и $x_ny_n \rightarrow +\infty$. Однако, об $x_n — y_n$ ничего определенного сказать нельзя. Так, например, если $x_n = n^2 \rightarrow +\infty$, $y_n = n \rightarrow +\infty$, то $x_n — y_n = n^2 — n \geq n$ $(n \geq 2)$ и $x_n — y_n \rightarrow +\infty$. Для $x_n = n, y_n = n^2$ имеем $x_n — y_n = n — n^2 \geq -n$ и $x_n — y_n \rightarrow -\infty$. Если же $x_n = n \rightarrow +\infty$, $y_n = n + (-1)^n \rightarrow + \infty$, то последовательность $x_n — y-n = (-1)^{n+1}$ не имеет предела.

Говорят, что разность двух стремящихся к $+\infty$ последовательностей составляет неопределенность вида $\left[(+\infty) — (+\infty)\right]$. Другой вид неопределенности $\left[\frac{\infty}{\infty}\right]$ — отношение двух стремящихся к $\infty$ последовательностей, т.е. $\frac{x_n}{y_n}$, где $x_n \rightarrow \infty $, $y_n \rightarrow \infty $. Вы самом деле, для $x_n = n^2$, $y_n = n$ имеем $\frac{x_n}{y_n} = n \rightarrow \infty $, $\frac{y_n}{x_n} = \frac{1}{n} \rightarrow 0$. Если же $x_n = (2 + (-1)^n)n$, $y_n = n$, то отношение $\frac{x_n}{y_n} = 2 + (-1)^n$, очевидно, не имеет предела.

Так как обратная к бесконечно большой является бесконечно малой последовательностью, то получаем еще такие виды неопределенностей: $\left[0 \cdot \infty\right] = \left[\frac{1}{\infty} \cdot \infty\right] = \left[\frac{\infty}{\infty}\right] = \left[\frac{0}{0}\right]$. Приведите соответствующие примеры.

Комментарий

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

Эквивалентные бесконечно малые последовательности

Определение. Две бесконечно малые последовательности $\left\{\alpha_n\right\}$ и $\left\{\beta_n\right\}$ называются эквивалентными, если $\lim\limits_{n\to\infty} \frac{\alpha_n}{\beta_n} = 1$. Пишут так: $\alpha_n \sim \beta_n$.

При $n \rightarrow 0$ справедливы следующие отношения эквивалентности (как следствия из так называемых замечательных пределов):

  • $\sin{n} \sim n, $
  • $\tan{n} \sim n, $
  • $1-\cos{n} \sim \frac{1}{2}n^2, $
  • $\frac{\pi}{2} — \arccos{n} \sim n, $
  • $\arcsin{n} \sim n, $
  • $\arctan{n} \sim n, $
  • $a^n-1 \sim n \ln{a}, $
  • $\log_a(1+n) \sim \frac{n}{\ln{a}}, $
  • $(1+n)^\alpha — 1 \sim \alpha \cdot n.$

Примеры решения задач

Рассмотрим примеры задач, в которых фигурируют бесконечно малые и бесконечно большие последовательности. Читателю с целью самопроверки предлагается решить данные примеры самому, а затем сверить свое решение с приведенным.

  1. Определить будет ли последовательность $x_n = \frac{n}{n^2 + 1}$ бесконечно малой.
    Решение

    Найдем предел $\lim\limits_{n\to\infty} \frac{n}{n^2 + 1} = \lim\limits_{n\to\infty} \frac{\frac{n}{n^2}}{\frac{n^2 + 1}{n^2}} = \lim\limits_{n\to\infty} \frac{n}{n^2 + 1} = \lim\limits_{n\to\infty} \frac{0}{1 + \frac{1}{n^2}} = $ $ = \lim\limits_{n\to\infty} \frac{0}{1 + 0} = 0.$

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

  2. Доказать, что $\lim\limits_{n\to\infty}\frac{(-1)^n}{n} = 0$.
    Решение

    Последовательность $(-1)^n$ ограничена, а $\frac{1}{n}$ бесконечно малая, так как $\lim\limits_{n\to\infty} \frac{1}{n} = 0$. Согласно теореме о свойствах бесконечно малых последовательностей, произведение бесконечно малой последовательности на ограниченную будет бесконечно малой последовательностью, значит и $\lim\limits_{n\to\infty}\frac{(-1)^n}{n} = 0$.

  3. Доказать, что $x_n = \frac{1}{n^4}$ бесконечно малая.
    Решение

    Так как $x_n = \frac{1}{n^4} = \frac{1}{n} \cdot \frac{1}{n} \cdot \frac{1}{n} \cdot \frac{1}{n}$ и $\lim\limits_{n\to\infty}\frac{1}{n} = 0$, имеем произведение конечного числа бесконечно малых последовательностей. По теореме о свойствах бесконечно малых, последовательность $x_n$ — бесконечно малая.

  4. Доказать, что $\lim\limits_{n\to\infty}(-1)^n2^n = \infty$.
    Решение

    Докажем, что последовательность бесконечно большая. Согласно определению, последовательность $\left\{x_n\right\}$ называется бесконечно большой, если для любого $M$ найдется номер $N$, такой, что для всех $n \geq N$ справедливо неравенство $|x_n| > M$. Найдем этот номер $N$.

    $|(-1)^n2^n| \geq M$, значит $2^n \geq M$. Прологарифмировав обе части неравенства по основанию $2$, получаем $n \geq \log_2M$.

    Выберем наименьшее $N$, удовлетворяющее данному условию, а это $N = [|\log_2M|] + 1$.

    Так как $N$ существует, последовательность будет бесконечно большой, а значит и $\lim\limits_{n\to\infty}(-1)^n2^n = \infty$.

  5. Найти предел последовательности $x_n = \frac{\ln(1+\frac{1}{n})}{4^{\frac{1}{n}} — 1}$.
    Решение

    Сделаем замену $\frac{1}{n} = x$ и тогда $x \rightarrow 0$.

    $\lim\limits_{n\to\infty} \frac{\ln(1+\frac{1}{n})}{4^{\frac{1}{n}} — 1} = \lim\limits_{x\to 0} \frac{\ln(1+x)}{4^x-1} = [\frac{\infty}{\infty}]$.

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

    $\lim\limits_{x\to 0} \frac{\ln(1+x)}{4^x-1} \sim \lim\limits_{x \to 0} \frac{x}{x\ln4} = \frac{1}{\ln4}$.

Литература

  1. Лысенко З.М. Конспект лекций по математическому анализу
  2. Коляда В.И., Кореновский А. А. Курс лекций по математическому анализу.- Одесса : Астропринт , 2009. с. 24-26.
  3. Фихтенгольц Г. М. Курс дифференциального и интегрального исчисления: учеб. пособие для ун-тов и пед. ин-тов. Т. 1 / Г. М. Фихтенгольц. — 5-е изд., стереотип. — Москва: Физматгиз, 1962. — 607 с. — c. 47-56.
  4. Тер-Крикоров А. М., Шабунин М. И. Курс математического анализа: Учеб. пособие для вузов. – 3-е изд., исправл. / А. М. Тер-Крикоров, М. И. Шабунин. – Москва: ФИЗМАТЛИТ, 2001. – 672 с. — С. 45-50.

Бесконечно малые и бесконечно большие последовательности

Пройдите этот тест для проверки своих знаний вышеизложенного материала.

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}$. В силу критерия Коши это означает, что гармонический ряд расходится.

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

Примеры решения задач

  1. Найти сумму ряда $$\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}.$$

  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$$

  3. Записать сумму в свернутом виде с общим членом ряда $$\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}}$$

  4. Проверить, выполняется ли необходимое условие сходимости для ряда: $$\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)$.

Определения и простейшие свойства числового ряда

Пройдите этот тест, чтобы проверить свои знания по только что прочитанной теме


Таблица лучших: Определения и простейшие свойства числового ряда

максимум из 11 баллов
Место Имя Записано Баллы Результат
Таблица загружается
Нет данных