Ловушка для физика

Физики зачастую делают необоснованные с точки зрения математики предположения. Например, они совершенно свободно переставляют порядок интегрирования в многомерных интегралах, не задумываясь об их сходимости. Или определяют дельта-функцию как функцию, интеграл от которой равен единице, — от этого у математиков становится особенно тяжело на душе. Или проверяют, что какая-нибудь формула выполняется в нескольких частных случаях, а потом без доказательства считают, что она работает всегда. Поэтому математикам приходится строго обосновывать физические теории, а в некоторых случаях искать для них контрпримеры. Здесь мы рассмотрим пример равенства, которое справедливо для огромного числа частных случаев, но в целом не верно.

Известным примером последовательности, которая кажется постоянной до достаточно большого номера, а потом неожиданно нарушается, являются интегралы Борвейна. Скорее всего, вы о них слышали. Первый член этой последовательности определяется как интеграл по промежутку $[0, +\infty)$ от кардинального синуса $\operatorname{sinc}(x) = \sin(x)/x$ , доопределенного в нуле значением $\operatorname{sinc}(0) = 1$ . Второй интеграл вычислить чуть сложнее — под его знаком стоит произведение $\operatorname{sinc}(x)\cdot\operatorname{sinc}(x/3)$ . Продолжая эту закономерность, мы получим $n$ -ный член последовательности, равный интегралу от произведения $n$ кардинальных синусов:

$B_n = \int\limits_{0}^{+\infty}\operatorname{sinc}(x)\cdot\operatorname{sinc}(x/3)\cdots\operatorname{sinc}(x/(2n-1))dx$ .

Так вот, оказывается, что первые семь интегралов в точности равны $\pi/2$ , но восьмой немножко не дотягивает до этого числа и примерно равен $B_8 \approx \pi/2 - 2{,}31\times 10^{-11}$ .

Почему же так происходит? Чтобы разобраться, придется вспомнить преобразование Фурье, свертку функций и теорему Парсеваля. Если вкратце, дело в том, что интегралы Борвейна можно свести к интегралам по промежутку $[0, 1]$ от некоторых функций $F_n(x)$ , носитель которых $\operatorname{supp}F_n$ постепенно увеличивается с ростом $n$ . Носитель — это такая область, на которой функция отлична от нуля. В нашем случае оказывается, что «правая граница» $\operatorname{supp}F_n$ проходит по значению $1/3 + 1/5 + \cdots + 1/(2n - 1)$ . До тех пор, пока носитель полностью попадает в отрезок $[0, 1]$ , интегралы вычисляются примерно одинаково и равны $\pi/2$ . Однако при $n = 8$ эта сумма впервые переваливает через единицу (можете проверить), а потому при вычислении $B_8$ приходится делать небольшую поправку. Более подробное обоснование можно найти в этой замечательной заметке или в научной статье Давида и Джонатана Борвейнов.

С помощью функции $\operatorname{sinc}(x)$ можно сконструировать и другие последовательности, члены которых долгое время остаются равными какому-то заданному числу, а потом внезапно от него отклоняются. Один из способов сделать это основан на следующем утверждении, доказанном Робертом Байли и братьями Борвейнами в 2007 году и связывающим сумму и интеграл от произведения большого числа кардинальных синусов:

$\frac{1}{2}+\sum_{n=1}^{\infty}\prod_{k=0}^{N}\operatorname{sinc}(a_kn)= \int\limits_{0}^{+\infty}\prod_{k=0}^{N}\operatorname{sinc}(a_kn)dx$ .

Важным дополнением к этому равенству является замечание, что оно выполняется только тогда, когда сумма всех коэффициентов $a_k$ от $k = 0$ до $N$ не превышает $2\pi$ , то есть $\sum_{k=0}^{N} a_k \le 2\pi$ . Если последовательность $\{a_k\}$ очень слабо расходится, это условие будет долгое время выполняться, но в конце концов нарушится при очень большом числе $N$ . Посмотрим, что получится, если выбирать различные такие последовательности.

Например, возьмем самое простое, что приходит в голову — последовательность обратных нечетных чисел, $a_k = 1/(2k + 1)$ . Кстати, в этом случае в правой части равенства будут стоять интегралы Борвейна. Сумма такой последовательности превосходит $2\pi$ только при добавлении $40249$ -ого члена. Это можно доказать, честно просуммировав числа, а можно применить формулу Эйлера — Маклорена, свести сумму к интегралу, приравнять $2\pi$ и получить уравнение на $N$ . Второй способ даже предпочтительнее, поскольку в нем не накапливаются ошибки при суммировании маленьких чисел. Вообще говоря, эти ошибки могли бы сыграть очень важную роль, поскольку левая и правая часть обсуждаемой формулы отличается при $N = 40249$ на ничтожно малое число $8{,}42\times 10^{-226577}$ . Другими словами, если бы кто-то захотел убедиться в том, что равенство действительно нарушается, ему бы пришлось проверить около сорока тысяч частных случаев, удерживая при этом в уме не менее двухсот тысяч десятичных знаков! Ну или он мог бы взять не такую медленную последовательность.

С другой стороны, не обязательно брать именно нечетные числа — вместо двойки в формуле для $a_k$ можно подставить произвольное число $m$ , то есть $a_k = 1/(mk + 1)$ . При увеличении $m$ очень быстро растет граничное число $N$ . Например, при $m = 20$ мы получим $N \approx 4{,}7\times 10^{47}$ , а при $m = 100$ число $N$ имеет $230$ десятичных цифр, то есть $N \approx 1{,}6\times 10^{229}$ . Эти примеры служат замечательным напоминанием, что на формулы нельзя полагаться даже тогда, когда они выполняются для первых ста, или тысячи, или десяти тысяч значений.

Этот результат можно «улучшить», если взять последовательности, которые сходятся еще слабее. Например, сумма последовательности обратных простых чисел — то есть $a_0 = 1/2$ , $a_1 = 1/3$ , $a_2 = 1/5$ и так далее — равна $S_n(x) = \ln(\ln(x)) + B + o(1)$ , где $x$ — это наибольшее простое число в последовательности, $B$ — постоянная Мертенса, а $o(1)$ — о-малое. Легко проверить, что эта сумма превосходит $2\pi$ только при $x = \exp(\exp(2\pi - B)) \approx 10^{179}$ . С другой стороны, существует около $10^{176}$ простых чисел, не превышающих такой $x$ (теорема о распределении простых чисел). Получается, что всего в последовательности должно набраться примерно $N \approx 10^{176}$ слагаемых, чтобы формула для кардинальных синусов нарушилась. При этом отличие между левой и правой стороной составит не больше, чем $10^{-10^{165}}$ .

Разумеется, это тоже не предел, и легко придумать еще более медленно сходящие последовательности. «Просеем» множество простых чисел, то есть оставим только такие простые, которые можно представить в виде $p = qn + a$ , где $q$ , $n$ и $a$ — натуральные числа. Теорема Дирихле утверждает, что их будет бесконечно много, если $q$ и $a$ взаимно просты. Таким образом можно получить по-настоящему гигантские числа, на которых равенство перестает выполняться. Например, для $q = 3$ , $a = 1$ мы получаем $N \approx 10^{254255}$ , для $q = 10$ , $a = 7$ число $N \approx 10^{54112058076}$ , а для $q = 100$ , $a = 1$ находим $N \approx 10^{10^{109}}$ . Другими словами, чтобы описать момент, когда утверждение о замене суммы интегралом перестает быть верным, нам понадобится число с $10^{109}$ десятичными знаками!

Продолжать эту игру можно до бесконечности — простых чисел бесконечно много, и выбирая все большие и большие числа в качестве «разреживающего множителя» $q$ , мы получим последовательности, которые все медленнее и медленнее сходятся к $2\pi$ . Напоследок рассмотрим число $Q = P$ , где $P$ — наибольшее известное на данный момент простое число. На данный момент это 50-е число Мерсенна $P = 2^{77232917} - 1$ , десятичная его запись содержит около $10^7$ цифр (если точнее — $23249425$ ). В этом случае номер $N$ можно оценить как $N \approx \exp(\exp(Q))$ , и записать это число уже не так-то просто. Логарифмируя его несколько раз подряд, мы получим, что $\ln(\ln(\ln(N))) \approx P\ln(P) \approx 10^{23249425}\cdot 10^{7{,}3}\approx \ln(10)$ . Логарифмируя еще два раза, находим $\ln(\ln(\ln(\ln(\ln(N))))) \approx 17{,}8 > e^e \approx 15{,}15$ . Поэтому конечный результат можно записать в красивой форме:

$N \approx e^{e^{e^{e^{e^{e^{e}}}}}}$

Основано на статье математика Роберта Байли (Robert Baillie). В ней вы можете найти более строгие выводы чисел, на которых теорема о замене суммы интегралом перестает работать, а также расчеты с использованием Wolfram Mathematica и примеры других последовательностей.

Дмитрий Трунин
N+1

Комментарии: 1

∀ x, y, z

Ловушка для физика

Теги