Обобщённым гармоническим рядом называют ряд: $$\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 }},$$ где $\alpha>0$. При $\alpha=1$ получаем гармонический ряд, а он как известно расходится.
При $0<\alpha<1$ имеем: $$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$$ Из этого следует, что $S_{n}(\alpha)\rightarrow +\infty$, а из этого следует расходимость ряда.
Теперь рассмотрим случай $\alpha>1$. Выберем такое натуральное $m$, что $n<2^{m}$. Тогда имеем: $$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}}$$ Отсюда следует, что при $\alpha>1$ имеем $S_{n}(\alpha)\leq \frac{1}{1-2^{1-\alpha}}$, т.е. последовательность частичных сумм ограниченна сверху, и по теореме о сходимости рядов с неотрицательными членами ряд сходится при $\alpha>1$.

Гармоническим называется ряд: $$\sum_{n=1}^{\infty}\frac{1}{n}=1+\frac{1}{2}+\frac{1}{3}+\cdots +\frac{1}{n}+\cdots,$$ т.е. гармонический ряд состоит из членов, обратных числам натурального ряда.

Проверим гармонический ряд на сходимость:
Общий член гармонического ряда стремится к 0. $$\lim_{n\rightarrow \infty }\frac{1}{n}=0$$ Это показывает, что необходимое условие сходимости ряда выполняется. Для доказательства сходимости гармонического ряда будем использовать критерий Коши. По критерию Коши для того чтобы ряд сходился необходимо и достаточно чтобы: $$\forall \varepsilon >0, \exists N_{\varepsilon },\forall n>N_{\varepsilon },\forall p > 0:\left | \frac{1}{n+1}+\frac{1}{n+2}+\cdots +\frac{1}{n+p} \right |<\varepsilon$$ В качестве $\varepsilon$ выберем $\frac{1}{2}$ и $p=n$. Тогда: $$\left | \frac{1}{n+1}+\frac{1}{n+2}+\cdots +\frac{1}{n+p} \right |=\left | \frac{1}{n+1}+\frac{1}{n+2}+\cdots +\frac{1}{2n} \right |>$$ $$>\left | \frac{1}{2n}+\frac{1}{2n}+\cdots +\frac{1}{2n} \right |=\frac{1}{2}=\varepsilon$$ Из этого следует что гармонический ряд не удовлетворяет критерию Коши. Иначе говоря гармонический ряд расходится.

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