Estoy tratando de mostrar que la relaciónψ ( x ) = x + o (X−−√registro2x )
(consecuencia de la hipótesis de Riemann) implicaπ( x ) = L yo ( x ) + O (X−−√registrox )
, dóndeL yo ( x ) =∫X2dtregistrot
.
No he logrado mucho hacia la solución de este ejercicio que parece fácil. Esto es lo que he hecho:
Comoπ( x ) ∼ ψ ( x ) / registroX
, obtenemos
π( x ) = ψ ( x ) / iniciar sesiónx + O ( ψ ( x ) / logx ) = x / registrox + o (X−−√registrox ) + O ( x / registroX ) .
Usando la relación
L yo ( x ) = x / registrox +∫X2dtyo _gramo2t− 2 / registro2
, obtenemos
π( x ) = L yo ( x ) + O (X−−√registrox ) + O ( x / registrox ) -∫X2dtyo _gramo2t.
No puedo manejar los dos últimos términos porque supongo que no son grandes O de
X−−√registroX
. Agradecería cualquier orientación.
Debido a la respuesta de Greg Martin, he llegado a esta solución, ¿verdad?:
Supongamos que
ψ ( x ) = x + o (X−−√registro2X ) .
tenemos eso
ψ ( X ) − ϑ ( X ) = O (X−−√registro2x )
-demostración del teorema 4.1 del libro de Apostol-, entonces
mi( X ) : = ϑ ( X ) − X = O (X−−√registro2X ) .
Por (1) y el teorema 4.2 de Apostol, obtenemos lo siguiente
π( X ) -∫X2ϑ ( t )tregistro2tdt +ψ ( X ) − ϑ ( X )registroX=ϑ ( x )registroX+ψ ( X ) − ϑ ( X )registroX=XregistroX+ O (X1 / 2registroX ) .
Entonces
π( X )===XregistroX+ O (X1 / 2registrox ) +∫X2ϑ ( t )tregistro2tdt +ϑ ( X ) − ψ ( X )registroXXregistroX+ O (X1 / 2registrox ) +∫X2ϑ ( t )tregistro2tdt +ϑ ( X ) − X − O (X1 / 2registro2x )registroXXregistroX+ O (X1 / 2registrox ) +∫X2ϑ ( t )tregistro2tdt +mi( X )registroX.
Pero
L yo ( x ) =XregistroX+∫X2dtregistro2t−2registro2,
entonces obtenemos
π( X )======L yo ( X ) -∫X2dtregistro2t+2registro2+ O (X−−√registrox ) +∫X2ϑ ( t )tregistro2tdt +mi( X )registroXyo ( x ) + _∫X2mi( t )tregistro2tdt +mi( X )registroX+ O (X−−√registrox )yo ( x ) + _∫X2O (t√registro2t )tregistro2tdt + o (X−−√registrox )L yo ( x ) + O (∫X2t√registro2ttregistro2tdt ) + O (X−−√registrox )L yo ( x ) + O ( 2X−−√− 22–√) + O (X−−√registrox )L yo ( x ) + O (X−−√registroX ) .
Esto es válido paraX ≥ 2
.
Will Jagy
Evangelion045