Гармонический ряд в математике¶

Гармонический ряд — это бесконечный числовой ряд вида 1 + 1/2 + 1/3 + 1/4 + … , общий член которого равен 1/n, где n — натуральное число. Он относится к классу расходящихся рядов: несмотря на то, что его члены стремятся к нулю, сумма ряда неограниченно возрастает. Гармонический ряд — один из классических объектов математического анализа, теории рядов и теории чисел, служащий базовым примером при изучении сходимости.

¶Определение и обозначение

В формальной записи гармонический ряд имеет вид:

∑ (от n=1 до ∞) 1/n = 1 + 1/2 + 1/3 + 1/4 + …

Название связано с понятием гармонических пропорций и с тем, что длины волн музыкальных гармоник обратно пропорциональны натуральным числам. Частичной суммой ряда называется величина S_N = 1 + 1/2 + … + 1/N.

¶Расходимость ряда

Ключевое свойство гармонического ряда — его расходимость. Это означает, что при неограниченном увеличении числа слагаемых частичная сумма S_N растёт без предела, хотя каждое отдельное слагаемое стремится к нулю.

Доказательство расходимости, приписываемое средневековому учёному Николе Орему (XIV век), основано на группировке членов:

1 + 1/2 + (1/3 + 1/4) + (1/5 + 1/6 + 1/7 + 1/8) + …

Каждая группа в скобках даёт сумму, не меньшую 1/2, поэтому сумма ряда превосходит сумму бесконечного числа половин и, следовательно, бесконечна. Позднее расходимость доказывали через интегральный признак Коши: интеграл от 1/x по бесконечному промежутку расходится.

¶Асимптотика частичных сумм

Хотя ряд расходится, рост частичных сумм происходит крайне медленно — логарифмически. Справедлива асимптотическая формула:

S_N = ln N + γ + o(1),

где γ ≈ 0,57721 — постоянная Эйлера — Маскерони, а o(1) стремится к нулю при N → ∞. Из этой оценки следует, что для достижения суммой значения, например, 10 требуется порядка 12 367 членов, а для 100 — астрономически большое число слагаемых.

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

Обобщённым гармоническим рядом (рядом Дирихле) называют ряд вида ∑ 1/n^p, где p — действительное число. Поведение такого ряда зависит от показателя p:

При p = 1 получается обычный гармонический ряд. Случай p = 2 даёт знаменитый ряд ∑ 1/n², сумма которого равна π²/6 (задача Базельского конгресса, решённая Леонардом Эйлером в 1735 году).

¶Связь с простыми числами

Расходимость гармонического ряда тесно связана с распределением простых чисел. Эйлер доказал, что сумма обратных величин простых чисел также расходится:

1/2 + 1/3 + 1/5 + 1/7 + 1/11 + … = ∞.

Этот результат уточняет теорему Евклида о бесконечности множества простых чисел и лежит у истоков аналитической теории чисел.

¶Знакопеременный гармонический ряд

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

1 − 1/2 + 1/3 − 1/4 + …

В отличие от исходного, он сходится (по признаку Лейбница) и его сумма равна ln 2 ≈ 0,6931. Этот пример показывает, что сходимость ряда существенно зависит от порядка и знаков слагаемых. Более того, благодаря теореме Римана о перестановках, члены условно сходящегося ряда можно переставить так, чтобы получить любую наперёд заданную сумму.

¶Применение и значение

Гармонический ряд используется как эталон при исследовании сходимости других рядов (признаки сравнения), в теории вероятностей (например, в задаче о собирании коллекции, «задаче коллекционера»), в анализе алгоритмов (оценка средней сложности), а также в физике при расчётах, связанных с логарифмическими зависимостями. Он служит каноническим примером того, что стремление членов к нулю не гарантирует сходимости ряда.

¶Интересные факты

• Расходимость гармонического ряда была установлена задолго до формирования строгого математического анализа.
• Сумма первых миллиона членов ряда приблизительно равна 14,39.
• Гармонический ряд связан с распределением длин циклов в случайных перестановках.

Источники: учебники по математическому анализу, теория рядов, аналитическая теория чисел, классические работы Эйлера и Орема.