Funesp PDF

Rafael Parra Macho FUNCIONES ESPECIALES Y CARCTER DE DIRICHLET
15. FUNCIONES ESPECIALES Y CARCTER DE DIRICHLET
15.1 Funciones Aritmticas
1.1 Funciones Aditivas y Multiplicativas.
Una funcin aritmtica es una funcin de valores complejos definida en los enteros
positivos.
Decimos que f es una funcin aditiva si
f (mn) = f (m) + f ( n), mcd (m, n) = 1
y es totalmente aditiva si no hay restriccin para m y n.
Decimos que f es una funcin multiplicativa si
f (mn) = f (m) f (n), mcd (m, n) = 1
y si es cierto para todo m y n, decimos que f es totalmente multiplicativa.
Sean f y g dos funciones aritmticas tales que si f (1) = 1 y g (1) = 0, entonces
1. f es multiplicativa si f ( p1e1 ... prer ) = f ( p1er ) ... f ( prer ) y si es multiplicativa, es to-

talmente multiplicativa si f ( p1e1 ... prer ) = ( f ( p1 ))e1 ... ( f ( pr ))er .
2. g es aditiva si f ( p1e1 ... prer ) = f ( p1e1 ) + ... + f ( prer ) y si es aditiva, es totalmente aditi-
va si f ( p1e1 ... prer ) = e1 f ( p1 ) + ... + er f ( pr ).
1.2 Funcin Nmero de Divisores ( n ).
El teorema fundamental de la aritmtica dice que, cada entero n > 1 se puede repre-
sentar como un producto de factores primos de forma nica, salvo el orden de sus factores. Si
n se descompone en n = p11 p22 ... pr r entonces cualquier f multiplicativa verifica que
e e e
e
f (n) = f (prer ).
r =1
Si N = p1e1 p2e2 ... prer es la descomposicin factorial de N , el nmero de divisores de dicho

nmero vendr determinado por
e
( n ) = (e1 1) ... (er 1) = (er + 1)
r =1
Por ejemplo, si 728 = 21 32 411 , el nmero de divisores vendr determinado por
1
(728) = (r+1)(2r+2)(r+1) = 12
r =1
que son 1, 2,3, 6,9,18, 41,82,123, 246,369,738.
1
1.3 Funcin Suma de Divisores n (p).
La funcin n (p) es la suma de todos los nmeros naturales divisores de . Si es pri-

p(e+1) 1
mo, entonces (pe ) = . Esto es as porque los nicos divisores de son las potencias
p 1
de con 0
. En consecuencia
p(e+1) 1
n (pe ) = 1 + p + p2 ++ pe =
p 1
Para todo nmero real o complejo y todo entero 1 definimos n (p) = d n

d|p
como la suma de las potencias simas de los divisores de n. Las funciones as definidas se
llaman funciones divisor.
e
Para el caso particular de n (p ) si observamos que los divisores de una potencia de
e 2 e
un primo p son 1, p, p ,, p luego
pn(e +1) 1
n (p e ) = 1 + p + p2 + + p e =
pn 1
Que la funcin (n) es multiplicativa puede ser demostrado va ejemplo.

Si p y q son nmeros primos entre s, entonces n (pq) = n (p) n (q).
Si tenemos en cuenta que los nicos divisores de son 1, , , , desarrollando
n (pq) = 1 + p + p + pq = (1 + p) + q(1 + p) = (1 + p)(1 + q)
de donde
n (1 + p)(1 + q) = n (p) n (q)
Si 1 (3 7) = 1 (3) 1 (7) entonces, 1 (3 7) = 1 + 3 + 7 + 21 = 32 = 4 8 = 1 (3)1 (7), con lo que

queda demostrado que (n) es multiplicativa.
Por ejemplo, para factorizar 1000 = 2 5 , aplicando la funcin divisor, se trata de
resolver 2 (2 5 ) = 1 (2 ) 1 (5 ). La solucin la encontramos en
3 3 3 3
22(3+1) 1 52(3+1) 1
2 (23 53 ) = 2 = 85 16276 = 1.383.460
22 1 5 1
Si recordamos que el nmero de divisores es (n) = (e + 1), que para nuestro supuesto seran
(23 53 ) = (3 + 1)(3 + 1) = 16, sumando los cuadrados de todos ellos obtenemos
2 (1000) = 12 + 22 + 4 2 + 52 + 82 + 102 + 202 + 252 + 402 + 502 +

+ 1002 + 1252 + 2002 + 2502 + 5002 + 10002 = 1.383.460
2
1.4 Funcin Indicatriz de Euler (n).
La funcin (n) se define como el nmero de enteros positivos primos con n y meno-
res o iguales a n, esto es, la sucesin {1, 2, 3, . . . , 1} que son coprimos con n. Si la descom-
posicin factorial de n es n = p p ... p , la funcin (n) = n(1 p11 ) ... (1 p1r ) o bien
a b r
(n) = (p1e p1e 1) ... (pr e pr e 1)

1 1 r r
resulta
(ne ) = pe pe 1 ( p ) = p 1
En general, la funcin Indicatriz de Euler puede ser expresada como
(n) = n (1 1p )
p|n
( n) ( pe ) p e p e1 1
observar que es multiplicativa y que e
= e
=1 .
n p p p
Por ejemplo, para 720 = 2 3 5 obtenemos
4 2
(720) = 720(1 12 )(1 13 )(1 15 ) = 720( 21 )( 23 )( 45 ) = 720( 308 ) = 5760

30
= 192.
Este resultado podemos expresarlo como
(720) = (16) (9) (5) = 16(1 / 2) 9(2 / 3) 5(4 / 5) = 8 6 4 = 192
demostrndose que la funcin (n) es multiplicativa.
Una de las propiedades de la funcin (n) es que si n > 1 entonces, la suma de los en-
1
teros positivos menores o iguales a n y relativamente primos con n es (p) = n (n).
2
1.5 Funcin Mbius (n).
La funcin de Augustus Ferdinand Mbius (1790-1868) destaca que ( n) = 0 si, y slo

si, n es divisible por un cuadrado distinto de 1. Las propiedades son que si n = 1 entonces
(1) = 1, si n = p1 p2 ... pr con pi primos distintos, entonces (n) = (1) y, si a | n,
r 2
para algn n > 1 entonces, ( n) = 0.

Esta funcin, que para algunos autores es la ms importante dentro de la teora anal-
tica de los nmeros, puede ser definida como
(1) ( n ) = (1) ( n ) si (n)=(n)

( n) =
0 si (n)<(n)
3
donde ( n ) obtiene el nmero de primos distintos que dividen al nmero n, y ( n) obtiene

el nmero de factores primos de n, incluyendo sus multiplicidades. Claramente se denota de
que (n) (n).
45
Por ejemplo, para ( 45) = = 0 . Si ahora consideramos que 45 = 5 9 , entonces
32
( 45) = (5) (9) = 0
ya que para (5) = (1) = 1 y para (9) = 0 luego ( 45) = (5) (9) = ( 1) 0 = 0 .
1
Queda demostrado que la funcin (n ) no slo es multiplicativa, si no que 2 es la

funcin caracterstica de los libres de cuadrados, esto es, los no divisibles por ningn cuadrado
mayor que 1.
Vamos a probar la relacin de esta funcin con (n ).

n
1
Sea (n) = donde k recorre todos los enteros c n. Si n s 1, tenemos
k =1
(n, k)
1 1 si n = 1
(d ) = = , frmula de la funcin de Mbius claramente cierta n = 1. En la
d 6n n 0 si n > 1
suma (d) los nicos trminos no nulos proceden de d = 1 y de los divisores de n que son
d 6n
producto de primos distintos.

Para un divisor d de n fijo podemos sumar respecto de todos los k tales que 1 c k c n
si, y slo s, 1 c q c n 6 d , por lo tanto
n6d n6d
n
(n) = (d) = (d) 1 = (d) d
d 6n q =1 d 6n q =1 d 6n
1.6 Funcin de Mangoldt (n).
La notacin (n) se conoce como funcin de Mangoldt en honor a Hans C.F. von Man-
goldt (1854-1925), matemtico alemn que la adapt de otra descubierta por Nikolay Bugiev
(1837-1903), matemtico ruso que la descubri. La funcin Mangoldt se expresa como
(n) = ln(p) si n = p , con p primo y k s 1, o (n) = 0, en caso contrario. La funcin Mangoldt
k
cumple la siguiente identidad donde log n = (d ) que es la suma los d

d |n
que dividen a n.
Por ejemplo, para log18 = (d ). Como los divisores de 18 son 1, 2,3,6,9 y 18, tenemos
d |18
que log18 = (d ) = (1) + (2) + (3) + (6) + (9) + (18) que es equivalente a
d |18
log n = (d ) = 0, log 2, log 3, 0, log 3, 0 = log(2 3 3) = log18

d |18
1.7 Funciones de Chebyshev (x) y (x).
Las notaciones (x) y (x) se conocen como la primera y segunda funcin de Chebys-
hev en honor a Pafnuy L. Chebyshev (1821-1894), matemtico ruso que la descubri. Se deno-
4
tan como ( x) = log p = log p y (n) = k log(p) y su relacin con la funcin de Man-
p x px nc x
goldt (n) es que (n) = (n).

nc x
La equivalencia entre ambas funciones viene determinada por
( x) = ( x m )
1
m log 2 x
Las funciones (x) y (x) cuentan el nmero de primos p x y las potencias principa-
les p x , respectivamente, con peso especfico de p. Claramente se observa de que
k
( x) ( x ).
Estas funciones se usan frecuentemente en pruebas relacionadas con la distribucin de
los nmeros primos.
Por ejemplo, para
(10) = log2 + log 3 + log 5 + log 7

(10) = 3log2 + 2log 3 + log 5 + log 7
1.8 Funcin de Liouville (n).
Se denota como (n) = (1)(n) la funcin Liouville en honor a Joseph Liouville (1809-
1882), matemtico francs que la descubri. La funcin (n) = (1)(n) es completamente mul-
tiplicativa. Para cada n s 1 tenemos
1 si n es un cuadrado
(d) =0 si n no es cuadrado ,
d 6n
1
adems (n) = (n) para todo n.
Para (d) =(1,2,3,6,9,18) = {1,1,1,1,1,1} =1

d 618
1.9 Funciones Factor Primo (n) y (n).
k
Sea n = pii con nmeros primos distintos p1 , , pr , entonces se define
i =1
r
(n) = i como la funcin cuenta factores primos, distintos o iguales, en la que se descom-
i =1
pone un nmero como producto. Dado que (1) = 0, esta funcin no es multiplicativa pero,
como los factores primos que aparecen en un producto de dos nmeros, m y n, son los que
aparecen en m ms los que aparecen en n, se tiene (m n) =(m) +(n) luego,
a(mn) = a(m )+(n) = a(m ) a (n) , que si es completamente multiplicativa.
(n ) (n)
Sea n = pii y (n) = i como la funcin que es igual a la cantidad de factores
i =1 i =1
primos diferentes que dividen a n. La funcin a (n) es multiplicativa. Si m y n no tienen facto-
5
res comunes, los factores primos que los dividen son distintos y entonces
(m n) = (m) + (n) y por tanto a (mn) = a (m)+ (n) = a (m)a (n) .
Por ejemplo, 18 = 2 3 tiene como solucin (18) = 3 y (18) = 2 ya que en el primero 3 fac-
2
tores, uno repetido, y en el segundo son dos factores primos, sin repeticin.
15.2 Funciones Eulerianas y afines
2.1 Funcin Gamma (*)
Se trata de la funcin Euleriana de primera especie o funcin gamma que se denota

por la notacin de ( z ), notacin ideada por Adrien - Marie Legendre (1752-1833). La funcin

gamma tiene como expresin 0 x z1ex dx, si x > 0 y z > 0. Es una funcin que extiende el
concepto de factorial a los nmeros complejos. Si la parte real del nmero z es positivo, en-

tonces la integral ( z ) = x z1ex dx converge absolutamente, si n es un entero positivo,
0
entonces (n) = (n 1)!, lo que demuestra la relacin de esta funcin con el factorial. De
hecho, la funcin gamma generaliza el factorial para cualquier valor complejo de n.
(*) La funcin gamma fue introducida por primera vez por el matemtico suizo Leonhard Euler (1707-
1783), con el objetivo de generalizar la funcin factorial a valores no enteros. Ms tarde, fue estudiada por ma-
temticos tales como Adrien-Marie Legendre (1752-1833), Carl Friedrich Gauss (1777-1855), Christoph Gudermann
(1798-1852), Joseph Liouville (1809-1882), Karl Weierstrass (1815-1897), Charles Hermite (1822-1901, entre otros.
Algunas de las propiedades de la funcin gamma son:
(0) =
(1) = 1
(n + 1) = n ! ( n) = ( n 1)!
(n + 1) = n(n), es la frmula de recurrencia.
( p ) = ( p 1) ( p 1), para p > 1

( p) = x p1e x dx tambin ( p) = 2 x 2 p1e x dx
2
0 0

( 12 ) = = 2 ex dx
2
Por ejemplo, para n = 0,1, 2,3, 4,5,6, 7,8,9,10,... obtenemos:
(0) = , (1) = 1; (2) = 1 (2 1)! = 1;

(3) = 2 (3 1)! = 2; (4) = 6 (4 1)! = 6
(5) = 24 (5 1)! = 24; (6) = 120 (6 1)! = 120
(7) = 720 (7 1)! = 720; (8) = 5040 (8 1)! = 5040
(9) = 40320 (9 1)! = 40320; (10) = 362880 (10 1)! = 362880
Por ejemplo, para p = 2,3,5,7,... obtenemos:

(2) = x 21e x dx = 1; (2) = 2 x 2(21) e x dx = 1
2
0 0

(3) = x31e x dx = 2; (3) = 2 x 2(31) e x dx = 2
2
0 0
6

(5) = x51e x dx = 24; (5) = 2 x 2(51) e x dx = 24
2
0 0

(7) = x7 1e x dx = 720; (7) = 2 x 2(71) e x dx = 720
2
0 0
Por ejemplo, para p = 1 2,3 2,5 3,... obtenemos:

(1 2) = (1 2) = 2 e x dx =
2

(3 2) = (3 2) = 1 e x dx =
2
2 2 0
3 3 3 1 1 3
(5 2) = (5 2) = (3 2) e x dx = = . =
2
4 0 4 22 2 4
2.2 Probar que (1 2) es un nmero trascendente.
Sea p un nmero real tal que 0 < p < 1. La funcin gamma ( p ) verifica la igualdad

, llamada frmula de los complementos. Como ( 12 ) = de donde
2
( p ) (1 p ) =
sen p

( 12 ) = = 2 ex dx, esto prueba en particular que ( 12 ) es un nmero trascendente.
2
2.3 Calcular la funcin (13 2).
Tenemos que ( 132 ) = 1197531

222222
( 12 ) = 10395
64
= 10395
64

. Este mismo resultado poda-
13 1 10395
mos haberlo obtenido aplicando alguna de las integrales, 0 x 2 e x dx =
64
o
1 x 2 10395
2
2 13
x 2
e dx = .
0 64
2.4 Frmula de Duplicacin para n .
La frmula de duplicacin es un caso especial del teorema de multiplicacin, as
1 1 3 5 3 1
n + = n n ....
2 2 2 2 2 2
1
= n (2n 1)(2n 3)...5 3 1
2
(2n)!
= 2n
2 n!
Por ejemplo, para (4 + 1 2)
1 9
4 + =
2 2
7 7 7 5 5 7 5 3 3
= = =
2 2 2 2 2 2 2 2 2
7 5 3 1 1 7 5 3 1 105
= = =
2 2 2 2 2 2 2 2 2 16
7
1 9 (2 4)! 105
4 + = = 24 =
2 2 2 4! 16
Por ejemplo, para (3 + 5 2)
5 11 9 7 5 3 1 945
3+ = = =
2 2 2 2 2 2 2 32
5 11 (2 5)! 945
3 + = = 25 =
2 2 2 5! 32
2.5 Calcular la funcin B ( p, q), para p = 3, q = 7.
Se trata de la funcin Euleriana de segunda especie o funcin beta que se conoce con
1
0 x
p1
la notacin de B( p, q). La funcin beta tiene como expresin (1-x)q-1 dx, es decir,
1
B( p, q) = x p1 (1-x)q-1 dx para p, q > 0.
0
Algunas propiedades de la funcin beta son:
B( 12 , 12 ) =
B ( p, q ) = B (q, p ), concepto de simetra.
B( p, q) = qp 1 B( p + 1, q 1), con p > 0, q > 1
(p)(q) = (p + q)B(p, q)
1 ( p ) ( q )
B ( p, q ) = x p 1 (1 x) q 1 dx =
0 ( p + q )
x p 1 ( p 1)!(q 1)!
B ( p, q ) = p+q
dx =
0 (1 + x) ( p + q 1)!
+ e xp
B ( p, q ) = dx
(1 + e x ) p + q
Aplicando los valores planteados para B (3,7), demostramos las propiedades de esta funcin:
1 1
B (3,7) = 73 1 B (3 + 1,7 1) = 2 =
504 252
1
(3)(7) = (3 + 7)B(3,7) = 2 720 = 362880 = 1440
252
1 (3) (7) 2 720 1
B (3, 7) = x 31 (1 x)7 1 dx = = =
0 (3 + 7) 362880 252
x 31 x 7 1 (3 1)!(7 1)! 1
B(3,7) = 3+ 7
dx = 3+ 7
dx = =
0 (1 + x) 0 (1 + x) (3 + 7 1)! 252
+ e x3 + ex7 1
B(3,7) = x 3+ 7
dx = x 3+ 7
dx =
(1 + e ) (1 + e ) 252
8
2.6 Calcular la funcin B ( p, q), para p = 52 , q = 72 .
( 52 ) ( 72 ) )( 531
( 231 ) 8
3 15

3 15
Tenemos que B( 25 , 72 ) = ( 52 + 72 )
= 2 222
(6) = 4
(5)! = 4120
8
= 256
3
.
Igual resultado podamos haber obtenido de aplicar la funcin integral
1 + e x 5/2 3
B( 52 , 72 ) = x 5/21 ( x 1)7/21 dx = dx =
0 (1 + e x )5/2+7/2 256
2.7 Calcular la funcin B( 32 , 92 ).
Primero calculamos la funcin gamma y despus la funcin beta:
( 32 ) = 12 ( 12 ) = 12 =
2
( 92 ) = 27252312 ( 12 ) = 105
24
= 10516
( 32 ) ( 92 ) ( 12 )( 105 ) 16
105 105

B( 23 , 92 ) = ( 32 + 92 )
= (12)
16
= 2
(11)! = 39916800
32
= 256
7
.
Por la funcin integral
1 x (3/21) 7
B( 32 , 92 ) = x3/21 ( x 1)9/ 21 dx = 3/2+9/2
dx =
0 0 (1 + x) 256
2.8 Calcular la constante ( ).
Conocida como constante de Euler - Mascheroni, (**) se ignora su naturaleza aritmti-

ca, es decir, si es racional o irracional, algebraica o trascendente, s es claro que tiene cierta
importancia en teora de nmeros.
1 1 1
La sucesin tiene como valor, = lim 1 + + + ... + ln n = 0,577216. En notacin su-
n 2 3 n
m
matoria podemos expresarla como = k1 ln m.
k =1
(**) Lorenzo Mascheroni (1750-1800) fue un matemtico italiano que logr una aproximacin geomtri-
ca del nmero , denominado mtodo de Mascheroni. En el ao 1790 public Adnotaciones and Calcu-
lum Integrale Euleri, un clculo aproximado de la constante ( ), que tiene un valor aproximado de
0,5772156649015328606065120900824024310422....
2.9 Calcular la funcin ( z ), para z = 1, 2,3, 4,...
La funcin digamma ( n ) se define como la derivada del logaritmo de (n) y tiene

d ln ( z ) '( z )
z 1
como expresin ( z ) = = que podemos escribir como
dz ( z ) k =1 k ( k + z 1)
donde es las constante de Euler y k un entero no negativo.

e z
Si usamos la expresin ( z ) =
z
(1 +
n =1
z 1 z n
n
) e donde es la constante de Euler - Masche-

roni, podemos tomar el logaritmo ln(( z )) = z ln z ln(1 + nz ) z n y derivando respec-
n =1
to de z, obtenemos
9

z 1
( z ) = 1z + ln( 1n n 1+ z ) = + ( k1 z +1k 1 ) =
n =1 k =1 k =1 k ( k + z 1)
Dando valores a z, obtenemos

z 1 3 11 25 137 49 363 761 7129
k (k + z 1) = 0,1, 2 , 6 , 12 , 60 , 20 , 140 , 280 , 2520
k =1
De haberse utilizado la funcin PolyGamma del programa Mathematica, el resultado hubiera

sido:
3 11 25 137 49 363 761 7129
Table[ PolyGamma[n],{n,1,10}] = ,1 , , , , , , , ,
2 6 12 60 20 140 280 2520
donde denota la constante de Euler - Mascheroni.
2.10 Calcular la funcin n ( z) para n = 1 y z = 1, 2,3, 4,5,6,7.
En matemticas, la funcin poligamma de orden n se define como
n ( z ) = ( dxd )n ( z ) = ( dxd )n+1 log ( z )
donde
'( z )
( z) = 0 ( z) =
( z )
es la funcin digamma.
Para 1 ( z ), con z = 1, 2,3, 4,5, 6, 7 obtenemos:
2 2 2 5 2 49 2 205 2 5269 2 5369

, 1 , , , , ,
6 6 6 4 6 36 6 144 6 3600 6 3600
Otra forma de calcular la funcin poligamma es

(1)n +1 n !
( 1)1+11! 2 5369
n (z) = n +1
= 1+1
=
k =1 ( k + z 1) k =1 ( k + 7 1) 6 3600
cuando 1 (7).
2.11 Calcular la funcin ( z )n = (5,7).
Se trata del smbolo factorial creciente ( z ) n de Pochhammer(***), que tiene como de-
( z + n 1)!
sarrollo ( z ) n = n(n + 1) ... (n + z 1) = .
(n 1)!
(5 + 7 1)! 11!
Aplicado a nuestro caso, (5)7 = 7(7 + 1) ... (7 + 5 1) = = = 55440.
(7 1)! 6!
10
( x + n 1)! (n + z )
La funcin ( z ) n tiene la propiedad de ( z ) n = = , que podemos
(n 1)! ( n)
(7 + 5) (12) 11!
comprobar, ( z ) n = = = = 55440.
(7) (7) 6!
(n 1)! (5 1)!
Otra de las propiedades de la funcin ( z ) n es que ( z ) n = = = 55440 donde
B ( z, n) B(7,5)
B ( z , n) es la funcin beta de Euler.
(***) Leo August Pochhammer (1841-1920), fue un matemtico prusiano, conocido por su trabajo sobre
funciones especiales. Introdujo el smbolo Pochhammer, usado hoy en da para expresar funciones hi-
pergeomtricas.
2.12 Demostrar los primeros valores de ( z )n para n entero y positivo.
Si n es un entero positivo y ( z ) n es el smbolo de Pochhammer, para los distintos valo-

res de n se generan los siguientes polinomios:
( z )0 = 1
( z )1 = z
( z )2 = z ( z + 1) = z 2 + z
( z )3 = z ( z + 1) ( z + 2) = z 3 + 3z 2 + 2 z
( z ) 4 = z ( z + 1) ( z + 2) ( z + 3) = z 4 + 6 z 3 + 11z 2 + 6 z
( z )5 = z ( z + 1) ( z + 2) ( z + 3) ( z + 4) = z 5 + 10 z 4 + 35 z 3 + 50 z 2 + 24 z
Si resolvemos la ecuacin z 5 + 10 z 4 + 35 z 3 + 50 z 2 + 24 z = 0, obtenemos como soluciones:
z1 = 0, z2 = -1, z3 = -2, z4 = -3, z5 = -4
Las soluciones de estos polinomios recorren todo el sistema completo de restos respecto al
grado de dicho polinomio. Dejamos en manos del lector la comprobacin de esta aseveracin.
15.3 Funciones Especiales
3.1 Series de Dirichlet.

an
En matemticas, una serie de Dirichlet es toda serie del tipo n
n=1
s
, donde s y an ,
n = 1,2,3,... son nmeros complejos. Las series de Dirichlet juegan un papel muy importante
en la teora analtica de los nmeros. Se llama Dirichlet en honor a Peter Gustav Lejeune Di-
richlet (1805-1859), matemtico alemn.
Son series famosas de Dirichlet

1
(s) = s
, que es la funcin zeta de Riemann, donde para s = 2, 4,6,8,10,... obte-
n =1 n

1 2 4 6 8 10
nemos ( s ) = s = , , , , ,...
n =1 n 6 90 945 9450 93555
11
1
(n)
= s , donde ( n ) es la funcin de Mbius. Para s = 2, 4,6,8,10,... obtene-
( s ) n =1 n
1
(n) 6 90 945 9450 93555
mos = s = 2 , 4 , 6 , 8 , 10 ,... que se conoce como inversin de Mbius.
( s ) n =1 n
( s 1) (n)
= s , donde (n) es la funcin Indicatriz de Euler. Para s = 3, 4,5,... ob-
(s) n =1 n
( s 1) (n) 2 90 (3) 4 945 (5) 6 9450 (7)

tenemos = s = , , , , , ,...
( s) n =1 n 6 (3) 4
90 (5) 6
945 (7) 8

(n)
Quizs la ms famosa de las series sea L(, s) =
s
, donde es un carcter de
n=1 n
Dirichlet y s una variable compleja cuyo componente real es > 1. Esta funcin tiene como
1
( p)
identidad L( , s ) 1 donde se demuestra que existen un nmero infinito de
p ps
nmeros primos en cualquier progresin aritmtica de la forma ax + b con (a, b) = 1.
Un carcter de Dirichlet es una funcin aritmtica completamente multiplicativa (n)
tal que existe un entero positivo k con (n + k) = (n) para todo n y (n) = 0, siempre que
mcd(n, k) > 1. Para el caso particular de la progresin 4k + 1, donde
(1)(n1)/2 para n impar

(n) =
0 para n par
es decir
(n) = 1 si 4k + 1 y (n) =1 si 4k + 3
Es fcil comprobar que (m n) = (m) (n), es multiplicativa.

La funcin L(, s) se define como

(n) 1 1 1
L( , s) = s
= 1 s + s s + .
n=1 n 3 5 7
La Identidad de Dirichlet toma la forma de

1 1 1 1 = 1 1 + 1 1 +

pi p j
pis p s
3s 5 s 7 s
j
donde pi son nmeros de la forma 4k + 1 y p j son nmeros de la forma 4k + 3.

En definitiva, obtenemos
9
(n) 2 4 6 8 10
L(k , j , s) = = , , (3), , (5), , (7), , (9), ,...
n=1 n
s
6 90 945 9450 93555
donde k es el mdulo, j es el ndice y s es un complejo arbitrario.
12
3.2 Funcin Zeta de Riemann
La funcin ( s ) es conocida como funcin Zeta de Riemann y est ntimamente ligada

al estudio de los nmeros primos. Definida para nmeros complejos s, su especificacin es

1
( s ) = s que converge absolutamente si s > 1, donde s = + it tales que > 1. Su con-
n=1 n
cepcin actual se debe al matemtico alemn Georg Friedrich Bernhard Riemann (1826-1866)
no obstante, desde Euclides (ao 300 a.C.) se sabe que la sucesin de nmeros primos es infi-

1 1
nita. Arqumedes (287-212 a.C.) pudo probar que la serie n = es convergente, es lo que
n =1 4 3
ahora se llaman series geomtricas. Por otra parte, Nicole Oresmes (1323-1382), el que fuera
obispo de Lisieux, en sus obras De Proportionibus Proportionum y Algorismus Proportionum,

1
prueba que la llamada serie armnica es divergente, ya que
n =1 n

1 1 3 11 25 137
n = 1 , 2 , 6 , 12 , 60 ,...
n =1
En el ao 1672 se publica en Italia un libro sobre la cuadratura del crculo denominado

Il Problema della Quadratura del Circolo, de Pietro Mengoli (1625-1686), un clrigo matemti-
co formado bajo la influencia de Bonaventura Cavalieri (1598-1647), donde ataca por primera
vez el uso de las series infinitas mediante la suma de una serie armnica alternada
1 1 1 1 (1)n +1
+ + ... + + ...
1 2 3 4 n
donde

(1)n +1

n =1 n
= log(2)
En 1730 Leonhard Euler (1707-1783), comienza sus trabajos sobre la funcin zeta de
1
Riemann. Sabe por estudios anteriores que no es convergente, sin embargo la suma de
n >1 n
los recprocos de los nmeros cuadrados converge hacia un valor interesante, esto es
1 2

n >1 n
2
=
6
, y lo prueba
1 1 5 49 205 5269 5369 266681 2

n >1 n
2
= , , , , , ,
1 4 36 144 3600 3600 176400
,...,
6
donde
5369 266681 2
< < 1,491389<1,511797<1,644934
3600 176400 6
los nmeros convergen pero muy lentamente.
13
En 1749 las observaciones de Euler de que el producto
{1 p }
1
s
= n s , s > 1
pP n =1
donde p recorre todos los nmeros primos P y n los nmeros naturales, ser el comienzo
de las investigaciones de Riemann sobre esta funcin.
Por ejemplo, para ( s), s = 2, 4,6,8,10 obtenemos

1 2 1 4 6 8 10
(2) = 2
= , (4) = 4
= , (6) = , (8) = , (10) =
n=1 n 6 n=1 n 90 945 9450 93555
Existe una relacin importante entre la funcin zeta y la funcin gamma. La funcin

1 x s1
1
zeta la podemos expresar como ( s ) =
( s ) 0 e 1
x
dx o como ( s ) = s
. Por otra parte,
n =1 n

la funcin gamma puede ser ( s ) = ( s 1)! o ( s ) = t s1et dt.

0
Por ejemplo, para s = 4,8,... obtenemos

Para (4) = (4 1)! = t 41et dt = 6.
0

Para (4) = (8 1)! = t 81et dt = 5040.
0

1 1 z 41 4
Para (4) =
6 0 e x 1
4
= dz =
n=1 n 90

1 1 z 81 8
Para (8) =
8 0 e x 1
8
= dz =
n=1 n 9450
En el caso de que s sea racional, operamos como si fueran enteros.

Ejemplo, para s = 3 7,11 7,... obtenemos

Para (3 7) = (3 7 1)! = t 3 71et dt = 2,067512...
0

Para (11 7) = (11 7 1)! = t11 71et dt = 0,8906177...
0

1 6
6
8 6
Si (6) = (6 1)! = 120 y (6) = 6
= donde 120 = , tambin se cumple que
n =1 n 945 945 63
z 6 1e 1 z 8 6
(6) (6) = =
0 1 e z 63
14
3.3 Funcin Zeta de Hurwitz
En matemticas, la funcin zeta de Hurwitz es una de las muchas funciones zeta que
existen. Fue descubierta por Adolf Hurwitz (1859-1919), un matemtico alemn que la defini
formalmente para un argumento complejo s y un argumento real a como

1
( s, a ) =
k =0 (k + a)
s
Por ejemplo, para s y a = 1, obtenemos

1 2 4 6 8 10 691 12 2 14 3617 16
(2 s,1) = = , , , , , , , ,...
k = 0 ( k + 1)
2s
6 90 945 9450 93555 638512875 18243225 325641566250

1 8 8 8 8
Si (8) = (8 1)! = 5040 y (8,1) = = donde 5040 = , tambin se
n=0 ( n + 1)
8
9450 9450 15
cumple que
z 81e 1z 8 8
(8) (8,1) = dz =
0 1 e z 15
3.4 Funcin Zeta de Lerch
La funcin Lerch transcendente es una funcin especial que generaliza la funcin zeta
de Hurwitz y el polilogaritmo, por lo que tambin es conocida como funcin zeta de Hurwitz -
Lerch. Su descubridor fue el matemtico checo Mathias Lerch (1860-1922) y se denota como

zn 1 z z2
( z , s, a) = = + + + ...
n =0 (n + a) a s (a + 1) s (a + 2) s
s
Por ejemplo:

1 10
Para (1,10,1) = s
= es la funcin zeta de Riemann.
n =0 n 93555

1 4
Para (1,4,1) = = es la funcin zeta de Hurwitz.
n = 0 ( n + 1)
4
90
(1) n 1
15 (5)
Para (1, s,1) =
n s (
= 1 21 s ( s) =
16
) , s = 5, es la funcin (n) de Di-
n=0

(1)n 1
richlet. La funcin eta de Dirichlet se define como (n) = s
= (1 21 s ) ( s ).
n =1 n

( 1) n 1 61 7
Para (1, s, 12 ) = = 2 s
( s , 1
) 2 s
( s , 3
) = , s = 7, es la funcin beta
n = 0 (2n + 1)
s 4 4
1440
de Dirichlet.
15
1 t 6 1e 3t 1 975 8 6 65 6
(6) 0 1 1e t
Para (1,6,3) = dt = + = + donde (n) es la
120 8 63 64 945
funcin gamma de Euler.
3.5 Serie de Farey
La serie de Farey de orden n, Fn , John Farey (1766-1826), se define como la serie as-
cendente de todas las fracciones irreducibles entre 0 y 1, cuyo denominador no excede de n,
esto es, la fraccin a / b pertenecer a la serie de Farey de orden n si, y slo si, 0 a b n y
mcd (a, b) = 1. Se llama mediana de dos fracciones a / b, c / d , la fraccin (a + c)(b + d ).
Las series de Farey cumplen las siguientes propiedades:
1. Dos trminos consecutivos de Fn , ai bi , ai +1 bi +1 , cumple que bi + bi +1 > n.

2. Si n > 1 entonces en Fn , las fracciones consecutivas no tienen el mismo denominador.
3. Dos trminos consecutivos de Fn , ai bi , ai +1 bi +1 , cumple que ai +1bi ai bi +1 = 1.
4. Tres trminos consecutivos de Fn , ai bi , ai +1 bi +1 , ai +2 bi +2 , cumple que
ai +1 ai + ai + 2
= .
bi +1 bi + bi + 2
5. El nmero de fracciones irreducibles con denominador 1 < m n es (m), de modo
n
que el nmero total de fracciones en la serie es de N ( n ) = 1 + (n) y la suma de
k =1
1
ellas vale 2 N( n) .
Por ejemplo, para Fn , n = 1,2,3, 4 y 5, obtenemos
0 1
Para F1 : 1 1
, Trminos extremos.
0 1 1
Para F2 : 1
, , 2 1 Se intercala un trmino
0 1 1 2 1
Para F3 : , , , ,
1 3 2 3 1 Se intercalan tres trminos
0 1 1 1 2 3 1
Para F4 : 1
, , , , , ,
4 3 2 3 4 1 Se intercalan cinco trminos
0 1 1 1 2 1 3 2 3 4 1
Para F5 : 1
, , , , , , , , , ,
5 4 3 5 2 5 3 4 5 1 Se intercalan nueve trminos
Por ejemplo, calcular las fracciones de la serie Fn , n = 7 y 9 y demostrar su relacin con la fun-
cin Indicatriz de Euler (n).
6
Para n = 7, al ser nmero primo, (7) = 7 = 6 nmeros primos con 7, esto es,
7
{1, 2,3, 4,5, 6} , las fracciones de F7 son
0
1
, 17 , 16 , 15 , 14 , 27 , 13 , 25 , 73 , 12 , 74 , 53 , 72 , 57 , 34 , 54 , 56 , 76 , 11 .
Observar que en los numeradores se repiten todos los nmeros de la funcin (n).
2
Para n = 9, como 9 = 32 , (9) = 9 = 6 nmeros primos con 9, que son
3
{1, 2, 4,5,7,8}.
16
Para F9, tenemos 01 , 91 , 81 , 71 , 61 , 51 , 92 , 14 , 72 , 13 , 83 , 52 , 73 , 94 , 12 , 95 , 74 , 53 , 85 , 32 , 75 , 43 , 97 , 54 , 95 , 76 , 87 , 98 , 11 .

Observar que en el numerador, aparte de los nmeros generados por (n), se repite el 6 co-
mo mltiplo de 3 y ste como mltiplo de 9, nmero propuesto.
3.6 Probar la relacin en las funciones (n, s ) y (n, s ), para s = 3,5.
La relacin que vincula a las funciones poligamma y zeta es que se igualan como

n (n, s ) = (n + 1, s ) = (k + s) s +1
k =1
luego, para resolver (n, s ) tendremos

( 1)1+ 31! 5 2
(1)1+51! 205 2
1 (3) = 1+1
= + y (5) = 1+1
= +
k +1 ( k + 3) 1) k +1 ( k + 5 1)
1
4 6 144 6
y para resolver (n, s ),

5 2
205 2
(1 + 1,3) = (k + 3)3+1 = + y (1 + 1,5) = (k + 5)3+1 = +
k =0 4 6 k =0 144 6
3.7 Probar la relacin entre las funciones digamma y poligamma
Esta funcin ( z ), estudiada anteriormente, se denomina funcin psi o digamma y se

define como ( z ) = d / dz ln ( z ) = d / dz ( z ) / ( z ), suponiendo que la parte real z sea posi-
tiva, esto es, que el argumento de z sea menor que / 2. Para su solucin podemos utilizar

t t
2z dt 2 z 2 dt + 1
(t 2 + z 2 )(et 1) ( t + z 2
)( et + 1)
ln( z ) 0 0
2z
o tambin

z 1
( z) =
k =1 k ( k + z 1)
Las funciones n (n, z ) denominadas poligamma, representan derivadas sucesivas y se

definen como n (n, z ) = (d / dz )n (n, z ) = ( d / dz ) n+1 ln ( z ) siendo n el orden de derivada y
suponiendo que z no sea cero o entero negativo. Si n es igual a cero, entonces, 0 ( z ) = ( z ).
La solucin se puede plantear mediante

(1)n+1 n!
n (n, z ) = n+1
.
k =1 ( k + z 1)
17
3.8 Probar la relacin entre las funciones Indicatriz de Euler y zeta
p1 1 p2 1 pn 1
Recordemos que (n) = n( p1 p2 ... pn ) es la funcin de Euler. Si hacemos que
1 1s
n( n ) = (1 + p( p ) + p( p ) + ...) resulta que = ( s(s )1) .
2
p
s s 2s 1 s11
n=1 p p p
3.9 Probar la relacin entre las funciones Mbius y zeta
Recordemos que (n) es la funcin Mbius que es 0 si no tiene algn factor cuadrado,
(1) si n es producto de r primos distintos o, 1 en los dems casos. Si comparamos las sumas
r

de ambas funciones, n( n ) = n1 = (1s ) .
s s
n=1 n=1
3.10 Probar la relacin entre las funciones Mangoldt y zeta
Se conoce como funcin de Von Mangoldt a ( n ) que se define por (n) = ln p si

n = p con p primo y k 1 o por ( n) = 0 en caso contrario.
k

Como ( s ) = n1s , si ahora derivamos respecto a s la igualdad ln ( s ) = ln(n()nn) s , obtenemos
n=1 n=2
( s )
= n(sn ) , con lo queda demostrada la relacin existente entre ambas funciones.
(s) n= 2
3.11 Probar la relacin entre las funciones ( x) y ( s )

La funcin ( x) se relaciona con la funcin ( s ) porque ln (s) = s
( x)
x( x s 1)
dx. El
2
teorema de los nmeros primos afirma que para grandes valores de x, esta funcin est
prxima a ln(xx ) , lo que quiere decir que lim ( x )xln( x ) = 1.
x
3.12 Demostrar que para todo entero n 1, existe por lo menos un entero m dife-
rente de n tal que (m) = (n), siendo ( x) la funcin Indicatriz de Euler.
Se trata de la conjetura o hiptesis de Robert Daniel Carmichael (1879-1967). Aunque

laborioso de encontrar, hay muchos, lo que no se sabe si su conjunto es finito o infinito.
Probemos con el 7 y el 14. Para (7) = 7( 77 1 ) = 6 y (14) = 7( 22 1 77 1 ) = 6. El primero es pri-
mo, por tanto tiene tantos primos con l como nmeros compongan su sistema completo de
restos. El segundo es compuesto 14 = 2 7, luego tomamos dos nmeros en el desarrollo y ob-
tendremos 6 nmeros {1,3,5,9,11,13} que son primos respecto al nmero 14.
Por este procedimiento pueden encontrarse algunas parejas como
(25) = (33) = 20 (61) = (77) = 60 (203) = (215) = 168

(41) = (55) = 40 (84) = (90) = 24 (488) = (496) = 240
18
3.13 Demostrar la utilidad de la funcin ( n ).
La funcin (n) se utiliza para la bsqueda de nmeros de Carmichael. Si n es un

nmero compuesto tal que satisface la congruencia a n a (md .n) y mcd (a, n) = 1, n es un
nmero de Carmichael.
Si la congruencia es de la forma b n1 1(md .n) o 2n 2(md .n), se consideran pseu-
do-primos de base b o pseudo-primos cuadrticos, respectivamente.
Es de observar la similitud que existe con el teorema de Fermat, que exige que n sea
primo.
Al tratarse de mdulos compuestos, su clculo se reduce considerablemente aplicando
el Sistema Chino de Restos.
Como muestra, vea la siguiente tabla:
a n a(md .n) bn1 1(md .n) 2n 2(md .n)

1291 12(md .91) 2340 1(md .341) 2341 2(md .341)
1651 16(md .51) 2560 1(md .561) 2561 2(md .561)
23759 23(md .759) 22820 1(md .2821) 2645 2(md .645)
107321 107(md .321) 1290 1(md .91) 21729 2(md .1729)
6171234 617(md .1234) 148744 1(md .745) 22821 2(md .2821)
15.4 Grupos Multiplicativos
4.1 Concepto de grupo
Un conjunto no vaco G sobre el cual se ha definido una operacin binaria (adicin

o multiplicacin) se llama grupo con respecto a esta operacin si para cualesquiera a, b, c G
se verifica que:
I. Para todos a , b G , a b G , G es cerrado mediante .

II. Para toda a , b, c G , (a b) c = a (b c) es una propiedad asociativa.
III. Existe un e G tal que a e = e a = a, para todo a G , como un elemento de iden-
tidad o neutro.
IV. Para cada a G existe un elemento b G tal que a b = b c = e, existencia de inver-
sos.
V. Para todo a G existe un a 1 G tal que a a 1 = a 1 a = u como elemento simtri-
co.
VI. Si a , b, c G , como a b = b c tambin b a = c a, entonces b = c es la ley de can-
celacin.
VII. Para a , b G , cada una de las ecuaciones a x = b e y a = b tiene una solucin ni-
ca.
VIII. Si a G , el simtrico del simtrico de a es a es decir, (a 1 ) 1 = a.
IX. Para cualesquiera a, b,..., p, q G, es (a b ... p q )1 = q 1 p 1 ... b 1 a 1 .
X. Si, dems, a b = b a para todos a , b G , entonces G es un grupo conmutativo o
abeliano.
El adjetivo abeliano es en honor al matemtico noruego Niels Henrik Abel (1802-1829).
19
Para cualquier a G y cualquier m Z + , se define
a m = a a a ... a de m factores.
a 0 = e, el elemento neutro de G.
a m = (a 1 )m = a 1 a 1 a 1 ... a 1 de m factores.
Para todo a G , a m a n = a m + n y (a m ) n = a mn , con m, n Z .
Con la suma ordinaria, , , y son cada uno un grupo abeliano. Ninguno de ellos es
un grupo mediante la multiplicacin, pues 0 no tiene inverso multiplicativo. Sin embargo
*, * y *, los elementos no nulos de , y , respectivamente, son grupos abelianos
multiplicativos.
Si (, +, ) es un anillo, entonces (, +) es un grupo abeliano; los elementos distintos

de un cuerpo forman un grupo abeliano multiplicativo.
Para n + , n > 1, tenemos que ( n , +) es un grupo abeliano. Si p es primo, (*p , )

es un grupo abeliano.
Para cualquier grupo G , el nmero de elementos de G es el orden de G que pode-

mos denotar como G . Cuando el nmero de elementos de un grupo no es finito, decimos
que G tiene orden infinito.
Se entiende por orden de un grupo G el nmero de elementos del conjunto y por or-
den de un elemento a G el menor entero positivo n, si existe, para el cual a n = e, es el
elemento neutro de G. Si a 0 es un elemento del grupo aditivo , entonces, puesto que
na 0 para todo entero positivo n, el orden de a es infinito.
Sea G = {a, b, c,...} un grupo respecto a . Cualquier subconjunto no vaco G ' de G se

llama subgrupo de G si G ' es l mismo un grupo con respecto a . Evidentemente G ' = e,
donde e es el elemento neutro de G y G mismo, son subgrupos de cualquier grupo G.
4.2 Grupos cclicos y generadores
Un grupo cclico es un grupo que puede ser generado por un solo elemento; es decir,
hay un elemento g del grupo G, llamado "generador" de G , tal que todo elemento de G
puede ser expresado como una potencia de g . Si la operacin del grupo se denota aditivamen-
te, se dir que todo elemento de G se puede expresar como ng , para n entero. En otras pa-
labras, G es cclico, con un generador g, si G = { g n | n } . Dado que un grupo generado por
un elemento de G es, en s mismo, un subgrupo de G , basta con demostrar que el nico sub-
grupo de G que contiene a g es el mismo G para probar que ste es cclico.
Por ejemplo, G = {e, g1 , g 2 , g 3 , g 4 } es cclico. De hecho, G es esencialmente igual (esto es, iso-
morfo) al grupo {1,2,3,4} bajo la operacin de suma mdulo 5. El isomorfismo se puede hallar
fcilmente haciendo g 1.
Salvo isomorfismos, existe exactamente un grupo cclico para cada cantidad finita de
elementos, y exactamente un grupo cclico infinito. Por lo anterior, los grupos cclicos son de
20
algn modo los ms simples, y han sido completamente clasificados. Por esto, los grupos ccli-
cos normalmente se denotan simplemente por el grupo "cannico" al que son isomorfos: si el
grupo es de orden n, para n entero, dicho grupo es el grupo n de enteros {0,1,, n 1} bajo
la adicin mdulo n. Si es infinito, ste es, como cabe esperarse, .
4.3 Clases y rdenes
Si la congruencia x a ( md .m ) es una relacin de equivalencia que permite clasificar

a los nmeros enteros, y por tanto los naturales, en clases de equivalencia, conjuntos forma-
dos por cada nmero entero y todos sus congruentes. En este caso se llaman clases de restos o
residuales, porque cada clase se puede representar por el resto que resulta al dividir cualquier
elemento entre el mdulo m.
Las clases mdulo m se representan por / por .
1. Para 2 = {0,1} , que son los dos restos producidos al dividir entre 2. El elemento 0
representa a los nmeros pares y el 1 a los nmeros impares.
2. Para 5 = {0,1, 2,3, 4} , en el que, por ejemplo el elemento 3 representa a los nme-
ros 3,8,13,18, 23, , que dan resto 3 al dividir por 5.
La clase m contiene exactamente m elementos: {0,1,3,4,5,6,, m 1}. A veces se

usan restos mnimos, admitiendo nmeros positivos y negativos, mediante la eleccin entre a
y a m del nmero con menor valor absoluto.
En los sistemas algebraicos las clases de restos tienen estructura de anillo para la suma
y el producto. El grupo aditivo de ese anillo es cclico, pues para cada elemento a del mismo
existe un h tal que a h = 0. Ese nmero h ha de ser divisor del mdulo m.
No todos los elementos tienen inverso. En caso afirmativo, se llaman inversibles, y su
conjunto coincide con las clases representadas por nmeros primos con m, incluyendo el 1.
Por tanto, su nmero coincide con (m) = m (1 1 p1 ) ,, (1 1 pn ) , denominado Indicatriz de
( m)
Euler. El inverso vendr determinado por a 1(md.m).
Los elementos inversibles forman un grupo multiplicativo, al que representaremos
*
como m , que son las clases residuales reducidas. Este carcter de grupo da lugar a que, si a
es inversible en m , existe un nmero natural r tal, que a r = 1. El nmero r mnimo que
*
cumple la anterior igualdad se llama, para todos los grupos !"#, #%& ! '()
%(! # (.
Es fcil ver que si a n 1(md .m), el exponente n deber ser mltiplo del orden r. Otra
consecuencia es que, si a es primo con m y se cumple que a x = a y entonces, han de ser
x = y. Si m es primo, sern inversibles todos los elementos y constituirn un cuerpo.
Si a, m son dos enteros positivos mcd (a, m) = 1, si (m) = e, entonces a 1(md.m)
e
y se denota como ord m = a. El orden multiplicativo de a mdulo m es el menor entero positi-

e
vo e que cumple a 1(md.m). Por ejemplo, para determinar el orden multiplicativo de
4 mdulo 7, 42 2(md.7) y 43 1(md.7), por lo que ord 7 4 = 3.
21
Algunas de las propiedades de los rdenes multiplicativos son:
1. Si ord m a = e, entonces a 1(md.m) si, y slo si e | n.

n
2. Si p es primo, entonces ord m a | p 1. En particular ord m a | (m).

3. Si ord m a = e, entonces a a (md.m) si, y slo si s t (md .e). Como mcd (a, m) = 1,
s t
s t
esto implica que a 1(md .m).
2 3 2 3
Referente al ejemplo anterior, como 4 2(md.7) y 4 1(md.7), 4 4 (md.7) equiva-
2 3
lente a 4 -4 1(md.7).
Por ejemplo, comprobar la relacin entre ord13 7. y ord13 5. Como mcd (5,13) = 1 = mcd (7,13),
calculamos 5 ,7 1(md.13), donde e es igual a 5 ,5 ,5 , 5 (md.13) = 5,12,8,1, por tanto
e e 1 2 3 4
54 1(md.13) y el orden multiplicativo ord13 5 = 4.

Ejemplo, encontrar todos los elementos de ord 21 5. Como (21) = (3) (7) = 2 6 = 12, los fac-
tores positivos de 12, son {1, 2,3,4,6,12} suficientes para valorar ord 21 5.
Como 5 ,5 ,5 , 5 , 5 (md.21) = 5,4,20,16,1, luego 5 1(md.21) y ord 21 5 = 6 es el orden
1 2 3 4 6 6
multiplicativo.
4.4 Races de la unidad y primitivas
Si z y n 2, z es una raz n-sima de la unidad s z n = 1. Si tenemos en cuenta

que en forma polar z = rei , entonces, por la formula de Moivre z n = r n ei luego, para que z
sea raz n-sima de la unidad, debe cumplirse z n = 1 (k )n = 2k . Como r 0 es un
2 k
nmero real, debe tenerse en cuenta que r = 1, y la condicin sobre es (k ) = ,
n
i 2 k
luego todos los nmeros complejos de la forma z = e n son races n-simas de la unidad.
Si elegimos r {0,1, 2,..., n 1} tal que k n r , es decir que k = r + nt , con t , entonces
2 k
i ( 2 nr + 2t ) i 2 nr i 2 nr i 2 nr
=e =e e i 2 t = e 1 = e
n i
e
Una raz n-sima de la unidad es cualquiera de los nmeros complejos z que satisfa-
cen a la ecuacin z n = 1. Las n races de la unidad son los nmeros e 2 i k n , donde k y n son
coprimos y representan n a la raz y k numerando las correspondientes soluciones para los
enteros comprendidos entre k = 0 y k = n 1, o lo que es lo mismo
2 k 2 k
cos + sen i, con (k = 0,1, 2,..., n 1)
n n
Las races n-simas de la unidad no reales aparecen en pares de conjugados.
Una raz primitiva de la unidad z es primitiva si todas las dems son potencias de z.
Por ejemplo, i es una raz cuarta de la unidad primitiva, pero 1 no lo es, puesto que sus po-
tencias impares son 1 y las pares +1.
22
El nmero de races primitivas diferentes viene determinado por la funcin Euler,

(n ). Por ejemplo, para z1 = 1 slo hay una raz primera de la unidad, igual a 1. Para z 2 = 1
2 i1/2
hay dos races: z1 = e = 1 y z2 = e2 i 2/2 = 1. Para z 3 = 1 hay tres races: z1 = e2 i 3/3 = 1,
1 + i 3 1 i 3
z2 = e 2 i1/3 = y z3 = e 2 i 2/3 = .
2 2
Las races de la unidad de la ecuacin cbica corresponden a los llamados enteros de

Eisenstein, en honor a Ferdinand Gotthold Eisenstein (1823-1852), y se representan como
1, , 2 .
La raz primitiva e2 i / n o su conjugada e 2 i / n se denotan a menudo como n , espe-

cialmente en las transformaciones discretas de Fourier.
Como los ceros del polinomio p( z) = z 1 son precisamente las races n-sima de la
n
unidad, cada uno con multiplicidad 1, el polinomio ciclotmico n-simo est definido por el
hecho de que sus ceros son, precisamente, las races primitivas n-sima de la unidad, cada una
con multiplicidad 1.
Si n 2, la suma de las n races de la unidad vale 0. Como e2 k i / n , k = 0,1,..., n 1, la

n 1
suma resulta S = e 2 ik / n . Si tenemos en cuenta que e2 ik / n = (e 2 i / n ) k , entonces resulta
k =0
n 1
S = (e2 i / n )k . Como n 2 y e2 i / n 1, obtenemos
k =0
(e 2 i / n ) 0 ( e 2 i / n ) n 1 1
S= 2 i / n
= =0
1 e 1 e 2 i / n
Por ejemplo, para z 7 = 1. Si tenemos en cuenta que z (7) = 1 z 6 1 = 0, utilizando

la frmula de Moivre, obtenemos
z0 =cos( 2k 6) + sen (2k 6)i = 1

1 3
z1 =cos( 2k 6) + sen (2k 6)i = + i
2 2
1 3
z2 =cos( 2k 6) + sen (2k 6)i = + i
2 2
z3 =cos( 2k 6) + sen (2k 6)i = 1
1 3
z4 =cos( 2k 6) + sen (2k 6)i = i
2 2
1 3
z5 =cos( 2k 6) + sen (2k 6)i = i
2 2
6 2 i 2 i 4 i 4 i 6 i 6 i

Ahora, si S = e2 ik /7 = e 7
+e 7
+e 7
+e 7
+e 7
+e 7
, tenemos
k =1
1 1
S= 6 i
=0
1 e 7
23
4.5 Estructura de los anillos
El anillo de los enteros (md . m) se denota como m , es decir, el anillo de enteros

mdulo, el ideal m = m que consta de los mltiplos de m o por m. El anillo de enteros
mdulo lo denominamos ( m) *.
Veamos algunos ejemplos de clases con exponentes de 2.
Para Mdulo 2 tiene slo una clase de congruencia con primos relativos, 1, por lo que
( 2)* {1} , es trivial.
Para Mdulo 4 tiene dos clases de congruencias con primos relativos, 1 y 3, por lo que
( 4)* C2 , es el grupo cclico de dos elementos.
Para Mdulo 8 tiene cuatro clases de congruencias con primos relativos, 1,3,5 y 7. El
cuadrado de cada una de ellas es 1, por lo que ( 8)* C2 C2 , es el grupo cclico de cuatro
elementos.
Para Mdulo 16 tiene ocho clases de congruencias con primos relativos

1,3,5,7,9,11,13 y 15 que representamos como {1, 7} C2 C2 , es el subgrupo 2-torsin es
decir, el cuadrado de cada elemento es 1, por lo que ( 16) * no es cclico. Las potencias de
3,{1,3,9,11} es un subgrupo de orden 4, al igual que las potencias de 5, {1,5,9,13} . As
( 16)* C2 C4 .
El modelo que se muestra para el 8 y el 16 es vlido para potencias superiores a

2k , k > 2 :
es el subgrupo 2-torsin, por lo que ( 2 k ) * no es cclico y las potencias de 3 son un sub-

grupo de orden 2k 2 , luego
( 2k )* C2 C2k 2 .
En las potencias de los nmeros primos impares de la forma p k , el grupo es cclico:
( 2k )* C pk 1 ( p 1) C (2k )
Por el teorema chino del resto si n = p1k1 p2k2 p3k3 ..., el anillo m es el producto direc-
to de los anillos correspondientes a cada uno de sus factores de exponentes primarios:
m p1k1 p2k2 p3k3 ...
Del mismo modo, el grupo de unidades ( m) * es el producto directo de los grupos

correspondientes a cada uno de los factores de exponentes primarios:
( m)* ( p1k1 ) * ( p2k2 ) * ( p3k3 ) *...
24
El orden del grupo viene determinado por la funcin Indicatriz de Euler :
( m) * = ( m)
este es el producto de los rdenes de los grupos cclicos en el producto directo.
El exponente viene determinado por la funcin de Carmichael (m), que es el Mnimo

Comn Mltiplo de los rdenes de los grupos cclicos. Esto significa que, dado m
a ( m ) 1(md .m)
para cualquier a relativamente primo con m y donde (m) es el menor nmero.
( m) * es cclico si y slo si (m) = (m). Este es el caso precisamente cuando m es

2, 4, una potencia de un primo impar, o dos veces el exponente de un primo impar. En este
caso, el generador es una raz primitiva mdulo m.
Ya que todos los ( n) * con m = 1, 2,3,..., 7 son cclicos, otra forma es que: Si m < 8
entonces ( m) * es una raz primitiva. Si m 8 es una raz primitiva si m es divisible por 4 o
por dos primos impares distintos.
En general, hay un generador para cada factor directo cclicos.
La funcin de Carmichael (ver http://oeis.org/A002322), en honor a Robert Daniel

Carmichael (1879-1967), puede ser definida como:
p k 1 ( p 1) si m = p k , p 3, k 2

(m) = 2k 2 si m = 2k , k 3

mcm = [ ( p1 ), ( p2 ),...,( pt )] si m = i =1 piki
k1 k2 kt t
Utilizando A002322 o la funcin CarmichaelLambda[m] de Mathematica, obtenemos los valo-

res de los 30 primeros nmeros, que son:
m 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
( m) 1 1 2 2 4 2 6 2 6 4 10 2 12 6 4 4 16 6 18 4
Por ejemplo, para ( 21)* C6 C2 tenemos
Exponente: (21) = (3 1)(7 1) = 12

Grupo z (21) = z12 1(md .21) = {1,2,4,5,8,10,11,13,16,17,19,20}
z (21) = z 6 1(md .21) = {1,2,4,5,8,10,11,13,16,17,19,20}
Si tenemos en cuenta que (21) = (3 1)(7 1) = 2 6 = 12, donde los factores positivos
de 12 son 1, 2,3, 4,6 y 12 nmeros posibles para valorar ord 21 5, 5 = (4 + 6) 2, y si
51 ,52 ,53 ,54 ,56 (md .21) = 5, 4, 20,16,1
25
donde 56 1(md .21), entonces ord 21 5 = 6, que es igual a (21) = 6.
Como
26 , 212 , 218 1(md .21)

202 ,204 ,206 , 208 , 2010 ,2012 , 2014 , 2016 , 2018 , 2020 1(md .21)
podemos decir que este grupo multiplicativo tiene dos generadores: g = 2, 20.
Los valores para z 6 1 = 0 son
2 2
1 3i 1 3i
z = 1, z = (1)1/3 = + = - 3 , z = - (1)1/3 = - - = 3 ,
2 2 2 2
2 2
1 3i 1 3i
z = (1) 2/3 = - + = , z = - (1) =
3 2/3
= - 3
2 2 2 2
3 3
1 3i 3i
y dado que ( ( 1)) = = e = 1, podemos asegurar que w = 1 con
3 3
2 2

w = exp( i 3).
La tabla siguiente recoge algunas caractersticas de los grupos multiplicativos
n ( n ) * ( n) (n) g n ( n ) * ( n) (n) g
2 {1} 1 1 1 12 C2 C2 4 2 5,7
3 C2 2 2 2 13 C12 12 12 2
4 C2 2 2 3 14 C6 6 6 3
5 C4 4 4 2 15 C2 C4 8 4 2,14
6 C2 2 2 5 16 C2 C4 8 4 3,15
7 C6 6 6 3 17 C16 16 16 3
8 C2 C2 4 2 3,7 18 C6 6 6 5
9 C6 6 6 2 19 C18 18 18 2
10 C4 4 4 3 20 C2 C4 8 4 3,19
11 C10 10 10 2 21 C2 C6 12 6 2,20
15.5 Funcin carcter de Dirichlet
5.1 Funcin Carcter.
Sea G un grupo abeliano finito, escrito de forma aditiva. Carcter de grupo es un

homomorfismo : G C*, donde G * es el grupo multiplicativo de los nmeros complejos
no nulos. Entonces (0) = 1 y ( g1 + g 2 ) = ( g1 ) ( g 2 ) para todo g1 , g 2 G. Si es un
carcter del grupo multiplicativo G, entonces (1) = 1 y ( g1 g 2 ) = ( g1 ) ( g 2 ) para todo
g1 , g 2 G. Se define el carcter de (0) en G por 0 ( g ) = 1 para todos los g G.
Si G es un grupo aditivo de orden n y si g G tiene orden d , entonces
26
( g ) d = (dg ) = (0) = 1
y por tanto ( g ) es raz de la unidad.

Se define el producto de caracteres 1 y 2 como
1 2 ( g ) = 1 ( g ) 2 ( g )
para todo g G. Es un producto asociativo y conmutativo. El carcter 0 es una identidad

multiplicativa, tal que
0 ( g ) = 0 ( g ) ( g ) = ( g )
para cualquier carcter , g G.

El inverso del carcter es el carcter 1 , que podemos definir como
1 ( g ) = ( g )
El conjugado del carcter es que podemos definir como
(g) = (g )
El dual de un grupo cclico de orden n es un grupo cclico de orden n. Presentamos las funcio-
nes exponenciales
e( x) = e 2 ix o bien e( x) = e( x n ) = e 2 ix n
Las races n-sima de la unidad son los nmeros complejos en (a ) para todo a = 0,1,..., n 1. Si
G es un grupo finito de orden n con un generador.
En teora de nmeros, los caracteres de Dirichlet son un cierto tipo de funciones

aritmticas que se derivan de caracteres completamente multiplicativos sobre las unidades
k . Si es un carcter de Dirichlet, se define su serie L de Dirichlet de la siguiente forma:

( n)
L( , s ) =
n =1 ns
donde s es un nmero complejo con la parte real mayos que 1. Por continuacin analtica,
esta funcin puede ser extendida a una funcin meromorfa en todo el plano complejo. Los ca-
racteres de Dirichlet son llamados as en honor a Johann Peter Gustav Lejeune Dirichlet.
27
Como definicin axiomtica, un carcter de Dirichlet es cualquier funcin de nme-

ros enteros a nmeros complejos, con las siguientes propiedades:
1. Existe un entero positivo k tal que ( n) = ( n + k ) para todo n.

2. Si mcd (n, k ) > 1 entonces (n) = 0; si mcd (n, k ) = 1, entonces (n) 0.
3. ( mn) = ( m) ( n) para todos los enteros m y n.
4. (1) = 1.
5. Si a b(md .k ), (a ) = (b).
6. Para todo a primo relativo con k , (a ) es una (n) sima raz de la unidad com-
pleja.
Estas propiedades son importantes:
Por la propiedad 3), (1) = (1 1) = (1) (1); puesto que el mcd (1, k ) = 1, por la pro-
piedad 2) tenemos (1) 0, que nos lleva a la propiedad (1) = 1, que es la forma principal o
trivial.
Las propiedades 3) y 4) nos muestran que cada carcter es completamente multiplica-

tivo, as la propiedad 1) dice que un carcter es peridico con periodo k ; se dice que es un
carcter segn el md . k . Si el mcd (1, k ) = 1, por la funcin Indicatriz de Euler tenemos
a ( k ) 1(md .k ), por tanto (a ( k ) ) (1) = 1 y ( a ( k ) ) = (a ) ( k ) .
Un carcter se llama real si sus valores son reales nicamente. Si el carcter no es real,
se dice que es complejo.
El signo de un carcter depende de su valor en 1. Especficamente, se dice que

es impar si (1) = 1 y par si (1) = 1, esto es
(1)( n 1) n si n es Impar
(n) =
0 si n es Par
Si *n es un grupo multiplicativo del orden (n ), y n su inverso, dado un carcter de

Dirichlet *n , es posible extenderlo a de manera que sea una funcin aritmtica com-
pletamente multiplicativa. En efecto, si : tenemos
(a ) si (a,n)=1
(a) =
0 si (a,n) > 1
Sea : un carcter de Dirichlet mdulo n, entonces algunas de sus propieda-

des son:
I. ( a) = (b), si a b(md .n)

II. (ab) = (a ) (b), a, b
III. (a ) = 0, si (a, n) > 1
IV. (a) = 1, si (a, n) = 1
28
(n) si a 1(md .n)

V. ( a) =
si a T 1(md .n)
a ( md .n ) 0
( n) si = 1
VI. (a) =
si 1
( md .n ) 0
Si n = n1n2 , con mcd ( n1 , n2 ) = 1, entonces
( n )* ( n1 ) *( n2 ) *
as que cada carcter multiplicativo (md .n) es producto 1 2 de los caracteres multiplica-
tivos 1 ( md .n1 ) y 2 ( md .n2 ), por lo que quedan establecidas las relaciones de ortogonali-
dad de los grupos multiplicativos mdulo n.
5.2 Tablas
A partir de los conocimientos que tenemos de los grupos multiplicativos con mdulo n,
vamos a proceder a calcular la funcin del carcter de Dirichlet. Los datos que nos servirn
de base sern los valores de:
n ( n) * ( n) (n) g G
5.2.1 Tabla del nmero 2
n ( n) * ( n) (n) g G
2 C2 1 1 1 {1}
En (2) = 1 hay (2) 1 carcter ( md .2). Tenga en cuenta que depende totalmen-
te de (1) ya que 1 genera el grupo de unidades del mdulo 2.
n 1
1 ( n ) 1
n ( n) * ( n) (n) g G
3 C2 2 2 2 {1, 2}
En (3) = 2 hay (3) 2 carcter (md .3). Tenga en cuenta que depende total-
mente de (2) ya que 2 genera el grupo de unidades mdulo 3.
n 1 2
1 ( n ) 1 1
2 ( n) 1 -1
29
n ( n) * ( n) (n) g G
4 C2 2 2 3 {1,3}
n 1 3
1 ( n ) 1 1
2 ( n) 1 -1
n ( n) * ( n) (n) g G
5 C4 4 4 2 {1, 2,3, 4}
n 1 2 3 4
1 ( n ) 1 1 1 1
2 ( n) 1 i -i -1
3 ( n) 1 -1 -1 1
4 ( n) 1 -i i -1
n ( n) * ( n) (n) g G
6 C2 2 2 5 {1,5}
n 1 5
1 ( n ) 1 1
2 ( n) 1 -1
n ( n) * ( n) (n) g G
7 C6 6 6 3 {1, 2,3, 4,5, 6}
En (7) = 6 hay (7) 6 carcter ( md .7). Tenga en cuenta que depende total-
30
n 1 2 3 4 5 6
1 ( n ) 1 1 1 1 1 1
2 i i 2 i i
2 ( n) 1 e 3
e3 e

3
e

3 -1
2 i 2 i 2 i 2 i
3 ( n) 1 e

3
e 3
e 3
e

3 1
4 ( n) 1 1 -1 1 -1 -1
2 i 2 i 2 i 2 i
5 (n) 1 e 3
e

3
e

3
e 3 1
2 i i 2 i i
6 ( n) 1 e

3
e

3
e 3
e 3 -1
n ( n) * ( n) (n) g G
8 C2 C2 4 2 3,7 {1,3,5, 7}
mente de (3) y (5) ya que 3 y 5 generan el grupo de unidades mdulo 8.
n 1 3 5 7
1 ( n ) 1 1 1 1
2 ( n) 1 1 -1 -1
3 ( n) 1 -1 1 -1
4 ( n) 1 -1 0 1
n ( n) * ( n) (n) g G
9 C6 6 6 2 {1, 2, 4,5, 7,8}
n 1 2 4 5 7 8
1 ( n ) 1 1 1 1 1 1
i 2 i i 2i
2 ( n) 1 3 3

3

3 -1
e e e e
2 i 2i 2i 2 i
3 ( n) 1
1
e3 e 3
e 3
e 3
4 ( n) 1 -1 1 -1 1 -1
2i 2 i 2 i 2i
5 (n) 1
3 3 3

3 1
e e e e
i 2i i 2 i
6 ( n) 1
3

3 -1
e e e3 e 3
31
n ( n) * ( n) (n) g G
10 C4 4 4 3 {1,3, 7,9}
n 1 3 7 9
1 ( n ) 1 1 1 1
2 ( n) 1 i -i -1
3 ( n) 1 -1 -1 1
4 ( n) 1 -i i -1
n ( n) * ( n) (n) g G
12 C 2 C 2 4 2 5,7 {1,5,7,11}
n 1 5 7 11
1 ( n ) 1 1 1 1
2 ( n) 1 -1 1 -1
3 ( n) 1 1 -1 -1
4 ( n) 1 -1 -1 1
Observar que, una de las propiedades de estas tablas, es que la suma de filas y colum-
nas es cero, salvo en la primera fila correspondiente a 1 ( n).
n ( n) * ( n) (n) g G
14 C6 6 6 3 {1,3,5,9,11,13}
Los valores de 2n vienen determinados por

i i 2 i 2 i

2 (n) = {1,(1)1/3 , (1)2/3 ,(1) 2/3 , (1)1/3 , 1} = 1, e 3 , e

3
,e 3
,e 3
, 1

n 1 3 5 9 11 13
1 ( n ) 1 1 1 1 1 1
i i 2 i 2i
2 ( n) 1
-1
e3 e 3
e 3
e 3
2 i 2i 2i 2 i
3 ( n) 1
1
e3 e 3
e 3
e3
4 ( n) 1 -1 -1 1 -1 1
2i 2 i 2 i 2i
5 (n) 1
3 3 3

3 1
e e e e
i i 2i 2 i
6 ( n) 1
3

-1
e e3 e 3
e 3
32
n ( n) * ( n) (n) g G
18 C6 6 6 5 {1,5, 7,11,13,17}
i 2i i 2i
{ }
Si 2n es equivalente a 1, (1) 2/3 , (1)1/3 ,(1)1/3 ,(1) 2/3 , 1 , 1, e 3 , e 3 , e 3 , e 3 , 1 y

1 3i 1 3i 1 + 3i 1 + 3i
1, , , , , 1 , confeccionar la tabla de caracteres de Dirichlet.
2 2 2 2
i
1 + 3i
Si tenemos en cuenta que w = (1)1/3 = = e 3 , w3 = 1, la tabla requerida podra tener
2
una estructura como
n 1 5 7 11 13 17
1 ( n ) 1 1 1 1 1 1
2 ( n) 1 w w2 w2 w -1
3 ( n) 1 w2 w w w2 1
4 ( n) 1 -1 1 -1 1 -1
5 (n) 1 w w2 w2 w 1
6 ( n) 1 w2 w w w2 -1
Tambin podemos comprobar que la suma de las n races de la unidad vale 0, lo que
nos proporciona una comprobacin fehaciente de que el valor de la tabla es correcto.
n ( n) * ( n) (n) g G
21 C 2 C6 12 6 2,20 {1, 2, 4,5,8,10,11,13,16,17,19, 20}
{
Si el valor 2n es 1,(1) 2/3 , (1)1/3 , (1)2/3 ,1,( 1)1/3 , (1)1/3 , 1,(1) 2/3 ,(1)1/3 , (1) 2/3 , 1 }
2 i 2 i i i 2 i 2 i i i

equivalente a 1, e 3 , e 3 , e 3 ,1, e 3 , e 3 , 1, e 3 , e 3 , e 3 , 1 , confeccionar la tabla de ca-

racteres de Dirichlet.
i
1 + 3i
Observar que w = (1)1/3 = = e 3 , w3 = 1, por lo que la tabla requerida podra tener
2
una estructura parecida a la del apartado anterior. Por ejemplo, para 11n obtenemos
n 1 2 4 5 8 10 11 13 16 17 19 20
11 ( n) 1 w w2 w 1 w2 w2 -1 w w2 w -1
por lo que tiene informacin suficiente para confeccionar la tabla requerida.
33
BIBLIOGRAFA
AIGNER y ZIEGLER, El Libro de las Demostraciones, ISBN: 84-95599-95-3
ALACA and KENNETH, Introductory Algebraic Number Theory, ISBN: 0-521-54011-9
ALEGRE ESPADA, Miguel y otros, Problemas sobre funciones de variable compleja, ISBN: 84-89607-30-3
APOSTOL, Tom M., Introduccin a la Teora Analtica de Nmeros, ISBN: 84-291-5006-4
AYRES, Frank Jr., lgebra Moderna, ISBN: 968-422-917-8
CLAPHAM, Christopher, Dictionary of Mathematics Originally, ISBN: 84-89784-56-6
COHN, Harvey, Advanced Number Theory, ISBN: 0-486-64023-X
COQUILLAT, Fernando, Clculo Integral, ISBN: 84-7360-017-7
GALN,PADILLA y RODRGUEZ, Anlisis Vectorial, ISBN: 84-96486-18-4
NATHANSON, Melvyn B., Elementary Methods in Number Theory, ISBN: 0-387-98912-9
SHIDLOVSKI,A.B., Aproximaciones Diofnticas y Nmeros Transcendentes, ISBN: 84-7585-156-8
SPIEGEL, Murray R., Variable Compleja, ISBN: 968-422-883-X
STOPPLE, Jeffrey, A Primer of Analytic Number Theory, ISBN: 0-521-01253-8
ZALDVAR, Felipe, Introduccin a la Teora de Grupos, ISBN: 968-36-3591-1
AYUDA INTERNET
http://en.wikipedia.org/wiki/Abelian_group
http://en.wikipedia.org/wiki/Dirichlet_character
http://en.wikipedia.org/wiki/Multiplicative_group_of_integers_modulo_n
http://hplusplus.files.wordpress.com/2009/01/investigacion-de-la-funcion-gamma-para-variable-
compleja.pdf (Excelente trabajo de investigacin sobre la funcin Gamma y sus funciones generadas del
profesor Harold L. Marzan)
http://lombok.demon.co.uk/mathToolkit/group/multiplicative (Orden multiplicativo de un grupo)
http://mathworld.wolfram.com/ (Todo el saber sobre Matemticas (en ingls))
http://mathworld.wolfram.com/FundamentalUnit.html
http://maxima.programas-gratis.net/ (Programa de Matemticas gratis, que puedes descargar e instalar)
http://www.branchingnature.org/Teoria_Grupos_Anillos_Dario_Sanchez_2004.pdf (Trabajo del profe-
sor Jos Daro Snchez Hernndez, que recomendamos)
http://www.di-mgt.com/cgi-bin/dirichlet.cgi?k=13&submit=+Go+ (Generador de Carcter de Dirichlet)
http://www.esacademic.com/searchall.php?SWord=funcion+zeta+de+riemann&stype=0
http://www.miscelaneamatematica.org/Misc33/balanzario.pdf (sobre la funcin Zeta)
http://www.numbertheory.org/php/php.html#quadratic_residues (Programa teora de nmeros)
http://www.uam.es/personal_pdi/ciencias/fchamizo/posgrado/STN_Caracteres.pdf (Importante trabajo
del profesor Fernando Chamizo Lorente).
http://www.wolframalpha.com/examples/ (Programa de matemticas en lnea. Realiza todo tipo de
operaciones)
34

Funesp PDF

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Funesp PDF

Uploaded by

Copyright:

Available Formats

Rafael Parra Macho FUNCIONES ESPECIALES Y CARCTER DE DIRICHLET

15. FUNCIONES ESPECIALES Y CARCTER DE DIRICHLET

15.1 Funciones Aritmticas

1.1 Funciones Aditivas y Multiplicativas.

1. f es multiplicativa si f ( p1e1 ... prer ) = f ( p1er ) ... f ( prer ) y si es multiplicativa, es to-

1.2 Funcin Nmero de Divisores ( n ).

Si N = p1e1 p2e2 ... prer es la descomposicin factorial de N , el nmero de divisores de dicho

Por ejemplo, si 728 = 21 32 411 , el nmero de divisores vendr determinado por

que son 1, 2,3, 6,9,18, 41,82,123, 246,369,738.

1.3 Funcin Suma de Divisores n (p).

La funcin n (p) es la suma de todos los nmeros naturales divisores de . Si  es pri-

Para todo nmero real o complejo y todo entero 1 definimos n (p) = d n

Que la funcin (n) es multiplicativa puede ser demostrado va ejemplo.

n (pq) = 1 + p + p + pq = (1 + p) + q(1 + p) = (1 + p)(1 + q)

n (1 + p)(1 + q) = n (p) n (q)

Si 1 (3 7) = 1 (3) 1 (7) entonces, 1 (3 7) = 1 + 3 + 7 + 21 = 32 = 4 8 = 1 (3)1 (7), con lo que

2 (1000) = 12 + 22 + 4 2 + 52 + 82 + 102 + 202 + 252 + 402 + 502 +

1.4 Funcin Indicatriz de Euler (n).

(n) = (p1e p1e 1) ... (pr e pr e 1)

En general, la funcin Indicatriz de Euler puede ser expresada como

(720) = 720(1 12 )(1 13 )(1 15 ) = 720( 21 )( 23 )( 45 ) = 720( 308 ) = 5760

Este resultado podemos expresarlo como

(720) = (16) (9) (5) = 16(1 / 2) 9(2 / 3) 5(4 / 5) = 8 6 4 = 192

demostrndose que la funcin (n) es multiplicativa.

1.5 Funcin Mbius (n).

La funcin de Augustus Ferdinand Mbius (1790-1868) destaca que ( n) = 0 si, y slo

para algn n > 1 entonces, ( n) = 0.

(1) ( n ) = (1) ( n ) si (n)=(n)

donde ( n ) obtiene el nmero de primos distintos que dividen al nmero n, y ( n) obtiene

( 45) = (5) (9) = 0

Queda demostrado que la funcin (n ) no slo es multiplicativa, si no que 2 es la

Vamos a probar la relacin de esta funcin con (n ).

producto de primos distintos.

1.6 Funcin de Mangoldt (n).

cumple la siguiente identidad donde log n = (d ) que es la suma los d

log n = (d ) = 0, log 2, log 3, 0, log 3, 0 = log(2 3 3) = log18

1.7 Funciones de Chebyshev (x) y (x).

goldt (n) es que (n) = (n).

La equivalencia entre ambas funciones viene determinada por

(10) = log2 + log 3 + log 5 + log 7

1.8 Funcin de Liouville (n).

Para (d) =(1,2,3,6,9,18) = {1,1,1,1,1,1} =1

1.9 Funciones Factor Primo (n) y (n).

primos diferentes que dividen a n. La funcin a (n) es multiplicativa. Si m y n no tienen facto-

15.2 Funciones Eulerianas y afines

2.1 Funcin Gamma (*)

Se trata de la funcin Euleriana de primera especie o funcin gamma que se denota

Algunas de las propiedades de la funcin gamma son:

Por ejemplo, para n = 0,1, 2,3, 4,5,6, 7,8,9,10,... obtenemos:

(0) = , (1) = 1; (2) = 1 (2 1)! = 1;

Por ejemplo, para p = 2,3,5,7,... obtenemos:

Por ejemplo, para p = 1 2,3 2,5 3,... obtenemos:

2.2 Probar que (1 2) es un nmero trascendente.

2.3 Calcular la funcin (13 2).

Tenemos que ( 132 ) = 1197531

2.4 Frmula de Duplicacin para n .

La frmula de duplicacin es un caso especial del teorema de multiplicacin, as

Por ejemplo, para (4 + 1 2)

Por ejemplo, para (3 + 5 2)

2.5 Calcular la funcin B ( p, q), para p = 3, q = 7.

Algunas propiedades de la funcin beta son:

2.6 Calcular la funcin B ( p, q), para p = 52 , q = 72 .

2.7 Calcular la funcin B( 32 , 92 ).

La funcin n (p) es la suma de todos los nmeros naturales divisores de . Si es pri-