Как найти сходимость последовательности

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

Числовой ряд в общем виде задаётся следующей формулой: $$sum_{n=1}^infty a_n.$$ Разберем из чего состоит ряд. $a_n$ – это общий член ряда. $n$ – это переменная суммирования, которая может начинаться с нуля или любого натурального числа. Таким образом ряд расписывается следующим образом: $$sum_{n=1}^infty a_n = a_1+a_2+a_3+…$$ Слагаемые $a_1,a_2,a_3,…$ называются членами ряда. Если они неотрицательные, то ряд называется положительными числовым рядом.

Ряд расходится, если сумма его членов равна бесконечности: $$sum_{n=1}^infty n^2+1 = 2+5+10+…$$Ряд сходится, если сумма его членов равна конечному числу. Например, бесконечно убывающая геометрическая прогрессия: $$sum_{n=0}^infty frac{1}{2^n} = 1+frac{1}{2} + frac{1}{4}+frac{1}{8}+…$$ Её сумма вычисляется по следующей формуле $S = frac{A}{1-q}$, где $A$ – первый член прогрессии, а $q$ – основание. В данном случае сумма равна $S = frac{1}{1 – frac{1}{2}} = 2$.

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

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

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

  1. Если ряд сходится, то $limlimits_{nto infty} a_n = 0$
  2. Если $limlimits_{nto infty} a_n neq 0$ или не существует, то ряд расходится

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

Пример 1
Проверить сходимость числового ряда $sum_{nto 1}^infty n^2 + 1$
Решение
Применяем необходимый признак сходимости ряда $$lim_{ntoinfty} n^2+1 = infty$$Так как получили бесконечность, то значит ряд расходится и на этом исследование заканчивается. Если бы предел равнялся нулю, то действовали бы дальше применяя достаточные признаки.
Ответ
Ряд расходится
Пример 2
Проверить сходимость $sum_{nto 1}^infty frac{1}{n^2+1}$
Решение
Ищем предел общего члена ряда $$lim_{xtoinfty} frac{1}{n^2+1} = 0$$Так как предел получился равным нулю, то нельзя сказать сходится или расходится ряд. Нужно применить один из достаточных признаков сходимости.
Ответ
Требуется дополнительное исследование

Признаки сравнения

Обобщенный гармонический ряд записывается следующим образом $ sum_{n=1} ^infty frac{1}{n^p} $.

  1. Если $ p = 1 $, то ряд $ sum_{n=1} ^infty frac{1}{n} $ расходится
  2. Если $ p leqslant 1 $, то ряд расходится. Пример,$ sum_{n=1} ^infty frac{1}{sqrt{n}} $, в котором $ p = frac{1}{2} $
  3. Если $ p > 1 $, то ряд сходится. Пример, $ sum_{n=1} ^infty frac{1}{sqrt{n^3}} $, в котором $ p = frac{3}{2} > 1 $

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

Признак сравнения

Пусть даны два знакоположительных числовых ряда $sum_{n=1}^infty a_n$ и $sum_{n=1}^infty b_n$, причем второй ряд сходящийся. Тогда, если начиная с некоторого номера $n$ выполнено неравенство $a_n le b_n$, то ряд $sum_{n=1}^infty a_n$ сходится вместе с $sum_{n=1}^infty b_n$.

Предельный признак сравнения

Если предел отношения общих членов двух рядов $sum_{n=1}^infty a_n$ и $sum_{n=1}^infty b_n$ равен конечному числу и отличается от нуля $$lim_{ntoinfty} frac{a_n}{b_n} = A,$$то оба ряда сходятся или расходятся одновременно.

ЗАМЕЧАНИЕ. Предельный признак удобно применять когда хотя бы один из общих членов ряда представляет собой многочлен.

Пример 3
Исследовать сходимость ряда с помощью признака сравнения $$sum_{n=1}^infty frac{1}{n^3+n^2+1}$$ 
Решение

Проверяем ряд на необходимый признак сходимости и убеждаемся в его выполнении $$lim_{ntoinfty} frac{1}{n^3+n^2+1} = 0.$$

Теперь данный ряд нужно сравнить с одним из гармонических рядов. В данном случае видим, что в знаменателе старшая степень $n^3$, значит подойдет гармонический ряд $frac{1}{n^3}$, а он как известно сходится. Но нужно дополнительно мысленно проверить, что выполняется неравенство $n^3 le n^3+n^2+1$. Убедившись в этом получаем, что $$frac{1}{n^3+n^2+1} le frac{1}{n^3}.$$Это означает, что $sum_{n=1}^infty frac{1}{n^3+n^2+1}$ сходится.

Ответ
Ряд сходится
Пример 4
Исследовать сходимость ряда с помощью признака сравнения $$sum_{n=1}^infty frac{1}{n^2-2n}$$
Решение
Воспользуемся предельным признаком сравнения. Сравним данный ряд со сходящимся рядом $sum_{n=1}^infty frac{1}{n^2}$. Найти предел отношения общих членов двух рядов $$lim_{ntoinfty} frac{frac{1}{n^2}}{frac{1}{n^2-2n}} = lim_{ntoinfty} frac{n^2-2n}{n^2} =$$Выносим за скобку $n^2$ и сокращаем на него числитель и знаменатель $$lim_{ntoinfty} frac{n^2(1-frac{2}{n})}{n^2} = lim_{ntoinfty} (1-frac{2}{n}) = 1.$$ Итак, получили конечное число отличное от нуля, значит оба ряда сходятся одновременно.
Ответ
Ряд сходится

Признак Даламбера

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

  • Число в степени. Например, $2^n, 3^{n+1}$
  • Присутствует факториал. Например, $(n+1)!,(2n-3)!$

Для исследования сходимости ряда по признаку Даламбера нужно найти предел отношения двух членов ряда: $$lim_{ntoinfty} frac{a_{n+1}}{a_n} = L$$

В зависимости от значения предела делается вывод о сходимости или расходимости ряда:

  1. При $0 le L le 1$ ряд сходится
  2. При $L > 1$ или $L = infty$ ряд расходится
  3. При $L = 1$ признак не даёт ответа и нужно пробовать другой
Пример 5
Исследовать ряд на сходимость по признаку Даламбера $$sum_{n=1}^infty frac{2^{n+1}}{n!}$$
Решение

Общий член ряда $a_n = frac{2^{n+1}}{n!}$, тогда следующий член ряда будет $$a_{n+1} = frac{2^{(n+1)+1}}{(n+1)!} = frac{2^{n+2}}{(n+1)!}$$

Теперь находим предел предыдущего и последующего членов ряда $$L=lim_{ntoinfty} frac{a_{n+1}}{a_n} = lim_{ntoinfty} frac{frac{2^{n+2}}{(n+1)!}}{frac{2^{n+1}}{n!}} = lim_{ntoinfty} frac{2^{n+2} n!}{(n+1)! 2^{n+1}}$$ Выполняем сокращение на $2^{n+1}$ и $n!$ и находим значение предела $$L=lim_{ntoinfty} frac{2}{n+1} = 0$$ Так как предел равен нулю ($L=0$), то ряд сходится по признаку Даламбера.

Ответ
Числовой ряд сходится
Пример 6
Исследовать сходимость ряда по признаку Даламбера $$sum_{n=1}^infty frac{3^{n+1}}{sqrt{2n+5}}$$
Решение

Начинаем с того, что выписываем общий член ряда $$a_n = frac{3^{n+1}}{sqrt{2n+5}}.$$

Подставляем в него $n = n + 1$ и раскрываем скобки $$a_{n+1} = frac{3^{(n+1)+1}}{sqrt{2(n+1)+5}} = frac{3^{n+2}}{sqrt{2n+7}}.$$

Находим отношение следующего общего члена к предыдущему и упрощаем $$frac{a_{n+1}}{a_n} = frac{frac{3^{n+2}}{sqrt{2n+7}}}{frac{3^{n+1}}{sqrt{2n+5}}} = frac{(3^{n+2})sqrt{2n+5}}{sqrt{2n+7}(3^{n+1})} = frac{3sqrt{2n+5}}{sqrt{2n+7}}$$

Теперь вычисляем предел последней дроби, чтобы проверить признаком Даламбера сходимость. Для этого сократим числитель и знаменатель на $n$ $$L = limlimits_{ntoinfty} frac{3sqrt{2n+5}}{sqrt{2n+7}} = 3limlimits_{ntoinfty} frac{sqrt{2+frac{5}{n}}}{sqrt{2+frac{7}{n}}} = 3frac{sqrt{2}}{sqrt{2}} = 3.$$

Так как получился $L > 0$, то по признаку Даламбера представленный ряд расходится.

Если не получается решить свою задачу, то присылайте её к нам. Мы предоставим подробное решение онлайн. Вы сможете ознакомиться с ходом вычисления и почерпнуть информацию. Это поможет своевременно получить зачёт у преподавателя!

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

Радикальный признак Коши

Для установления сходимости ряда по радикальному признаку Коши нужно вычислить предел корня $n$ степени из общего члена ряда $$L = limlimits_{ntoinfty} sqrt[n]{a_n}.$$

  1. Если $L<1$, то ряд сходится,
  2. если $L>1$, то ряд расходится,
  3. если $L=1$, то признак не даёт ответа о сходимости.

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

Пример 7
Исследовать ряд на сходимость $$sum_{n=1}^infty bigg(frac{3n+1}{2n+7}bigg)^{3n}.$$
Решение

Так как у общего члена есть тепень, в составе которой, присутствует $n$, то есть смысл попробовать применить радикальный признак сходимости Коши. Для этого, извлекаем корень $n$ степени из общего члена. $$sqrt[n]{bigg(frac{3n+1}{2n+7}bigg)^{3n}} = bigg(frac{3n+1}{2n+7}bigg)^3.$$

Теперь вычисляем предел полученного выражения. $$L = limlimits_{ntoinfty} bigg(frac{3n+1}{2n+7}bigg)^3 = limlimits_{ntoinfty}frac{(3n+1)^3}{(2n+7)^3}$$

Осталось вынести за скобки $n^3$ одновременно в числетеле и знаменателе. $$L=limlimits_{ntoinfty} frac{n^3(3+frac{1}{n})^3}{n^3(2+frac{7}{n})^3} = limlimits_{ntoinfty} frac{(3+frac{1}{n})^3}{2+frac{7}{n}} = frac{3}{2}.$$

Делаем вывод: так как $L > 1$, то представленный ряд расходится.

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

 

Пример 8
Исследовать сходимость ряда $$sum_{n=1}^infty frac{1}{3^n} bigg(frac{n}{n+1}bigg)^n.$$
Решение

Выписываем общий член ряда и извлекаем из него корень $n$ степени. $$sqrt[n]{frac{1}{3^n} bigg(frac{n}{n+1}bigg)^n} = frac{1}{3}frac{n}{n+1}$$

Вычисляем предел $$L = limlimits_{ntoinfty} frac{1}{3}frac{n}{n+1} = frac{1}{3} cdot 1 = frac{1}{3}.$$

Так как предел меньше единицы $L = frac{1}{3} < 1$, то данный ряд сходится.

Ответ
Ряд сходится

Содержание:

  • Сходящиеся и расходящиеся последовательности
  • Последовательность на бесконечности

Определение

Число $a$ называется пределом последовательности
$left{x_{n}right}$ и обозначается
$lim _{n rightarrow infty} x_{n}=lim _{n} x_{n}=a$,
$x_{n} underset{n rightarrow infty}{longrightarrow} a$

Число $a$ называется пределом
последовательности
$left{x_{n}right}$ , если для
любого $epsilon>0$ существует номер
$n_{0}=n_{0}(epsilon)$ такой, что для любого
$n>n_{0}$ выполняется неравенство
$left|x_{n}-aright| lt epsilon$ :

$lim _{n rightarrow infty} x_{n}=a Leftrightarrow forall epsilon>0, exists n_{0}=n_{0}(epsilon) : forall n>n_{0},left|x_{n}-aright| lt epsilon$

Определение

Целой частью $[x]$ некоторого числа
$x$ называется наибольшее
целое число,
не превосходящее $x$

Пример

Задание. Найти целую часть чисел – 2,36; 2,36; 2.

Решение. $[-2,36]=-3,[2,36]=2,[2]=2$

236

проверенных автора готовы помочь в написании работы любой сложности

Мы помогли уже 4 396 ученикам и студентам сдать работы от решения задач до дипломных на отлично! Узнай стоимость своей работы за 15 минут!

Пример

Задание. Доказать равенство: $lim _{n rightarrow infty} frac{1}{n}=0$

Доказательство. Исходя из определения, 0 будет пределом последовательности
$frac{1}{n}$ , если для любого
$epsilon>0$ найдется такой номер
$n_{0}=n_{0}(epsilon)$, что для любого
$n>n_{0}$ выполняется неравенство
$left|x_{n}-0right| lt epsilon$:

$left|x_{n}-aright|=left|frac{1}{n}-0right|=left|frac{1}{n}right|=frac{|1|}{|n|}=frac{1}{n} lt epsilon Rightarrow n>frac{1}{epsilon}$

В качестве $n_{0}$ возьмем
$n_{0}=left[frac{1}{epsilon}right]+1$

Итак, для любого $n>n_{0}$ указано соответствующее
значение $n_{0}$ , а тогда равенство $lim _{n rightarrow infty} frac{1}{n}=0$ доказано.

Сходящиеся и расходящиеся последовательности

Определение

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

Пример

Задание. Доказать, что последовательность
$x_{n}=(-1)^{n+1}$ не имеет предел.

Доказательство. Пусть $a$ –
предел рассматриваемой последовательности, то есть $lim _{n rightarrow infty} x_{n}=a$.
Рассмотрим $epsilon=frac{1}{10} Rightarrow exists n_{0}=n_{0}(epsilon) in N : n>n_{0} :left|x_{n}-aright| lt epsilon$

Пусть $n=2 k$ :

$left|x_{2 k}-aright| lt frac{1}{10} Rightarrow|-1-a| lt frac{1}{10} Rightarrow|1+a| lt frac{1}{10}$

Пусть $n=2 k+1$ :

$left|x_{2 k+1}-aright| lt frac{1}{10} Rightarrow|1-a| lt frac{1}{10}$

Так как полученные выражения не равны, то данная последовательность предела не имеет.

Постоянная последовательность $left{x_{n}right}={c}$ имеет предел,
равный числу $c$ :
$lim _{n rightarrow infty} x_{n}=lim _{n rightarrow infty} c=c$

Теорема

Сходящаяся последовательность имеет только один предел.

Последовательность на бесконечности

Последовательность $left{x_{n}right}$ имеет бесконечный предел, если
для любого $epsilon>0, exists n_{0} in N : n>n_{0} :$
$x_{n}>epsilon : lim _{n rightarrow infty} x_{n}=infty$

Последовательность $left{x_{n}right}$ называется бесконечно малой,
если $lim _{n rightarrow infty} x_{n}=0$

Последовательность $left{x_{n}right}$ называется бесконечно большой, если
для любого $epsilon>0$ существует номер
$n_{0}$ такое, что для любого
$n>n_{0} :left|x_{n}right|>epsilon$

Теорема

Пусть $lim _{n rightarrow infty} x_{n}=a, lim _{n rightarrow infty} y_{n}=b$ , тогда

а) $lim _{n rightarrow infty}left(x_{n}+y_{n}right)=lim _{n rightarrow infty} x_{n}+lim _{n rightarrow infty} y_{n}=a+b$ ;

б) $lim _{n rightarrow infty}left(x_{n} cdot y_{n}right)=lim _{n rightarrow infty} x_{n} cdot lim _{n rightarrow infty} y_{n}=a cdot b$ ;

в) если $b neq 0$ , то начиная с некоторого номера
заданная последовательность $lim _{n rightarrow infty} frac{x_{n}}{y_{n}}=frac{a}{b}$

Читать дальше: предельный переход в неравенствах.

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

{displaystyle a_{1}+a_{2}+a_{3}+ldots +a_{n}+ldots quad } Краткая запись: sum _{{n=1}}^{{infty }}a_{n}

Здесь {displaystyle a_{1},a_{2},a_{3}dots } — последовательность вещественных или комплексных чисел; эти числа называются членами ряда.

Необходимое условие сходимости рядов[править | править код]

Если с ростом n предел члена ряда {displaystyle lim _{nto infty }a_{n}} не существует или не равен нулю, то ряд расходится[1].

Следовательно, условие {displaystyle lim _{nto infty }a_{n}=0} необходимо (но не достаточно) для сходимости ряда. Другими словами, если это условие не выполнено, то ряд заведомо расходится, однако если оно выполнено, то нет гарантии, что ряд сходится — см., например, гармонический ряд.

Основные признаки сходимости[править | править код]

Ряды с неотрицательными членами[править | править код]

Ряды с неотрицательными членами называют также знакоположительными[2] или просто положительными[3].

Критерий сходимости знакоположительных рядов[править | править код]

Признак сравнения с мажорантой[править | править код]

Заключение о сходимости или расходимости ряда можно сделать на основании почленного сравнения его с другим рядом («мажорантой»), поведение которого уже известно[4].

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

Пример[6]. Докажем сходимость ряда обратных квадратов:

{displaystyle {frac {1}{1^{2}}}+{frac {1}{2^{2}}}+{frac {1}{3^{2}}}+{frac {1}{4^{2}}}+{frac {1}{5^{2}}}+dots }

Для него рядом-мажорантой можно выбрать ряд:

{displaystyle 1+{frac {1}{1cdot 2}}+{frac {1}{2cdot 3}}+{frac {1}{3cdot 4}}+{frac {1}{4cdot 5}}+cdots }

Частичную сумму этого ряда можно представить в виде:

{displaystyle S_{n}=1+left(1-{frac {1}{2}}right)+left({frac {1}{2}}-{frac {1}{3}}right)+left({frac {1}{3}}-{frac {1}{4}}right)+cdots  +left({frac {1}{n-1}}-{frac {1}{n}}right)=2-{1 over n}}

Поэтому ряд сходится, и его сумма равна 2. Следовательно, по признаку сравнения, и ряд обратных квадратов сходится к некоторому числу в интервале {displaystyle (1,2)}.

Признак Раабе[править | править код]

Этот признак сильнее, чем признак Даламбера и радикальный признак Коши[7].

Интегральный признак Коши — Маклорена[править | править код]

Этот признак позволяет с полной определённостью определить, сходится или расходится ряд.

Пусть функция f(x) определена при xgeqslant 1, неотрицательна, монотонно убывает и {displaystyle f(n)=a_{n}}.

Тогда ряд sum _{{n=1}}^{infty }a_{n} и несобственный интеграл:

{displaystyle int limits _{1}^{infty }f(x),dx=lim _{tto infty }int limits _{1}^{t}f(x),dx}

сходятся или расходятся одновременно[9].

Пример[10]. Выясним сходимость ряда для дзета-функции Римана (в вещественном случае):

{displaystyle {frac {1}{1^{s}}}+{frac {1}{2^{s}}}+{frac {1}{3^{s}}}+{frac {1}{4^{s}}}+{frac {1}{5^{s}}}+dots }

Для него порождающая функция имеет вид: {displaystyle 1/x^{s}}. Вычислим интеграл:

{displaystyle int limits _{1}^{infty }{frac {1}{x^{s}}},dx={frac {1}{s-1}},} если s>1, или {displaystyle infty ,} если {displaystyle sleqslant 1.} Вывод: данный ряд сходится при s>1 и расходится при {displaystyle sleqslant 1}.

Признак Гаусса[править | править код]

Признак Куммера[править | править код]

Признак Куммера— чрезвычайно общий и гибкий признак сходимости рядов с положительными членами. Фактически он представляет собой схему для конструирования конкретных признаков[12].

Пусть даны знакоположительный ряд sum _{{n=1}}^{infty }a_{n} и последовательность положительных чисел {c_{n}} такая, что ряд sum _{{n=1}}^{infty }{frac  {1}{c_{n}}} расходится.

Если, начиная с некоторого номера, выполняется неравенство:

{displaystyle K_{n}=c_{n}{frac {a_{n}}{a_{n+1}}}-c_{n+1}geqslant delta ,}

где delta .— положительная постоянная, то ряд sum _{{n=1}}^{infty }a_{n} сходится.

Если же, начиная с некоторого номера, {displaystyle K_{n}leqslant 0,} то ряд расходится.

Чаще на практике применяют предельную форму признака Куммера: находим {displaystyle K=lim _{nto infty }K_{n},} тогда в случае K>0 ряд сходится, а при K<0 — расходится.

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

Знакопеременные ряды[править | править код]

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

Признак Даламбера[править | править код]

Этот признак также известен как критерий Даламбера. Он проще, чем признак Коши, однако слабее — если работает признак Даламбера, то всегда работает и признак Коши, однако существуют ряды, к которым признак Коши примени́м, а признак Даламбера не даёт результатов[13].

Пример[14]. Исследуем сходимость ряда {displaystyle sum _{n=1}^{infty }n!left({frac {x}{n}}right)^{n},} где {displaystyle x>0.} Вычислим предел:

{displaystyle r=lim _{nto infty }left({frac {a_{n+1}}{a_{n}}}right)=lim _{nto infty }{frac {n^{n}x}{(n+1)^{n}}}=lim _{nto infty }{frac {x}{(1+1/n)^{n}}}={frac {x}{e}}}

Следовательно, ряд сходится при {displaystyle x<e} и расходится при {displaystyle x>e.} Случай {displaystyle x=e} следует разобрать отдельно; проверка показывает, что тогда члены ряда не убывают ({displaystyle (1+1/n)^{n}<e}, поэтому {displaystyle {frac {a_{n+1}}{a_{n}}}>1,}) так что и в этом случае ряд расходится.

Радикальный признак Коши[править | править код]

Признак Коши сложнее, однако сильнее, чем признак Даламбера: если признак Даламбера подтверждает сходимость или расходимость ряда, то и признак Коши делает то же, однако обратное неверно[16].

Пример[17]. Исследуем ряд {displaystyle sum _{n=1}^{infty }left({frac {C}{a_{n}}}right)^{n},} где {displaystyle C>0,{a_{n}}} — последовательность положительных чисел, причём {displaystyle lim _{nto infty }a_{n}=A.}

{displaystyle r=lim _{nto infty }{sqrt[{n}]{left({frac {C}{a_{n}}}right)^{n}}}=lim _{nto infty }{frac {C}{a_{n}}}={frac {C}{A}}.}

Согласно признаку Коши, возможны три случая.

Признак Лейбница для знакочередующихся рядов[править | править код]

Этот признак также называют критерий Лейбница.

Пусть для знакочередующегося ряда:

{displaystyle S=sum _{n=1}^{infty }(-1)^{n-1}a_{n}}, где {displaystyle a_{n}geqslant 0},

выполняются следующие условия:

Тогда такой ряд сходится[18].

Признак Абеля[править | править код]

Признак Дирихле[править | править код]

Описанные выше признаки Лейбница и Абеля вытекают из признака Дирихле и поэтому слабее последнего[19].

Признак Бертрана[править | править код]

Вариации и обобщения[править | править код]

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

Теорема. Пусть {displaystyle left{a_{n}right}_{n=1}^{infty }} — последовательность положительных чисел. Тогда бесконечное произведение {displaystyle prod _{n=1}^{infty }(1+a_{n})} сходится тогда и только тогда, когда сходится ряд sum _{{n=1}}^{infty }a_{n}.

Также аналогично, если {displaystyle 0<a_{n}<1}, то {displaystyle prod _{n=1}^{infty }(1-a_{n})} имеет ненулевой предел тогда и только тогда, когда ряд sum _{{n=1}}^{infty }a_{n} сходится. Это можно доказать, логарифмируя произведение[20].

Примечания[править | править код]

  1. Фихтенгольц, 1966, с. 293—294.
  2. Матвеева и др..
  3. Фихтенгольц, 1966, с. 262.
  4. 1 2 Фихтенгольц, 1966, с. 264—266.
  5. Воробьёв, 1979, с. 51—52.
  6. Воробьёв, 1979, с. 52.
  7. Корн Г., Корн Т. Справочник по математике (для научных работников и инженеров). — 2-е изд. — М.: Наука, 1970. — С. 137. — 720 с.
  8. Фихтенгольц, 1966, с. 273—274.
  9. Фихтенгольц, 1966, с. 282—285.
  10. Воробьёв, 1979, с. 61.
  11. 1 2 Фихтенгольц, 1966, с. 279.
  12. Фихтенгольц, 1966, с. 277—279.
  13. Фихтенгольц, 1966, с. 271—272, 275.
  14. Бронштейн И. Н., Семендяев К. А. Справочник по математике для инженеров и учащихся втузов. — изд. 13-е. — М.: Наука, 1985. — С. 274. — 544 с.
  15. Фихтенгольц, 1966, с. 270—271.
  16. Фихтенгольц, 1966, с. 272, 275 (примеры 3, 4).
  17. Фихтенгольц, 1966, с. 274 (пример 1).
  18. Фихтенгольц, 1966, с. 302—303.
  19. 1 2 Фихтенгольц, 1966, с. 307—308.
  20. Belk. Convergence of Infinite Products (26 января 2008). Дата обращения: 21 сентября 2020. Архивировано 31 января 2017 года.

Литература[править | править код]

  • Воробьёв Н. Н. Теория рядов. — 4-е изд. — М.: Наука, 1979. — 408 с. — (Избранные главы высшей математики для инженеров и студентов втузов).
  • Фихтенгольц Г. М. Курс дифференциального и интегрального исчисления. — Изд. 6-е. — М.: Наука, 1966. — Т. 2. — 800 с.

Ссылки[править | править код]

  • Матвеева Т. А., Светличная В. Б., Короткова Н. Н. Числовые ряды. Дата обращения: 22 сентября 2020.
  • Признаки сходимости ряда. Дата обращения: 22 сентября 2020.

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

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

Базовые тезисы

Для начала представим систему: a1, a2…, an,… , где ak∈R, k=1,2….

Для примера, возьмем такие числа, как: 6,3,-32,34,38,-316,… .

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

Числовой ряд – это сумма членов ∑akk=1∞=a1+a2+…+an+… .

Чтобы лучше понять определение, рассмотрим данный случай, в котором q = -0.5: 8-4+2-1+12-14+…=∑k=1∞(-16)·-12k .

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

ak является общим или k–ым членом ряда.

Он выглядит примерно таким образом -16·-12k .

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

Частичная сумма ряда выглядит примерно таким образом Sn=a1+a2+…+an , в которой n –любое число. Sn является n-ой суммой ряда.

Например, ∑k=1∞(-16)·-12k есть S4=8-4+2-1=5 .

S1,S2,…,Sn,… образуют бесконечную последовательность числового ряда.

Для ряда n –ая сумму находится по формуле Sn=a1·(1-qn)1-q=8·1–12n1–12=163·1–12n . Используем следующую последовательность частичных сумм: 8,4,6,5,…,163·1–12n,… .

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

Ряд ∑k=1∞ak является сходящимся тогда, когда последовательность обладает конечным пределом S=lim Snn→+∞ . Если предела нет или последовательность бесконечна, то ряд ∑k=1∞ak называется расходящимся.

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

Суммой сходящегося ряда ∑k=1∞ak является предел последовательности ∑k=1∞ak=lim Snn→+∞=S .

В данном примере lim Snn→+∞=lim 163т→+∞·1-12n=163·lim n→+∞1–12n=163 , ряд ∑k=1∞(-16)·-12k сходится. Сумма равна 163: ∑k=1∞(-16)·-12k=163 .

Пример 1

В качестве примера расходящегося ряда можно привести сумму геометрической прогрессии со знаменателем большем, чем единица: 1+2+4+8+…+2n-1+…=∑k=1∞2k-1.

n-ая частичная сумма определяется выражением Sn=a1·(1-qn)1-q=1·(1-2n)1-2=2n-1, а предел частичных сумм бесконечен: limn→+∞Sn=limn→+∞(2n-1)=+∞.

Еще одим примером расходящегося числового ряда является сумма вида∑k=1∞5=5+5+…. В этом случае n-ая частичная сумма может быть вычислена как Sn=5n. Предел частичных сумм бесконечен limn→+∞Sn=limn→+∞5n=+∞.

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

Сумма подобного вида как ∑k=1∞=1+12+13+…+1n+… – это гармонический числовой ряд.

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

Сумма ∑k=1∞1ks=1+12s+13s+…+1ns+… , где s –действительное число, является обобщенно гармоническим числовым рядом.

Определения, рассмотренные выше, помогут вам для решения большинства примеров и задач.

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

  1. ∑k=1∞1k – расходящийся.

Действуем методом от обратного. Если он сходится, то предел конечен. Можно записать уравнение как limn→+∞Sn=S и limn→+∞S2n=S . После определенных действий мы получаем равенство limn→+∞(S2n-Sn)=0 .

Напротив,

S2n-Sn=1+12+13+…+1n+1n+1+1n+2+…+12n–1+12+13+…+1n=1n+1+1n+2+…+12n

Справедливы следующие неравенства 1n+1>12n, 1n+1>12n,…, 12n-1>12n . Получаем, что S2n-Sn=1n+1+1n+2+…+12n>12n+12n+…+12n=n2n=12 . Выражение S2n-Sn>12 указывает на то, что limn→+∞(S2n-Sn)=0 не достигается. Ряд расходящийся.

  1. b1+b1q+b1q2+…+b1qn+…=∑k=1∞b1qk-1

Необходимо подтвердить, что сумма последовательности чисел сходится при q<1 , и расходится при q≥1 .

Согласно приведенным выше определениям, сумма n членов определяется согласно формуле Sn=b1·(qn-1)q-1 .

Если q<1 верно 

 limn→+∞Sn=limn→+∞b1·qn-1q-1=b1·limn→+∞qnq-1-limn→+∞1q-1==b1·0-1q-1=b1q-1

Мы доказали, что числовой ряд сходится.

При q = 1 b1+b1+b1+…∑k=1∞b1 . Суммы можно отыскать с использованием формулы Sn=b1·n , предел бесконечен limn→+∞Sn=limn→+∞b1·n=∞. В представленном варианте ряд расходится.

Если q = -1, то ряд выглядит как b1-b1+b1-…=∑k=1∞b1(-1)k+1 . Частичные суммы выглядят как Sn=b1 для нечетных n, и Sn=0 для четных n. Рассмотрев данный случай, мы удостоверимся, что предела нет и ряд является расходящимся.

При q>1 справедливо limn→+∞Sn=limn→+∞b1·(qn-1)q-1=b1·limn→+∞qnq-1-limn→+∞1q-1==b1·∞-1q-1=∞

Мы доказали, что числовой ряд расходится.

  1. Ряд ∑k=1∞1ks сходится, если s > 1 и расходится, если s≤ 1 .

Для s = 1 получаем ∑k=1∞1k , ряд расходится.

При s < 1 получаем 1ks≥1k для k, натурального числа. Так как ряд является расходящимся ∑k=1∞1k , то предела нет. Следуя этому, последовательность ∑k=1∞1ks неограниченна. Делаем вывод, что выбранный ряд расходится при s < 1.

Необходимо предоставить доказательства, что ряд ∑k=1∞1ks сходится при s > 1.

Представим S2n-1-Sn-1 :

S2n-1-Sn-1=1+12s+13s+…+1(n-1)s+1ns+1(n+1)s+…+1(2n-1)s–1+12s+13s+…+1(n-1)s=1ns+1(n+1)s+…+1(2n-1)s

Допустим, что 1(n+1)s<1ns, 1(n+2)s<1ns, …, 1(2n-1)s<1ns , тогда S2n-1-Sn-1=1ns+1(n+1)s+…+1(2n-1)s<<1ns+1ns+…+1ns=nns=1ns-1

Представим уравнение для чисел, которые являются натуральными и четными n=2:   S2n-1-Sn-1=S3-S1=12s+13s<12s-1n=4:   S2n-1-Sn-1=S7-S3=14s+15s+16s+17s<14s-1=12s-12n=8:  S2n-1-Sn-1=S15-S7=18s+19s+…+115s<18s-1=12s-13…

Получаем:

∑k=1∞1ks=1+12s+13s+14s+…+17s+18s+…+115s+…==1+S3-S1+S7-S3+S15+S7+…<<1+12s-1+12s-12+12s-13+…

Выражение 1+12s-1+12s-12+12s-13+… – это сумма геометрической прогрессии q=12s-1 . Согласно исходным данным при s>1, то0<q<1 . Получаем, ∑k=1∞<1+12s-1+12s-12+12s-13+…=11-q=11-12s-1 . Последовательность ряда при s > 1 увеличивается и ограничивается сверху 11-12s-1 . Представим, что есть предел и ряд является сходящимся ∑k=1∞1ks .

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

Ряд ∑k=1∞ak знакоположителен в том случае, если его члены >0 ak>0, k=1,2,… .

Ряд ∑k=1∞bk знакочередующийся, если знаки чисел отличаются. Данный пример представлен как∑k=1∞bk=∑k=1∞(-1)k·ak или ∑k=1∞bk=∑k=1∞(-1)k+1·ak , где ak>0, k=1,2, … .

Ряд ∑k=1∞bk знакопеременный, так как в нем множество чисел, отрицательных и положительных.

Второй вариант ряд – это частный случай третьего варианта.

Приведем примеры для каждого случая соответственно:

 6+3+32+34+38+316+…6-3+32-34+38-316+…6+3-32+34+38-316+…

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

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

Знакочередующийся ряд ∑k=1∞bk абсолютно сходится в том случае, когда ∑k=1∞bk также считается сходящимся.

Подробно разберем несколько характерных вариантов

Пример 2

Если ряды 6-3+32-34+38-316+… и 6+3-32+34+38-316+… определяются как сходящиеся, то верно считать, что 6+3+32+34+38+316+…

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

Знакопеременный ряд ∑k=1∞bk считается условно сходящимся в том случае, если ∑k=1∞bk – расходящийся, а ряд ∑k=1∞bk считается сходящимся.

Пример 3

Подробно разберем вариант ∑k=1∞(-1)k+1k=1-12+13-14+… . Ряд ∑k=1∞(-1)k+1k=∑k=1∞1k , который состоит из абсолютных величин, определяется как расходящийся. Этот вариант считается сходящимся, так как это легко определить. Из данного примера мы узнаем, что ряд ∑k=1∞(-1)k+1k=1-12+13-14+… будет считаться условно сходящимся.

Особенности сходящихся рядов

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

  1. Если ∑k=1∞ak будет сходится, то и ряд ∑k=m+1∞ak также признается сходящимся. Можно отметить, что ряд без m членов также считается сходящимся. В случае, если мы добавляем к ∑k=m+1∞ak несколько чисел, то получившийся результат также будет сходящимся.
  2. Если ∑k=1∞ak сходится и сумма = S, то сходится и ряд ∑k=1∞A·ak , ∑k=1∞A·ak=A·S , где A –постоянная.
  3. Если ∑k=1∞ak и ∑k=1∞bk являются сходящимися , суммы A и B тоже, то и ряды ∑k=1∞ak+bk и ∑k=1∞ak-bk также сходятся . Суммы будут равняться A + B и A – B соответственно.
Пример 4

Определить, что ряд сходится ∑k=1∞23k·k3 .

Изменим выражение ∑k=1∞23k·k3=∑k=1∞23·1k43 . Ряд ∑k=1∞1k43 считается сходящимся, так как ряд ∑k=1∞1ks сходится при s > 1. В соответствии со вторым свойством, ∑k=1∞23·1k43 .

Пример 5

Определить, сходится ли ряд ∑n=1∞3+nn52 .

Преобразуем изначальный вариант ∑n=1∞3+nn52=∑n=1∞3n52+nn2=∑n=1∞3n52+∑n=1∞1n2 .

Получаем сумму ∑n=1∞3n52 и ∑n=1∞1n2 . Каждый ряд признается сходящимся согласно свойству. Так, как ряды сходятся, то исходный вариант тоже.

Пример 6

Вычислить, сходится ли ряд 1-6+12-2+14-23+18-29+… и вычислить сумму.

Разложим исходный вариант:

 1-6+12-2+14-23+18-29+…==1+12+14+18+…-2·3+1+13+19+…==∑k=1∞12k-1-2·∑k=1∞13k-2

Каждый ряд сходится, так как является одним из членов числовой последовательности. Согласно третьему свойству, мы можем вычислить, что исходный вариант также является сходящимся. Вычисляем сумму: Первый член ряда ∑k=1∞12k-1 =1 , а знаменатель =0.5, за этим следует, ∑k=1∞12k-1=11-0.5=2 . Первый член ∑k=1∞13k-2=3, а знаменатель убывающей числовой последовательности=13. Получаем:∑k=1∞13k-2=31-13=92 .

Используем выражения, полученные выше, для того, чтобы определить сумму 1-6+12-2+14-23+18-29+…=∑k=1∞12k-1-2·∑k=1∞13k-2=2-2·92=-7

Необходимое условие для определения, является ли ряд сходящимся

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

Если ряд ∑k=1∞ak является сходящимся, то предел его k-ого члена =0: limk→+∞ak=0 .

Если мы проверим любой вариант, то нужно не забывать о непременном условии. Если оно не выполняется, то ряд расходится. Если limk→+∞ak≠0 , то ряд расходящийся.

Следует уточнить, что условие важно, но не достаточно. Если равенство limk→+∞ak=0 выполняется , то это не гарантирует, что ∑k=1∞ak является сходящимся.

Приведем пример. Для гармонического ряда ∑k=1∞1k условие выполняется limk→+∞1k=0 , но ряд все равно расходится.

Пример 7

Определить сходимость ∑n=1∞n21+n .

Проверим исходное выражение на выполнение условияlimn→+∞n21+n=limn→+∞n2n21n2+1n=limn→+∞11n2+1n=1+0+0=+∞≠0

Предел n-ого члена не равен 0. Мы доказали, что данный ряд расходится.

Как определить сходимость знакоположительного ряда.

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

Для сходимости знакоположительного ∑k=1∞ak, ak>0 ∀k=1,2,3,… нужно определять ограниченную последовательность сумм.

Как сравнивать ряды

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

Первый признак

∑k=1∞ak и∑k=1∞bk – знакоположительные ряды. Неравенство ak≤bk справедливо для k = 1, 2, 3, … Из этого следует, что из ряда ∑k=1∞bk мы можем получить∑k=1∞ak . Так как ∑k=1∞ak расходится, то ряд∑k=1∞bk можно определить как расходящийся.

Данное правило постоянно используется для решения уравнений и является серьезным аргументом, которое поможет определить сходимость. Сложности могут состоять в том, что подобрать подходящий пример для сравнения можно найти далеко не в каждом случае. Довольно часто ряд выбирается по принципу, согласно которому показатель k-ого члена будет равняться результату вычитания показателей степеней числителя и знаменателя k-ого члена ряда. Допустим, что ak=k2+34k2+5 , разность будет равна 2 – 3 = -1. В данном случае можно определить, что для сравнения необходим ряд с k-ым членом bk=k-1=1k , который является гармоническим.

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

Пример 8

Определить, каким является ряд ∑k=1∞1k-12 .

Так как предел =0 limk→+∞1k-12=0 , мы выполнили необходимое условие. Неравенство будет справедливым1k<1k-12 для k, которые являются натуральными. Из предыдущих пунктов мы узнали, что гармонический ряд ∑k=1∞1k – расходящийся. Согласно первому признаку, можно доказать, что исходный вариант является расходящимся.

Пример 9

Определить, является ряд сходящимся или расходящимся∑k=1∞1k3+3k-1 .

В данном примере выполняется необходимое условие, так как limk→+∞1k3+3k-1=0 . Представляем в виде неравенства 1k3+3k-1<1k3 для любого значения k. Ряд ∑k=1∞1k3 является сходящимся, так как гармонический ряд ∑k=1∞1ks сходится при s > 1. Согласно первому признаку, мы можем сделать вывод, что числовой ряд является сходящимся.

Пример 10

Определить, является каким является ряд ∑k=3∞1kln(ln k) .limk→+∞1kln(ln k)=1+∞+∞=0 .

В данном варианте можно отметить выполнение нужного условия. Определим ряд для сравнения. Например, ∑k=1∞1ks . Чтобы определить, чему равна степень, расммотрим последовательность {ln(ln k)},  k=3,4,5…. Члены последовательности ln (ln 3),   ln (ln 4),   ln (ln 5), … увеличивается до бесконечности. Проанализировав уравнение, можно отметить, что, взяв в качестве значения N = 1619, то члены последовательности >2. Для данной последовательности будет справедливо неравенство 1kln(ln k)<1k2 . Ряд ∑k=N∞1k2 сходится согласно первому признаку, так как ряд ∑k=1∞1k2 тоже сходящийся. Отметим, что согласно первому признаку ряд ∑k=N∞1kln(ln k) сходящийся. Можно сделать вывод, что ряд ∑k=3∞1kln(ln k) также сходящийся.

Второй признак

Допустим, что ∑k=1∞ak и ∑k=1∞bk – знакоположительные числовые ряды.

Если limk→+∞akbk≠∞ , то ряд ∑k=1∞bk сходится, и ∑k=1∞ak сходится также.

Если limk→+∞akbk≠0 , то так как ряд ∑k=1∞bk расходится, то ∑k=1∞ak также расходится.

Если limk→+∞akbk≠∞ и limk→+∞akbk≠0 , то сходимость или расходимость ряда означает сходимость или расходимость другого.

Рассмотрим ∑k=1∞1k3+3k-1 с помощью второго признака. Для сравнения ∑k=1∞bk возьмем сходящийся ряд∑k=1∞1k3 . Определим предел: limk→+∞akbk=limk→+∞1k3+3k-11k3=limk→+∞k3k3+3k-1=1

Согласно второму признаку можно определить, что сходящийся ряд∑k=1∞1k3 означается, что первоначальный вариант также сходится.

Пример 11

Определить, каким является ряд ∑n=1∞k2+34k3+5 .

Проанализируем необходимое условие limk→∞k2+34k3+5=0 , которое в данном варианте выполняется. Согласно второму признаку, возьмем ряд ∑k=1∞1k. Ищем предел: limk→+∞k2+34k3+51k=limk→+∞k3+3k4k3+5=14

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

Третий признак

Рассмотрим третий признак сравнения.

Допустим, что ∑k=1∞ak и _∑k=1∞bk – знакоположительные числовые ряды. Если условие выполняется для некого номера ak+1ak≤bk+1bk , то сходимость данного ряда∑k=1∞bk означает, что ряд ∑k=1∞ak также является сходящимся. Расходящийся ряд ∑k=1∞ak влечет за собой расходимость ∑k=1∞bk .

Признак Даламбера

Представим, что ∑k=1∞ak – знакоположительный числовой ряд. Если limk→+∞ak+1ak<1, то ряд является сходящимся, если limk→+∞ak+1ak>1 , то расходящимся.

Замечание 1

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

Если limk→+∞ak+1ak=-∞ , то ряд является сходящимся, если limk→∞ak+1ak=+∞ , то расходящимся.

Если limk→+∞ak+1ak=1 , то признак Даламбера не поможет и потребуется провести еще несколько исследований.

Пример 12

Определить, является ряд сходящимся или расходящимся ∑k=1∞2k+12k по признаку Даламбера.

Необходимо проверить, выполняется ли необходимое условие сходимости. Вычислим предел, воспользовавшись правилом Лопиталя: limk→+∞2k+12k=∞∞=limk→+∞2k+1’2k’=limk→+∞22k·ln 2=2+∞·ln 2=0

Мы можем увидеть, что условие выполняется. Воспользуемся признаком Даламбера: limk→+∞=limk→+∞2(k+1)+12k+12k+12k=12limk→+∞2k+32k+1=12<1

Ряд является сходящимся.

Пример 13

Определить, является ряд расходящимся ∑k=1∞kkk! .

Воспользуемся признаком Даламбера для того, чтобы определить рассходимость ряда: limk→+∞ak+1ak=limk→+∞(k+1)k+1(k+1)!kkk!=limk→+∞(k+1)k+1·k!kk·(k+1)!=limk→+∞(k+1)k+1kk·(k+1)==limk→+∞(k+1)kkk=limk→+∞k+1kk=limk→+∞1+1kk=e>1

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

Радикальный признак Коши

Допустим, что ∑k=1∞ak – это знакоположительный ряд. Еслиlimk→+∞akk<1 , то ряд является сходящимся, если limk→+∞akk>1 , то расходящимся.

Замечание 2

Данный признак будет считаться справедливым только в том случае, если предел бесконечен. Другими словами, если limk→+∞akk=-∞, то ряд сходится, если limk→+∞akk=+∞ , то ряд расходится.

Еслиlimk→+∞akk=1 , то данный признак не дает никакой информации – требуется проведение дополнительного анализа.

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

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

Пример 14

Определить, является ли знакоположительный ряд ∑k=1∞1(2k+1)k на сходящимся.

Нужное условие считается выполненным, так как limk→+∞1(2k+1)k=1+∞+∞=0 .

Согласно признаку, рассмотренному выше, получаем limk→+∞akk=limk→+∞1(2k+1)kk=limk→+∞12k+1=0<1 . Данный ряд является сходимым.

Пример 15

Сходится ли числовой ряд ∑k=1∞13k·1+1kk2 .

Используем признак, описанный в предыдущем пункте limk→+∞13k·1+1kk2k=13·limk→+∞1+1kk=e3<1 , следовательно, числовой ряд сходится.

Интегральный признак Коши

Допустим, что ∑k=1∞ak является знакоположительным рядом. Необходимо обозначить функцию непрерывного аргумента y = f(x), которая совпадаетan= f(n) . Если y = f(x) больше нуля, не прерывается и убывает на [a; +∞) , где a≥1

, то в случае, если несобственный интеграл ∫a+∞f(x)dx является сходящимся, то рассматриваемый ряд также сходится. Если же он расходится, то в рассматриваемом примере ряд тоже расходится.

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

Пример 16

Рассмотреть пример ∑k=2∞1k·ln k на сходимость.

Условие сходимости ряда считается выполненным, так как limk→+∞1k·ln k=1+∞=0 . Рассмотрим y=1x·ln x . Она больше нуля, не прерывается и убывает на [2; +∞) . Первые два пункта доподлинно известны, а вот на третьем следует остановиться подробнее. Находим производную: y’=1x·ln x’=x·ln x’x·ln x2=ln x+x·1xx·ln x2=-ln x+1x·ln x2 . Она меньше нуля на [2; +∞) . Это доказывает тезис о том, что функция является убывающей.

Собственно, функция y=1x·ln x соответствует признакам принципа, который мы рассматривали выше. Воспользуемся им: ∫2+∞dxx·ln x=limA→+∞∫2Ad(ln x)ln x=limA→+∞ln(ln x)2A==limA→+∞(ln(ln A)-ln(ln 2))=ln(ln(+∞))-ln(ln 2)=+∞

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

Пример 17

Докажите сходимость ряда ∑k=1∞1(10k-9)(ln(5k+8))3 .

Так как limk→+∞1(10k-9)(ln(5k+8))3=1+∞=0 , то условие считается выполненным.

Начиная с k=4, верное выражение 1(10k-9)(ln(5k+8))3<1(5k+8)(ln(5k+8))3 .

Если ряд∑k=4∞1(5k+8)(ln(5k+8))3 будет считаться сходящимся, то, согласно одному из принципов сравнения, ряд ∑k=4∞1(10k-9)(ln(5k+8))3 также будет считаться сходящимся. Таким образом, мы сможет определить, что исходное выражение также является сходящимся.

Перейдем к доказательству ∑k=4∞1(5k+8)(ln(5k+8))3 .

Так как функция y=15x+8(ln(5x+8))3 больше нуля, не прерывается и убывает на [4; +∞) . Используем признак, описанный в предыдущем пункте:

∫4+∞dx(5x+8)(ln(5x+8))3=limA→+∞∫4Adx(5x+8)(ln(5x+8))3==15·limA→+∞∫4Ad(ln(5x+8)(ln(5x+8))3=-110·limA→+∞1(ln(5x+8))2|4A==-110·limA→+∞1(ln(5·A+8))2-1(ln(5·4+8))2==-110·1+∞-1(ln 28)2=110·ln 282

В полученном сходящемся ряде, ∫4+∞dx(5x+8)(ln(5x+8))3 , можно определить, что ∑k=4∞1(5k+8)(ln(5k+8))3 также сходится.

Признак Раабе

Допустим, что ∑k=1∞ak – знакоположительный числовой ряд.

Если limk→+∞k·akak+1<1 , то ряд расходится, еслиlimk→+∞k·akak+1-1>1 , то сходится.

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

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

Для исследования берем ∑k=1∞bk . Используем знакоположительный ∑k=1∞bk . Мы можем использовать любой из подходящих признаков, которые мы описывали выше. Если ряд ∑k=1∞bk сходится, то исходный ряд является абсолютно сходящимся.

Пример 18

Исследовать ряд ∑k=1∞(-1)k3k3+2k-1 на сходимость ∑k=1∞(-1)k3k3+2k-1=∑k=1∞13k3+2k-1 .

Условие выполняется limk→+∞13k3+2k-1=1+∞=0 . Используем ∑k=1∞1k32 и воспользуемся вторым признаком: limk→+∞13k3+2k-11k32=13 .

Ряд ∑k=1∞(-1)k3k3+2k-1 сходится. Исходный ряд также абсолютно сходящийся.

Расходимость знакопеременных рядов

Если ряд ∑k=1∞bk – расходящийся, то соответствующий знакопеременный ряд ∑k=1∞bk либо расходящийся, либо условно сходящийся.

Лишь признак Даламбера и радикальный признак Коши помогут сделать выводы о ∑k=1∞bk по расходимости из модулей ∑k=1∞bk . Ряд ∑k=1∞bk также расходится, если не выполняется необходимое условие сходимости, то есть, если limk→∞+bk≠0 .

Пример 19

Проверить расходимость 17,272,-673,2474,12075-72076, … .

Модуль k-ого члена представлен как bk=k!7k .

Исследуем ряд ∑k=1∞bk=∑k=1∞k!7k на сходимость по признаку Даламбера: limk→+∞bk+1bk=limk→+∞(k+1)!7k+1k!7k=17·limk→+∞(k+1)=+∞ .

∑k=1∞bk=∑k=1∞k!7k расходится так же, как и исходный вариант.

Пример 20

Является ли ∑k=1∞(-1)k·k2+1ln(k+1) сходящимся.

Рассмотрим на необходимое условие limk→+∞bk=limk→+∞k2+1ln(k+1)=∞∞=limk→+∞=k2+1′(ln(k+1))’==limk→+∞2k1k+1=limk→+∞2k(k+1)=+∞ . Условие не выполнено, поэтому ∑k=1∞(-1)k·k2+1ln(k+1) ряд расходящийся. Предел был вычислен по правилу Лопиталя.

Признаки для условной сходимости

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

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

Если величины членов знакочередующегося ряда убывают b1>b2>b3>…>… и предел модуля =0 при k→+∞ , то ряд ∑k=1∞bk сходится.

Пример 17

Рассмотреть ∑k=1∞(-1)k2k+15k(k+1) на сходимость.

Ряд представлен как ∑k=1∞(-1)k2k+15k(k+1)=∑k=1∞2k+15k(k+1) . Нужное условие выполняется limk→+∞=2k+15k(k+1)=0 . Рассмотрим ∑k=1∞1k по второму признаку сравнения limk→+∞2k+15k(k+1)1k=limk→+∞2k+15(k+1)=25

Получаем, что ∑k=1∞(-1)k2k+15k(k+1)=∑k=1∞2k+15k(k+1) расходится. Ряд ∑k=1∞(-1)k2k+15k(k+1) сходится по признаку Лейбница: последовательность2·1+15·1·11+1=310, 2·2+15·2·(2+1)=530, 2·3+15·3·3+1, … убывает и limk→+∞=2k+15k(k+1)=0 .

Ряд условно сходится.

Признак Абеля-Дирихле

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

∑k=1+∞uk·vk сходится в том случае, если {uk} не возрастает, а последовательность ∑k=1+∞vk ограничена.

Пример 17

Исследуйте 1-32+23+14-35+13+17-38+29+… на сходимость.

Представим

1-32+23+14-35+13+17-38+29+…=1·1+12·(-3)+13·2+14·1+15·(-3)+16·=∑k=1∞uk·vk

где {uk}=1, 12, 13, … – невозрастающая, а последовательность {vk}=1, -3 , 2, 1, -3, 2, … ограничена {Sk}=1, -2, 0, 1, -2, 0, … . Ряд сходится.

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

  • Определение сходимости ряда. Сумма ряда
  • Признаки сходимости и расходимости числовых рядов
    • Необходимый признак сходимости и критерий Коши
    • Признак сравнения
    • Предельный признак сравнения
    • Признак Даламбера
    • Признак Коши
    • Интегральный признак Коши

Определение сходимости ряда. Сумма ряда


Числовой ряд

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

имеет предел при

. Величина

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

остатком ряда.

Если предел

не существует, то ряд называется расходящимся.


Пример 1

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

Решение

Преобразуем выражение под
знаком суммы:

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

 и

ряд сходится

Признаки сходимости и расходимости числовых рядов


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

Если ряд сходится, то

Обратное утверждение неверно

Критерий Коши

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

 можно подобрать такое

,
чтобы при

 и любом положительном

 выполнялось неравенство

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

ВКонтакте
WhatsApp
Telegram

Мгновенная связь в любое время и на любом этапе заказа. Общение без посредников. Удобная и быстрая оплата переводом на карту СберБанка. Опыт работы более 25 лет.

Подробное решение в электронном виде (docx, pdf) получите точно в срок или раньше.

Сходимость или расходимость ряда не нарушится, если прибавить или
отбросить конечное число его членов.


Пример 2

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

Решение

Воспользуемся
необходимым признаком сходимости:

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

Признак сравнения

Если

,
начиная с некоторого

,
и ряд

сходится, то ряд

также сходится. Если ряд (**) расходится,
то расходится и ряд (*).

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

которая сходится при

 и расходится при

,
и гармонический ряд

являющийся рядом расходящимся.


Пример 3

Решение

Этот ряд сходится, так как

Причем геометрическая прогрессия

знаменатель которой

,
сходится

Предельный признак сравнения

Если существует конечный и отличный от нуля предел

(в частности, если

,
то ряды

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


Пример 4

Ряд

Решение

Сравним заданный ряд с расходящимся гармоническим рядом

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

Признак Даламбера

Пусть

 (начиная с некоторого

)
и существует предел

Тогда ряд

сходится, если

,
и расходится, если

.
Если

,
то вопрос о сходимости ряда остается открытым.


Пример 5

Решение

Воспользуемся признаком
Даламбера

Ряд
сходится

Признак Коши

Пусть

 (начиная с некоторого

)
и существует предел

Тогда ряд

сходится, если

,
и расходится, если

.
Если

,
то вопрос о сходимости ряда остается открытым.


Пример 6

Решение

Воспользуемся признаком
Коши:

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

Интегральный признак Коши

Если

,
где функция

 положительна, монотонно убывает и непрерывна
при

,
то ряд

и интеграл

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

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

сходится, если

,
и расходится, если

.
Сходимость многих рядов можно исследовать при помощи сравнения с
соответствующим рядом Дирихле.


Пример 7

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

Решение

Используем интегральный признак Коши.

Соответствующий интеграл:

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

Добавить комментарий