Обобщённый гармонический ряд

Обобщённым гармоническим рядом называют ряд:$$\sum_{n=1}^{\infty }\frac{1}{n^{\alpha}}=1+\frac{1}{2^{\alpha}}+\frac{1}{3^{\alpha}}+\cdots +\frac{1}{n^{\alpha}}+\cdots $$

Сходимость обобщённого гармонического ряда

$$\sum_{n=1}^{\infty }\frac{1}{n^{\alpha }},$$ где [latex]\alpha>0[/latex]. При [latex]\alpha=1[/latex] получаем гармонический ряд, а он как известно расходится.
При [latex]0<\alpha<1[/latex] имеем:$$S_{n}(\alpha)=1+ \frac{1}{2^{\alpha}}+\cdots +\frac{1}{n^{\alpha}}\geq n \cdot \frac{1}{n^{\alpha}}=n^{1-\alpha}\underset{n\rightarrow \infty }{\rightarrow}\infty $$ Из этого следует, что [latex]S_{n}(\alpha)\rightarrow +\infty [/latex], а из этого следует расходимость ряда.
Теперь рассмотрим случай [latex]\alpha>1[/latex]. Выберем такое натуральное [latex]m[/latex], что [latex]n<2^{m}[/latex]. Тогда имеем:$$S_{n}(\alpha)\leq S_{2^{m}-1}(\alpha)=1+\left ( \frac{1}{2^{\alpha}}+\frac{1}{3^{\alpha}} \right )+\left ( \frac{1}{4^{\alpha}}+\frac{1}{5^{\alpha}}+\frac{1}{6^{\alpha}}+\frac{1}{7^{\alpha}} \right )+$$$$+\cdots +\left ( \frac{1}{(2^{m-1})^{\alpha}}+\frac{1}{(2^{m-1}+1)^{\alpha}}+\cdots +\frac{1}{(2^{m}-1)^{\alpha}} \right )\leq $$$$\leq 1+2^{1-\alpha}+(2^{2})^{1-\alpha}+\cdots +(2^{m-1})^{1-\alpha}=$$$$=1+2^{1-\alpha}+(2^{1-\alpha})^{2}+\cdots +(2^{1-\alpha})^{m-1}=\frac{1-(2^{1-\alpha})^{m}}{1-2^{1-\alpha}}$$ Отсюда следует, что при [latex]\alpha>1[/latex] имеем [latex]S_{n}(\alpha)\leq \frac{1}{1-2^{1-\alpha}}[/latex], т.е. последовательность частичных сумм ограниченна сверху, и по теореме о сходимости рядов с неотрицательными членами ряд сходится при [latex]\alpha>1[/latex].

Список Литературы

Тест на проверку знаний по данной теме.

Таблица лучших: Обобщённый гармонический ряд

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

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

Теорема

Для того чтобы ряд [latex]\sum_{n=1}^{\infty}{a_{n}}[/latex] сходился, необходимо и достаточно, чтобы для любого [latex]\varepsilon >0[/latex] существовал такой номер [latex]N_{\varepsilon }[/latex], что для любого [latex]n>N_{\varepsilon }[/latex] и при любом натуральном [latex]p > 0[/latex] выполнялось неравенство:$$\left| a_{n+1}+a_{n+2}+…+a_{n+p} \right|<\varepsilon$$.

Доказательство

По определению, сходимость ряда эквивалентна сходимости последовательности его частичных сумм [latex]S_{n}[/latex]. В силу критерия Коши для последовательностей, сходимость последовательности [latex]{S_{n}}[/latex] эквивалентна ее фундаментальности. Фундаментальность последовательности [latex]{S_{n}}[/latex] означает, [latex]\forall \varepsilon >0, \exists N_{\varepsilon }: \forall n\geq N_{\varepsilon }, \forall p\in \mathbb{N}\rightarrow \left| S_{n+p}- S_{n} \right|<\varepsilon[/latex]. При этом:[latex]S_{n+p}-S_{n}=a_{1}+\ldots+a_{n}+a_{n+1}+\ldots+a_{n+p}-(a_{1}+\ldots+a_{n})=[/latex][latex]a_{n+1}+\ldots+a_{n+p},[/latex] тем самым теорема доказана.
Спойлер

Покажем, что ряд $$\sum_{n=1}^{\infty}\frac{1}{n}=1+\frac{1}{2}+\frac{1}{3}+\cdots+\frac{1}{n}+\cdots$$ расходится. Для любого [latex]n[/latex] и [latex]p=n[/latex]:$$\sum_{k=n+1}^{n+p}a_{k}=\frac{1}{n}+\frac{1}{n+1}+\cdots+\frac{1}{2n}>\frac{1}{2n}+\frac{1}{2n}+\cdots+\frac{1}{2n}>\frac{n}{2n}=\frac{1}{2},$$ т.е. для любого [latex]n[/latex] при [latex]\varepsilon =\frac{1}{2}[/latex] и [latex]p=n[/latex] критерий Коши не выполняется. Тем самым этот ряд расходится.

[свернуть]

Список Литературы

Тест на проверку знаний по данной теме.

Таблица лучших: Критерий Коши сходимости ряда

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