Hipòtesi de Riemann

La funció zeta de Riemann ζ(s) està definida en els nombres complexos com la suma d'una sèrie infinita de la següent forma:

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

i és convergent quan la part real és estrictament més gran que 1. Leonhard Euler (que va morir 43 anys abans que nasqués Riemann) va demostrar que aquesta sèrie equival al producte d'Euler:

${\displaystyle \zeta (s)=\prod _{p{\text{ primer}}}{\frac {1}{1-p^{-s}}}={\frac {1}{1-2^{-s}}}\cdot {\frac {1}{1-3^{-s}}}\cdot {\frac {1}{1-5^{-s}}}\cdot {\frac {1}{1-7^{-s}}}\cdots {\frac {1}{1-p^{-s}}}\cdots }$ 

on el producte infinit s'estén sobre el conjunt dels nombres primers p, i novament es convergeix per a nombres complexos s amb part real més gran que 1. La convergència del producte d'Euler mostra que ζ(s) no té zeros en aquesta regió, ja que cap dels factors té zeros. La hipòtesi de Riemann tracta dels zeros fora de la regió de convergència de la suma de la sèrie descrita anteriorment i del producte d'Euler associat. Per tal de preservar el sentit d'aquesta hipòtesi cal prolongar analíticament la funció zeta de Riemann ζ(s) de tal forma que tingui sentit per a qualsevol valor de s. En particular, es pot expressar mitjançant la següent equació funcional:

${\displaystyle \zeta (s)=2^{s}\pi ^{s-1}\ \operatorname {sen} \left({\frac {\pi s}{2}}\right)\ \Gamma (1-s)\ \zeta (1-s)\!}$ 

vàlida per a tots els nombres complexos excepte per a s = 1, on la funció té un pol. Com s'ha dit anteriorment, la hipòtesi de Riemann tracta dels zeros d'aquesta versió de la funció zeta estesa analíticament. La funció té uns certs valors, anomenats zeros "trivials", per als quals la funció zeta s'anul·la. De l'equació es pot veure que s = −2, s = −4, s = −6,.^[4] (tots els enters parells negatius) són zeros trivials. Així mateix, existeixen altres valors complexos s, que compleixen la condició 0 < Re(s) < 1, per als quals la funció zeta també s'anul·la, són els anomenats zeros "no trivials". La conjectura de Riemann fa referència a aquests zeros no trivials en afirmar que:

Per tant, els zeros no trivials haurien de trobar-se en la línia crítica s = 1/2 + i t, on t és un nombre real i i és la unitat imaginària. La funció zeta de Riemann, al llarg de la línia crítica ha estat estudiada en termes de la funció Z, els zeros de la qual corresponen als zeros de la funció zeta sobre la recta crítica.

Riemann va mencionar la conjectura l'any 1859, que seria anomenada la hipòtesi de Riemann, en la seva tesi doctoral Sobre els nombres primers menors que una magnitud donava, en desenvolupar una fórmula explícita per calcular la quantitat de primers menors que x. Com que no era essencial per al propòsit central del seu article, no va intentar desenvolupar-ne una demostració. Ell sabia que els zeros no trivials de la funció zeta estan distribuïts al llarg de la recta s = 1/2 + i t, i sabia també que tots els zeros no trivials havien d'estar en el rang 0 ≤ Re(s) ≤ 1.^[5]

L'any 1896, Hadamard i de la Vallée-Poussin van demostrar, independentment, que cap zero no es podia trobar sobre la recta Re(s) = 1. Juntament amb les altres propietats dels zeros no trivials demostrades per Riemann, aquest resultat va demostrar que tots els zeros no trivials han d'estar en l'interior de la banda crítica 0 < Re(s) < 1. Aquest va ser un pas fonamental per a les primeres demostracions del teorema dels nombres primers.

L'any 1900, Hilbert va incloure la hipòtesi de Riemann en la seva famosa llista dels 23 problemes no resolts — és part del problema 8, juntament amb la conjectura de Goldbach. Quan se li va preguntar què faria si es despertés després d'haver dormit cinc-cents anys, Hilbert va respondre que la seva primera pregunta seria si la hipòtesi de Riemann havia estat demostrada. La hipòtesi de Riemann és l'únic problema dels que va proposar Hilbert que forma part del premi del mil·lenni de l'Institut Clay de Matemàtiques.

L'any 1914, Hardy va demostrar que existeix un nombre infinit de zeros sobre la recta crítica Re(s) = 1/2. No obstant això, encara era possible que un nombre infinit (o fins i tot la majoria) dels zeros no trivials es trobés en algun altre lloc dins de la banda crítica. En treballs posteriors, Hardy i Littlewood l'any 1921 i Selberg l'any 1942 van donar estimacions de la densitat mitjana dels zeros sobre la línia crítica.

La major part de la comunitat matemàtica pensa que la conjectura és correcta, tot i que altres grans matemàtics com Littlewood i Selberg es van mostrar escèptics, si bé l'escepticisme de Selberg va anar disminuint des de la seva joventut. En un article de 1989 va suggerir que un anàleg ha de ser cert per una classe molt més àmplia de funcions (la classe de Selberg). Treballs recents s'han concentrat en el càlcul explícit de la localització de grans quantitats de zeros (amb l'esperança de trobar algun contraexemple) i en l'establiment de cotes superiors en la proporció de zeros que puguin estar lluny de la línia crítica (amb l'esperança de reduir-les a zero).

El setembre del 2018, Michael Atiyah, guanyador de la Medalla Fields (1966), va presentar una demostració per contradicció de la hipòtesi de Riemann en el Heidelberg Laureate Forum 2018 (Alemània).^[6] Tanmateix, la demostració no es va considerar vàlida perquè feia suposicions que no eren correctes.^[7]

La formulació tradicional de la hipòtesi de Riemann amaga una mica l'autèntica importància de la conjectura. La funció zeta de Riemann té una profunda connexió amb els nombres primers. Helge von Koch va demostrar l'any 1901 que la hipòtesi de Riemann és equivalent al considerable refinament del teorema dels nombres primers: Existeix una constant C > 0 tal que

${\displaystyle \left|\pi (x)-\int _{2}^{x}{\frac {dt}{\ln(t)}}\right|\leq C\,{\sqrt {x}}\,\ln(x),}$ 

per tot x prou gran, on π(x) és la funció comptadora de nombres primers i ln(x) és el logaritme natural de x. Lowell Schoenfeld va demostrar que es pot prendre C = 1/(8 π) per tot x ≥ 2657.

Els zeros de la funció zeta i els nombres primers satisfan certes propietats de dualitat, conegudes com a fórmules explícites, que mostren, utilitzant l'anàlisi de Fourier, que es poden interpretar els zeros de la funció zeta de Riemann com freqüències harmòniques en la distribució dels nombres primers.

Encara més, si la conjectura de Hilbert-Polya és certa, llavors qualsevol operador que doni les parts imaginàries dels zeros com els seus valors propis ha de satisfer:

${\displaystyle \sum _{n}e^{-\beta E_{n}}=\operatorname {tr} [e^{-\beta {\hat {H}}}]=e^{u/2}-e^{-u/2}{\frac {d\psi _{0}}{du}}-{\frac {e^{u/2}}{e^{3u}-e^{u}}},}$ 

on tr és la traça de l'operador (suma dels seus valors propis), ${\displaystyle \beta \,}$  és un nombre imaginari i ${\displaystyle \psi (x)\,}$  és la funció de Txebixov que suma el log(x) en el conjunt dels primers i les seves potències enteres. Aquesta fórmula és una conclusió de la 'fórmula explícita' de V. Mangoldt.^[8] Diversos operadors proposats per Carlos Castro Perelman, J. Macheca i J. García, semblen corroborar els resultats de la conjectura de Hilbert sobre l'operador, reproduint la part imaginària dels zeros.

 

• L'any 2004 Xavier Gourdon va verificar la conjectura de Riemann numèricament al llarg dels primers deu trilions de zeros no trivials de la funció. No obstant això, no és estrictament una demostració, numèricament és més interessant de trobar un contraexemple, és a dir un valor de zero que no compleixi que la seva part real sigui igual a 1/2, ja que això faria saltar pels aires la validesa de la conjectura.

• Fins al 2005, l'intent més seriós d'explorar els zeros de la funció-ζ, és el ZetaGrid, un projecte de computació distribuïda amb la capacitat de verificar milions de zeros al dia. El projecte va acabar el desembre de 2005, i cap dels zeros va poder ser identificat com a contraexemple de la hipòtesi de Riemann.

La hipòtesi de Riemann afirma que tots els altres zeros no trivials de la funció ${\displaystyle \zeta }$  (zeta) es troben en la recta vertical que passa per ${\displaystyle {\frac {1}{2}}}$ , és a dir, són nombres complexos de la forma ${\displaystyle {\frac {1}{2}}+it}$ , ${\displaystyle \forall t\in \mathbb {R} }$ .

Aquesta funció té una profunda connexió amb els nombres primers on els zeros de la funció zeta i els nombres primers satisfan certes propietats de dualitat, conegudes com a fórmules explícites, que mostren, utilitzant anàlisi de Fourier, que aquests zeros poden interpretar-se com freqüències harmòniques en la distribució dels nombres primers.

Coneixent la relació dels nombres primers amb la funció ${\displaystyle \zeta }$ , algunes de les repercussions que va tenir aquesta funció són les següents:

• Estimadors precisos del terme quocient del teorema dels nombres primers:

Hege von Koch va demostrar que la hipòtesi de Riemann és equivalent al teorema dels nombres primeres que enuncia que:

Existeix una constant C tal que:

• Comparació de ${\displaystyle \pi (x)}$  i Li(x):

Per a valors de x petits s'havia demostrat que ${\displaystyle \pi (x)\leq Li(x)}$ , fet que va fer que es conjecturés que Li(x) era una cota superior estricta de ${\displaystyle \pi (x)}$  i que, per tant, l'equació ${\displaystyle \pi (x)-Li(x)}$  no té solucions reals.

No obstant això, l'any 1914 Littlewood va usar la hipòtesi de Riemann per mostrar que la desigualtat ${\displaystyle \pi (x)\leq Li(x)}$  s'inverteix per valors prou grans de x.

L'any 1933, Skewes va utilitzar la hipòtesi de Riemann per demostrar que la desigualtat s'inverteix per a alguns ${\displaystyle x<10^{10^{10^{34}}}}$  i l'any 1955, sense usar la hipòtesi, va mostrar que la desigualtat s'inverteix per a alguns ${\displaystyle x<10^{10^{10^{963}}}}$ 

• Les distàncies entre els nombres primers consecutius:

Cramer va demostrar que la hipòtesi de Riemann implica que existeix una constant ${\displaystyle C:p_{k+1}-p_{k}=C{\sqrt {p_{k}}}\log p_{k}}$  on ${\displaystyle p_{k}}$  és el k-èssim nombre primer. Existeix un resultat millor que el de Cramér, que afirma que^[9]

${\displaystyle \limsup _{n\rightarrow \infty }{\frac {p_{n+1}-p_{n}}{(\log p_{n})^{2}}}=1}$ 

on p_n denota l'n-èsim nombre primer i "log" denota el logaritme natural.

• Teorema dels nombres primers
• Funció de recompte de nombres primers
• Teoria analítica de nombres