¿Hipótesis de Riemann débil?

La hipótesis de Riemann dice que todos los ceros no triviales de la función zeta de Riemann se encuentran en R mi ( z ) = 1 2 línea en su lugar esta región R mi ( z ) ( 0 , 1 ) .

Parece una pregunta natural que en lugar de probar que R mi ( z ) = 1 2 uno podría tratar de demostrar que R mi ( z ) ( ϵ , 1 ϵ ) .

Estoy familiarizado con una región libre de ceros que se usa en el análisis del teorema de los números primos, pero es demasiado débil para concluir algo así.

Mi pregunta es esta pregunta tan difícil como probar la Hipótesis de Riemann?? ¿Hay algunos desarrollos para probar esto? ¿O un resultado de que probar esto implicaría probar la Hipótesis de Riemann?

Aún no está probado que ζ ( s ) no tiene una secuencia de ceros cuya parte real converja a 1 . GHFromMO en mathoverflow me dijo que probarlo probablemente valdría una medalla de campo. Es menos difícil que la RH en el sentido de que no implica la RH.
@ user1952009 ¿Puede dar una referencia para esto?
La referencia es que no está probado en ningún libro sobre ζ ( s ) , y no se menciona en en.wikipedia.org/wiki/Riemann_zeta_function o en.wikipedia.org/wiki/Prime_number_theorem :)
Y creo que la zeta de Hurwitz o el contraejemplo de RH construido en el libro de Titchmarsh (algo así como mi i θ L ( s , x 5 ) + mi i θ L ( s , x 5 ¯ ) ) -ambos con ecuación funcional pero sin producto de Euler- tienen una secuencia de ceros que convergen en R mi ( s ) = 1 . También puede construir fácilmente un producto de Euler que tenga una secuencia de ceros que converja en R mi ( s ) = 1
@ user1952009 ¿Cómo se relaciona la hipótesis débil de Riemann con la conjetura de los ceros de Landau Siegel?
¿Leer algunos libros? Y un ceros de Siegel (si existe) es un cero en s ( 1 / 2 , 1 ) de L ( s , x ) dónde x es un personaje real y, por lo tanto, es un contraejemplo de la hipótesis generalizada de Riemann.

Respuestas (1)

Aún no sabemos si ζ ( s ) tiene una secuencia de ceros que convergen en R mi ( s ) = 1 .

Hay un producto de Euler (pero que no tiene ecuación funcional) que tiene una secuencia de ceros que convergen en R mi ( s ) = 1 .

Dejar

h ( X ) = X k = k X 1 1 / k + i k 2 1 1 / k + i k 2
e iterativamente para cada número primo q :
a q = h ( q ) pag < q a pag
Finalmente deja a norte = pag | norte a pag y establecer
F ( s ) = norte = 1 a norte norte s = pag ( 1 + k 1 a pag k pag s k ) = pag ( 1 + a pag pag s 1 )
De modo que
registro F ( s ) = pag registro ( 1 + a pag pag s 1 ) , F ( s ) F ( s ) = pag a pag pag s en ( pag ) ( pag s 1 ) 2 ) 1 + a pag pag s 1 = pag a pag pag s + pag k 2 b pag k pag s k

Por la fórmula de suma de Abel tienes

F ( s ) F ( s ) = s 1 gramo ( X ) X s 1 d X , gramo ( X ) = pag < X a pag + pag k < X b pag k
Y la brecha principal muestra que
gramo ( X ) = pag < X a pag + O ( X 1 / 2 + ϵ ) = h ( X ) + O ( X 1 / 2 + ϵ )
es decir
F ( s ) F ( s ) + 1 s 1 k = k 1 s 1 + 1 / k i k 2 = s 1 ( gramo ( X ) h ( X ) ) X s 1 d X
es analítico para R mi ( s ) > 1 / 2 , y por lo tanto F ( s ) es meromórfico allí, con un polo en s = 1 y sus ceros en 1 1 k + i k