Borwein-Integral

In der Mathematik bezeichnet Borwein-Integral Integralterme, die Produkte der Sinc-Funktion enthalten und deren ungewöhnliche Eigenschaften erstmals 2001 von den Mathematikern David Borwein und Jonathan Borwein vorgestellt wurden.

Folgen dieser Integrale sind bekannt dafür, dass sie scheinbare Muster beinhalten, die sich dann aber als falsch herausstellen.

Einfache Folge

Die einfachste Folge sind folgende Integrale, die für die ersten sieben Glieder exakt $\pi /2$, danach aber minimal kleinere Werte liefert.

$\begin{array}{cc}& A_1=\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{\sin (x)}{x}\mathrm{d}x=\pi /2\\ & A_2=\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{\sin (x)}{x}\frac{\sin (x/3)}{x/3}\mathrm{d}x=\pi /2\\ & A_3=\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{\sin (x)}{x}\frac{\sin (x/3)}{x/3}\frac{\sin (x/5)}{x/5}\mathrm{d}x=\pi /2\end{array}$

Dieses Muster wiederholt sich bis

$A_7=\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{\sin (x)}{x}\frac{\sin (x/3)}{x/3}\cdots \frac{\sin (x/13)}{x/13}\mathrm{d}x=\pi /2$

Das folgende Glied lautet aber:

$\begin{array}{cc}{A}_8& =\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{\sin (x)}{x}\frac{\sin (x/3)}{x/3}\cdots \frac{\sin (x/13)}{x/13}\frac{\sin (x/15)}{x/15}\mathrm{d}x\\ & =\frac{467807924713440738696537864469}{935615849440640907310521750000}\pi \\ & =\frac{\pi }{2}-\frac{6879714958723010531}{935615849440640907310521750000}\pi \\ & \simeq \frac{\pi }{2}-2,310057\cdot 10^{-11}<\frac{\pi }{2}.\end{array}$

Auch die folgenden Glieder $A_9,A_{10},\dots$ weichen immer weiter von $\pi /2$ ab. Der Grenzwert $A_{\mathrm{\infty }}$ liegt bei etwa $\pi /2-3,52\cdot 10^{-5}$.

Hinweis

Man beachte $1/3+1/5+\dots +1/13=0,9551\dots \le 1$,  aber $1/3+1/5+\dots +1/13+1/15=1,0218\dots \le ̸1$.

Längere Folge

Wem das noch nicht gereicht hat, die Folge behält dieses Verhalten wesentlich länger bei:

$\begin{array}{cc}& A_1=\underset{0}{\overset{\mathrm{\infty }}{\int }}2\cos (x)\frac{\sin (x)}{x}\mathrm{d}x=\pi /2\\ & A_2=\underset{0}{\overset{\mathrm{\infty }}{\int }}2\cos (x)\frac{\sin (x)}{x}\frac{\sin (x/3)}{x/3}\mathrm{d}x=\pi /2\\ & A_3=\underset{0}{\overset{\mathrm{\infty }}{\int }}2\cos (x)\frac{\sin (x)}{x}\frac{\sin (x/3)}{x/3}\frac{\sin (x/5)}{x/5}\mathrm{d}x=\pi /2\end{array}$

Dieses Muster wiederholt sich hier bis

$A_{56}=\underset{0}{\overset{\mathrm{\infty }}{\int }}2\cos (x)\frac{\sin (x)}{x}\frac{\sin (x/3)}{x/3}\cdots \frac{\sin (x/111)}{x/111}\mathrm{d}x=\pi /2,$

aber nicht mehr bei diesem Glied

$A_{57}=\underset{0}{\overset{\mathrm{\infty }}{\int }}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}\mathrm{d}x\simeq \frac{\pi }{2}-2,332429\cdot 10^{-138}<\frac{\pi }{2}.$

Hinweis

Man beachte $1/1+1/3+\dots +1/111=2,9944\dots <3$,  aber $1/1+1/3+\dots +1/111+1/113=3,0032\dots >3$.

Noch längere Folge

Diese Folge reißt erst nach 14419 Gliedern aus.

$\begin{array}{cc}& A_1=\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{\sin (x)}{x}\mathrm{d}x=\pi /2\\ & A_2=\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{\sin (x)}{x}\frac{\sin (x/11)}{x/11}\mathrm{d}x=\pi /2\\ & A_3=\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{\sin (x)}{x}\frac{\sin (x/11)}{x/11}\frac{\sin (x/21)}{x/21}\mathrm{d}x=\pi /2\end{array}$

Dieses Muster wiederholt sich bis

$A_{14418}=\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{\sin (x)}{x}\frac{\sin (x/11)}{x/11}\cdots \frac{\sin (x/144171)}{x/144171}\mathrm{d}x=\pi /2$

Das folgende Glied lautet aber:

$A_{14419}=\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{\sin (x)}{x}\frac{\sin (x/11)}{x/11}\cdots \frac{\sin (x/144171)}{x/144171}\frac{\sin (x/144181)}{x/144181}\mathrm{d}x<\frac{\pi }{2}.$

Hinweis

Man beachte $1/11+1/21+\dots +1/144171=0,999995990\dots \le 1$,  aber $1/11+1/21+\dots +1/144171+1/144173=1,000002925\dots \le ̸1$.

Allgemeine Formel

Für eine Folge reeller Zahlen, $a_0,a_1,a_2,\dots$ kann eine geschlossene Form von

$\underset{0}{\overset{\mathrm{\infty }}{\int }}\prod _{k=0}^n\frac{\sin (a_{k}x)}{a_{k}x}\mathrm{d}x$

gegeben werden. Die geschlossene Form befasst sich mit Summen der $a_k$. Für ein n-Tupel $\gamma =({\gamma }_1,{\gamma }_2,\dots ,{\gamma }_n)\in \{\pm 1{\}}^n$ sei $b_{\gamma }:=a_0+{\gamma }_1{a}_1+{\gamma }_2{a}_2+\cdots +{\gamma }_n{a}_n$. Ein solches $b_{\gamma }$ ist eine „alternierende Summe“ der ersten $a_k$. Setze ${\epsilon }_{\gamma }={\gamma }_1{\gamma }_2\cdots {\gamma }_n=\pm 1$. Dann ist

$\underset{0}{\overset{\mathrm{\infty }}{\int }}\prod _{k=0}^n\frac{\sin (a_{k}x)}{a_{k}x}\mathrm{d}x=\frac{\pi }{2a_0}{C}_n$,

wobei

$C_n:=\frac{1}{2^{n}n!\prod _{k=1}^n{a}_k}\sum _{\gamma \in \{\pm 1{\}}^n}{\epsilon }_{\gamma }{b}_{\gamma }^n\mathrm{sgn}(b_{\gamma })$

Falls $a_0>|a_1|+|a_2|+\cdots +|a_n|$ gilt $C_n=1$.

Weblinks

• David Borwein, Jonathan M. Borwein: Some Remarkable Properties of Sinc and Related Integrals
• Vorlage:YouTube