Está en la página 1de 3

1.

Euler
Función Zeta, sea s ∈ C, Re(s) > 1, definimos

!∞
1
ζ(s) = s
,
n=1
n

Teorema (Euler).
" 1
ζ(s) = ,
p
1 − p1s

Demostración. La idea de la prueba es usar las series geométricas


! 1 ∞
1
1 = psk
,
1 − ps k=0

y el Teorema Fundamental de la aritmética. Note que dado n ∈ N si n = p1 · · · pm , entonces 1


ns =
1 1
ps ···ps , luego ns aparece en el producto de las series geométricas
1 m

#!∞
1 $ #!∞
1 $
sk
· · ·
p psk
k=0 1 k=0 m

%
Euler estaba interesado en mostrar que p p1 diverge, para esto usa la representación como pro-
ducto de ζ(s) aplica log(x) y el desarrollo en series de potencias de log(1 − x) para obtener

!! !1 !1! 1 ∞
1
log(ζ(s)) = ns
= + ,
p n=1
np p
p n=2 n p pns

Ası́ es suficiente mostrar que si s → 1 el lado derecho no es finito. Note que


!∞ & ∞& ∞
1! 1 1 1 2−2s 1
ns
< sx
dy dx < 2
< ,
n=2
n p p 2 2 xy 8s 32
% 1
por lo tanto p p diverge.

2. Chebyshev
Sea π(x) la cantidad de primos menores a x. Chebyshev mostró que existen constantes c1 y c2 tal
que
x x
c1 < π(x) < c2 ,
log x log x
de hecho Chebyshev
% encontró c1 = 0, 9212... y c2 = 1, 1055....
Sea θ(x) = p≤x log p.

Proposición.
θ(x) < (4 log 2)x
'2n(
Demostración. La idea es estudiar la factorización del coeficiente n . Gracias a la desigualdad
" ) *
2n
p< < (1 + 1)2n ,
n<p<2n
n
tenemos que !
log p < (2n) log 2,
n<p<2n
pero !
log p = θ(2n) − θ(n),
n<p<2n

luego
θ(2n) − θ(n) < (2n) log 2,
al sumar esta relación para n = 1, 2, 22 , · · · , 2m−1 obtenemos

θ(2m ) < (log 2)2m+1 ,

ası́ si 2m−1 < x ≤ 2m obtenemos


θ(x) < (4 log 2)x.

x
Corolario. Existe c2 tal que π(x) < c2
log x
Demostración. La idea de la prueba es acotar a θ(x) en términos de π(x),
!
θ(x) ≥ log p

x<p<x
√ √
≥ log( x)(π(x) − π( x))
√ √ √
≥ log( x)π(x) − log( x) x

luego
2θ(x) √
π(x) ≤ + x
log x
, ası́
x √
π(x) ≤ (8 log 2) + x
log x
√ x
, no es difı́cil ver (ejercicio) q ue x≤2 para x ≥ 2
log x
x
Proposición. Existe c1 tal que c1 < π(x)
log x
' (
Demostración. Nuevamente la idea es estudiar la factorización de 2n n .
Ejercicio: Muestre que
) * ! tp #+
2n 2n , + n ,$
ordp = − 2 ,
n j=1
pj pj

donde tp es la mayor potencia de p tal que ptp ≤ 2n, es decir' tp(= [log 2n/ log p]. Note que ya que la
función [2x] − 2[x] toma solo los valores 1 y 0, entonces ordp 2n n ≤ tp .
Luego tenemos ) *
2n "
2n < < pt p ,
n p<2n

ası́
! ! + log 2n ,
n log 2 ≤ tp log p = log p.
p<2n p<2n
log p
√ 1
Ahora si p > 2n, entonces [log 2n/ log p] = 1 (ya que p > 2 log 2n), ası́ tenemos
! + log 2n , !
n log 2 ≤ log p + log p
√ log p √
p≤ 2n 2n<p<2n

≤ 2n log 2n + θ(2n)

luego √
θ(2n) ≥ n log 2 − 2n log 2n.

Ahora como 2n log 2n/n → 0 si n → ∞. Entonces existe T tal que θ(2n) ≥ T n, ahora solo resta
escribir la desigualdad en términos de x, simplemente sea n tal que 2n ≤ x < 2n + 1, no es difı́cil
comprobar que existe c tal que
θ(x) ≥ Cx,
por último observe que
θ(x) ≤ π(x) log x.

3. Funciones Aritméticas
Definición de funciones aritméticas, producto de Moebius, series de Dirichlet, producto de series
de Dirichlet [3] Una función aritmética f (n) es una función f : N → C.
Algunos ejemplos

1. función unidad -
1 si, n = 1
e(n) =
0 si, n ≥ 2

2. función de Moebius
.
/
01 si, n = 1
µ(n) = 0 si existe p tal que p2 |n
/
1
(−1)k si n = p1 · · · pk producto de k primos distintos

Referencias
[1] K. Ireland and M. Rosen, A classical introduction to modern number theory, second edition. Gra-
duate Texts in Mathematics, 84. Springer-Verlag, New York, 1990.

[2] D. Burton, Elementary number theory, second edition. W. C. Brown Publishers, Dubuque, IA,
1989.

[3] A. Hildebrand Introduction to Analytic Number Theory, https://faculty.math.illinois.edu/


~hildebr/ant/main.pdf

También podría gustarte