Aún no sabemos siζ( s )
tiene una secuencia de ceros que convergen enR mi ( s ) = 1
.
Hay un producto de Euler (pero que no tiene ecuación funcional) que tiene una secuencia de ceros que convergen enR mi ( s ) = 1
.
Dejar
h ( x ) = x -∑k = k∞X1 - 1 / k + yok21 - 1 / k + yok2
e iterativamente para cada número primo
q
:
aq= h ( q) -∑p < qapag
Finalmente deja
anorte=∏pag | norteapag
y establecer
F( s ) =∑norte = 1∞anortenorte- s=∏pag( 1 +∑k ≥ 1apagkpag- s k) =∏pag( 1 +apagpags− 1)
De modo que
registroF( s ) =∑pagregistro( 1 +apagpags− 1) ,F′( s )F( s )=∑pagapagpagsen( pag )(pags− 1)2)1 +apagpags− 1=∑pagapagpag- s+∑pag∑k ≥ 2bpagkpag- s k
Por la fórmula de suma de Abel tienes
F′( s )F( s )= s∫∞1gramo( X )X- s - 1dx ,gramo( X ) =∑p < xapag+∑pagk< xbpagk
Y la brecha principal muestra que
gramo( X ) =∑p < xapag+ O (X1 / 2 + ϵ) = h ( x ) + O (X1 / 2 + ϵ)
es decir
F′( s )F( s )+1s − 1−∑k = k∞1s - 1 + 1 / k - yok2= s∫∞1( gramo( X ) - h ( X ) )X- s - 1dX
es analítico para
R e ( s ) > 1 / 2
, y por lo tanto
F( s )
es meromórfico allí, con un polo en
s = 1
y sus ceros en
1 -1k+ yo k
reencuentros
xyz
reencuentros
reencuentros
xyz
reencuentros