Está en la página 1de 68

Mtodos Analticos en Teora de Nmeros

(sin revisar)
Transcripcin de carcter puramente personal de (y de un alumno de):
Grau de Matemtiques, Universitat de Barcelona.
Mtodes Analtics en Teoria de Nombres, semestre 7, curso 2013-14.
Dictada por: ngela Arenas.
No podrs decir que es propia y exclusivamente tuya, o ma, o de cualquier otro
hombre, sino que por modos maravillosos, a la manera de una luz pblica y secre-
tsima a la vez, se halla pronta y se ofrece en comn a todos los que son capaces
de ver las verdades inmutables. Ahora bien, lo que pertenece en comn a todos
los seres racionales e inteligentes, quin dira que pertenece, como cosa propia, a
la naturaleza de ninguno de ellos?.
1
En consecuencia, y en lo que a m concierne,
esta obra pertenece legtimamente al dominio pblico.
La nica mancha a este argumento es, y conviene reiterarla, el carcter mar-
cadamente personal de la transcripcin, nacida de un alumno que no domina la
materia y que la reescribe (aunque las aadiduras propias sean las menos a ex-
cepcin de las inevitables erratasy menos claras/tiles) precisamente para com-
prenderla, en un intento de ordenar y claricar sus notas manuscritas y sus an
difusas ideas. Pues aunque las verdades matemticas (que no as el quehacer mate-
mtico o nuestro conocimiento sobre las mismas; dispensen este desliz platnico)
puedan ser esencialmente inmutables (salvo reformulacin y generalizacin), no
sucede as con los entendimientos que las escriben, que a veces la ven ms, a
veces menos.
1
Si pueden estas hojas, pues, ayudar a alguien ms que a m, bien. Si no, no
importa; sobrado es el servicio que ya me han rendido.
Ms en Sobre la bruma..., donde pueden contactarme para cualquier correccin,
sugerencia o comentario general, as como descargar otro material docente.
Se hace notar, adems, la adjuncin del cdigo (en .lyx) de este documento en
l mismo
2
(una vez terminado) para que cada cual pueda hacer las recticaciones
que crea ms pertinentes, a falta de funcionalidades tipo real-time collaborative
text editing software que permitan aunar las modicaciones (o incluso la trans-
cripcin misma con otras a lo largo del curso) en un nico documento cannico.
Por ltimo, si alguien tuviese dicultades para seguir mi redactado o con-
siderase extraa mi notacin, hice algunas aclaraciones al respecto en la seccin
correspondiente de Anlisis Matemtico (tengo a medio hacer, tambin, un ensa-
yo en el que divago sobre el tpico).
19 de enero de 2014, Sogol Thamaem
1
San Agustn, Del libre albedro, Libro 2, Seccin XII, Apartados 33-34 respectivamente (disponible
en Augustinus). Huelga decir que este apropiacionismo, como es habitual, tergiversa y, hasta cierto
punto, se burla del sentido original del texto, que pretende concluir en ltima instancia, cf. ibdem
39, la existencia de Dios. Con esta recontextualizacin, por tanto, vendra a divinizar la matemtica.
2
Mediante: PdfTk-QGUI->Tools->Attach Files.
ndice general
Orgenes 5
Captulo 1. Funciones aritmticas 6
1.1. Ejemplos y propiedades 6
1.2. Producto de Dirichlet y (sub)grupo asociado 9
Ejercicios 12
1.3. Funciones

y valores promedios 13
1.4. Convoluciones generalizadas y sumas parciales 17
1.5. Algunos resultados elementales sobre (x) 20
Captulo 2. Caracteres 24
2.1. Caracteres de grupos abelianos nitos 24
2.2. Carcter de Dirichlet modulo m 26
2.3. Caracteres de Kronecker 30
Captulo 3. Series de Dirichlet 33
3.1. Series de Dirichlet generales 33
3.2. Series de Dirichlet positivas 35
3.3. Series de Dirichlet ordinarias 35
3.4. Producto de Euler 36
3.5. Nmeros de Bernoulli 37
3.6. Series L 39
3.7. Teorema de Dirichlet 40
Captulo 4. Particiones 42
4.1. Introduccin 42
4.2. Nmeros pentagonales 44
4.3. Triple producto de Jacobi 48
4.4. Dos resultados de Euler 50
4.5. Identidades de Ramanujan 52
Captulo 5. Sumas de cuadrados 55
5.1. Introduccin 55
5.2. Dos resultados complementarios 56
5.3. Los frutos 57
Captulo 6. Teora modular (esbozo) 59
6.1. Un poco de historia 59
6.2. Grupo modular 60
6.3. Subgrupos de SL
2
(Z) 61
6.4. Dominio fundamental 62
6.5. Formas modulares 63
Apndice A. Recordatorios de Aritmtica 65
A.1. Smbolo de Legendre 65
3
ndice general 4
Apndice. Bibliografa 68
ORGENES 5
Orgenes
Como 2 es el nico primo par, demostrar que existen innitos primos equivale
a demostrar que existen innitos primos impares o, ms formalmente, que la pro-
gresin aritmtica 2n +1
n0
contiene innitos primos. Esta formulacin sugiere
de manera natural la siguiente cuestin:
PREGUNTA. Cundo la progresin aritmtica an + b
n0
contiene innitos pri-
mos?, ie, qu condiciones han de satisfacer a, b para que an + b
n0
contenga innitos
primos?
OBSERVACIN. mcd(a, b) = d > 1 an + b = d (a
/
n + b
/
) / P (salvo
que a
/
n + b
/
= 1). As, mcd(a, b) = 1 es una condicin necesaria para que
an + b
n0
contenga innitos primos.
PREGUNTA. Es sta una condicin suciente?
Veamos antes que nada con un ejemplo que (a, b) = (2, 1) no es la nica pareja
que cumple la citada propiedad:
PROPOSICIN. Existen innitos primos congruentes a 3 modulo 4, ie, la progresin
aritmtica 4n +3
n0
contiene innitos primos.
3
DEMOSTRACIN. (Por absurdo, a la Euclides) Supongamos que 3, 7, . . . , p
son todos los primos congruentes a 3 modulo 4, y consideremos N := 4a 1 3
m od 4, con a := 3 5 . . . p el producto de todos los nmeros primos impares hasta
p. Si N es primo hemos terminado, pues N
4
3 y N > p !!! Veamos ahora que lo
contrario tampoco puede suceder, ie, que si N =
k
i=1
p

i
i
compuesto, entonces:
1. q p
i

i
; q
4
3 por absurdo, pues si todos fuesen congruentes a 1
modulo 4,
4
entonces N tambin lo sera (pues a
i

m
b
i
a
i

m b
i
) !!!
2. q > p por absurdo, pues q[N = 4a 1 4a 1 m od q y q p
qP

q[2a 4a = 2q


q
0 !!!

PROBLEMA. La demostracin es ad hoc: cada progresin aritmtica concreta


usa de un N concreto que depender de sta, por lo que difcilmente podremos
responder as a la pregunta antes planteada.
Durante este curso, no obstante, daremos herramientas que nos permitirn re-
solver armativamente dicha cuestin (teorema de Dirichlet, va L (s, ) las series
L de Dirichlet, con el carcter de Dirichlet), entre muchas otras; pues, como es
habitual en matemticas, la riqueza de la solucin sobrepasara su origen.
Esta reconcepcin del problema o cambio de paradigma tiene su origen en la
demostracin de Euler de la existencia de innitos primos, que consista en ver
que la serie
pP
1
p
diverge, lugar en el que hace su primera aparicin la funcin
zeta de Riemann (s) =
n1
1
n
s
, que es caso particular de serie L de Dirichlet.
Por citar algn otro ejemplo famoso que motive su estudio, diremos que la
demostracin de Wiles del ltimo Teorema de Fermat utiliza en uno de sus pasos
cruciales que ciertas series de Dirichlet asociadas a curvas elpticas son de hecho
funciones L algebraicas de grado 2 (fuente).
Para una introduccin ms amplia, vase Wikipedia.
3
p = 4n +3 p 3 = 4n p 3 0 m od 4 p 3 m od 4.
4
Recordatorio: p P 2 p
4
3 p
4
1. Adems, q ,= 2 pues divide a N, que es impar.
Captulo 1
Funciones aritmticas
1.1. Ejemplos y propiedades
DEFINICIN 1. Sea K R, C. Una funcin
f : Z
+
K
n f (n)
se llama (funcin) aritmtica.
NOTACIN. Z
+
:= Z
>0
. f , g, h, . . . sern siempre sinnimos de funciones
aritmticas, pues no estamos interesados en otro tipo de funciones.
EJEMPLO 2. (La funcin de Mbius) (1) := 1 y, si n > 1 n =
k
i=1
p

i
i
,
se dene:
(n) :=
_
(1)
k
,
1
= =
k
= 1
0, otherwise
OBSERVACIN 3. La condicin i,
i
= 1 nos est diciendo que todos los pri-
mos en los que descompone n son diferentes. As, (n) ,= 0 ssi n est libre de
cuadrados.
1
NOTA. (Tabla de valores)
n 1 2 P 3 P 4 = 2
2
5 P 6 = 2 3 7 P 8 = 2 2
2
9 = 3
2
10 = 2 5
f (n) 1 (1)
1
(1)
1
0 (1)
1
(1)
2
(1)
1
0 0 (1)
2
TEOREMA 4. n 1
d[n
(d) =
_
1
n
_
=
_
1, n = 1
0, n > 1
.
DEMOSTRACIN. n = 1
d[n
(d) = (1) := 1 y
n > 1 n =
k

i=1
p

i
i

d[n
(d)
3
= (1) +
+ (p
1
) +
(
k
1
)
..
. . . + (p
k
) +
+ (p
1
p
2
) +
(
k
2
)
..
. . . + (p
k1
p
k
) +
+ +
+ (p
1
. . . p
k
)
As,
d[n
(d) = 1 + (
k
1
) (1)
1
+ (
k
2
) (1)
2
+ + (
k
k
) (1)
k
= (1 1)
k
= 0 por el
binomio de Newton, pues 1 = (
k
0
) (1)
0
.
1
Es decir, i; p
2
i
[n o, equiv., i, p
2
i
n. Y dado que n =
k
i=1
p

i
i
, esto es equivalente a: m Z; m
2
[n
o, equiv., m Z, m
2
n. Es decir, n no es divisible por ningn cuadrado perfecto, ie, est libre de
cuadrados.
6
1.1. EJEMPLOS Y PROPIEDADES 7
EJEMPLO 5. (La funcin de Euler) (n) := #
_
x Z
+
n
; mcd(x, n) = 1
_
. Es
decir, (n) cuenta la cantidad de coprimos con n menores
2
que n en Z
+
.
NOTA. (Tabla de valores)
(1) = 1, pues mcd(1, 1) = 1
(2) = 1, pues mcd(1, 2) = 1 y mcd(2, 2) = 2 ,= 1
(3) = 2, pues es coprimo con x 1, 2
(4) = 2, con x 1, 3
(5) = 4, con x 1, 2, 3, 4
(6) = 2, con x 1, 5
(7) = 6, con x 1, 2, 3, 4, 5, 6
(8) = 4, con x 1, 3, 5, 7
(9) = 6, con x 1, 2, 4, 5, 7, 8
(2 5) = 4, con x Z
+
<10
; x / 2

x / 5

.
3
TEOREMA 6. n 1
d[n
(d) = n.
DEMOSTRACIN. n = 1
d[n
(d) = (1) = 1 y para n > 1 consideramos
A(d) :=
_
k Z
+
n
; mcd(k, n) = d
_
, f (d) := #A(d). Entonces, por construccin,
Z
+
n
= .
d[n
A(d) #Z
+
n
= # .
d[n
A(d) n =
d[n
f (d) =
d[n

_
n
d
_
, pues
mcd(k, n) = d mcd
_
k
d
,
n
d
_
= 1 y 0 < k n 0 <
k
d

n
d
, ie, B (d) :=
_
q Z; 0 < q
n
d
, mcd
_
q,
n
d
_
= 1
_
A(d) f (d) := #A(d) = #B (d) =:

_
n
d
_
. Finalmente, como d[n
n
d
[n,
4
tenemos que
d[n

_
n
d
_
=
d[n
(d).
5

TEOREMA 7. (Relacin entre y ) n 1 (n) =


d[n
(d)
n
d
.
6
DEMOSTRACIN. (n) =
n

k=1
mcd(k,n)=1
1 =
7

n
k=1
_
1
mcd(n,k)
_
4
=
n
k=1

d[ mcd(n,k)
(d) =

n
k=1

d[n,d[k
(d) =
8

d[n

n
d
q=1
(d) =
d[n
(d)
n
d
q=1
1 =
d[n
(d)
n
d
.
DEFINICIN 8. Sea f aritmtica. Diremos que es:
multiplicativa ssi mcd(n, m) = 1 f (mn) = f (m) f (n).
completamente multiplicativa ssi m, n Z
+
, f (mn) = f (m) f (n).
TEOREMA 9. (Propiedades de )
1. (p

) = p

p
1
= p
1
(p 1) = p

_
1
1
p
_
, con p P, 1.
2. es multiplicativa.
2
(n) = #
_
x Z
+
<n
; mcd(x, n) = 1
_
salvo para n = 1.
3
Notacin personal: a b

: a = b

: c Z; a = bc : b[a. Es decir, b

:= bc; c Z.
4
Ntese que los divisores de n van siempre en pareja, ie, d[n : c; n = cd c[n, con c =
n
d
.
5
Bsicamente lo que estamos haciendo es cambiar el orden de la suma.
6
Ntese que, como el dominio de denicin de toda funcin aritmetica es Z
+
, la condi-
cin/hiptesis n 1 es esencialmente redundante.
7
_
1
mcd(n,k)
_
= 0 mcd(n, k) ,= 1, ie, nos hace de funcin caracterstica. Es decir, sea (n) :=
_
x Z
+
n
; mcd(x, n) = 1
_
. Entonces
(n)
(k) 1
(n)
(k) :=
_
1, k (n)
0, k / (n)
=
_
1
mcd(n,k)
_
.
8
Fijado d, se tiene: d[k : q Z; k = dq
k
d
Z. Por tanto,
n
k=1

d[n,d[k
=
n
k=1

d[n,
k
d
Z
d
=

kn;k=d

d[n,
k
d
Z
+
kn;k,=d

d[n,
k
d
Z
=
kn;k=d

d[n
+0 =
d[n

kn;k=d
=
d[n

n
d
q=1
(pues k
d

n
q =
k
d
Z
+

n
d
).
1.1. EJEMPLOS Y PROPIEDADES 8
3. n > 1, (n) = n
p[n
_
1
1
p
_
.
9
4. (mn) = (m) (n)
d
(d)
, con d = mcd(m, n).
5. a[b (a) [ (b).
DEMOSTRACIN.
1. Por el complementario: (p

) = p

#
_
y Z
+
p

; mcd(y, p

) > 1
_
, don-
de mcd(y, p

) > 1 y Z
+
p

= p, 2p, 3p, . . . , pp, (p +1) p, (p +2) p, . . . , (p +


p)p = 2pp, . . . , p
2
p, . . . , p
1
p, que tiene cardinal p
1
.
10
2. m, n > 1 sin restriccin. Consideremos
_
_
_
_
_
b
m + b
.
.
.
(n 1) m + b
_
_
_
_
_
m1
b=0
=
_
_
_
_
_
_
_
0 1 2 . . . (m1)
m m +1 m +2 . . . m + (m1)
2m 2m +1 2m +2 . . . 2m + (m1)
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
(n 1) m (n 1) m +1 (n 1) m +2 . . . (n 1) m + (m1)
_
_
_
_
_
_
_
la matriz que va de 0 a (n 1) m + (m1) = nmm + m1 = nm1
de izquierda a derecha y de arriba a abajo. Observamos que las columnas
nos dan un Sistema Completo
11
de Representantes de Z
m
las clases de re-
siduos modulo m, i.e., que todos los elementos de la primera columna son
congruentes a 0 modulo m, los de la segunda son congruentes a 1 modulo
m, y as hasta la m-sima columna, donde lo son a m1.
Recordamos, adems, que si a
0
, . . . , a
n1
es un SCRde Z
n
y k Z; mcd(k, n) =
1, se cumple b Zque ka
0
+ b, . . . , ka
n1
+ b es un SCR de Z
n
. En par-
ticular, como mcd(m, n) = 1 por hiptesis y 0, . . . , n 1 es un SCR de
Z
n
, tenemos que b, m + b, 2m + b, . . . , (n 1) m + b es un SCR de Z
n
(ie,
las las forman un SCR de Z
n
).
Por lo tanto, tenemos que hay (m) columnas de enteros coprimos con
m y,
12
dentro de cada una de stas, (n) enteros coprimos con n, osease,
que la matriz contiene (m) (n) enteros coprimos con m y n o, equiva-
lentemente (pues mcd(n, m) = 1), coprimos con mn. Es decir, (mn) =
(m) (n).
13
3. n > 1 n =
k
i=1
p

i
i
(2)
(n) =
i

_
p

i
i
_
(1)
=
i
p

i
i
_
1
1
p
i
_
=

i
p

i
i

i
_
1
1
p
i
_
= n
p[n
_
1
1
p
_
.
4. (mn)
(3)
= mn
p[mn
_
1
1
p
_
= mn
p[m
_
1
1
p
_

p[n
_
1
1
p
_

p[d
_
1
1
p
_
1
=
m
p[m
_
1
1
p
_
n
p[n
_
1
1
p
_ _
d
d

p[d
_
1
1
p
__
1
(3)
= (m) (n)
_
(d)
d
_
1
=
(m) (n)
d
(d)
. En la segunda igualdad hemos usado que p[mn p[m
9
La formula tambin es valida para n = 1 si tomamos
p[1
_
1
1
p
_
= 1, cf. (convenio del) pro-
ducto vaco.
10
Tampoco era necesario calcular tan explcitamente Z
+
p
p

. Bastaba con notar que va de p a


p

= p
1
p, o simplemente que p tiene p
1
mltiplos menores o iguales que p

, ie, que p

= p
1
p y
k Z
+
p
, pk son todos los mltiplos de p menores o iguales que p

.
11
Hay m columnas diferentes y #Z
m
= m.
12
Que el primer elemento de cada una de stas columna es coprimo con m es obvio por la denicin
de (m). Que el resto tambin se sigue de mcd(m, b) = mcd(m, am + b), con b < m.
13
Alternativa mucho ms elegante: como corolario del Teorema Chino del Resto: Z

nm
=
(Z
n
Z
m
)

= Z

n
Z

m
, cf. [L, I.1.4]. Visto tambin en [EA1, Ej.34], [EA2, Travesa.pdf] y [A1].
1.2. PRODUCTO DE DIRICHLET Y (SUB)GRUPO ASOCIADO 9
p[n y que p[m p[n p[d (por denicin de mcd), de manera que multi-
plicando por
p[d
_
1
1
p
_
1
en
p[m
_
1
1
p
_

p[n
_
1
1
p
_
podemos eli-
minar los factores
_
1
1
p
_
repetidos, obteniendo
p[mn
_
1
1
p
_
.
5. a[b c; b = ac (b)
(4)
= (a) (c)
d
(d)
. Nos basta ver, pues, que
(c)
d
(d)
Z. En efecto, (c)
d
(d)
= c
p[c
_
1
1
p
_

p[d
_
1
1
p
_
1
Z,
pues como ya comentamos en (4), p; p[d p; p[c.

1.2. Producto de Dirichlet y (sub)grupo asociado


DEFINICIN 10. (Producto [o convolucin] de Dirichlet de funciones aritm-
ticas)
n Z
+
, ( f g) (n) :=

d[n
f (d) g
_
n
d
_
NOTACIN 11. Denotaremos por N a la funcin aritmtica N (n) := n, n
Z
+
.
14
Esto nos permite reformular 7 como = N.
PROPOSICIN 12. (Propiedades del producto de Dirichlet)
1. Es conmutativo.
2. Es asociativo.
DEMOSTRACIN. En efecto,
1. ( f g) (n) =
ab=n
f (a) g (b) = (g f ) (n)
2. f (g k) =
ad=n
f (a) (g k) (d) =
ad=n
f (a)
bc=d
g (b) k (c) =
abc=n
f (a) g (b) k (c)
y ( f g) k =
cd=n
( f g) (d) k (c) =
cd=n

ab=d
f (a) g (b) k (c) =

abc=n
f (a) g (b) k (c).

DEFINICIN 13. (La funcin identidad) I :=


_
1
n
_
=
_
1, n = 1
0, n > 1
.
PROPOSICIN 14. La funcin identidad es el elemento neutro del producto de Diri-
chlet, i.e., f I = I f = f , f aritmtica.
DEMOSTRACIN. ( f I) (n) =
d[n
f (d) I
_
n
d
_
=
d[n
f (d)
_
d
n
_
= f (n).
15

TEOREMA 15. Toda funcin aritmtica f cumpliendo f (1) ,= 0 tiene un elemento


inverso f
1
, i.e., f f
1
= f
1
f = I. Ms concretamente,
16
f
1
(1) =
1
f (1)
, f
1
(n) =
1
f (1)

d[n
d<n
f
_
n
d
_
f
1
(d)
NOTA. La denicin es recursiva.
14
Si bien N no es ms que la funcin identidad de toda la vida (cf. Wikipedia), estamos interesados
en reservar este trmino para el elemento neutro del producto de Dirichlet (cf. Wikipedia).
15
Por la conmutatividad esto es suciente.
16
Usando el convenio de la suma vaca puede obviarse la distincin del caso n = 1.
1.2. PRODUCTO DE DIRICHLET Y (SUB)GRUPO ASOCIADO 10
DEMOSTRACIN. (Constructiva y por induccin)
_
f f
1
_
(1) =
d[1
f (d) f
1
_
1
d
_
=
f (1) f
1
(1). Imponiendo
_
f f
1
_
(1) = I (1) = 1 y juntndolo todo llegamos a:
f
1
(1) =
1
f (1)
, que estar bien denido ssi f (1) ,= 0.
Supongamos ahora que n > 1 y que tenemos calculado f
1
(k) , k Z
+
<n
y
procedamos por induccin.
_
f f
1
_
(n) =
d[n
f
_
n
d
_
f
1
(d) = f (1) f
1
(n) +

d[n,d<n
f
_
n
d
_
f
1
(d). Imponiendo
_
f f
1
_
(1) = I (n) = 0 y juntndolo todo
llegamos a: f
1
(n) =
1
f (1)

d[n,d<n
f
_
n
d
_
f
1
(d), que estar bien denido ssi
f (1) ,= 0.
COROLARIO 16. Sea G = f : Z
+
K; f (1) ,= 0. Se sigue de todo lo anterior
que (G, ) es un grupo abeliano.
DEFINICIN 17. (La funcin unidad) n Z
+
, u (n) = 1 (o sea, la funcin
constante o idnticamente 1, denotada tambin por u 1).
OBSERVACIN 18. I (n) :=
_
1
n
_
4
=
d[n
(d) =
d[n
(d) u
_
n
d
_
= ( u) (n)
I = u
_
I u
1
= u u
1
u
1
=

1
I =
1
u
1
= u
TEOREMA 19. (Formula de inversin de Mbius)
17
f (n) =

d[n
g (d) g (n) =

d[n
f (d)
_
n
d
_
DEMOSTRACIN. f (n) =
d[n
g (d) =
d[n
g (d) u
_
n
d
_
f = g u f
= (g u) = g (u ) = g I = g g (n) =
d[n
f (d)
_
n
d
_
.
18

PREGUNTA 20. El conjunto de las funciones multiplicativas es de G? En tal caso,


forman un subgrupo?
NOTA 21. Las funciones completamente multiplicativas no son un subgrupo
de G.
PROPOSICIN 22. Si f es multiplicativa y f , 0, entonces f (1) = 1 ,= 0. En
particular, toda funcin multiplicativa es de G (salvo, claro, el caso trivial y carente de
inters en el que f 0).
DEMOSTRACIN. f , 0 n Z
+
; f (n) ,= 0. Por otra parte, como f
es multiplicativa y n Z
+
, mcd(1, n) = 1, se tiene: f (n) = f (1) f (n)
f (n),=0

f (1) = 1 ,= 0.
PREGUNTA 23. Es cierto el reciproco? Es decir, dada una funcin aritmtica f con
f (1) = 1, cundo es sta multiplicativa?
EJERCICIO 24. Sea f G, con f (1) = 1. Entonces:
1. f es multiplicativa ssi f
_

r
i=1
p

i
i
_
=
r
i=1
f
_
p

i
i
_
y, en tal caso,
2. f es completamente multiplicativa ssi f (p

) = f (p)

, p P, Z
+
DEMOSTRACIN. En efecto,
1. [] f
_

r
i=1
p

i
i
_
= f
_
p

1
1
_
f
_

r
i=2
p

i
i
_
= =
r
i=1
f
_
p

i
i
_
, pues f es
multiplicativa y p
i
son primos diferentes entre s y, en particular, coprimos
y, por ende, mcd
_
p

k
k
,
r
i=k+1
p

i
i
_
= 1, k Z
+
<r
.
17
Notamos que, por 4,
d[n
f (d)
_
n
d
_
=
d[n
f
_
n
d
_
(n).
18
En clase se distingui la idea de la vuelta, pero no veo la necesidad.
1.2. PRODUCTO DE DIRICHLET Y (SUB)GRUPO ASOCIADO 11
[] Sean a =
r
i=1
p
a
i
i
, b =
s
i=1
q
b
i
i
; mcd(a, b) = 1 ij, p
i
,= q
j

f (ab) = f
_

r
i=1
p
a
i
i

s
i=1
q
b
i
i
_
= f
_

r
i=1
p
a
i
i
_
f
_

s
i=1
q
b
i
i
_
= f (a) f (b).
2. [] f (p

) = f
_
pp
1
_
= f (p) f
_
p
1
_
= = f (p)
1
f (p) = f (p)

.
[] f (ab) = f (c) = f
_

t
i=1
r
c
i
i
_
=
t
i=1
f
_
r
c
i
i
_
=
t
i=1
f (r
i
)
c
i
=
r
i=1
f (p
i
)
a
i

s
i=1
f (q
i
)
b
i
=
f (a) f (b).

PROPOSICIN 25. f , g multiplicativas h := f g multiplicativa.


DEMOSTRACIN. Sean m, n Z
+
; mcd(m, n) = 1. Entonces h (mn) =
c[mn
f (c) g
_
mn
c
_
=
19

a[m,b[n
f (ab) g
_
mn
ab
_
=
a[m,b[n
f (a) g
_
m
a
_
f (n) g
_
n
b
_
=
a[m
f (a) g
_
m
a
_

b[n
f (n) g
_
n
b
_
=
h (m) h (n).
PROPOSICIN 26. Si g, f g son multiplicativas, tambin lo ser f .
DEMOSTRACIN. (Por absurdo) Si f no fuera multiplicativa m, n Z
+
; (m, n) =
1, f (mn) ,= f (m) f (n). Escojamos estos m, n de manera que su producto sea m-
nimo.
20
Si mn = 1, entonces f (1) ,= f (1) f (1) 1 ,= f (1), lo que contradi-
ce 1 = ( f g) (1) = f (1) g (1) = f (1). Supongamos, pues, mn > 1. Entonces
f (ab) = f (a) f (b) , a, b Z
+
; (a, b) = 1, ab < mn (por como se escogieron m, n)
y, de manera similar a 25 (pero distinguiendo el caso a = m, b = n), ( f g) (mn) =

a[m,b[n,ab<mn
f (ab) g
_
mn
ab
_
+ f (mn) g (1) =
a[m,b[n,ab<mn
f (a) g
_
m
a
_
f (b) g
_
n
b
_
+
f (mn) =
a[m
f (a) g
_
m
a
_

b[n
f (b) g
_
n
b
_
f (m) f (n) + f (mn) = ( f g) (m) ( f g) (n) +
f (mn) f (m) f (n), con f (mn) f (m) f (n) ,= 0 por hiptesis, lo que contradice
f g multiplicativa.
COROLARIO 27. Si g es multiplicativa, tambin lo ser su inversa de Dirichlet g
1
.
DEMOSTRACIN. g
1
g = I y la identidad I es multiplicativa.
21

OBSERVACIN. M := f G; f multiplicativa G es un subgrupo con el


producto de Dirichlet.
22
TEOREMA 28. Sea f M. Se tiene: f es completamente multiplicativa ssi f
1
(n) =
(n) f (n) , n 1.
DEMOSTRACIN. [] Sea g (n) := (n) f (n) nuestra presunta inversa y cal-
culemos (g f ) (n) =
d[n
( (d) f (d)) f
_
n
d
_
H
= f (n)
d[n
(d) = f (n) I (n) =
f (n)
_
1
n
_
=
_
f (1) = 1, n = 1
0, n > 1
=
_
1
n
_
= I (n).
[] (Por 24)
_
f
1
f
_
(n)
H
=
d[n
( (d) f (d)) f
_
n
d
_
= I (n) = 0, n > 1
. Por otra parte, n = p

d
_
1, p, p
2
, . . . , p

_

d[n
( (d) f (d)) f
_
n
d
_
3
= (1) f (1) f (p

) + (p) f (p) f
_
p
1
_
+
0 = 0 1 1 f (p

) f (p) f
_
p
1
_
= 0 f (p

) = f (p) f
_
p
1
_
. Si = 2,
hemos terminado. Si = 3, como es cierto para = 2, hemos terminado, etc. En
denitiva, f (p

) = f (p) f
_
p
1
_
= f (p) f (p)
1
= f (p)

.
PROBLEMA 29. Calcular la funcin inversa de .
19
c[mn a[m, b[n; c = ab[mn. Adems, (m, n) = 1 (a, b) = 1,
_
m
a
,
n
b
_
= 1.
20
Lo podemos hacer por el principio del primer elemento (o del buen orden), cf. Wikipedia.
21
De hecho, I es completamente multiplicativa:
_
1
mn
_
= 1 mn = 1 m, n = 1
_
1
m
_ _
1
n
_
= 1.
22
Recordatorio: H es subgrupo de G ssi x, y H, xy
1
H.
EJERCICIOS 12
DEMOSTRACIN. = N
1
= N
1

1
=
1
N
1
= u
N, pues N es completamente multiplicativa.
23
As,
1
(n) = (u N) (n) =

d[n
u
_
n
d
_
(d) N (d) =
d[n
1 (d) d =
d[n
d (d).
TEOREMA 30. Sea f M. Entonces
d[n
(d) f (d) =
p[n
(1 f (p)).
DEMOSTRACIN. Sea g (n) :=
d[n
(d) f (d) u
_
n
d
_
= (u f ) (n), que es
multiplicativa en tanto que producto de multiplicativas.
24
Entonces n =
s
i=1
p

i
i

g (n) =
s
i=1
g
_
p

i
i
_
, con g (p

) =
d[p
(d) f (d)
3
= (1) f (1) + (p) f (p) +
0 = 1 f (p). En resumen,
d[n
(d) f (d) = g (n) =
s
i=1
g
_
p

i
i
_
=
p[n
(1 f (p)).

PROBLEMA 31.
1
(n) =
p[n
(1 p)
DEMOSTRACIN. Se sigue de las dos demostraciones anteriores:
1
(n) =

d[n
(d) N (d) =
p[n
(1 N (p)) =
p[n
(1 p).
Ejercicios
EJERCICIO 32. (La funcin de Mangoldt)
(n) :=
_
ln p, n = p
m
0, otro caso
1. No es multiplicativa
2.
d[n
(d) = ln n
3. (n) =
d[n
(d) ln
n
d
=
d[n
(d) ln d
DEMOSTRACIN. En efecto,
1. Contraejemplo: 0 = (2 3) ,= (2) (3) = ln2 ln3
2. n = 1
d[n
= (d) = (1) = 0 = ln1 y n > 1 n =
k
i=1
p

i
i

d[n
(d) = (1) +
_
(p
1
) +
_
p
2
1
_
+ +
_
p

1
1
__
+ +
_
(p
k
) +
_
p
2
k
_
+ +
_
p

k
k
__
=

k
j=1

j
i=1

_
p
i
j
_
=
k
j=1

j
i=1
ln p
j
=
k
j=1

j
ln p
j
=
k
j=1
ln p

j
j
= ln
k
j=1
p

j
j
=
ln n.
3. (n) =
d[n
(d) ln
n
d
por la formula de inversin de Mbius y
d[n
(d) ln
_
n
d
_
=

d[n
(d) ln n
d[n
(d) ln d = ln n
_
1
n
_

d[n
(d) ln d =
d[n
(d) ln d.

EJERCICIO 33. (La funcin de Liouville) Dado n =


k
i=1
p

i
i
, se dene (n) :=
(1)

i
y (1) := 1. Entonces:
1. es completamente multiplicativa.
2. Determinar
1
.
3. Calcular
d[n
(d).
DEMOSTRACIN. En efecto,
1. (Por 24)
a)
_

r
i=1
p

i
i
_
= (1)

r
i=1

i
=
r
i=1
(1)

i
=
r
i=1

_
p

i
i
_
b) (p

) = (1)

= ( (p))

.
2. En particular, se sigue de 28 que
1
(n) = (n) (n).
23
En efecto, N (mn) = mn = N (m) N (n).
24
De hecho, u es completamente multiplicativa, pues u (mn) = 1 = 1 1 = u (m) u (n). Por otra
parte, si f , g son multiplicativas, ( f g) (mn) = f (mn) g (mn) = f (m) f (n) g (m) g (n) si (m, n) = 1
(dem si f , g son completamente multiplicativas).
1.3. FUNCIONES

Y VALORES PROMEDIOS 13
3. Sea g (n) :=
d[n
(d) =
d[n
(d) u
_
n
d
_
g = u g es multi-
plicativa, pues , u lo son (cf. 25). As, g
_

r
i=1
p

i
i
_
=
r
i=1
g
_
p

i
i
_
, con
g (p

) = (1) + (p) + + (p

) =
_
1, = 2

0, ,= 2

.
25
Por lo tanto,
_

i
,= 2

g (n) = 0

i
= 2

, i g (n) = 1

1.3. Funciones

y valores promedios
DEFINICIN 34. (Funciones sumas de potencias de divisores
26
o funciones

)
R, n Z
+
,

(n) :=
d[n
d

.
OBSERVACIN. d (n) :=
0
(n) =
d[n
1 = # d Z
+
; d[n.
PROPOSICIN 35.

(n) son multiplicativas.


DEMOSTRACIN. (Por 25)

(n) =
d[n
d

=
d[n
u
_
n
d
_
d

=
d[n
u
_
n
d
_
N (d)

= u N

.
PROBLEMA 36. Sea n =
k
i=1
p
r
i
i
. Entonces:
0
(n) =
k
i=1
(r
i
+1) y, si ,= 0,

(n) =
k
i=1
p
(r
i
+1)
i
1
p

i
1
.
DEMOSTRACIN.

(n) =
k
i=1

_
p
r
i
i
_
y

(p
r
) =
d[p
r d

= 1 + p

+ p
2
+
+ p
r
,=0
=
p
(r+1)
1
p

1
la suma geometrica de r + 1 trminos y razn p

. Por otra
parte,
0
(p
r
) =
d[p
r 1 = r +1.
PROBLEMA 37. La inversa de Dirichlet de

cumple
1

(n) =
d[n
d

(d)
_
n
d
_
.
DEMOSTRACIN.

= N

u
1

= (N

)
1
u
1
= N

.
Idea. Notamos que la funcin d (n) (y, por ende,

) es muy caprichosa en
el sentido que para n muy grande d (n) puede ser tambin muy grande o bien
muy pequeo, p.e., si n es primo; es decir, puede uctuar mucho (pinsese, p.e.,
en la conjetura de los primos gemelos). No obstante, podemos plantearnos hacer
estimaciones del tipo
nx

(n) = Valor asintomtico de la suma + Error come-


tido (por cuestiones tcnicas, tendremos que distinguir tres casos: = 0, = 1 y
R
>0
1). Para ello, veamos algunos resultados previos:
NOTACIN 38. (Landau) Sea g (x) > 0, x a. Entonces: f (x) = O(g (x)) :
M > 0; [ f (x)[ Mg (x) , x a.
27
OBSERVACIN 39. f (t) = O(g (t)) , t a

x
a
f (t) dt = O
_
x
a
g (t) dt
_
, x
a.
25
(Notacin personal) a[b b = a

, ie, a divide a b es lo mismo que b mltiple de a. No debe


confundirse a

con a
k
.
26
Tambin conocida simplemente como funcin divisor, aunque esa denominacin sea ms impre-
cisa.
27
Para ms detalles, propiedades, etc., cf. Wikipedia.
1.3. FUNCIONES

Y VALORES PROMEDIOS 14
TEOREMA 40. (Formula de Sumacin de Euler, FSE)
28
Sea f (
1
([y, x]), con
0 < y < x. Entonces:

y<nx
f (n) =

x
y
f (t) dt +

x
y
(t [t]) f
/
(t) dt + f (x) ([x] x) f (y) ([y] y)
DEMOSTRACIN. Se presupone conocida. Puede consultarse [Tom, 3.3], [N1,
4].
OBSERVACIN 41. [[x] x[ 1 [x] = x +O(1).
29
LEMA 42. x 1
nx
1
n
= ln x + C +O
_
1
x
_
.
30
DEMOSTRACIN. Aplicando FSE en [1, x] con f (t) =
1
t
, nos queda:
1<nx
1
n
=

x
1
1
t
dt +

x
1
(t [t])
1
t
2
dt +
1
x
([x] x)
1
1
(1 1)
nx
1
n
=
1nx
1
n
=
1
1
+
(ln x ln1)

x
1
t[t]
t
2
dt +
O(1)
x
,
31
donde

x
1
t[t]
t
2
dt =

1
t[t]
t
2
dt

x
t[t]
t
2
dt pues
ambas integrales existen/convergen en tanto que:
t [t] 1

1
t[t]
t
2
dt

1
1
t
2
dt (dominada).
0

x
t[t]
t
2

x
1
t
2
dt =
1
x
(acotada).
As,
nx
1
n
= ln x + C +O
_
1
x
_
, con C := 1

1
t[t]
t
2
dt.
32

OBSERVACIN. lm
x
_

nx
1
n
ln x
_
= 1

1
t[t]
t
2
dt, donde lm
x
_

nx
1
n
ln x
_
:=
la constante de Euler-Mascheroni, cf. Wikipedia. Se desconoce si es racional o
no.
LEMA 43. x 1 0,
nx
n

=
x
+1
+1
+O(x

).
DEMOSTRACIN. Aplicando FSE en [1, x] con f (t) = t

, nos queda:
nx
n

=
1

x
1
t

dt +

x
1
(t [t]) t
1
dt +x

([x] x) 0 = 1 +
_
x
+1
+1

1
+1
+1
_
+

x
1
O(1) t
1
dt +
x

O(1) =
x
+1
+1
+1
1
+1
+O(1)

x
1
t
1
dt +O(x

) =
x
+1
+1
+1
1
+1
+O(x

)
O() +O(x

) =
x
+1
+1
+O(x

).
33

DEFINICIN 44. (Notacin) f (x) g (x) : lm


x
f (x)
g(x)
= 1, y en tal caso
diremos que f (x) es asinttica a g (x).
TEOREMA 45. (de Dirichlet,
34
a lo [Tom, 3.5])
35
x 1
nx
d (n) = x ln x +
O(x). De hecho,
nx
d (n) = x ln x + (2 1) x +O
_
x
_
.
28
Aclaraciones notacionales: (
k
es la clase de las funciones con derivada k-sima continua y ( := (
0
.
[x] es la parte entera de x, i.e., el mayor entero k x (tambin llamada suelo/piso, cf. Wikipedia).
29
Los dos unos no tienen nada que ver entre s. El primero se reere a la constante M y el segundo
a la funcin g (que es constantemente igual a 1), cf. Landau.
30
Ntese que, como n Z
+
, la condicin/hiptesis x 1 es puramente tcnica (de otro modo el
sumatorio estara vaco).
31
Ntese que

O(1)
x

=
[O(1)[
[x[

M
[x[
x1
=
M
x

O(1)
x
= O
_
1
x
_
.
32
Ntese que el trmino

x
t[t]
t
2
ha sido absorbido por O
_
1
x
_
por estar acotado por
1
x
. Ms expl-
citamente,

1
x
+O
_
1
x
_

1
x

O
_
1
x
_

1
x

+
M
x
x1
=
M+1
x
.
33
En la ltima igualdad hemos utilizado que O(x

) es el orden de error ms grande (i.e., que


acota el de los otros) y que ste es equivalente a O(x

), tomando M
/
= M. Por otra parte (y como se
hizo en clase), se sigue directamente de 39 que

x
1
O(1) t
1
dt =

x
1
O
_
t
1
_
dt = O
_
x
1
t
1
dt
_
, sin
necesidad de sacar O(1) fuera como yo acabo de hacer.
34
Para no confundirlo con el teorema de Dirichlet enunciado en la introduccin, puede llamrsele
formula asinttica de Dirichlet para la suma de divisores.
35
Ver una exposicin alternativa en [N1, 5].
1.3. FUNCIONES

Y VALORES PROMEDIOS 15
DEMOSTRACIN. d (n) =
d[n
1
nx
d (n) =
nx

d[n
1, que es una
doble suma recorriendo n, d. Observemos que la condicin d[n nos permite poner
n en funcin de d: n = qd (en caso contrario no sumaramos nada). As, podemos
repensar la doble suma como la suma (de u) respecto de todas esas parejas de
divisores q, d tq qd x, i.e.,
nx

d[n
1 =
q,d
qdx
1 (la n no aparece porque es
muda/auxiliar. qd son la n para todas las parejas (q, d) Z
+
Z
+
).
36
Entonces, como qd = n son las ecuaciones de una hiprbola y n x n
1, 2, 3, . . . , [x], tendramos que
(q,d);qdx
1 contara la cantidad de puntos (q, d)
reticulares (ie, puntos con coordenadas enteras) que se hallan sobre las hiprbo-
las qd = n para n 1, 2, 3, . . . , [x] (o sea, qd 1, 2, 3, . . . , [x]). Por lo tanto,
jando d, podemos sumar primero los puntos reticulares que se encuentren en el
segmento rectilneo horizontal q Z
+

_
1,
x
d

,
37
y luego ir variando d, de manera
que
(q,d);qdx
1 =
dx

q
x
d
1 =
dx

q
x
d
q
0
43
=
dx
_
(
x
d
)
0+1
0+1
+O
_
x
0
_
_
=

dx
_
x
d
+O(1)
_
= x
dx
1
d
+O(x)
42
= x
_
ln x + +O
_
1
x
__
+O(x) = x ln x +
O(x).
De hecho, podemos anar algo ms nuestra aproximacin observando que el
papel de q, d es simtrico, i.e., sumando slo los de la parte estrictamente inferior a
la bisectriz (recta q = d), multiplicndolos por dos, y sumndoles luego los puntos
reticulares que se hallen en la bisectriz, que son exactamente
_
x

, pues:
qd = n (hiprbolas)
q = d (bisectriz)
_
n = d
2
n1,...,[x]
n
_
1
2
, 2
2
, . . . ,
_
x

2
_
En cuanto a los puntos reticulares (q, d) por debajo de la bisectriz que se hallan
sobre las hiprbolas, seguimos el mismo planteamiento que antes: jado d, conta-
remos los q Z
+

_
1
d
, . . . ,
[x]
d
_
(que son
_
[x]
d
_
=
_
x
d

elementos)
38
por debajo de
la bisectriz (ie, q < d [o, por simetra, q > d].
39
Esto equivale, jado d, a restar (al
conjunto anterior) los d ltimos [o, por simetra, primeros] elementos de la lista
d 1, d 2, . . . , d d, d (d +1) . . . , que cortamos cuando dq > x)
En denitiva,
(q,d);qdx
1 = 2
d<

x
__
x
d

d
_
+
_
x

= 2
d<

x
_
x
d
+O(1) d
_
+
O
_
x
_
= 2x
d<

x
1
d
+O
_
2
d<

x
1
_
2
d<

x
d
1
+O
_
x
_
42+43
= 2x
_
ln

x + +O
_
1

x
__

2
_
(

x)
2
2
+O
_
x
_
_
+O
_
x
_
= 2x ln x
1/2
+2x +2xO
_
1

x
_
x +O
_
x
_
=
x ln x + (2 1) x +O
_
x
_
.
NOTA. El resultado se puede anar todava ms, si bien no se conoce el ter-
mino de error optimo (a esta cuestin abierta se la denomina problema del divisor
de Dirichlet). Se sabe, eso s, que el nmo de todos los tq el termino de error es
O
_
x

_
est comprendido entre
1
4
(Hardy-Landau, 1915) y
12
37
(Kolesnik, 1969).
36
Llegados hasta aqu, puede ser interesante consultar [Tom, 3.5], donde se dan dos representacio-
nes grcas de la situacin (la presente y la del renamiento).
37
Ntese que en esta interpretacin estamos introduciendo un cierto error (por exceso), pues no-
sotros slo queremos sumar los puntos reticulares que se hallan sobre la hiprbola (ie, q Z
+

_
1
d
, . . . ,
[x]
d
_
), y no, como estamos haciendo, todos los puntos reticulares menores que
x
d
(de mane-
ra que qd x). Luego mejoraremos est primera aproximacin.
38
Cf. fmat y Wikipedia para ver ms propiedades de la funcin parte entera.
39
Notar que considerar q < d q > d no es equivalente a considerar la parte inferior o superior
respectivamente de la bisectriz, pues esto depender de como tomemos los ejes (ie, de quien representa
las abscisas y quien las ordenadas).
1.3. FUNCIONES

Y VALORES PROMEDIOS 16
LEMA 46. s R
>0
1 ,
nx
1
n
s
=
x
1s
1s
+ (s) +O(x
s
).
DEMOSTRACIN. Aplicando la formula de sumacin de Euler en [1, x] con
f (t) = t
s
, nos queda:
nx
1
n
s
= 1 +

x
1
t
s
dt +

x
1
(t [t])
s
t
s+1
dt +x
s
([x] x)
0 = 1 +
_
x
s+1
s+1
+
1
s+1
s+1
_
s

x
1
t[t]
t
s+1
dt +O(x
s
), donde

x
1
t[t]
t
s+1
dt =

1
t[t]
t
s+1
dt

x
t[t]
t
s+1
dt pues ambas integrales existen/convergen en tanto que:

1
t[t]
t
s+1

1
1
t
s+1
dt (dominada).
0

x
t[t]
t
s+1

x
1
t
s+2
dt =
x
(s+1)
s+1
(acotada), que es absorbido por O(x
s
).
As,
nx
1
n
s
=
x
1s
1s
+C (s) +O(x
s
), con C (s) := 1 +
1
1s
s

1
t[t]
t
s+1
dt. Veamos
ahora, distinguiendo casos, que C (s) es, de hecho, (s) :=
n1
1
n
s
:
s > 1: (s) = lm
x
nx
1
n
s
= C (s) +lm
x
x
1s
1s
+lm
x
O(x
s
)
s>1
=
C (s) +0 +0
0 < s < 1: en este caso sigue siendo cierto que x
s
0, luego (s) =
lm
x
nx
1
n
s
= C (s) +lm
x
x
1s
1s
C (s) = lm
x
_

nx
1
n
s

x
1s
1s
_

TEOREMA 47. x 1,
nx

1
(n) =
1
2
(2) x
2
+O(x ln x).
40
DEMOSTRACIN. Razonando de manera similar a la primera parte de 45:

nx

1
(n) =
nx

q[n
q =
q,d
qdx
q =
dx

q
x
d
q
43
=
dx
_
(
x
d
)
1+1
1+1
+O
_
_
x
d
_
1
_
_
=

dx
x
2
2d
2
+
dx
O
_
x
1
d
_
=
x
2
2

dx
1
d
2
+O
_
x
dx
1
d
_
46+42
=
x
2
2
_
x
12
12
+ (2) +O
_
x
2
_
_
+
O
_
x
_
ln x + +O
_
1
x
___
=
x
2
2

x
1
1
+
x
2
2
(2) +
x
2
2
O
_
x
2
_
+O(x ln x) =
x
2
+
1
2
(2) x
2
+O(x ln x) =
1
2
(2) x
2
+O(x ln x).
TEOREMA 48. Sean x 1 y R
>0
1.
41
Entonces:
nx

(n) =
(+1)
+1
x
+1
+
O
_
x

_
, con := m ax 1, .
DEMOSTRACIN. Razonando de manera anloga al caso anterior:

nx

(n) =
nx

q[n
q

=
q,d
qdx
q

=
dx

q
x
d
q

43
=
dx
_
(
x
d
)
+1
+1
+O
_
x

_
_
=
x
+1
+1

dx
1
d
+1
+O
_
x

dx
1
d

_
46+46
=
x
+1
+1
_
x
1(+1)
1(+1)
+ ( +1) +O
_
x
(+1)
__
+O
_
x

_
x
1
1
+ () +O(x

)
__
=
x
+1
+1

x

+
(+1)
+1
x
+1
+
1
+1
O(1) +O
_
x
1
+ x

() +O(1)
_
=
x
(+1)
+
(+1)
+1
x
+1
+O(1) +O(x) +O(x

) +O(1)
=
x
(+1)
+
(+1)
+1
x
+1
+O
_
x

_
=
(+1)
+1
x
+1
+O
_
x

_

40
Calcular el valor exacto de (2), que es

2
6
, se conoce como El problema de Basilea, y fue resuel-
to por Euler en 1735 (de hecho, Euler dio una expresin explicita de (2k) que involucraba los nmeros
de Bernoulli).
41
Tomamos / 0, 1 para poder aplicar 46. De ah que hayamos tenido que distinguir
0
,
1
del
resto.
1.4. CONVOLUCIONES GENERALIZADAS Y SUMAS PARCIALES 17
PREGUNTA. Como son los valores medios de las otras funciones aritmticas que
conocemos?
Para establecer anlogos respecto y tendremos que trabajar ms (debido
a su relacin con el teorema de los nmeros primos), pero con las herramientas
dadas ya podemos dar el correspondiente a .
LEMA 49. Si x 1, se cumple:
1. s > 1
nx
1
n
s
= O
_
x
1s
_
2.
nx
(n)
n
2
=
6

2
+O
_
1
x
_
DEMOSTRACIN. En efecto,
1. Como s > 1, 46 aplica y
nx
1
n
s
=
x
1s
1s
+ (s) + O(x
s
). As, notando
que
nx
1
n
s
y
nx
1
n
s
son complementarios uno del otro y que su su-
ma es (s), tenemos:
n>x
1
n
s
= (s)
nx
1
n
s
= (s)
x
1s
1s
(s)
O(x
s
) =
x
1s
1s
+O(x
s
) = O
_
x
1s
_
.
2. Recordemos la siguiente formula clsica de Euler (que no demostrare-
mos):

n=1
(n)
n
2
=
1
(2)
, donde, recordamos, (2) =

2
6
. Por lo tanto, ra-
zonando de manera similar a (1):
nx
(n)
n
2
=

n=1
(n)
n
2

n>x
(n)
n
2
=
6

2
+O
_

n>x
1
n
2
_
(1)
=
6

2
+O
_
1
x
_
.

TEOREMA 50. x > 1,


nx
(n) =
3

2
x
2
+O(x ln x).
DEMOSTRACIN. (n)
7
=
d[n
(d)
n
d

nx
(n) =
nx

d[n
(d)
n
d
=

(q,d);qdx
(d)
n
d
=
dx
(d)
q
x
d
n
d
43
=
dx
(d)
_
1
2
_
x
d
_
2
+O
_
x
d
_
_
=
x
2
2

dx
(d)
d
2
+

dx
(d) O
_
x
d
_
49
=
x
2
2
_
6

2
+O
_
1
x
__
+O
_
x
dx
1
d
_
42
=
x
2
2
6

2
+O(x) +O(x ln x) =
3

2
x
2
+O(x ln x).
NOTACIN 51. (Valor medio
42
de una funcin aritmtica) Dada f aritmtica,

f (n) :=
1
n

n
k=1
f (k).
RESUMEN 52. Con la notacin recin introducida (y 44), podemos resumir los
resultados bsicos de esta seccin de la manera siguiente:
1.

d (n)
1
n
n ln n = ln n
2.
1

1
n
1
2
(2) n
2
=
1
2
(2) n
3. R
>0
1 ,

(n)
1
n
(+1)
+1
n
+1
=
(+1)
+1
n

4. (n)
1
n
3

2
n
2
=
3

2
n
1.4. Convoluciones generalizadas y sumas parciales
DEFINICIN 53. Sea F : (0, +) K; x (0, 1) , F (x) = 0 y aritmtica. Se
dene entonces la convolucin generalizada como:
( F) : (0, +) K; ( F) (x) :=

nx
(n) F
_
x
n
_
OBSERVACIN. x RZ
+
, F (x) = 0 F
[Z
+ es una funcin aritmtica y,
adems, ( F) (m) = ( F) (m) , m Z
+
.
42
O sea, media aritmtica.
1.4. CONVOLUCIONES GENERALIZADAS Y SUMAS PARCIALES 18
NOTA. En general, no es ni conmutativa ni asociativa. Sin embargo:
PROPOSICIN 54. (, ) aritmticas, se cumple:
( F) = ( ) F
DEMOSTRACIN.
( ( F)) (x) =
nx
(n) ( F)
_
x
n
_
=
nx
(n)
_

m
x
n
(m) F
_
x/n
m
__
=
nx
(n)
_

mnx
(m) F
_
x
mn
__
=
=
mnx
(n) (m) F
_
x
mn
_
( ) (k) :=
n[k
(n)
_
k
n
_
=
nm=k
(n) (m)
=
kx
( ) (k) F
_
x
k
_
= (( ) F) (x)

OBSERVACIN 55. I es el neutro por la izquierda: (I F) (x) =


nx
_
1
n
_
F
_
x
n
_
=
F (x) pues I (n) = 0, n > 1.
PROPOSICIN 56. (Formula de inversin generalizada) Si
1
es la inversa de Di-
richlet de , se tiene:
G (x) =

nx
(n) F
_
x
n
_
F (x) =

nx

1
(n) G
_
x
n
_
DEMOSTRACIN. [] G = F
1
G =
1
( F) =
_

1

_
F =
I F = F. La vuelta es anloga.
COROLARIO. (Formula de inversin de Mbius generalizada) Si es completamente
multiplicativa, se tiene:
G (x) =

nx
(n) F
_
x
n
_
F (x) =

nx
(n) (n) G
_
x
n
_
DEMOSTRACIN. Inmediata a partir de 28.
DEFINICIN 57. (Generalizacin de u)
U (x) :=
_
0, x (0, 1)
1, x 1
OBSERVACIN. ( f U) (x) =
nx
f (n) U
_
x
n
_
=
nx
f (n) pues n x
x
n
1.
TEOREMA 58. (Sumas parciales de un producto de Dirichlet)
Si h = f g y H (x) :=
nx
h (n) (anlogamente para f y g),
43
se cumple:
H = f G = g F
DEMOSTRACIN. (Por 54)
_
F = f U g F = g ( f U) = (g f ) U = H
G = g U f G = f (g U) = ( f g) U = H

43
Por la observacin anterior, esto equivale a decir que H = h U (anlogamente para f y g). A
veces se dice que H es la primitiva de h.
1.4. CONVOLUCIONES GENERALIZADAS Y SUMAS PARCIALES 19
COROLARIO 59. Dado F (x) =
nx
f (n), se cumple:

nx

d[n
f (d) =

nx
f (n)
_
x
n
_
=

nx
F
_
x
n
_
DEMOSTRACIN. Tomando g = u en el teorema anterior, nos queda:
h := f g = f u h (x) =
d[n
f (d) u
_
n
d
_
=
d[n
f (d) H (x) =

nx

d[n
f (d).
g = u G (x) =
nx
1 = [x] f G = f [x] ( f G) (x) =

nx
f (n)
_
x
n

.
g F = u F (g F) (x) =
nx
u (n) F
_
x
n
_
=
nx
F
_
x
n
_
.

TEOREMA 60. x 1, se cumple:


1.
nx
(n)
_
x
n

= 1
2.
nx
(n)
_
x
n

= ln ([x]!)
DEMOSTRACIN. (Por 59)
1. Tomando f = :
nx
(n)
_
x
n

=
nx

d[n
(d)
4
=
nx
_
1
n
_
= 1.
2. Tomando f = :
nx
(n)
_
x
n

=
nx

d[n
(d)
32
=
nx
ln n = ln
_

nx
n
_
=
ln ([x]!).

NOTACIN 61. (Parte decimal) y R, y := y [y].


PROBLEMA 62. x 1,

nx
(n)
n

1. Es ms: la igualdad se da ssi x < 2.


DEMOSTRACIN. x [1, 2),
nx
(n)
n
=
(1)
1
= 1. Sea ahora x 2. Se tiene:
1 =
nx
(n)
_
x
n

=
nx
(n)
_
x
n

_
x
n
__
=
nx
(n)
x
n

nx
(n)
_
x
n
_

1 +
nx
(n)
_
x
n
_
= x
nx
(n)
n
x>0
x

nx
(n)
n

1 +
nx
(n)
_
x
n
_

x>0

1 +
nx
[ (n)[
_
x
n
_
(n)1
1 +
_
x
1
_
+
2nx
_
x
n
_
< 1 +x +
2xn
1 = 1 +
x + [x] 1 = x.
PROPOSICIN 63. (Identidad de Legendre) x 1, [x]! =
px
p
(p)
, con (p) =

m=1
_
x
p
m
_
.
OBSERVACIN.

m=1
_
x
p
m
_
es, de hecho, una suma nita, pues dado x, se tie-
ne:
_
x
p
m
_
= 0, p
m
x. Ms explcitamente, como p
m
= x ln p
m
= ln x, pode-
mos escribir

m=1
_
x
p
m
_
=
_
ln x
ln p
_
m=1
_
x
p
m
_
.
NOTA. Existen muchas demostraciones diferentes de este resultado. Nosotros
veremos una va la funcin de Mangoldt.
1.5. ALGUNOS RESULTADOS ELEMENTALES SOBRE (x) 20
DEMOSTRACIN. ln ([x]!)
60
=
nx
(n)
_
x
n

=
44

px

m=1
ln p
_
x
p
m
_
=
px
ln p (p) =

px
ln p
(p)
= ln
_

px
p
(p)
_
. Tomando exponenciales, hemos terminado.
PROBLEMA 64. x 2, ln ([x]!) = x ln x x +O(ln x). En particular (por 60),

nx
(n)
_
x
n

= x ln x x +O(ln x).
DEMOSTRACIN. (Por 40) Aplicando FSE en [1, x] con f (t) = ln t, nos queda:

nx
ln n = ln1 +

x
1
ln tdt +

x
1
(t [t])
1
t
dt +ln x ([x] x) 0 = [t (ln t 1)]
x
1
+
O
_

x
1
1
t
dt
_
+O(ln x) = x (ln x 1) +1 +O(ln x) +O(ln x) = x ln x x +O(ln x).

PROBLEMA 65. x 2,
px
_
x
p
_
ln p = x ln x +O(x).
DEMOSTRACIN. Razonando como en 63:
nx
_
x
n

(n) =
px

m=1
_
x
p
m
_
ln p =

px
_
x
p
_
ln p +
px

m=2
_
x
p
m
_
ln p, donde:

px

m=2
_
x
p
m
_
ln p =
px
ln p

m=2
_
x
p
m
_

px
ln p

m=2
x
p
m
= x
px
ln p

m=2
_
1
p
_
m
= x
px
ln p
_
1
p
_
2

1
1
1
p

1
p
< 1 (serie geometrica)
= x
px
ln p
p
2
p
x

n=2
ln n
n(n1)
As, como la serie

n=2
ln n
n(n1)
es convergente
45
(ie, es una constante), tenemos que
x

n=2
ln n
n(n1)
= O(x).
En resumen,
nx
_
x
n

(n) =
px
_
x
p
_
ln p +O(x), donde
nx
_
x
n

(n) =
x ln x x +O(ln x) por el problema anterior, de manera que, reordenando, hemos
terminado.
1.5. Algunos resultados elementales sobre (x)
Reduciremos el estudio de la distribucin de nmeros primos al estudio de la
siguiente funcin:
DEFINICIN 66. x R
>0
, (x) := #P
x
.
OBSERVACIN. (Por Euclides) lm
x
(x) = .
PROBLEMA 67. Existen agujeros arbitrariamente grandes en la sucesin de n-
meros primos, ie, dado k Z
+
, existen k enteros consecutivos que no son primos.
44
Recordatorio (cf. 32): (n) = 0 si n no es una potencia de un primo, ln p en otro caso (ie, si
n = p
m
), por lo que podemos cambiar
nx
por
p
m
x
y, a su vez, por
p

m=1
, pues
_
x
p
m
_
hace de
indicador de p; p
m
x. Es decir, jado un p, sumamos por todas las potencias de p
m
(que a priori
es ms de lo que queremos) sobre ln p
_
x
p
m
_
, que acta como indicador del conjunto sobre el que s
queremos hacer la suma, p; p
m
x (pues p
m
> x
_
x
p
m
_
= 0).
45
Por el criterio integral (integrando por partes), de condensacin de Cauchy + del cociente, notando
que n
0
; n n
0
, ln n

n, etc.
1.5. ALGUNOS RESULTADOS ELEMENTALES SOBRE (x) 21
DEMOSTRACIN. Consideremos los enteros (k +1)! + n
k+1
n=2
y notemos que,
por la denicin de factorial, podemos sacar factor comn n para todos ellos. Por
lo tanto, no son primos.
EJEMPLO. Demos algunos valores (1) = 0, (2) =
_
5
2
_
= 1, (4) =
2, (10).
NOTA. (Histrica) A partir de las tablas de valores de (x), Gauss y Legen-
dre conjeturan independientemente a nales del XVIII que lm
x
(x)
x
/ln x
= 1, he-
cho conocido actualmente como teorema de los nmeros primos (TNP). En 1896
Hadamard y La Valle-Pousin lo demuestran independientemente de manera di-
ferente (si bien ambos se basaban en que (s) no tiene ceros de la forma 1 + it
con t > 0). Desde entonces muchas otras aparecieron, basndose la mayora en el
comportamiento de (s), siendo la de D. J. Newman (1980) la ms simple. Existen
tambin, no obstante, demostraciones elementales (en el sentido de que no usan
anlisis de variable compleja), como la de Selberg y Erds (1949), si bien resulta
ser ms pesada.
46
NOTA. (Planteamiento de las clases) Este curso, recordamos, tiene dos leitmo-
tivs: la demostracin del TNP y la del teorema de Dirichlet en progresiones arit-
mticas. En lo que queda de seccin daremos algunos resultados de Tchebycheff
que intentar cercar al TNP y, acto seguido, aplazaremos la demostracin de ste,
si el tiempo lo permite, para nal de curso, encaminndonos por tanto a partir del
siguiente capitulo hacia la demostracin del teorema de Dirichlet.
TEOREMA 68. ( de Tchebycheff) a, b R; a
x
ln x
< (x) < b
x
ln x
si x 2.
DEMOSTRACIN. You should denitely send me a rsum if you can read
the whole thing
DEFINICIN 69. (Funcin de Tchebycheff) x > 0, (x) :=
nx
(n)
OBSERVACIN. (Denicin equivalente) x > 0, (x) :=
nx
(n) =

m=1

p;p
m
x
(p
m
) =

m=1

px
1/m ln p =
47

mlog
2
x

px
1/m ln p.
DEFINICIN 70. (Funcin de Tchebycheff) x > 0, (x) :=
px
ln p.
OBSERVACIN. (x) =
mlog
2
x

_
x
1/m
_
.
TEOREMA 71. x > 0, 0
(x)
x

(x)
x

(ln x)
2
2

x ln2
DEMOSTRACIN. (x) =
mlog
2
x

_
x
1/m
_
0 (x) (x) =
2mlog
2
x

_
x
1/m
_

48

2mlog
2
x
x
1/m
ln x
1/m
[log
2
x] x
1/2
ln x
1/2
acotando cada uno de los [log
2
x]
trminos por el mayor que aparece en la suma, donde
_
ln x
ln2
_

x
1
2
ln x
_
ln x
ln2
_

x
1
2
ln x =
ln
2
x

x
2 ln2
. As, dividiendo por x, hemos terminado.
COROLARIO. lm
x
(ln x)
2
2

x ln2
= 0 lm
x
_
(x)
x

(x)
x
_
= 0 lm
x
(x)
x
=
lm
x
(x)
x
. En particular, x x.
46
Ambas pueden verse en aqu.
47
x
1/m
< 2
1
m
ln x < ln2 m >
ln x
ln2
= log
2
x. As, usando el contrarecproco y teniendo
presente que 2 es el primer primo, nos queda:

m=1

px
1/m =
mlog
2
x

px
1/m (pues para m >
log
2
x, la suma
px
1/m est vaca, ya que, reitero, no hay primos menores que 2).
48
(x) :=
px
ln p x ln x
1.5. ALGUNOS RESULTADOS ELEMENTALES SOBRE (x) 22
TEOREMA 72. (Formula de Sumacin de Abel, FSA) Sea a (n) una funcin aritm-
tica, A(x) :=
_
0, x < 1

nx
a (n) , x 1
. Entonces: f (
1
[y, x]
y<nx
a (n) f (n) =
A(x) f (x) A(y) f (y)

x
y
A(t) f
/
(t).
49
PROBLEMA 73. FSE es un caso particular de FSA.
DEMOSTRACIN. Tomando a = u, nos queda A(x) =
nx
1 = [x] y, por
FSA,
y<nx
f (n) = f (x) [x] f (y) [y]

x
y
[t] f
/
(t) dt. Por otra parte,

x
y
t f
/
(t) dt =
t f (t) [
x
y

x
y
f (t) dt (integrando por partes: u = t, dv = f
/
(t) dt). Por lo tan-
to,
y<nx
f (n)

x
y
t f
/
(t) dt = f (x) [x] f (y) [y]

x
y
[t] f
/
(t) dt x f (x) +
y f (y) +

x
y
f (t) dt
y<nx
f (n) =

x
y
f (t) dt +

x
y
(t [t]) f
/
(t) dt + f (x) ([x] x)
f (y) ([y] y) reordenando.
LEMA 74. Si x 2, se tiene:
1. (x) = (x) ln x

x
2
(t)
t
dt
2. (x) =
(x)
ln x
+

x
2
(t)
t ln
2
t
dt
DEMOSTRACIN. Sea a :=
P
.
50
As,
(x) :=
px
1 =
nx
a (n)
(x) :=
px
ln p =
nx
b (n), con b (n) := a (n) ln n.
Por lo tanto, tomando ahora
1. f (x) = ln x, y = 1, se sigue de FSAque:
1<nx
a (n) ln n =
nx
a (n) ln x

n1
a (n) ln1

x
1

nt
a (n)
1
t
dt = (x) ln x

x
1
(t)
t
dt = (x) ln x

x
2
(t)
t
dt pues (t) = 0, t < 2.
2. f (x) =
1
ln x
, y =
3
2
, se sigue de FSAque: 3
2
<nx
b (n)
1
ln n
=
nx
b (n)
1
ln x

n
3
2
b (n)
1
ln
3
2

x
3
2

nt
b (n)
1
t ln
2
t
dt =
(x)
ln x

_
3
2
_
1
ln
3
2
+

x
3
2
(t)
t ln
2
t
dt =
(x)
ln x
+

x
2
(t)
t ln
2
t
dt pues (t) = 0, t < 2.

TEOREMA 75. Las siguientes formulas asintticas son equivalentes:


1. (x) ln x x (ie, (x)
x
ln x
, TNP).
2. (x) x.
3. (x) x.
51
DEMOSTRACIN. [1 2] Se sigue de 74-1 que
(x)
x
=
(x) ln x
x

1
x

x
2
(t)
t
dt,
luego nos basta ver: lm
x
1
x

x
2
(t)
t
dt = 0. Por hiptesis, lm
x
(x) ln x
x
= 1
t 2,
(t)
t
= O
_
1
ln t
_

1
x

x
2
(t)
t
dt = O
_
1
x

x
2
dt
ln t
_
, donde

x
2
dt
ln t
=

x
2
dt
ln t
+

x
dt
ln t
ln
1

1
ln2

x
2
dt +
1
ln

x
dt =

x2
ln2
+
x

x
ln

x
. Por tanto, lm
x

1
x

x
2
(t)
t
dt

38

lm
x
M
1
x

x
2
dt
ln t
Mlm
x
1
x
_
x
ln2
+
x
ln

x
_
= 0 lm
x
1
x

x
2
(t)
t
dt = 0.
49
Corolario. Identidad de Abel:
1nx
a (n) f (n) = A(x) f (x)

x
1
A(t) f
/
(t).
50
Es decir, a es la funcin caracterstica de P el conjunto de los nmeros primeros. Ms explcita-
mente, a (n) =
_
1, n P
0, n / P
.
51
Notar que la equivalencia entre (2) y (3) ya se vio en 71.
1.5. ALGUNOS RESULTADOS ELEMENTALES SOBRE (x) 23
[2 1] Se sigue de 74-2 que
(x) ln x
x
=
(x)
x
+
ln x
x

x
2
(t)
t ln
2
t
dt, luego nos basta
ver: lm
x
ln x
x

x
2
(t)
t ln
2
t
dt = 0. Por hiptesis, lm
x
(x)
x
= 1 (t) = O(t)
ln x
x

x
2
(t)
t ln
2
t
dt = O
_
ln x
x

x
2
tdt
t ln
2
t
_
, donde

x
2
dt
ln
2
t
=

x
2
dt
ln
2
t
+

x
dt
ln
2
t

x2
ln
2
2
+
x

x
ln
2

x
ln
2
2
+
x
ln
2

x

ln x
x

x
2
tdt
t ln
2
t

ln x

x ln
2
2
+
ln x
(
1
2
)
2
(ln x)
2
x
0.
Notar que solamente hemos demostrado que todas ellas son equivalentes, pe-
ro que en ningn momento hemos demostrado que ninguna de ellas sea cierta. Tal
prueba (la del TNP) se aplaza a nal de cuerso.
Captulo 2
Caracteres
2.1. Caracteres de grupos abelianos nitos
NOTACIN. En adelante, (G, ) denotara siempre un grupo abeliano nito y e
su elemento neutro.
DEFINICIN 76. Un carcter de G es un homomorsmo de grupos
1
de G en
el grupo multiplicativo (C, ), : G C

.
OBSERVACIN. G abeliano x G, x
n
= e, donde n = #G. En particular,
(x
n
) = (e). Ahora bien, como es un homomorsmo de grupos, se tiene que
(e) = 1 y (x
n
) = (x)
n
. Es decir, (x) es una raz n-sima de la unidad.
NOTACIN.
n
es el grupo cclico de las races n-simas de 1, que est gene-
rado por cualquier raz de x
n
1 diferente de 1.
DEFINICIN 77. Llamaremos dual de G, y escribiremos

G G

, al conjunto
de sus caracteres, ie,

G := : G C

; hom
G
.
2
PROPOSICIN 78.

G es un grupo abeliano con la siguiente operacin: dados ,

G y x G, se dene ( ) (x) := (x) (x).


DEMOSTRACIN. Que este producto es cerrado, conmutativo y asociativo se
sigue de las propiedades de C, luego nos basta ver que tiene elemento neutro e
inverso. En efecto:
1


G; g G,
1
(g) := 1 es su neutro (llamado carcter
trivial o principal) y

G,
1


G; g G,
1
(g) := ( (g))
1
(que est
bien denido pues Im = C

, 0).
LEMA 79. (a lo [C1, 7.4]) Sea H G subgrupo y llamemos i al homomorsmo de
grupos que inyecta H en G. Entonces :

G

H; () := i es un homomorsmo de
grupos epiyectivo y ker =

(
G
/H).
DEMOSTRACIN. El siguiente diagrama justica que est bien denida (i.e.,
que ()

H):
H
()


i
//
G

//
C

Adems, x H, ( ) (x) := ( ) (i (x)) = ( ) (x) := (x) (x)


xH
=
(i (x)) (i (x)) = () (x) () (x), luego es un homomorsmo de grupos.
Queremos ver ahora que

H,

G; () :=
[H
= , i.e., que podemos
extender un homomorsmo de H a G. Si H = G, ya est. Si no, g G H y
1
Notacin personal: hom
G
ssi es un homomorsmo de grupos, donde Ges una g (de grupo)
gtica.
2
Notacin personal: hom
G
(A, B) ssi es un homomorsmo de grupos de A en B. As,

G :=
hom
G
(G, C

).
24
2.1. CARACTERES DE GRUPOS ABELIANOS FINITOS 25
podemos denir H
1
:=
_
g
k
h; k Z, h H
_
subgrupo de G (pues g
k
h
_
g
k
/
h
/
_
1
=
g
kk
/
_
h (h
/
)
1
_
H
1
G) conteniendo estrictamente a H (pues g / H). As,
si logramos extender los homomorsmos de H a H
1
habremos terminado, pues
iterando el proceso llegaremos en ltima instancia a una extensin H
m
= G (pues
G es nito y H
i
G, i).
Para ello, consideremos [g] G/H; # [g] = n (como G es abeliano, H es un
subgrupo normal de G y podemos cocientar) y := (g)
n
. Armo en-
tonces que
_
g
k
h
_
:=
k
(h) es una extensin de a H
1
. En efecto,
[H
=
y
_
g
k
h g
k
/
h
/
_
=
_
g
k+k
/
(hh
/
)
_
=
k+k
/
(hh
/
)
hom
=
k
(h)
k
/
(h
/
) =

_
g
k
h
_

_
g
k
/
h
/
_
, de manera que slo nos falta ver que la denicin dada no de-
pende del representante escogido.
Sean, pues, g
k
h = g
k
/
h
/
g
kk
/
= h
/
h
1
H n[k k
/
k k
/
=
nr
kk
/
= (
n
)
r
:=
_
( (g))
n
_
r
= (g
nr
) =
_
g
kk
/
_
=
_
h
/
h
1
_
=
(h
/
) ( (h))
1

_
g
k
h
_
=
_
g
k
/
h
/
_
.
Veamos nalmente que ker =

(
G
/H): ker :

G;
[H
= 1
([x]) = (xH) = (x) (H) = (x) :

(
G
/H).
PROPOSICIN 80. Dado G abeliano nito de orden n, se cumple:
1. #

G = #G
2. x G,
x
:

G C

;
x
() := (x) es un carcter de

G.
3
Se obtiene as el
siguiente isomorsmo:
: G

G
x
x
:

G C

(x)
DEMOSTRACIN. Sea G abeliano nito de orden n.
1. #

G = #G
Caso 1. G = g (ie, G cclico).
Como g genera G, un carcter

G quedara determinado
por su valor en g, (g) C

, que vimos que es una raz


n-sima de 1, luego como mximo habrn n caracteres dife-
rentes (ie, #

G n).
Por otra parte:
n
,

G; (g) = , pues todas las
races anteriores son diferentes al ser #g = n.
En denitiva,

G
iso.

=
n
#

G = n.
Caso 2. G no cclico. Por induccin sobre n
n = 1 G = e

G =
1
.
n 2.
Sea x G e. Entonces
_
x, x
2
, . . .
_
= x es un sub-
grupo cclico de G que llamaremos H.
Por el lema (y aplicando el 1r teorema de isomorfa sobre
),

G
/

(
G
/H)

=

H #

G = #

(
G
/H)#

H
HI
= # (
G
/H) #H = #G
(podemos aplicar HI porque, al ser H ,= e, se cumple:
#

H, #

(
G
/H) > 1).
3
En particular, se sigue de (1) que #

G = #G.
2.2. CARCTER DE DIRICHLET MODULO m 26
2. Es suciente ver que es inyectiva.
4
En efecto, x Ge ,

G; (x) ,=
1, pues siempre podemos considerar el subgrupo H = x G de orden
m y

H; (x) := e
2i
m
,= 1 y extenderlo a G por el lema.

TEOREMA 81. (Relaciones de ortogonalidad) Sea n = #G. Se tiene:


1.

G
gG
(g) =
_
n, =
1
0, ,=
1
2. g G

G
(g) =
_
n, g = e
0, g ,= e
DEMOSTRACIN. En efecto,
1. Sin restriccin,
5
,=
1
y G; (y) ,= 1. Calculmoslo: (y)
gG
(g) =

gG
(y) (g) =
gG
(yg) =
gG
(g) pues yg recorre todo G con
el orden permutado. As, ( (y) 1)
gG
(g) = 0
gG
(g) = 0,
pues ( (y) 1) ,= 0 por hiptesis.
2. Caso particular de (1) tomando =
g


_

G
_
:

G

g
() =

G
(g)
(1)
=
_
n,
g
=
e
0,
g
,=
e
=
_
n, g = e
0, g ,= e
, pues el elemento neutro de dual es
e
(
_

g

e
_
() =

g
()
e
() = (g) (e) = (g) =
g
()) y vimos que es un isomor-
smo.
6

2.2. Carcter de Dirichlet modulo m


DEFINICIN 82. Sea el grupo multiplicativo G (m) := Z

m
:= x; mcd(x, m) = 1, 1 x < m,
de manera que #G (m) = (m). Llamaremos carcter de Dirichlet modulo m a to-
do carcter

G (m) (que tambin escribiremos ms compactamente como

G (m)


G
m
).
EJEMPLO 83. El smbolo de Legendre
_

p
_
: Z

p
1 es un carcter de
Dirichlet modulo p (si p P 2). Adems,
_

p
_
2
=
1


G (p) y #

G (p) =
(p) = p 1.
OBSERVACIN 84. Sean n, n
/
Z
+
; n
/
[n. Sea tambin : Z
n
Z
n
/ el mor-
smo de anillos (llamado proyeccin) que reduce los elementos de Z
n
a Z
n
/ . En-
tonces:
/


G (n
/
) ,
/


G (n), ie, todo carcter de Dirichlet modulo n
/
de-
ne/induce un carcter de Dirichlet modulo n.
DEFINICIN 85. Diremos que

G (n) es primitivo ssi no es de la forma

/
, con
/


G (n
/
) ; n
/
[n (n
/
,= n). Y en tal caso, diremos que n es el conductor
del carcter (ie, el modulo mnimo de denicin).
OBSERVACIN 86. Sea

G (m). Entonces podemos extenderlo a : Z
C; (a) :=
_
0, (a, m) ,= 1
(a) , (a, m) = 1
.
4
Que
x
es un carcter de

G es obvio, pues
x
( ) = ( ) (x) = (x) (x) =
X
()
X
().
Que es epiyectiva tambin es obvio por construccin.
5
=
1

gG

1
(g) =
gG
1 = #G = n.
6
Alternativa: por analoga con (1).
2.2. CARCTER DE DIRICHLET MODULO m 27
PROPOSICIN 87.
_

p
_


G (p) es el nico carcter de Dirichlet modulo p cuadr-
tico (de ah que lo llamemos EL carcter de Dirichlet modulo p).
DEMOSTRACIN. Sabemos de Aritmtica que Z

p
es cclico,
7
luego su dual

G (p) tambin lo ser. Por otra parte, recordamos que si G es cclico de orden n,
entonces existe un nico subgrupo de orden q para todo q primo divisor de n. As,
como #

G (p) = p 1 y 2[ (p 1) (pues p P 2 es impar), hemos terminado.

PROBLEMA 88. Calcular los caracteres de Dirichlet modulo m para m Z


+

[1, 8].
DEMOSTRACIN. m 1, 2 #

G (m) = (m) = 1

G (m) =
1
.
#

G (3) = #G (3) = (3) = 2. Por lo tanto, G (3) := Z

3
:=
_
1, 2
_
=

2
_
es
cclico de orden dos. Sea

G (3). Se tiene: 1 =
_
1
_
=
_
g
2
_
= (g)
2
, g
G (3) (g)
2
= 1. Calculemos su tabla de Cayley (en este caso no hara
falta por obvio, pero para ordenes mayores nos ser muy til):
8
1 2

1
1 1

2
1 1
Notemos que la primera la y la primera columna sern siempre 1, pues

G, (e) = 1 y g G,
1
(g) = 1. Para justicar que
2
_
2
_
= 1 podemos usar
que
2
_
2
_
1 y
2
_
2
_
,= 1 pues en caso contrario el orden del dual no
sera dos (o tendra un carcter repetido, lo cual sabemos que no puede ocurrir).
Tambin podemos razonar que 2
3
1
2
_
2
_
=
2
_
1
_
= 1.
#

G (4) = #G (4) = (4) = 2. Por lo tanto, G (4) := Z

4
:=
_
1, 3
_
=

3
_
es
cclico de orden dos. Calculemos su tabla de caracteres:
1 3

1
1 1

2
1 1
Ntese que en esta ocasin
2
,=
_

p
_
pues 4 / P y no podemos razonarlo por
la va rpida, aunque los otros dos argumentos siguen siendo validos. Notemos
tambin que
2


G
4
es primitivo y, por ende, su conductor es 4, mientras que

1
m od 4 no es primitivo. Este
2
se acostumbra a denotar por
4
. En denitiva,

G
4
=
1
,
4
=
4
.
#

G (5) = #G (5) = (5) = 4. Por lo tanto, G (5) := Z

5
:=
_
1, 2, 3, 4
_
, que
sabemos que tiene que ser cclico. En efecto: 2
2
= 4, 2
3
= 8
5
3, 2
4
= 16
5
1,
de manera que G
5
=

2
_
(puede verse que 3 tambin es un generador de G
5
). As,

_
2
_

4
= 1, i y
1 2 3 4

1
1 1 1 1

2
1 1

3
1 i

4
1 i
7
De hecho, Z

m
es cclico ssi m 1, 2, 4, p

, 2p

, con 1, p P 2.
8
En efecto, la manera rpida de verlo es argumentar que
1


G,

G y que p P 2 ,
_

p
_

G
p
, de manera que
_

1
,
_

3
__
=
_

3
__


G
3
. Y como ambos tienen la misma dimensin, se tiene la
igualdad.
2.2. CARCTER DE DIRICHLET MODULO m 28
donde la eleccin
2
_
2
_
= 1,
3
_
2
_
= i,
4
_
2
_
= i es arbitraria (dentro de
la restriccin
i
_
2
_

4
y
1
carcter principal).
9
Usando ahora que G
5
=

2
_
,
ie, que 4 = 2
2
y 3 = 2
3
, podemos completar la tabla gracias a que
i
son todos
morsmos de grupos (ejemplo:
4
_
3
_
=
4
_
2
3
_
=
4
_
2
_
3
= (i)
3
= (i) =
i). El resultado es el siguiente:
1 2 3 4

1
1 1 1 1

2
1 1 1 1

3
1 i i 1

4
1 i i 1
A modo de comprobacin, podemos ver que las relaciones de ortogonali-
dad se cumplen (que, por otra parte, tambin podramos usar, llegado el caso,
para completar la tabla):

G
5
(2) = 0 (ie, la segunda columna suma cero),

G
5
(1) = #G
5
, etc.
#

G (6) = #G (6) = (6) = (2) (3) = 2 y G (6) := Z

6
:=
_
1, 5
_
=

5
_
es
cclico de orden dos, luego su tabla de caracteres es:
1 5

1
1 1

2
1 1
#

G (7) = #G (7) = (7) = 7 1 = 6 y G (7) := Z

7
:=
_
1, 2, 3, 4, 5, 6
_
, que
sabemos que tiene que ser cclico. En efecto: 3
2
= 9
7
2, 3
3
= 6, 3
4
= 18
7
4, 3
5
= 12
7
5, 3
6
= 15
7
1, de manera que G (7) =

3
_
. As,
_
3
_

6
=
_
,
2
,
3
,
4
,
5
,
6
= 1
_
(con = e
2i
6
), i.e.,
1 2 3 4 5 6

1
1 1 1 1 1 1

2
1

3
1
2

4
1
3

5
1
4

6
1
5
Usando ahora que G
7
=

3
_
, ie, que 2 = 3
2
, 4 = 3
4
, 5 = 3
5
, 6 = 3
3
, pode-
mos completar la tabla gracias a que
i
son todos morsmos de grupos (ejemplo:

2
_
2
_
=
2
_
3
2
_
=
2
_
3
_
2
=
2
,
3
_
2
_
=
3
_
3
2
_
=
3
_
3
_
2
=
_

2
_
2
=
4
, etc.).
El resultado es el siguiente:
1 2 3 4 5 6

1
1 1 1 1 1 1

2
1
2

4

3
1
4

2
_

4
_
2
=
2

4
1

4
1
6
= 1
3
_

4
_
3
= 1
3

5
1
8
=
2

4
_

4
_
4
=
4

2
1

6
1
10
=
4

2

3
#

G (8) = #G (8) =
_
2
3
_
= 2
3
2
2
= 4 y G (8) := Z

8
:=
_
1, 3, 5, 7
_
=
_
1, 3,
_

= C
2
C
2
, pues todos son de orden dos (cf. Wikipedia), de manera que
9
Notemos, eso s, que con las elecciones hechas nos quedar
2
=
_

5
_
.
2.2. CARCTER DE DIRICHLET MODULO m 29
(g)
2
= 1 si g ,= 1. Notemos tambin que 3 5
8
7, 5 7
8
3, 7 3
8
5.
10
As,
1 3 5 7

1
1 1 1 1

2
1 1 1 1

3
1 1 1 1

4
1 1 1 1
donde
1
es el trivial,
2
:=
4
,
3
:=
/
8
,
4
:=
//
8
. Observemos ademas que:
Z

//

donde es la proyeccin cannica que mira los elementos de Z

8
modulo 4 (ie,
(1) = 1, (3) = 3, (5) = 1, (7) = 3).
11
As, concibiendo
4
como
4
,
usualmente obviaremos el acento checo.
DEFINICIN 89. Diremos que un carcter de Dirichlet modulo m es real ssi
Im 1.
PROBLEMA 90. Dar los caracteres reales primitivos modulo p
r
, con p P
2.
NOTA. Lo que veremos es que
_

p
_
es el nico carcter real primitivo de Z

p
(ie, para r = 1), y que si r > 1, no existen.
DEMOSTRACIN. Sea : Z

p
r 1 un carcter real modulo p
r
genrico.
Sabemos que Z

p
r es cclico, luego g Z

p
r ; Z

p
r = g.
12
As, quedara comple-
tamente determinado una vez jado su valor por g, que por hiptesis slo puede
ser 1 (en cuyo caso es
1
) o 1 (que se corresponde con
_

p
_
si r = 1). Veamos el
caso r > 1 (en el que no ser primitivo).
Tenemos que : Z

p
r Z

p
la proyeccin cannica es un epimorsmo y,
de hecho, (g) es un generador de Z

p
(pues x Z

p
, s; x = (g
s
)), luego
#g = #Z
p
= (p) = p 1. Qv:
_
g
p
_
= 1, ie, que g no es un cuadrado modulo
p. Supongamos lo contrario y lleguemos a contradiccin. Si g
p
x
2
g
p1
2

p
_
x
2
_
p1
2
= x
p1
PTF

p
1, lo que contradice #g = p 1, qed.
PROBLEMA 91. Dar los caracteres reales primitivos de Z

2
r
DEMOSTRACIN. Si r 1, 2, 3 ya lo hemos estudiado en 88: Z

2
= 1
=
1
, Z

4
= 3

G
4
=
1
,
4
y

G
8
=
_

1
,
4
,
/
8
,
//
8
_
. Veamos ahora que
todos los dems caracteres reales de Z

2
r vienen de estos y que por tanto no hay
ms primitivos. Es decir, sea
10
Es decir, determinadas dos columnas, queda determinada la tercera (la cuarta, 1, es trivial), luego
nos basta hacer todas las posibles combinaciones de 1 1 para estas dos (digamos 3 y 5).
11
Habitualmente se obviara la notacin de clase a.
12
De hecho, existen ( (p)) = (p 1) generadores de Z

p
.
2.3. CARACTERES DE KRONECKER 30
Z

2
r

//

1
Z

/
<<
y veamos que
/


G
8
, r 4. Notemos primero de todo que ker = x Z

2
r ; x
8
1
y que, por el teorema de isomorfa,
Z

2
r/ker

= Z

8
, de manera que el diagrama es
conmutativo. Veamos, pues, que n ker (n) = 1.
OBSERVACIN. Es suciente probar que n
2
r b
2
, pues en tal caso (n) =

_
b
2
_
hom
= ( (b))
2
1
= 1.
Supongamos que n a
2
m od 2
l1
, con l 4. Entonces
_
a +2
l2
b
_
2
Nw
=
a
2
+ 2
2(l2)
b
2
+ 2
l1
ab
2
l a
2
+ 2
l1
ab, pues 2l 4 l en tanto que l 4.
13
Adems, a
2

8
1 y a = 2k +1.
14
As,
_
a +2
l2
b
_
2

2
l a
2
+2
l1
b (2k +1) = a
2
+
2
l
bk + 2
l1
b
2
l a
2
+ 2
l1
b. Observemos ahora que n a
2
m od 2
l1
: k
Z; n a
2
= 2
l1
k
na
2
2
l1
Z. Por lo tanto, tomando b =
na
2
2
l1
en la expresin
anterior, nos queda:
_
a +2
l2 na
2
2
l1
_
2

2
l a
2
+ 2
l1 na
2
2
l1
= a
2
+ n a
2
= n, qed
(por induccin).
NOTA 92. Existen caracteres reales primitivos modulo m ssi m = 2

p
1
. . . p
s
,
con 0 3.
2.3. Caracteres de Kronecker
DEFINICIN 93. D Z es un discriminante fundamental ssi (D) ,= 0 y:
15
D
4
1.
D
4
0 pero
D
4

4
2.
D
4
0 pero
D
4

4
3.
DEFINICIN 94. (Carcter de Kronecker) Dado D discriminante fundamental,
se dene
D
como:
p P 2 ,
D
(p) :=
_
D
p
_
y
D
(2) :=
_

_
0, D
4
0
1, D
8
1
1, D
8
5
NOTACIN. El carcter de Kronecker de D = 1 es el carcter trivial
1
.
NOTA. (Motivaciones histricas) En el Disquisitiones arithmeticae de Gauss se
dedica un capitulo completo al estudio de las formas cuadrticas binarias (fcb en
adelante),
16
ie, de los polinomios homogneos
17
de grado dos en dos variables,
13
Ms explcitamente, 2
2(l2)
b
2
0 m od 2
l
: k Z; 2
2l4
b
2
= 2
l
k k Z; 2
l4
b
2
= k. As,
como l 4 0 por hip., se tiene que 2
l4
b
2
Z.
14
n ker n
8
1 n = 8k + 1. Por otra parte, n a
2
m od 2
l1
n a
2
= 2
l1
r.
Juntndolo todo: a
2
= n 2
l1
r = 8k +1 2
l1
r = 8
_
k 2
l4
r
_
+1 a
2

8
1 (pues l 4). Notamos
que en particular a es impar (recordatorio: a
2
par ssi a par).
15
Recordatorio: (D) ,= 0 ssi D est libre de cuadrados.
16
Forma cuadrtica es sinnimo de forma bilineal simtrica, cf. GL.
17
Aquellos en los que cada monomio tiene el mismo grado. Ejemplo: x
5
+2x
3
y
2
+9xy
4
.
2.3. CARACTERES DE KRONECKER 31
f (x, y) = ax
2
+ bxy + cy
2
genricamente. A =
_
a
b
2
b
2
c
_
es la matriz asociada
a f . D = b
2
4ac es el discriminante asociado a f , y es un invariante. Recproca-
mente, si D
4
1 D
4
0, entonces D es el discriminante de alguna fcb.
Una cuestin clsica en esta teora es el problema de la representacin. Dada
f una fcb, se dene n Z
+
, r (n, f ) := # (n
1
, n
2
) Z
+
Z
+
; f (n
1
, n
2
) = n,
ie, r es el numero de representaciones diferentes de n por f . Ejemplo: dada la fcb
g (x, y) = x
2
+y
2
, se tiene r (5, g) = 1, pues 5 = 2
2
+1
2
y no hay otra combinacin
posible.
18
Determinar el valor de r (n, f ) para una fcb cualquiera es un problema abier-
to que se aborda mediante discriminantes y promedios. Ms concretamente, se
establecen unas clases de equivalencia [ f
1
] , . . . , [ f
h
] conocidas como gneros espi-
noriales
19
y se llega a: r (n, D) :=
h
i=1
r (n, f
i
) =
m[n

D
(m), donde r (n, D) es
un promedio de r (n, f ) y la segunda igualdad no es para nada trivial.
OBSERVACIN 95.
D
es un carcter de Dirichlet real de conductor [D[ (vis-
to como Dirichlet, no tiene invertibles). Adems, es multiplicativa, ie,
D
1
D
2
=

D
1

D
2
si mcd(D
1
, D
2
) = 1.
PROBLEMA 96. (Reciproco) Todo carcter de Dirichlet real primitivo es un ca-
rcter de Kronecker.
DEMOSTRACIN. Por 92, es un carcter real primitivo modulo m ssi m =
2

p
1
. . . p
s
, con 0 3. Por otra parte, es producto de
_

p
_
,
4
,
/
8
,
//
8
. Luego
nos basta ver que cada uno de ellos es de Kronecker:
1.
_

p
_
. Sea p
/
:= (1)
p1
2
p =
_
p, p
4
1
p, p
4
3
, que es un discriminante fun-
damental y,
20
por ende, dene un carcter de Kronecker:
a) Caso q P2:
p
/ (q) =
_
p
/
q
_
=
_
(1)
p1
2 p
q
_
= (1)
p1
2
q1
2
_
p
q
_
=
_
q
p
_
por la ley de reciprocidad cuadrtica, luego
p
/ =
_

p
_
.
b) Caso q = 2: usando
p
/ (2) =
_
1, p
/

8
1
1, p
/

8
5
y 190 (hay que distinguir
dos casos en las dos igualdades y ver que coinciden).
2.
4
. Sea q P 2. Entonces
4
(q) =
_
1, q
4
1
1, q
4
3
. Por otra parte,
D = 4 es un discriminante fundamental, pues D
4
0 pero
D
4
= 1
4
3. Por lo tanto,
4
es un caracter de Kronecker y
4
(q) =
_
4
q
_
=
_
1, q
4
1
1, q
4
3
=
4
(q). En cuanto al caso q = 2, es trivial, pues
4
(2) = 0
y
4
(2) = 0, cf. 86.
3. Anlogamente, se puede ver que
/
8
=
8
y
//
8
=
8
.

18
En este caso se ve por exhaucin: 5 > 1
2
+1
2
, 5 = 1
2
+2
2
, 5 < 1
2
+3
2
, 5 < 2
2
+2
2
.
19
Ms explcitamente, f g P SL
2
(Z) ; B = P
t
AP, donde A es la matriz asociada a f y B la
de g (o sea, son equivalentes si existe un cambio de base que pase de una a otra).
20
Notar que p
4
3
4
1 p
4
1.
2.3. CARACTERES DE KRONECKER 32
PROBLEMA 97. La ecuacin diofntica y
2
= x
3
+ k (que est relacionada con
las curvas elpticas) no tiene solucin si k = (4n 1)
3
4m
2
, con m, n Z tq
p[m p
4
1 si p P 2.
DEMOSTRACIN. (Por absurdo) Supongamos que (x, y) Z
2
es solucin de
y
2
= x
3
+ k. Si lo miramos en Z
4
, tenemos que k
4
1 y, por ende, y
2

4
x
3
1.
Distingamos casos:
x = 2k y
2

4
1 !!!
x
4
1 y
2

4
2
4
2 !!!
x
4
1
Estudiemos este ltimo caso con ms detalle. Sabemos que y
2
= x
3
+ a
3
4m
2
,
con a = 4n 1
4
1. As, y
2
+ 4m
2
= x
3
+ a
3
= (x + a)
_
x
2
ax + a
2
_
, con
_
x
2
ax + a
2
_

4
(1 +1 +1) = 3
4
1, luego existe al menos un factor primo
de
_
x
2
ax + a
2
_
que es p
4
1, ie, p P 2 ; (p
4
1)
_
p[y
2
+4m
2
_
.
As, y
2
+ 4m
2

p
0 y
2

p
4m
2
, lo que contradice
_
4m
2
p
_
=
_
1
p
_
p
4
1
=
1.
PROBLEMA 98. Calcular r (p, D), con D = 15, para unos cuantos primos
impares p, usando que r (n, D) =
1m[n

D
(m).
21
DEMOSTRACIN. En este caso, h (D) = 2 y los representantes de las dos clases
son f
1
(x, y) := x
2
+ xy +4y
2
y f
2
(x, y) := 2x
2
+ xy +2y
2
(informacin tabulada).
As,
1. p = 3. r (3, 15) =
15
(1) +
15
(3) = 1 +
_
15
3
_
= 1. Veamos a que
clase pertenece (por el cuento de la vieja): tomando (x, y) = (1, 1) en f
2
se tiene: 2 1
2
+1 (1) +2 (1)
2
= 2 1 +2 = 3. Luego como sabemos
que slo hay una representacin (pues r (3, 15) = 1), necesariamente
r (3, f
1
) = 0 y r (3, f
2
) = 1 (la dada).
2. p = 7. r (7, 15) = 1 +
_
15
7
_
, con
_
15
7
_
=
_
3
7
_ _
5
7
_
=
_
4
7
_
_
5
7
_
=
_
5
7
_
=
_
7
5
_
(1)
51
2
71
2
=
_
2
5
_
= 1. En denitiva, r (7, 15) = 0.
3. p = 11. r (11, 15) = 1 +
_
15
11
_
, con
_
15
11
_
=
_
1
11
_
_
3
11
_ _
5
11
_
= (1)
_
11
3
_
(1)
_
11
5
_
=
_
2
3
_
= 1. En denitiva, r (13, 15) = 0.
4. r (13, 15) = 0.
5. r (17, 15) = 1 +
_
15
17
_
= 1 +
_
2
17
_
= 1 +1 = 2. Busquemoslas: f
2
(1, 3) =
2 3 + 2 9 = 17. La otra representacin es f
2
(1, 3).
22
En denitiva,
r (17, f
1
) = 0 y r (17, f
2
) = 2.
6. r (2, 15) = 1 +
15
(2) = 2 pues 15
8
1 y
15
(2) = 1. Por tanto,
r (2, f
1
) = 0 y r (2, f
2
) = 2.

21
Notar que si n = p P 2, se tiene: r (p, D) =
D
(1) +
D
(p) = 1 +
_
D
p
_
.
22
Consideraremos que (1, 3) es una representacin diferente a (1, 3), pero igual a (3, 1).
Captulo 3
Series de Dirichlet
Idea. Para demostrar el teorema de Dirichlet imitaremos la demostracin de
Euler de la existencia de innitos primos, que consista en ver que
pP
1
p
diverge.
Ms concretamente, y de manera informal, lo que veremos es que
p
m
a,(a,m)=1
1
p
diverge o, ms formalmente, que
pP
(p)
p
diverge, con carcter de Dirichlet
modulo m. Para ello, estudiaremos primero las series del tipo L (, s) :=
n1
(n)
n
s
,
que son un caso particular de serie de Dirichlet, por lo que nos tomaremos la mo-
lestia de trabajar en un primer momento sobre el caso general para luego particu-
larizarlo al caso que nos interesa.
3.1. Series de Dirichlet generales
DEFINICIN 99. Sea
n

n
R
0
;
n
. Una serie de Dirichlet con ex-
ponentes (
n
) es una serie de la forma

n=1
a
n
e

n
z
, con a
n
, z C.
EJEMPLO 100.
1.
n
= ln n

n=1
a
n
n
z
series de Dirichlet ordinarias.
1
2.
n
= n

n=1
a
n
e
nz
=

n=1
a
n
t
n
series de potencias en t = e
z
.
LEMA 101. (de Abel) Sean a
n

n
, b
n

n
C. Pongamos A
m,k
:=
k
n=m
a
n
y
S
m,m
/ :=
m
/
n=m
a
n
b
n
. Entonces: S
m,m
/ =
m
/
1
n=m
A
m,n
(b
n
b
n+1
) + A
m,m
/ b
m
/ .
DEMOSTRACIN. Basta observar que a
n
= A
m,n
A
m,n1
S
m,m
/ =
m
/
n=m
(A
m,n

A
m,n1
)b
n
=
m
/
1
n=m
A
m,n
b
n
+ A
m,m
/ b
m
/
m
/
1
n=m1
A
m,n
b
n+1
=
m
/
1
n=m
A
m,n
(b
n
b
n+1
)
A
m,m1
b
m
+ A
m,m
/ b
m
/ , con A
m,m1
:=
m1
n=m
a
n
= 0.
LEMA 102. Sean , R
>0
; < . Sea z = x + iy, con x, y R y x > 0.
Entonces

e
z
e
z

z
x

_
e
x
e
x
_
.
DEMOSTRACIN. e
z
e
z
= z

e
tz
dt

e
z
e
z

= [z[

e
tz
dt


[z[

e
tz

dt, con

e
tz

e
t(x+iy)

e
tx

e
ity

e
tx

= e
tx
.
2
Por tanto,

e
z
e
z

[z[

e
tx
dt =
[z[
x
_
e
x
e
x
_
.
PROPOSICIN 103. Sea f (z) =
n
a
n
e

n
z
una serie de Dirichlet genrica. Se
tiene: si f (z
0
) es convergente, entonces f (z) converge uniformemente en todo dominio de
la forma Re (z z
0
) 0 y [Arg (z z
0
)[ <

2
, cf. dibujo.
3
DEMOSTRACIN. Sin restriccin (por traslacin), podemos suponer z
0
= 0
el origen de coordenadas. As, f (z
0
) =
n
a
n
, que es convergente por hip., de
1
Estas son las que deni originalmente Dirichlet, y de ah que se gaste por tradicin usualmente
la letra s en lugar de la z.
2
Recordatorio/aclaracin: en C, [[ representa la norma eucldea.
3
Es decir, queremos ver que si f (z
0
) es convergente y z es tq Re (z z
0
) 0 y [Arg (z z
0
)[
<

2
, entonces f (z) tambin es convergente.
33
3.1. SERIES DE DIRICHLET GENERALES 34
manera que > 0, N > 0; m, m
/
N,

A
m,m
/

. Aplicando ahora el le-


ma de Abel con b
n
= e

n
z
, nos queda: S
m,m
/ =
m
/
1
n=m
A
m,n
_
e

n
z
e

n+1
z
_
+
A
m,m
/ e

m
/ z

S
m,m
/


m
/
1
n=m
[A
m,n
[

n
z
e

n+1
z

A
m,m
/

m
/ z

, donde
[A
m,n
[ por convergencia,

n
z
e

n+1
z


[z[
x
_
e

n
x
e

n+1
x
_
por el le-
ma anterior (con x := Re z) y

m
/ z

= e
Re(
m
/ z)
= e

m
/ Re z
1 si Re z
0.
4
Por lo tanto, > 0, m, m
/
N,

S
m,m
/


m
/
1
n=m

[z[
x
_
e

n
x
e

n+1
x
_
+
= +
[z[
x

m
/
1
n=m
_
e

n
x
e

n+1
x
_
= +
[z[
x
_
e

m
x
e

m
/ x
_
serie telescpi-
ca, donde 0

n

<
_
e

m
x
e

m
/ x
_
< 1 si m, m
/
son sucientemente grandes (pues
lm
m
e

m
x
= 0). En denitiva,

S
m,m
/

< +
[z[
x
=
_
1 +
[z[
x
_
(1 + k).
5

COROLARIO 104. Si f (z) =


n
a
n
e

n
z
serie de Dirichlet es convergente en z =
z
0
, entonces f (z) es convergente z; Re z > Re z
0
y la funcin que dene es holomorfa.
DEMOSTRACIN. Que es holomorfa se sigue de Cauchy.
6
El resto es inmedia-
to de 103.
LEMA 105. (Recordatorio) Sea U
C
y f
n

n
1(U) ; f
n
/
f . Entonces
f 1(U) y f
/
n
/
f
/
.
7
DEMOSTRACIN. Resultado estndar que se deriva de la Formula de Cauchy.
No lo hacemos.
OBSERVACIN. Tomando f
n
(z) :=
n
k=1
a
k
e

k
z
, tenemos por 103 que f
n
/
f
(de manera que el lema aplica), pues los dominios all denidos siempre contiene
al compacto.
COROLARIO 106. (Denicin) El dominio de convergencia de cualquier serie de
Dirichlet f (z) contiene un semiplano abierto maximal, que llamaremos semiplano de
convergencia (de f ). Ms explictamente, sea T = z
0
C; f (z
0
) converge. Enton-
ces = nf Re z
0
; z
0
T se llama abscisa de convergencia y z C; Re z > es el
semiplano de convergencia, cf. dibujo.
COROLARIO 107. La aplicacin que enva f (z) f (z
0
) (ie, que enva z z
0
) es
uniformemente convergente en el dominio Re (z z
0
) 0 y [Arg (z z
0
)[ <

2
.
DEMOSTRACIN. En el susodicho dominio tenemos convergencia uniforme
por 103 y e

n
z
zz
0
e

n
z
0
.
COROLARIO 108. f 0 n, a
n
= 0.
DEMOSTRACIN. [] Trivial.
4
Notar que Re z = Re (z z
0
) 0 por hip.
5
Notar que cos (Arg z) =
x
[z[
(cf. dibujo arquetipico) y por ende
[z[
x
=
1
cos(Arg z)
, y que, por hip.,
[Arg z[ = [Arg (z z
0
)[ <

2
cos (Arg z) , cos (0, 1] y cos (Arg z) cos . En resumen,
k :=
1
cos

1
cos(Arg z)
=
[z[
x
contante.
6
SOS Se reere a la formula integral de Cauchy? De que manera?
7
Aclaracin: esto se lee sea U C un abierto y sea f
n

n
una sucesin de funciones holomorfas en
U que convergen uniformemente sobre compactos (ie, en cada [o para todo] compacto de U) a una fun-
cin f . Entonces, f es holomorfa en U y las derivadas f
/
n
de las f
n
tambin convergen uniformemente
en todos los compactos a f
/
la derivada de f .
Nota: En Anlisis Complejo I no se ha visto convergencia uniforme sobre compactos.
3.3. SERIES DE DIRICHLET ORDINARIAS 35
[] Multiplicando por e

1
z
en f (z) =

n=1
a
n
e

n
z
nos queda: e

1
z
f (z) =
a
1
+

n=2
a
n
e

n
z+
1
z
= a
1
+

n=2
a
n
e
(
1

n
)z
. As, haciendo tender z 0, obte-
nemos que a
1
= 0. Repitiendo este mismo argumento con e

i
z
, i, hemos termina-
do.
EJEMPLO 109. Sea
n1
a
n
n
s
una serie de Dirichlet ordinaria, con s C. Si con-
sideramos a
n

n
= 1
n
(ie, la sucesin constantemente igual a 1), nos queda
(s) :=
n1
1
n
s
la funcin dseta de Riemann.
EJERCICIO 110. Calcular de y semiplano
3.2. Series de Dirichlet positivas
PROPOSICIN 111. Sea f (z) =

n=1
a
n
e

n
z
una serie de Dirichlet positiva (ie,
con coecientes a
n
R
0
). Supongamos que f es convergente para Re z > , con R,
8
y que f se puede extender analticamente a una funcin holomorfa en un entorno del punto
z = . Entonces > 0; Re z > + , f (z) converge.
DEMOSTRACIN. Cambiando z por z , podemos suponer sin restriccin
que est en el origen (ie, = 0). As, tenemos que f es holomorfa en Re z > 0
y tambin en un entorno de 0, luego f es holomorfa en un disco [z 1[ 1 +
(ie, con z B
1+
(1)). Aplicando ahora 105 (que nos permite derivar), tenemos:
Re z > 0, f
(k)
(z) =
n1
a
n
(
n
)
k
e

n
z
= (1)
k

n1
a
n

k
n
e

n
z
f
(k)
(1) =
(1)
k

n1
a
n

k
n
e

n
(que es convergente por 105), cuya serie de Tayor (que ser
convergente por 105) es f (z) =
k0
f
(k)
(1)
k!
(z 1)
k
en [z 1[ 1 + . Adems,
por la prolongacin analtica hecha, tiene sentido f () =
k0
1
k!
( 1)
k
f
(k)
(1) =

k0
1
k!
(1)
k
( +1)
k
(1)
k

n1
a
n

k
n
e

n
=
k0
1
k!
( +1)
k

n1
a
n

k
n
e

n
=

k,n
1
k!
( +1)
k
a
n

k
n
e

n
, que es convergente y, de hecho, absolutamente conver-
gente, pues todos sus trminos son positivos (en el caso de a
n
, por hiptesis). As,
f () =
n1
a
n
e

n
_

k0
((+1)
n
)
k
k!
_
=
n1
a
n
e

n
e

n
(1+)
=
n1
a
n
e

3.3. Series de Dirichlet ordinarias


Como ya se coment, son aquellas que se obtienen tomando
n
= ln n, ie, las
de la forma f (s) =
n1
a
n
n
s
, con s C.
PROPOSICIN 112. Si los a
n
estn acotados (ie, si k; n, a
n
< k), entonces f (s)
converge absolutamente en Re s > 1.
DEMOSTRACIN.

n
a
n
n
s


n
[a
n
[
[n
s
[
H

n
k
[n
s
[
= k
n
1
n
Re s
, y sabemos que la
serie armnica
n
1
n

converge si > 1, luego hemos terminado.


PROPOSICIN 113. Si las sumas parciales A
m,r
=
r
n=m
a
n
estn acotadas (por k),
entonces la serie
n1
a
n
n
s
es convergente para Re s > 0.
DEMOSTRACIN. Tomando b
n
=
1
n
s
en el lema de Abel, nos queda:

S
m,m
/

m
/
1
n=m
A
m,n
_
1
n
s

1
(n+1)
s
_
+ A
m,m
/
1
m
/s

H

m
/
1
n=m
k

1
n
s

1
(n+1)
s

+k

1
m
/s

= k
_

m
/
1
n=m

1
n
s

1
(n+1)
s

1
m
/s

_
,
donde [n
s
[ =

e
s ln n

= e
x ln n
= n
x
(con x := Re s) y
1
n
x

1
(n+1)
x
> 0
1
n
x
>
8
O sea, mayor o igual a la abscisa de convergencia de f .
3.4. PRODUCTO DE EULER 36
1
(n+1)
x
(n +1)
x
> n
x
(que es cierto si x > 0).
9
Por tanto, sumando la serie
telescpica, nos queda:

S
m,m
/


k
m
x
m
0 pues x > 0 por hip.
3.4. Producto de Euler
LEMA 114. Consideremos una serie de Dirichlet ordinaria g (s) =
n1
f (n)
n
s
, con f
aritmtica multiplicativa acotada. Entonces g (s) converge absolutamente para Re s > 1
(por 112) y es igual al producto innito convergente (llamado producto de Euler)
pP
(

m=0
f (p
m
) p
ms
),
10
y en tal caso decimos que la serie g (s) tiene producto de Euler.
DEMOSTRACIN. Sea S = p
1
, . . . , p
r
un conjunto nito de primos y sea
N (S) el conjunto de naturales
11
tq sus factores primos son de S.
12
Qv:
nN(S)
f (n)
n
s
=

pS
_

m=0
f (p
m
)
p
ms
_
. Por el TFA,
13
n
s
=
_

r
i=1
p

i
i
_
s
=
r
i=1
p

i
s
i
y f (n) = f
_

r
i=1
p

i
i
_
f M
=

r
i=1
f
_
p

i
i
_
. Sustituyendo, hemos terminado.
OBSERVACIN. Si f fuera adems completamente multiplicativa, tendramos
entonces que

m=0
f (p
m
)
p
ms
=

m=0
f (p)
m
p
ms
=

m=0
_
f (p)
p
s
_
m
=
1
1f (p)p
s
serie geo-
metrica.
COROLARIO. (Tomando f = u) (s) converge absolutamente para Re s > 1 y,
adems, tiene producto de Euler
pP
1
1
1
p
s
en Re s > 1.
PROPOSICIN 115. Se cumple:
1. La funcin (s) es holomorfa y no nula en el semiplano Re s > 1.
2. (s) =
1
s1
+ (s), con (s) holomorfa para Re s > 0.
DEMOSTRACIN. (1) es trivial,
14
veamos (2).
1
s1
=

1
t
s
dt =

n=1

n+1
n
t
s
dt
1
s1

n=1

n+1
n
t
s
dt = 0. As, (s) +
0 =

n=1
1
n
s
+
_
1
s1

n=1

n+1
n
t
s
dt
_
=
1
s1
+

n=1
_
1
n
s

n+1
n
t
s
dt
_
=
1
s1
+

n=1
_

n+1
n
(n
s
t
s
) dt
_
.
Pongamos
n
(s) :=

n+1
n
(n
s
t
s
) dt, que est bien denida y es holomor-
fa. Qv: (s) =
n1

n
(s), ie, que es convergente (y que, adems, es holomorfa
para Re s > 0). Para ello, nos basta probar que
n
(s) converge en norma para
todos los subconjuntos compactos de Re s > 0.
Notemos que [
n
(s)[ sup
ntn+1
[n
s
t
s
[.
15
Consideremos F : [n, n +1]
C

= R
2
; F (t) := n
s
t
s
. Se tiene: [F (t)[
F(n)=0
= [F (t) F (n)[
TVM
[F
/
()[ (t n)
tn1

[F
/
()[ sup
n<n+1
[F
/
()[, con [n, t] , t [n, n +1], donde F
/
(t) =
s
t
s+1

9
Con todo ello tenemos que
m
/
1
n=m

1
n
x

1
(n+1)
x

1
m
/s

=
m
/
1
n=m
_
1
n
x

1
(n+1)
x
_
+
1
m
/x
=
_
1
m
x

1
m
/x
_
+
1
m
/x
=
1
m
x
, pero nosotros lo que queremos calcular es
m
/
1
n=m

1
n
s

1
(n+1)
s

SOS
10
Notar que f
_
p
0
_
p
0s
= f (1) 1 = 1 pues f es multiplicativa (no idnticamente nula, se sobreen-
tiende, cf. 22).
11
En adelante convendr que N := Z
+
:= Z
1
(debera haberlo convenido desde principio de
curso, pero ya es un poco tarde para ello).
12
Notar que si S ,= , entonces #N (S) = #N, pues p S i N, p
i
N (S).
13
TF=Teorema Fundamental. En esta ocasin la A hace referencia a Aritmtica, pero tambin utilizo
las mismas siglas TFA para el TF del lgebra, ya que no suele haber peligro de confusin.
14
Que es holomorfa se sigue de 104 y el corolario anterior. Que es no nula se sigue 108.
15
Por denicin, [
n
[ es el rea debajo de la curva n
s
t
s
entre n y n + 1, que tiene base 1 pues
va de n a n +1 (pues estamos integrando de n a n +1) y altura menor o igual a sup
ntn+1
[n
s
t
s
[.
3.5. NMEROS DE BERNOULLI 37
[F
/
()[ =
[s[
[
s+1
[
=
[s[

Re s+1
>n
<
[s[
n
Re s+1
(pues Re s > 0 por hiptesis) y, en particular,
sup
n<n+1
[F
/
()[ =
[s[
n
Re s+1
. En denitiva, [
n
(s)[ sup
ntn+1
[n
s
t
s
[ =
sup
ntn+1
[F (t)[ sup
n<n+1
[F
/
()[ =
[s[
n
Re s+1
.
COROLARIO 116. tiene un polo simple en s = 1.
COROLARIO 117. Cuando s 1, se cumple:
1.
pP
1
p
s
ln
1
s1
2.
pP,k2
1
kp
ks
est acotado.
DEMOSTRACIN. Ejercicio
3.5. Nmeros de Bernoulli
DEFINICIN 118.
x
e
x
1
=
x

k0
x
k
k!
1
=
x

k1
x
k
k!
=
1

k1
x
k1
k!
=
1

k0
x
k
(k+1)!
=
1
x
2
+
x
2
12
+ 0x
3

x
4
720
+ :=

k=0
B
k
k!
x
k
, donde B
k
es el k-simo nmero de
Bernoulli.
EJEMPLO.
B
0
0!
= 1 B
0
= 1,
B
1
1!
=
1
2
B
1
=
1
2
,
B
2
2!
=
1
12
B
2
=
1
6
,
B
3
= 0, B
4
=
4!
6!
=
1
30
.
PROBLEMA 119. B
k
= 0 para todo k 3 impar.
DEMOSTRACIN. Observemos que
x
e
x
1
=
xe
x
e
x
1
.
16
Por tanto,
x
e
x
1

_
x
e
x
1
_
=
x
e
x
1

xe
x
e
x
1
=
x(1e
x
)
e
x
1
= x. As, x =
k0
B
k
k!
x
k

k0
B
k
k!
(x)
k
=
k0
B
k
k!
_
1 (1)
k
_
x
k
=

k0 par
2B
k
k!
x
k
.
17
Luego B
k
= 0 para todo k 3 impar. SOS
EJERCICIO. Dar una tabla con los 50 primeros nmeros de Bernoulli, ie, calcu-
lar B
k
con k = 2m para m 1, . . . , 50.
NOTA 120. Sea como en 115. Entonces (s) =
1
2
+
s
12

s(s+1)(s+2)
720
+
s(s+1)(s+2)(s+3)(s+4)
30240

+
B
n
n!

n2
i=0
(s + i), con s 0, 1, 2, . . . , n +1.
DEMOSTRACIN. (Idea) Usando la representacin integral de : (s) =
1
(s)

0
t
s1
e
t
1
dt
si Re s > 1, donde es la funcin gamma de Euler: (s) =

0
t
s1
e
t
dt si
Re s > 1. Problema: se basa en las propiedades de . No la hacemos.
PROBLEMA 121.
n
r=0
(
n
r
)B
r
= (1)
n
B
n
DEMOSTRACIN.
n0
_

n
r=0
(
n
r
)B
r
_
x
n
n!
=
n0
_

n
r=0
1
r!(nr)!
B
r
x
n
_
. Ponien-
do ahora nr = k y n = r +k, nos queda:
n0
_

n
r=0
1
r!(nr)!
B
r
x
n
_
=
r0

k0
1
r!k!
B
r
x
r+k
=
_

r0
B
r
r!
x
r
_ _

k0
1
k!
x
k
_
118
=
x
e
x
1
e
x
=
x
e
x
1
=
n0
(1)
n
B
n
x
n
n!
, cf. demostracin
de 119. En denitiva,
n0
_

n
r=0
(
n
r
)B
r
_
x
n
n!
=
n0
(1)
n
B
n
x
n
n!
, luego
n
r=0
(
n
r
)B
r
=
(1)
n
B
n
.
16 x
e
x
1
=
xe
x
e
x
1
e
x
1 =
xe
x
(e
x
1)
x
= e
x
(e
x
1) = 1 + e
x
.
17
Idea (como los cangrejos). Sea f (x) :=
k0
B
k
k!
x
k
y notemos que f (x) tiene una expresin
notablemente similar a f (x) gracias a que (x)
k
= (1)
k
x
k
, de manera que en la resta f (x) f (x)
se cancelaran muchos trminos (la mitad).
Por otra parte, sabemos que f = g, con g (x) :=
x
e
x
1
. As, g (x) g (x) = f (x) f (x). Pa-
ra calcular g (x) g (x) reexpresamos g (x) para que tenga denominador e
x
1, ie, resolvemos
x
e
x
1
=
y
e
x
1
y =
x(e
x
1)
e
x
1
, donde
(e
x
1)
e
x
1
= e
x
.
3.5. NMEROS DE BERNOULLI 38
PROBLEMA 122. Se cumple:
1. (0) =
1
2
2. n N, (2n) = 0
3. n N, (1 2n) =
B
2n
2n
DEMOSTRACIN. (Va 115 y 120) Sabemos que (s) =
1
s1
+
1
2
+
n
j=2
_
B
j
j!

j2
i=0
(s + i)
_
si s 0, 1, 2, . . . , n +1, luego:
1. (0) =
1
1
+
1
2
+0 + +0 =
1
2
2. (k) =
1
k1
+
1
2
+
n
j=2
_
B
j
j!

j2
i=0
(k + i)
_
=
1
k+1
+
1
2
+
k+1
j=2
_
(1)
j1
B
j
j!
k!
(k+1j)!
_
,
pues
j2
i=0
(k + i) contiene j 1 cambios de signo (pues todos y cada
uno de los j 1 trminos son negativos) y la parte del sumatorio que no
hacemos es cero (pues
j2
i=0
(k + i) = 0 si j k +2, . . . , n). As, como
1
j!
(k+1)k!
(k+1j)!
= (
k+1
j
), tenemos: (k) =
1
k+1
+
1
2
+
k+1
j=1
_
(1)
j1
B
j
1
k+1
(
k+1
j
)
_
=

1
k+1

k+1
j=0
B
j
(
k+1
j
)
121
=
1
k+1
(1)
k+1
B
k+1
. Por lo tanto,
a) Si k = 2n, nos queda (2n) =
1
2n+1
(1)
2n+1
B
2n+1
= 0 si n 1 (por
119).
b) Si k = 1 2n, nos queda: (1 2n) =
1
2n
B
2n
.

NOTA. Acabamos de ver que los enteros negativos pares son ceros de . A es-
tos ceros de se los conoce como ceros triviales de . La hiptesis de Riemann con-
jetura que todos los ceros no triviales de (s) se encuentra sobre la recta Re s =
1
2
.
Se sabe que todos los ceros no triviales tienen parte real comprendida estrictamen-
te entre 0 y 1 (banda critica), y Hardy demostr que existen innitos ceros en la
recta Re s =
1
2
.
PROBLEMA 123. n 1, (2n) =
(1)
n1
2
2n1
B
2n
(2n)!

2n
.
NOTA. Usaremos el siguiente resultado estndar de anlisis complejo: z cot z =
1 +2

n=1
z
2
z
2
n
2

2
.
DEMOSTRACIN. Tomando x = 2iz en 118, nos queda:
2iz
e
2iz
1
=
e
iz
e
iz

2iz
e
2iz
1
= ze
iz 2i
e
iz
e
iz
= z (cos z i sin z)
1
sin z
= z cot z zi =
zi +1 +2

n=1
z
2
z
2
n
2

k=0
B
k
k!
(2iz)
k
119
= B
0
+B
1
2iz +

k=1
B
2k
(2k)!
(2iz)
2k
= 1 +
1
2
2iz +

k=1
(1)
k
B
2k
2
2k
(2k)!
z
2k
.
Por tanto, cancelando 1 y zi a banda y banda,

k=1
(1)
k 2
2k
B
2k
(2k)!
z
2k
= 2

n=1
z
2
z
2
n
2

2
,
donde
z
2
z
2
n
2

2
=
z
2
n
2

2
+n
2

2
z
2
n
2

2
= 1 +
n
2

2
z
2
n
2

2
= 1
1
1
z
2
n
2

2
geometrica
= 1

k=0
z
2k
n
2k

2k
=

k=1
z
2k
n
2k

2k
. En denitiva,

k=1
(1)
k 2
2k
B
2k
(2k)!
z
2k
= 2

n=1

k=1
z
2k

2k

1
n
2k
= 2

k=1
z
2k

2k

n=1
1
n
2k
=
2

k=1
z
2k

2k
(2k).
EJEMPLO. (2) =

2
6
y (4) =

4
90
, que fueron calculados por primera vez
por Euler (quien intuyo la formula general) en un concurso contra Leibniz (o, ms
exactos, Suiza contra Alemania). (6) =

6
945
.
EJERCICIO. Calcular (2n) para n Z [1, 50].
3.6. SERIES L 39
3.6. Series L
DEFINICIN 124. Serie L de

G
m
: L (s, ) :=
n1
(n)
n
s
.
OBSERVACIN 125.
1
(n) =
_
1, (n, m) = 1
0, (n, m) > 1
L (s,
1
) = F (s) (s), con
(s) =
pP
1
1p
s
y F (s) =
p[m
(1 p
s
), que es un producto nito y por ende
holomorfo etc., por lo que se extiende analticamente a Re s > 0 y tiene un polo
simple en s = 1.
PROPOSICIN 126. Si ,=
1
, la serie L (s, ) converge en el semiplano Re s > 0 y
converge absolutamente en el semiplano Re s > 1, donde adems tiene producto de Euler,
ie, L (s, ) =
pP
1
1
(p)
p
s
para Re s > 1.
DEMOSTRACIN. Lo que se reere a Re s > 1 ya lo sabemos por 114, pues
L (s, ) =
n1
(n)
n
s
es una serie de Dirichlet ordinaria con

G
m
funcin arit-
mtica completamente multiplicativa acotada por m. En cuanto a la convergencia
en Re s > 0, nos basta ver que A
u,v
:=
v
n=u
(n) est acotada por 113. En efecto,

u+m1
n=u
(n) = 0 por las relaciones de ortogonalidad (pues ,=
1
y estamos
sumando un sistema completo de representantes), luego v u < m [A
u,v
[

v
n=u
[ (n)[ #

G
m
= (m)
NOTA. Si ,=
1
, entonces L (1, ) ,= 0 (y es obviamente nito)
Existen muchas demostraciones diferentes de este resultado, que es uno de
los puntos claves de la demostracin del teorema de Dirichlet en progresiones
aritmticas. Esbocemos ahora una basada en la teora de las fcb: recordamos que
para calcular r (n, f ) se establecan unas clases de equivalencia [ f
1
] , . . . , [ f
h
], don-
de h = h (D) es el nmero de fcb equivalentes de discriminante D (que es un
invariante de f ).
Para calcular h (D), que dijimos que eran valores tabulados, se utilizan bsica-
mente dos mtodos: el calculo explicito a lo Gauss va diferentes algoritmos, o me-
diante la formula analtica de Dirichlet de nmero de clases: h (D) = kL (1,
D
),
donde k es una constante conocida y
D
es un carcter de Kronecker asociado
al discriminante fundamental de D. As, como h (D) 1 siempre, se tiene que
L (1,
D
) ,= 0, de manera que L (1, ) ,= 0 si es un carcter de Dirichlet modulo
m , real y primitivo por 96.
Ms an, tambin ser no nulo si no es primitivo, pues en tal caso
Z

//

m
/

>>
con m
/
[m y real primitivo (caso anterior), de manera que = y L (1, ) ,= 0
(pues estamos en el caso anterior) y, en particular, L (1, ) ,= 0.
Faltara ver nalmente, pues, que L (1, ) ,= 0 si es un carcter de Dirichlet
modulo m no real, ie, para los ; ,= :
TEOREMA 127.

G
m

1
, L (1, ) ,= 0.
DEMOSTRACIN. Sea F (s) :=
m od m
L (s, ), que es holomorfa (y, en par-
ticular, continua) en un entorno de s = 1. Entonces, va el teorema de derivacin de
Weierstrass (o, alternativamente, usando no s qu): lm
s1
+ F (s) = lm
sR
>1
;s1
+ F (s),
3.7. TEOREMA DE DIRICHLET 40
donde ln F (s) =

p
ln (1 (p) p
s
)
1 126
=

r=1
1
r
(p)
r
p
rs
=

r=1

p
1
rp
rs

G
m
(p
r
),
donde

G
m
(p
r
) =
_
(m) , p
r

m
1
0, p
r
,
m
1
por las relaciones de ortogonalidad. En
denitiva, ln F (s) = (m)

r=1

pP;p
r

m
1
1
rp
rs
, con
pP;p
r

m
1
1
rp
rs
acotado por
117.2, de manera que s R
>0
, ln F (s) 0, por lo que lm
sR
>1
;s1
+ F (s) 1 ,=
0.
Problema: F (s) = L (s,
1
)
,=
1
L (s, ) podra tener un polo simple en s =
1. Veamos que no es as por absurdo, ie, supongamos que ,= ; L (1, ) = 0.
Entonces L (s, ) =
n1
(n)
n
s
=
n1
(n)
n
s
= L (s, ) pues la conjugacin comple-
ja es un morsmo. Por tanto, como van por parejas, esto signica que L (1, ) = 0,
lo que contradice lm
sR
>1
;s1
+ F (s) 1 ,= 0, luego esto no puede ocurrir, ie,
= L (1, ) ,= 0.
Veamos ahora una demostracin de que L (1, ) ,= 0 en tres pasos sin usar
teora de fbc.
EJERCICIO 128. Sea

G
m
real y A(n) :=
d[n
(d). Entonces: A(n) es una
funcin aritmetica multiplicativa, A(n) 0, n Z
+
y A(n) 1 si n es un
cuadrado.
DEMOSTRACIN. -
EJERCICIO 129. Sean f , g aritmticas y F (x) =
nx
f (n) , G (x) =
nx
g (n) , H (x) =

nx
( f g) (n). Se tiene: a, b R
0
; ab = x
(q,d);qdx
f (d) g (q) =
na
f (n) G
_
x
n
_
+

nb
g (n) F
_
x
n
_
F (a) G (b).
OBSERVACIN 130. Usar que H (x) =
nx

d[n
f (d) g
_
n
d
_
=
(q,d);qdx
f (d) g (q).
EJERCICIO 131. Dado

G
m

1
real, sea A(n) =
d[n
(d) , B (x) =

nx
A(n)

n
. Entonces:
1. B (x)
x

2. x 1, B (x) = 2

xL (1, ) +O(1)
NOTA. Se sigue de estos tres ejercicios que L (1, ) ,= 0.
3.7. Teorema de Dirichlet
DEFINICIN 132. A P tiene densidad natural
Nat
(A) ssi lm
M
#A
M
#P
M
,
y en tal caso
Nat
(A) := lm
M
#A
M
#P
M
.
DEFINICIN 133. A P tiene densidad de Dirichlet (A) ssi lm
s1

pA
1
p
s
ln
1
s1
,
y en tal caso (A) := lm
s1

pA
1
p
s
ln
1
s1
.
OBSERVACIN.
Nat
(A) (A) y, en tal caso, coinciden.
NOTA. lm
s1
ln
1
s1
= , luego si (A) > 0, entonces #A = .
TEOREMA 134. (de Dirichlet) Dados a, N Z; mcd(a, N) = 1, sea P
a
:= p P; p a m od N.
Entonces P
a
tiene densidad de Dirichlet (P
a
) =
1
(N)
> 0. En particular, P
a
es un
conjunto innito y los primos se encuentran equirepartidos en las clases a m od N, con
(a, N) = 1.
3.7. TEOREMA DE DIRICHLET 41
LEMA 135. Dado

G
N
, sea f

(s) =
pN
(p)
p
s
, que es convergente en Re s > 1
en tanto que parcial de una serie L. Se cumple:
1. =
1
f

1
(s)
s1
ln
1
s1
.
2. ,=
1
f

est acotada cuando s 1.


DEMOSTRACIN. 1)
pP
1
p
s
=
p[N
1
p
s
+
pN
1
p
s
=
p[N
1
p
s
+ f

1
(s). As,
como
pP
1
p
s

s1
ln
1
s1
por 117.1, hemos terminado (pues jado N, # p[N <
).
2) L (s, ) =
n1
(n)
n
s
=
pP
1
1
(p)
p
s
ln L (s, ) =
pP
ln
1
1
(p)
p
s

(p)
p
s

<1
=
geometrica

p,r
(p)
r
rp
rs
=
pP
(p)
p
s
+
p,r2
(p)
r
rp
rs
, donde este ltimo sumando est acotado
(pongamos por k) por 117.2 cuando s 1 y
pP
(p)
p
s

G
N
= 0 +
pN
(p)
p
s
= f

(s).
As, haciendo s 1, nos queda: ln L (1, ) = lm
s1
f

(s) + k, donde L (1, ) ,=


0 por la subseccin anterior (pues ,=
1
), de manera que ln L (1, ) est bien
denido. En denitiva, f

est acotada cuando s 1, pues obviamente L (1, )


est acotado.
DEMOSTRACIN. (Dirichlet)

G
N
(a)
1
f

(s) =

G
N

_
a
1
_

pN
(p)
p
s
=

G
N

pN
(a
1
p)
p
s
=
pN
1
p
s

G
N

_
a
1
p
_
pues #
_


G
N
_
< , donde

G
N

_
a
1
p
_
=
_
(N) , a p m od N p P
a
0, a , p m od N p / P
a
por las relaciones de orto-
gonalidad. Por tanto,

G
N
(a)
1
f

(s) = (N)
pN;pP
a
1
p
s
= (N)
pP
a
1
p
s
pues p N p P
a
(ie, p N P
a
= P
a
). Sea ahora g
a
(s) :=
pP
a
1
p
s
.
18
Hemos visto que: g
a
(s) =
1
(N)

G
N
(a)
1
f

(s) =
1
(N)

1
(a)
1
f

1
(s) +
1
(N)

G
N

(a)
1
f

(s), donde
1.
1
(a)
1
f

1
(s) := f

1
(s)
s1
ln
1
s1
por el lema 1.
2. Por el lema 2,

G
N

1
, k

N; [ f

(s)[ < k

cuando s 1, lue-
go k N;
1
(N)

G
N

[ (a)[
1
[ f

(s)[
1
(N)
k cuando s 1, ie,
g
a
(s)
s1
1
(N)
f

1
(s) (pues acabamos de ver que el resto de la sumatoria
est acotado). As, usando ahora 1, nos queda que g
a
(s)
s1
1
(N)
ln
1
s1
,
ie, (P
a
) =
1
(N)
.

NOTA. Con esto damos n a la teora multiplicativa basada en el TFA que nos
reduce el estudio de Na P. En el siguiente tema introduciremos la teora aditiva.
18
En realidad g
a
se dene a priori inspirados por la denicin de densidad de Dirichlet y luego se
hace cuadrar todo.
Captulo 4
Particiones
4.1. Introduccin
DEFINICIN 136. Fijado A = a
1
, a
2
, a
3
, . . . Z
+
, llamaremos particin
de n relativa a A a cualquier representacin de n como suma de elementos (que
llamaremos partes, y que no sern necesariamente diferentes) de A (y cuyo orden
es irrelevante).
NOTA. Si A = Z
+
, llamaremos funcin particin (no restrictiva) a p (n) la
cantidad de particiones de n.
EJEMPLO. p (4) = # particiones de 4 = 5, pues 4 = 3 + 1 = 2 + 1 + 1 =
1 +1 +1 +1 = 2 +2 (notar que tambin contamos la representacin formada por
una sola parte).
p (5) = 7 pues 5 = 4 +1 = 3 +1 +1 = 3 +2 = 2 +1 +1 = 1 +1 +1 +1 +1 =
2 +2 +1.
Por convenio,
1
p (0) = 1.
Hay bsicamente dos maneras de estudiar particiones: va grafos (ms intuiti-
vos pero menos potentes) o mediante funciones generadoras.
En efecto, notemos que toda particin puede representarse geomtricamente
como un grafo a base de escribir tantos nodos
2
por la (y tantas las como partes)
como valor tiene esa parte.
EJEMPLO 137.



representa la particin 6 +3 +3 +2 +1 de n = 15.


OBSERVACIN 138. (Denicin) La cantidad de nodos de un grafo G no va-
ra segn si los contamos por las o por columnas. En otras palabras, si en lugar
de pensar G por las lo pensamos por columnas (o, equivalentemente, lo voltea-
mos), obtendremos entonces una nueva particin de n, que llamaremos particin
conjugada (de la dada). As, e.g., la particin conjugada del ejemplo anterior es:
5 +4 +3 +1 +1 +1.
Se sigue de esta observacin que: la parte ms grande de una particin coin-
cide con el nmero de partes de su particin conjugada. Ms an: el nmero de
particiones de n en m partes coincide con el nmero de particiones de n en partes
tq la parte ms grande sea m.
3
1
Notar que 0 / Z
+
= A.
2
Representados por asteriscos, puntos, estrellas, unos, o lo que sea.
3
En otras palabras, una particin de m las leda horizontalmente representa una particin en m
partes y, leda verticalmente, una particin cuya parte ms grande vale m.
42
4.1. INTRODUCCIN 43
Veamos ahora un ejemplo del otro tipo de herramientas que vamos a utilizar
en este tema: las funciones generadoras.
4
TEOREMA 139. (Euler) [x[ < 1,

m=1
1
1x
m
=

n=0
p (n) x
n
.
DEMOSTRACIN. (Formal, a la Euler, sin preocuparnos por las cuestiones de
convergencia, slo para dar la idea)

m=1
1
1x
m
geom
=

m=1
_

i=0
(x
m
)
i
_
=

m=1
_

i=0
x
im
_
.
Tomemos ahora un termino genrico de la primera serie (ie, de la serie dada por
el primer factor del productorio

m=1
, ie, de

i=0
x
im
con m = 1), x
k
1
, un ter-
mino genrico de la segunda, x
2k
2
, etc.
5
y multipliqumoslos:
t
i=1
x
ik
i
= x
k
con
k =
t
i=1
ik
i
=
t
i=1
(i + . . .
..
k
i
+i), de manera que x
k
aparecer (en la suma que
se obtiene al hacer todos estos posibles productos) p (k) veces (una por cada par-
ticin
t
i=1
(i + . . .
..
k
i
+i), con, insistimos, k
i
posiblemente 0), y as k, obteniendo
que

m=1
1
1x
m
=

n=0
p (n) x
n
.
6

Problema: Aunque esto hace el resultado intuitivo, carece completamente de


rigor en tanto que estamos multiplicando innitas series con demasiada laxitud.
Veamos, pues, como podemos renar este argumento truncandolo:
DEMOSTRACIN. Sea x [0, 1), F
m
(x) :=
m
k=1
1
1x
k
, de manera que lm
m
F
m
(x) =
F (x), que converge absolutamente (y, en particular, F
m
) para x [0, 1) pues su in-
versa
k1
_
1 x
k
_
converge (ya que es producto de trminos menores que 1)
y las series

i=0
x
ik
son absolutamente convergentes (en tanto que geomtricas,

i=0
x
ik
=
1
1x
k
), de modo que podemos multiplicarlas entre s (en
m
k=1
) reorde-
nando sus trminos a voluntad, obteniendo (razonando como en la demostracin
a la Euler) que F
m
(x) =

k=0
p
m
(k) x
k
, donde p
m
(k) es el nmero de particiones
de k en partes menores o iguales a m (pues jado m, tenemos que: k =
m
i=1
ik
i
,
ie, p
m
(k) cuenta el nmero de soluciones de la ecuacin k =
m
i=1
ik
i
). Notemos
ahora que:
F
m

m
pues x [0, 1), F
m+1
(x) =
1
1x
m+1
F
m
(x) F
m
(x).
p
m
(k) p (k), y se da la igualdad si m k,
7
de modo que lm
m
p
m
(x) =
p (k).
Por tanto, F
m
(x) =

k=0
p
m
(k) x
k
=
m
k=0
p (k) x
k
+

k=m+1
p
m
(k) x
k

k=0
p (k) x
k

F (x),
8
luego F
m
(x) converge uniformemente en m, de modo que F (x) = lm
m
F
m
(x) =
lm
m

k=0
p
m
(k) x
k
=

k=0
lm
m
p
m
(k) x
k
=

k=0
p (k) x
k
y, por prolongacin
analtica, se extiende el resultado de x [0, 1) al disco [x[ < 1.
4
Recordatorio. Llamaremos funcin generadora de f a la suma de la serie cuyo coeciente gene-
ral es f (n), ie, a F (x) =
n
f (n) x
n
.
5
El exponente 2 de x
2k
2
se corresponde al m de x
im
, de manera que x
2k
2
es un termino genrico de
la serie

i=0
x
im
para m = 2. Lo tomamos as para tener k
2
0 arbitrario.
6
La particin 10 = 3 + 2 + 2 + 2 + 1 contribuye en 1 al coeciente de x
10
= x
3
x
2+2+2
x
1
, que se
correspondera al caso (k
3
, k
2
, k
1
) = (1, 3, 1).
7
Dado n, su particin con ms partes es: n = 1 +
(n
. . . +1.
8
La ltima desigualdad se deduce de que m,
m
k=0
p (k) x
k
F
m
(x)
FmF
F (x)

k=0
p (k) x
k

F (x).
4.2. NMEROS PENTAGONALES 44
OBSERVACIN 140. Razonando anlogamente podemos ver que

m=1
1
1x
2m1
es la funcin generadora del nmero de particiones de n en partes impares (A =
2n 1
n1
) and go on:
9
Funcin generadora [del] nmero de particiones de n en partes que son

m=1
1
1x
m
arbitrarias

m=1
1
1x
2m1
impares

m=1
1
1x
2m
pares

m=1
1
1x
m
2
cuadradas

pP
1
1x
p
primos
etc. etc.

m=1
(1 + x
m
) diferentes

m=1
_
1 + x
2m1
_
diferentes e impares

m=1
_
1 + x
2m
_
diferentes y pares

m=1
_
1 + x
m
2
_
diferentes y cuadradas

pP
(1 + x
p
) diferentes y primos
etc. etc.
OBSERVACIN.

m=1
(1 + x
m
) =

m=1
1x
2m
1x
m
=

m=1
1
1x
2m1
,
10
ergo el n-
mero de particiones de n en partes que son diferentes coincide con el nmero de
particiones de n en partes que son impares.
4.2. Nmeros pentagonales
DEFINICIN 141. (Nmeros pentagonales)
11
(n) =
3n
2
n
2
(n) =
3n
2
+ n
2
TEOREMA 142. (de los nmeros pentagonales, Euler)
m1
(1 x
m
) = 1 x
x
2
+x
5
+x
7
x
12
x
15
+ = 1 +

n=1
(1)
n
_
x
(n)
+ x
(n)
_
=

n=
(1)
n
x
(n)
.
NOTA. Existen muchas demostraciones diferentes de este resultado, e.g.:
1. Euler, 1750, por induccin.
2. Legendre, 1830.
3. Jacobi, 1846
4. Franklin, 1881.
9
Ms explcitamente, cuando hiciramos los productos (a la Euler) en
_
1 + x + x
2
+ . . .
_ _
1 + x
3
+ x
6
+ . . .
_ _
1 + x
5
+ x
10
+ . . .
_
. . . obtendramos trminos de la forma
x
k
1
x
3k
3
. . . x
(2m1)k
2m1
=
i
x
(2i1)k
(2i1)
= x
k
con k =
i
(2i 1) k
(2i1)
=
_
1 +
(k
1
. . . +1
_
+
_
3 +
(k
3
. . . +3
_
+ . . . con k
j
0 (ie, particiones formadas por k
1
unos, k
3
treses, etc.)
En cuanto a que

m=1
(1 + x
m
) es la funcin generadora del nmero de particiones de n en partes
que son diferentes, baste notar que

m=1
(1 x
m
) = 1 +
n
(p
e
(n) p
o
(n)) x
n
pues es la inversa de

m=1
1
1x
m
= 1 +
n1
p (n) x
n
, con p
e
(n) el nmero de particiones de n en un nmero par de partes
diferentes (e de even, par) y p
o
(n) el nmero de particiones de n en un nmero impar de partes
diferentes (o de odd, impar). Por lo tanto,

m=1
(1 + x
m
) = 1 +
n
(p
e
(n) + p
o
(n)) x
n
, qed.
10 1x
2m
1x
m
= 1 + x
m
por Rufni. Por otra parte,

m=1
1x
2m
1x
m
=

m=1
1x
2m
1x
2m

1
1x
2m+1
, ie,

m=1
1x
2m
1x
m
=

1x
2
1x

1x
4

1x
2

1x
6
1x
3

1x
8
1x
4
. . .
11
Los nmeros pentagonales clsicos se corresponden con las sumas parciales (de los trminos)
de la progresin aritmtica 1, 4, 7, 10, 13, . . . , 3n + 1, ie, (n) =
n
k=0
(3k +1) =
3n
2
n
2
es el n-simo
nmero pentagonal, con n Z
+
. Su nombre y signicado es ya conocido de historia, cf. Wikipedia.
Ahora daremos una extensin para todo Z.
4.2. NMEROS PENTAGONALES 45
Veamos ahora esta ltima, que es de carcter combinatorio (va grafos):
DEMOSTRACIN. Sea G el grafo asociado a una particin de n en partes dife-
rentes.
DEFINICIN. Diremos que G est en su forma estndar ssi las partes se colo-
can de manera decreciente (de hecho, y por ser sus partes diferente, ser estricta-
mente decreciente). Llamaremos base de G al nmero de nodos de la ltima la
(que denotaremos por b) y rampa/pendiente/gradiente/slope de G al nmero de
nodos formados por la diagonal (de 45) que baja desde el ltimo nodo de la pri-
mera la.
EJEMPLO. Sea G
n
el grafo estndar asociado a n = 7 +6 +5 +4 +2. Entonces
s = 4 y b = 2.





OBSERVACIN. Por construccin, b 1, s 1 siempre.
DEFINICIN. (Operacin A) Poner los puntos de la base en paralelo al pen-
diente.
EJEMPLO. Si aplicamos A al grafo anterior, se obtiene:




DEFINICIN. (Operacin B) Poner los puntos de la pendiente bajo la base.
EJEMPLO. Si aplicamos B al grafo anterior recuperamos G
n
, y aplicando nue-
vamente B se obtiene:






OBSERVACIN. (Denicin) Dado G en forma estndar, A G y B G pueden
no estar en forma estndar. As pues, diremos que una operacin O A, B se
puede hacer ssi respeta la forma estndar del grafo, ie, ssi el grafo resultante de
aplicar la operacin es nuevamente estndar (y, se sobreentiende, se corresponde
a una particin en partes diferentes).
Notemos ademas que, en tal caso, aplicar A a G nos da una nueva parti-
cin con una parte menos que la original y, anlogamente, aplicar B a G nos da
una nueva particin con una parte ms que la original, de modo que si para ca-
da particin de n una y slo una de las dos operaciones es permisible, entonces
p
e
(n) = p
o
(n).
12
12
Notacin alternativa. Dado n Z
+
, llamaremos n
i
a una particin particular de n, con i Z
+
p(n)
,
y G
n
i
a su grafo asociado. Ejemplo: dado n = 4, se tiene que n
1
= 4, n
2
= 3 + 1, n
3
= 2 + 1 + 1, n
4
=
1 + 1 + 1 + 1, n
5
= 2 + 2 son todas sus particiones. Sea c el conjunto de los grafos estndar. Se tiene:
i Z
+
p(n)
, !O A, B ; O G
n
i
c p
e
(n) p
o
(n).
4.2. NMEROS PENTAGONALES 46
[Plan] As, como

m=1
(1 x
m
) = 1 +
n
(p
e
(n) p
o
(n)) x
n
, si vemos que
p
e
(n) = p
o
(n) n no es pentagonal, tendremos que

m=1
(1 x
m
) = 1 +

n
(p
e
((n)) p
o
((n))) x
(n)
y slo nos faltara ver que p
e
((n)) p
o
((n)) =
(1)
n
.
Notemos ahora que:
1. b < s b s 1 A es permisible pero B no.
2. b = s A es permisible salvo en el caso en el que haya interseccin entre
la base y la rampa, mientras que B nunca es permisible (pues cuando no
hay interseccin, se obtiene un grafo decreciente, pero no estrictamente
decreciente, ie, no es una particin en partes diferentes).
Observemos tambin que tener interseccin equivale a que s = k (ie, a
que no haya escalones), con k el nmero de las de G (grafo asociado a
una particin de n en su forma estndar), y en tal caso (como b = s por
hip.) el nmero de nodos de la primera la es k + (k 1) = 2k 1, cf.
dibujo. Por lo tanto, n =
k1
i=0
(k + i) =
k(k+(k+(k1)))
2
=
3k
2
k
2
= (k).
EJEMPLO. (b = s con y sin interseccin respectivamente)






3. b > s B es permisible salvo en el caso en el que b = s + 1 y, adems,
hay interseccin entre la base y la rampa (ie, s = k), mientras que A nunca
es permisible. As, por analoga con (2), obtenemos que B no es permisible
ssi n = (s +1) + + (s + s) (ie, s +1 nodos en la base [o la 1], s +2 en
la la 2,..., s + s en la la s = k [ie, la ltima]). Es decir, n = (s).
EJEMPLO. (b = s +1 con y sin interseccin respectivamente)






En resumen, una y slo una de las dos operaciones es permisible salvo cuando
n es un nmero pentagonal. Adems, k Z, p
e
((k)) = (1)
k
+ p
o
((k)),
13
qed.
Ms explcitamente an, si c
e
denota el conjunto de los grafos estndar con partes diferentes y pares,
es claro que c
e
es biyectable con el conjunto P
e
(n) de las particiones de n en partes diferentes y pares
(ie, que toda particin de n en partes diferentes y pares tiene asociado un nico grafo estndar), y
anlogamente con c
o
. As, nos basta hallar una biyeccin entre c
e
y c
o
(pues en tal caso P
e
(n) c
e

c
o
P
o
(n) y, en particular, #P
e
(n) = p
e
(n) = p
o
(n) = #P
o
(n)), ie, queremos ver que f ; y
c
o
, !x c
e
; f (x) = y. Notemos ahora que O A, B O(c
e
) = c
o
(pues aplicar A a G nos da
una nueva particin con una parte menos que la original [...]) siempre y cuando O sea una operacin
permisible. As, si demostramos que una y slo una de las dos operaciones es permisible para cada
particin de n (ie, i Z
+
p(n)
, !O A, B ; O G
n
i
c), tendremos que y c
o
, !x c
e
; f (x) = y
con f =
_
A, A es permisible
B, B es permisible
=
_
A, i P
B, i / P
con P el conjunto de ndices i de G
n
i
c
e
donde A es
permisible.
13
Sea k negativo (caso 3) e impar. Entonces sabemos que p
e
((k)) ,= p
o
((k)) y, de hecho,
p
e
((k)) = p
o
((k)) 1, pues la particin con b = s 1 = k 1 no inere una nueva particin
aplicando B (y, por ende, con k +1 las, que es un nmero par). dem con el resto.
4.2. NMEROS PENTAGONALES 47
TEOREMA 143. (formula recurrente para p (n))
14
p (n) =

k=1
(1)
k+1
[p (n (k)) p (n (k))]
DEMOSTRACIN. Ya sabemos que:

m=1
1
1 x
m
=

n=0
p (n) x
n

m1
(1 x
m
) =

n=
(1)
n
x
(n)
As, como son inversas mutuas, multiplicndolas entre s obtenemos que
1 =
_

n=
(1)
n
x
(n)
__

n=0
p (n) x
n
_
e igualando coeciente a coeciente,
0 = p (n) p (n 1) p (n 2) + p (n 5) + p (n 7) + . . .

OBSERVACIN. p (n) crece rpidamente:


n p (n)
1 1
5 7
10 42
30 5604
50 204226
100 190569292
200 3972999029388
Veamos, sin embargo, que tenemos controlado su crecimiento:
TEOREMA 144. Sea n 1. Entonces p (n) e
k

n
, con k =
_
2
3
.
DEMOSTRACIN. x (0, 1) , F (x) :=

n=1
(1 x
n
)
1
= 1 +

k=1
p (k) x
k

p (n) x
n
< F (x) ln p (n) + n ln x < ln F (x) ln p (n) < ln F (x) n ln x =
ln F (x) + n ln
1
x
, donde
1. ln F (x) := ln

n=1
(1 x
n
)
1
=

n=1
ln (1 x
n
)
Taylor
=

n=1

m=1
x
mn
m
=

m=1
1
m

n=1
(x
m
)
n
geom
=

m=1
1
m
x
m
1x
m
. Por otra parte,
1x
m
1x
Rufni
=
m1
i=1
x
i

mx
m1
<
1x
m
1x
< m 1 acotando cada uno de los m trminos de
m1
i=1
por x
m1
y 1 inferior y superiormente respectivamente (pues x (0, 1)).
As, multiplicando ahora por
1x
x
m
en las desigualdades obtenidas, nos que-
da: m
1x
x
<
1x
m
x
m
< m
1x
x
m

1
m
1
1x
>
x
m
1x
m
>
1
m
x
m
1x

1
m
2
1
1x
>
1
m
x
m
1x
m
>
1
m
2
x
m
1x

m
1
m
2
1
1x
> F (x) >
m
1
m
2
x
m
1x
. En resumen, F (x) <

m
1
m
2
1
1x
=
1
1x

m
1
m
2
=
1
1x
(2) =
1
1x

2
6
=

2
6t
con t =
1x
x
> 0.
2.
1
x
= 1 +
1x
x
= 1 + t ln
1
x
= ln (1 + t). Por otra parte, sabemos que
ln (1 + s) < s para toda s en la que est denido ln .
15
Todo junto: ln
1
x
< t.
14
Convenio: p (n) =
_
1, n = 0
0, n < 0
.
15
Recordatorio: f
/
< g
/
TFC
f < g y
1
1+s
< 1
4.3. TRIPLE PRODUCTO DE JACOBI 48
En denitiva, ln p (n) < f (t) :=

2
6t
+ nt, t y, en particular, para el t que minimi-
ce
16
f (t): f
/
(t) = 0

2
6
1
t
2
+ n = 0 n =

2
6
1
t
2

_
_
_
t =
_

2
6n
=

6n
nt =

2
6t
. As,
ln p (n) < f
_

6n
_
= 2n
_

6n
_
=
_
2
3

n p (n) < e
k

n
.
NOTA. La cota se puede mejorar.
4.3. Triple producto de Jacobi
TEOREMA 145. (del triple producto de Jacobi) z C 0 , x C; [x[ < 1, se
cumple:

n1
_
1 x
2n
_ _
1 + x
2n1
z
2
_ _
1 + x
2n1
z
2
_
=

mZ
x
m
2
z
2m
DEMOSTRACIN. Como [x[ < 1, tenemos que

n1
_
1 x
2n
_

n1
_
1 + x
2n1
z
2
_

n1
_
1 + x
2n1
z
2
_

mZ
x
m
2
z
2m
son todos ellos convergentes y, ms an, la convergencia es uniforme sobre los
compactos del C-plano que no contengan z = 0. As, jado z ,= 0, todos ellos
convergen uniformemente para [x[ r < 1 y representan funciones holomorfas
de x en el disco [x[ < 1.
Fijemos, pues, x, y denamos z ,= 0, F (z) :=
n1
_
1 + x
2n1
z
2
_ _
1 + x
2n1
z
2
_
y veamos que F satisface la ecuacin funcional xz
2
F (xz) = F (z). En efecto,
F (xz) =
n1
_
1 + x
2n1
x
2
z
2
_ _
1 + x
2n1
x
2
z
2
_
=
n1
_
1 + x
2n+1
z
2
_ _
1 + x
2n3
z
2
_
=
m2
_
1 + x
2m1
z
2
_

r0
_
1 + x
2r1
z
2
_
y multiplicando ahora por xz
2
=
1+xz
2
1+x
1
z
2
,
17
nos queda:
xz
2
F (xz) =
1+xz
2
1+x
1
z
2

m2
_
1 + x
2m1
z
2
_

r0
_
1 + x
2r1
z
2
_
=
m2
_
1 + xz
2
_ _
1 + x
2m1
z
2
_

r0
1+x
2r1
z
2
1+x
1
z
2
=
n1
_
1 + x
2n1
z
2
_ _
1 + x
2n1
z
2
_
= F (z)
Sea ahora x, G
x
(z) := F (z)
n1
_
1 x
2n
_
, que claramente satisface la ecua-
cin funcional xz
2
G (xz) = G (z) (usando la def. de G y la ec. funcional anterior).
Adems, G (z) es una funcin par en z, que es holomorfa en todo z ,= 0, luego
admite un desarrollo en serie de Laurent: G (z) =
mZ
a
m
z
2m
con a
m
= a
m
, m
(pues G (z) = G
_
z
1
_
[ya que F (z) = F
_
z
1
_
]).
18
As, juntando ambas igualda-
des (la ec. funcional y Laurent), tenemos que: xz
2

mZ
a
m
x
2m
z
2m
=
mZ
a
m
z
2m
,
donde xz
2

mZ
a
m
x
2m
z
2m
=
mZ
a
m
x
2m+1
z
2m+2
=
kZ
a
k1
x
2k1
z
2k
con k =
m + 1. Por lo tanto, m, a
m1
x
2m1
= a
m
(igualando coeciente a coeciente las
dos series de la ec. funcional). As, a
m1
= a
m2
x
2(m1)1
= a
m2
x
2m3
, a
m2
=
a
m3
x
2(m2)1
= a
m3
x
2m5
, etc. y, por iteracin, a
m
= a
m2
x
2m3
x
2m1
= a
m3
x
2m5
x
2m3
x
2m1
=
16
Es decir, la que ajuste mejor la desigualdad.
17
a +1 = a
_
1 + a
1
_
a =
a+1
a
1
+1
18
Notar que a
m
depende de x, ie, a
m
= a
m
(x).
4.3. TRIPLE PRODUCTO DE JACOBI 49
= a
0
x
1+3+5++(2m1)
= a
0
x
m
2
(sumando la serie aritmtica a lo Gauss). En de-
nitiva, G
x
(z)
Laurent
=
mZ
a
m
(x) z
2m
= a
0
(x)
mZ
x
m
2
z
2m
, de donde se sigue
que lm
x0
a
0
(x) = 1.
19
Nos basta ver, pues, que a
0
(x) = 1 (pues G
x
(z) es el
trmino de la izquierda del teorema y
mZ
x
m
2
z
2m
el de la derecha).
Sea z = e
i
4
. Entonces
G
x
(z)
a
0
(x)
=
mZ
x
m
2
_
e
i
4
_
2m
=
mZ
x
m
2
_
e
i
2
_
m
=

mZ
x
m
2
i
m
=
nZ
x
(2n)
2
(1)
n
.
20
Ahora bien, G
x
(z) = a
0
(x)
mZ
x
m
2
z
2m

G
x
4
(i)
a
0(x
4
)
=
mZ
x
4m
2
i
2m
=
mZ
x
(2m)
2
(1)
m
, luego
G
x
_
e
i
4
_
a
0
(x)
=
G
x
4
(i)
a
0(x
4
)
. Veamos
ahora que G
x
_
e
i
4
_
= G
x
4 (i) y, por tanto, a
0
(x) = a
0
_
x
4
_
. En efecto,
G
x
_
e
i
4
_
:=
n1
_
1 x
2n
_
_
1 + x
2n1
_
e
i
4
_
2
__
1 + x
2n1
_
e
i
4
_
2
_
=
n1
_
1 x
2n
_ _
1 + x
2n1
i
_ _
1 + x
2n1
i
1
_
=
n1
_
1 x
2n
_ _
1 + ix
2n1
_ _
1 ix
2n1
_
=
n1
_
1 x
2n
_
_
1
2

_
ix
2n1
_
2
_
=
n1
_
1 x
2n
_ _
1 + x
4n2
_
=
n1
__
1 x
4n
_ _
1 x
4n2
__ _
1 + x
4n2
_
=
n1
_
1 x
4n
_ __
1 x
4n2
_ _
1 + x
4n2
__
=
n1
_
1 x
4n
_
_
1
2

_
x
4n2
_
2
_
=
n1
_
1 x
4n
_ _
1 x
8n4
_
=
n1
_
1 x
8n
_ _
1 x
8n4
_ _
1 x
8n4
_
=: G
x
4 (i)
As pues, iterando a
0
(x) = a
0
_
x
4
_
, obtenemos que: a
0
_
x
4
_
= a
0
_
_
x
4
_
4
_
=
a
0
_
x
16
_
, a
0
_
x
16
_
= a
0
_
x
164
_
, etc., de modo que a
0
_
x
4
k
_
= a
0
(x) , k. Por tanto,
como lm
k
x
4
k
= 0 en tanto que x (0, 1) y lm
x0
a
0
(x) = 1, tenemos que
lm
k
a
0
_
x
4
k
_
= 1
a
0
_
x
4
k
_
=a
0
(x),k
x, a
0
(x) = 1.
COROLARIO 146. (Teorema de los nmeros pentagonales) [x[ < 1 [x[
3
2
=

x
3
2

< 1 y podemos suponer x ,= 0 (pues en otro caso la igualdad es trivial). Por tanto,
podemos cambiar x por x
3
2
y z
2
por x
1
2
, lo que concluye la prueba.
COROLARIO 147. Si [x[ < 1, se cumple:
n1
(1 x
n
)
3
=
mZ
(1)
m
mx
m
2
+m
2
=

m0
(1)
m
(2m +1) x
m
2
+m
2
.
DEMOSTRACIN. Cambiando z
2
por xz en el triple producto de Jacobi nos
queda:

n1
_
1 x
2n
_ _
1 + x
2n1
(xz)
_ _
1 + x
2n1
(xz)
1
_
=

mZ
x
m
2
(xz)
m
19
Desarrollando el trmino de la derecha, tenemos: a
0
(x)
mZ
x
m
2
z
2m
=
a
0
(x)
_
+ x
4
z
4
+ xz
2
+1 + xz
2
+ . . .
_
x0
lm
x0
a
0
(x) 1. Haciendo ahora lo mismo con
el de la izquierda, hemos terminado.
20
Si m es impar, entonces i
m
= i
m
pues i
m
=
_
i
1
_
m
= (i)
m
= (1)
m
i
m
= i
m
en tanto
que m es impar. Por tanto,
mZ
x
m
2
i
m
=
mZ,2[m
x
m
2
i
m
+
mZ,2m
x
m
2
i
m
, con
mZ,2m
x
m
2
i
m
=
0 +
mZ
+
,2m
x
m
2
i
m
+
mZ
+
,2m
x
(m)
2
i
m
=
mZ
+
,2m
x
m
2
i
m
+
mZ
+
,2m
x
m
2
(i
m
) = 0.
4.4. DOS RESULTADOS DE EULER 50
ie,

n1
_
1 x
2n
_ _
1 x
2n
z
_ _
1 x
2n2
z
1
_
=

mZ
x
m
2
+m
(1)
m
z
m
donde

mZ
x
m
2
+m
(1)
m
z
m
=
m0
(1)
m
x
m
2
+m
_
z
m
z
m1
_
y z
m
z
m1
=
z
m
_
1 z
(2m+1)
_
= z
m
_
1 z
1
_
_

2m
i=0
z
i
_
pues
1t
k
1t
Rufni
=
k1
i=0
t
i
(y,
en particular, para t = z
1
y k = 2m +1).

n1
_
1 x
2n2
z
1
_
x
22
=1
=
_
1 z
1
_

n2
_
1 x
2n2
z
1
_
=
_
1 z
1
_

n1
_
1 x
2n
z
1
_
En denitiva, tenemos que:
_
1 z
1
_

n1
_
1 x
2n
_ _
1 x
2n
z
_ _
1 x
2n
z
1
_
=

m0
(1)
m
x
m
2
+m
z
m
_
1 z
1
_
_
2m

i=0
z
i
_
luego cancelando
_
1 z
1
_
a banda y banda y haciendo z = 1 y cambiando x por
x
1
2
, hemos terminado.
4.4. Dos resultados de Euler
PREGUNTA 148. (lema) Qu cuenta la funcin generadora
x
N

m
k=1
(1x
2k
)
?
Idea. Pensarlo primero para x
N
= 1 (cf. 140) y hacer a posteriori la correc-
cin/corrimiento.
Solucin. Cuenta el nmero de particiones de (n N) en partes pares no ma-
yores a 2m, ie, el nmero de particiones de
1
2
(n N) en partes m o, por 138, el
nmero de particiones de
1
2
(n N) en, a lo sumo, m partes.
TEOREMA 149. (Euler)
k1
_
1 + x
2k1
_
= 1 +
j1
x
j
2

j
k=1
(1x
2k
)
.
DEMOSTRACIN. Ya sabemos (por 140) que
k1
_
1 + x
2k1
_
cuenta/genera
particiones en partes impares y diferentes. Por tanto, como todas las partes de cada
particin sern impares, siempre podremos representarlas mediante un grafo en
angulo. Es decir,
EJEMPLO. Sea n = 15, que tiene cuatro representaciones con partes impares
y diferentes: 15, 11 +3 +1, 9 +5 +1, 7 +5 +3. Entonces el grafo G asociado a la
particin 11 +3 +1 es:

4.4. DOS RESULTADOS DE EULER 51


que, representado en ngulo, queda:


con 11 nodos en forma de estrella, 3 nodos en forma de punto y 1 en forma de cua-


drado, ie, 11+3+1. Como siempre, el nuevo grafo obtenido (que llamaremos A, de
angulo) puede pensarse por las (6+3+3+1+1+1) o por columnas (6+3+3+1+1+1).
OBSERVACIN. (Denicin) Notemos que esta coincidencia es un hecho ge-
neral, ie, por construccin, todo grafo en forma de angulo es autoconjugado (ie,
la particin que se obtiene de pensarlo por las coincide con la inferida por co-
lumnas). Por lo tanto, tenemos que hay una correspondencia biunvoca entre los
grafos autoconjugados y los grafos en forma de angulo.
[Plan] As, como
k1
_
1 + x
2k1
_
cuenta las particiones en partes impares y
diferentes (ie, en forma de angulo), nos basta ver que 1 +
j1
x
j
2

j
k=1
(1x
2k
)
cuenta
las particiones autoconjugadas, donde ya sabemos (por 148) que
x
j
2

j
k=1
(1x
2k
)
cuen-
ta el nmero de particiones de
1
2
_
n j
2
_
en, a lo sumo, j partes.
Notemos ahora que podemos leer el grafo A de una cuarta manera, a saber: la
parte formada por los puntos contenidos en el cuadrado ms grande posible y las
dos colas simtricas que queden fuera de l. Es decir,
EJEMPLO. Continuando con el grafo A del ejemplo anterior,
21


donde
1
2
_
n m
2
_
cuenta el nmero de estrellas, pues n es el nmero total de no-
dos y m
2
el nmero de nodos cuadrados, de modo que n m
2
cuenta el nmero
21
La particin considerada puede dar lugar a confusin; las susodichas colas pueden no estar
formadas por una nica hilera, e.g., 13 +7 +3 pensado en angulo, ie,




4.5. IDENTIDADES DE RAMANUJAN 52


de nodos de las dos colas (estrellas y asteriscos), que contienen respectivamente el
mismo nmero de nodos por la simetra de la construccin (ie, por ser autoconju-
gados).
OBSERVACIN. Cada una de las dos colas nos da una particin
22
de
1
2
_
n m
2
_
en un mximo de m partes, pues en caso contrario no estaramos considerando el
cuadrado ms grande posible. Es decir, dado un grafo autoconjugado, ste nos
determina una particin de
1
2
_
n m
2
_
en un mximo de m partes.
Recprocamente, dado n y m
2
n,
23
tenemos determinado un conjunto / =
/(n, m) de particiones de n autoconjugadas de la forma antes descrita (ie, forma-
da por el cuadrado m
2
y dos colas simtricas). As, si contamos todas las parti-
ciones de
1
2
_
n m
2
_
en un mximo de m partes determinadas por los grafos de
/(n, m), obtendremos
x
m
2

m
k=1
(1x
2k
)
y, haciendo esto para cada m, obtenemos que
1 +
j1
x
j
2

j
k=1
(1x
2k
)
cuenta todos los grafos autoconjugados de n (ie, /(n)), qed.

COROLARIO. El nmero de particiones de n Z


+
en partes impares diferentes
coincide con el nmero de particiones autoconjugadas.
TEOREMA 150. (Euler) a,
k1
_
1 + ax
2k1
_
=
m0
x
m
2
a
m

m
k=1
(1x
2k
)
.
DEMOSTRACIN. Sea K (a) := K (a, x) :=
k1
_
1 + ax
2k1
_
=
n0
c
n
a
n
,
con c
n
= c
n
(x) independiente de a y c
0
= 1. Claramente: K (a) = (1 + ax) K
_
ax
2
_
.
Por lo tanto,
_

n0
c
n
a
n
_
= (1 + ax)
_

n0
c
n
a
n
x
2n
_
. As, igualando coeciente a
coeciente, obtenemos que:
1 = 1
c
1
= x + c
1
x
2
c
2
= c
1
x
3
+ c
2
x
4
etc.
c
m
= c
m1
x
2m1
+ c
m
x
2m
As, aislando c
m
en la ltima igualdad, se tiene: c
m
= c
m1
x
2m1
(1x
2m
)
. E iterando, nos
queda: c
m
= c
m2
x
2m3
1x
2m2
x
2m1
1x
2m
= = c
0

m
k=1
x
2m(2k1)
1x
2m2k+2
=
m
k=1
x
2k1
1x
2(mk+1)
=
x

m
k=1
(2k1)

m
k=1
(1x
2k
)
=
x
m(1+(2m1))
2

m
k=1
(1x
2k
)
=
x
m
2

m
k=1
(1x
2k
)
.
En denitiva,
k1
_
1 + ax
2k1
_
:= K (a) =
m0
_
x
m
2

m
k=1
(1x
2k
)
_
a
m
.
COROLARIO. Tomando a = 1 recuperamos el resultado del teorema anterior. Toman-
do a = x nos queda:
k1
_
1 + x
2k
_
= 1 +
m1
x
m(m+1)

m
j=1
(1x
2m
)
.
4.5. Identidades de Ramanujan
TEOREMA 151. (Identidades de particin de Ramanujan)
1. p (5m +4)
5
0
2. p (7m +5)
7
0
22
La misma, de hecho, si pensamos las estrellas por las y los asteriscos por columnas, como esta-
mos haciendo.
23
La igualdad puede darse (en cuyo caso no hay colas), e.g., 3 +1, 5 +3 +1, etc. pensados en forma
de angulo.
4.5. IDENTIDADES DE RAMANUJAN 53
3. p (11m +6)
11
0
NOTA. Se lee/interpreta: el nmero de particiones de los nmeros congruen-
tes a 4 modulo 5 (ie, de la forma 5m + 4) son mltiples de 5 (ie, congruentes a 0
mod 5).
DEMOSTRACIN. Se sigue de Euler y Jacobi que:

1
(x) := x
_

k1
_
1 x
k
__
4
= x
_

k1
_
1 x
k
__
_

k1
_
1 x
k
_
3
_
= x
_

rZ
(1)
r
x
(r)
_
_

s0
(1)
s
(2s +1) x
s
2
+s
2
_
=
rZ

s0
(1)
r+s
(2s +1) x
k
con k := k (r, s) := 1 +
1
2
r (3r +1) +
1
2
s (s +1). Se tiene: 8k = 8 + 12r
2
+ 4r +
4s
2
+4 = 5 +10r
2
+
_
2r
2
+4r +2
_
+
_
4s
2
+4 +1
_
8k 5 10r
2
= 2 (r +1)
2
+
(2s +1)
2
, donde 8k 5 10r
2
= 8k 5
_
1 +2r
2
_

5
8k. En particular, k
5
0
2 (r +1)
2
+ (2s +1)
2

5
0.
Ms an, como r, s Z
5
r + 1, 2s + 1 Z
5
y Z
5
= 0, 1, 2 Z
2
5
=
0, 1, 4,
24
tenemos que
_
2 (r +1)
2
0, 2, 3 m od 5
(2s +1)
2
0, 1, 4 m od 5
, luego su suma ser 0
m od 5 ssi ambos son 0 m od 5 (distinguiendo todos los casos: 0 + 0, 0 + 1, 0 + 4,
2 +0, 2 +1, 2 +4, 3 +0, 3 +1, 3 +4). Por lo tanto, como (2s +1)
2

5
0 2s +1
5
0, tenemos que k
5
0 2s +1
5
0. Es decir, los coecientes de x
k
en
1
(x) son
mltiples de 5 para k
5
0 (y, en particular, para k = 5m +5).
Por otra parte,
25
(1 x)
5
Nw
=
j0

j1
i=0
(5 i)
1
j!
(x)
j
(1)
5j
=
j0
(1)
j
(1)
j

j1
i=0
(5 + i)
x
j
j!
=
j0
(5+j1)!
4!

x
j
j!
=
j0
j!(4+j)(3+j)(2+j)(1+j)
4!

x
j
j!
= 1 +
j1
(4+j)(3+j)(2+j)(1+j)
4!
x
j
=: 1 +
j1
c
j
x
j
donde c
j

5
_
1, j
5
0
0, j ,
5
0
pues
j
5
1 (j +4)
5
0
j
5
2 (j +3)
5
0
j
5
3 (j +2)
5
0
j
5
4 (j +1)
5
0
En resumen,
1
(1x)
5

5
1 +
j1
x
5j
geom
=
1
1x
5
, de modo que
1x
5
(1x)
5

5
1 e, iteran-
do:
1x
10
(1x
2
)
5

5
1,
1x
15
(1x
3
)
5

5
1, etc., luego
2
(x) :=
j1
1x
5j
(1x
j
)
5
=

j1
(1x
5j
)
[
j1
(1x
j
)]
5

5
1.
24
En este contexto Z
2
5
no denota Z
5
Z
5
sino el conjunto de los cuadrados mdulo 5.
25
[Recordatorio] La forma general para el binomio de Newton es (x + y)
r
=
k0
(
r
k
)x
rk
y
k
con
(
r
k
) =
1
k!

k1
n=0
(r n).
4.5. IDENTIDADES DE RAMANUJAN 54
Finalmente,
1

2
= x
_

j1
_
1 x
j
_
_
4

j1
(1x
5j
)
[
j1
(1x
j
)]
5
= x

j1
(1x
5j
)

j1
(1x
j
)
, donde:
x

j1
(1x
j
)
=
x

j1
(1x
j
)
_

j1
1
(1x
5j
)
_
1 x
5j
_
_
geom
=
x

j1
(1x
j
)
_

j1
_

i0
_
x
5j
_
i
_
_
1 x
5j
_
_
=
x

j1
(1x
j
)
_

j1
_

i0
_
x
5j
_
i
_

j1
_
1 x
5j
_
_
=
x
j1
(1x
5j
)

j1
(1x
j
)
_

j1
_

i0
_
x
5j
_
i
__
=
1

j1
_

i0
_
x
5j
_
i
_
y tambin:
x
1

j1
(1x
j
)
= x
_

m0
p (m) x
m
_
=
m0
p (m) x
m+1
=
m0
p (m1) x
m
de modo que:

2
j1
_

i0
_
x
5j
_
i
_
=

m0
p (m1) x
m
Nos basta ver, pues, que los coecientes de x
5m+5
en
1

j1
_

i0
_
x
5j
_
i
_
son mltiples de 5. Pero esto es obvio, pues
2

5
1 y los coecientes de x
k
en

1
(x) son mltiples de 5 para k
5
0, luego hemos terminado.
26

26
Redaccin alternativa:
2

5
1 los coecientes de x
5m+5
en
1

2
= x

j1(1x
5j
)

j1(1x
j
)
son mltiples
de 5, luego los coecientes de x
5m+5
en x
1

j1(1x
j
)
son tambin mltiples de 5 (pues los coecientes
de x
5m+5
en
j1
_

i0
_
x
5j
_
i
_
coinciden con los de
1

2
).
Captulo 5
Sumas de cuadrados
5.1. Introduccin
Queremos estudiar las expresiones del tipo n = x
2
+ y
2
, con n, x, y Z
+
.
La teora de nmeros algebraica se encarga de su interpretacin como ecuacin
diofntica. La teora analtica, por el contrario, la piensa como a un subcaso de
particin:
DEFINICIN 152. r
m
(n) := nmero de particiones de n como suma de m cua-
drados.
OBSERVACIN. r
1
(0) = 1 y n ,= 0 r
1
(n) =
_
2, n es un cuadrado
0, n no es un cuadrado
.
DEFINICIN 153. Una representacin/solucin x, y Z de n = x
2
+ y
2
se
llama primitiva ssi mcd(x, y) = 1.
1
NOTACIN. r

m
(n) := nmero de particiones primitivas de n como suma de
m cuadrados. R

m
(n) := nmero de particiones primitivas y no negativas de n
como suma de m cuadrados.
OBSERVACIN. n > 1 R

m
(n) = nmero de particiones primitivas y posi-
tivas de n como suma de m cuadrados.
DEFINICIN 154. Dos soluciones (x
1
, y
1
) , (x
2
, y
2
) son diferentes si x
1
,= x
2
o
bien y
1
,= y
2
.
NOTA. No hay consenso absoluto sobre estas deniciones y notaciones, aun-
que sus diferentes versiones coinciden salvo por un factor.
TEOREMA 155. r
2
(1) = r

2
(1) = 4, R

2
(1) = 2 y n > 1
_
r

2
(n) = 4R

2
(n)
r
2
(n) =
d
2
[n
r

2
_
n
d
2
_
.
DEMOSTRACIN. 1 = (1)
2
+ 0
2
= 0
2
+ (1)
2
, luego r
2
(1) = r

2
(1) = 4 y
R

2
(1) = 2.
Sea ahora n > 1 y (x, y) una solucin primitiva no negativa (ie, x, y 1). En-
tonces (x, y) es una solucin primitiva para cualquier eleccin de signo, luego
r

2
(n) = 4R

2
(n).
Finalmente, sea (x, y) una solucin cualquiera de x
2
+y
2
= n y d := mcd(x, y).
Entonces mcd
_
x
d
,
y
d
_
= 1 y d
2
_
x
2
d
2
+
y
2
d
2
_
= n, luego r
2
(n) =
d
2
[n
r

2
_
n
d
2
_
.
1
Abuso de notacin: x, y Z representacin de n se referir siempre a la particin x
2
+ y
2
de n,
puesto que en este capitulo slo estaremos interesados en las particiones de n como suma de cuadrados.
Asimismo, y por lo dicho al principio de tema, nos referiremos tambin a x, y Z por soluciones de
n.
55
5.2. DOS RESULTADOS COMPLEMENTARIOS 56
5.2. Dos resultados complementarios
TEOREMA 156. Sea n > 1. Cada solucin (x, y) no negativa de x
2
+ y
2
= n de-
termina un s (nico mdulo n) tq sy
n
x. Adems, s
2

n
1 y soluciones primitivas
diferentes determinan s diferentes mdulo n.
DEMOSTRACIN. 1) Dado n > 1 y (x, y) solucin primitiva no negativa, con-
sideremos la congruencia lineal ys
n
x, que tendr solucin ssi y es mltiple de
d := mcd(y, n) (cf. [A1]). Ms an, si d > 0 y d[x, entonces el nmero de solucio-
nes diferentes mdulo m es d (cf. [A1]). Ahora bien, d = 1 pues (x, y) es primitiva,
luego existe un nico s modulo n tq ys
n
x, qed.
Por otra parte, como d = 1, tenemos que y es invertible en Z
n
, luego s
n
xy
1
y, en particular, s
2

n
x
2
y
2
. Ahora bien, x
2
+ y
2
= n x
2
+ y
2

n
0 x
2

n
y
2
, luego s
2

n
y
2
y
2
= 1, qed.
2) (Por contrarecproco) Sean (x, y) , (u, v) soluciones primitivas no negativas
de n tq
_
ys
n
x
vs
n
u
(ie, tq determinan el mismo s) y veamos que entonces necesa-
riamente (x, y) = (u, v).
En efecto, ys
n
x xv
n
(ys) v = y (sv)
n
yu (pues vs
n
u) y
1 x <

n
1 v <

n
_
1 xv < n (y, por simetra, 1 uy < n),
2
luego xv = uy.
Finalmente, como las soluciones son primitivas, nos queda: (x, y) = (u, v).
3

TEOREMA 157. Sea n > 1. Se tiene: s


2

n
1 (x, y) solucin primitiva no
negativa de n tq ys
n
x.
DEMOSTRACIN. Dado s, sea usv con
_
0 u

n
0 v

n
, lo que nos da
_
1 +
_
n
_
2
>
n posibilidades diferentes.
4
Por tanto, (u
1
, v
1
) , (u
2
, v
2
) diferentes tq u
1
sv
1

n
u
2
sv
2
u
0

n
sv
0
con
_
u
0
= u
2
u
1
v
0
= v
2
v
1
.
5
As,
_
[u
0
[

n
[v
0
[

n
. Veamos ahora
que al menos una se estas desigualdades es estricta:
Si n no es un cuadrado, como u
0
, v
0
Z, hemos terminado.
En caso contrario (ie, si n es un cuadrado), razonemos por absurdo, ie,
supongamos que [u
0
[ = [v
0
[ =

n y lleguemos a contradiccin:
Ya sabemos que sv
0

n
u
0
, luego (por HA) s

n
n

n s

n
1 s
2

n
1. Por otra parte, s
2

n
1 s
2

n
1 por hiptesis.
Juntndolo todo, nos queda: 1

n
1 2

n
0 Z; 2 =

n.
Pero n > 1

n

2 2 =

2
Z
= 1 (pues 2

2 2
/
8),
luego 2 =

n n = 4, lo que contradice s
2

n
1 (pues s
2
,
4
1).
6
2
(x, y) solucin de n x
2
+ y
2
= n x
2
< n (por absurdo: x
2
n
y1
x
2
+ y
2
> n !!!). En
particular, x <

n (y, por simetra, y <

n). Por otra parte, como son solucin no negativa, x, y 1.
dem con u, v.
3
Ms explcitamente, xv = uy x =
uy
v
xZ

uy
v
Z
mcd(u,v)=1
k :=
y
v
Z. As, u[x (pues x = uk)
y v[y (pues k Z). Anlogamente, xv = uy v =
uy
x
vZ

uy
x
Z
mcd(x,y)=1
r :=
u
x
Z, luego y[v
(pues v = ry) y x[u (pues r Z). En denitiva, u = x y v = y.
4
u Z
_
0,

u
_
0, 1, 2, . . . ,
_
n
_
. Y para cada uno de estos
_
n

+ 1 valores, v puede
tomar otros
_
n

+ 1 valores diferentes, luego salen


__
n

+1
_ __
n

+1
_
combinaciones. Por otra
parte, a R, a [a] < 1

n < 1 +
_
n

.
5
Plan: veremos que (u
0
, v
0
) es una solucin primitiva no negativa de n.
6
s = 2k s
2
= 4k
2

4
0 y s = 2k +1 s
2
= 4k
2
+4k +1
4
1.
5.3. LOS FRUTOS 57
Por lo tanto, 1 < u
2
0
+ v
2
0
< 2n.
7
As, como u
0

n
sv
0
, tenemos que u
2
0
+ v
2
0

n
s
2
v
2
0
+ v
2
0
= v
2
0
_
s
2
+1
_ hip.

n
0 u
2
0
+ v
2
0
= n.
Finalmente, veamos que (u
0
, v
0
) es una solucin primitiva de n. En efecto, sea
d := mcd(u
0
, v
0
). Entonces u
2
0
+ v
2
0
= n
u
2
0
d
2
+
v
2
0
d
2
=
n
d
2
Z y u
0

n
sv
0

u
0
d
n
d
s
v
0
d

u
2
0
d
2
+
v
2
0
d
2
n
d
s
2
v
2
0
d
2
+
v
2
0
d
2
=
v
2
0
(s
2
+1)
d
2
hip.
n
d
0. Juntndolo todo, nos
queda: Z;
n
d
2
=
n
d
1
d
=Z
d = 1, qed.
8

OBSERVACIN 158. (Denicin) Sea n =


k
i=1
p

i
i
. Entonces, por el teorema
chino del resto, s
2

n
1 i; s
2

i
i
1. As, si (m) := nmero de solucio-
nes de s
2

m
1, entonces (n) =
k
i=1

_
p

i
i
_
, ie, es una funcin aritmtica
multiplicativa ( M).
9
Distingamos casos:
p impar: (p

) = (p) =
_
2, p
4
1
0, p
4
3
.
p = 2: ya vimos antes que s
2
,
4
1, luego (4) = 0 2, (2

) = 0.
Finalmente, (2) = 1 pues s
2

2
1
2
1.
COROLARIO. R

2
(n) = (n) si n > 1, lo que nos permite reformular 155.
5.3. Los frutos
PROPOSICIN 159.
r
2
(n)
4
es una funcin multiplicativa.
DEMOSTRACIN. Sean n
1
, n
2
Z
0
; mcd(n
1
, n
2
) = 1. Por 155,
1
4
r
2
(n
1
n
2
) =

d
2
[n
1
n
2

_
n
1
n
2
d
2
_
mcd(n
1
,n
2
)=1
=
d
2
1
[n
1
,d
2
2
[n
2

_
n
1
d
2
1

n
2
d
2
2
_
M
=
d
2
1
[n
1

_
n
1
d
2
1
_

d
2
2
[n
2

_
n
2
d
2
2
_
155
=
1
4
r
2
(n
1
)
1
4
r
2
(n
2
).
DEFINICIN 160. Sea h la funcin aritmtica multiplicativa denida por
h (1) = 1
h (2
e
) = 0
p P 2 , e 1, h (p
e
) = (1)
_
p1
2
_
e
OBSERVACIN. h es completamente multiplicativa pues h (p
e
) = h (p)
e
.
TEOREMA 161. r
2
(n) = 4
d[n
h (d)
DEMOSTRACIN.
d[n
h (d) = h u, luego es multiplicativa. As, como
r
2
(n)
4
tambin es multiplicativa, nos basta ver que coinciden en los primos:
Por 155, r
2
(2
e
) = 4
d
2
[2
e
_
2
e
d
2
_
= 4
[
e
2
]
f =0

_
2
e2f
_
158
= 4
_
0 +
_
2
[
e
2
]
__
=
_
4 (2) = 4, e par
4 (1) = 4, e impar
.
p ,= 2
7
Como (u
1
, v
1
) , (u
2
, v
2
) son diferentes, tenemos que u
0
= u
2
u
1
,= 0 [u
0
[ 1 (e dem con v
0
).
8
(u
0
, v
0
) es una solucin no negativa sin restriccin, pues en caso contrario basta considerar
(u
0
, v
0
), que tambin ser una solucin primitiva.
9
Notar que aqu no podemos usar Jacobi para decidir si s es residuo cuadrtico, pues Jacobi slo
nos sirve para ver que no.
5.3. LOS FRUTOS 58
e par: Por 155, r
2
(p
e
) = 4
e
2
f =0

_
p
e2f
_
158
= 4
e
2
(p) + 4
_
p
0
_
=
2e (p) +4
158
=
_
4e +4, p
4
1
4, p
4
3
e impar: Anlogamente, r
2
(p
e
) = 4
e1
2
f =0

_
p
e2f
_
= 4
e1
2
(p) =
_
4e 4, p
4
1
0, p
4
3
Por otra parte, 4
d[p
e h (d) = 4
e
f =0
h
_
p
f
_
= 4h (1) +4
e
f =1
h
_
p
f
_
, donde (por
def. de h)
p = 2
e
f =1
h
_
p
f
_
=
e
f =1
0 = 0.
p ,= 2
e
f =1
h
_
p
f
_
=
e
f =1
(1)
_
p1
2
_
f
=
_

e
f =1
(1)
2k f
= e, p
4
1

e
f =1
(1)
(2k+1) f
= 0, p
4
3, e par

e
f =1
(1)
(2k+1) f
= 1, p
4
3, e impar

COROLARIO 162. Se cumple:


1. r
2
(n) = 4 [d
1
(n) d
3
(n)], con d
m
(n) := nmero de divisores de n
4
m.
2. Dado n =
k
i=1
p

i
i
, la ecuacin n = x
2
+ y
2
tiene solucin ssi i; (p
i

4
3)
(2
i
).
3. r
2
(n) = 4
d[n,2d
(1)
d1
2
.
NOTA. Dadas dos representaciones de n podemos construir una tercera si n ,=
2 (pues (2
e
) = 0 o viendo las tablas).
Captulo 6
Teora modular (esbozo)
6.1. Un poco de historia
Veamos dos ejemplos importantes de funciones que motivan el estudio de las
formas modulares.
DEFINICIN 163. (Funcin theta de Jacobi)
(z) :=

n=
x
n
2
= 1 +2

n=1
x
n
2
= 1 +

n=1
r
1
(n) x
n
OBSERVACIN. Tomando z = 1 en el teorema del triple producto de Jacobi,
obtenemos que: (z) =
n1
_
1 x
2n
_ _
1 + x
2n1
_
2
.
NOTA. La funcin de Jacobi tiene una importancia capital en el estudio de
r
m
(n) debido a que
k
(z) = 1 +r
k
(n) x
n
. Sin embargo, y en lo que sigue, noso-
tros nos restringiremos esencialmente al caso m = 2.
La de Jacobi puede generalizarse a C (cf. Wikipedia) y ha sido estudiada por
grandes matemticos como C. L. Siegel, Minkowski, Hardy, Littlewood, etc.
LEMA 164. Sea g (t) :=
nZ
e
tn
2
, t > 0. Entonces g satisface la ecuacin
funcional g (t) =
1

t
g
_
1
t
_
.
DEMOSTRACIN. Aplicando la formula de sumacin de Poisson a la funcin
e
tx
2
para un t > 0 jado.
OBSERVACIN. Sea q = e
2iz
. Entonces g (2iz) =
nZ
e
n
2
(2iz)
=
nZ
_
e
2iz
_
n
2
=

nZ
q
n
2
= (z). Por lo tanto, se sigue del lema que:
_

1
4z
_
= g
_
2i
_

1
4z
__
=
g
_
i
2z
_
=
_
2z
i
_
1
2
g
_
2z
i
_
=
_
2
i
_
1
2
z
1
2
(z). Por tanto, la funcin de Jacobi es una for-
ma modular de peso
1
2
.
TEOREMA 165. (de los cuatro cuadrados de Lagrange) Todo entero se puede expresar
como suma de 4 cuadrados.
TEOREMA 166. (de los 24 cuadrados de Ramanujan)
r
24
(n) =
16
691

11
(n) +
128
691
_
(1)
n1
259 (n)
_
n
2
__
donde

m
(n) := (1)
n
[
e
m
(n)
o
m
(n)] y:
DEFINICIN 167. (Funcin tau de Ramanujan) Es la funcin aritmtica :
Z
+
Z denida por la identidad:
1

n=1
(n) q
n
= q

n=1
(1 q
n
)
24
1
Es decir, se dene a partir de su funcin generadora (ie, funcin aritmtica generada por...).
59
6.2. GRUPO MODULAR 60
NOTA. Podemos extender a R haciendo (r) = 0, r R Z, por lo que

_
n
2
_
est siempre bien denida.
OBSERVACIN. Si no fuera por el exponente 24,

n=1
(1 q
n
)
24
sera la in-
versa de la funcin generadora de p (n). Por otra parte, q

n=1
(1 q
n
)
24
es una
forma modular de peso 12 y nivel 1.
Algunos valores de son:
n (n)
1 1
2 -24
3 254
4 -1472
5 4830
6 -6048
7 -16744
etc. etc.
68 10165534848
etc. etc.
CONJETURA 168. (Ramanujan, 1916, a partir de las tablas)
1. es multiplicativa.
2. (n) =
11
(n) m od 691
3. (n) =
_
n
11
2
_
NOTA. En 1917 se demuestran las dos primeras va teora de formas modular
(la 2 de manera relativamente fcil. La 1 no tanto, Mordell) ; a da de hoy, no se
conocen demostraciones elementales de las mismas. La tercera se demuestra en
por Deligne en 1974 como consecuencia de su demostracin de la conjetura de
Weil.
6.2. Grupo modular
DEFINICIN 169. (Grupo modular)
= SL
2
(Z) = A /
22
(Z) ; det A = 1
Veamos que acta en

C := C la esfera de Riemann (o recta proyecti-
va):
DEFINICIN 170. (Transformacin fraccionaria lineal) Sean =
_
a b
c d
_

, z C. Entonces
(z) :=
az + b
cz + d
() :=
a
c
OBSERVACIN. Se tiene:
1. () = lm
z
(z)
2.
_

d
c
_
=
3. c = 0 () =
4.
1
(
2
(z)) = (
1

2
) (z) ,
1
,
2
.
5. Sea = Id =
_
1 0
0 1
_
. Entonces z =
z
1
= z, z C.
6.3. SUBGRUPOS DE SL
2
(Z) 61
6. (Reciproco) Sea =
_
a b
c d
_
; z C, z = z, donde z :=
az+b
cz+d
.
Despejando, nos queda: cz
2
+ (d a) z b = 0. Tomando z = 0 deduci-
mos que b = 0. Tomando z = 1 deducimos que c = (a d) c =
0 a = d. Ahora bien, como ad bc = 1 (pues SL
2
(Z)), nos queda:
a
2
= 1 a = 1, ie, = Id.
DEFINICIN 171. (Semiplano superior de Poincar)
H := z C; Imz > 0
PROBLEMA 172. Sean , z H. Entonces z H.
DEMOSTRACIN. En efecto,
Im[ (z)] = Im
_
az+b
cz+d
_
= Im
_
az+b
cz+d

cz+d
cz+d
_
c,dZ
= Im
_
az+b
cz+d

cz+d
cz+d
_
zz=[z[
2
= Im
_
ac[z[
2
+adz+bcz+bd
[cz+d[
2
_
=
1
[cz+d[
2
Im[ad (x + iy) + bc (x iy)]
=
1
[cz+d[
2
Im[(ad bc) iy]

=
1
[cz+d[
2
Im[iy]
=
1
[cz+d[
2
Imz

6.3. Subgrupos de SL
2
(Z)
DEFINICIN 173. Sea N Z
+
. Llamaremos subgrupo principal de congruen-
cias de nivel N a:
(N) :=
__
a b
c d
_
SL
2
(Z) ;
a d 1 m od N
b c 0 m od N
_
PROBLEMA 174. (N) es un subgrupo normal de .
DEMOSTRACIN. Sea el homomorsmo de grupos
: SL
2
(Z) SL
2
(Z
N
) ;
_
a b
c d
_

_
a b
c d
_
con a, b, c, d las clases de restos mdulo N de a, b, c, d respectivamente.
2
Ya sabemos
de teora de grupos que ker , luego como ker = (N), hemos terminado.

OBSERVACIN. = (1).
DEFINICIN 175. Un subgrupo H de se llama subgrupo de congruencia de
nivel N si H (N).
OBSERVACIN. N[N
/
(N
/
) (N). En particular, si H es un subgrupo
de congruencia de nivel N, entonces H es un subgrupo de congruencia de nivel
N
/
para cualquier N
/
multiple de N.
EJEMPLO 176. Al estudiar los diferentes problemas de la teora modular apa-
recen esencialmente los siguientes subgrupos:
2
Es claro que
1
,
2
, (
1

2
) = (
1
) (
2
) .
6.4. DOMINIO FUNDAMENTAL 62
1.
0
(N) :=
__
a b
c d
_
; c 0 m od N
_
(N)
2.
1
(N) :=
__
a b
c d
_

0
(N) ; a 1 m od N
_
(N)
6.4. Dominio fundamental
DEFINICIN. (Recordatorio) Si G acta sobre X, decimos que x
1
, x
2
X son
G-equivalentes ssi g G; x
2
= gx
1
. Llamaremos rbita de x a: G
x
:= gx; g G.
NOTA. Ya vimos antes que acta sobre

C y que es cerrada sobre H

C,
luego tambin acta sobre H.
DEFINICIN 177. Sea F H. Decimos que F es un dominio fundamental
respecto de ssi todo z H es -equivalente a un punto de F y dos puntos
diferentes del interior de F no son nunca -equivalentes.
3
PROPOSICIN 178. La regin F :=
_
z H;
1
2
Re z
1
2
, [z[ 1
_
es un do-
minio fundamental respecto del grupo modular (cf. dibujo).
4
NOTA. Esta regin es un ejemplo especialmente importante ya estudiada por
Gauss (y que vimos tambin en TGGS).
DEMOSTRACIN. 1) Sea T :=
_
1 1
0 1
_
, S :=
_
0 1
1 0
_
. Se tiene: Tz =
z + 1 y Sz =
1
z
. Ms an, T
a
=
_
1 a
0 1
_
y T
a
z = z + a. Llamaremos a T
traslacin y a S inversin. As, dado z H, podemos hacerlo -equivalente a
un elemento de
_
z H;
1
2
Re z
1
2
_
mediante traslaciones y de F mediante
inversiones (pues [z[ < 1 [Sz[ > 1). Es decir, z H, f F; z

f .
2)Sean z
1
, z
2
F; z
1
z
2
diferentes y supongamos sin restriccin que Imz
2

Imz
1
. Por hiptesis, =
_
a b
c d
_
; z
2
= z
1
. En particular, Imz
2
=
Imz
1
172
= [cz
1
+ d[
2
Imz
1
[cz
1
+ d[
2
=
Imz
1
Imz
2
1 [cz
1
+ d[ 1
z
1
F

c,dZ
[c[ 1.
Distingamos casos:
c = 0 [d[ 1. Ahora bien, como ad bc = 1 (pues ), tenemos que
d ,= 0. En resumen, c = 0 d 1.
c = 1 [z
1
d[ 1
z
1
F
[d[ 1:
5
d = 0
z
1
F
[z
1
[ = 1.
c = d = 1 [cz
1
+ d[ = [z
1
1[ 1
z
1
F
z
1
=
1
2
+ i

3
2
(cf.
dibujo).
c = d = 1 [cz
1
+ d[ = [z
1
+1[ 1 z
1
=
1
2
+ i

3
2
.
Por lo tanto,
3
Es decir, F Hd.f. respecto ssi z H, f F; f z y z
1
, z
2
F

; z
1
,= z
2
z
1
, z
2
.
4
Los vrtices de la gura son:
1
2
+ i

3
2
,
1
2
+ i

3
2
(obtenidos de intersecar la circunferencia con la
recta vertical
1
2
respectivamente. Es decir, despejando
_
1
2
_
2
+ y
2
= 1).
5
Pensar geometricamente: [z
1
d[ = d (z
1
, d) 1 con d Z y z
1
F, cf. dibujo.
6.5. FORMAS MODULARES 63
Caso 1. =
_
a b
0 1
_

=
_
1 b
0 1
_
z
_
T
b
z, T
b
z
_
.
6
Sin restric-
cin, pues, z
2
= T
b
z
1
= z
1
+ b Re z
2
= b +Re z
1
z
1
,=z
2

bZ
b = 1, pues
z
1
, z
2
F Re z
1
, Re z
2

_

1
2
,
1
2
_
.
Caso 2. =
_
a b
1 0
_

=
_
a 1
1 0
_
= T
a
S.
7
Ya vimos que en tal
caso [z
1
[ = 1, luego tambin [z
2
[ = 1 si a = 0 (puestos simtricamente)
y a = 1 z
1
= z
2
=
1
2
+ i

3
2
.
Caso 3. etc.
En cualquier caso, nos queda que z
1
, z
2
son de la frontera de F, qed.
COROLARIO 179. Dos puntos z
1
, z
2
de la frontera de F son -equivalentes ssi Re z
1
=

1
2
y z
2
= z
1
= 1 o bien [z
1
[ = 1 y z
2
=
1
z
1
NOTACIN. (Grupo de isotropia de z)
z
:= ; z = z.
COROLARIO 180. Si z F, entonces F
z
= Id salvo nicamente:
1. z = i
z
= Id, S
2. z =
1
2
+ i

3
2

z
=
_
Id, ST, (ST)
2
_
3. z =
1
2
+ i

3
2

z
=
_
Id, TS, (TS)
2
_
A estos tres puntos excepcionales se les llama puntos elpticos respecto del grupo modular.
NOTACIN.
1
:=
1
2
+ i

3
2
,
2
:=
1
2
+ i

3
2
.
PROBLEMA 181. = S, T.
DEMOSTRACIN. Sea
/
:= S, T subgrupo de y veamos la otra inclusin.
Sea g , z F

H. Se tiene: g (z) H. Ahora bien, como F es un dominio


fundamental, tenemos que
/
; (g (z)) = (g) (z) F. Y como z F

,
tenemos que g = Id g =
1

/
.
6.5. Formas modulares
DEFINICIN 182. Sea f : H C holomorfa tq
k; =
_
a b
c d
_
, f ( (z)) = (cz + d)
k
f (z)
(Tiene desarrollo en serie de Fourier) f (z) =
nZ
a
n
q
n
con q = e
2iz
.
Entonces f es una forma modular de peso k respecto .
NOTA. Cambiando por
0
(N) en la denicin anterior, obtenemos f forma
modular de peso k y nivel N. As, como =
0
(1), la denicin anterior nos da
las formas modulares de peso k y nivel 1.
TEOREMA 183. (Hecke) Sea (z) la funcin theta de de Jacobi y =
_
a b
c d
_

0
(4). Entonces
6
_
1 b
0 1
_
z =
z+b
1
= z b = T
b
z.
7
_
1 a
0 1
__
0 1
1 0
_
=
_
a 1
1 0
_
y
_
1 a
0 1
__
0 1
1 0
_
=
_
a 1
1 0
_
=

_
a 1
1 0
_
6.5. FORMAS MODULARES 64
( (z)) = (cz + d)
4
(d)
2
(z), con
4
el nico carcter de Dirichlet mdulo
4 no trivial.

2
(z) =
nZ
r
2
(n) q
n
, que es una forma modular de peso 1, nivel 4 y carcter

4
.
DEMOSTRACIN. Difcil.
DEFINICIN 184. (Funcin eta de Dedekind) (z) := q
n1
(1 q
n
)
24
forma
modular de peso
1
2
. En particular, (z) es tambin de peso
1
2
.
NOTA. La teora de formas modulares de peso semientero es mucho ms com-
pleja y reciente (nales del siglo XX) que la teora para formas de peso entero. Es
una de las claves del teorema de Wiles-Fermat.
Apndice A
Recordatorios de Aritmtica
Este curso presupone cursado [A1]. Veamos ahora algunos recordatorios en
los que usualmente se obviaran las demostraciones.
A.1. Smbolo de Legendre
NOTACIN. Supondremos a lo largo de toda la seccin que p es primo dife-
rente de dos.
DEFINICIN 185. Diremos que n es un residuo cuadrtico modulo p ssi la
ecuacin x
2
n m od p tiene solucin, ie, si n es un cuadrado modulo p.
OBSERVACIN. Como Z
p
es un cuerpo nito de p elementos, se sigue del
TFA que la ecuacin x
2
n m od p tendr como mximo dos soluciones (pues es
de grado dos). De hecho, tendr dos soluciones o ninguna, pues de tener una, su
opuesto tambin lo ser. Esto motiva la siguiente denicin:
DEFINICIN 186. (Smbolo de Legendre)
p n
_
n
p
_
:=
_
1, x
2
n m od p
1, x
2
, n m od p
p[n
_
n
p
_
:= 0
OBSERVACIN. El smbolo de Legendre no depende del representante, ie, n
m m od p
_
n
p
_
=
_
m
p
_
.
LEMA 187. (de Euler)
_
n
p
_
n
p1
2
m od p.
1
PROPOSICIN 188.
_

p
_
: Z
+
0, 1 es una funcin aritmtica completamen-
te multiplicativa.
DEMOSTRACIN. Sin restriccin p n p m (ie,
_
n
p
_
,
_
m
p
_
no nulos),
2
luego
p nm y
_
nm
p
_

p
(nm)
p1
2
= n
p1
2
m
p1
2

p
_
n
p
_ _
m
p
_
por el lema de Euler. As,
_
nm
p
_

_
n
p
_ _
m
p
_

p
0, donde
_
nm
p
_

_
n
p
_ _
m
p
_
0, 2 (pues ninguno de
estos smbolos de Legendre es cero por hiptesis, de manera que valdrn 1 1).
Nos basta descartar, pues, que 2 0 m od p. Pero esto es obvio, pues es p es
impar por hiptesis.
1
Recordamos que estamos suponiendo p primo diferente de 2, de manera que
p1
2
Z
+
.
2
En caso contrario, p[nm, luego
_
nm
p
_
=
_
n
p
_ _
m
p
_
pues ambos lados son cero.
65
A.1. SMBOLO DE LEGENDRE 66
COROLARIO.
_

p
_
: Z

p
1 es un homomorsmo de grupos (llamado carcter
cuadrtico
3
del grupo Z

p
), pues acabamos de ver que preserva el producto, vimos que no
dependa del representante (ie, que est bien denido) y
_
1
p
_
= 1.
PROBLEMA 189. Calcular
_
1
p
_
.
DEMOSTRACIN.
_
1
p
_
= (1)
p1
2
=
_
1, p 1 m od 4
1, p 3 m od 4
.
PROBLEMA 190.
_
2
p
_
= (1)
p
2
1
8
=
_
1, p 1 m od 8
1, p 3 m od 8
.
TEOREMA 191. (Ley de reciprocidad cuadrtica, Gauss)
4
p, q P2 ,
_
p
q
_ _
q
p
_
=
(1)
p1
2
q1
2
.
OBSERVACIN. En particular, dado que
_
q
p
_
1 (de manera que
_
q
p
_
1
=
_
q
p
_
), se tiene:
_
p
q
_
=
_
q
p
_
(1)
p1
2
q1
2
.
PROBLEMA 192. 219 es residuo cuadrtico modulo 383?
DEMOSTRACIN. Primero de todo notamos que 383 es primo.
5
Por tanto,
_
219
383
_
=
_
373
383
_
=
_
3
383
_ _
73
383
_
,
6
donde (por el teorema anterior):
_
3
383
_
=
_
383
3
_
(1)
3831
2
31
2
=
_
383
3
_
=
_
2
3
_
= (1) = 1.
7
_
73
383
_
=
_
383
73
_
(1)
3831
2
731
2
=
_
383
73
_
=
_
18
73
_
=
_
29
73
_
=
_
2
73
_
_
3
2
73
_
=
_
2
73
_
= 1.
8
En resumen,
_
219
383
_
= 1 1, ie, 219 es residuo cuadrtico modulo 383.
PROBLEMA 193. Determinar los primos impares p para los cuales 3 es un resi-
duo cuadrtico. dem para los que no.
DEMOSTRACIN. Sea p > 3 primo. Se tiene:
_
3
p
_
=
_
p
3
_
(1)
p1
2
, luego
1.
_
3
p
_
= 1
_
_
p
3
_
= 1 (1)
p1
2
= 1
_

_
_
p
3
_
= 1 (1)
p1
2
= 1
_
2.
_
3
p
_
= 1
_
_
p
3
_
= 1 (1)
p1
2
= 1
_

_
_
p
3
_
= 1 (1)
p1
2
= 1
_
3
Pues Im
_

p
_
= 1, de manera que el cuadrado de cualquier elemento de Z

p
es 1, ie, es de orden
dos.
4
Euler ya haba observado una relacin entre las soluciones de x
2
p m od q y x
2
q m od p,
con p, q P 2 diferentes entre s.
5
De otro modo su smbolo de Legendre no tendra sentido y no podramos aplicar todo lo anterior-
mente dicho.
6
No podemos descomponer en ms productos pues 3, 73 P.
7
Recordatorio: La igualdad
_
383
3
_
=
_
2
3
_
se sigue de que el smbolo de Legendre no depende
del representante escogido.
8
Que
_
3
2
73
_
= 1 se sigue de la denicin de smbolo de Legendre: x
2
3
2
m od 73 (de hecho, un
cuadrado en Z lo es en cualquier modulo trivialmente).
A.1. SMBOLO DE LEGENDRE 67
Discutamos el caso 1 (el otro es anlogo):
9
_
p
3
_
= 1 p 1 m od 3
(1)
p1
2
= 1 p 1 m od 4
_
p 1 m od 12
_
p
3
_
= 1 p 2 m od 3
(1)
p1
2
= 1 p 3 m od 4
_
p 1 m od 12
En resumen,
_
3
p
_
=
_
1, p 1 m od 12
1, p 5 m od 12

9
De hecho, la discusin de (2) reaprovecha la de (1) intercambiando las parejas de condiciones. La
implicacin que se obtiene de estas, si bien en este caso se ve a ojo, puede obtenerse en general va el
teorema chino del residuo.
Bibliografa
[Tom] TOM M. APOSTOL Introduccin a la teora analtica de nmeros. Revert, 1984. (Referencia bsica
del curso. Disponible online en ingles y parcialmente en castellano).
[TmS] SEAN LI Solutions with full proofs to [Tom], online.
[N1] PABLO DE NPOLI Introduccin a la Teora Analtica de Nmeros. Universidad de Buenos Aires,
2009, online.
[N2] G. H. Hardy An introduction to the theory of numbers. Oxford : Oxford University Press, 2008 (dis-
ponible online).
[C1] CARLOS IVORRA Funciones de variable compleja (con aplicaciones a la teora de nmeros). Universitat
de Valncia, online.
[A1] TERESA CRESPO Arimtica. Universitat de Barcelona, 2013, online.
[L] J. A. NAVARRO et al. Apuntes para una licenciatura. Universidad de Extremadura, 2013, online.
68

También podría gustarte