Hipótese de Riemann

 Nota: Para o termo musical, veja teoria Riemanniana.

Em matemática, a hipótese de Riemann é uma conjectura de que a função zeta de Riemann tem os seus zeros somente nos números inteiros pares negativos e em números complexos com parte real  12. Muitos consideram que este é o problema não resolvido mais importante da matemática pura (Bombieri 2000). Ela é de grande interesse em teoria de números, porque implica resultados sobre a distribuição dos números primos. Ela foi proposta por Bernhard Riemann (1859), de quem recebe o nome.

A hipótese de Riemann e algumas de suas generalizações, juntamente com a conjectura de Goldbach e a conjectura dos primos gêmeos, compõem o oitavo problema na lista de 23 problemas não-resolvidos de David Hilbert; também é um dos Problemas do Prémio Millennium do Clay Mathematics Institute. O nome também é usado para alguns análogos intimamente relacionados, tais como a hipótese de Riemann para curvas definidas sobre corpos finitos.

A função zeta de Riemann ζ(s) é uma função cujo argumento s pode ser qualquer número complexo diferente de 1, e cujos valores também são complexos. Ela tem zeros nos inteiros negativos pares; isto é, ζ(s) = 0 quando s é um dos números -2, -4, -6, .... Estes são chamados de seus zeros triviais. No entanto, os números inteiros negativos pares não são os únicos valores para os quais a função zeta é zero. Os outros são chamados de zeros não-triviais. A hipótese de Riemann diz respeito à localização destes zeros não-triviais, e afirma que:

A parte real de todo zero não trivial da função zeta de Riemann é  12

Assim, se a hipótese estiver correta, todos os zeros não-triviais estarão sobre a linha crítica que consiste de números complexos 12 + i t, onde t é um número real e i é a unidade imaginária.

Existem vários livros não-técnicos, sobre a hipótese de Riemann, como Derbyshire (2003), Rockmore (2005), (Sabbagh , 2003a, 2003b), du Sautoy (2003). Os livros Edwards (1974), Patterson (1988), Borwein et al. (2008), Mazur & Stein (2015) e Broughan (2017) dão uma introdução matemática, enquanto que Titchmarsh (1986), Ivić (1985) e Karatsuba & Voronin (1992) são monografias avançadas.

Função Zeta de Riemann

A função zeta de Riemann é definida para o complexo s com parte real maior do que 1 pela série infinita absolutamente convergente

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

Leonhard Euler já havia considerado esta série na década de 1730, para valores reais de s, em conjunto com a sua solução para o problema de Basileia. Ele também provou que ela é igual ao produto de Euler

${\displaystyle \zeta (s)=\prod _{p{\text{ prime}}}{\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}}}\cdot {\frac {1}{1-11^{-s}}}\cdots }$

onde o produto infinito se estende a todos os números primos p.^[1]

A hipótese de Riemann discute os zeros fora da região de convergência desta série e produto de Euler. Para entender a hipótese, é necessário estender analiticamente a função para obter uma forma que seja válida para todo complexo s. Isso é permitido porque a função zeta é meromorfa, portanto, tem-se a garantia de que a sua extensão analítica é única e formas funcionais equivalente, ao longo de seus domínios. Começa-se por mostrar que a função zeta e a função eta de Dirichlet satisfazem a relação

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

Mas a série à direita converge não apenas quando a parte real de s é maior do que um, mas, mais geralmente, sempre que s tem parte real positiva. Assim, esta série alternativa estende a função zeta de Re(s) > 1 para o domínio maior Re(s) > 0, excluindo os zeros ${\displaystyle s=1+2\pi in/\ln(2)}$ de ${\displaystyle 1-2/2^{s}}$ em que ${\displaystyle n}$ é qualquer inteiro não nulo (ver função eta de Dirichlet). A função zeta também pode ser estendida para esses valores tomando limites, dando um valor finito para todos os valores de s com parte real positiva, exceto para o polo simples em s = 1.

Na faixa 0 < Re(s) < 1 a função zeta satisfaz a equação funcional

${\displaystyle \zeta (s)=2^{s}\pi ^{s-1}\ \sin \left({\frac {\pi s}{2}}\right)\ \Gamma (1-s)\ \zeta (1-s).}$

Pode-se então definir ζ(s) para todos os números complexos s não nulos restantes (Re(s) ≤ 0 e s ≠ 0) aplicando-se esta equação fora da faixa, e fazendo com que ζ(s) seja igual ao lado direito da equação, sempre que s tiver parte real não positiva (e s ≠ 0).

Se s é um número inteiro negativo, então ζ(s) = 0, porque o fator sin(πs/2) desaparece; estes são os zeros triviais da função zeta. (Se s é um número inteiro positivo, este argumento não se aplica porque os zeros da função seno são cancelados pelos da função gama, já que leva argumentos negativos.)

O valor de ζ(0) = -1/2 não é determinado pela equação funcional, mas é o valor limite de ζ(s) quando s tende a zero. A equação funcional implica também que a função zeta não tem zeros com parte real negativa além dos zeros triviais, de modo que todos os zeros não-triviais encontram-se na faixa crítica em que s tem parte real entre 0 e 1.

Origem

...es ist sehr wahrscheinlich, dass alle Wurzeln reell sind. Hiervon wäre allerdings ein strenger Beweis zu wünschen; ich habe indess die Aufsuchung desselben nach einigen flüchtigen vergeblichen Versuchen vorläufig bei Seite gelassen, da er für den nächsten Zweck meiner Untersuchung entbehrlich schien.

(…é bem provável que todas as raízes sejam reais. É claro que seria desejável uma prova rigorosa aqui; Por enquanto, após algumas tentativas em vão, eu deixei de lado a busca por isso, já que parece ser dispensável para o objetivo imediato da minha investigação.)

 Declaração de Riemann sobre sua hipótese, extraída de (Riemann 1859). (ele discutia uma versão da função zeta, modificada de modo que suas raízes (zeros) fossem reais em vez de estar sobre a linha crítica.)

A declaração de Riemann sobre a hipótese de Riemann, de (Riemann 1859). (Ele estava discutindo uma versão da função zeta, modificada para que suas raízes (seus zeros) fossem reais em vez de estar sobre a linha crítica.)

A motivação original de Riemann para o estudo da função zeta e seus zeros foi a ocorrência dos mesmos em sua fórmula explícita para o número de primos π(x) menores ou iguais a um determinado número x, que ele publicou em seu artigo de 1859 "On the Number of Primes Less Than a Given Magnitude". A sua fórmula foi dada em termos da função relacionada

${\displaystyle \Pi (x)=\pi (x)+{\tfrac {1}{2}}\pi (x^{\frac {1}{2}})+{\tfrac {1}{3}}\pi (x^{\frac {1}{3}})+{\tfrac {1}{4}}\pi (x^{\frac {1}{4}})+{\tfrac {1}{5}}\pi (x^{\frac {1}{5}})+{\tfrac {1}{6}}\pi (x^{\frac {1}{6}})+\cdots }$

que conta os primos e potências de primos até x, contando uma potência de primo pⁿ como 1/n. O número de primos pode ser recuperado a partir dessa função usando a fórmula de inversão de Möbius,

${\displaystyle {\begin{aligned}\pi (x)&=\sum _{n=1}^{\infty }{\frac {\mu (n)}{n}}\Pi (x^{\frac {1}{n}})\\&=\Pi (x)-{\frac {1}{2}}\Pi (x^{\frac {1}{2}})-{\frac {1}{3}}\Pi (x^{\frac {1}{3}})-{\frac {1}{5}}\Pi (x^{\frac {1}{5}})+{\frac {1}{6}}\Pi (x^{\frac {1}{6}})-\cdots ,\end{aligned}}}$

em que μ é a função de Möbius. A fórmula de Riemann é então

${\displaystyle \Pi _{0}(x)=\operatorname {li} (x)-\sum _{\rho }\operatorname {li} (x^{\rho })-\log(2)+\int _{x}^{\infty }{\frac {dt}{t(t^{2}-1)\log(t)}}}$

onde a soma é sobre os zeros não triviais da função zeta e onde Π₀ é uma versão ligeiramente modificada de Π que substitui o seu valor em seus pontos de descontinuidade, pela média de seus limites superiores e inferiores:

${\displaystyle \Pi _{0}(x)=\lim _{\varepsilon \to 0}{\frac {\Pi (x-\varepsilon )+\Pi (x+\varepsilon )}{2}}.}$

A soma na fórmula de Riemann não é absolutamente convergente, mas pode ser avaliada tomando os zeros ρ, por ordem de valor absoluto de sua parte imaginária. A função li que aparece no primeiro termo é a função logarítmica integral (não deslocada), dada pelo valor principal de Cauchy da integral divergente

${\displaystyle \operatorname {li} (x)=\int _{0}^{x}{\frac {dt}{\log(t)}}.}$

Os termos li(x^ρ) que envolvem os zeros da função zeta precisam de algum cuidado na sua definição j que li tem pontos de ramificação em 0 e 1, e são definidos (para x > 1) por continuação analítica na variável complexa ρ na região em que Re(ρ) > 0, ou seja, eles devem ser considerados como Ei(ρ ln x). Os outros termos também correspondem aos zeros: o termo dominante li(x) vem do polo em s = 1, considerado como um zero de multiplicidade -1, e os termos pequenos restantes vêm dos zeros triviais. Para alguns gráficos da soma dos primeiros termos da série, ver Riesel & Göhl (1970) ou Zagier (1977).

Esta fórmula diz que os zeros da função zeta de Riemann controlam as oscilações dos primos em torno de suas posições "esperadas". Riemann sabia que os zeros não-triviais da função zeta estavam simetricamente distribuídos sobre a reta s = 1/2 + it, e ele sabia que todos os seus zeros não-triviais deviam estar no intervalo 0 ≤ Re(s) ≤ 1. Ele verificou que alguns dos zeros estavam situados na linha crítica com parte real 1/2 e sugeriu que todos eles estivessem; esta é a hipótese de Riemann.

Consequências

Os usos práticos da hipótese de Riemann incluem muitas proposições que se sabe serem verdadeiras caso a hipótese de Riemann o seja, e algumas que se demonstra serem equivalentes à hipótese de Riemann.

A distribuição dos números primos

A fórmula explícita de Riemann para o número de primos menores do que um determinado número em termos de uma soma sobre os zeros da função zeta de Riemann diz que a magnitude das oscilações de primos em torno de sua posição esperada é controlada pelas partes reais dos zeros da função zeta. Em particular, o termo de erro no teorema do número primo está intimamente relacionado com a posição dos zeros. Por exemplo, se β é o limite superior das partes reais dos zeros, então (Ingham 1932)^{:Theorem 30, p.83}, (Montgomery & Vaughan 2007)^{:p. 430}

${\displaystyle \pi (x)-\operatorname {li} (x)=O\left(x^{\beta }\log x\right)}$.

Já se sabe que 1/2 ≤ β ≤ 1 (Ingham 1932).^{:p. 82}

Von Koch (1901) provou que a hipótese de Riemann implica a "melhor cota possível" para o erro do teorema do número primo. Uma versão precisa do resultado de Koch, devida a Schoenfeld (1976), diz que a hipótese de Riemann implica

${\displaystyle |\pi (x)-\operatorname {li} (x)|<{\frac {1}{8\pi }}{\sqrt {x}}\log(x),\qquad {\text{for all }}x\geq 2657,}$

em que π(x) é a função de contagem de números primos, e log(x) é o logaritmo natural de x.

Schoenfeld (1976) também mostrou que a hipótese de Riemann implica

${\displaystyle |\psi (x)-x|<{\frac {1}{8\pi }}{\sqrt {x}}\log ^{2}(x),\qquad {\text{for all }}x\geq 73.2,}$

em que ψ(x) é a segunda função de Chebyshev.Dudek (2014) demonstrou que a hipótese de Riemann implica que para todo ${\displaystyle x\geq 2}$ há um primo ${\displaystyle p}$ satisfazendo

${\displaystyle x-{\frac {4}{\pi }}{\sqrt {x}}\log x<p\leq x}$.

Esta é uma versão explícita de um teorema de Cramér.

Crescimento de funções aritméticas

A hipótese de Riemann tem como consequência fortes limitações sobre o crescimento de muitas outras funções aritméticas, além da função de contagem de primos citada anteriormente.

Um exemplo envolve a função de Möbius μ. A declaração de que a equação

${\displaystyle {\frac {1}{\zeta (s)}}=\sum _{n=1}^{\infty }{\frac {\mu (n)}{n^{s}}}}$

é válida para todo s com parte real maior do que 1/2, com a soma do lado direito convergindo, é equivalente à hipótese de Riemann. A partir disso, também se pode concluir que, se a função de Mertens é definida por

${\displaystyle M(x)=\sum _{n\leq x}\mu (n)}$

então, a alegação de que

${\displaystyle M(x)=O\left(x^{{\frac {1}{2}}+\varepsilon }\right)}$

para todo ε positivo é equivalente à hipótese de Riemann (J. E. Littlewood, 1912; ver, por exemplo: o parágrafo 14.25 em Titchmarsh (1986)). (Para o significado desses símbolos, consulte sobre a notação grande-O.) O determinante da matriz de Redheffer de ordem n é igual a M(n), então a hipótese de Riemann também pode ser expressa como uma condição para o crescimento desses determinantes. A hipótese de Riemann coloca uma limitação bastante apertada sobre o crescimento de M, desde que Odlyzko & te Riele (1985) desmentiu a conjectura de Mertens, que era um pouco mais forte

${\displaystyle |M(x)|\leq {\sqrt {x}}.}$${\displaystyle |M(x)|\leq {\sqrt {x}}.}$

A hipótese de Riemann é equivalente a muitas outras conjecturas sobre a taxa de crescimento de outras funções aritméticas além de μ(n). Um exemplo típico é o teorema de Robin (Robin 1984), que afirma que, se σ(n) é a função divisor, dada por

${\displaystyle \sigma (n)=\sum _{d\mid n}d}$

então,

${\displaystyle \sigma (n)<e^{\gamma }n\log \log n}$

para todo n > 5040 se, e somente se, a hipótese de Riemann é verdadeira, em que γ é a constante de Euler–Mascheroni.

Outro exemplo foi encontrado por Jérôme Franel, e estendido por Landau (ver Franel & Landau (1924)). A hipótese de Riemann é equivalente a várias afirmações mostrando que os termos da sequência de Farey são bastante regulares. Uma tal equivalência é como segue: se F_n é a sequência de Farey de ordem n, começando com 1/n e até 1/1, então, a alegação de que para todo ε > 0

${\displaystyle \sum _{i=1}^{m}|F_{n}(i)-{\tfrac {i}{m}}|=O(n^{{\frac {1}{2}}+\epsilon })}$

é equivalente à hipótese de Riemann. Aqui

${\displaystyle m=\sum _{i=1}^{n}\phi (i)}$

é o número de termos da sequência de Farey de ordem n.

Para um exemplo da teoria dos grupos, se g(n) é função de Landau dada pela ordem maximal dos elementos do grupo simétrico S_n de grau n, então Massias, Nicolas & Robin (1988) mostraram que a hipótese de Riemann é equivalente à limitação

${\displaystyle \log g(n)<{\sqrt {\operatorname {Li} ^{-1}(n)}}}$

para todo n suficientemente grande.

Hipótese de Lindelöf e o crescimento da função zeta

A hipótese de Riemann tem várias consequncias mais fracas; uma é a hipótese de Lindelöf sobre a taxa de crescimento da função zeta na linha crítica, que diz que, para qualquer ε > 0,

${\displaystyle \zeta \left({\frac {1}{2}}+it\right)=O(t^{\varepsilon }),}$

quando ${\displaystyle t\to \infty }$.

A hipótese de Riemann também implica limitações bastante acentuadas para a taxa de crescimento da função zeta em outras regiões da faixa crítica. Por exemplo, ela implica que

${\displaystyle e^{\gamma }\leq \limsup _{t\rightarrow +\infty }{\frac {|\zeta (1+it)|}{\log \log t}}\leq 2e^{\gamma }}$

${\displaystyle {\frac {6}{\pi ^{2}}}e^{\gamma }\leq \limsup _{t\rightarrow +\infty }{\frac {1/|\zeta (1+it)|}{\log \log t}}\leq {\frac {12}{\pi ^{2}}}e^{\gamma }}$

assim, a taxa de crescimento de ζ(1+it) e sua inversa seria conhecida exceto por um fator de 2 (Titchmarsh 1986).

Conjetura dos grandes intervalos entre primos

O teorema do número primo implica que, em média, o intervalo entre o primo p e o próximo primo é log p. No entanto, alguns intervalos entre primos podem ser muito maiores do que a média. Cramér provou que, assumindo a hipótese de Riemann, cada lacuna é O(√p log p). Este é um caso em que até mesmo a melhor limitação que pode ser provada usando a hipótese de Riemann é muito mais fraca do que o que parece ser verdade: a conjectura de Cramér implica que cada intervalo é O((log p)²), o que, embora maior do que o intervalo médio, é muito menor do que o limite implicado pela hipótese de Riemann. Evidências numéricas apoiam a conjectura de Cramér (Nicely 1999).

Critérios analíticos equivalentes à hipótese de Riemann

Foram encontradas muitas afirmações equivalentes à hipótese de Riemann, apesar de nenhuma delas ter resultado em muito progresso no sentido de provar (ou refutar) a conjectura. Alguns exemplos típicos são apresentados a seguir. (Outras envolvem a função divisor σ(n).)

O critério de Riesz foi apresentado por Riesz (1916), garantindo que

${\displaystyle -\sum _{k=1}^{\infty }{\frac {(-x)^{k}}{(k-1)!\zeta (2k)}}=O\left(x^{{\frac {1}{4}}+\epsilon }\right)}$

vale para qualquer ε > 0 se, e somente se, a hipótese de Riemann for válida.

Nyman (1950), provou que a hipótese de Riemann é verdadeira se, e somente se, o espaço de funções de forma

${\displaystyle f(x)=\sum _{\nu =1}^{n}c_{\nu }\rho \left({\frac {\theta _{\nu }}{x}}\right)}$

em que ρ(z) é a parte fracionária de z, 0 ≤ θ_ν ≤ 1, e

${\displaystyle \sum _{\nu =1}^{n}c_{\nu }\theta _{\nu }=0}$,

é denso no espaço de Hilbert L²(0,1) de funções quadrado-integráveis no intervalo unitário. Beurling (1955) estendeu esse fato, mostrando que a função zeta não tem zeros com parte real maior do que 1/p se, e somente se, este espaço de funções é denso em L^p(0,1)

Salem (1953) mostrou que a hipótese de Riemann é verdadeira se, e somente se, a equação integral

${\displaystyle \int _{0}^{\infty }{\frac {z^{-\sigma -1}\phi (z)}{{e^{x/z}}+1}}\,dz=0}$

não tem soluções limitadas não-triviais ${\displaystyle \phi }$ para ${\displaystyle 1/2<\sigma <1}$.

O critério de Weil é a afirmação de que a positividade de uma determinada função é equivalente à hipótese de Riemann. Um critério relacionado é o critério de Li, uma afirmação de que a positividade de uma determinada sequência de números é equivalente à hipótese de Riemann.

Speiser (1934), provou que a hipótese de Riemann é equivalente à afirmação de que ${\displaystyle \zeta '(s)}$, a derivada de ${\displaystyle \zeta (s)}$, não tem zeros na faixa

${\displaystyle 0<\Re (s)<{\frac {1}{2}}.}$

A afirmação de que ${\displaystyle \zeta (s)}$ tem apenas zeros simples na linha crítica é equivalente a sua derivada não ter zeros na linha crítica.

A sequência de Farey fornece duas equivalências, devido a Jerônimo Franel e Edmund Landau, em 1924.

Consequências da hipótese de Riemann generalizada

Vários aplicações utilizam a hipótese de Riemann generalizada para séries L de Dirichlet ou funções zeta de corpos numérico em vez de apenas a hipótese de Riemann. Muitas propriedades básicas da função zeta de Riemann podem ser generalizadas facilmente para todas as séries K de Dirichlet, o que torna plausível que um método que comprove a hipótese de Riemann para a função zeta de Riemann também funcione para a hipótese de Riemann generalizada para funções L de Dirichlet. Vários resultados demonstrados primeiramente utilizando a hipótese generalizada de Riemann foram, mais tarde, demonstrados incondicionalmente sem usá-la, embora estas demonstrações geralmente tenham sido muito mais difíceis. Muitas das consequências na lista a seguir foram tiradas de Conrad (2010).

• Em 1913, Grönwall mostrou que a hipótese de Riemann generalizada implica que a lista de corpos quadráticos imaginários com o número de classe 1 de Gauss está concluída, embora Baker, Stark e Heegner, mais tarde, tenham dado provas incondicionais deste fato sem o uso da hipótese de Riemann generalizada.
• Em 1917, Hardy e Littlewood, mostrou que a Riemann generalizada hipótese implica uma conjectura de Chebyshev que

${\displaystyle \lim _{x\to 1^{-}}\sum _{p>2}(-1)^{(p+1)/2}x^{p}=+\infty ,}$

que diz que, em algum sentido, primos do tipo 3 mod 4 são mais comuns do que primos do tipo 1 mod 4.

• Em 1923, Hardy e Littlewood mostraram que a hipótese de Riemann generalizada implica uma forma fraca da conjectura de Goldbach para os números ímpares: que todo número ímpar suficientemente grande é a soma de três primos. Porém, em 1937, Vinogradov apresentou uma demonstração incondicional. Em 1997, Deshouillers, Effinger, te Riele, e Zinoviev, mostraram que a hipótese de Riemann generalizada implica que todo número ímpar maior do que 5 é a soma de três números primos. Em 2013, Harald Helfgott provou a conjectura de Goldbach ternária sem depender da GRH, sujeito a alguns cálculos extensos concluídos com a ajuda de David J. Platt.
• Em 1934, Chowla mostrou que a hipótese de Riemann generalizada implica que o primeiro primo na progressão aritmética a mod m é, no máximo, Km²log(m)² , para alguma constante fixa K.
• Em 1967, Hooley mostrou que a hipótese de Riemann generalizada implica a conjectura de Artin sobre raízes primitivas.
• Em 1973, Weinberger mostrou que a hipótese de Riemann generalizada implica que a lista de números idôneos de Euler está completa.
• Weinberger (1973) mostrou que a hipótese de Riemann generalizada para as funções zeta de todos os corpos numéricos algébricos implica que qualquer corpo numérico com número de classe 1 é Euclidiano ou um corpo numérico quadrático imaginário de discriminante -19, -43, -67 ou -163.
• Em 1976, G. Miller mostrou que a hipótese de Riemann generalizada implica que se pode testar se um número é primo em tempo polinomial através do teste de Miller. Em 2002, Manindra Agrawal, Neeraj Kayal e Nitin Saxena provaram este resultado incondicionalmente usando o teste de primalidade AKS.
• Odlyzko (1990) discutiu como a hipótese de Riemann generalizada pode ser usada para dar estimativas melhores para os discriminants e números de classe de corpos numéricos.
• Ono & Soundararajan (1997) mostrou que a hipótese de Riemann generalizada implica que a forma quadrática integral de Ramanujan x² + y² + 10z² representa todos os números inteiros que ela representa localmente, com exatamente 18 exceções.

Terceiro excluído

Algumas consequências da hipótese de Riemann também são consequências de sua negação e, portanto, são teoremas. Em sua discussão sobre o teorema de Hecke, Deuring, Mordell, Heilbronn, (Ireland & Rosen 1990, p. 359) dizem

O método de prova aqui é realmente incrível. Se a hipótese de Riemann generalizada é verdadeira, então o teorema é verdadeiro. Se a hipótese de Riemann generalizada é falsa, então o teorema é verdadeiro. Assim, o teorema é verdadeiro!!     (pontuação no original)

É preciso ter cuidado para compreender o que significa dizer que a hipótese de Riemann generalizada é falsa: deve-se especificar exatamente que classe de séries de Dirichlet tem um contra-exemplo.

Teorema de Littlewood

Este teorema diz respeito ao sinal do erro no teorema do número primo. Foi calculado que π(x) < li(x) para todo x ≤ 10²⁵ (consulte esta tabela), e não se conhece nenhum valor de x para o qual π(x) > li(x).

Em 1914 Littlewood provou que há valores arbitrariamente grandes de x para os quais

${\displaystyle \pi (x)>\operatorname {li} (x)+{\frac {1}{3}}{\frac {\sqrt {x}}{\log x}}\log \log \log x,}$

e também que há valores arbitrariamente grandes de x para os quais

${\displaystyle \pi (x)<\operatorname {li} (x)-{\frac {1}{3}}{\frac {\sqrt {x}}{\log x}}\log \log \log x.}$

Assim, a diferença π(x) − li(x) muda de sinal infinitas vezes. O número de Skewes é uma estimativa do valor de x correspondente à primeira mudança de sinal.

A prova de Littlewood é dividida em dois casos: um em que a hipótese de Riemann é assumida como falsa (cerca de metade de uma página de Ingham 1932, Chapt. V), e o outro em que ela é assumida como verdadeira (cerca de uma dúzia de páginas). Stanisław Knapowski deu continuidade a ela ao publicar um artigo sobre o número de vezes que ${\displaystyle \Delta (n)}$ muda de sinal no intervalo ${\displaystyle \Delta (n)}$.^[2]

Conjectura do número de classe de Gauss

Esta é a conjectura (considerada pela primeira vez no artigo 303 do Disquisitiones Arithmeticae, de Gauss) de que há apenas um número finito de corpos quadráticos imaginários com um número de classe dado. Uma maneira de provar isso seria demonstrar que quando o discriminante D → −∞ o número de classe h(D) → ∞.

A seguinte sequência de teoremas envolvendo a hipótese de Riemann é descrito na Ireland & Rosen 1990, pp. 358–361:

Teorema (Hecke; 1918). Seja D < 0 o discriminante de um corpo quadrático imaginário K. Suponha que seja verdadeira a hipótese de Riemann generalizada para L-funções de todos os caracteres de de Dirichlet quadráticos imaginários. Então, existe uma constante absoluta C, tal que

${\displaystyle h(D)>C{\frac {\sqrt {|D|}}{\log |D|}}.}$

Teorema (Deuring; 1933). Se a hipótese de Riemann é falsa, então h(D) > 1, para |D| suficientemente grande.

Teorema (Mordell; 1934). Se a hipótese de Riemann é falsa, então h(D) → ∞ quando D → −∞.

Teorema (Heilbronn; 1934). Se a hipótese de Riemann generalizada é falsa para a L-função de algum caractere de Dirichlet quadrático imaginário, então h(D) → ∞ quando D → −∞.

(Na obra de Hecke e Heilbronn, as únicas L-funções que ocorrem são aquelas ligadas aos caracteres quadráticos imaginários, e as suposições a respeito da validade ou falsidade da hipótese de Riemann generalizada referem-se apenas a tais L-funções; uma falha da hipótese de Riemann generalizada para uma L-função de um caractere de Dirichlet cúbico significaria, a rigor, que a hipótese de Riemann generalizada é falsa, mas este não era o tipo de falha que Heilbronn tinha em mente, assim, sua suposição era mais restrita do que simplesmente dizer que a hipótese de Riemann generalizada é falsa.)

Em 1935, Carl Siegel, mais tarde, obteve um resultado mais forte sem fazer qualquer uso da hipótese de Riemann ou de sua generalização.

O crescimento da função totiente de Euler

Em 1983, J. L. Nicolas provou (Ribenboim 1996, p. 320) que

${\displaystyle \varphi (n)<e^{-\gamma }{\frac {n}{\log \log n}}}$

para uma infinidade de valores de n, em que φ(n) é a função totiente de Euler e γ é a constante de Euler-Mascheroni.

Ribenboim observa que:

O método de prova é interessante, por mostrar que a desigualdade é válida primeiro sob a suposição de que a hipótese de Riemann é verdadeira, e então sob a suposição contrária.

Generalizações e análogos

Séries L de Dirichlet e outros corpos numéricos

A hipótese de Riemann pode ser generalizada substituindo a função zeta de Riemann pelas L-funções, que são formalmente similares, mas muito mais gerais. Neste contexto mais amplo, espera-se que os zeros não-triviais das L-funções globais tenham parte real 1/2. São estas conjecturas, ao invés da hipótese de Riemann clássica que considera apenas a função zeta de Riemann especificamente, que são responsáveis pela verdadeira importância da hipótese de Riemann em matemática.

A hipótese de Riemann generalizada estende a hipótese de Riemann para todas as funções L de Dirichlet. Em particular, ela implica a conjectura de que os zeros de Siegel (zeros de L-funções entre 1/2 e 1) não existem.

A hipótese de Riemann estendida estende a hipótese de Riemann para todas as funções zeta de Dedekind de corpos numéricos algébricos. A hipótese de Riemann estendida para extensões abelianas dos racionais é equivalente à hipótese de Riemann generalizada. A hipótese de Riemann também pode ser estendida para as L-funções de caráter de Hecke de corpos numéricos.

A grande hipótese de Riemann é uma extensão a todas as funções zeta automórficas, tais como as transformadas de Mellin de autoformas de Hecke.

Corpos de funções e funções zeta de variedades definidas sobre corpos finitos

Artin (1924) introduziu funções zeta globais de corpos de funções (quadráticos) e conjecturou um análogo da hipótese de Riemann para elas, que foi demonstrado por Hasse no caso de genus 1 e por Weil (1948) no caso geral. Por exemplo, o fato de que a soma de Gauss, do caráter quadrático de um corpo finito de tamanho q (com q ímpar), tem valor absoluto ${\displaystyle {\sqrt {q}}}$ é na verdade uma instância da hipótese de Riemann no contexto dos corpos de funções. Isso levou Weil (1949) a conjecturar algo similar para todas as variedades algébricas; as conjecturas de Weil resultantes foram provadas por Pierre Deligne (1974, 1980).

Funções zeta aritméticas de esquemas aritméticos e seus fatores L

As funções zeta aritméticas generalizam as funções zeta de Riemann e Dedekind, bem como as funções zeta de variedades em campos finitos para todo esquema aritmético ou um esquema de tipo finito sobre números inteiros. A função zeta aritmética de um esquema aritmético equidimensional conectado regular com dimensão de Kronecker n pode ser fatorada como um produto de fatores L definidos adequadamente e um fator auxiliar (Jean-Pierre Serre (1969–1970)). Assumindo uma equação funcional e continuação meromorfa, a hipótese de Riemann generalizada para o fator L afirma que seus zeros dentro da faixa crítica ${\displaystyle \Re (s)\in (0,n)}$ estão na reta central. Da mesma forma, a hipótese de Riemann generalizada para a função zeta aritmética de um esquema aritmético equidimensional conectado regular afirma que seus zeros dentro da faixa crítica estão nas retas verticais ${\displaystyle \Re (s)=1/2,3/2,\dots ,n-1/2}$ e seus pólos dentro da faixa crítica estão nas retas verticais ${\displaystyle \Re (s)=1,2,\dots ,n-1}$ . Isso é conhecido para esquemas em característica positiva e segue de Pierre Deligne (1974), mas permanece totalmente desconhecido em característica zero.

Referências

Referências

• Artin, Emil (1924), «Quadratische Körper im Gebiete der höheren Kongruenzen. II. Analytischer Teil», Mathematische Zeitschrift, 19 (1): 207–246, doi:10.1007/BF01181075 
• Backlund, R. J. (1914), «Sur les Zéros de la Fonction ζ(s) de Riemann», C. R. Acad. Sci. Paris, 158: 1979–1981 
• Beurling, Arne (1955), «A closure problem related to the Riemann zeta-function», Proceedings of the National Academy of Sciences of the United States of America, 41 (5): 312–314, Bibcode:1955PNAS...41..312B, MR 0070655, PMC 528084, PMID 16589670, doi:10.1073/pnas.41.5.312 
• Bohr, H.; Landau, E. (1914), «Ein Satz über Dirichletsche Reihen mit Anwendung auf die ζ-Funktion und die L-Funktionen», Rendiconti del Circolo Matematico di Palermo, 37 (1): 269–272, doi:10.1007/BF03014823 
• Bombieri, Enrico (2000), The Riemann Hypothesis – official problem description (PDF), Clay Mathematics Institute, consultado em 25 de outubro de 2008  Reprinted in (Borwein et al. 2008).
• Borwein, Peter; Choi, Stephen; Rooney, Brendan; Weirathmueller, Andrea, eds. (2008), The Riemann Hypothesis: A Resource for the Afficionado and Virtuoso Alike, ISBN 978-0-387-72125-5, CMS Books in Mathematics, New York: Springer, doi:10.1007/978-0-387-72126-2 
• Borwein, Peter; Ferguson, Ron; Mossinghoff, Michael J. (2008), «Sign changes in sums of the Liouville function», Mathematics of Computation, 77 (263): 1681–1694, Bibcode:2008MaCom..77.1681B, MR 2398787, doi:10.1090/S0025-5718-08-02036-X 
• de Branges, Louis (1992), «The convergence of Euler products», Journal of Functional Analysis, 107 (1): 122–210, MR 1165869, doi:10.1016/0022-1236(92)90103-P 
• Broughan, Kevin (2017), Equivalents of the Riemann Hypothesis, ISBN 978-1108290784, Cambridge University Press 
• Burton, David M. (2006), Elementary Number Theory, ISBN 978-0-07-061607-3, Tata McGraw-Hill Publishing Company Limited 
• Cartier, P. (1982), «Comment l'hypothèse de Riemann ne fut pas prouvée», Seminar on Number Theory, Paris 1980–81 (Paris, 1980/1981), Progr. Math., 22, Boston, MA: Birkhäuser Boston, pp. 35–48, MR 693308 
• Connes, Alain (1999), «Trace formula in noncommutative geometry and the zeros of the Riemann zeta function», Selecta Mathematica. New Series, 5 (1): 29–106, MR 1694895, arXiv:math/9811068, doi:10.1007/s000290050042 
• Connes, Alain (2000), «Noncommutative geometry and the Riemann zeta function», Mathematics: frontiers and perspectives, Providence, R.I.: American Mathematical Society, pp. 35–54, MR 1754766 
• Connes, Alain (2016), «An Essay on the Riemann Hypothesis», in: Nash, J. F.; Rassias, Michael, Open Problems in Mathematics, New York: Springer, pp. 225–257, arXiv:1509.05576, doi:10.1007/978-3-319-32162-2_5 
• Conrey, J. B. (1989), «More than two fifths of the zeros of the Riemann zeta function are on the critical line», J. Reine Angew. Math., 1989 (399): 1–16, MR 1004130, doi:10.1515/crll.1989.399.1 
• Conrey, J. Brian (2003), «The Riemann Hypothesis» (PDF), Notices of the American Mathematical Society: 341–353  Reprinted in (Borwein et al. 2008).
• Conrey, J. B.; Li, Xian-Jin (2000), «A note on some positivity conditions related to zeta and L-functions», International Mathematics Research Notices, 2000 (18): 929–940, MR 1792282, arXiv:math/9812166, doi:10.1155/S1073792800000489 
• Deligne, Pierre (1974), «La conjecture de Weil. I», Publications Mathématiques de l'IHÉS, 43: 273–307, MR 0340258, doi:10.1007/BF02684373 
• Deligne, Pierre (1980), «La conjecture de Weil : II», Publications Mathématiques de l'IHÉS, 52: 137–252, doi:10.1007/BF02684780 
• Deninger, Christopher (1998), «Some analogies between number theory and dynamical systems on foliated spaces», Proceedings of the International Congress of Mathematicians, Vol. I (Berlin, 1998), Documenta Mathematica, pp. 163–186, MR 1648030 
• Dudek, Adrian W. (21 de agosto de 2014), «On the Riemann hypothesis and the difference between primes», International Journal of Number Theory, ISSN 1793-0421, 11 (3): 771–778, Bibcode:2014arXiv1402.6417D, arXiv:1402.6417, doi:10.1142/S1793042115500426 
• Dyson, Freeman (2009), «Birds and frogs» (PDF), Notices of the American Mathematical Society, 56 (2): 212–223, MR 2483565 
• Edwards, H. M. (1974), Riemann's Zeta Function, ISBN 978-0-486-41740-0, New York: Dover Publications, MR 0466039 
• Fesenko, Ivan (2010), «Analysis on arithmetic schemes. II», Journal of K-theory, 5 (3): 437–557, doi:10.1017/is010004028jkt103 
• Ford, Kevin (2002), «Vinogradov's integral and bounds for the Riemann zeta function», Proceedings of the London Mathematical Society, Third Series, 85 (3): 565–633, MR 1936814, arXiv:1910.08209, doi:10.1112/S0024611502013655 
• Franel, J.; Landau, E. (1924), «Les suites de Farey et le problème des nombres premiers" (Franel, 198–201); "Bemerkungen zu der vorstehenden Abhandlung von Herrn Franel (Landau, 202–206)», Göttinger Nachrichten: 198–206 
• Ghosh, Amit (1983), «On the Riemann zeta function—mean value theorems and the distribution of |S(T)|», J. Number Theory, 17: 93–102, doi:10.1016/0022-314X(83)90010-0 
• Gourdon, Xavier (2004), The 10¹³ first zeros of the Riemann Zeta function, and zeros computation at very large height (PDF) 
• Gram, J. P. (1903), «Note sur les zéros de la fonction ζ(s) de Riemann» (PDF), Acta Mathematica, 27: 289–304, doi:10.1007/BF02421310 
• Hadamard, Jacques (1896), «Sur la distribution des zéros de la fonction ζ(s) et ses conséquences arithmétiques», Bulletin de la Société Mathématique de France, 14: 199–220, doi:10.24033/bsmf.545  Reprinted in (Borwein et al. 2008).
• Hardy, G. H. (1914), «Sur les Zéros de la Fonction ζ(s) de Riemann», C. R. Acad. Sci. Paris, 158: 1012–1014, JFM 45.0716.04  Reprinted in (Borwein et al. 2008).
• Hardy, G. H.; Littlewood, J. E. (1921), «The zeros of Riemann's zeta-function on the critical line», Math. Z., 10 (3–4): 283–317, doi:10.1007/BF01211614 
• Haselgrove, C. B. (1958), «A disproof of a conjecture of Pólya», Mathematika, ISSN 0025-5793, 5 (2): 141–145, MR 0104638, Zbl 0085.27102, doi:10.1112/S0025579300001480  Reprinted in (Borwein et al. 2008).
• Haselgrove, C. B.; Miller, J. C. P. (1960), Tables of the Riemann zeta function, ISBN 978-0-521-06152-0, Royal Society Mathematical Tables, Vol. 6, Cambridge University Press, MR 0117905  Review
• Hutchinson, J. I. (1925), «On the Roots of the Riemann Zeta-Function», Transactions of the American Mathematical Society, 27 (1): 49–60, JSTOR 1989163, doi:10.2307/1989163 
• Ingham, A.E. (1932), The Distribution of Prime Numbers, Cambridge Tracts in Mathematics and Mathematical Physics, 30, Cambridge University Press . Reprinted 1990, ISBN 978-0-521-39789-6, MR1074573
• Ireland, Kenneth; Rosen, Michael (1990), A Classical Introduction to Modern Number Theory (Second edition), ISBN 0-387-97329-X, New York: Springer 
• Ivić, A. (1985), The Riemann Zeta Function, ISBN 978-0-471-80634-9, New York: John Wiley & Sons, MR 0792089  (Reprinted by Dover 2003)
• Ivić, Aleksandar (2008), «On some reasons for doubting the Riemann hypothesis», in: Borwein, Peter; Choi, Stephen; Rooney, Brendan; Weirathmueller, Andrea, The Riemann Hypothesis: A Resource for the Afficionado and Virtuoso Alike, ISBN 978-0-387-72125-5, CMS Books in Mathematics, New York: Springer, pp. 131–160, arXiv:math.NT/0311162 
• Karatsuba, A. A. (1984a), «Zeros of the function ζ(s) on short intervals of the critical line», Izv. Akad. Nauk SSSR, Ser. Mat. (em Russian), 48 (3): 569–584, MR 0747251  !CS1 manut: Língua não reconhecida (link)
• Karatsuba, A. A. (1984b), «Distribution of zeros of the function ζ(1/2 + it)», Izv. Akad. Nauk SSSR, Ser. Mat. (em Russian), 48 (6): 1214–1224, MR 0772113  !CS1 manut: Língua não reconhecida (link)
• Karatsuba, A. A. (1985), «Zeros of the Riemann zeta-function on the critical line», Trudy Mat. Inst. Steklov. (em Russian) (167): 167–178, MR 0804073  !CS1 manut: Língua não reconhecida (link)
• Karatsuba, A. A. (1992), «On the number of zeros of the Riemann zeta-function lying in almost all short intervals of the critical line», Izv. Ross. Akad. Nauk, Ser. Mat. (em Russian), 56 (2): 372–397, Bibcode:1993IzMat..40..353K, MR 1180378, doi:10.1070/IM1993v040n02ABEH002168  !CS1 manut: Língua não reconhecida (link)
• Karatsuba, A. A.; Voronin, S. M. (1992), The Riemann zeta-function, ISBN 978-3-11-013170-3, de Gruyter Expositions in Mathematics, 5, Berlin: Walter de Gruyter & Co., MR 1183467, doi:10.1515/9783110886146 
• Keating, Jonathan P.; Snaith, N. C. (2000), «Random matrix theory and ζ(1/2 + it)», Communications in Mathematical Physics, 214 (1): 57–89, Bibcode:2000CMaPh.214...57K, MR 1794265, doi:10.1007/s002200000261 
• Knauf, Andreas (1999), «Number theory, dynamical systems and statistical mechanics», Reviews in Mathematical Physics. A Journal for Both Review and Original Research Papers in the Field of Mathematical Physics, 11 (8): 1027–1060, Bibcode:1999RvMaP..11.1027K, MR 1714352, doi:10.1142/S0129055X99000325 
• von Koch, Niels Helge (1901), «Sur la distribution des nombres premiers», Acta Mathematica, 24: 159–182, doi:10.1007/BF02403071 
• Kurokawa, Nobushige (1992), «Multiple zeta functions: an example», Zeta functions in geometry (Tokyo, 1990), Adv. Stud. Pure Math., 21, Tokyo: Kinokuniya, pp. 219–226, MR 1210791 
• Lapidus, Michel L. (2008), In search of the Riemann zeros, ISBN 978-0-8218-4222-5, Providence, R.I.: American Mathematical Society, MR 2375028, doi:10.1090/mbk/051 
• Lavrik, A. F. (2001), «Zeta-function», in: Hazewinkel, Michiel, Enciclopédia de Matemática, ISBN 978-1-55608-010-4 (em inglês), Springer 
• Lehmer, D. H. (1956), «Extended computation of the Riemann zeta-function», Mathematika. A Journal of Pure and Applied Mathematics, 3 (2): 102–108, MR 0086083, doi:10.1112/S0025579300001753 
• Leichtnam, Eric (2005), «An invitation to Deninger's work on arithmetic zeta functions», Geometry, spectral theory, groups, and dynamics, Contemp. Math., 387, Providence, RI: Amer. Math. Soc., pp. 201–236, MR 2180209, doi:10.1090/conm/387/07243 .
• Levinson, N. (1974), «More than one-third of the zeros of Riemann's zeta function are on σ = 1/2», Adv. Math., 13 (4): 383–436, MR 0564081, doi:10.1016/0001-8708(74)90074-7 
• Littlewood, J. E. (1962), «The Riemann hypothesis», The scientist speculates: an anthology of partly baked idea, New York: Basic books 
• van de Lune, J.; te Riele, H. J. J.; Winter, D. T. (1986), «On the zeros of the Riemann zeta function in the critical strip. IV», Mathematics of Computation, 46 (174): 667–681, JSTOR 2008005, MR 829637, doi:10.2307/2008005 
• Massias, J.-P.; Nicolas, Jean-Louis; Robin, G. (1988), «Évaluation asymptotique de l'ordre maximum d'un élément du groupe symétrique», Polska Akademia Nauk. Instytut Matematyczny. Acta Arithmetica, 50 (3): 221–242, MR 960551, doi:10.4064/aa-50-3-221-242 
• Mazur, Barry; Stein, William (2015), Prime Numbers and the Riemann Hypothesis 
• Montgomery, Hugh L. (1973), «The pair correlation of zeros of the zeta function», Analytic number theory, Proc. Sympos. Pure Math., XXIV, Providence, R.I.: American Mathematical Society, pp. 181–193, MR 0337821  Reprinted in (Borwein et al. 2008).
• Montgomery, Hugh L. (1983), «Zeros of approximations to the zeta function», in: Erdős, Paul, Studies in pure mathematics. To the memory of Paul Turán, ISBN 978-3-7643-1288-6, Basel, Boston, Berlin: Birkhäuser, pp. 497–506, MR 820245 
• Montgomery, Hugh L.; Vaughan, Robert C. (2007), Multiplicative Number Theory I. Classical Theory, Cambridge studies in advanced mathematics, 97, Cambridge University Press .ISBN 978-0-521-84903-6
• Nicely, Thomas R. (1999), «New maximal prime gaps and first occurrences», Mathematics of Computation, 68 (227): 1311–1315, Bibcode:1999MaCom..68.1311N, MR 1627813, doi:10.1090/S0025-5718-99-01065-0 .
• Nyman, Bertil (1950), On the One-Dimensional Translation Group and Semi-Group in Certain Function Spaces, PhD Thesis, University of Uppsala: University of Uppsala, MR 0036444 
• Odlyzko, A. M.; te Riele, H. J. J. (1985), «Disproof of the Mertens conjecture», Journal für die reine und angewandte Mathematik, 1985 (357): 138–160, MR 783538, doi:10.1515/crll.1985.357.138, arquivado do original em 11 de julho de 2012 
• Odlyzko, A. M. (1987), «On the distribution of spacings between zeros of the zeta function», Mathematics of Computation, 48 (177): 273–308, JSTOR 2007890, MR 866115, doi:10.2307/2007890 
• Odlyzko, A. M. (1990), «Bounds for discriminants and related estimates for class numbers, regulators and zeros of zeta functions: a survey of recent results», Séminaire de Théorie des Nombres de Bordeaux, Série 2, 2 (1): 119–141, MR 1061762, doi:10.5802/jtnb.22 
• Odlyzko, A. M. (1992), The 10²⁰-th zero of the Riemann zeta function and 175 million of its neighbors (PDF)  This unpublished book describes the implementation of the algorithm and discusses the results in detail.
• Odlyzko, A. M. (1998), The 10²¹st zero of the Riemann zeta function (PDF) 
• Ono, Ken; Soundararajan, K. (1997), «Ramanujan's ternary quadratic form», Inventiones Mathematicae, 130 (3): 415–454, Bibcode:1997InMat.130..415O, doi:10.1007/s002220050191 
• Patterson, S. J. (1988), An introduction to the theory of the Riemann zeta-function, ISBN 978-0-521-33535-5, Cambridge Studies in Advanced Mathematics, 14, Cambridge University Press, MR 933558, doi:10.1017/CBO9780511623707 
• Platt, David; Trudgian, Tim (2020), The Riemann hypothesis is true up to ${\displaystyle 3\cdot 10^{12}}$, arXiv:2004.09765v1 
• Radziejewski, Maciej (2007), «Independence of Hecke zeta functions of finite order over normal fields», Transactions of the American Mathematical Society, 359 (5): 2383–2394, MR 2276625, doi:10.1090/S0002-9947-06-04078-5, There are infinitely many nonisomorphic algebraic number fields whose Dedekind zeta functions have infinitely many nontrivial multiple zeros. 
• Ribenboim, Paulo (1996), The New Book of Prime Number Records, ISBN 0-387-94457-5, New York: Springer 
• Riemann, Bernhard (1859), «Ueber die Anzahl der Primzahlen unter einer gegebenen Grösse», Monatsberichte der Berliner Akademie . In Gesammelte Werke, Teubner, Leipzig (1892), Reprinted by Dover, New York (1953). Original manuscript (with English translation). Reprinted in (Borwein et al. 2008) and (Edwards 1974)
• Riesel, Hans; Göhl, Gunnar (1970), «Some calculations related to Riemann's prime number formula», Mathematics of Computation, 24 (112): 969–983, JSTOR 2004630, MR 0277489, doi:10.2307/2004630 
• Riesz, M. (1916), «Sur l'hypothèse de Riemann», Acta Mathematica, 40: 185–190, doi:10.1007/BF02418544 
• Robin, G. (1984), «Grandes valeurs de la fonction somme des diviseurs et hypothèse de Riemann», Journal de Mathématiques Pures et Appliquées, Neuvième Série, 63 (2): 187–213, MR 774171 
• Rosser, J. Barkley; Yohe, J. M.; Schoenfeld, Lowell (1969), «Rigorous computation and the zeros of the Riemann zeta-function. (With discussion)», Information Processing 68 (Proc. IFIP Congress, Edinburgh, 1968), Vol. 1: Mathematics, Software, Amsterdam: North-Holland, pp. 70–76, MR 0258245 
• Rudin, Walter (1973), Functional Analysis, 1st edition (January 1973), ISBN 0-070-54225-2, New York: McGraw-Hill 
• Salem, Raphaël (1953), «Sur une proposition équivalente à l'hypothèse de Riemann», Les Comptes rendus de l'Académie des sciences, 236: 1127–1128, MR 0053148 
• Sarnak, Peter (2005), Problems of the Millennium: The Riemann Hypothesis (2004) (PDF), Clay Mathematics Institute, consultado em 28 de julho de 2015  Reprinted in (Borwein et al. 2008).
• Schoenfeld, Lowell (1976), «Sharper bounds for the Chebyshev functions θ(x) and ψ(x). II», Mathematics of Computation, 30 (134): 337–360, JSTOR 2005976, MR 0457374, doi:10.2307/2005976 
• Schumayer, Daniel; Hutchinson, David A. W. (2011), «Physics of the Riemann Hypothesis», Reviews of Modern Physics, 83 (2): 307–330, Bibcode:2011RvMP...83..307S, arXiv:1101.3116, doi:10.1103/RevModPhys.83.307 
• Selberg, Atle (1942), «On the zeros of Riemann's zeta-function», SKR. Norske Vid. Akad. Oslo I., 10: 59 pp, MR 0010712 
• Selberg, Atle (1946), «Contributions to the theory of the Riemann zeta-function», Arch. Math. Naturvid., 48 (5): 89–155, MR 0020594 
• Selberg, Atle (1956), «Harmonic analysis and discontinuous groups in weakly symmetric Riemannian spaces with applications to Dirichlet series», J. Indian Math. Soc. (N.S.), 20: 47–87, MR 0088511 
• Serre, Jean-Pierre (1969–1970), «Facteurs locaux des fonctions zeta des varietés algébriques (définitions et conjectures)», Séminaire Delange-Pisot-Poitou, 19 
• Sheats, Jeffrey T. (1998), «The Riemann hypothesis for the Goss zeta function for F_q[T]», Journal of Number Theory, 71 (1): 121–157, MR 1630979, arXiv:math/9801158, doi:10.1006/jnth.1998.2232 
• Siegel, C. L. (1932), «Über Riemanns Nachlaß zur analytischen Zahlentheorie», Quellen Studien zur Geschichte der Math. Astron. Und Phys. Abt. B: Studien 2: 45–80  Reprinted in Gesammelte Abhandlungen, Vol. 1. Berlin: Springer-Verlag, 1966.
• Speiser, Andreas (1934), «Geometrisches zur Riemannschen Zetafunktion», Mathematische Annalen, 110: 514–521, JFM 60.0272.04, doi:10.1007/BF01448042, arquivado do original em 27 de junho de 2015 
• Spira, Robert (1968), «Zeros of sections of the zeta function. II», Mathematics of Computation, 22 (101): 163–173, JSTOR 2004774, MR 0228456, doi:10.2307/2004774 
• Stein, William; Mazur, Barry (2007), What is Riemann's Hypothesis? (PDF), arquivado do original (PDF) em 27 de março de 2009 
• Suzuki, Masatoshi (2011), «Positivity of certain functions associated with analysis on elliptic surfaces», Journal of Number Theory, 131 (10): 1770–1796, doi:10.1016/j.jnt.2011.03.007 
• Titchmarsh, Edward Charles (1935), «The Zeros of the Riemann Zeta-Function», The Royal Society, Proceedings of the Royal Society of London. Series A, Mathematical and Physical Sciences, 151 (873): 234–255, Bibcode:1935RSPSA.151..234T, JSTOR 96545, doi:10.1098/rspa.1935.0146 
• Titchmarsh, Edward Charles (1936), «The Zeros of the Riemann Zeta-Function», The Royal Society, Proceedings of the Royal Society of London. Series A, Mathematical and Physical Sciences, 157 (891): 261–263, Bibcode:1936RSPSA.157..261T, JSTOR 96692, doi:10.1098/rspa.1936.0192 
• Titchmarsh, Edward Charles (1986), The theory of the Riemann zeta-function, ISBN 978-0-19-853369-6 2nd ed. , The Clarendon Press Oxford University Press, MR 882550 
• Trudgian, Timothy (2011), «On the success and failure of Gram's Law and the Rosser Rule», Acta Arithmetica, 125 (3): 225–256, doi:10.4064/aa148-3-2 
• Turán, Paul (1948), «On some approximative Dirichlet-polynomials in the theory of the zeta-function of Riemann», Danske Vid. Selsk. Mat.-Fys. Medd., 24 (17): 36, MR 0027305  Reprinted in (Borwein et al. 2008).
• Turing, Alan M. (1953), «Some calculations of the Riemann zeta-function», Proceedings of the London Mathematical Society, Third Series, 3: 99–117, MR 0055785, doi:10.1112/plms/s3-3.1.99 
• de la Vallée-Poussin, Ch.J. (1896), «Recherches analytiques sur la théorie des nombers premiers», Ann. Soc. Sci. Bruxelles, 20: 183–256 
• de la Vallée-Poussin, Ch.J. (1899–1900), «Sur la fonction ζ(s) de Riemann et la nombre des nombres premiers inférieurs à une limite donnée», Mem. Couronnes Acad. Sci. Belg., 59 (1)  Reprinted in (Borwein et al. 2008).
• Weil, André (1948), Sur les courbes algébriques et les variétés qui s'en déduisent, Actualités Sci. Ind., no. 1041 = Publ. Inst. Math. Univ. Strasbourg 7 (1945), Hermann et Cie., Paris, MR 0027151 
• Weil, André (1949), «Numbers of solutions of equations in finite fields», Bulletin of the American Mathematical Society, 55 (5): 497–508, MR 0029393, doi:10.1090/S0002-9904-1949-09219-4  Reprinted in Oeuvres Scientifiques/Collected Papers by Andre Weil ISBN 0-387-90330-5
• Weinberger, Peter J. (1973), «On Euclidean rings of algebraic integers», Analytic number theory ( St. Louis Univ., 1972), Proc. Sympos. Pure Math., 24, Providence, R.I.: Amer. Math. Soc., pp. 321–332, MR 0337902 
• Wiles, Andrew (2000), «Twenty years of number theory», Mathematics: frontiers and perspectives, ISBN 978-0-8218-2697-3, Providence, R.I.: American Mathematical Society, pp. 329–342, MR 1754786 
• Zagier, Don (1977), «The first 50 million prime numbers» (PDF), Springer, Math. Intelligencer, 0: 7–19, MR 643810, doi:10.1007/BF03039306, arquivado do original (PDF) em 27 de março de 2009 
• Zagier, Don (1981), «Eisenstein series and the Riemann zeta function», Automorphic forms, representation theory and arithmetic (Bombay, 1979), Tata Inst. Fund. Res. Studies in Math., 10, Tata Inst. Fundamental Res., Bombay, pp. 275–301, MR 633666 

Exposições populares

• Sabbagh, Karl (2003a), The greatest unsolved problem in mathematics, ISBN 978-0-374-25007-2, Farrar, Straus and Giroux, New York, MR 1979664 
• Sabbagh, Karl (2003b), Dr. Riemann's zeros, ISBN 978-1-843-54101-1, Atlantic Books, London 
• du Sautoy, Marcus (2003), The music of the primes, ISBN 978-0-06-621070-4, HarperCollins Publishers, MR 2060134 
• Rockmore, Dan (2005), Stalking the Riemann hypothesis, ISBN 978-0-375-42136-5, Pantheon Books, MR 2269393 
• Derbyshire, John (2003), Prime Obsession, ISBN 978-0-309-08549-6, Joseph Henry Press, Washington, DC, MR 1968857 
• Watkins, Matthew (2015), Mystery of the Prime Numbers, ISBN 978-1782797814, Liberalis Books, MR 0000000 
• Frenkel, Edward (2014), The Riemann Hypothesis Numberphile, Mar 11, 2014 (video)

Ligações externas

• American institute of mathematics, Riemann hypothesis
• Zeroes database, 103 800 788 359 zeroes
• The Key to the Riemann Hypothesis - Numberphile, a YouTube video about the Riemann hypothesis by Numberphile
• Apostol, Tom, Where are the zeros of zeta of s?  Poem about the Riemann hypothesis, sung by John Derbyshire.
• Borwein, Peter, The Riemann Hypothesis (PDF), arquivado do original (PDF) em 27 de março de 2009  (Slides for a lecture)
• Conrad, K. (2010), Consequences of the Riemann hypothesis 
• Conrey, J. Brian; Farmer, David W, Equivalences to the Riemann hypothesis, arquivado do original em 16 de março de 2010 
• Gourdon, Xavier; Sebah, Pascal (2004), Computation of zeros of the Zeta function  (Reviews the GUE hypothesis, provides an extensive bibliography as well).
• Odlyzko, Andrew, Home page  including papers on the zeros of the zeta function and tables of the zeros of the zeta function
• Odlyzko, Andrew (2002), Zeros of the Riemann zeta function: Conjectures and computations (PDF)  Slides of a talk
• Pegg, Ed (2004), Ten Trillion Zeta Zeros, Math Games website . A discussion of Xavier Gourdon's calculation of the first ten trillion non-trivial zeros
• Pugh, Glen, Java applet for plotting Z(t) 
• Rubinstein, Michael, algorithm for generating the zeros, arquivado do original em 27 de abril de 2007 .
• du Sautoy, Marcus (2006), Prime Numbers Get Hitched, Seed Magazine, consultado em 27 de março de 2006, arquivado do original em 22 de setembro de 2017 
• Stein, William A., What is Riemann's hypothesis, arquivado do original em 4 de janeiro de 2009 
• de Vries, Andreas (2004), The Graph of the Riemann Zeta function ζ(s) , a simple animated Java applet.
• Watkins, Matthew R. (18 de julho de 2007), Proposed proofs of the Riemann Hypothesis 
• Zetagrid (2002) A distributed computing project that attempted to disprove Riemann's hypothesis; closed in November 2005

• Portal da matemática