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

Ряд Дирихле \(\displaystyle\sum_{n=1}^{\infty} \dfrac{1}{n^p}\) сходится при p > 1 и расходится при p \(\leqslant 1\) .

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

\(\displaystyle\sum_{n=1}^{\infty} \dfrac{1}{n^p}\) где p принадлежит |R, p > 0

ряд Дирихле сходится если \(\displaystyle\int\limits_1^{\infty} \dfrac{dx}{x^p}\) - сходится.

При p > 1: \(\displaystyle\lim_{A\to\infty} \dfrac{A^{1-p}}{1-p}\Bigg|_1^A\) = \(\dfrac{1}{p-1}\) \(\Rightarrow\) ряд сходится.

При p = 1: \(\displaystyle\int\limits_1^{\infty} \dfrac{dx}{x^p} = \displaystyle\int\limits_1^{\infty} \dfrac{dx}{x} = \ln{x}\Bigg|_1^A = \displaystyle\lim_{A\to\infty} \Bigg(\ln{A} - \ln{1}\Bigg) = \infty\)

\(\Rightarrow\) ряд расходится.

При p < 1: \(\displaystyle\lim_{A\to\infty} \dfrac{A^{1-p}}{1-p}\Bigg|_1^A = \infty\) \(\Rightarrow\) ряд расходится.

\(\Rightarrow\)\(\displaystyle\sum_{n=1}^{\infty} \dfrac{1}{n^p}\) сходится при p > 1 и расходится при p \(\leqslant\) 1.