Abstraction & Application 9 (2013) 74 81

UADY

Sobre las funciones zeta y multizeta (I)

a

Vctor Manuel Bautista Ancona, b Jose Alejandro Lara Rodrguez

Facultad de Matematicas, Universidad Autonoma de Yucatan
a

vbautista@uady.mx, b lrodri@uady.mx
Abstract

In this paper, we define the zeta and multizeta functions. For zeta functions, we describe some of their
properties, analytic continuation, functional equation and the relationship of his zeroes with Bernoulli
numbers. Also, we describe the properties of multizeta function and his close relationship with the original
zeta function.
Resumen
En este artculo definimos las funciones zeta y multizeta. Para las funciones zeta describimos algunas
de sus propiedades, su continuaci
on analtica, su ecuaci
on funcional y la relaci
on de sus ceros con los
n
umeros de Bernoulli. Tambien, describimos la funci
on multizeta y su cercana relaci
on con la funci
on
zeta.

Keywords and phrases : Funci

on zeta, funci
on multizeta, continuaci
on analtica, ceros de funciones, n
umeros de Bernoulli.
2010 M athematics Subject Classif ication 11M06, 11M32, 11B68.

La funci
on zeta de Riemann, y sus generalizaciones en diversos contextos, son algunas de las funciones
m
as importantes en la teora de n
umeros; en particular, los valores de la funcion zeta en argumentos enteros
parecen dictar las propiedades m
as importantes de los objetos a los cuales estan asociados. En este artculo
se introduce la funci
on zeta de una variable y su generalizacion a r variables, denominada funcion multizeta,
y se muestran algunas de la las relaciones algebraicas que existen entre los valores (s1 , . . . , sr ) de estas
funciones. Los valores de las funciones zeta cuando r = 1, 2, fueron estudiados originalmente por L. Euler. A
manera de ejemplo de estas relaciones algebraicas, mencionamos la relacion (3) = (2, 1) descubierta por
L. Euler. En [Zag94], D. Zagier define y estudia la funcion multizeta para cualquier n
umero de variables.

1.

Euler y la funci
on zeta
La serie de Dirichlet
(s) =

ns

(1.1)

n=1

converge si s > 1 y diverge si s 1. El trabajo de Euler empezo alrededor de 1730 con aproximaciones al
valor de (2).
74

Vctor Bautista, Alejandro Lara

75

Euler trabaj
o con la funci
on modificada
(s) =

(1)

n1

ns = 1 21s (s) .

n=1

Haciendo s = 0 en la suma para (s) formalmente obtenemos 1 1 + 1 1 + ; Euler, sin miedo de tal
serie divergente, realiz
o lo siguiente:
1
= 1 + x + x2 + x3 + xn + ,
1x
y as,
1
1
= = 1 1 + 1 + = (0) .
1 (1)
2
d
Para obtener los valores de (s) en los otros enteros positivos, Euler aplico repetidamente el operador x dx
1
a 1x y evalu
o en x = 1. Por ejemplo,

1
= 1 2 + 3 4 + 5 + ,
4
lo maravilloso de todo esto es que, Euler encontro exactamente los valores Riemann que obtuvo rigurosamente
muchos a
nos despues va el an
alisis complejo.
Habiendo calculado los valores de (s) (y de aqu, los de (s)) en los enteros positivos, Euler encontr
o (alrededor de 1749) que para valores peque
nos n 2, uno tiene
(
n
(1) 2 +1 (2n 1)(n1)!
(1 n)
si n es par,
(2n1 1) n
=
(n)
0
si n es impar.
Usando las funciones gamma (s) y coseno, Euler conjeturo que
(s) (2s 1) cos
(1 s)
=

(s)
(2s1 1) s

s
2

,

lo cual marca el original descubrimiento de la ecuacion funcional para (s) . Para mas detalles ver [Ay74].

2.

Riemann, la continuaci
on analtica y la ecuaci
on funcional
Riemann toma como punto de inicio la formula
1

X
Y
1
1
(s) =
=
1 s
,
ns
p
p
n=1

(2.1)

donde el producto infinito se toma sobre todos los n

umeros primos. Esta formula, la cual es ahora conocida
como la f
ormula del producto de Euler, aparece por primera vez en el libro de L. Euler publicado en 1748 y
que lleva por ttulo Introductio in Analysin Infinitorum. Esta formula muestra como la funcion zeta codifica
informaci
on relativa a los n
umeros enteros y la distribucion de los n
umeros primos.
El desarrollo del an
alisis complejo fue uno de los intereses conocidos de Riemann y por lo tanto, no es
de sorprenderse que al principio Riemann considerara a s como una variable compleja. De hecho, es f
acil
mostrar que ambos lados de la f
ormula del producto de Euler convergen para s compleja en el semiplano
Re (s) > 1, pero Riemann fue mucho m
as alla y mostro que ambos lados de (2.1) divergen para otros valores
de s, entonces la funci
on definida tiene sentido para todos los valores de s excepto por un polo en s = 1.
Esta extensi
on del rango de s requiere unos pocos hechos acerca de la funcion factorial la cual no hablaremos
aqu (el lector interesado puede consultar [Ed74]).

76

Sobre las funciones zeta y multizeta

La funci
on zeta de Riemann es la continuacion analtica de la serie de Dirichlet (1.1) a todo el plano
complejo menos el punto s = 1. En particular, para Re (s) > 1, la funcion zeta de Riemann esta definida por
(s) = Z (s) =

ns .

n=1

P
as
Es interesante notar que Riemann nunca habla de continuacion analtica de la funcion n=1 ns m
all
a del semiplano Re (s) > 1, pero habla de hallar una formula la cual permanece valida para toda s. Esto
indica que el vi
o el problema en terminos de una funcion factorial que como una extension pedazo a pedazo
de la funci
on en la manera en como la continuacion analtica se hace hoy en da.
Como mencionamos antes, Euler tena una prueba emprica de la ecuacion funcional para la funcion zeta,
y es enteramente posible que Riemann la encontrara en el trabajo de Euler. Sin embargo, Riemann es el
primero en dar una prueba rigurosa de una forma ligeramente distinta a la dada por Euler.
Teorema 2.1 (Riemann) La funci
on zeta (s) es analtica en todo el plano complejo excepto en su polo
simple s = 1 con residuo 1. Y adem
as, satisface la ecuaci
on funcional
 s 
(1 s) (1 s) .
(s) = 2s s1 sen
2
En la ecuaci
on funcional, uno puede multiplicar por s (s 1) para eliminar el polo en s = 1, respetando
la simetra, entonces si uno introduce la funcion zeta extendida
s
s
1
(s) ,
(s) = s (s 1) 2
2
2
au
nicamente en esta expresi
on por razones historicas porque Riemann en su memoria utiliz
o la
(el factor 21 est
funci
on (s) = (s 1)), la ecuaci
on funcional se convierte
(s) = (s 1) .
La ecuaci
on es una funci
on entera de orden 1 cuyos ceros son los ceros de excepto por los triviales. Dado
que (s) es no cero cuando Re (s) > 1, la funcion no se anula para Re (s) < 0, as que todos los ceros se
mantienen el la franja crtica 0 Re (s) 1.

3.

Los n
umeros de Bernoulli y los ceros de la funci
on zeta
En la actualidad, las f
ormulas
1 + 2 + + n

12 + 22 + + n2

13 + 23 + + n3

n (n + 1)
,
2
n (n + 1) (2n + 1)
,
6
2
n2 (n + 1)
4

son conocidas. Pero fue en 1631, cuando Johann Faulhaber (conocido en sus das como El Gran Aritmetico
de Ulm) public
o su libro Academia Algebra donde exhibe una formula para la suma de las potencias mayores:

 
 
 
 

1 k
k k1 1
k k2 1
k k3
k k4 1
1k1 +2k1 + +nk1 =
n +
n
+
n
+
n
0+
n

+ .
k
1
2
2
6
3
4
30
Observe que la expresi
on entre corchetes es exactamente como la formula binomial, excepto que no tiene
termino constante y los otros terminos son multiplicados por ciertas constantes:
1,

1 1
1
1
1
5
, , 0,
, 0,
, 0,
,
, 0, . . .
2 6
30
42
30 66

Vctor Bautista, Alejandro Lara

77

Estas constantes en la f
ormula de Faulhaber son conocidos como los n
umeros de Bernoulli, dado que ellos
fueron intensamente discutidos por Jacob Bernoulli en su famoso Ars Conjectandi, publicado en Basel en el
a
no 1713, donde Bernoulli le d
a todo el credito a Faulhaber.
A continuaci
on, definimos los n
umeros de Bernoulli.
Definici
on 3.1 Para cada n
umero complejo x, definimos la funci
on Bn (x) por la ecuaci
on

X
zexz
Bn (x) n
=
z ,
z
e 1 n=0 n!

en donde |z| < 2. Las funciones Bn (x) son llamadas polinomios de Bernoulli. Los n
umeros de Bernoulli
Bk = Bk (0) son definidos por la ecuaci
on
X
xk
x
B
=
.
k
ex 1
k!
n0

Entonces tenemos que B0 = 1, B1 = 12 y B2n+1 = 0 para n 1. Los primeros valores de los n

umeros
de Bernoulli son
B2 =

1
,
6

B4 =

1
,
30

B6 =

1
,
42

B8 =

1
,
30

B10 =

5
,
66

(5) =

1
,
252

B12 =

691
.
2730

Observemos que
n1

(1 n) = (1)

Bn
.
n

De aqu, (1 n) = 0 para n 3 impares y para n par tenemos

(1 n) =

Bn
Q.
n

En particular,
1
(0) = ,
2

(1) =

1
,
12

(3) =

1
,
120

(7) =

1
240

y (2k) = 0 para k 1. Estos son conocidos como los ceros triviales de la funcion zeta . Hacemos
notar que estos ceros triviales viven en la lnea real.

4.

La hip
otesis de Riemann

Es conocido que todo numero natural se puede escribir como un producto de n

umeros primos, por ejemplo
36 = 22 32 . Este hecho se conoce como el Teorema Fundamental de la Aritmetica. Es importante mencionar
que los n
umeros primos est
an presentes en nuestra vida diaria. Por ejemplo, cada vez que visitamos una
p
agina web, nos conectamos a cualquier red social, realizamos compras en lnea o transacciones bancarias,
estamos usando los n
umeros primos para mantener nuestra informacion privada. El principio que se usa
es simple: es m
as f
acil multiplicar n
umeros que factorizarlos. Escribir un n
umero de 1000 dgitos como un
producto de primos parece ser algo que est
a fuera del alcance de las tecnologas actuales. La seguridad de los
algunos metodos actuales de cifrado depende precisamente de que no existen metodos computacionalmente
eficientes para factorizar n
umeros grandes.
Dado que los n
umeros primos son los bloques de construccion de los enteros, es natural preguntarse como
est
an los distribuidos los n
umeros primos entre los enteros. Al respecto se tiene

78

Sobre las funciones zeta y multizeta

There are two facts about the distribution of prime numbers. The first is that, despite their
simple definition and role as the building blocks of the natural number, the prime numbers belong
to the most arbitrary and ornery objects studied by mathematicians: they grow like weeds among
the natural numbers, seeming to obey no other law than that of chance, and nobody can predict
where the next one will sprout. The second fact is even more astonishing, for it states just the
opposite: that the prime numbers exhibit stunning regularity, that there are laws governing their
behavior, and that they obey these laws with almost military precision.
Don Zagier[Zagier75]
En espa
nol dice m
as o menos lo siguiente:
Hay dos hechos sorprendentes acerca de la distribucion de los n
umeros primos. El primero
es que, a pesar de su definici
on tan simple y su papel como los bloques a partir de los cuales se
construyen los n
umeros naturales, son los objetos mas arbitrarios y enga
nosos estudiados por los
matem
aticos: crecen como hierba entre los n
umeros naturales, y parece que no obedecen ninguna
ley excepto a la casualidad, y nadie puede predecir donde brotara el siguiente n
umero primo. El
segundo hecho es a
un m
as increble, porque es exactamente opuesto al primero: los n
umeros primos exhiben una regularidad impresionante as que hay leyes que gobiernan su comportamiento,
y que obedecen a estas leyes con precision casi militar.
Don Zagier[Zagier75]
El matem
atico Alem
an G.F.B. Riemann (1826-1866) observo que la frecuencia de los n
umeros primos
est
a ntimamente relacionada con el comportamiento de la ahora llamada funcion zeta. La conexion de la
funci
on zeta de Riemann con los n
umeros primos queda de manifiesto en la Ecuacion 2.1 conocida como
Producto de Euler. Aparte de los ceros triviales de la funcion zeta en los enteros negativos pares, que
pertenecen todos a la recta real, hay otros ceros, llamados ceros no triviales. Riemann formulo la siguiente
conjetura:
Hip
otesis de Riemann. Los ceros no triviales de (s) son de la forma
Re(s) = 12 .

1
2

+ i, es decir, estan sobre la recta

La Hip
otesis de Riemann, que es el problema no resuelto mas famoso en teora de n
umeros, da una
respuesta muy precisa a la pregunta de c
omo estan distribuidos los n
umeros primos.
Para los enteros pares positivos m se tiene el Teorema de Euler
(m) =

Bm (2i)m
.
2(m!)

Hasta la fecha no se conoce una f

ormula para (2k + 1) analoga a la anterior. Gracias a R. Apery [Ape79]
se sabe que (3) es irracional. En general, no se sabe si (2k + 1) es un n
umero racional o irracional. En
2001, K. Ball y T. Rivoal probaron que hay una infinidad de valores irracionales de la funcion zeta de
Riemann en los n
umeros impares [BR01]. En 2002, T. Rivoal probo que al menos uno de los nueve n
umeros
(5), (7), . . . , (21) es irracional [Riv02].

5.

Euler y la funci
on multizeta

L. Euler trat
o sin exito de encontrar una formula explcita para (3). Durante este proceso aparecieron las
zetas dobles tambien llamadas ahora valores multizeta. Antes de definir las zetas dobles o mas generalmente,
las funciones multizeta, recordemos la notacion de sumas iteradas. Sean f1 , . . . , fr funciones definidas en
n
umeros enteros. Entonces
X
f1 (n1 ) fr (nr )
N >n1 >>nr >0

Vctor Bautista, Alejandro Lara

79

se define de manera iterativa como sigue:

X
f1 (n1 ) fr (nr ) =
N >n1 >>nr >0

f1 (n1 )

f2 (n2 ) fr (nr ).

n1 >n2 >>nr >0

N >n1 >0

Por ejemplo, si a, b Z+ , y f1 (n) = 1/na y f2 (n) = 1/nb , entonces

X
5>n1 >n2

X
1
=
a
b
n n
5>n >n
>0 1 2
1

f1 (n1 )f2 (n2 ) =

2 >0

4
X
1
na
n =1 1
1

4 nX
1 1
X
1
1
=
.
b
a
n
n nb
>0 2
n =1 n =1 1 2

X
n1 >n2

En 1775, aproximadamente 30 a
nos despues de que introdujo los valores zeta, L. Euler [Eul75] introduce
las zetas dobles
(s1 , s2 ) =

1
s1 s2
n
n
>0 1 2

X
n1 >n2

(s1 , s2 Z, s1 > 1, s2 > 0).

La condici
on s1 > 1 es necesaria para la convergencia de la serie. Euler estudio por muchos a
nos esta nueva
serie y descubri
o algunas identidades, tales como (3) = (2, 1) y
(s, 1) + (s 1, 2) + + (2, s 1) = (s + 1).
En 1992 [Zag94], D. Zagier generaliza de manera natural la funcion zeta en dos variables. Sean s1 , . . . , sr
enteros positivos con s1 > 1. El valor zeta m
ultiple o valor multizeta (s1 , . . . , sr ) de peso s1 + + sr y
longitud r asociado con la r-ada (s1 , . . . , sr ) esta dado por
(s1 , . . . , sr ) =

X
n1 >n2 >>nr

1
.
s1 s2
n
n
nsrr
>0 1 2

Igual que antes, la condici

on s1 > 1 se requiere para garantizar la convergencia de la serie. Cuando r = 1,
tenemos el valor zeta cl
asico, de tal manera que los valores multizeta son una generalizacion de los valores
zeta.
En 1949, F. V. Atkinson [Atk49] prueba la continuacion analtica de la funcion zeta en dos variables. En
2000, J. Zhao [Zha00] prueba que en la region
{(s1 , . . . , sr ) | Re(s1 ) > 1,

r
X

Re(si ) > r}

i=1

la funci
on multizeta de longitud r es absolutamente convergente. En ese mismo artculo J. Zhao prueba que
esta funci
on se extiende por continuaci
on analtica a una funcion meromorfa en todo Cr , con posibles polos
en s1 = 1. En 2001, S. Akiyama y otros [AET01] presentan otra prueba de la continuacion analtica de la
funci
on multizeta de longitud r.
Por valor multizeta (s1 , . . . , sr ) nos referimos a la funcion multizeta evaluada en (s1 , . . . , sr ). Los valores
multizeta surgen de manera natural al multiplicar dos valores zeta. Recordemos que el producto de Cauchy
de dos series convergentes, es convergente, si al menos una de las dos series converge absolutamente. La serie
que define a un valor zeta es absolutamente convergente si Re(s) > 1.
Dado que la serie que define a la funci
on zeta de Riemann es absolutamente convergente para Re(s) > 1,
el producto (a)(b) es una serie convergente y de hecho absolutamente convergente. Por lo tanto, cualquier
reordenamiento del producto de las series converge y de hecho converge al producto de las series. De acuerdo
con la definici
on de producto de Cauchy para series, tenemos
(a)(b) =

X
X
X
X
X
1
1
1
1
1
+
=
+
+
.
a
b
a
a
b
a+b
n
n
n
n n
n nb
n=1
n=1
n=1
n >n >0 1 2
n >n >0 1 2
2

80

Sobre las funciones zeta y multizeta

Por lo tanto, se sigue que

(a)(b) = (a + b) + (b, a) + (a, b).

(5.1)

De manera esquem
atica tenemos que el producto



1
1
1
1
1
1
(a)(b) =
+ a + a +
+ b + b +
1a
2
3
1b
2
3
da por resultado
1
1a 1b
1
2a 1b
1
3a 1b
1
4a 1b
1
5a 1b
...

+
+
+
+
+

1
1a 2b
1
2a 2b
1
3a 2b
1
4a 2b
1
5a 2b

+
+
+
+
+

1
1a 3b
1
2a 3b
1
3a 3b
1
4a 3b
1
5a 3b

+
+
+
+
+

1
1a 4b
1
2a 4b
1
3a 4b
1
4a 4b
1
5a 4b

+
+
+
+
+

1
1a 5b
1
2a 5b
1
3a 5b
1
4a 5b
1
5a 5b

+
+
+
+
+

La suma de los elementos en la diagonal, es decir, los sumandos de la forma na1nb da por resultado (a + b);
los suma de todos los elementos que est
an por arriba de la diagonal, es decir, la suma de los elementos de
an
la forma na1nb con n1 < n2 , da por resultado (b, a). Finalmente, la suma de todos los elementos que est
1 2
por debajo de la diagonal da (a, b).
Sean n1 , n2 enteros tales que n1 > n2 . Dado otro entero n, se dan cinco posibilidades: n > n1 > n2 ,
n = n1 > n2 , n1 > n > n2 , n1 > n = n2 y n1 > n2 > n. Por lo tanto,

(a)(b, c) =
=

X
1
a
n
n=1
X

1
b nc
n
>0 1 2

X
n1 >n2

na nb1 nc2
n>n1 >n2

X
n1 >n=n2

na+b nc2
n=n1 >n2 >0 1

1
+
b
n na+c n
>0 1 2

nb na nc2
n1 >n>n2 >0 1

nb1 nc2 na
1 >n2 >n>0

De esta manera llegamos a

(a)(b, c) = (a, b, c) + (a + b, c) + (b, a, c) + (b, a + c) + (b, c, a).

(5.2)

Nos referiremos a las sumas del tipo (5.1) o (5.2) como sumas barajeadas cl
asicas.
En general, el producto de dos valores multizeta es una Z-combinacion lineal de valores multizeta. Luego
el Q-espacio lineal generado por todos los valores multizeta es una Z-algebra.
En la actualidad sigue siendo de interes el problema de entender las relaciones algebraicas entre los valores
multizeta. Adem
as, estos tienen ciertas conexiones con topologa [LM95] y fsica [BK97]. Las relaciones
algebraicas entre los valores multizeta se han estudiado ampliamente por J. Borwein y D. Zagier entre otros
([BBBL98], [Zag93], [Zag94]). El estudio sistematico de los valores multizeta esta en sus etapas iniciales.

Referencias
[AET01] Shigeki Akiyama, Shigeki Egami, and Yoshio Tanigawa. Analytic continuation of multiple zetafunctions and their values at non-positive integers. Acta Arith., 98(2):107116, 2001.

Vctor Bautista, Alejandro Lara

81

[Ape79] Roger Apery. Irrationalite de (2) et (3). Asterisque, 61:1113, 1979.

[Atk49] Frederick Valentine Atkinson. The mean-value of the Riemann zeta function. Acta Math., 81:353
376, 1949.
[Ay74] R. Ayoub. Euler and the Zeta Fucntion. Amer. Math. Monthly, 81(10):10671086, 1974.
[BR01] Keith Ball and Tanguy Rivoal. Irrationalite dune infinite de valeurs de la fonction zeta aux entiers
impairs. Invent. Math., 146(1):193207, 2001.
[BBBL98] Jonathan Michael Borwein, David M. Bradley, David J. Broadhurst, and Petr Lisonek. Combinatorial aspects of multiple zeta values. Electron. J. Combin., 5:Research Paper 38, 12 pp. (electronic),
1998.
[BK97] David J. Broadhurst and Dirk Kreimer. Association of multiple zeta values with positive knots via
Feynman diagrams up to 9 loops. Phys. Lett. B, 393(3-4):403412, 1997.
[Ed74] H.M. Edwards. Riemanns Zeta Function. Academic Press, 1974.
[Eul75] Leonard Euler. Meditationes circa singvlare seriervm genus. Novi Commentarii academiae scientiarum Petropolitanae, 20:140186, 1775.
[Knu93] Donald E. Knuth. Johan Falhaber and Sums of Powers. Mathematics of Computation, 61(203):277
294, 1993.
[LM95] Tu Quoc Thang Le and Jun Murakami. Kontsevichs integral for the Homfly polynomial and relations
between values of multiple zeta functions. Topology Appl., 62(2):193206, 1995.
[Riv02] Tanguy Rivoal. Irrationalite dau moins un des neuf nombres (5), (7), . . . , (21). Acta Arith.,
103(2):157167, 2002.
[Zagier75] Don Zagier. The first 50 million prime numbers. 1975.
[Zag93] Don Zagier. Periods of modular forms, traces of Hecke operators, and multiple zeta values.
S
urikaisekikenky
usho K
oky
uroku, (843):162170, 1993. Research into automorphic forms and L functions (Japanese) (Kyoto, 1992).
[Zag94] Don Zagier. Values of zeta functions and their applications. In First European Congress of Mathematics, Vol. II (Paris, 1992), volume 120 of Progr. Math., pages 497512. Birkhauser, Basel, 1994.
[Zha00] Jianqiang Zhao. Analytic continuation of multiple zeta functions.
128(5):12751283, 2000.

Proc. Amer. Math. Soc.,