4 votos

Pregunta de la demostración del Teorema de los números primos

Mi pregunta es bastante trivial, pero quería preguntar sobre algo que no veo en absoluto.

En la prueba de la PNT suministrada en estas notas se afirma que cuando $|t| \ge 2$ $$O(\log^9(|t|)/|t|^2)=O(|t|^{-3/2})$$ en la página 39. No entiendo por qué. Agradecería cualquier ayuda.

0 votos

He oído en alguna parte que $\ln t=O(t^\varepsilon)$ para cualquier $\varepsilon>0$ o al menos algo parecido. ¿Quizás eso ayude?

0 votos

Estoy intentando ver si puedo probar ese resultado ahora mismo, ¡pero mis esfuerzos se están quedando cortos! Gracias.

0 votos

Bien, $\ln t=\lim_{\varepsilon\to0} \frac{t^\varepsilon-1}\epsilon$ que podría ser relevante en este caso. (No sé mucho sobre Big O.)

2voto

Stavros Puntos 602

Se puede demostrar mediante la regla de l'Hopital que $$\frac{\log^9(|t|)}{|t|^{1/2}} \to 0$$ como $|t| \to \infty$ .

Esto significa que $\log^9(|t|) = o(|t|^{1/2}) = O(|t|^{1/2})$ . Por lo tanto $$\frac{\log^9(|t|)}{|t|^2} \le C \frac{|t|^{1/2}}{|t|^{2}} = C \frac{1}{|t|^{3/2}}.$$

0 votos

¡Muchas gracias! Había olvidado por completo que existía la norma de L'Hopital.

0 votos

No hay problema. Me alegro de haberte ayudado :)

1voto

Dietrich Burde Puntos 28541

Tenemos $\log (|t|)=O(|t|^{1/18})$ de modo que $$ \frac{\log^9 (|t|)}{|t|^2}= O\left(\frac{|t|^{1/2}}{|t|^2}\right)=O(|t|^{-3/2}). $$

0 votos

¿Dónde queda la afirmación de que $\log |t| = O(|t|^{1/18})$ ¿De dónde viene? Eso es lo que no consigo ver. He intentado demostrarlo y no lo he conseguido.

0 votos

El logaritmo crece más lentamente que $t^{\epsilon}$ para cualquier $\epsilon>0$ . Solo toma $\epsilon=1/18$

0 votos

@hert3583 Más específicamente: $\ln t\le\dfrac{18}et^{1/18}$ con igualdad si $t=e^{18}$ aproximadamente 65.659.969,1373.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X