Hipótese de Lindelöf
A Hipótese de Lindelöf é uma conjectura feita pelo matemático finlandês Ernst Leonard Lindelöf (Lindelöf (1908)) sobre a taxa de crescimento da função zeta de Riemann na linha crítica implícita na hipótese de Riemann.
Para qualquer ε > 0,
à medida que t tende para o infinito (Notação Big O). Já que ε pode ser substituído por um valor menor, podemos escrever a conjectura da seguinte forma: para qualquer positivo ε,
A função μ
Se σ é real, então µ(σ) é definido como sendo o ínfimo de todos os números reais 'a' , tais que ζ(σ + iT) = S(T a). Podemos ver que µ(σ) = 0 para s > 1, e a equação funcional da função zeta implica que µ(σ) = μ(1 − σ) − σ + 1/2. O Princípio de Phragmen–Lindelöf implica que µ é uma função convexa. Os estados μ(1/2) = 0, juntamente com as propriedades de μ implicam que µ(σ) é de 0 para σ ≥ 1/2 e 1/2 − σ para σ ≤ 1/2.
O resultado de convexidade de Lindelöf implica junto com μ(1) = 0 e µ(0) = 1/2 em 0 ≤ μ(1/2) ≤ 1/4. O limite superior foi reduzido de 1/4 a 1/6 por Hardy e Littlewood com a aplicação do método de estimativa de somas exponenciais de Weyl para a equação funcional aproximada. Desde então, o limite foi reduzido para pouco menos de 1/6 por diversos outros autores, utilizando longas provas técnicas, como a seguir:
μ(1/2) ≤ | μ(1/2) ≤ | Autor |
---|---|---|
1/4 | 0.25 | Lindelöf (1908) |
1/6 | 0.1667 | Hardy & Littlewood (?) |
163/988 | 0.1650 | Walfisz (1924) |
27/164 | 0.1647 | Titchmarsh (1932) |
229/1392 | 0.164512 | Phillips (1933) |
0.164511 | Rankin (1955) | |
19/116 | 0.1638 | Titchmarsh (1942) |
15/92 | 0.1631 | Min (1949) |
6/37 | 0.16217 | Haneke (1962) |
173/1067 | 0.16214 | Kolesnik (1973) |
35/216 | 0.16204 | Kolesnik (1982) |
139/858 | 0.16201 | Kolesnik (1985) |
32/205 | 0.1561 | Huxley (2002, 2005) |
53/342 | 0.1550 | Bourgain (2014) |
13/84 | 0.1548 | Bourgain (2016) |
Relação com a hipótese de Riemann
Backlund (1918–1919) , mostrou que a Hipótese de Lindelöf equivale a declaração sobre os zeros da função zeta: para cada ε > 0, o número de zeros com parte real de pelo menos 1/2 + ε e a parte imaginária entre T e T + 1 é O(log(T)) T tende para o infinito. A hipótese de Riemann implica que não existem zeros em todos nessa região, e isso implica na Hipótese de Lindelöf. O número de zeros com parte imaginária entre T e T + 1 é conhecido por ser O(log(T)), de modo que a Hipótese de Lindelöf fica parecendo ser apenas um pouco mais forte do que o provado, mas, apesar disso, ele tem resistido a todas as tentativas para provar isso.
Meios de poderes (ou momentos) da função zeta
A Hipótese de Lindelöf equivale a:
Para todos os números inteiros positivos k e todos os números reais positivos ε. Isto tem sido provado para k = 1 ou 2, mas o caso k = 3, parece muito mais difícil e é ainda um problema em aberto.
Acredita-se que exista uma conjectura mais precisa sobre o comportamento assintótico da integral a seguir, para algumas constantes ck,j.
Provado para k = 1 e k = 2 por Littlewood e Heath-Brown (1979) respectivamente (a partir de um resultado de Ingham (1926), que encontrou um termo líder).
Conrey & Ghosh (1998) sugeriu que o valor para o coeficiente principal, quando k é 6, e Keating & Snaith (2000) usado matriz aleatória para sugerir algumas conjecturas para os valores dos coeficientes maiores que k. Os coeficientes principais foram conjecturados para serem o produto de um fator elemental, um determinado produto sobre os números primos e o número de n por n Diagrama de Young dada pela sequência:
- 1, 1, 2, 42, 24024, 701149020, (sequência A039622 na OEIS).
Outras consequências
O n-ésimo número primo é denotando por pn, e Albert Ingham mostrou um resultado, que mostra a Hipótese de Lindelöf implica para qualquer ε > 0,
se n é suficientemente grande. Porém, esse resultado é muito pior do que a conjectura primeiro-gap.
Referências
- Backlund, R. (1918–1919), «Über die Beziehung zwischen Anwachsen und Nullstellen der Zeta-Funktion», Ofversigt Finska Vetensk. Soc., 61 (9)
- Bourgain, Jean (2014), Decoupling, exponential sums and the Riemann zeta function, arXiv:1408.5794v1
- Bourgain, Jean (2016), «Decoupling, exponential sums and the Riemann zeta function», Journal of the American Mathematical Society, arXiv:1408.5794v2
, doi:10.1090/jams/860
- Conrey, J. B.; Farmer, D. W.; Keating, Jonathan P.; Rubinstein, M. O.; Snaith, N. C. (2005), «Integral moments of L-functions», Proceedings of the London Mathematical Society. Third Series, ISSN 0024-6115, 91 (1): 33–104, MR 2149530, doi:10.1112/S0024611504015175
- Conrey, J. B.; Farmer, D. W.; Keating, Jonathan P.; Rubinstein, M. O.; Snaith, N. C. (2008), «Lower order terms in the full moment conjecture for the Riemann zeta function», Journal of Number Theory, ISSN 0022-314X, 128 (6): 1516–1554, MR 2419176, doi:10.1016/j.jnt.2007.05.013
- Conrey, J. B.; Ghosh, A. (1998), «A conjecture for the sixth power moment of the Riemann zeta-function», International Mathematics Research Notices, ISSN 1073-7928, 1998 (15): 775–780, MR 1639551, doi:10.1155/S1073792898000476
- Edwards, H. M. (1974), Riemann's Zeta Function, ISBN 978-0-486-41740-0, New York: Dover Publications, MR 0466039
- Heath-Brown, D. R. (1979), «The fourth power moment of the Riemann zeta function», Proceedings of the London Mathematical Society. Third Series, ISSN 0024-6115, 38 (3): 385–422, MR 532980, doi:10.1112/plms/s3-38.3.385
- Huxley, M. N. (2002), «Integer points, exponential sums and the Riemann zeta function», Number theory for the millennium, II (Urbana, IL, 2000), A K Peters, pp. 275–290, MR 1956254
- Huxley, M. N. (2005), «Exponential sums and the Riemann zeta function. V», Proceedings of the London Mathematical Society. Third Series, ISSN 0024-6115, 90 (1): 1–41, MR 2107036, doi:10.1112/S0024611504014959
- Ingham, A. E. (1928), «Mean-Value Theorems in the Theory of the Riemann Zeta-Function», Proc. London Math. Soc., s2-27 (1): 273–300, doi:10.1112/plms/s2-27.1.273
- Ingham, A. E. (1940), «On the estimation of N(σ,T)», The Quarterly Journal of Mathematics. Oxford. Second Series, ISSN 0033-5606, 11 (1): 291–292, MR 0003649, doi:10.1093/qmath/os-11.1.201
- Karatsuba, Anatoly; Voronin, Sergei (1992), The Riemann zeta-function, ISBN 978-3-11-013170-3, de Gruyter Expositions in Mathematics, 5, Berlin: Walter de Gruyter & Co., MR 1183467
- Keating, Jonathan P.; Snaith, N. C. (2000), «Random matrix theory and ζ(1/2+it)», Communications in Mathematical Physics, ISSN 0010-3616, 214 (1): 57–89, MR 1794265, doi:10.1007/s002200000261
- Lindelöf, Ernst (1908), «Quelques remarques sur la croissance de la fonction ζ(s)», Bull. Sci. Math., 32: 341–356
- Motohashi, Yõichi (1995), «A relation between the Riemann zeta-function and the hyperbolic Laplacian», Annali della Scuola Normale Superiore di Pisa. Classe di Scienze. Serie IV, ISSN 0391-173X, 22 (2): 299–313, MR 1354909
- Motohashi, Yõichi (1995), «The Riemann zeta-function and the non-Euclidean Laplacian», Sugaku Expositions, ISSN 0898-9583, 8 (1): 59–87, MR 1335956
- 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
- Voronin, S.M. (2001), «L/l058960», in: Hazewinkel, Michiel, Enciclopédia de Matemática, ISBN 978-1-55608-010-4 (em inglês), Springer