previous contents next
7.2.3 Схема Куммера и следствия из нее: признаки Даламбера, Раабе, Бертрана, Гаусса.
Теорема 7.2.5: Схема Куммера.
Если ряд $\sum_{n=1}^\infty{a}_n$ такой, что для любого $n\in\mathbb{N}$ $a_n>0$, последовательность $\{c_n\}$ такая, что для любого $n\in\mathbb{N}$
$c_n>0$ и ряд $\sum_{n=1}^\infty\frac1{c_n}$ расходится, для любого $n\in\mathbb{N}$ $K_n:=c_n\frac{a_n}{a_{n+1}}-c_{n+1}$, тогда
- если существуют $\delta>0$, $n_0\in\mathbb{N}$ такие, что для любого $n>n_0$ $K_n\geq\delta$, то ряд $\sum_{n=1}^\infty{a}_n$ сходится,
- если существует $n_0\in\mathbb{N}$ такое, что для любого $n>n_0$ $K_n\leq0$, то ряд $\sum_{n=1}^\infty{a}_n$ расходится.
Доказательство:
-
Так как
$$\exists\delta>0,\exists{n}_0\in\mathbb{N}:\forall{n}>n_0\left(K_n=c_n\frac{a_n}{a_{n+1}}-c_{n+1}\geq\delta\right)\Rightarrow
\forall{n}>n_0(c_na_n-c_{n+1}a_{n+1}\geq{a}_{n+1}\delta>0)$$
то последовательность, $\{c_na_n\}$ убывает и ограничена снизу нулем, так как по условию для любого $n\in\mathbb{N}$ $c_n>0$ и $a_n>0$.
Следовательно, существует конечный предел $A:=\displaystyle\lim_{n\to\infty}(a_nc_n)$.
Рассмотрим ряд $\sum_{n=1}^\infty{b}_n$ такой, что для любого $n\in\mathbb{N}$ $b_n=c_na_n-c_{n+1}a_{n+1}$, тогда
$$S_n^{(b)}=\sum_{k=1}^nb_n=\sum_{k=1}^n(c_na_n-c_{n+1}a_{n+1})=c_1a_1-c_{n+1}a_{n+1}\Rightarrow\exists\lim_{n\to\infty}S_n^{(b)}=c_1a_1-A$$
То есть ряд $\sum_{n=1}^\infty{b}_n$ сходится и так как для любого $n\in\mathbb{N}$ $0<a_{n+1}\delta\leq{b}_n$,
следовательно, ряд $\sum_{n=1}^\infty(a_{n+1}\delta)$ сходится и сходится ряд $\sum_{n=1}^\infty{a}_n$.
-
Так как
$$\exists{n}_0\in\mathbb{N}:\forall{n}>n_0\left(K_n=c_n\frac{a_n}{a_{n+1}}-c_{n+1}\leq0\right)\Rightarrow
\forall{n}>n_0\left(\frac{a_n}{a_{n+1}}\leq\frac{c_{n+1}}{c_n}\right)\Rightarrow
\forall{n}>n_0\left(\frac{a_{n+1}}{a_n}\geq\frac{c_n}{c_{n+1}}=\frac{\frac1{c_{n+1}}}{\frac1{c_n}}\right)$$
Так как знакопостоянный ряд $\sum_{n=1}^\infty\frac1{c_n}$ расходится, то расходится и ряд
$\sum_{n=1}^\infty{a}_n$.
Следствие 7.2.7: Допредельная форма признака Даламбера.
Если ряд $\sum_{n=1}^\infty{a}_n$ такой, что для любого $n\in\mathbb{N}$ $a_n>0$, тогда
-
если существуют $\delta>0$, $n_0\in\mathbb{N}$ такие, что для любого $n>n_0$ $\frac{a_n}{a_{n+1}}-1\geq\delta$, то ряд $\sum_{n=1}^\infty{a}_n$
сходится.
- если существует $n_0\in\mathbb{N}$ такое, что для любого $n>n_0$ $\frac{a_n}{a_{n+1}}\leq1$, то ряд $\sum_{n=1}^\infty{a}_n$ расходится.
Доказательство: Если для любого $n\in\mathbb{N}$ положить $c_n=1$, то ряд $\sum_{n=1}^\infty\frac1{c_n}$ расходится, значит можем применить схему
Куммера, тогда $K_n=c_n\frac{a_n}{a_{n+1}}-c_{n+1}=\frac{a_n}{a_{n+1}}-1$ и утверждение следует из утверждения схемы Куммера.
Данное утверждение следует так же из признака Даламбера. Действительно, пусть существует предел
$\displaystyle\lim_{n\to\infty}\frac{a_{n+1}}{a_n}=q$, тогда
-
$q<1\Rightarrow\exists\delta:=\frac{1-q}{2q}>0\wedge{q}=\frac1{1+2\delta}$
Положим $\varepsilon:=\frac1{1+\delta}-\frac1{1+2\delta}=\frac{\delta}{(1+\delta)(1+2\delta)}>0$ тогда по
определению предела последовательности
$$\lim_{n\to\infty}\frac{a_{n+1}}{a_n}=q\Rightarrow
\exists{n}_0\in\mathbb{N}:\forall{n}>n_0\left(\left|\frac{a_{n+1}}{a_n}-q\right|<\varepsilon\right)\Rightarrow
\forall{n}>n_0\left(\frac{a_{n+1}}{a_n}<q+\varepsilon=\frac1{1+2\delta}+\varepsilon=\frac1{1+\delta}\right)\Rightarrow
\forall{n}>n_0\left(\frac{a_n}{a_{n+1}}-1\geq\delta\right)$$
-
$q>1\Rightarrow\exists\varepsilon>0:q-\varepsilon>1$
Тогда по определению предела последовательности
$$\lim_{n\to\infty}\frac{a_{n+1}}{a_n}=q\Rightarrow
\exists{n}_0\in\mathbb{N}:\forall{n}>n_0\left(\left|\frac{a_{n+1}}{a_n}-q\right|<\varepsilon\right)\Rightarrow
\forall{n}>n_0\left(\frac{a_{n+1}}{a_n}>q-\varepsilon>1\right)\Rightarrow\forall{n}>n_0\left(\frac{a_n}{a_{n+1}}-1\leq0\right)$$
Следствие 7.2.8: Допредельная форма признака Раабе.
Если ряд $\sum_{n=1}^\infty{a}_n$ такой, что для любого $n\in\mathbb{N}$ $a_n>0$, тогда
-
если существуют $\delta>0$, ${n}_0\in\mathbb{N}$ такие, что для любого $n>n_0$ $n\left(\frac{a_n}{a_{n+1}}-1\right)\geq1+\delta$,
то ряд $\sum_{n=1}^\infty{a}_n$ сходится,
-
если существует $n_0\in\mathbb{N}$ такое, что для любого $n>n_0$ $n\left(\frac{a_n}{a_{n+1}}-1\right)\leq1$, то ряд $\sum_{n=1}^\infty{a}_n$ расходится.
Доказательство: Если для любого $n\in\mathbb{N}$ положить $c_n=n$, то ряд $\sum_{n=1}^\infty\frac1{c_n}=\sum_{n=1}^\infty\frac1{n}$
расходится, значит можем применить схему Куммера, тогда
$$K_n=c_n\frac{a_n}{a_{n+1}}-c_{n+1}=n\frac{a_n}{a_{n+1}}-n-1=n\left(\frac{a_n}{a_{n+1}}-1\right)-1$$
и утверждение следует из утверждения схемы Куммера.
Следствие 7.2.9: Предельная форма признака Раабе.
Если ряд $\sum_{n=1}^\infty{a}_n$ такой, что для любого $n\in\mathbb{N}$ $a_n>0$ и
$\displaystyle\lim_{n\to\infty}\left(n\left(\frac{a_n}{a_{n+1}}-1\right)\right)=p$, тогда
- если $p>1$, то ряд $\sum_{n=1}^\infty{a}_n$ сходится,
- если $p<1$, то ряд $\sum_{n=1}^\infty{a}_n$ расходится.
Доказательство: Предельная форма признака Раабе сводится к допредельной форме.
-
$p>1\Rightarrow\exists\delta>0:p=1+2\delta$
Тогда по определению предела последовательности
$$\lim_{n\to\infty}\left(n\left(\frac{a_n}{a_{n+1}}-1\right)\right)=p\Rightarrow
\exists{n}_0\in\mathbb{N}:\forall{n}>n_0\left(\left|n\left(\frac{a_n}{a_{n+1}}-1\right)-p\right|<\delta\right)\Rightarrow
\forall{n}>n_0\left(n\left(\frac{a_n}{a_{n+1}}-1\right)>p-\delta=1+\delta\right)$$
Следовательно, ряд $\sum_{n=1}^\infty{a}_n$ сходится по следствию 7.2.8.
-
$p<1\Rightarrow\exists\varepsilon>0:p+\varepsilon<1$
Тогда по определению предела последовательности.
$$\lim_{n\to\infty}\left(n\left(\frac{a_n}{a_{n+1}}-1\right)\right)=p\Rightarrow
\exists{n}_0\in\mathbb{N}:\forall{n}>n_0\left(\left|n\left(\frac{a_n}{a_{n+1}}-1\right)-p\right|<\delta\right)\Rightarrow
\forall{n}>n_0\left(n\left(\frac{a_n}{a_{n+1}}-1\right)<p+\varepsilon<1\right)$$
Следовательно, ряд $\sum_{n=1}^\infty{a}_n$ расходится по следствию 7.2.8.
Следствие 7.2.10: Признак Бертрана (промежуточный результат необходимый для доказательства признака Гаусса).
Если ряд $\sum_{n=1}^\infty{a}_n$ и последовательность $\{B_n\}$ такие, что для любого $n\in\mathbb{N}$ $a_n>0$,
$\displaystyle{B}_n=\left(n\left(\frac{a_{n+1}}{a_n}-1\right)-1\right)\ln{n}$ и $\displaystyle\lim_{n\to\infty}B_n=B$, тогда
- если $B>1$, то ряд $\sum_{n=1}^\infty{a}_n$ сходится,
- если $B<1$, то ряд $\sum_{n=1}^\infty{a}_n$ расходится.
Доказательство: Для любого $n\in\mathbb{N}$ положим $c_n=n\ln{n}$, тогда ряд $\sum_{n=1}^\infty\frac1{c_n}$
расходится по признаку Коши-Маклорена. Следовательно, можем применить
схему Куммера, тогда
$$K_n=c_n\frac{a_n}{a_{n+1}}-c_{n+1}=n\ln{n}\frac{a_n}{a_{n+1}}-(n+1)\ln(n+1)=n\ln{n}\frac{a_n}{a_{n+1}}-(n+1)(\ln(n+1)-\ln{n})-(n+1)\ln{n}=$$
$$\left(n\left(\frac{a_n}{a_{n+1}}-1\right)-1\right)\ln{n}-\ln\left(\frac{n+1}{n}\right)^{n+1}=B_n-\ln\left(1+\frac1{n}\right)^{n+1}\Rightarrow
\lim_{n\to\infty}K_n=B-\lim_{n\to\infty}\ln\left(1+\frac1{n}\right)^{n+1}=B-1$$
-
Если $B>1$, то $\displaystyle\lim_{n\to\infty}K_n=B-1>0$, следовательно,
$$\exists{n}_0\in\mathbb{N}:\forall{n}>n_0\left(|K_n-(B-1)|<\frac{B-1}{2}\right)\Rightarrow
\forall{n}>n_0\left(K_n>(B-1)-\frac{B-1}{2}=\frac{B-1}{2}>0\right)$$
Следовательно, по схеме Куммера ряд $\sum_{n=1}^\infty{a}_n$ сходится.
-
Если $B<1$, то $\displaystyle\lim_{n\to\infty}K_n=B-1<0$, следовательно
$$\exists{n}_0\in\mathbb{N}:\forall{n}>n_0(|K_n-(B-1)|<1-B)\Rightarrow\forall{n}>n_0(K_n<(B-1)+1-B=0)$$
Следовательно, по схеме Куммера ряд $\sum_{n=1}^\infty{a}_n$ расходится.
Следствие 7.2.11: Признак Гаусса.
Если ряд $\sum_{n=1}^\infty{a}_n$ такой, что для любого $n\in\mathbb{N}$ $a_n>0$ и существуют $\lambda,\mu\in\mathbb{R}$, $\delta>0$, $n_0\in\mathbb{N}$
и ограниченная последовательность $\{\theta_n\}$ такие, что для любого $n>n_0$
$\displaystyle\frac{a_n}{a_{n+1}}=\lambda+\frac{\mu}{n}+\frac{\theta_n}{n^{1+\delta}}$, тогда
- если $\lambda>1$, то ряд $\sum_{n=1}^\infty{a}_n$ сходится, а если $\lambda<1$, то ряд $\sum_{n=1}^\infty{a}_n$ расходится;
- если $\lambda=1$ и $\mu>1$, то ряд $\sum_{n=1}^\infty{a}_n$ сходится,
- если $\lambda=1$ и $\mu\leq1$, то ряд $\sum_{n=1}^\infty{a}_n$ расходится.
Доказательство:
-
Так как
$$\exists{n}_0\in\mathbb{N}:\forall{n}>n_0\left(\frac{a_n}{a_{n+1}}=\lambda+\frac{\mu}{n}+\frac{\theta_n}{n^{1+\delta}}\right)\Rightarrow
\lim_{n\to\infty}\frac{a_n}{a_{n+1}}=\lim_{n\to\infty}\left(\lambda+\frac{\mu}{n}+\frac{\theta_n}{n^{1+\delta}}\right)=\lambda$$
то утверждение следует из признака Даламбера.
Пусть $\lambda=1$, тогда
$$n\frac{a_n}{a_{n+1}}-n=n+\mu+\frac{\theta_n}{n^\delta}-n=\mu+\frac{\theta_n}{n^\delta}\Rightarrow
\exists{n}_0\in\mathbb{N}:\forall{n}>n_0\left(n\left(\frac{a_n}{a_{n+1}}-1\right)=\mu+\frac{\theta_n}{n^\delta}\right)\Rightarrow
\lim_{n\to\infty}\left(n\left(\frac{a_n}{a_{n+1}}-1\right)\right)=\mu$$
-
Так как $\displaystyle\lim_{n\to\infty}\left(n\left(\frac{a_n}{a_{n+1}}-1\right)\right)=\mu$, то утверждение следует из
признака Раабе.
-
Так как $\displaystyle\lim_{n\to\infty}\left(n\left(\frac{a_n}{a_{n+1}}-1\right)\right)=\mu$, то при $\mu<1$, ряд $\sum_{n=1}^\infty{a}_n$
расходится по признаку Раабе.
Если $\mu=1$, тогда в условиях признака Бертрана
$$B_n=\left(n\frac{a_n}{a_{n+1}}-n-1\right)=\left(n\lambda+\mu+\frac{\theta_n}{n^\delta}-n-1\right)\ln{n}=\theta_n\frac{\ln{n}}{n^\delta}\Rightarrow
\lim_{n\to\infty}B_n=\lim_{n\to\infty}\left(\theta_n\frac{\ln{n}}{n^\delta}\right)=0<1$$
Следовательно, по признаку Бератрана ряд $\sum_{n=1}^\infty{a}_n$ расходится.
previous contents next