Почему 1 + 2 + 3 + … = −1/12: суммирование Рамануджана простыми словами

Письмо из Мадраса: как родилось суммирование Рамануджана

Кембридж, январь 1913. На столе у 36-летнего Харди бандероль из далёкого Мадраса. Отправитель — никому не известный 25-летний клерк по имени Шриниваса Рамануджан. Внутри — девять страниц формул без доказательств. И среди них фраза, достойная немедленной отправки автора «в сумасшедший дом», как шутливо предвосхитил сам Рамануджан:
«1 + 2 + 3 + 4 + … = −1/12».

Харди зовёт Литтлвуда. Ночь, Тринити-колледж, стол завален рядами и тетрадями. Перед ними — не просто «странные равенства», а россыпи формул по теориям чисел, эллиптическим функциям, q-рядам. Всё без привычных для Кембриджа доказательств — только чистая, дерзкая математика.

Но как быть с «1 + 2 + 3 + … = −1/12»? В обычном смысле ряд расходится к бесконечности. И всё же вычислительные следы в письме упираются в строгое ядро: формулу Эйлера–Маклорена, числа Бернулли, аккуратные поправки к суммам — одним словом, регуляризацию.

Наутро Харди произносит свою знаменитую оценку: «Это мог написать только математик высшего класса». Рамануджана приглашают в Кембридж. Так рождается то, что сегодня мы называем суммированием Рамануджана — методом, который присваивает конечные значения расходящимся рядам, когда это согласовано с глубокими структурами анализа.

Суммирование Рамануджана: шаг за шагом

Коротко: это строгий способ «присваивать» значение расходящемуся ряду, опираясь на сглаживание частичных сумм и формулу Эйлера–Маклорена с числами Бернулли. Он согласован с аналитическим продолжением дзета-функции Римана и на широком классе примеров даёт те же ответы (вроде −1/12).

Когда мы «складываем» 1 + 2 + 3 + … в обычном смысле, частичные суммы уезжают в бесконечность — ряд расходится.
Рамануджан предлагает: не пытаться «добежать» суммой до предела, а вместо этого:

1) Посмотреть на функцию частичных сумм
S(N) = ∑_{n=1}^{N} f(n); для нашего ряда f(n) = n.
Примеры:
S(1) = 1
S(2) = 3
S(3) = 6
S(4) = 10
В целом: S(N) = 1 + 2 + … + N = N(N+1)/2 = (1/2)N^2 + (1/2)N (параболический рост).

2) Сгладить ступеньки «мягким весом»
Вместо резкого обрезания на N вводим демпфирование:
S(ε) = ∑_{n=1}^{∞} n * e^(−ε n), где ε > 0.
Закрытая форма: S(ε) = e^(−ε) / (1 − e^(−ε))^2.
Для каждого фиксированного ε эта сумма конечна.

3) Разложить при больших N (или малых ε) по Эйлеру–Маклорену
Вариант A: по S(N) для f(n) = n
Интеграл: ∫_0^N x dx = (1/2)N^2
Крайняя правка: (1/2)f(N) − (1/2)f(0) = (1/2)N
Следующая правка с B2 = 1/6 даёт константу −1/12, дальше идут O(1/N^2).
Итого:
S(N) = (1/2)N^2 + (1/2)N − 1/12 + O(1/N^2).

Вариант B: по S(ε) при малых ε
S(ε) = 1/ε^2 − 1/12 + O(ε^2)
Здесь 1/ε^2 — «дивергентная часть», а константа −1/12 — «ренормированная».

4) Взять постоянный член как «ренормированное значение суммы»
— По S(N): берём константу в асимптотике −1/12.
— По S(ε): отнимаем 1/ε^2 и устремляем ε → 0+ → получаем −1/12.

Короткая запись:
1 + 2 + 3 + 4 + … = −1/12 (R)
где (R) — «суммирование Рамануджана» (регуляризованное значение, а не обычная сумма).

Именно постоянный член (то, что не растёт с N и не исчезает как 1/N, 1/N^2, …) объявляется «суммой в смысле Рамануджана».

Зачем нужно суммирование Рамануджана

Метод линеен, совместим с «хорошими» преобразованиями и даёт те же значения, что и ζ-регуляризация, на больших классах функций. Поэтому −1/12 всплывает не только в теории чисел, но и в вычислениях квантовых флуктуаций и теории струн — там нужна согласованная процедура «снятия бесконечностей».