Utente:Adriano.caroli/Sandbox

Il problema di Basilea è un famoso problema dell'analisi matematica, proposto per la prima volta da Pietro Mengoli nel 1644 e risolto da Eulero nel 1735. Il problema aveva resistito agli attacchi dei più grandi matematici dell'epoca e quindi la soluzione di Eulero, appena ventottenne, suscitò stupore e ammirazione. Il problema di Basilea chiede di scoprire la somma esatta della serie infinita:

${\displaystyle \sum _{n=1}^{\infty }{\frac {1}{n^{2}}}={\frac {1}{1^{2}}}+{\frac {1}{2^{2}}}+{\frac {1}{3^{2}}}+\cdots }$

La serie è approssimativamente uguale a 1,644934.... Il problema di Basilea consiste nel trovare la somma esatta di questa serie. Eulero dimostrò che la somma esatta è ${\displaystyle {\frac {\pi ^{2}}{6}}}$ e annunciò questa scoperta nel 1735. Le sue dimostrazioni erano basate su passaggi non chiariti appieno. Per una dimostrazione rigorosa bisognerà aspettare fino al 1741.

La funzione zeta di Riemann ${\displaystyle \zeta (s)}$ è una delle più importanti della matematica in parte perché è in relazione con la distribuzione dei numeri primi. La funzione è definita per tutti i numeri complessi con parte reale maggiore di 1 dalla formula:

${\displaystyle \zeta (s)=\sum _{n=1}^{\infty }{\frac {1}{n^{s}}}.}$

Per ${\displaystyle s=2}$, ${\displaystyle \zeta (2)}$ è uguale alla somma degli inversi dei quadrati di tutti i numeri naturali.

${\displaystyle \zeta (2)=\sum _{n=1}^{\infty }{\frac {1}{n^{2}}}={\frac {1}{1^{2}}}+{\frac {1}{2^{2}}}+{\frac {1}{3^{2}}}+{\frac {1}{4^{2}}}+\cdots \approx 1,644934...}$

Dato che tutti i suoi termini sono positivi, si dimostra la convergenza di ${\displaystyle \zeta (2)}$ con la disuguaglianza:

${\displaystyle {\begin{aligned}\sum _{n=1}^{N}{\frac {1}{n^{2}}}&<1+\sum _{n=2}^{N}{\frac {1}{n(n-1)}}\\&=1+\sum _{n=2}^{N}\left({\frac {1}{n-1}}-{\frac {1}{n}}\right)\\&=1+\,1-{\cancel {\frac {1}{2}}}\,+\,{\cancel {\frac {1}{2}}}-{\cancel {\frac {1}{3}}}\,+\,{\cancel {\frac {1}{3}}}\cdots \cdots -{\cancel {\frac {1}{N-1}}}\,+\,{\cancel {\frac {1}{N-1}}}-{\frac {1}{N}}\\&=2-{\frac {1}{N}}\\&=\lim _{N=1}^{\infty }\;2-{\frac {1}{N}}=\;2\end{aligned}}}$

Inoltre questa disuguaglianza stabilisce il limite superiore < 2 di ${\displaystyle \zeta (2)}$.

Si ha una dimostrazione alternativa di convergenza sostituendo in ciascuna frazione con denominatore diverso da potenza di due la frazione con denominatore la potenza di due di valore immediatamente superiore. In questo modo si ottiene una serie che ha somme parziali sempre superiori alla serie ${\displaystyle \;\zeta (2)<2}$.:

${\displaystyle \zeta {(2)}\;<\;S_{a}={\frac {1}{1^{2}}}+{\frac {1}{2^{2}}}+{\frac {1}{2^{2}}}+{\frac {1}{4^{2}}}+{\frac {1}{4^{2}}}+{\frac {1}{4^{2}}}+{\frac {1}{4^{2}}}+\dots +{\frac {2^{n}}{({2^{n}})^{2}}}+\dots }$

Si nota facilmente che ${\displaystyle S_{a}}$ equivale alla serie degli inversi delle potenze di due:

${\displaystyle S_{b}={\frac {1}{2^{0}}}+{\frac {1}{2^{1}}}+{\frac {1}{2^{2}}}+{\frac {1}{2^{3}}}+{\frac {1}{2^{4}}}+\dots +{\frac {1}{2^{n}}}+\dots }$

che è convergente essendo una serie geometrica di ragione ${\displaystyle x={\frac {1}{2}}<1}$ (che come noto, converge a ${\displaystyle 2}$).

Ma se ${\displaystyle S_{b}}$ è convergente, allora lo è anche la serie ${\displaystyle \;\zeta (2)<2}$ in quanto le sue somme parziali sono sempre minori di quelle di ${\displaystyle S_{b}}$.

Eulero suppose che le regole dei polinomi finiti fossero valide anche per le serie infinite. Naturalmente questa supposizione richiede una dimostrazione, ma anche senza giustificazione, semplicemente ottenendo un valore prossimo a quello ottenuto col calcolo egli poteva essere piuttosto sicuro della correttezza del suo risultato. Si consideri lo sviluppo in serie di Taylor della funzione seno centrato in ${\displaystyle 0}$:

${\displaystyle \sin(x)=x-{\frac {x^{3}}{3!}}+{\frac {x^{5}}{5!}}-{\frac {x^{7}}{7!}}+\cdots .}$

Dividendo per ${\displaystyle x}$ entrambi i termini si ottiene:

${\displaystyle {\frac {\sin(x)}{x}}=1-{\frac {x^{2}}{3!}}+{\frac {x^{4}}{5!}}-{\frac {x^{6}}{7!}}+\cdots .}$

Le radici di questo polinomio sono ${\displaystyle \pi ,-\pi ,2\pi ,-2\pi ,3\pi ,-3\pi ,\ldots }$.

Si ponga ${\displaystyle z=x^{2}}$:

${\displaystyle {\frac {\sin({\sqrt {z}})}{\sqrt {z}}}=1-{\frac {z}{3!}}+{\frac {z^{2}}{5!}}-{\frac {z^{3}}{7!}}+\cdots .}$

Le radici di questo polinomio sono: ${\displaystyle \pi ^{2},4\pi ^{2},9\pi ^{2},\ldots }$. La formula di Viète dice che la somma dei reciproci delle radici di un polinomio con termine di grado 0 uguale a 1 è uguale al coefficiente del termine di primo grado cambiato di segno. In altre parole la somma dei reciproci delle radici del polinomio ${\displaystyle a_{n}x^{n}+\cdots +a_{3}x^{3}+a_{2}x^{2}+bx+1}$ è ${\displaystyle -b}$.

Si supponga di poter applicare le regole dei polinomi finiti anche per questo polinomio infinito. Si ottiene:

${\displaystyle {\frac {1}{3!}}={\frac {1}{6}}={\frac {1}{\pi ^{2}}}+{\frac {1}{4\pi ^{2}}}+{\frac {1}{9\pi ^{2}}}+{\frac {1}{16\pi ^{2}}}+\cdots }$

Moltiplicando entrambi i termini per ${\displaystyle \pi ^{2}}$ si ha:

${\displaystyle {\frac {\pi ^{2}}{6}}=1+{\frac {1}{4}}+{\frac {1}{9}}+{\frac {1}{16}}+\cdots =\zeta (2)}$

La seguente dimostrazione di ${\displaystyle \zeta (2)=\pi ^{2}/6}$ è la più semplice disponibile; mentre la maggior parte delle altre utilizza i risultati dalla matematica avanzata, quali analisi di Fourier, analisi complessa e calcolo a più variabili.

L'origine della dimostrazione è poco chiara. È comparsa sulla rivista Eureka nel 1982, attribuita a John Scholes, ma era “conoscenza comune” a Cambridge verso la fine degli anni '60.

Nozioni preliminari:

• La formula di De Moivre: ${\displaystyle (\cos x+i\sin x)^{n}=\cos(nx)+i\sin(nx).}$
  • Per la dimostrazione vedere formula di Eulero.
• Il teorema binomiale: ${\displaystyle (x+y)^{n}=\sum _{k=0}^{n}{n \choose k}x^{k}y^{n-k}}$     dove   ${\displaystyle {n \choose k}={\frac {n!}{k!(n-k)!}}}$   è il coefficiente binomiale.
  • La dimostrazione fa uso delle proprietà dei coefficienti binomiali e il principio di induzione.
• La funzione cot² x ha una corrispondenza biunivoca nell'intervallo (0, p/2).
  • Dimostrazione: si supponga che cot² x = cot² y per alcuni x e y nell'intervallo (0, p/2). Dalla definizione di cotangente cot x = (cos x)/(sin x) e dell'identità trigonometrica cos² x = 1 - sin² x, si ricava (sin² x)(1 - sin² y) = (sin² y)(1 - sin² x). Aggiungendo (sin² x)(sin² y) a entrambi i termini si ottiene sin² x = sin² y. Poiché la funzione seno non è mai negativa in (0, p/2), si ha sin x = sin y, ma guardando circonferenza goniometrica è geometricamente evidente che la funzione seno è crescente nell'intervallo (0, p/2), per cui x = y.
• Se p(t) è un polinomio di grado m, p ha esattamente m radici in C, contate con le relative :molteplicità.
  • Dimostrazione: qualunque numero di soluzioni diverso da m sarebbe in conflitto col teorema fondamentale dell'algebra.

• Se ${\displaystyle p(t)=a_{m}t^{m}+a_{m-1}t^{m-1}+\cdots +a_{1}t+a_{0}}$ dove ${\displaystyle a_{m}>0}$ allora la somma ${\displaystyle t_{1}+t_{2}+\cdots +t_{m}}$ delle radici di p (contando le molteplicità) è ${\displaystyle -{\frac {a_{m-1}}{a_{m}}}}$.
  • Dimostrazione: Se ${\displaystyle a_{m}=1}$ allora ${\displaystyle p(t)=\prod _{s=1}^{t_{m}}t-s}$. Espandendo questo prodotto, si vede che il coefficiente di ${\displaystyle t^{m-1}}$

è l'opposto della somma di tutte le altre radici. Se ${\displaystyle a_{m}>1}$, è possibile dividere per esso ogni termine, ottenendo un nuovo polinomio con le stesse radici, il cui coefficiente di partenza è 1; reiterando lo stesso ragionamento, si vede che la somma di tutte le radici di ${\displaystyle p(t)=}$ somma di tutte le radici del nuovo polinomio ${\displaystyle -{\frac {a_{m-1}}{a_{m}}}}$

• L'identità trigonometrica: ${\displaystyle csc^{2}x=1+cot^{2}x}$
  • Dimostrazione: È conseguenza dell'identità fondamentale ${\displaystyle 1=\sin ^{2}x+\cos ^{2}x}$ dove ogni termine è stato diviso per ${\displaystyle \sin ^{2}x}$.
• Per un numero reale ${\displaystyle 0\leq x\leq p/2}$ vale la diseguaglianza ${\displaystyle \cot ^{2}x<1/x^{2}<\csc ^{2}x}$.
  • Per x piccoli, è noto che ${\displaystyle 0<\sin x<x<\tan x}$, come è possibile vedere qui:

Per notare che ${\displaystyle \sin x<x}$, si osservi il fatto che nella figura ${\displaystyle \sin \theta }$ è la lunghezza della linea AC, e ${\displaystyle \theta }$ è la lunghezza dell'arco circolare AD.

Per notare che ${\displaystyle x<\tan x}$, si osservi che l'area del triangolo OAE è ${\displaystyle \tan(\theta )/2}$, l'area del settore OAD è ${\displaystyle \theta /2}$, e che il settore è contenuto nel triangolo.

Si consideri il reciproco di ogni elemento trigonometrico fin qui nominato e se ne calcoli il quadrato. La disequazione sui reciproci ha direzione opposta.

• Dati tre numeri reali a, b, c con a>0; il limite della funzione (am + b)/(am + c) con m che tende a infinito è 1, cioè ${\displaystyle \lim _{m\to \infty }{\frac {am+b}{am+c}}=1}$.
  • Dimostrazione: Si divida ogni termine per m, e si prenda (a + b/m)/(a + c/m). Dato che quoziente di una frazione il cui denominatore cresce indefinitamente tende a zero; così, sia numeratore sia denominatore tendono ad a, e il loro quoziente tende a 1.
• Il teorema del confronto per le funzioni (o teorema dei carabinieri): se una funzione è maggiorata e minorata da due funzioni che tendono allo stesso limite, allora anche la funzione in questione tende a tale limite.

L'idea principale di questa dimostrazione è trovare un limite alle somme parziali

${\displaystyle \sum _{k=1}^{m}{\frac {1}{k^{2}}}={\frac {1}{1^{2}}}+{\frac {1}{2^{2}}}+\cdots +{\frac {1}{m^{2}}}}$

tra due espressioni tendenti ciascuna a ${\displaystyle \pi ^{2}/6}$ (con m che tende a infinito). Le due espressioni sono derivate dalle identità che coinvolgono le funzioni di cosecante e di cotangente. Queste identità a loro volta sono derivate dalla formula di De Moivre. Dati il numero reale ${\displaystyle x}$ compreso tra ${\displaystyle 0}$ e ${\displaystyle \pi /2}$ e l'intero positivo ${\displaystyle n}$, in base alla formula di De Moivre si ha:

${\displaystyle {\begin{aligned}{\frac {\cos(nx)+i\sin(nx)}{(\sin x)^{n}}}&={\frac {(\cos x+i\sin x)^{n}}{(\sin x)^{n}}}\\&=\left({\frac {\cos x+i\sin x}{\sin x}}\right)^{n}\\&=(\cot x+i)^{n}\end{aligned}}}$

Dal teorema binomiale si ricava:

${\displaystyle {\begin{aligned}(\cot x+i)^{n}&={n \choose 0}\cot ^{n}x+{n \choose 1}(\cot ^{n-1}x)i+\cdots +{n \choose {n-1}}(\cot x)i^{n-1}+{n \choose n}i^{n}\\&=\left[{n \choose 0}\cot ^{n}x-{n \choose 2}\cot ^{n-2}x\pm \cdots \right]+i\left[{n \choose 1}\cot ^{n-1}x-{n \choose 3}\cot ^{n-3}x\mp \cdots \right]\end{aligned}}}$

La combinazione delle due equazioni dà la seguente identità:

${\displaystyle {\frac {\sin(nx)}{(\sin x)^{n}}}=\left[{n \choose 1}\cot ^{n-1}x-{n \choose 3}\cot ^{n-3}x\mp \cdots \right].}$

Si ponga ${\displaystyle n=2m+1}$, dove ${\displaystyle m}$ è un naturale per cui ${\displaystyle n}$ è un valore dispari.

Per ${\displaystyle nx=j\pi }$ con ${\displaystyle j=1,2,\ldots ,m}$, cioè per ${\displaystyle x=j\pi /n=j\pi /(2m+1)}$ si ha ${\displaystyle \sin(nx)=0}$ per ogni valore di ${\displaystyle n}$, quindi l'identità sopra esposta diventa:

${\displaystyle 0={{2m+1} \choose 1}\cot ^{2m}x-{{2m+1} \choose 3}\cot ^{2m-2}x\mp \cdots +(-1)^{m}{{2m+1} \choose {2m+1}}.}$

I valori di ${\displaystyle x=j\pi /(2m+1)}$ (con ${\displaystyle j=1,2,\ldots ,m}$) che soddisfano l'equazione precedente sono compresi tra ${\displaystyle 0}$ e ${\displaystyle \pi /2}$, e poiché la funzione ${\displaystyle \cot ^{2}(x)=\cot ^{2}(j\pi /(2m+1))}$ ha corrispondenza biunivoca nell'intervallo ${\displaystyle (0,\pi /2)}$ essa assume un valore diverso per ogni ${\displaystyle j=1,2,\ldots ,m}$. Dalla suddetta equazione risulta che ciascuno di questi numeri (diversi) è la radice di un polinomio ${\displaystyle p(t)}$ di grado ${\displaystyle m}$ in ${\displaystyle t=\cot ^{2}x}$,

${\displaystyle p(t):={{2m+1} \choose 1}t^{m}-{{2m+1} \choose 3}t^{m-1}\mp \cdots +(-1)^{m}{{2m+1} \choose {2m+1}}.}$

È dunque possibile calcolare direttamente la somma delle ${\displaystyle m}$ radici ${\displaystyle t_{j}}$ prendendo in considerazione i coefficienti di ${\displaystyle p(t)}$.

${\displaystyle \sum _{j=1}^{m}t_{j}={{2m+1} \choose 3}/{{2m+1} \choose 1}={\frac {2m(2m-1)}{6}}}$

Ricordando che ${\displaystyle t=\cot ^{2}x}$ ed inserendo l'identità trigonometrica ${\displaystyle \csc ^{2}x=\cot ^{2}x+1}$ si ottiene:

${\displaystyle {\frac {2m(2m-1)}{6}}=\sum _{j=1}^{m}t_{j}=\sum _{j=1}^{m}\cot ^{2}x=\sum _{j=1}^{m}\left(\csc ^{2}x-1\right)=-m+\sum _{j=1}^{m}\csc ^{2}x}$

Ricordando inoltre che ${\displaystyle x=j\pi /(2m+1)}$ si ottiene:

${\displaystyle \sum _{j=1}^{m}\csc ^{2}x=\sum _{j=1}^{m}\csc ^{2}\left({\frac {j\pi }{2m+1}}\right)={\frac {2m(2m-1)}{6}}+m={\frac {2m(2m+2)}{6}}}$

Considerando la disuguaglianza ${\displaystyle \cot ^{2}x<1/x^{2}<\csc ^{2}x}$ per ciascuno dei numeri ${\displaystyle x=j\pi /(2m+1)}$ e sommandoli, per le due identità precedenti ai ottiene:

${\displaystyle {\frac {2m(2m-1)}{6}}<\left({\frac {2m+1}{\pi }}\right)^{2}+\left({\frac {2m+1}{2\pi }}\right)^{2}+\cdots +\left({\frac {2m+1}{m\pi }}\right)^{2}<{\frac {2m(2m+2)}{6}}.}$

A questo punto moltiplicando per ${\displaystyle (\pi /(2m+1))^{2}}$ si ha:

${\displaystyle {\frac {\pi ^{2}}{6}}\left[{\frac {2m(2m-1)}{(2m+1)^{2}}}\right]<{\frac {1}{1^{2}}}+{\frac {1}{2^{2}}}+\cdots +{\frac {1}{m^{2}}}<{\frac {\pi ^{2}}{6}}\left[{\frac {2m(2m+2)}{(2m+1)^{2}}}\right].}$

Per ${\displaystyle m}$ tendente a infinito i termini a sinistra e a destra delle disuguaglianze convergono entrambi a ${\displaystyle \pi ^{2}/6}$ e per il teorema del confronto si conclude:

${\displaystyle {\frac {\pi ^{2}}{6}}<\zeta (2)<{\frac {\pi ^{2}}{6}},\quad }$ cioè ${\displaystyle \zeta (2)={\frac {\pi ^{2}}{6}}}$

Un'altra procedura per il calcolo di ${\displaystyle \zeta (2)}$, che fa uso di integrali, si trova qui.

Un'altra possibile dimostrazione fa uso delle proprietà delle Serie di Fourier. Si consideri la funzione ${\displaystyle f(x)=x}$ con ${\displaystyle x\in [-\pi ,\pi ]}$e la sua estensione periodica a tutto ${\displaystyle \mathbb {R} }$, continua su ${\displaystyle \mathbb {R} }$ con un’infinità numerabile di punti di discontinuità.

La Serie di Fourier associata converge quindi uniformemente alla funzione ${\displaystyle f(x)\forall x\in \mathbb {R} \backslash \{-2k\pi \}\forall k\in \mathbb {N} }$. Essendo ${\displaystyle f(x)}$ una funzione dispari, la sua espansione in serie contiene solo funzioni seno, il cui coefficiente ${\displaystyle \beta _{k}}$è dato dalla Forma Rettangolare:

${\displaystyle {\begin{aligned}\beta _{k}&={\frac {1}{\pi }}\int _{-\pi }^{\pi }x\sin(kx)dx\\&={\frac {1}{\pi }}\left[-{\frac {x\cos(kx)}{k}}-\int _{\pi }^{\pi }{\frac {\cos(kx)}{k}}dx\right]_{-\pi }^{\pi }\\&={\frac {1}{\pi }}\left[-{\frac {x\cos(kx)}{k}}\right]_{-\pi }^{\pi }\\&={\frac {2}{k}}(-\cos(k\pi ))\\&=2{\frac {(-1)^{k+1}}{k}}\quad \forall k\in \mathbb {N} \end{aligned}}}$

La serie di Fourier associata risulta quindi: ${\displaystyle f(x)\sim \sum _{k=1}^{\infty }2{\frac {(-1)^{k+1}}{k}}\sin(kx)}$. Utilizzando poi l'uguaglianza di Parseval si ottiene l'identità:

${\displaystyle {\frac {1}{\pi }}\int _{-\pi }^{\pi }x^{2}dx={\frac {2\pi ^{2}}{3}}=\sum _{k=1}^{\infty }\beta _{k}^{2}=4\sum _{k=1}^{\infty }{\frac {1}{k^{2}}}}$

da cui segue:

${\displaystyle \sum _{k=1}^{\infty }{\frac {1}{k^{2}}}={\frac {\pi ^{2}}{6}}}$

Con procedimenti molto simili a quelli usati per il caso s=2 sono state trovati valori esatti per la somma dell'inverso di qualsiasi potenza con ${\displaystyle s}$ pari:

${\displaystyle \zeta (4)=1+{\frac {1}{2^{4}}}+{\frac {1}{3^{4}}}+{\frac {1}{4^{4}}}+\cdots ={\frac {\pi ^{4}}{90}}}$

${\displaystyle \zeta (6)=1+{\frac {1}{2^{6}}}+{\frac {1}{3^{6}}}+{\frac {1}{4^{6}}}+\cdots ={\frac {\pi ^{6}}{945}}.}$

Più in generale:

${\displaystyle \zeta (2k)={\frac {2^{2k-1}\pi ^{2k}|B_{2k}|}{(2k)!}}}$

dove ${\displaystyle B_{k}}$ sono i numeri di Bernoulli. Non è stato però compiuto alcun passo nella determinazione esatta per valori dispari di ${\displaystyle s}$. Solo recentemente è stato dimostrato che ${\displaystyle \zeta (3)}$ è un numero irrazionale chiamato costante di Apéry.

• Andre Weil, Number Theory: An Approach Through History, Springer, ISBN 0-8176-3141-0
• William Dunham, Euler: The Master of Us All, MAA, ISBN 0-88385-328-0
• John Derbyshire, Prime Obsession: Bernhard Riemann and the Greatest Unsolved Problem in Mathematics, Joseph Henry Press, ISBN 0-309-08549-7
• Martin Aigner, Gunter Ziegler, Proofs from THE BOOK, Springer, ISBN 3-540-67865-4
• Harold M. Edwards, Riemann's Zeta Function, Dover, ISBN 0-486-41740-9
• Carl Boyer, Storia della matematica, Mondadori, ISBN 88-04-33431-2

• Ipotesi di Riemann
• Funzione zeta di Riemann
• Leonhard Euler

Portale Matematica: accedi alle voci di Teknopedia che trattano di matematica