Discussione:Funzione zeta di Riemann

Da Teknopedia, l'enciclopedia libera.
Vai alla navigazione Vai alla ricerca

Serie di Laurent sbagliata

[modifica wikitesto]

Attenzione c'è un errore nel paragrafo "serie di Laurent": la serie dovrebbe avere i segni alterni e ogni termine dovrebbe avere il fattoriale del parametro della sommatoria a denominatore di ciascun termine della somma, così:

quindi, nel caso:

Questo commento senza la firma utente è stato inserito da ‎ 93.44.91.193 (discussioni · contributi) 16:46, 30 mag 2012 (CEST).[rispondi]

Hai ragione, ho corretto, grazie per la segnalazione.--Sandro_bt (scrivimi) 02:23, 31 mag 2012 (CEST)[rispondi]

Spiegare meglio la Serie di Ramanujan

[modifica wikitesto]

Non è meglio cancellare la parte segnalata? Perché se non si spiega cos'è la serie di Ramanujan (di cui non esiste nemmeno la voce) è inutile citarla e rende poco chiara la sezione -- Aldur 15:30, 23 ott 2008 (CEST)[rispondi]

Serie di Ramanujan

[modifica wikitesto]

Leggendo il libro di Marcus du Sautoy "L'enigma dei numeri primi" Ed. BUR 2005 ho trovato quella che forse è la "serie di Ramanujan". Nel capitolo intitolto "Ramanujan, il mistico matematico" (pagg. 242 e seguenti), l'autore riporta come, quello che allora era ancora uno sconosciuto matematico indiano, inviò dei carteggi a Hardy e Littlewood tra i quali spiccava la serie:

Quella che a prima vista pare una aberrazione matematica strampalata si rivelò invece essere la soluzione di Riemann per il calcolo della funzione zeta quando vi si inseriva il numero

credo che ci si riferisca a questa come "serie di Ramanujan".Questo commento senza la firma utente è stato inserito da 87.2.27.190 (discussioni · contributi) 16:13, 14 feb 2009 (CET).[rispondi]

Si,si, ma il problema è che come è messo dal testo non si capisce cosa si intende visto che interpretata nel suo senso usuale, la formula è un non senso.--Sandro (msg) 18:46, 15 feb 2009 (CET)[rispondi]

Paragrafo "costanti zeta"

[modifica wikitesto]

Ho aggiunto al paragrafo "I valori della funzione zeta" il tag "{vedi anche|Costanti zeta}" in modo tale da collegarlo alla voce "Costanti zeta". Ciao. Аммаиep contattami 11:58, 13 dic 2010 (CET)[rispondi]

I valori della funzione zeta

[modifica wikitesto]

Correttamente viene indicata la forma chiusa ma poi viene riportato " ... Invece il calcolo esatto dei valori dispari di s crea ancora enormi difficoltà ...". Una affermazione un po' azzardata. Per ottenere la forma chiusa per dispari basti derivare la funzione zeta e si otterrà cioè . La mia è solo un'idea ma penso che sia corretta.Questo commento senza la firma utente è stato inserito da Mark16 (discussioni · contributi) 11:47, 29 giu 2012‎ (CEST).[rispondi]

La frase è sicuramente un po' ambigua e andrebbe sistemata. I valori negli interi positivi dispari si possono tranquillamente calcolare (approssivamente) in modo numerico, quello che non è nota è un'espressione in termini di quantità ben capite, come nel caso degli interi positivi pari (nota che non è affatto detto che una tale formula esista, anzi). La tua formula in ogni caso non è corretta (immagino tu abbia commesso l'errore d/ds n^-s = -s n^(-s-1)). Ciao,--Sandro_bt (scrivimi) 16:01, 29 giu 2012 (CEST)[rispondi]

Pongo allora la domanda .Questo commento senza la firma utente è stato inserito da 80.117.81.114 (discussioni · contributi) 17:57, 29 giu 2012‎ (CEST).[rispondi]

.--Sandro_bt (scrivimi) 04:54, 30 giu 2012 (CEST)[rispondi]

Ho riveduto la formula e mi sono accorto che la variabile in cui ho considerato la derivata è n e non s. Sotto questo punto di vista la formula potrebbe essere corretta.Questo commento senza la firma utente è stato inserito da Mark16 (discussioni · contributi) 11:34, 15 lug 2012‎ (CEST).[rispondi]

Sì, ma n non è una variabile, è l'indice della sommatoria, per cui differenziare rispetto a quella non ha alcun senso.--Sandro_bt (scrivimi) 20:29, 16 lug 2012 (CEST)[rispondi]

Invece penso che sia sensato. Fissato un valore di s e derivando la variabile diventa n e non s. Inoltre guardando i casi e non penso che queste derivate non abbiano senso.Questo commento senza la firma utente è stato inserito da Mark16 (discussioni · contributi) 20:57, 16 lug 2012‎ (CEST).[rispondi]

Se consideri solo l'n-esimo termine della serie allora ovviamente dipende da n, ma se consideri la serie, sommando tutti i termini allora ovviamente non dipende più da n.--Sandro_bt (scrivimi) 00:12, 17 lug 2012 (CEST)[rispondi]

E' stata usata la n non per indicare l'n-esimo termine ma per indicare un qualsiasi numero naturale.--Mark16 (msg) 11:33, 17 lug 2012 (CEST)[rispondi]

Chiaro, un numero naturale qualsiasi, quindi possiamo prendere, per esempio, n=5? Allora com'è definita ? --Sandro_bt (scrivimi) 12:08, 17 lug 2012 (CEST)[rispondi]

No, c'è un errore per poterlo fare, prima bisogna stabilire un valore di s a questo punto il calcolo si può fare.--Mark16 (msg) 13:32, 17 lug 2012 (CEST)[rispondi]

Tipo calcolare ? Guarda che non ha alcun senso...--Sandro_bt (scrivimi) 01:17, 18 lug 2012 (CEST)[rispondi]

Dato ad s il valore di 7 si ha e derivando si ottiene --Mark16 (msg) 11:38, 18 lug 2012 (CEST)[rispondi]

Questa formula non ha alcun senso...--Sandro_bt (scrivimi) 11:56, 18 lug 2012 (CEST)[rispondi]

Se un discussione non è utile è inutile continuarla.--Mark16 (msg) 12:21, 18 lug 2012 (CEST)[rispondi]

Variabile complessa s

[modifica wikitesto]

Penso che sia utile aggiungere nella pagina la formula della variabile complessa s cioè : . Si può facilmente ottenere attraverso i seguenti passaggi . Nel penultimo passagio è stato fatto uso dell'Identità di Eulero.Questo commento senza la firma utente è stato inserito da Mark16 (discussioni · contributi) 19:50, 16 lug 2012‎ (CEST).[rispondi]

Beh, sinceramente non ne vedo l'utilità. Non è tra le cose più importanti da mettere nella voce e per capire in fondo questa voce è comunque necessaria un po' di conoscenza di analisi complessa (o perlomeno della formula di Eulero).--Sandro_bt (scrivimi) 20:33, 16 lug 2012 (CEST)[rispondi]

Non vedo dove sia l'uso dell'analisi complessa nella formula precedente e quanto rigurda la formula di eulero basterebbe un semplice link.Questo commento senza la firma utente è stato inserito da Mark16 (discussioni · contributi) 20:45, 16 lug 2012‎ (CEST).[rispondi]

Quello che voglio dire è che quest'identità non è particolarmente utile. Lo stesso calcolo vale comunque per qualunque serie di Dirichlet ed è una banalità per chiunque la voglia usare, per cui non mi sembra il caso di aggiungerla in questa voce (semmai si può mettere la formula per parte reale e immaginaria delle serie di Dirichlet sulla voce relativa).--Sandro_bt (scrivimi) 20:57, 16 lug 2012 (CEST)[rispondi]

Che non sia utile non sono d'accordo. Ponendo b=0 si ottiene la formula per un valore a reale, inoltre si possono studiare i valori di b per quali la parte reale o immaginaria si annulla. E poi, considerazione personale, nella voce viene detto che il primo contributo di Riemann fu quello di considerare la funzione zeta con una variabile complessa. Se per la variabile reale viene indicata la formula perchè non dovrebbe essere così anche per la complessa?Questo commento senza la firma utente è stato inserito da Mark16 (discussioni · contributi) 21:06, 16 lug 2012‎ (CEST).[rispondi]

La solita formula vale per una variabile complessa s e Riemann l'ha considerata in quel modo usando poi il teorema dei residui. Questo però non c'entra col prendere la parte reale o la parte immaginaria del valore della funzione. Comunque si possono fare un sacco di cose con la funzione di Riemann e ci sono interi libri che parlano solo di quella, ovviamente qua però vanno riportate solo le cose più rilevanti.--Sandro_bt (scrivimi) 00:12, 17 lug 2012 (CEST)[rispondi]

Ed ecco che spunta fuori l'analisi complessa! Io penso che la pagina del teorema del residui sia un po' troppo tecnica. Al giorno d'oggi non si può dire o scrivere di qualcosa senza che l'abbia già detta qualcun'altro, ancora di più se l'argomento è molto importante e ha risvolti in tutti i campi. Un'ultima cosa l'immagina della funzione zeta sul piano complesso andrebbe cambiata: da quella che c'è non si comprende molto. Proposta: paesaggio zeta descritto da Marcus du Sautoy nel video l'enigma dei numeri primi.--Mark16 (msg) 11:28, 17 lug 2012 (CEST)[rispondi]

Lo studio della funzione zeta è un argomento tutt'ora molto attivo nella ricerca, quindi cose nuove da dire ce ne sono, solo che sono cose "avanzate" e non la semplice applicazione di una formula di base alla definizione. Per l'immagine non ho ben capito a quale ti riferisci, sul libro di de Satoy l'unica immagine della zeta è sugli zeri ed è più o meno simile a questa.--Sandro_bt (scrivimi) 12:14, 17 lug 2012 (CEST)[rispondi]

L'immagine è a pagina 159,cap. 4 L'ipotesei di Riemann da numeri primi casuali a zeri ordinati.--Mark16 (msg) 13:23, 17 lug 2012 (CEST)[rispondi]

Io ho un'edizione diversa (in inglese), l'immagine a cui mi riferivo prima è quella nella quarta sezione (The Riemann hypothesis - Order out of chaos) del quarto capitolo. Le altre immagini nel capitolo non ho ben capito cosa rappresentino esattamente (le didascalie non chiariscono molto..), comunque effettivamente qualche altra immagine per la voce farebbe comodo (quelle di de Satoy in ogni caso non le possiamo usare per motivi di copyright).--Sandro_bt (scrivimi) 01:17, 18 lug 2012 (CEST)[rispondi]

La mia era solo un'idea. Inserirò la formula sopracitata nella Serie di Dirichlet. --Mark16 (msg) 11:22, 18 lug 2012 (CEST)[rispondi]

Ho trovato una bella immagine sulla voce francese daella funzione zeta,al paragrafo valori della funzione sulle diverse parti del piano. Ci sono delle cose interessanti, come la dimostrazione dell'equazione funzionale, che si potrebbero aggiungere.--Mark16 (msg) 17:37, 8 ago 2012 (CEST)[rispondi]

Zeri non banali

[modifica wikitesto]

Nella pagina viene indicata la stima asintotica per gli zeri non banali. Non sarebbe utile inserire, in una opportuna sezione, come fece Riemann a calcolare i primi zeri non banali?--Mark16 (msg) 12:30, 18 lug 2012 (CEST)[rispondi]

Sì, sarebbe utile, magari in un paio di righe senza perdersi nei dettagli (proponi qua il testo prima di inserirlo).--Sandro_bt (scrivimi) 13:17, 18 lug 2012 (CEST)[rispondi]

Pensavo che tu ne sapessi qualcosa. In ogni caso cercherò un po' in giro.--Mark16 (msg) 13:40, 18 lug 2012 (CEST)[rispondi]

Ok, provo a scrivere qualcosa io nei prossimi giorni (se non mi dimentico..).--Sandro_bt (scrivimi) 13:41, 18 lug 2012 (CEST)[rispondi]

Ho trovato un metodo che usa la funzione Zeta di Hardy,visto che i suoi zeri coincidono con quelli non banali dlla funzione zeta di Riemann. Per calcolare gli zeri usa il metodo della secante sulla Zeta di Hardy, Il metodo consiste in 3 fasi:

1) Trovare i punti di minimo o massimo locale della zeta di Hardy di formula con ;

2) Applicare il Metodo delle secanti e trovare gli zeri;

3) Sapendo che gli zeri della Zeta di Hardy sono gli zeri non banali della zeta di Riemann si hanno i valori degli zeri. --Mark16 (msg) 19:26, 18 lug 2012 (CEST)[rispondi]

Sì, la parte difficile in realtà è calcolare la funzione zeta (la normale definizione non è convergente in Re(s)=1/2 ed è necessario usare un metodo efficiente). Ho dato un'occhiata (veloce) in un paio di libri dove penavo se ne parlasse ed effettivamente parlano di come calcolare gli zeri, però non ho trovato indicazioni sul metodo usato da Riemann.--Sandro_bt (scrivimi) 22:09, 19 lug 2012 (CEST)[rispondi]

Sul libro di du Satoy parla di Formula di Riemann-Siegel. L'ho trovata in wiki.en, magari dacci un'occhiata.--Mark16 (msg) 15:19, 20 lug 2012 (CEST)[rispondi]

Sì, la conosco bene, anche se non sapevo avesse usato quella. Ho guardato sull'Edwards e dà praticamente per scontato che usasse quella, bisognerebbe scrivere una sezione sugli aspetti computazionali, in questo periodo però sono fuori casa e ho pochissimo tempo.--Sandro_bt (scrivimi) 12:44, 30 lug 2012 (CEST)[rispondi]

Ok, non c'è fretta.--Mark16 (msg) 10:30, 5 ago 2012 (CEST)[rispondi]

Formula correlata

[modifica wikitesto]

L'altro giorno stavo pensando che e che e così via. Raccogliendo prima poi e tutti gli altri ho ottenuto .La domanda è si pùo scrivere in forma abbreviata?--Mark16 (msg) 12:12, 27 lug 2012 (CEST)[rispondi]

Zeri non banali

[modifica wikitesto]

La voce afferma che la funzione possiede zeri non banali disposti simmetricamente sulla retta critica. Non sarebbe più corretto specificare che si tratta di una congettura (seppur nota), visto che non è ancora stata dimostrata?Questo commento senza la firma utente è stato inserito da 147.162.2.192 (discussioni · contributi) 14:37, 20 nov 2017 (CET).[rispondi]

No, che siano simmetrici e' ben noto (e ovvio dall'equazione funzionale). Nota che il fatto che siano simmetrici rispetto alla retta \Re(s)=1/2 non vuol dire che siano su tale retta (che e' l'(ancora aperta) ipotesi di Riemann).--Sandro_bt (scrivimi) 14:21, 20 nov 2017 (CET)[rispondi]

Collegamenti esterni modificati

[modifica wikitesto]

Gentili utenti,

ho appena modificato 1 collegamento esterno sulla pagina Funzione zeta di Riemann. Per cortesia controllate la mia modifica. Se avete qualche domanda o se fosse necessario far sì che il bot ignori i link o l'intera pagina, date un'occhiata a queste FAQ. Ho effettuato le seguenti modifiche:

Fate riferimento alle FAQ per informazioni su come correggere gli errori del bot.

Saluti.—InternetArchiveBot (Segnala un errore) 23:23, 2 set 2019 (CEST)[rispondi]

Formula per J(x)

[modifica wikitesto]

Dalle informazioni che ho io (il libro di H.M. Edwards) , J(x) dovrebbe essere la funzione che inizia da 0 per x=0 e aumenta di uno dopo ogni numero p primo, di 1/2 dopo ogni quadrato di numero primo e di 1/n per ogni potenza n-ma di un numero primo. Sulla pagine è presentata la formula

funzione presente al momento

J(x) = \sum_n \frac{\pi(x^{1/n})}{n} che non mi sembra essere la stessa, anche se vagamente la ricorda. Sarebbe possibile avere un riferimento per questa formula?

Aggiungo che sempre dalla stessa fonte, mi risulta che J(x)= Li(x) - \sum_\rho Li(x^\rho) - log\ 2 + \int_{x}^\infty \frac{dt}{t(t^2-1)log(t)} ossia c'è un -log(2) in più rispetto alla pagina

J(x)= Li(x) - \sum_\rho Li(x^\rho) - log\ 2 + \int_{x}^\infty \frac{dt}{t(t^2-1)log(t)}

mi viene il dubbio se sia sbagliata la mia fonte o la pagina, però nella mia fonte c'è la dimostrazione, che non riporto ovviamente. --Hires (msg) 19:27, 24 apr 2021 (CEST)[rispondi]

La prima formula è corretta. Le due sono equivalenti. conta esattamente i numeri della forma fino a x. Non ho sottomano fonti da indicarti, ma en.wiki la usa nelle varie pagine riguardo a questo, ad esempio: https://en.wikipedia.org/wiki/Prime-counting_function e https://en.wikipedia.org/wiki/Riemann_zeta_function#Mellin-type_integrals.
Sulla questione del logaritmo, non conosco benissimo queste funzioni, ma mi sembra un problema di definizione di logaritmo integrale a seconda se si toglie la singolarità in 0 (scritto con maiuscola o minuscola).--Mat4free (msg) 10:25, 25 apr 2021 (CEST)[rispondi]

--Hires (msg) 12:03, 25 apr 2021 (CEST)Scusa ma a me non sembra la stessa cosa, se pi(x) conta i numeri primi sino a x, pi(x^(1/n)) conta i numeri primi sino a x^(1/n), che è diverso... pi funziona sempre allo stesso modo ma con un argomento diverso... continuo a vederla diversa. Quanto al secondo punto, anche a me sembra un problema del genere, ossia per essere coerente con la formula che ho, la pagina dovrebbe riportare li(x) e non Li(x). Ossia, a me risulta Li(x)-log(2) sulla pagina c'è Li(x) soltanto, questo mi fa pensare che dovrebbe essere li(x) che la farebbe coincidere con quel che mi risulta. Nel frattempo ho trovato anche altre fonti che riportano il log(2) che manca nella pagina.[rispondi]

pi(x^(1/n)) conta i p sino a x^(1/n) che equivale a contare i p^n sino a x che è quello che deve fare J (a parte il peso). Esempio: n=2, x=10, allora pi(10^(1/2)) conta i p fino a , che sono 2, cioè 2 e 3. Questo equivale a contare i p^2 fino a 10 che sono 2: cioè 2^2 e 3^2. Non so se mi sono spiegato.
Sulla seconda cosa va bene anche sostituire con li(x) per me, come dicevo non conosco bene questa espressione, purché si cambi coerentemente e correttamente quanto scritto sotto.--Mat4free (msg) 13:53, 25 apr 2021 (CEST)[rispondi]
[@ Hires, Mat4free] Sul primo punto, forse il frantendimento è che una formula è Pi in funzione di J in funzione di pi e una invece è di pi in funzione di J? In ogni caso dovrebbero essere equivalenti. Sul secondo punto, la questione è delicata perché avere Li e li non dovrebbe essere equivalente visto che può convergere una sola tra \sum Li(x^\rho) e \sum li(x^\rho). A naso direi che dovrebbe essere giusta la seconda (anche se Zagier in "The first 50 millions prime numbers" usa l'altra, ma è un articolo molto informale) ma anche quel log 2 è strano (in entrambi i casi, che ha di particolare 2? Poi sum mu(n)/n=0 quindi quel log 2 non dovrebbe essere irrilevante?). Nella pratica a parte Riemann nessuno usa queste formule perché è molto più comodo usare psi(x), quindi trovare buone fonti non è banale. L'unica che mi viene in mente in cui si fa è appunto l'Edwards quindi seguirei quello).--Sandro_bt (scrivimi) 15:11, 5 mag 2021 (CEST)[rispondi]
[@ Hires, Sandrobt] Ho controllato Edwards e corretto di conseguenza (attenzione che mi pare che Edwards usa "Li" per quello che in Logaritmo integrale è indicato con "li", ho uniformato secondo wiki, spero di non aver fatto confusione).--Mat4free (msg) 16:42, 5 mag 2021 (CEST)[rispondi]
[@ Mat4free] Ottimo, grazie! Probabilmente la confusione allora sarà proprio nata dalla diversa notazione di Edwards (al netto del fatto che quel log 2 dovrebbe essere irrilevante)-- Sandro_bt (scrivimi) 18:57, 5 mag 2021 (CEST)[rispondi]

--Hires (msg) 22:43, 14 mag 2021 (CEST)Per me ora è perfetto grazie a tutti.[rispondi]

Valori della funzione Z

[modifica wikitesto]

Ho modificato il paragrafo riguardante i valori della funzione Z, essa infatti non è definita per valori della parte reale di s minori o uguali di 1 (Re(s)≤1). Quindi non ha significato parlare di Z(-1) o Z(0), tra l'altro alimentando la leggenda secondo cui la somma dei naturali sia convergente è uguale a -1/12 che sinceramente confonde ed ha stufato non poco. Giosuè Genovese (msg) 22:26, 7 dic 2021 (CET)[rispondi]

Zeta in -1 non è definita dalla serie, ma dal suo prolungamento analitico, quindi non c'è niente di sbagliato in quella formula. Vedi ad esempio anche la parte finale di questa sezione.--Sandro_bt (scrivimi) 23:23, 7 dic 2021 (CET)[rispondi]

Grazie, ma il problema che volevo segnalare è che nella stessa voce si tratta proprio la serie, poi si va un po' più in basso e tra i valori assunti dalla funzione si sbattono quei due là. La cosa mi sembra non poco ambigua,quanto meno bisognerebbe aprire una voce apposita sui prolungamenti analitici! Giosuè Genovese (msg) 23:56, 7 dic 2021 (CET)[rispondi]

Nope. Se la voce trattasse della serie, si intitolerebbe serie di Dirichlet. Comunque concordo, servirebbe tantissimo una voce apposita sui prolungamenti analitici. -- Rojelio (dimmi tutto) 00:03, 8 dic 2021 (CET)[rispondi]