(¿Fácil?) consecuencia de la Hipótesis de Riemann

Estoy tratando de mostrar que la relación ψ ( X ) = X + O ( X registro 2 X ) (consecuencia de la hipótesis de Riemann) implica π ( X ) = L i ( X ) + O ( X registro X ) , dónde L i ( X ) = 2 X d t registro t .

No he logrado mucho hacia la solución de este ejercicio que parece fácil. Esto es lo que he hecho:

Como π ( X ) ψ ( X ) / registro X , obtenemos

π ( X ) = ψ ( X ) / registro X + O ( ψ ( X ) / registro X ) = X / registro X + O ( X registro X ) + O ( X / registro X ) .
Usando la relación L i ( X ) = X / registro X + 2 X d t yo o gramo 2 t 2 / registro 2 , obtenemos
π ( X ) = L i ( X ) + O ( X registro X ) + O ( X / registro X ) 2 X d t yo o gramo 2 t .
No puedo manejar los dos últimos términos porque supongo que no son grandes O de X registro X . 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 registro 2 X ) .
tenemos eso
ψ ( X ) ϑ ( X ) = O ( X registro 2 X )
-demostración del teorema 4.1 del libro de Apostol-, entonces
mi ( X ) := ϑ ( X ) X = O ( X registro 2 X ) .
Por (1) y el teorema 4.2 de Apostol, obtenemos lo siguiente
π ( X ) 2 X ϑ ( t ) t registro 2 t d t + ψ ( X ) ϑ ( X ) registro X = ϑ ( X ) registro X + ψ ( X ) ϑ ( X ) registro X = X registro X + O ( X 1 / 2 registro X ) .
Entonces
π ( X ) = X registro X + O ( X 1 / 2 registro X ) + 2 X ϑ ( t ) t registro 2 t d t + ϑ ( X ) ψ ( X ) registro X = X registro X + O ( X 1 / 2 registro X ) + 2 X ϑ ( t ) t registro 2 t d t + ϑ ( X ) X O ( X 1 / 2 registro 2 X ) registro X = X registro X + O ( X 1 / 2 registro X ) + 2 X ϑ ( t ) t registro 2 t d t + mi ( X ) registro X .
Pero
L i ( X ) = X registro X + 2 X d t registro 2 t 2 registro 2 ,
entonces obtenemos
π ( X ) = L i ( X ) 2 X d t registro 2 t + 2 registro 2 + O ( X registro X ) + 2 X ϑ ( t ) t registro 2 t d t + mi ( X ) registro X = L i ( X ) + 2 X mi ( t ) t registro 2 t d t + mi ( X ) registro X + O ( X registro X ) = L i ( X ) + 2 X O ( t registro 2 t ) t registro 2 t d t + O ( X registro X ) = L i ( X ) + O ( 2 X t registro 2 t t registro 2 t d t ) + O ( X registro X ) = L i ( X ) + O ( 2 X 2 2 ) + O ( X registro X ) = L i ( X ) + O ( X registro X ) .

Esto es válido para X 2 .

¿De qué libro es esto? ¿Que Página?
No lo he encontrado en los libros que estamos usando para este tema (apostol, notas de hildebrands). Este ejercicio está en una hoja de trabajo que nos dio.

Respuestas (1)

La forma tradicional de mostrar esta implicación es usando la suma parcial. Primero reemplazar ψ ( X ) por θ ( X ) + O ( X ) (Esperemos que eso sea conocido o fácil). si establecemos mi ( X ) = θ ( X ) X , entonces (usando 2 para denotar un número real un poco más pequeño que 2 )

π ( X ) L i ( X ) = 2 X 1 registro t d θ ( t ) 2 X d t registro t = 2 X 1 registro t d ( θ ( t ) t ) = 2 X 1 registro t d mi ( t ) = mi ( t ) registro t | 2 X 2 X mi ( t ) d ( 1 registro t ) = mi ( X ) registro X + O ( 1 ) + 2 X mi ( t ) t registro 2 t d t .
(Si no se siente cómodo con estas integrales de Riemann-Stieltjes, puede probar a mano que π ( X ) L i ( X ) es igual a la penúltima expresión). En este punto, puede ingresar el límite hipotético en mi ( t ) .

Hola Greg, gracias por tu respuesta. Tengo las siguientes dudas: la igualdad de pi(x) con la primera integral, ¿podría estar justificada por el teorema 6.16 en Baby Rudin?; en el siguiente paso, ¿es integración por partes?. No estoy totalmente familiarizado con la integración de Riemann-Stieltjes, pero tampoco estoy familiarizado. Gracias.
Pasar de la segunda a la tercera línea sí es integración por partes. Para la primera igualdad, estamos usando el hecho: si F ( t ) es continuo y gramo ( t ) = norte t a norte , entonces
norte X F ( norte ) a norte = X F ( t ) d gramo ( t ) .
(No sé si esto es lo que dice el bebé Rudin. Tal vez F debe ser de variación acotada también.)
Gracias. Todo está claro ahora (supongo). Probé la solución sin la integración de Riemann-Stieltjes; ¿Es correcto?