Обобщённый гармонический ряд: сходимость p-ряда

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

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

При $p = 1$ ряд превращается в обычный гармонический ряд $1 + \tfrac{1}{2} + \tfrac{1}{3} + \dots$, который, вопреки интуиции, расходится: его частичные суммы растут как натуральный логарифм $\ln N$ и неограниченно уходят вверх, хотя слагаемые стремятся к нулю. Это ключевой контрпример: стремление общего члена к нулю необходимо для сходимости, но не достаточно. Обобщённый гармонический ряд получается, если поставить степень $p$ в знаменатель: чем больше $p$, тем быстрее убывают слагаемые $\dfrac{1}{n^p}$ и тем больше шансов, что бесконечная сумма окажется конечной.

Интуиция здесь простая. Сходимость ряда из положительных членов определяется не тем, что слагаемые малы, а тем, насколько быстро они уменьшаются. При $p \le 1$ хвост ряда слишком тяжёлый: остаток после любого числа слагаемых остаётся большим, и сумма продолжает расти. При $p > 1$ слагаемые тают достаточно стремительно, накопленная сумма упирается в потолок и дальше почти не меняется.

Признак сходимости p-ряда

Сформулируем результат строго. Для обобщённого гармонического ряда $\sum_{n=1}^{\infty} \dfrac{1}{n^p}$ справедливо:

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

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

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

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

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

$\int_{1}^{\infty} \frac{dx}{x^p} = \begin{cases} \dfrac{1}{p-1}, & p > 1, \\[4pt] \infty, & p \le 1. \end{cases}$

При $p > 1$ интеграл конечен, значит, сходится и ряд. При $p \le 1$ интеграл расходится, значит, расходится и ряд. Геометрически идея видна на одной картинке: ступеньки высотой $\dfrac{1}{n^p}$ зажаты между двумя сдвигами гладкой кривой $\dfrac{1}{x^p}$, поэтому суммарная площадь ступенек (это и есть ряд) и площадь под кривой (это интеграл) либо обе конечны, либо обе бесконечны.

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

Тот же интеграл $\dfrac{1}{p-1}$ даёт удобную оценку остатка ряда: хвост сходящегося p-ряда после $N$-го слагаемого не превосходит $\dfrac{N^{1-p}}{p-1}$. Подробный разбор того, когда несобственный интеграл конечен, есть в материале про сходимость несобственного интеграла первого рода и переносится на ряды почти дословно.

Предел сходящегося ряда и дзета-функция

Когда p-ряд сходится, возникает естественный вопрос: чему равна его сумма? Ответ это знаменитая дзета-функция Римана:

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

Для целых чётных $p$ сумма выражается через $\pi$. Два значения встречаются в задачах постоянно:

$\zeta(2) = \sum_{n=1}^{\infty} \frac{1}{n^2} = \frac{\pi^2}{6} \approx 1{,}6449, \qquad \zeta(4) = \sum_{n=1}^{\infty} \frac{1}{n^4} = \frac{\pi^4}{90} \approx 1{,}0823.$

Равенство $\sum \dfrac{1}{n^2} = \dfrac{\pi^2}{6}$ это знаменитая Базельская задача, решённая Эйлером. Обратите внимание, как медленно частичная сумма приближается к пределу: при $p = 2$ сумма первой сотни слагаемых равна примерно $1{,}635$, а тысячи около $1{,}644$, то есть до точного $1{,}6449$ ещё далеко. Это типично: сходимость p-ряда при $p$, близких к единице, очень неторопливая, и оценивать предел по нескольким первым слагаемым нельзя. Для аккуратного приближения суммы по частичной сумме используют формулу Эйлера-Маклорена, которая добавляет к $S_N$ интегральную поправку и быстро доводит результат до $\zeta(p)$.

Как p-ряд работает эталоном сравнения

Главная практическая ценность обобщённого гармонического ряда в том, что он служит линейкой для других рядов. Если общий член ряда при больших $n$ эквивалентен $\dfrac{C}{n^p}$, то по предельному признаку сравнения исходный ряд ведёт себя так же, как p-ряд: сходится при $p > 1$ и расходится при $p \le 1$. Например, ряд $\sum \dfrac{n+3}{n^3 + 2n}$ сравнивается с $\sum \dfrac{1}{n^2}$ (то есть $p = 2$) и потому сходится, а ряд $\sum \dfrac{1}{\sqrt{n}+1}$ сравнивается с $\sum \dfrac{1}{n^{1/2}}$ ($p = \tfrac{1}{2}$) и расходится.

Когда показатель степени трудно выделить, в ход идут более тонкие инструменты, для которых p-ряд остаётся опорной точкой: это признак Раабе, уточняющий поведение на границе, и признак Гаусса, работающий через асимптотику отношения соседних членов. Все они, по сути, измеряют, насколько быстро убывают слагаемые, в тех же единицах, что и обобщённый гармонический ряд.

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

• Считать, что стремление члена к нулю гарантирует сходимость. Гармонический ряд ($p = 1$) расходится, хотя $\dfrac{1}{n} \to 0$. Малость слагаемых необходима, но не достаточна.
• Путать границу. Ряд сходится при $p > 1$ строго; $p = 1$ это уже расходимость. Случай $p = 1$ нужно проверять отдельно, а не относить к сходящимся.
• Брать предел по нескольким слагаемым. Около $p = 1$ сходимость медленная: даже сотня членов даёт заметную ошибку, поэтому численно оценивать $\zeta(p)$ по частичной сумме без поправки нельзя.
• Забывать про условие интегрального признака. Он работает только для положительной непрерывной убывающей функции. Для знакопеременных рядов нужен другой инструмент, например признак Дирихле.
• Считать $\sum \dfrac{1}{n^p}$ при $p \le 0$. Тогда слагаемые не стремятся к нулю, и ряд расходится по необходимому признаку, без всякого интегрального теста.

FAQ

При каких p сходится обобщённый гармонический ряд? Ровно при $p > 1$. При $p = 1$ получается гармонический ряд, который расходится, а при $p < 1$ слагаемые убывают слишком медленно, и сумма тоже расходится. Граница проходит строго через единицу.

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

Чем p-ряд отличается от гармонического ряда? Гармонический ряд это частный случай p-ряда при $p = 1$. Обобщённый гармонический ряд позволяет менять показатель степени, и именно показатель решает вопрос сходимости: при $p = 1$ ряд расходится, а при любом $p > 1$ сходится.

Коротко

Обобщённый гармонический ряд $\sum \dfrac{1}{n^p}$ сходится тогда и только тогда, когда показатель $p$ строго больше единицы; при $p \le 1$, включая гармонический ряд $p = 1$, он расходится. Доказывается это интегральным признаком: ряд ведёт себя так же, как интеграл $\int_1^{\infty} x^{-p}\,dx$, конечный лишь при $p > 1$. Сумма сходящегося ряда это дзета-функция $\zeta(p)$, причём $\zeta(2) = \pi^2/6$ и $\zeta(4) = \pi^4/90$. Благодаря чёткой границе на $p = 1$ p-ряд служит главным эталоном для предельного признака сравнения.