Содержимое удалено Содержимое добавлено
Версия от 14:55, 27 ноября 2016
Интеграл Борвейна - интеграл, рассмотренный Йонатаном и Питером Борвейнами, в котором задействована функция sinc [1] [2] .
В этих интегралах появляется интересная закономерность, которая в конце концов исчезает:
These integrals are remarkable for exhibiting apparent patterns which, however, eventually break down. An example is as follows,
∫
0
∞
sin
(
x
)
x
d
x
=
π
/
2
∫
0
∞
sin
(
x
)
x
sin
(
x
/
3
)
x
/
3
d
x
=
π
/
2
∫
0
∞
sin
(
x
)
x
sin
(
x
/
3
)
x
/
3
sin
(
x
/
5
)
x
/
5
d
x
=
π
/
2
{\displaystyle {\begin{aligned}&\int _{0}^{\infty }{\frac {\sin(x)}{x}}\,dx=\pi /2\\[10pt]&\int _{0}^{\infty }{\frac {\sin(x)}{x}}{\frac {\sin(x/3)}{x/3}}\,dx=\pi /2\\[10pt]&\int _{0}^{\infty }{\frac {\sin(x)}{x}}{\frac {\sin(x/3)}{x/3}}{\frac {\sin(x/5)}{x/5}}\,dx=\pi /2\end{aligned}}}
Эта закономерность продолжается до
∫
0
∞
sin
(
x
)
x
sin
(
x
/
3
)
x
/
3
⋯
sin
(
x
/
13
)
x
/
13
d
x
=
π
/
2
.
{\displaystyle \int _{0}^{\infty }{\frac {\sin(x)}{x}}{\frac {\sin(x/3)}{x/3}}\cdots {\frac {\sin(x/13)}{x/13}}\,dx=\pi /2~.}
Но на следующем шаге она нарушается[3] :
∫
0
∞
sin
(
x
)
x
sin
(
x
/
3
)
x
/
3
⋯
sin
(
x
/
15
)
x
/
15
d
x
=
467807924713440738696537864469
935615849440640907310521750000
π
=
π
2
−
6879714958723010531
935615849440640907310521750000
π
≃
π
2
−
2.31
×
10
−
11
.
{\displaystyle {\begin{aligned}\int _{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… заменить на положительные числа таки образом, что сумма обратных им чисек меньше одного.
В нашем примере 1 / 3 + 1 / 5 + … + 1 / 13 < 1 , но 1 / 3 + 1 / 5 + … + 1 / 15 > 1.
Пример более длинного ряда:
∫
0
∞
2
cos
(
x
)
sin
(
x
)
x
sin
(
x
/
3
)
x
/
3
⋯
sin
(
x
/
111
)
x
/
111
d
x
=
π
/
2
{\displaystyle \int _{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}
,
но
∫
0
∞
2
cos
(
x
)
sin
(
x
)
x
sin
(
x
/
3
)
x
/
3
⋯
sin
(
x
/
111
)
x
/
111
sin
(
x
/
113
)
x
/
113
d
x
<
π
/
2
,
{\displaystyle \int _{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] . В этом случае 1 / 3 + 1 / 5 + … + 1 / 111 < 2х , но 1 / 3 + 1 / 5 + … + 1 / 113 > 2 .
Примечания
↑ Borwein, David ; Borwein, Jonathan M. (2001), "Some remarkable properties of sinc and related integrals", The Ramanujan Journal , 5 (1): 73—89, doi :10.1023/A:1011497229317 , ISSN 1382-4090 , MR 1829810
↑ Baillie, Robert (2011). "Fun With Very Large Numbers". arXiv :1105.3943 [math.NT ].
↑ Математика, которая мне нравится Интересная последовательность
↑ Schmid, Hanspeter (2014), "Two curious integrals and a graphic proof" (PDF) , Elemente der Mathematik , 69 (1): 11—17, doi :10.4171/EM/239 , ISSN 0013-6018