1 − 2 + 3 − 4 + …

Первые 15000 частичных сумм ряда 0 + 1 − 2 + 3 − 4 + …

В математике, 1 − 2 + 3 − 4 + … — это числовой ряд, слагаемые которого по модулю представляют собой последовательные натуральные числа и имеют чередующийся знак. Частичная сумма с номером m этого ряда описывается выражением:

$Сумма ряда n * (-1)^(n-1) для n от 1 до m$

Такой числовой ряд расходится, то есть частичные суммы (1, −1, 2, −2, ...) не стремятся ни к какому конечному пределу. Тем не менее, в середине 18-го века Леонард Эйлер предложил выражение, которое он охарактеризовал как парадоксальное:

$1-2+3-4+…=1/4$

Математический аппарат, позволяющий интерпретировать это выражение, был разработан гораздо позже. Начиная с 1890 года, Чезаро, Борель и другие математики строго сформулировали методы получения обобщённых сумм расходящихся рядов, а также дополнили идеи Эйлера новыми интерпретациями. Многие из этих методов для суммы 1 − 2 + 3 − 4 + … дают результат, равный ¹⁄₄. Суммирование по Чезаро является одним из немногих методов, который не позволяет определить сумму 1 − 2 + 3 − 4 + …. Таким образом, чтобы получить конечную сумму обобщенным методом суммирования для этого ряда, требуется иной подход, например применение суммирования методом Абеля.

Ряд 1 − 2 + 3 − 4 + … тесно связан с рядом Гранди (1 − 1 + 1 − 1 + …). Эйлер трактовал эти ряды как два частных случая ряда 1 − 2ⁿ + 3ⁿ − 4ⁿ + …, который он изучал для произвольного n, работая над Базельской проблемой, и получил функциональные уравнения для функций, известных ныне как эта-функция Дирихле и дзета-функция Римана.

Расходимость

Члены последовательности (1, −2, 3, −4, …) не стремятся к нулю, поэтому по необходимому условию сходимости рядов ряд 1 − 2 + 3 − 4 + … расходится. Для дальнейшего рассмотрения будет полезным более подробно рассмотреть расходимость этого ряда. По определению, сходимость или расходимость бесконечного ряда определяется сходимостью или расходимостью последовательности его частичных сумм, а частичными суммами ряда 1 − 2 + 3 − 4 + … являются^[1]:8:

1 = 1,

1 − 2 = −1,

1 − 2 + 3 = 2,

1 − 2 + 3 − 4 = −2,

1 − 2 + 3 − 4 + 5 = 3,

1 − 2 + 3 − 4 + 5 − 6 = −3,

…

Эта последовательность замечательна тем, что в ней присутствует каждое целое число — даже ноль, если учитывать пустую частичную сумму — и таким образом множество значений членов этой последовательности счётно.^[2]:23. Эта последовательность частичных сумм показывает, что ряд не сходится ни к какому конкретному числу (для любого x можно найти член, после которого все последующие частичные суммы будут находиться вне интервала [x-1, x+1]), и поэтому ряд 1 − 2 + 3 − 4 + … расходится.

Эвристика для суммирования

Стабильность и линейность

Поскольку члены 1, −2, 3, −4, 5, −6, … подчиняются простой закономерности, ряд 1 − 2 + 3 − 4 + … можно преобразовать сдвигом и почленным сложением с целью приписать ему некоторое числовое значение. Если выражение s = 1 − 2 + 3 − 4 + … для какого-то обычного числа s имеет смысл, то следующее формальное преобразование позволяет утверждать, что его значение в некотором смысле равно s = ¹⁄₄:^[1]:6.

$\begin{array}{rclllll} 4s&=& &(1-2+3-4+\cdots) & {}+(1-2+3-4+\cdots) & {}+(1-2+3-4+\cdots) &{}+(1-2+3-4+\cdots) \\ &=& &(1-2+3-4+\cdots) & {}+1+(-2+3-4+5+\cdots) & {}+1+(-2+3-4+5+\cdots) &{}-1+(3-4+5-6\cdots) \\ &=&1+[&(1-2-2+3) & {}+(-2+3+3-4) & {}+(3-4-4+5) &{}+(-4+5+5-6)+\cdots] \\ &=&1+[&0+0+0+0+\cdots] \\ 4s&=&1 \end{array}$

При сложении четырёх копий 1 − 2 + 3 − 4 + …,, используя только сдвиги и почленное сложение, единица.

Поэтому $s=\frac{1}{4}$. Справа этот вывод проиллюстрирован графически.

Несмотря на то, что ряд 1 − 2 + 3 − 4 + … расходится и не имеет суммы в обычном смысле, выражение s = 1 − 2 + 3 − 4 + … = ¹⁄₄ даёт естественный ответ, если такая сумма может быть определена. Обобщённое определение «суммы» расходящегося ряда называется методом суммирования, который позволяет находить суммы для некоторого подмножества всех последовательностей. Существует множество методов обобщенного суммирования рядов (некоторые из них описаны ниже), которые обладают некоторыми свойствами обычного суммирования рядов. Выше было доказано следующее: если применить любой метод обобщенного суммирования, являющийся линейным и стабильным, который позволит получить сумму ряда 1 − 2 + 3 − 4 + …, то эта сумма составит ¹⁄₄. Более того, поскольку:

$\begin{array}{rcllll} 2s & = & &(1-2+3-4+\cdots) & + & (1-2+3-4+\cdots) \\ & = & 1 + &(-2+3-4+\cdots) & {} + 1 - 2 & + (3-4+5\cdots) \\ & = & 0 + &(-2+3)+(3-4)+ (-4+5)+\cdots \\ 2s & = & &1-1+1-1\cdots \end{array}$

такой метод даст и сумму для ряда Гранди, которая будет равна 1 − 1 + 1 − 1 + … = ¹⁄₂.

Произведение Коши

В 1891 году Эрнесто Чезаро выразил надежду, что анализ расходящихся рядов выльется в исчисление, указывая: «Уже пишут (1 − 1 + 1 − 1 + …)² = 1 − 2 + 3 − 4 + … и утверждают, что обе стороны равны ¹⁄₄.»^[3]:130. Для Чезаро это выражение было применением теоремы, опубликованную им годом ранее, и которую можно считать первой теоремой в истории суммируемых расходящихся рядов. Детали этого метода суммирования изложены ниже; основная идея состоит в том, что 1 − 2 + 3 − 4 + … является произведением Коши 1 − 1 + 1 − 1 + … на 1 − 1 + 1 − 1 + ….

1 − 2 + 3 − 4 + … как произведение Коши ряда 1 − 1 + 1 − 1 + … на самого себя

Произведение Коши для двух бесконечных последовательностей определено даже если они обе расходятся. В случае, когда Σa_n = Σb_n = Σ(−1)ⁿ, члены произведения Коши получаются из конечной диагональной суммы:

$\begin{array}{rcl} c_n & = &\displaystyle \sum_{k=0}^n a_k b_{n-k}=\sum_{k=0}^n (-1)^k (-1)^{n-k} \\[1em] & = &\displaystyle \sum_{k=0}^n (-1)^n = (-1)^n(n+1). \end{array}$

И тогда результирующая последовательность:

$\sum_{n=0}^\infty(-1)^n(n+1) = 1-2+3-4+\cdots.$

Поэтому метод суммирования, который сохраняет произведение Коши и даёт сумму 1 − 1 + 1 − 1 + … = ¹⁄₂,, также даст сумму 1 − 2 + 3 − 4 + … = ¹⁄₄. С использованием результатов, полученных в предыдущей секции, из этого вытекает эквивалентность суммируемости 1 − 1 + 1 − 1 + … и 1 − 2 + 3 − 4 + … при использовании методов суммирования, являющихся линейными, стабильными и сохраняющих произведение Коши.

Теорема Чезаро - это только пример. Ряд 1 − 1 + 1 − 1 + … является суммируемым по Чезаро в слабом смысле, и называется (C, 1)-суммируемым, в то время как 1 − 2 + 3 − 4 + … требует более сильной формы теоремы Чезаро^{[1]:3[4]:52-55} и называется (C, 2)-суммируемым. Поскольку все формы метода суммирования по Чезаро являются линейными и стабильными, значения сумм соответствуют вычисленным выше.

Частные методы

Метод Чезаро и Гёльдера

Data about the (H, 2) sum of ¹⁄₄

Чтобы найти сумму по Чезаро (C, 1) для 1 − 2 + 3 − 4 + …, если она существует, нужно вычислить среднее арифметическое частичных сумм ряда. Частичные суммы таковы:

1, −1, 2, −2, 3, −3, …,

и их среднее арифметическое составляет:

1, 0, ²⁄₃, 0, ³⁄₅, 0, ⁴⁄₇, ….

Последовательность не сходится, поэтому 1 − 2 + 3 − 4 + … не является суммируемой по Чезаро.

Есть два широко известных обобщения суммирования методом Чезаро: концептуально более простое среди них является последовательностью методов (H, n) для натуральных чисел n, где сумма (H, 1) — это сумма по Чезаро, а высшие методы получаются многократным применением метода суммирования по Чезаро. В примере выше, чётные средние сходятся к ¹⁄₂, в то время как нечётные равны нулю, поэтому среднее арифметическое средних арифметических сходится к среднему между нулём и ¹⁄₂, что составляет¹⁄₄^{[1]:9 [4]:17-18} Поэтому 1 − 2 + 3 − 4 + … является (H, 2), дающим сумму ¹⁄₄.

«H» — это сокращение от фамилии Отто Гёльдера, который в 1882 году доказал первым то, что сейчас математики расценивают как связь между суммированием методом Абеля и суммированием(H, n); ряд 1 − 2 + 3 − 4 + … использовался им в качестве первого примера.^{[3]:118 [5]:10} Тот факт, что ¹⁄₄ является суммой (H, 2) последовательности 1 − 2 + 3 − 4 + … гарантирует, что это также и абелева сумма; это будет непосредственно доказано ниже.

Другое часто формулируемое обобщение суммирования методом Чезаро — это последовательность методов (C, n). Было доказано, что суммирование (C, n) и (H, n) дают одинаковые результаты, но имеют разную историю. В 1887 году Чезаро близко подошёл к тому, чтобы дать определение суммированию (C, n), но ограничился приведением нескольких примеров. В частности, он получил сумму ¹⁄₄ для 1 − 2 + 3 − 4 + …, методом, который может быть переформулирован как (C, n), но не воспринимался таковым в своё время. Он формально определил методы (C, n) в 1890 году, для формулирования своей теоремы, гласящей что произведение Коши (C, n)-суммируемого и (C, m)-суммируемого рядов являются (C, m + n + 1)-суммируемыми.^[3]:123-128

Суммирование по Абелю

Некоторые значения 1−2x+3x²+…; 1/(1 + x)²; и пределы при стремлении к единице

В отчёте 1749 года Эйлер признавал, что ряд расходится, но всё равно планировал найти его сумму:

…когда было сказано, что сумма ряда 1−2+3−4+5−6 и т. д. составляет ¹⁄₄, это должно было показаться парадоксальным. Складывая 100 членов этого ряда, мы получаем −50, однако сумма 101 члена даёт +51, что очень сильно отличается от ¹⁄₄ и отличается ещё сильнее с увеличением числа членов. Но я уже раньше замечал, что необходимо дать слову sum более широкое значение….^[6]:2

Эйлер предлагал обобщение понятия «сумма ряда» несколько раз. В случае для 1 − 2 + 3 − 4 + …, его идеи похожи на то, что сейчас называется методом суммирования Абеля:

…более нет сомнений, что сумма ряда 1−2+3−4+5 + и т. д. — ¹⁄₄; поскольку это вытекает из раскрытия формулы ¹⁄_(1+1)², значение которой, несомненно, ¹⁄₄. Идея становится понятнее при рассмотрении обобщённого ряда 1 − 2x + 3x² − 4x³ + 5x⁴ − 6x⁵ + &c. возникающего при раскрытии выражения ¹⁄_(1+x)², которому этот ряд будет эквивалентен после того как мы присвоим x = 1.^{[6]:3, 25}

Есть много способов увидеть, что как минимум для абсолютных значений |x| < 1, Эйлер прав в том, что

$1-2x+3x^2-4x^3+\cdots = \frac{1}{(1+x)^2}.$

Можно раскрыть правую часть по Тейлору, либо применить формальный процесс деления многочленов столбиком^[7]:23. Начиная с левой части, можно использовать общую эвристику, приведённую выше, и перемножить (1+x) на себя^[8], или возвести в квадрат ряд 1 − x + x² − …. Эйлер, по-видимому, также предложил почленно продифференцировать этот ряд^{[6]:3, 26}.

С современной точки зрения, последовательность 1 − 2x + 3x² − 4x³ + … не определяет функцию в точке x = 1, поэтому это значение не может быть просто подставлено в результирующее выражение. Поскольку функция определена для всех |x| < 1, можно вычислять предел при стремлении x к единице, и это будет определением абелевой суммы:

$\lim_{x\rightarrow 1 - 0}\sum_{n=1}^\infty n(-x)^{n-1} = \lim_{x\rightarrow 1 - 0}\frac{1}{(1+x)^2} = \frac14.$

Эйлер и Борель

Суммирование по Эйлеру ¹⁄₂ − ¹⁄₄

Эйлер применил к последовательностям другой подход: преобразование Эйлера, одно из своих изобретений. Чтобы вычислить преобразование Эйлера, начинают с последовательности положительных членов — в данном случае 1, 2, 3, 4, …. Первый член этой последовательности обозначен a₀.

Далее нужно получить последовательность конечных разностей среди 1, 2, 3, 4, …; это просто 1, 1, 1, 1, …. Первый элемент этой новой последовательности обозначается Δa₀. Преобразование Эйлера также зависит от разности разностей и более высоких итераций, но все разности среди 1, 1, 1, 1, ... равны 0. В таком случае преобразование Эйлера для 1 − 2 + 3 − 4 + … определяется следующим образом:

$\frac12 a_0-\frac14\Delta a_0 +\frac18\Delta^2 a_0 -\cdots = \frac12-\frac14.$

В современной терминологии, 1 − 2 + 3 − 4 + … называется суммируемым по Эйлеру, с суммой равной ¹⁄₄.

Суммируемость по Эйлеру также предполагает ещё один вид суммируемости. Представляя 1 − 2 + 3 − 4 + … как

$\sum_{k=0}^\infty a_k = \sum_{k=0}^\infty(-1)^k(k+1),$

получается сходящийся в каждой точке ряд:

$a(x) = \sum_{k=0}^\infty\frac{(-1)^k(k+1)x^k}{k!} = e^{-x}(1-x).$

Таким образом, борелева сумма ряда 1 − 2 + 3 − 4 + … составляет^[4]:59:

$\int_0^\infty e^{-x}a(x)\,dx = \int_0^\infty e^{-2x}(1-x)\,dx = \frac12-\frac14.$

Разделение шкал

Саичев и Войчинский пришли к значению 1 − 2 + 3 − 4 + … = ¹⁄₄, применяя два физических принципа: отбрасывание бесконечно малых и разделение шкал. Точнее, эти принципы помогли им сформулировать широкое семейство «методов φ-суммирования», все из которых дают сумму ¹⁄₄:

• Если φ(x) — это функция, первая и вторая производная которой непрерывно интегрируема на (0, ∞), такая что φ(0) = 1 и пределы φ(x) и xφ(x) при стремлении к +∞ оба равны нулю, то^[9]:260-264:

$\lim_{\delta\rightarrow0}\sum_{m=0}^\infty (-1)^m(m+1)\varphi(\delta m) = \frac14.$

Этот результат является обобщением абелева суммирования которое получается заменой φ(x) = exp(−x). Общее утверждение может быть доказано при помощи группирования по парам членов ряда по m и преобразовывая выражение в интеграл Римана. Относительно последнего шага, в соответствующем доказательстве для 1 − 1 + 1 − 1 + … применяется теорема Лагранжа о среднем значении, но здесь требуется более сильная форма Лагранжа теоремы Тейлора.

Обобщения ряда

Выдержки из стр.233 работы E212 — Institutiones calculi differentialis cum eius usu in analysi finitorum ac doctrina serierum. Эйлер суммирует ряды подобного типа, около 1755.

Трёхкратное произведение Коши для ряда 1 − 1 + 1 − 1 + … даёт ряд 1 − 3 + 6 − 10 + …, - знакочередующийся ряд из треугольных чисел, его абелева и эйлерова суммы равны ¹⁄₈.^[10]:313 Четырёхкратное произведение Коши ряда 1 − 1 + 1 − 1 + … даёт ряд 1 − 4 + 10 − 20 + …, - знакочередующийся ряд из тетраэдральных чисел, абелева сумма которого равна ¹⁄₁₆.

Другое обобщение ряда 1 − 2 + 3 − 4 + … возможно в несколько другом направлении: это семейство рядов 1 − 2ⁿ + 3ⁿ − 4ⁿ + … для других значений n. При положительных n подобный ряд имеет следующую абелеву сумму:

$1-2^{n}+3^{n}-\cdots = \frac{2^{n+1}-1}{n+1}B_{n+1}$

где B_n — числа Бернулли. Для чётных n, это сводится к

$1-2^{2k}+3^{2k}-\cdots = 0.$

Последняя сумма стала объектом насмешек со стороны Нильса Абеля в 1826:

«Расходящиеся ряды — это всецело работа дьявола, и стыд тому, кто пытается найти какие-либо доказательства относительно них. Можно получить из них, что захочешь, и это они породили так много горя и парадоксов. Можно ли представить что-либо более ужасное, чем сказать, что

0 = 1 − 2ⁿ + 3ⁿ − 4ⁿ + и т. д.

где n — положительное число. Здесь есть над чем посмеяться, друзья.» ^[11]:80

Учитель Чезаро, Эжен Каталан, также пренебрежительно относился к расходящимся рядам. Под влиянием Каталана, Чезаро изначально характеризовал «условные формулы» для ряда 1 − 2ⁿ + 3ⁿ − 4ⁿ + ... как «абсурдные выражения», и в 1883 Чезаро выражал общепринятый взгляд, что эти формулы ошибочны, но могут в чём-то быть формально полезны. Наконец, в своей работе Sur la multiplication des séries 1890 года Чезаро пришёл к современному подходу, начиная с определений^[3]:120-128.

Ряды были также исследованы для нецелых значений n; они дают эта-функцию Дирихле. Отчасти мотивацией Эйлера к изучению рядов, связанных с рядом 1 − 2 + 3 − 4 + …, стало функциональное уравнение для эта-функции, которое непосредственно ведёт к функциональному уравнению для дзета-функции Римана. Эйлер уже был знаменит нахождением значений этих функций для положительных чётных целых чисел (включая решение базельской проблемы), и попытался найти значения и для положительных нечётных целых чисел (включая постоянную Апери) — эта проблема не разрешена по сей день. Работать методами Эйлера с эта-функцией несколько проще, потому что её ряды Дирихле везде суммируемы по Абелю; ряды Дирихле дзета-функции гораздо сложнее суммировать там, где они расходятся^[6]:20-25. К примеру, 1 − 2 + 3 − 4 + … в дзета-функции соответствует знакопостоянный ряд 1 + 2 + 3 + 4 + …, который используется в современной физике, но требует гораздо более сильных методов суммирования.

Примечания

1. ↑ ^{1 2 3 4} Hardy G.H. Divergent Series. — Clarendon Press, 1949. — ISBN LCCN 91-75377
2. ↑ Beals Richard Analysis: an introduction. — Cambridge UP, 2004. — ISBN 0-521-60047-2
3. ↑ ^{1 2 3 4} Ferraro, Giovanni (June 1999). «The First Modern Definition of the Sum of a Divergent Series: An Aspect of the Rise of 20th Century Mathematics». Archive for History of Exact Sciences 54 (2): 101–135. DOI:10.1007/s004070050036.
4. ↑ ^{1 2 3} Weidlich John E. Summability methods for divergent series. — Stanford M.S. theses, 1950.
5. ↑ Tucciarone, John (January 1973). «The development of the theory of summable divergent series from 1880 to 1925». Archive for History of Exact Sciences 10 (1-2): 1–40. DOI:10.1007/BF00343405.
6. ↑ ^{1 2 3 4} Euler, Leonhard; Lucas Willis; and Thomas J Osler Translation with notes of Euler's paper: Remarks on a beautiful relation between direct as well as reciprocal power series. The Euler Archive (2006). Архивировано из первоисточника 10 июля 2012. Проверено 22 марта 2007. ; Работа была написана в 1749 году, но изначально издана только в 1968-м: Euler, Leonhard (1768). «Remarques sur un beau rapport entre les séries des puissances tant directes que réciproques». Memoires de l'academie des sciences de Berlin 17: 83–106.
7. ↑ Lavine Shaughan Understanding the Infinite. — Harvard UP, 1994. — ISBN 0-674-92096-1
8. ↑ Vretblad Anders Fourier Analysis and Its Applications. — Springer, 2003. — ISBN 0-387-00836-5
9. ↑ Saichev, A.I., and W.A. Woyczyński Distributions in the physical and engineering sciences, Volume 1. — Birkhaüser, 1996. — ISBN 0-8176-3924-1
10. ↑ Kline, Morris (November 1983). «Euler and Infinite Series». Mathematics Magazine 56 (5): 307–314. DOI:10.2307/2690371.
11. ↑ Grattan-Guinness Ivor The development of the foundations of mathematical analysis from Euler to Riemann. — MIT Press, 1970. — ISBN 0-262-07034-0