New Immissions/Updates:
boundless - educate - edutalab - empatico - es-ebooks - es16 - fr16 - fsfiles - hesperian - solidaria - wikipediaforschools
- wikipediaforschoolses - wikipediaforschoolsfr - wikipediaforschoolspt - worldmap -

See also: Liber Liber - Libro Parlato - Liber Musica  - Manuzio -  Liber Liber ISO Files - Alphabetical Order - Multivolume ZIP Complete Archive - PDF Files - OGG Music Files -

PROJECT GUTENBERG HTML: Volume I - Volume II - Volume III - Volume IV - Volume V - Volume VI - Volume VII - Volume VIII - Volume IX

Ascolta ""Volevo solo fare un audiolibro"" su Spreaker.
CLASSICISTRANIERI HOME PAGE - YOUTUBE CHANNEL
Privacy Policy Cookie Policy Terms and Conditions
Formula prodotto di Eulero - Wikipedia

Formula prodotto di Eulero

Da Wikipedia, l'enciclopedia libera.

La Formula prodotto di Eulero o più semplicemente il Prodotto di Eulero è una formula dimostrata da Leonhard Euler nel 1741.

\zeta(s) = \sum_{n=1}^\infty \frac{1}{n^s} = \prod_{p} \frac{1}{1-p^{-s}}

dove ζ(s) è la funzione zeta di Riemann e il prodotto del secondo membro dell'uguaglianza percorre tutti i numeri primi.

Questa formula è interessante in quanto mette in relazione una serie in cui compaiono tutti i numeri naturali e un prodotto in cui compaiono tutti i numeri primi. È all'origine del collegamento tra funzione zeta di Riemann e numeri primi che si presenta nell'Ipotesi di Riemann.

Indice

[modifica] Dimostrazioni

[modifica] Prima Dimostrazione

Partiamo dalla funzione zeta:

\zeta(s) = \sum_{n=1}^\infty \frac{1}{n^s} = 1 + \frac{1}{2^s} + \frac{1}{3^s} + \frac{1}{4^s} + \cdots

se moltiplichiamo entrambi i termini per \frac{1}{2^s} abbiamo che:

\frac{1}{2^s}\zeta(s) =  \frac{1}{2^s} + \frac{1}{4^s} + \frac{1}{6^s} + \frac{1}{8^s} + \cdots

Sottraendo la prima espressione alla seconda

\left(1-\frac{1}{2^s}\right)\zeta(s) =  1 + \frac{1}{3^s} + \frac{1}{5^s} + \frac{1}{7^s} + \cdots

Moltiplicando per il primo termine (dopo l'uno) rimasto

\frac{1}{3^s}\left(1-\frac{1}{2^s}\right)\zeta(s) =  \frac{1}{3^s} + \frac{1}{9^s} + \frac{1}{15^s} + \frac{1}{21^s} + \cdots

Sottrando l'ultimo al penultimo termine abbiamo che

\left(1-\frac{1}{3^s}\right)\left(1-\frac{1}{2^s}\right)\zeta(s) =  1 + \frac{1}{5^s} + \frac{1}{7^s} + \frac{1}{11^s} + \cdots

In questo procedimento abbiamo eliminato, prima tutti i multipli di due poi tutti i multipli del primo numero rimasto cioè tre, se poi lo facciamo di nuovo con cinque vedremo eliminati tutti i multipli di cinque:

\left(1-\frac{1}{5^s}\right)\left(1-\frac{1}{3^s}\right)\left(1-\frac{1}{2^s}\right)\zeta(s) =  1 + \frac{1}{7^s} + \frac{1}{11^s} + \frac{1}{13^s} + \cdots

Stiamo lentamente eliminando tutti i multipli di ogni numero rimasto dopo l'uno (e che quindi è un numero primo visto che non è multiplo di nessun altro numero più piccolo). I numeri del prodotto prima dell'uguale quindi saranno tutti primi. Invece se ripetiamo moltissime volte il procedimento che abbiamo visto i numeri dopo l'uno saranno sempre meno. Quindi ripetendo infinite volte il procedimento:

\cdots\left(1-\frac{1}{11^s}\right)\left(1-\frac{1}{7^s}\right)\left(1-\frac{1}{5^s}\right)\left(1-\frac{1}{3^s}\right)\left(1-\frac{1}{2^s}\right)\zeta(s) = 1

E in conclusione:

\zeta(s) =  \frac{1}{\left(1-\frac{1}{2^s}\right)}\frac{1}{\left(1-\frac{1}{3^s}\right)} \frac{1}{\left(1-\frac{1}{5^s}\right)}\frac{1}{\left(1-\frac{1}{7^s}\right)} \cdots = \prod_{p} \frac{1}{1-p^{-s}}

Q.E.D

[modifica] Seconda Dimostrazione

si può considerare il termine

\frac{1}{1-p^{-s}}

Come il numero a cui converge la serie geometrica

\sum_{n=0}^\infty \frac{1}{(p^s)^n} = 1 + \frac{1}{p^s} + \frac{1}{p^{2s}} + \frac{1}{p^{3s}} +\frac{1}{p^{4s}}+ \cdots = \frac{1}{1-p^{-s}}

Quindi il prodotto di Eulero diviene:

\prod_{p} \frac{1}{1-p^{-s}} = \left(1 + \frac{1}{2^s} + \frac{1}{2^{2s}} + \frac{1}{2^{3s}} + \cdots \right) \left(1 + \frac{1}{3^s} + \frac{1}{3^{2s}} + \frac{1}{3^{3s}} + \cdots \right) \left(1 + \frac{1}{5^s} + \frac{1}{5^{2s}} + \frac{1}{5^{3s}} + \cdots\right) \cdots

E svolgendolo

\prod_{p} \frac{1}{1-p^{-s}} = \left(1 + \frac{1}{(1\cdot2)^s} + \frac{1}{(1\cdot3)^s} + \frac{1}{(1\cdot5)^s} + \cdots  \right ) + \left( \frac{1}{(1\cdot{2^2})^s} + \frac{1}{(1\cdot{3^2})^s} + \frac{1}{(1\cdot{5^2})^s} + \cdots  \right ) + \cdots
+ \left( \frac{1}{(2\cdot3)^s} + \frac{1}{(2\cdot5)^s} + \frac{1}{(2\cdot7)^s} + \cdots  \right ) + \left( \frac{1}{({2^2}\cdot{3^2})^s} + \frac{1}{({2^2}\cdot{5^2})^s} + \frac{1}{({2^2}\cdot{7^2})^s} + \cdots  \right ) + \cdots
+ \left( \frac{1}{(3\cdot5)^s} + \frac{1}{(3\cdot7)^s} + \frac{1}{(3\cdot11)^s} + \cdots  \right ) + \left( + \frac{1}{({3^2}\cdot{5^2})^s} + \frac{1}{({3^2}\cdot{7^2})^s} + \frac{1}{({3^2}\cdot{11^2})^s} +  \cdots  \right ) + \cdots

E' chiaro che nel termine a destra dell'uguale appariranno prima o poi tutte le possibili combinazioni di numeri primi possibili (e a qualsiasi potenza). Per il teorema fondamentale dell'aritmetica abbiamo che queste cobinazioni forniscono tutti i numeri naturali. Possiamo dunque riodinare i termini così:

\prod_{p} \frac{1}{1-p^{-s}} = 1 + \frac{1}{2^s} + \frac{1}{3^s} + \frac{1}{4^s} + \cdots

Quindi:

\prod_{p} \frac{1}{1-p^{-s}} = \sum_{n=1}^\infty \frac{1}{n^s}

Q.E.D


[modifica] Infiniti numeri primi

Tramite questa formula Eulero diede una dimostrazione dell'infinità dei numeri primi. Infatti se si inserisce nella formula il numero 1 si ha:

\sum_{n=1}^\infty \frac{1}{n} = \prod_{p} \frac{1}{1-p^{-1}}

E siccome la somma nel primo membro è la serie armonica, che diverge, anche il prodotto deve farlo. Ma ciò è possibile solo se i suoi membri sono infiniti e quindi se esistono infiniti numeri primi.

[modifica] Generalizzazione

Tramite le dimostrazioni si può generalizzare questa formula per ogni funzione moltiplicativa a(x):

\sum_{n} \frac{a(n)}{n^s} \ =\prod_{p} P(p,s)\

Dove P(p,s) è la serie:

1+a(p)p^{-s} + a(p^2)p^{-2s} + \cdots .

[modifica] Esempi

Moltissime funzioni posso essere espresse con il prodotto di Eulero. Queste funzioni danno origine a prodotti molto simili a quello sopraillustrato per la funzione zeta di Riemann. Capita dunque di trovare collegamenti tra queste serie di funzioni e la funzione zeta. Ad esempio:

Il prodotto di Eulero per la funzione di Moebius μ(n) :

\sum_{n=1}^{\infty}\mu (n)n^{-s}=\prod_{p} (1-p^{-s})= \frac{1}{\zeta(s) }.

E quello per il suo valore assoluto:

\sum_{n=1}^{\infty} |\mu(n)|n^{-s}= \prod_{p} (1+p^{-s})= \frac{\zeta(s)}{\zeta(2s) }.

Il prodotto per la funzione di Liouville:

\sum_{n=1}^{\infty} \lambda(n) n^{-s}= \prod_{p} (1+p^{-s})^{-1}= \frac{\zeta(2s)}{\zeta(s) }.

E altri che utilizzano la funzione zeta come:

\sum_{n=1}^{\infty}2^{\omega(n)} = \prod_{p} \Big(\frac{1+p^{-s}}{1-p^{-s}}\Big) = \frac{\zeta(s)^2}{\zeta(2s)}

Dove ω(n) è il numero di fattori primi (anche ripetuti) di n

E anche

\sum_{n=1}^\infty \frac{\sigma(s)}{n^s} = \zeta(s)\zeta(s-1)

dove σ(n) è la somma di tutti i divisori di n (1 e n compresi).

[modifica] Bibliografia

  • John Derbyshire, L'osessione dei numeri primi, Bollati Boringhieri, 2006, ISBN 88-339-17066-1


[modifica] Voci correlate

Altre lingue

Static Wikipedia (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Static Wikipedia 2007 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Static Wikipedia 2006 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu

Static Wikipedia February 2008 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu