Discussione:
zeri non banali
(troppo vecchio per rispondere)
s***@yahoo.it
2008-05-28 16:04:00 UTC
Permalink
Quando si parla della ipotesi di Riemann tra le varie cose difficili
da comprendere( almeno per me),
ho trovato anche frasi del tipo : zeri non banali .........., c ' e'
un modo semplice per spiegare cosa
significa zeri non banali ? questo presuppone che esistono anche zeri
banali ?
Banale ....??????
grazie
r***@hotmail.it
2008-05-28 17:50:13 UTC
Permalink
Post by s***@yahoo.it
Quando si parla della ipotesi di Riemann tra le varie cose difficili
da comprendere( almeno per me),
ho trovato anche frasi del tipo : zeri non banali .........., c ' e'
un modo semplice per spiegare cosa
significa zeri non banali ? questo presuppone che esistono anche zeri
banali ?
Banale ....??????
grazie
è spiegato in termini comprensibili anche per i ragazzi di liceo come
me nel libro di Marcus du Santoy, "L'enigma dei numeri primi"
El Filibustero
2008-05-28 18:33:54 UTC
Permalink
Post by s***@yahoo.it
Quando si parla della ipotesi di Riemann tra le varie cose difficili
da comprendere( almeno per me),
ho trovato anche frasi del tipo : zeri non banali .........., c ' e'
un modo semplice per spiegare cosa
significa zeri non banali ? questo presuppone che esistono anche zeri
banali ?
gli zeri banali di zeta sono gli interi negativi pari -2n, per ogni n
naturale. Precisiamo: e' ovvio che, qualunque sia n naturale, la serie

1/1^(-2n) + 1/2^(-2n) + 1/3^(-2n) + 1/4^(-2n) + ....

diverge, altro che convergere a 0. Dire quindi che zeta(-2n)=0 e'
inesatto, se con zeta(s) si intende semplicemente la serie dei termini
1/n^s. Come si legge nel seguito, la serie converge solo quando s ha
parte reale maggiore di 1 ed evidentemente un negativo pari non ha
questo requisito. Del resto, si dimostra che esiste una funzione zeta
complessa di variabile complessa che prolunga analiticamente la serie
a tutto il piano complesso tranne {1}. Cioe' zeta(s) coincide con la
serie 1/n^s per s con parte reale maggiore di 1, ma e' definita anche
per tutti i numeri complessi diversi da 1, negativi pari compresi.

Infatti si puo' dimostrare che

zeta(s) = 1/2 + 1/(s-1) + s/12 - s(s+1)(s+2)/3!*
integrale{dx=0..+inf}S3(x)(x+1)^-(s+3)

[dove la funzione S3(x) e' definita come t^3-3/2 t^2 + 1/2 t, essendo
t la parte frazionaria di x]

coincide con 1 + 2^-s + 3^-s + 4^-s .... per ogni s>1. Tuttavia
l'integrale che c'e' nella definizione data sopra e' convergente anche
per s<1; cosi', zeta(-2n) e' definita, e calcolandola si nota che vale
0. Ciao
El Filibustero
2008-05-29 12:14:59 UTC
Permalink
Post by El Filibustero
Infatti si puo' dimostrare che
zeta(s) = 1/2 + 1/(s-1) + s/12 - s(s+1)(s+2)/3!*
integrale{dx=0..+inf}S3(x)(x+1)^-(s+3)
[dove la funzione S3(x) e' definita come t^3-3/2 t^2 + 1/2 t, essendo
t la parte frazionaria di x]
coincide con 1 + 2^-s + 3^-s + 4^-s .... per ogni s>1. Tuttavia
l'integrale che c'e' nella definizione data sopra e' convergente anche
per s<1; cosi', zeta(-2n) e' definita, e calcolandola si nota che vale
0. Ciao
Chiedo scusa. Quanto sopra e' un frettoloso (e inesatto)
tagliacopiaincolla di un post dove si dimostrava che zeta(-1)=1/12, e
non serve al tuo scopo. La dimostrazione che zeta(-2n)=0 si puo'
trovare a pag. 11 di un quaderno didattico (credo di AndreaM):

http://www.dm.unito.it/quadernididattici/mori/mori.pdf

Ciao
Tetis
2008-05-29 16:18:48 UTC
Permalink
Post by El Filibustero
La dimostrazione che zeta(-2n)=0 si puo'
http://www.dm.unito.it/quadernididattici/mori/mori.pdf
Grazie, magari è una dimostrazione in termini elementari
darò un'occhiata, ma per rispondere alla domanda dell'op
non basta dire che Riemann nel 1858 dimostrò che l'estensione
analitica della funzione definita in termini di serie ...
verifica l'equazione:

z(s) = 2^s pi^(s-1) sen(pi s/2) Gamma(1-s) z(1-s)

con Gamma la funzione gamma di Eulero?
se s = -2n segue che sen(pi s / 2) = 0. Se non erro una
serie di esercizi di Arfken Mathematical methods for physicists
dovrebbero mettere in grado di dimostrare questa equazione
ma è ben probabile che mi sbagli, darò un'occhiata anche ad
Arfken.
Post by El Filibustero
Ciao
--------------------------------
Inviato via http://arianna.libero.it/usenet/

Loading...