![](https://dilucia.wordpress.com/wp-content/uploads/2015/06/sdl.png?w=645)
![](https://dilucia.wordpress.com/wp-content/uploads/2021/03/schermata-2022-04-10-alle-01.37.57.png?w=645&h=429)
Dal XIII al XIX secolo
Il Pensiero Matematico
La funzione zeta di Riemann.-
Nel suo paper 1859 “sul numero di numeri primi minori di una grandezza data“, Bernhard Riemann ha dato una formula che coinvolge la sua funzione zeta per determinare il numero dei primi minori di un numero specifico
Questa dimostrazione illustra il comportamento della integrale logaritmica
che corrisponde ai termini secondo o “periodico”, di cui alla zeta di Riemann.
Definizione e prime proprietà.-
La funzione zeta di Riemann è definita come la serie di Dirichlet
![a3](https://dilucia.wordpress.com/wp-content/uploads/2011/11/a3.png?w=645&h=183)
Questa restrizione è necessaria affinché la serie risulti convergente, tuttavia la funzione si può prolungare analiticamente a una funzione olomorfa su tutto il piano complesso ad eccezione di 1, dove ha un polo semplice. La funzione zeta possiede zeri semplici negli interi pari negativi, detti zeri banali, mentre tutti gli altri zeri sono disposti simmetricamente rispetto alla retta
![a4](https://dilucia.wordpress.com/wp-content/uploads/2011/11/a4.png?w=314&h=129)
detta retta critica, e sono tutti contenuti nella striscia
![a5](https://dilucia.wordpress.com/wp-content/uploads/2011/11/a5.png?w=430&h=86)
detta striscia critica.
Osservazione 1
In matematica, una serie di Dirichlet è una qualunque serie della forma
![a6](https://dilucia.wordpress.com/wp-content/uploads/2011/11/a6.png?w=114&h=98)
dove s e i coefficienti an sono numeri complessi.
Osservazione 2
![a7](https://dilucia.wordpress.com/wp-content/uploads/2011/11/a7.png?w=406&h=138)
Osservazione 3
In matematica, un carattere di Dirichlet modulo k è una funzione aritmetica completamente moltiplicativa che estende a tutti i naturali un carattere del gruppo delle unità di Z/qZ. Più precisamente, dato un intero positivo q, una funzione aritmetica χ(n) si dice essere un carattere modulo q se esiste un omomorfismo f dal gruppo degli invertibili di Z/qZ negli invertibili di C tale che
![a8](https://dilucia.wordpress.com/wp-content/uploads/2011/11/a8.png?w=645&h=125)
Se come funzione f si prende la funzione costantemente uguale a 1, allora il carattere χ1 associato ad f è detto carattere principale modulo q.
Se un carattere di Dirichlet modulo q si può scrivere come prodotto di un carattere modulo un intero k strettamente minore di q (che dovrà necessariamente essere un divisore di q) e il carattere principale modulo q, allora esso verrà detto non primitivo. I caratteri che non sono non primitivi, sono detti primitivi.
Proprietà elementari
Dato che per ogni intero positivo q vi sono esattamente φ(q) caratteri di Z/qZ, si ha che lo stesso vale per i caratteri di Dirichlet modulo q.
Inoltre, dalla definizione discende subito che essi sono completamente moltiplicativi, periodici di periodo q e che hanno immagine nell’insieme comprendente 0 e le radici φ(q)-esime dell’unità.
Dato un carattere di Dirichlet
, si può definire il suo carattere coniugato
, definendolo semplicemente come
![a10](https://dilucia.wordpress.com/wp-content/uploads/2011/11/a10.png?w=337&h=80)
Chiaramente, se
è un carattere di Dirichlet modulo q, anche
lo è. Un’altra importante proprietà dei caratteri di Dirichlet è la seguente:
se χ è un carattere modulo q, allora per ogni coppia di interi m ed n con n e q coprimi si ha :
![a9](https://dilucia.wordpress.com/wp-content/uploads/2011/11/a9.png?w=598&h=77)
ove la somma è su tutti i caratteri modulo q .-
Osservazione 4
Il primo a notare l’importanza della funzione zeta di Riemann nello studio dei numeri primi fu Eulero che, nel 1737, dimostrò l’identità nota come prodotto di Eulero:
![\zeta(x):=\sum_{n=1}^\infty\frac1 {n^x}=\prod_{p\text{ primo}}\frac1{1-p^{-x}},](https://upload.wikimedia.org/math/8/0/2/80237f49c39ffa7dca117b159bc3d083.png)
ove
è un numero reale maggiore di
. Grazie a questa formula, Eulero dedusse che la serie
![\sum_{p\text{ primo}}\frac1p](https://upload.wikimedia.org/math/f/2/e/f2e81bda18ba8b5435e58c7c5615dcba.png)
diverge, e quindi che i numeri primi sono piuttosto densi nell’insieme dei numeri naturali, più dei quadrati perfetti, ad esempio (si può notare come il ragionamento di Eulero fornisca anche una diversa dimostrazione del teorema dell’infinità dei numeri primi, già elegantemente dimostrato dalla matematica greca).
Nel secolo seguente, Čebyšëv e altri matematici si dedicarono allo studio della comprensione della distribuzione dei numeri primi, utilizzando per lo più metodi di combinatoria e la formula prodotto di Eulero, senza tuttavia riuscire a dimostrare la relazione asintotica
-
![\pi (x):=\text{ numero di primi minori o uguali a } x\sim\frac x{\ln x},](https://upload.wikimedia.org/math/7/3/0/73075f267f5dfd93ce8c6cb4c3d09a74.png)
Fu però con Bernhard Riemann che la funzione zeta di Riemann iniziò ad assumere un ruolo centrale nella teoria dei numeri. Nel suo unico articolo sull’argomento, Ueber die Anzahl der Primzahlen unter einer gegebenen Grösse, Riemmann considerò la funzione zeta non più solo per una variabile reale
, ma per una variabile complessa
, e la studiò utilizzando metodi di analisi complessa. I risultati principali ottenuti da Riemann furono:
la dimostrazione del fatto che la funzione
si possa prolungare analiticamente su tutto il piano complesso, ad eccezione di
, in cui la funzione ha un polo semplice;
-
la scoperta di un’equazione funzionale (dimostrata in due diversi modi) che permette di mettere in relazione i valori della funzione zeta a destra e a sinistra della retta Re(s)=1/2;[3]
-
una formula esatta che mostra la dipendenza della funzione enumerativa dei primi dagli zeri della funzione zeta.
-
L’introduzione di una nuova funzione olomorfa intera, ξ(s), strettamente legata alla ζ(s), e un abbozzo di dimostrazione di una formula prodotto per ξ(s) (questa formula fu dimostrata rigorosamente solo 34 anni dopo, da Jacques Hadamard).
Oltre a questi risultati, Riemann diede alcune formule senza dimostrazione, tra cui una formula con una stima asintotica del numero di zeri non banali della funzione zeta, e scrisse che è “molto probabile” che tutti questi zeri abbiano parte reale uguale a 1/2. Questa congettura ha preso il nome di ipotesi di Riemann ed è tuttora uno dei problemi aperti più importanti di tutta la matematica, grazie alle conseguenze che implicherebbe sulla distribuzione dei numeri primi.
Negli anni a seguire, vari matematici svilupparono ulteriormente le idee di Riemann, e fornirono dimostrazioni rigorose per alcune sue formule. In particolare i risultati più importanti furono ottenuti da von Mangoldt e soprattutto da Hadamard e de la Vallée Poussin. Questi ultimi infatti riuscirono a dimostrare che la funzione zeta non ha zeri nella retta
e da questo ottenere come corollario il teorema dei numeri primi.
Da allora, grossi sforzi sono stati fatti per dimostrare l’ipotesi di Riemann, ma sono stati ottenuti solo risultati parziali che restano molto lontani da quanto previsto da Riemann. Nell’impossibilità di fare ulteriori progressi in questa direzione, lo sforzo dei teorici dei numeri si è spostato su altri importanti problemi relativi alla funzione zeta: lo studio della crescita della funzione zeta lungo la retta critica, lo studio dei suoi momenti e sulla trascendenza o razionalità dei suoi valori sui numeri naturali dispari.
Osservazione 5
Proprietà principali.-
Il prodotto di Eulero
Una delle proprietà fondamentali della funzione zeta di Riemann, è il prodotto di Eulero,
-
![\zeta(s) := \sum_{n=1}^\infty\frac 1{n^s} = \prod_{p\text{ primo}} \frac{1}{1-p^{-s}},](https://upload.wikimedia.org/math/2/e/5/2e566e7e2505748c4125640b679f3d4a.png)
valida per
, e dove il prodotto è effettuato su tutti i numeri primi
. La dimostrazione di questa identità usa solo la formula per la somma della serie geometrica e il teorema fondamentale dell’aritmetica. Infatti, per
, si può calcolare la somma geometrica
-
![\sum_{m=0}^\infty \left(p^{-s}\right)^m = \frac{1}{1-p^{-s}},](https://upload.wikimedia.org/math/9/b/e/9beed685fd0741ac853472f133beddec.png)
per ogni primo
. Moltiplicando tra loro queste identità per tutti i primi
, per
(questa ulteriore restrizione serve per assicurare la convergenza) si ha:
-
![\begin{align} \prod_{p\text{ primo}} \frac{1}{1-p^{-s}} &= \prod_{p\text{ primo}}\left(\sum_{m=0}^\infty \left(p^{-s}\right)^m\right)\\ &=\left(1+2^{-s}+(2^2)^{-s}+(2^3)^{-s}+\cdots\right)\cdot\left(1+3^{-s}+(3^2)^{-s}+(3^3)^{-s}+\cdots\right)\cdot\left(1+5^{-s}+(5^2)^{-s}+(5^3)^{-s}+\cdots\right)\cdots\\ &=1+2^{-s}+3^{-s}+(2^2)^{-s}+5^{-s}+(2\cdot3)^{-s}+\cdots\\ &=\zeta(s), \end{align}](https://upload.wikimedia.org/math/8/d/8/8d85a6756a4ac9dec2ea17afc9fa1ed7.png)
dato che per il teorema fondamentale dell’aritmetica ogni numero naturale si può decomporre in maniera unica come prodotto di potenze di primi.
È interessante notare che la formula di Eulero ha come conseguenza che vi sono infiniti numeri primi. Infatti, se vi fosse solo un numero finito di numeri primi allora il prodotto di Eulero sarebbe un prodotto finito e quindi sarebbe definito anche per
, mentre in tale punto la funzione zeta ha un polo. Sebbene possa sembrare esageratamente complicata per un teorema di cui esistono dimostrazioni elementari, questa dimostrazione è molto importante in quanto una sua generalizzazione è stata usata da Dirichlet per dimostrare il teorema dell’infinità dei numeri primi nelle progressioni aritmetiche.
Questo prodotto è all’origine del collegamento tra funzione zeta e numeri primi.
Osservazione 6
La formula prodotto di Eulero o più semplicemente il prodotto di Eulero è una formula dimostrata da Leonhard Euler nel 1737.
-
![\zeta(s) = \sum_{n=1}^\infty \frac{1}{n^s} = \prod_{p} \frac{1}{1-p^{-s}}](https://upload.wikimedia.org/math/c/a/c/cac10ad19264f447344d58860888d7c7.png)
dove
è 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
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](https://upload.wikimedia.org/math/7/4/2/74244180efb61d5957c3a66311aa6bb9.png)
se moltiplichiamo entrambi i termini per
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](https://upload.wikimedia.org/math/c/f/6/cf6f66b9d5945ca5ab2d0bd8df7cb54e.png)
Sottraendo la seconda espressione dalla prima
-
![\left(1-\frac{1}{2^s}\right)\zeta(s) = 1 + \frac{1}{3^s} + \frac{1}{5^s} + \frac{1}{7^s} + \cdots](https://upload.wikimedia.org/math/1/9/5/1954c7351064f7042be5752622109c28.png)
In questa serie non compaiono denominatori pari.
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](https://upload.wikimedia.org/math/d/c/1/dc1fb97f2cc640821e5db44d6d643f43.png)
Sottraendo l’ultima alla penultima espressione, 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](https://upload.wikimedia.org/math/d/4/2/d429fb042f17e4861e54a762ced11e32.png)
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](https://upload.wikimedia.org/math/a/7/4/a7421809894f22764d90f2bf20a1ca65.png)
Stiamo progressivamente 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. 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](https://upload.wikimedia.org/math/e/d/b/edba0531248c3b46c793a34f2ced99a6.png)
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}}](https://upload.wikimedia.org/math/8/d/1/8d15b61f768dcba986348d59fb2f01c4.png)
Seconda Dimostrazione
si può considerare il termine
-
![\frac{1}{1-p^{-s}}](https://upload.wikimedia.org/math/4/1/5/415568643196ae31e9e3406d33b36d8e.png)
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}}](https://upload.wikimedia.org/math/c/4/3/c43d74bb29d3c214e232c9d23814fd00.png)
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](https://upload.wikimedia.org/math/e/c/4/ec452fdcf04447ec4db7f166db068fe8.png)
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](https://upload.wikimedia.org/math/a/5/3/a532ca2da1529eab71a75a05ae374b72.png)
-
![+ \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](https://upload.wikimedia.org/math/5/a/c/5ac6baef362f2f738f968cf4fa433c27.png)
-
![+ \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](https://upload.wikimedia.org/math/6/f/e/6fe649623fe2e10ac133771a984dc6c1.png)
È 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 combinazioni forniscono tutti i numeri naturali. Possiamo dunque riordinare i termini così:
-
![\prod_{p} \frac{1}{1-p^{-s}} = 1 + \frac{1}{2^s} + \frac{1}{3^s} + \frac{1}{4^s} + \cdots](https://upload.wikimedia.org/math/4/e/4/4e472c76fb617a2f80d5081b1eeea58a.png)
Quindi:
-
![\prod_{p} \frac{1}{1-p^{-s}} = \sum_{n=1}^\infty \frac{1}{n^s}](https://upload.wikimedia.org/math/e/c/2/ec2521317b451e7968105b80ce78b83f.png)
Osservazione 7
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}}](https://upload.wikimedia.org/math/3/0/9/3093e911e89708cbbb56448ee6b784f1.png)
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.
Generalizzazione
Attraverso 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)\](https://upload.wikimedia.org/math/2/2/0/220606f8e6f4b150886afea2ff56c062.png)
Dove P(p,s) è la serie:
-
![1+a(p)p^{-s} + a(p^2)p^{-2s} + \cdots .](https://upload.wikimedia.org/math/5/9/6/5960aa37ee18e4b5802e302281439a02.png)
Osservazione 8
Esempi
Moltissime funzioni possono essere espresse con il prodotto di Eulero.
Queste funzioni danno origine a prodotti molto simili a quello sopra illustrato per la funzione zeta di Riemann.
Capita dunque di trovare collegamenti tra queste serie di funzioni e la funzione zeta.
Ad esempio:
-
![\sum_{n=1}^{\infty}\mu (n)n^{-s}=\prod_{p} (1-p^{-s})= \frac{1}{\zeta(s) }](https://upload.wikimedia.org/math/d/2/7/d27897ad9055632bc10240d54050a605.png)
-
![\sum_{n=1}^{\infty} |\mu(n)|n^{-s}= \prod_{p} (1+p^{-s})= \frac{\zeta(s)}{\zeta(2s) }](https://upload.wikimedia.org/math/4/2/e/42efad1fc324c2281805c97afa82445d.png)
-
![\sum_{n=1}^{\infty} \lambda(n) n^{-s}= \prod_{p} (1+p^{-s})^{-1}= \frac{\zeta(2s)}{\zeta(s) }](https://upload.wikimedia.org/math/3/9/7/3972f31310b933a66e8b7fb75cee33af.png)
E altri che utilizzano la funzione zeta come:
-
![\sum_{n=1}^{\infty}2^{\omega(n)} n^{-s} = \prod_{p} \Big(\frac{1+p^{-s}}{1-p^{-s}}\Big) = \frac{\zeta(s)^2}{\zeta(2s)}](https://upload.wikimedia.org/math/7/d/d/7ddca96e65b65806ea97c5fa0528cd08.png)
Dove
è il numero di fattori primi distinti di n
E anche
-
![\sum_{n=1}^\infty \frac{\sigma(s)}{n^s} = \zeta(s)\zeta(s-1)](https://upload.wikimedia.org/math/7/a/3/7a315558b9011ea62b657760e5889af8.png)
dove σ(n) è la somma di tutti i divisori di n (1 e n compresi).
Teoria dei numeri
Il logaritmo integrale ha un ruolo molto importante nella teoria dei numeri; infatti, il teorema dei numeri primi afferma che:
![{\displaystyle \pi (x)\sim {\rm {Li))(x),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8282b276a3e5ebd8f654113320914289290b0043)
dove
è la funzione enumerativa dei primi, ovvero la funzione che indica il numero di numeri primi minori di
. In pratica la formula può essere usata per avere una buona approssimazione del numero di primi inferiori o uguali a
. Il valore di
rimane superiore a
fino a numeri estremamente grandi, tanto che molti matematici pensavano che dovesse rimanere sempre superiore. Nel 1914 però Littlewood dimostrò che la differenza
, pur rimanendo positiva fino a numeri estremamente grandi, in seguito cambia di segno infinite volte, per cui esistono infiniti valori di
per i quali
è maggiore di ![{\displaystyle {\rm {Li))(x).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3da5a88404a8ba35ac549df25aaf45ec5cebf5d1)
Nel 1933 il matematico sudafricano Stanley Skewes dimostrò un limite superiore per il più piccolo di tali valori. Assumendo che l’ipotesi di Riemann sia vera, egli valutò tale limite in circa
. In seguito questo limite, immensamente grande, è stato notevolmente abbassato, e attualmente è di 1,39×10316 (C. Bay & R.H. Hudson, 2000).[1]
Sviluppo asintotico
Il comportamento asintotico per
è:
![{\displaystyle {\rm {li))(x)=O\left({x \over \ln x}\right),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1b7c041eb01fdac56e641b2ec9af8eefb77de028)
dove
è la notazione O-grande. L’espansione completa ha la forma:
![{\displaystyle {\rm {li))(x)\sim {\frac {x}{\ln x))\sum _{k=0}^{\infty }{\frac {k!}{(\ln x)^{k))},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/86a2217b954653e16c1c153b2a380a77b032ffd5)
o equivalentemente:
![{\displaystyle {\frac ((\rm {li))(x)}{x/\ln x))\sim 1+{\frac {1}{\ln x))+{\frac {2}{(\ln x)^{2))}+{\frac {6}{(\ln x)^{3))}+\cdots .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e24402ae152fd9e5df9d296ca1c3428ca300f59d)
Si tratta di una serie divergente, che rappresenta una buona approssimazione solo se viene troncata, ed è utilizzata per grandi valori di
Segue direttamente dall’espansione dell’integrale esponenziale.
°°°°°
Read the rest of this entry »
Devi effettuare l'accesso per postare un commento.