Capitulo 2

Captulo 2
Funciones aritm
eticas
En el captulo anterior hemos podido apreciar algunos aspectos de la Teora
de los N
umeros y el tipo de problemas que pretende resolver. No debe extra
nar que
las funciones definidas sobre los naturales tengan una importancia capital. Estas
funciones, reales o complejas, son las funciones aritmeticas.
2.0.1.
Propiedades generales
Dentro de todas las funciones aritmeticas hay unas que merecen especial atencion porque engloban a una gran parte de las funciones aritmeticas mas interesantes:
son las funciones multiplicativas.
Definicion 2.0.1. Diremos que una funcion aritmetica f es multiplicativa si f (nm) =
f (n)f (m) para cualesquiera enteros positivos n, m con (n, m) = 1.
Definicion 2.0.2. Diremos que una funcion aritmetica f es completamente multiplicativa si f (nm) = f (n)f (m) para cualesquiera enteros positivos n, m.
Observemos que si n = p1 1 pk k y f es una funcion multiplicativa entonces
f (n) =
f (pi i ).
Proposici
on 2.0.3. Si f (n) es una funcion multiplicativa entonces g(n) =
tambien lo es.
d|n
f (d)
Demostracion. Observemos que si (m, n) = 1, todo divisor d de mn ha de ser de la

forma d = d1 d2 donde d1 y d2 han de ser divisores de m y n respectivamente. De
1

CAPITULO 2. FUNCIONES ARITMETICAS
igual manera, cada pareja de divisores de m y n nos da un divisor de mn. Entonces

tenemos
X
X
X
g(mn) =
f (d) =
f (d1 d2 ) =
f (d1 )f (d2 )
d|mn
d1 |m
d2 |n
d1 |m
d2 |n
f (d1 )
d1 |m
f (d2 ) = g(m)g(n).
d2 |n
Ahora centraremos nuestra atencion sobre las funciones aritmeticas mas interesantes, empezando con la funcion divisor.
2.0.2.
La funci
on divisor
La funcion divisor (n) se define como el n

umero de divisores de n:
X
(n) =
1.
d|n
Si n = p1 1 pr r , los divisores de n son de la forma d = p1 1 pr r , 0 i i , i =

1, . . . , r.
1
r
Proposici
Q on 2.0.4. La funcion (n) es multiplicativa y si n = p1 pr entonces
(n) = i (1 + i ).
Demostracion. La proposicion 2.0.3 implica, trivialmente,

que
Q la funcion divisor es
Q
i
multipicativa. Debido a eso se tiene que (n) = i (pi ) = i (1 + i ).
2.0.3.
La funci
on , los n
umeros perfectos y los primos de
Mersenne
La funcion se define de la forma

(n) =
d.
d|n
Como la funcion f (n) = n es multiplicativa, el siguiente resultado se sigue tambien

de la proposicion 2.0.3.
3
Proposici
on 2.0.5. La funcion es multiplicativa y si n =
(n) =
r
Y
pi +1 1
i
i=1
pi 1
Qr
i=1
pi i , entonces
Demostracion. De nuevo la Proposicion 2.0.3 implica que es una funcion multipllicativa. Es por tanto suficiete demostrar que (pi i ) =
(pi i ) = 1 + pi + p2i + + pi i =
+1
p1 i 1
.
pi 1
pi i +1 1
.
pi 1
Con la funcion esta relacionado el clasico problema de los n

umeros perfectos.
Decimos que un entero positivo n es perfecto si la suma de sus divisores menores
que n coincide con n. Es decir, si (n) = 2n. El primer n
umero perfecto es el 6 cuyos
divisores son 1, 2, 3 y 6. El siguiente es 28 = 1 + 2 + 4 + 7 + 14.
El siguiente teorema caracteriza los n
umeros pares perfectos.
Teorema 2.0.6. Un n
umero par es perfecto si y solo si n = 2m1 (2m 1) con 2m 1
primo.
Demostracion. Si 2m 1 es primo entonces (n) = (2m1 )(2m 1) = (2m 1)2m =
2n y n es un n
umero perfecto.
Por otro lado, si n es par, n se puede escribir de la forma n = 2m1 s con s
impar y m 2. Por ser n un n
umero perfecto tenemos que
2m s = 2n = (n) = (2m1 )(s) = (2m 1)(s).
Entonces (s) = s + 2ms1 . Como (s) es un entero, 2m 1 tiene que ser un divisor
de s y por lo tanto 2ms1 tambien.
Ya que (s) es la suma de todos los divisores de s, entonces s y 2ms1 han de
ser los u
nicos divisores de s. Es decir 2ms1 = 1 y ademas s tiene que ser primo.
Aunque en este teorema han quedado perfectamente caracterizados los n
umeros perfectos pares, es un problema abierto responder a la pregunta de si existen
infinitos n
umeros pares perfectos, que es lo mismo que responder sobre la existencia
de infinitos primos de la forma 2m 1, los llamados primos de Mersenne.
Tambien se desconoce la existencia de n
umeros perfectos impares. No se ha
encontrado ninguno pero no se ha demostrado que no existan.

2.0.4.
La funci
on de Moebius
Una de las funciones aritmeticas mas importantes en la teora analtica de

los n
umeros es la funcion de Moebius. Aunque la primera definicion de la funcion
pueda resultar algo articial en un principio, aparece de manera natural cuando, por
ejemplo, se trata de contar el n
umero de primos menores que una cantidad dada.
Esto lo veremos posteriormente.
La funcion de Moebius (n) se define de la siguiente manera:
si n = 1,
1
k
(n) = (1)
si n es el producto de k primos distintos
0
si n tiene alg
un divisor cuadrado mayor que 1.
Proposici
on 2.0.7. La funcion (n) es multiplicativa.
Demostracion. Si (m, n) = 1 entonces m = p1 1 pr r y n = q11 qss con los pi
distintos de los qj .
Si alguno de los i o de los j es mayor que 1, entonces m o n tienen alg
un
divisor cuadrado que tambien lo sera de mn. En este caso (mn) = (m)(n) = 0.
Si 1 = = r = 1 = = s = 1 entonces (m) = (p1 pr ) = (1)r ,
(n) = (q1 qs ) = (1)s y (p1 pr q1 qs ) = (1)r+s .
Proposici
on 2.0.8.
X
d|n
(
1, si n = 1
(d) =
0, si n > 1
P
Demostracion. Al ser (n) multiplicativa, la funcion g(n) = d|n (d) tambien lo
Q
Q
es. En ese
caso, si n = i qii entonces g(n) = i g(qii ). Pero si qi es primo,
P
g(qii ) = d|qi (d) = (1)+(qi )+(qi2 )+ +(qii ) = 11+0+ +0 = 0.
i
Proposici
on 2.0.9. i) Sea f : Z+ C y definamos F : Z+ C de la forma
X
F (n) =
f (d).
d|n
Entonces
f (n) =
(d)F (n/d).
d|n
ii) Sea f : R+ C y definamos F : R+ C de la forma

X
F (x) =
f (x/n).
nx
5
Entonces
f (x) =
(n)F (x/n).
nx
Demostracion. i)
f (n) =
(d) f (c) =
c|n
(d)
d|n
(d)f (c)
c,d
cd|n
d|(n/c)
f (c) =
c|(n/d)
(d)F (n/d).
d|n
ii)
f (x) =
X
nx
X
X
(k) f (x/n) =
(k)f (x/(kl))
k,l
klx
k|n
(k)
kx
2.0.5.
f (x/(lk)) =
lx/k
(k)F (x/k).
k|x
La funci
on de Euler
La funcion (n) se define como el n

umero de enteros positivos primos con n y
menores o iguales que n.
Proposici
on 2.0.10. La funcion (n) es multiplicativa.
Demostracion. Por la proposicion 2.0.8, la funcion (n) tambien se puede escribir
como
X X
(d).
(n) =
kn d|(k,n)
Reordenando las sumas tenemos

(n) =
X
d|n
(d)
X (d)
n
=n
.
d
d
d|n
La demostracion se termina con la observacion de que al ser (d) multiplicativa,

tambien lo es (d)
. Entonces la funcion (n)
, y por tanto la funcion (n), es multid
n
plicativa.

6
Corolario 2.0.11.
(n) = n
Y
p|n
1
1
p
Demostracion. Solamente hay que observar que

p p1
p
(n)
n
es multiplicativa y que
(p )
p
= 1 p1 .
Proposici
on 2.0.12.
X
(d) = n.
d|n
P
Demostracion. La funcion g(n) = d|n (d) es multiplicativa. Por lo tanto solo hay
que demostrar que g(pm ) = pm para todo primo p y para todo entero positivo m,
Esto es,
X
g(pm ) =
(d) = (1) + (p) + (p2 ) + + (pm ) =
d|pm
= 1 + (p 1) + (p2 p) + + (pm pm1 ) = pm .
2.0.6.
El n
umero de divisores primos de un entero
Dado un entero positivo n se define (n) como el n

umero de divisores primos
distintos de n y (n) como el n
umero de divisores primos de n contando la multiplicidad. Mas formalmente, si n = q11 qkk , donde los qi son primos distintos, se
define (n) = k y (n) = 1 + + k . Algunas veces es conveniente utilizar las
siguientes expresiones alternativas:
X
X
(n) =
1,
(n) =
1.
p|n
pm |n
Proposici
on 2.0.13. Existen constantes positivas c1 , c2 tales que para todo n 3
se tiene que
i) (n) c1 log n
ii) (n) c2 log n/(log log n).
Demostracion. Si n = q11 qkk es claro que n 21 ++k = 2(n) . Tomando
logaritmos se obtiene i).
La parte ii) se pide en el ejercicio 2.2.23

2.1. PROMEDIO DE FUNCIONES ARITMETICAS
2.1.
Promedio de funciones aritm

eticas
En general, las funciones aritmeticas se comportan de un modo bastante irregular. Los valores (n), (n), (n) no dependen tanto de la magnitud de n como
de su factorizacion en n
umeros primos.
Tiene por tanto mayor sentido preguntarse por el comportamiento de dichas
funciones en media. Veremos por ejemplo que
X
D(x) =
(n) x log x
nx
y que
(x) =
(n)
nx
2 2
x.
6
El siguiente teorema va a ser una herramienta importante para estimar sumas por
medio de integrales.
Teorema
2.1.1 (Identidad de Abel). Para toda funcion aritmetica a(n), sea A(x) =
P
on con derivada continua en [1, ). Entonces tenemos
nx a(n) y sea f una funci
Z x
X
a(n)f (n) = A(x)f (x)
A(t)f 0 (t)dt.
1
nx
DemostracioRn. Utilizaremos el hecho de que a(n) = A(n) A(n 1) y que f (n)

n
f (n 1) = n1 f 0 (t)dt. Definimos tambien a(0) = 0 y k = bxc.
X
X
a(n)f (n) =
(A(n) A(n 1)) f (n)
1nk
1nk
A(n)f (n)
1nk
A(n)f (n + 1)
0nk1
A(n) (f (n) f (n 1)) + A(k)f (k)
1nk1
Z
A(n)
f 0 (t)dt + A(k)f (k)
1nk1
n+1
A(t)f (t)dt + A(x)f (x)

1
Z x
= A(x)f (x)
A(t)f 0 (t)dt.
1
A(t)f 0 (t)dt

En los calculos posteriores nos va a interesar el orden de magnitud de algunas

funciones mas que su valor exacto. Para ello introducimos la siguiente notacion:
Notacion:
a) f (x) = O(g(x)) cuando x si existe una constante positiva C tal que
|f (x)| C|g(x)| para x suficientemente grande.
b) f (x) = o(g(x)), cuando x si lmx
f (x)
g(x)
= 0.
Analogamente se definen f (x) = O(g(x)) y f (x) = o(g(x)) cuando x x0 .

Tambien usaremos la notacion f (x) g(x) y la notacion f (x) g(x) para
indicar que existe una constante positiva C tal que f (x) Cg(x) y f (x) Cg(x)
respectivamente.
2.1.1.
La constante de Euler
Proposici
on 2.1.2.
n
X
1
k=1
= log n + + O(1/n),
donde es la constante de Euler.

Demostracion. Aplicaremos la identidad de Abel a la funcion aritmetica mas sencilla
de todas, a(n) = 1, y a la funcion f (x) = x1 para estimar las sumas parciales de la
serie armonica.
Dichas funciones cumplen las condiciones de la identidad de Abel con A(x) =
bxc y f 0 (x) = x12 . Tenemos entonces que
Z n
Z n
n
X
1
A(n)
A(t)
t {t}
=
+
dt = 1 +
dt
2
k
n
t
t2
1
1
k=1
Z
Z
{t}
{t}
= 1 + log n
dt +
dt.
2
t
t2
1
n

Observemos que la u
ltima integral es O n1 . Entonces
!
Z
n
X
{t}
1
lm
log n = 1
dt.
2
n
k
t
1
k=1
Esta constante es la llamada de Euler:
= lm
n
X
1
k=1
!
log n .

La constante de Euler es una de las constantes, como y como e, que aparecen

de una manera natural en las matematicas. Sin embargo se desconoce si es un
n
umero racional o irracional.
2.1.2.
F
ormulas de Mertens
Teorema 2.1.3.
a)
X log p
p
px
b)
X1
px
= log x + O(1),

= log log x + B + O
1
log x

x
Demostracion. En la prueba de estas leyes asintoticas vamos a utilizar la formula

log(m!) = m log m m + O(log m),
Rm
que la podemos deducir comparando log(m!) con la integral 1 log tdt = m log m
m, ya que la diferencia

Z k
Z m
m
m
X
X

log
tdt
log
k
log tdt
log k

k1
1
k=1
m
X
k=1
m
X
|log k log(k 1)|
k=2
O(1/k) = O(log m)
k=1
a) Por el lema 1.2.4 sabemos que m! =
pm
pp , donde p = b mp c+b pm2 c+ .
Tomando logaritmos obtenemos la relacion:

log(m!) =
X m
pm
log p +
X
pm
Xm
k2
pk
!
log p
X log p X m m
= m
+
log p + O(m)
p
p
p
pm
pm
!
X log p
X
+O
log p + O(m).
= m
p
pm
pm

10
Teniendo en cuenta que log(m!) = m log m+O(m) y que

O(m), resulta que:
m log m + O(m) = m
pm
log p (log m)(m) =
X log p
+ O(m).
p
pm
Es decir,
X log p
= log m + O(1).
p
pm
b) La segunda suma la escribimos de la forma
X1
px
donde a(n) =
log p
p
X 1 log p X 1
=
a(n),
log
p
p
log
n
px
nx
si n es primo y a(n) = 0 en caso contrario.
Estamos en condiciones de aplicar el lema de sumacion de Abel:

Z x
X1
1
A(t)
=
A(x) +
dt,
2
p
log
x
t(log
t)
2
px
donde
A(t) =
X
nt
a(n) =
X log p
pt
= log t + O(1)
por el resultado anterior.

Tenemos que:
Z x
Z x
Z x
A(t)
dt
A(t) log t
dt =
+
dt = I1 + I2 .
2
t(log t)2
2 t(log t)
2 t log t
2
Z
dt
= log log x log log 2.
2 t log t
Z
Z
A(t) log t
O(1)
=
dt
dt
2
t(log t)
t(log t)2
2
x

Z
A(t) log t
1
=
dt + O
.
t(log t)2
log x
2
I1 =
I2
Por lo tanto,
X1
px

= log log x + B + O
1
log x

,

donde
Z
B = 1 log log 2 +
2
11
A(t) log t
dt.
t(log t)2
Observaci
on 2.1.4. Puede demostrarse que la constante B tiene la forma siguiente:

X
1
1
B=+
log 1
+
,
p
p
p
2.1.3.
La funci
on r(n). Puntos de coordenadas enteras sobre
circunferencias
Dado un entero positivo n, se define r(n) como el n

umero de sus representaciones como suma de dos cuadrados.
r(n) = #{n = t2 + s2 : s, t Z}.
Por ejemplo 1 = (1)2 + 02 = 02 + (1)2 y, por tanto r(1) = 4. De igual manera
tenemos r(2) = 4, r(3) = 0, r(4) = 4, r(5) = 8, r(6) = 0, r(7) = 0, r(8) = 4, etc..
Basta echar una ojeada a una tabla de valores de r(n) para percibir su caracter
irregular. Por ello es razonable definir la funcion
R(n) =
n
X
r(k)
k=1
sea un promedio de r(k) y esperar que esta nueva funcion

de tal manera que R(n)
n
tenga una distribucion de valores mas regular.
Ambas funciones tienen una representacion muy sencilla en trminos del retculo
fundamental:
2
r(n) = n
umero de puntos del retculo
Z (de coordenadas enteras) que estan
situados sobre la circunferencia de radio n y centro el origen.
R(n) = n
umero depuntos de coordenadas enteras situados en el crculo de
centro el origen y radio n.
El siguiente resultado, debido a Gauss, nos da el orden de magnitud de la
funcion R(n) para valores grandes del entero n.

12
Teorema 2.1.5.
R(n) = n + O( n).
Demostracion. A cada punto de coordenadas enteras le asociamos el cuadrado de

area uno, Q , que le tiene como vertice suroeste. El n
umero R(n) es igual al area
de la region F del plano formada por la union de los cuadrados Q tales que
esta dentro del crculo x2 + y 2 n.
Este area no es exactamente igual al area del crculo de radio n, pues algunos de los cuadrados escogidos tienen parte fuera del crculo, mientras que quedan
porciones dl crculo sin recubrir.
Sin embargo
podemos
trazar
crculos C1 y C2 centrados en el origen y de
dos
radios respectivos n 2 y n + 2 tales que
C 1 F C2 .
2
2
2)
R(n)
(
n
+
2) , lo cual implica que R(n) =
Por lo tanto,
(
n + O( n).
Este resultado fue obtenido por Gauss a principios del siglo pasado. En torno
al a
no 1906, W. Sierpinski demostro que el error E(n) = |R(n) n| era O(n1/3 ). El
7
mejor resultado hasta la fecha se debe a Iwaniec: E(n) = O(n 22 + ) para todo > 0.
En el otro sentido Hardy y Landau probaron que la relacion E(n) = O(n1/4 )
es falsa. Es un famoso problema de la teora de los n
umeros encontrar el orden de
magnitud exacto del error E(n). Es cierto que E(n) = O(n1/4+ ) para todo > 0?
2.1.4.
Promedio de la funci
on divisor
La funcion (n) ha sido estudiada en el captulo anterior. Analogamente al

caso anterior, consideramos,
n
X
D(n) =
(k).
k=1
mide el n
umero de divisores que, en promedio, tiene un n
umero
EL cociente D(n)
n
comprendido entre 1 y n.
Veamos la interpretacion geometrica: (n) es el n
umero de puntos de coordenadas enteras del primer cuadrante que estan sobre la hiperbola xy = n y D(n) es el
n
umero de puntos que se encuentran en la region R comprendida entre la hiperbola
xy = n y las rectas x = 1, y = 1.

Teorema 2.1.6.
13
D(n) = n log n + (2 1)n + O( n)

Demostracion.
D(n) =
(k) =
kn
X
abn
a n
XX
kn ab=k
1+
abn
b n
1=
abn
X
abn
a,b n
1=2
[ n]2
abn
a n
X jnk
X n
n + O( n) = 2
n + O( n)
a
a
a n
a n
= 2n log( n) + 2n n + O( n).
= 2
2.1.5.
Puntos visibles desde el origen
Un punto de coordenadas enteras es visible desde el origen si el segmento

rectilneo que une dicho punto con el origen no contiene a ning
un otro.
Es facil observar que el punto de coordenadas enteras (a, b) es visible desde el
origen si y solo si (a, b) = 1.
Consideremos la region cuadrada del plano 1 x r, 1 y r.
Sea N (r) el n
umero de puntos de coordenadas enteras en este cuadrado y sea
N 0 (r) el n
umero de ellos que son visibles desde el origen.
El cociente
desde el origen.
N 0 (r)
N (r)
mide la proporcion de puntos del cuadrado que son visibles
Teorema 2.1.7. El conjunto de coordenadas enteras visibles desde el origen tiene

densidad 62 .
Demostracion. Por simetra tenemos que
X X
X
N 0 (r) = 1 + 2
1 = 1 + 2
(r)
1nr 1mn
(m,n)=1
donde es la funcion de Euler.
1nr

14
P
Recordando que (n) = d|n (d) nd y reordenando las sumas tenemos
X
XX
n XX
(n) =
(d) =
(d)q
d
nr
nr
nr q,d
d|n
qd=r
(d)q =
q,d
qdr
(d)
dr
q=
q[r/d]

(d)
dr
[r/d]([r/d] + 1)
2
!

X1
r2 X (d)
r2
r
=
(d)
+ O( ) =
+O r
d2
d
2 dr d2
d
dr
dr
!
X1
r2 X (d) r2 X (d)
r2 X (d)
=
=
+
O
r
+ O(r log r).
2
2 d=1 d2
2 d>r d2
d
2
d
d=1
dr

Para calcular la constante

en el captulo 1.
(d)
d=1 d2
Si s > 1 tenamos que (s) =
volvamos a la identidad de Euler comentada
1
n=1 ns
Q
p
1
ps
1
. Entonces
X
Y
1
1
(n)
=
1 s =
.
(s)
p
ns
p
n=1
Es bien conocido que (2) =
2
.
6
Asumiendo este hecho, tenemos que
(n) =
nr
3 2
r + O(r log r).
2
Obviamente N (r) = r2 + O(r). Luego

N 0 (r)
=
N (r)
6 2
r
2
+ O(r log r)
=
2
r + O(r)
6
2
+O
1+O
log r
r
1
r

.
Haciendo tender r a infinito obtenemos el teorema.
2.1.6.
El n
umero tpico de divisores primos de un entero y
el problema de la tabla de multiplicar de Erd
os
Empezamos estimando el valor medio de la funcion (n).

Proposici
on 2.1.8.
X
nx
(n) = x log log x + O(x).

15
Demostracion.
X
(n) =
nx
XX
1=
nx p|n
XX
1=
px nx
p|n
X x
px
X x

X1
x
=x
+ O((x))
p
p
p
px
px
= x(log log x + O(1)) + O(x/ log x)

= x log log +O(x).
Es decir, el valor medio de (n) para los n x es log log x + O(1). Pero vamos
a demostrar algo mas fuerte. Vamos a ver que (n) log log x para casi todos los
n x. Eso sera consecuencia del siguiente teorema probado por Hardy y Ramanujan
en 1917.
Teorema 2.1.9.
X
((n) log log x)2 = O(x log log x).
nx
Demostracion. Utilizando la Proposicion 2.1.8 tenemos que

X
X
X
((n) log log x)2 =
2 (n) 2 log log x
(n) + x(log log x)2
nx
nx
nx
2 (n) x(log log x)2 + O(x log log x).
nx
As que tenemos que demostrar que

X
2 (n) = x(log log x)2 + O(x log log x).
nx
Claramente tenemos que
!2
X
nx
2 (n) =
X X
nx
pn
X X
X
1
1
+
2
nx
p|n
pq|n
p<q
Xx
+ O(x log log x)
=
(n) + 2
1=2
pq
p<q
nx
p<qx nx
X
X X
pq|n
X x
X
= 2
+2
pq
p<q x
pqx
X x
+ O(x log log x)
pq
x<qx px/q

16
Observar que
X
X 1X1
X x
x
pq
q px p
x<qx px/q
x<qx
x (log log x + O(1))
X 1
q
x<qx
x (log log x + O(1)) log log x log log

= O(x log log x).
x + O(1)
Por otra parte,

X x
X x
= 2
+ O(1)
2
pq
pq
p<q x
p<q x
X 1X1
X
(q)
= 2x
+O
p
q
p<q
q x
q x
X 1
= 2x
(log log q + O(1)) + O(x)
q
q x
= 2x
X log log q
+ O(x log log x).
q
q x
P
x)2
Utilizando (ver Ejercicio 2.2.24) que qx log qlog q = (log log
+O(log log x) llegamos
2
a
X x
= x(log log x)2 + O(x log log x).
2
pq
p<q x
Consideremos la tabla de multiplicar nn que todos hemos visto en la escuela,

normalmente para n = 10. Las n2 entradas de la tabla no son todas diferentes.
Es claro que hay una simetra respecto la diagonal. Llamemos M (n) al n
umero de
entradas diferentes en la tabla de multiplicar nn. Obviamente se tiene que M (n)
.
n2 y si tenemos en cuenta la simetra podemos decir algo mas: M (n) n(n+1)
2
Erdos demostro que M (n) = o(n2 ) y cuya demostracion dejamos como ejercicio
avanzado.
Teorema 2.1.10 (Erdos).
lm
M (n)
= 0.
n2
2.2. EJERCICIOS DEL CAPITULO 2
17
Hace unos pocos a

nos Kevin Ford hallo el verdadero orden de magnitud de
M (n):
n2
M (n)
.
1+log log 2
(log n)1 log 2 (log log n)3/2
2.2.
Ejercicios del captulo 2
2.2.1. El conserje de un hotel cierra todas las puertas el primer da, el segundo abre
las pares, el tercer da vuelve (si estaba abierta la cierra y viceversa) las m
ultiplos
de 3, el cuarto da las m
ultiplos de 4, etcetera.
Que puertas quedaran cerradas al final del proceso?
P
2.2.2. Demostrar que m|n (m2 ) = 2 (n).
2.2.3. Demostrar que
X
(n)
n2
n=1
4
= .
36
2.2.4. Demostrar que, dado k 1, la suma de los inversos de los enteros positivos
con exactamente k divisores es convergente si y solo si k es impar.
2.2.5. Demostrar las identidades
2
d = n (n)/2 ,
d|n
3 (m) =
m|n
(m) .
m|n
2.2.6. Demostrar que un n

umero perfecto impar no puede ser de la forma p q , p, q
primos.
2.2.7. Demostrar que para todo > 0 se tiene (n) = O(n ). Demostrar tambien
que la estimacion (n) = O ((log n)r ) no es cierta para ning
un r.
X
mn
(m,n)=1
n(n)
.
2
y lm inf n (n)
.
n
n
o
(n)
2.2.10. Demostrar que el conjunto
, n 1 es denso en el intervalo [0, 1].
n
2.2.9. Calcular lm supn
(n)
n
m=
18
2.2.11. Demostrar que (n) = O(n log n).

(n)(n)
1
<
1.
2
n2
2.2.13. Usar los dos ejercicios anteriores para concluir que (n) n/ log n.
2.2.14. Buscar todos los enteros tales que a) (n) = n2 , b) (n) = (2n), c) (n) =
12.
P
2.2.15. Demostrar que d2 |n (d) = |(n)|.
2.2.16. La funcion de Mandgoldt se define de la siguiente manera:
(
log p, si n es una potencia de un primo p
(n) =
0 en otro caso.
P
P
Demostrar que d|n (d) = log n y que d|n (d) log d = (n). Demostrar tambien que si Re(s) > 1 entonces,
X
0 (s)
(n)
=
.
s
(s)
n
n=1
2.2.17. Demostrar que para cada 0 < 1 se tiene el desarrollo asintotico

X 1
x1
=
+ c + O(x )
n
1
nx
para una constante c .
2.2.18. Estimar el n
umero de fracciones irreducibles en el intervalo [0, 1] con denominador menor o igual que N .
2.2.19. Sea r3P
(n) = #{n = x2 +y 2 +z 2 : x, y, z Z}. Hallar una formula asintotica
para R3 (x) = nx r3 (n).
2.2.20. Se dice que un entero positivo es libre de cuadrados si no es divisible por
ning
un cuadrado mayor que 1. Estimar el n
umero de enteros positivos menores que
x que son libres de cuadrados.
P
P
2.2.21. Hallar una formula asintotica para nx (n) donde (n) = d|n d.
2.2. EJERCICIOS DEL CAPITULO 2
19
2.2.22. Hallar el error en esta demostracion del teorema del n

umero primo.
Teorema del n
umero primo: (x)
x
.
log x
x
Demostraci
on: Por el teorema de Chebychev sabemos que 4 log
(x)
x
4x
x
. Supongamos que (x) log x y queda por denostrar que = 1. En lo que sigue
log x
P
on
utilizaremos la formula de Mertens, px p1 log log x, y la formula de sumaci
de Abel:
Z x
Z x
X1
(t)
1
(x)
1
=
+
+
dt log log x.
dt
2
p
x
t
log x
2
2 t log t
px
Por lo tanto = 1 y (x)
x
.
log x
2.2.23. Demostrar que existe una constante positiva c tal que (n) > c log n/(log log n).
X log log p
(log log x)2
=
+ O(log log x).
p
2
p x
nx ((n)
(n))2 = O(x).
2.2.26. Utilizar el problema anterior y el Teorema 2.1.9 para demostrar

X
((n) log log x)2 = O(x log log x).
nx
2.2.27. Demostrar que para todo > 0 se tiene que

1/2+/2
|{n x : |(n) log log x| > (log log x)

2.2.28. Demostrar el Teorema 2.1.10.

}| = O
x
(log log x)

.

Capitulo 2

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Capitulo 2

Transféré par

Droits d'auteur :

Formats disponibles

Captulo 2

Demostracion. Observemos que si (m, n) = 1, todo divisor d de mn ha de ser de la

igual manera, cada pareja de divisores de m y n nos da un divisor de mn. Entonces

La funcion divisor (n) se define como el n

Si n = p1 1 pr r , los divisores de n son de la forma d = p1 1 pr r , 0 i i , i =

Demostracion. La proposicion 2.0.3 implica, trivialmente,

La funcion se define de la forma

Como la funcion f (n) = n es multiplicativa, el siguiente resultado se sigue tambien

Con la funcion esta relacionado el clasico problema de los n

Una de las funciones aritmeticas mas importantes en la teora analtica de

ii) Sea f : R+ C y definamos F : R+ C de la forma

La funcion (n) se define como el n

Reordenando las sumas tenemos

La demostracion se termina con la observacion de que al ser (d) multiplicativa,

Demostracion. Solamente hay que observar que

= 1 + (p 1) + (p2 p) + + (pm pm1 ) = pm .

Dado un entero positivo n se define (n) como el n

Promedio de funciones aritm

DemostracioRn. Utilizaremos el hecho de que a(n) = A(n) A(n 1) y que f (n)

A(n) (f (n) f (n 1)) + A(k)f (k)

f 0 (t)dt + A(k)f (k)

A(t)f (t)dt + A(x)f (x)

En los calculos posteriores nos va a interesar el orden de magnitud de algunas

Analogamente se definen f (x) = O(g(x)) y f (x) = o(g(x)) cuando x x0 .

donde es la constante de Euler.

La constante de Euler es una de las constantes, como y como e, que aparecen

Demostracion. En la prueba de estas leyes asintoticas vamos a utilizar la formula

|log k log(k 1)|

a) Por el lema 1.2.4 sabemos que m! =

pp , donde p = b mp c+b pm2 c+ .

Tomando logaritmos obtenemos la relacion:

Teniendo en cuenta que log(m!) = m log m+O(m) y que

log p (log m)(m) =

si n es primo y a(n) = 0 en caso contrario.

Estamos en condiciones de aplicar el lema de sumacion de Abel:

por el resultado anterior.

Dado un entero positivo n, se define r(n) como el n

sea un promedio de r(k) y esperar que esta nueva funcion

Demostracion. A cada punto de coordenadas enteras le asociamos el cuadrado de

La funcion (n) ha sido estudiada en el captulo anterior. Analogamente al

D(n) = n log n + (2 1)n + O( n)

donde es la constante de Euler.

Puntos visibles desde el origen

Un punto de coordenadas enteras es visible desde el origen si el segmento

mide la proporcion de puntos del cuadrado que son visibles

Teorema 2.1.7. El conjunto de coordenadas enteras visibles desde el origen tiene

donde es la funcion de Euler.

Para calcular la constante

Si s > 1 tenamos que (s) =

volvamos a la identidad de Euler comentada

Asumiendo este hecho, tenemos que

Obviamente N (r) = r2 + O(r). Luego

Haciendo tender r a infinito obtenemos el teorema.

Empezamos estimando el valor medio de la funcion (n).

(n) = x log log x + O(x).

= x(log log x + O(1)) + O(x/ log x)

((n) log log x)2 = O(x log log x).

Demostracion. Utilizando la Proposicion 2.1.8 tenemos que

2 (n) x(log log x)2 + O(x log log x).

As que tenemos que demostrar que

Claramente tenemos que

x (log log x + O(1))

x (log log x + O(1)) log log x log log

2.2.27. Demostrar que para todo > 0 se tiene que