Гармонический ряд и обобщённый ряд: порог сходимости

Гармонический ряд $\sum_{n=1}^{\infty} \dfrac{1}{n}$ - один из самых обманчивых объектов математического анализа: его слагаемые стремятся к нулю, но сумма всё равно растёт неограниченно. Если заменить знаменатель на степень $n^p$, получится обобщённый гармонический ряд, он же p-ряд: у него есть чёткая граница, при показателе $p > 1$ он сходится, при $p \le 1$ расходится. Ниже разберём, почему гармонический ряд расходится именно так, откуда берётся порог $p = 1$, как это доказать интегральным признаком и куда сходится сумма, если порог пройден. Чтобы сразу увидеть переход между двумя режимами, покрути калькулятор ниже: он считает частичную сумму для любого показателя p и любого числа слагаемых.

Гармонический ряд: почему он расходится

Гармонический ряд $1 + \tfrac{1}{2} + \tfrac{1}{3} + \tfrac{1}{4} + \dots$ на первый взгляд обязан сходиться: его слагаемые убывают к нулю, а конечная сумма бесконечно убывающих чисел кажется естественной. Но это не так, и классическое доказательство расходимости - группировка слагаемых по степеням двойки:

$1 + \frac{1}{2} + \underbrace{\left(\frac{1}{3} + \frac{1}{4}\right)}_{> 1/2} + \underbrace{\left(\frac{1}{5} + \dots + \frac{1}{8}\right)}_{> 1/2} + \dots$

Каждая скобка содержит всё больше слагаемых, но сумма внутри каждой скобки всегда больше $\tfrac{1}{2}$ - потому что там ровно вдвое больше членов, каждый из которых не меньше последнего в группе. Таких скобок бесконечно много, значит, сумма ряда превышает $\tfrac{1}{2} + \tfrac{1}{2} + \tfrac{1}{2} + \dots$ и растёт без предела. Это ключевой контрпример анализа: стремление общего члена к нулю необходимо для сходимости ряда, но не достаточно.

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

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

$\sum_{n=1}^{\infty} \frac{1}{n^p}, \qquad p > 0.$

При $p = 1$ он превращается в обычный гармонический ряд и расходится. Но если увеличить показатель, слагаемые начинают убывать быстрее, и в какой-то момент этого хватает, чтобы сумма стала конечной. Точная граница доказывается строго:

$\sum_{n=1}^{\infty} \frac{1}{n^p} \ \text{сходится} \iff p > 1.$

Рассчитать для своей задачи

Граница ровно на единице: $p = 1{,}0001$ уже даёт сходящийся ряд, а $p = 1$ и любое меньшее значение - расходящийся. Именно из-за этой резкой границы обобщённый гармонический ряд служит эталоном сравнения: если общий член исследуемого ряда при больших $n$ ведёт себя как $1/n^p$, то по предельному признаку сравнения его сходимость определяется тем же порогом.

Доказательство интегральным признаком Коши

Самый прозрачный способ обосновать порог $p = 1$ - интегральный признак. Функция $f(x) = 1/x^p$ на луче $[1, \infty)$ положительна, непрерывна и монотонно убывает, поэтому ряд $\sum 1/n^p$ сходится тогда и только тогда, когда сходится несобственный интеграл той же функции:

$\int_1^{\infty} \frac{dx}{x^p} = \lim_{b \to \infty} \left[ \frac{x^{1-p}}{1-p} \right]_1^{b}.$

Рассчитать для своей задачи

При $p > 1$ предел $\lim_{b \to \infty} b^{1-p}$ равен нулю (показатель $1 - p$ отрицателен), и интеграл сходится к конечному числу $\tfrac{1}{p-1}$. При $p \le 1$ показатель $1 - p$ неотрицателен, $b^{1-p}$ растёт (или, при $p = 1$, интеграл превращается в $\ln b$), и предел равен бесконечности - ряд расходится вместе с интегралом. Геометрически столбики высотой $1/n^p$, поставленные под график $f(x) = 1/x^p$, ограничивают площадь снизу и сверху: расходимость или сходимость площади под кривой напрямую наследуется суммой столбиков.

Асимптотика гармонического ряда и постоянная Эйлера-Маскерони

Гармонический ряд расходится, но интересно не только «да или нет», а насколько быстро растёт частичная сумма. Ответ даёт постоянная Эйлера-Маскерони $\gamma$:

$H_N = \sum_{n=1}^{N} \frac{1}{n} = \ln N + \gamma + \frac{1}{2N} - \dots \approx \ln N + \gamma, \qquad \gamma \approx 0{,}5772156649.$

Рассчитать для своей задачи

Иными словами, гармонический ряд растёт крайне медленно - логарифмически, - но растёт без остановки: чтобы сумма превысила 10, нужно около $N \approx 12367$ слагаемых, а чтобы превысить 20 - уже около $N \approx 2{,}7 \times 10^8$. Постоянная $\gamma$ - это ровно тот зазор, на который частичная сумма опережает логарифм, и он стабилизируется с ростом $N$, хотя сама сумма растёт неограниченно.

Куда сходится p-ряд: дзета-функция Римана

Когда $p > 1$, сумма обобщённого гармонического ряда - это по определению значение дзета-функции Римана:

$\zeta(p) = \sum_{n=1}^{\infty} \frac{1}{n^p}.$

Для некоторых показателей известны точные значения. Леонард Эйлер нашёл, что $\zeta(2) = \pi^2/6 \approx 1{,}6449340668$ - знаменитая Базельская задача, а $\zeta(4) = \pi^4/90 \approx 1{,}0823232337$. Для нечётных показателей закрытой формулы через $\pi$ нет: $\zeta(3) \approx 1{,}2020569032$ - это постоянная Апери, доказано лишь, что она иррациональна. Чем ближе показатель $p$ к единице справа, тем медленнее сумма приближается к пределу и тем больше слагаемых нужно взять, чтобы увидеть плато на графике.

Обобщённый гармонический ряд иногда называют рядом Дирихле от простейшей последовательности коэффициентов - все они равны единице, а меняется только показатель степени в знаменателе. Более общий ряд Дирихле $\sum a_n / n^s$ с произвольными коэффициентами $a_n$ и комплексным $s$ лежит в основе всей аналитической теории чисел, а сама дзета-функция - его важнейший частный случай. Именно поэтому порог $p = 1$ для обобщённого гармонического ряда - не изолированный факт, а вход в куда более обширную теорию: там же, в комплексной плоскости, лежит знаменитая гипотеза Римана о нулях $\zeta(s)$.

Пример решения типовой задачи

Разберём вопрос: сходится ли ряд $\sum_{n=1}^{\infty} \dfrac{1}{n^{1{,}5}}$, и если да, оценим частичную сумму при $N = 100$.

Показатель $p = 1{,}5 > 1$, значит по признаку сходимости ряд сходится. Численно частичная сумма при $N = 100$:

$S_{100} = \sum_{n=1}^{100} \frac{1}{n^{1{,}5}} \approx 2{,}4129.$

Предел ряда - это значение $\zeta(1{,}5) \approx 2{,}6124$, то есть даже при ста слагаемых сумма ещё заметно недобирает до предела: разница $\zeta(1{,}5) - S_{100} \approx 0{,}1995$ показывает, что сходимость около единицы медленная, хотя и гарантированная. Это стандартная ловушка задач: формально ряд сходится, но численно частичные суммы приближаются к пределу очень плавно, и малое число слагаемых даёт грубую оценку.

Частые ошибки

• Вывод сходимости из убывания слагаемых. То, что общий член $1/n^p$ стремится к нулю, необходимое, но не достаточное условие сходимости - при $p \le 1$ ряд всё равно расходится.
• Путаница знака неравенства на границе. Ряд сходится строго при $p > 1$, а при $p = 1$ (включая саму единицу) - уже расходится. Показатель $p = 1$ не даёт сходимости.
• Применение интегрального признака к немонотонной функции. Признак работает только для положительной, непрерывной и монотонно убывающей на луче функции - для знакопеременных или колеблющихся рядов нужен другой критерий.
• Смешение асимптотики $\ln N + \gamma$ с точным значением суммы. Это оценка частичной суммы гармонического ряда, а не предел - сам гармонический ряд предела не имеет, он расходится.
• Ожидание быстрой сходимости при p, близком к единице. Чем ближе $p$ к порогу, тем медленнее частичная сумма приближается к $\zeta(p)$; сотни и тысячи слагаемых могут давать заметную недостачу.

FAQ

Расходится ли гармонический ряд, если его слагаемые стремятся к нулю? Да. Стремление общего члена к нулю - необходимое, но не достаточное условие сходимости. Гармонический ряд $\sum 1/n$ расходится, хотя $1/n \to 0$: доказывается это группировкой слагаемых по степеням двойки или интегральным признаком.

При каком показателе p ряд $\sum 1/n^p$ сходится? Строго при $p > 1$. При $p = 1$ и любом меньшем значении ряд расходится. Это доказывается интегральным признаком Коши через сравнение с несобственным интегралом $\int_1^{\infty} x^{-p}\,dx$.

Чему равна сумма ряда $\sum 1/n^2$? Это Базельская задача, решённая Эйлером: сумма равна $\pi^2/6 \approx 1{,}6449$. Для показателя $p = 4$ сумма равна $\pi^4/90$, а для нечётных показателей закрытой формулы через $\pi$ не существует.

Сколько слагаемых гармонического ряда нужно взять, чтобы сумма превысила 10? Из асимптотики $H_N \approx \ln N + \gamma$ решаем $\ln N \approx 10 - \gamma \approx 9{,}4228$, откуда $N \approx e^{9{,}4228} \approx 12367$. Чтобы сумма превысила 20, потребуется уже около $2{,}7 \times 10^8$ слагаемых - рост логарифмический, но абсолютно неограниченный.

Коротко

Гармонический ряд $\sum 1/n$ расходится, несмотря на то, что его слагаемые стремятся к нулю: частичная сумма растёт как $\ln N + \gamma$. Его обобщение - p-ряд $\sum 1/n^p$ - сходится тогда и только тогда, когда $p > 1$, что строго доказывается интегральным признаком через сравнение с $\int_1^{\infty} x^{-p}\,dx$. При сходимости сумма ряда равна значению дзета-функции Римана $\zeta(p)$, для некоторых показателей (например, $\zeta(2) = \pi^2/6$) известному в закрытом виде.