Интеграл Борвейна

Интегралы Борвейна — интегралы, рассмотренные Дэвидом и Джонатаном Борвейнами, в которых задействована функция sinc[1][2].

В этих интегралах появляется интересная закономерность, которая в конце исчезает:

${\displaystyle {\begin{aligned}&\int \limits _{0}^{\infty }{\frac {\sin(x)}{x}}\,dx=\pi /2\\[10pt]&\int \limits _{0}^{\infty }{\frac {\sin(x)}{x}}{\frac {\sin(x/3)}{x/3}}\,dx=\pi /2\\[10pt]&\int \limits _{0}^{\infty }{\frac {\sin(x)}{x}}{\frac {\sin(x/3)}{x/3}}{\frac {\sin(x/5)}{x/5}}\,dx=\pi /2\end{aligned}}}$

Эта закономерность продолжается до

${\displaystyle \int \limits _{0}^{\infty }{\frac {\sin(x)}{x}}{\frac {\sin(x/3)}{x/3}}\cdots {\frac {\sin(x/13)}{x/13}}\,dx=\pi /2~.}$

Но на следующем шаге она нарушается[3]:

${\displaystyle {\begin{aligned}\int \limits _{0}^{\infty }{\frac {\sin(x)}{x}}{\frac {\sin(x/3)}{x/3}}\cdots {\frac {\sin(x/15)}{x/15}}\,dx&={\frac {467807924713440738696537864469}{935615849440640907310521750000}}~\pi \\&={\frac {\pi }{2}}-{\frac {6879714958723010531}{935615849440640907310521750000}}~\pi \\&\simeq {\frac {\pi }{2}}-2.31\times 10^{-11}~.\end{aligned}}}$

В общем случае, такие интегралы равны π2, если числа 3, 5, 7… заменить на положительные числа так, чтобы сумма обратных им чисел была меньше одного.

В нашем примере 13 + 15 + … + 113 < 1, но 13 + 15 + … + 115 > 1.

Пример более длинного ряда:

${\displaystyle \int \limits _{0}^{\infty }2\cos(x){\frac {\sin(x)}{x}}{\frac {\sin(x/3)}{x/3}}\cdots {\frac {\sin(x/111)}{x/111}}\,dx=\pi /2}$,

но

${\displaystyle \int \limits _{0}^{\infty }2\cos(x){\frac {\sin(x)}{x}}{\frac {\sin(x/3)}{x/3}}\cdots {\frac {\sin(x/111)}{x/111}}{\frac {\sin(x/113)}{x/113}}\,dx<\pi /2,}$

как показано в статье Шмида Ханспетера[4]. В этом случае это связано с тем, что 13 + 15 + … + 1111 < 2, но 13 + 15 + … + 1113 > 2.

Джонатан Борвейн, зная, что закономерность нарушается на восьмом элементе, написал в службу поддержки программного пакета Maple заявку о «баге». У разработчика Жака Каретта заняло трое суток понять, что это не ошибка[5][6].