Integrale di Borwein

Nella matematica, un integrale di Borwein è un integrale che coinvolge prodotti di $\mathrm{s}\mathrm{i}\mathrm{n}\mathrm{c}(ax)$, dove la funzione sinc è data da $\mathrm{s}\mathrm{i}\mathrm{n}\mathrm{c}(x)=\frac{\sin (x)}{x}$ per $x\ne 0$, e $\mathrm{s}\mathrm{i}\mathrm{n}\mathrm{c}(0)=1$.

Questi integrali sono importanti per esibire schemi apparenti che, tuttavia, alla fine falliscono. Un esempio è ciò che segue,

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

Questo schema continua fino a

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

Tuttavia, al passo successivo lo schema evidente fallisce,

$\begin{array}{cc}\underset{0}{\overset{\mathrm{\infty }}{\int }}\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{array}$

In generale, integrali analoghi valgono $\pi /2$ ogni qualvolta che $3,5,7,\dots$ siano sostituiti da numeri reali positivi tali che la somma dei loro reciproci sia strettamente minore di 1.

Nell'esempio precedente, $\frac{1}{3}+\frac{1}{5}+\dots +\frac{1}{13}<1$, ma $\frac{1}{3}+\frac{1}{5}+\dots +\frac{1}{15}>1$.

L'esempio con una serie più estesa

$\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}dx=\frac{\pi }{2},$

con tuttavia

$\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}dx<\frac{\pi }{2},$

è mostrato in insieme a una spiegazione matematica intuitiva del motivo per cui nella serie originale e in quella estesa lo schema fallisce. In questo caso, $\frac{1}{3}+\frac{1}{5}+\dots +\frac{1}{111}<2$, ma $\frac{1}{3}+\frac{1}{5}+\dots +\frac{1}{113}>2$.

Formula generale

Data una sequenza di numeri reali, $a_0,a_1,a_2,\dots$, si può fornire una formula generale per l'integrale

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

Per affermare la formula, serve considerare delle somme che coinvolgono $a_k$. In particolare, se $\gamma =({\gamma }_1,{\gamma }_2,\dots ,{\gamma }_n)\in \{\pm 1{\}}^n$ è una $n$-vettore dove ogni elemento è $\pm 1$, allora si scrive $b_{\gamma }=a_0+{\gamma }_1{a}_1+{\gamma }_2{a}_2+\cdots +{\gamma }_n{a}_n$, che è una specie di somma alternata dei primi $a_k$, e si imposta ${\epsilon }_{\gamma }={\gamma }_1{\gamma }_2\cdots {\gamma }_n$, che è anch'esso $\pm 1$. Con questa notazione, il valore dell'integrale di sopra è

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

dove

$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 })$

Nel caso in cui $a_0>|a_1|+|a_2|+\cdots +|a_n|$, si ha $C_n=1$.

Inoltre, se esiste un $n$ tale che per ogni $k=0,\dots ,n-1$ si ha $0<a_n<2a_k$ e $a_1+a_2+\cdots +a_{n-1}<a_0<a_1+a_2+\cdots +a_{n-1}+a_n$, cioè che $n$ è il primo valore per cui la somma dei primi $n$ elementi della sequenza supera $a_0$, allora $C_k=1$ per ogni $k=0,\dots ,n-1$ ma

$C_n=1-\frac{(a_1+a_2+\cdots +a_n-a_0{)}^n}{2^{n-1}n!\prod _{k=1}^n{a}_k}$

Il primo esempio è il caso in cui $a_k=\frac{1}{2k+1}$. Da notare che se $n=7$ allora $a_7=\frac{1}{15}$ e $\frac{1}{3}+\frac{1}{5}+\frac{1}{7}+\frac{1}{9}+\frac{1}{11}+\frac{1}{13}\approx 0.955$ ma $\frac{1}{3}+\frac{1}{5}+\frac{1}{7}+\frac{1}{9}+\frac{1}{11}+\frac{1}{13}+\frac{1}{15}\approx 1.02$, quindi poiché $a_0=1$, si ottiene

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

che rimane vera se si toglie qualunque fattore, tuttavia

$\begin{array}{cc}& \underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{\sin (x)}{x}\frac{\sin (x/3)}{x/3}\cdots \frac{\sin (x/15)}{x/15}dx\\ =& \frac{\pi }{2}(1-\frac{(3^{-1}+5^{-1}+7^{-1}+9^{-1}+11^{-1}+13^{-1}+15^{-1}-1{)}^7}{2^6\cdot 7!\cdot (1/3\cdot 1/5\cdot 1/7\cdot 1/9\cdot 1/11\cdot 1/13\cdot 1/15)})\end{array}$

che è uguale al valore dato precedentemente.

Bug di Maple

Fu schedato come bug per il supporto Maple. Ci sono voluti tre giorni allo sviluppatore Jacques Carette per capire che non fosse un errore .

Voci correlate

• Funzione sinc
• Integrale improprio
• Tavola degli integrali indefiniti di funzioni trigonometriche

Collegamenti esterni

• Template:Collegamenti esterni