Está en la página 1de 8

Abstraction & Application 9 (2013) 74 81

UADY

Abstraction & Application 9 (2013) 74 − 81 UADY Sobre las funciones zeta y multizeta (I)

Sobre las funciones zeta y multizeta (I)

a V´ıctor Manuel Bautista Ancona, b Jos´e Alejandro Lara Rodr´ıguez

Facultad de Matem´aticas, Universidad Aut´onoma de Yucat´an

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 art´ıculo definimos las funciones zeta y multizeta. Para las funciones zeta describimos algunas de sus propiedades, su continuaci´on anal´ıtica, su ecuaci´on funcional y la relaci´on de sus ceros con los n´umeros de Bernoulli. Tambi´en, 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 anal´ıtica, ceros de funciones, n´umeros de Bernoulli.

2010 Mathematics 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 teor´ıa de n´umeros; en particular, los valores de la funci´on zeta en argumentos enteros parecen dictar las propiedades m´as importantes de los objetos a los cuales est´an asociados. En este art´ıculo

se

introduce la funci´on zeta de una variable y su generalizaci´on a r variables, denominada funci´on multizeta,

y

se muestran algunas de la las relaciones algebraicas que existen entre los valores ζ(s 1 ,

, s r ) 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 relaci´on ζ(3) = ζ(2, 1) descubierta por L. Euler. En [Zag94], D. Zagier define y estudia la funci´on multizeta para cualquier n´umero de variables.

1. Euler y la funci´on zeta

La serie de Dirichlet

ζ(s) =

n=1

n s

(1.1)

converge si s > 1 y diverge si s 1. El trabajo de Euler empez´o alrededor de 1730 con aproximaciones al valor de ζ(2).

74

V´ıctor Bautista, Alejandro Lara

Euler trabaj´o con la funci´on modificada

ζ (s) =

n=1

(1) n1 n s = 1 2 1s ζ (s) .

75

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 = 1 + x + x 2 + x 3 ··· + x n + ··· ,

y as´ı,

1

1

2 = 1 1 + 1 + ··· = ζ (0) .

1 (1) =

Para obtener los valores de ζ (s) en los otros enteros positivos, Euler aplic´o repetidamente el operador x

a

1

1x y evalu´o en x = 1. Por ejemplo,

1

4 = 1 2 + 3 4 + 5 + ··· ,

d

dx

lo

muchos a˜nos despu´es v´ıa el an´alisis complejo.

Habiendo calculado los valores de ζ (s) (y de aqu´ı, los de ζ (s)) en los enteros positivos, Euler en- contr´o (alrededor de 1749) que para valores peque˜nos n 2, uno tiene

maravilloso de todo esto es que, Euler encontr´o exactamente los valores Riemann que obtuvo rigurosamente

ζ (1 n) ζ (n)

=

(1) n +1 (2 n 1)(n1)! (2 n1 1)π n

2

0

si n es par,

si n es impar.

Usando las funciones gamma Γ (s) y coseno, Euler conjetur´o que

ζ (1 s)

ζ (s)

= Γ (s) (2 s 1) cos πs

2

(2 s1 1) π s

,

lo cual marca el original descubrimiento de la ecuaci´on funcional para ζ (s) . Para m´as detalles ver [Ay74].

2. Riemann, la continuaci´on anal´ıtica y la ecuaci´on funcional

Riemann toma como punto de inicio la f´ormula

ζ(s) =

n=1

1

s =

n

p

1

s 1

1

p

,

(2.1)

donde el producto infinito se toma sobre todos los n´umeros primos. Esta f´ormula, 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 t´ıtulo Introductio in Analysin Infinitorum. Esta f´ormula muestra c´omo la funci´on zeta codifica informaci´on relativa a los n´umeros enteros y la distribuci´on 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 all´a y mostr´o 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 funci´on 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 continuaci´on anal´ıtica de la serie de Dirichlet (1.1) a todo el plano complejo menos el punto s = 1. En particular, para Re (s) > 1, la funci´on zeta de Riemann est´a definida por

ζ(s) = ζ Z (s) =

n=1

n s .

Es interesante notar que Riemann nunca habla de “continuaci´on anal´ıtica” de la funci´on n=1 n s m´as all´a del semiplano Re (s) > 1, pero habla de hallar una f´ormula la cual “permanece v´alida para toda s”. Esto indica que ´el vi´o el problema en t´erminos de una funci´on factorial que como una extensi´on pedazo a pedazo de la funci´on en la manera en como la continuaci´on anal´ıtica se hace hoy en d´ıa.

Como mencionamos antes, Euler ten´ıa una prueba emp´ırica de la ecuaci´on funcional para la funci´on 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 anal´ıtica en todo el plano complejo excepto en su polo simple s = 1 con residuo 1. Y adem´as, satisface la ecuaci´on funcional

ζ (s) = 2 s π s1 sen πs Γ (1 s) ζ (1 s) .

2

En la ecuaci´on funcional, uno puede multiplicar por s (s 1) para eliminar el polo en s = 1, respetando

la simetr´ıa, entonces si uno introduce la funci´on zeta extendida

ξ (s) =

1

2 s (s 1) π 2 Γ 2 ζ (s) ,

s

s

(el factor 2 est´a unicamente´ en esta expresi´on por razones hist´oricas porque Riemann en su memoria utiliz´o la 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 funci´on no se anula para Re (s) < 0, as´ı que todos los ceros se mantienen el la franja cr´ıtica 0 Re (s) 1.

1

3. Los n´umeros de Bernoulli y los ceros de la funci´on zeta

En la actualidad, las f´ormulas

1 + 2 + ··· + n

1

1

2

3

+ 2 2

+ 2 3

+ ··· + n 2

+ ··· + n 3

=

=

=

n (n + 1)

2

,

n (n + 1) (2n + 1)

6

,

n 2 (n + 1) 2

4

son conocidas. Pero fue en 1631, cuando Johann Faulhaber (conocido en sus d´ıas como El Gran Aritm´etico de Ulm) public´o su libro Academia Algebra donde exhibe una f´ormula para la suma de las potencias mayores:

1 k1 +2 k1 +···+n k1 =

1

k n k + k n k1 × 1

2 + k

2

1

n k2 ×

1

6 + k 3

n k3 × 0 +

k

4

n k4 × 1

30

+ ··· .

Observe que la expresi´on entre corchetes es exactamente como la f´ormula binomial, excepto que no tiene t´ermino constante y los otros t´erminos son multiplicados por ciertas constantes:

1,

1

2 ,

1

6 ,

0,

1

30 ,

0,

1

42 ,

0,

1

30 ,

5

66 ,

0,

.

.

.

V´ıctor 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 cr´edito 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 B n (x) por la ecuaci´on

ze xz

e z 1 =

n=0

B n (x)

n!

z n ,

en donde |z| < 2π. Las funciones B n (x) son llamadas polinomios de Bernoulli. Los n´umeros de Bernoulli B k = B k (0) son definidos por la ecuaci´on

x

e x 1 =

n0

B

k

x

k

k!

.

1

Entonces tenemos que B 0 = 1, B 1 = 2 y B 2n+1 = 0 para n 1. Los primeros valores de los n´umeros de Bernoulli son

B

2 = 1

6 ,

B 4 =

1

30 ,

B 6 =

1

42 ,

B 8 =

1

30 ,

B 10 =

5

66 ,

B 12 = 691

2730 .

Observemos que

ζ (1 n) = (1) n1 B n

n

.

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

En particular,

ζ (0) = 1 2 ,

ζ (1 n) = B n

n

Q.

1

ζ (1) = 12 ,

ζ (3) =

1

120 ,

1

ζ (5) = 252 ,

ζ (7) =

1

240

y ζ (2k) = 0 para k 1. Estos son conocidos como los ceros triviales de la funci´on zeta ζ. Hacemos notar que estos ceros triviales viven en la l´ınea 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 = 2 2 ·3 2 . Este hecho se conoce como el Teorema Fundamental de la Aritm´etica. 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 l´ınea o transacciones bancarias, estamos usando los n´umeros primos para mantener nuestra informaci´on privada. El principio que se usa es simple: es m´as f´acil multiplicar n´umeros que factorizarlos. Escribir un n´umero de 1000 d´ıgitos como un producto de primos parece ser algo que est´a fuera del alcance de las tecnolog´ıas actuales. La seguridad de los algunos m´etodos actuales de cifrado depende precisamente de que no existen m´etodos computacionalmente eficientes para factorizar n´umeros grandes.

Dado que los n´umeros primos son los bloques de construcci´on 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 distribuci´on 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 m´as 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 brotar´a el siguiente n´umero primo. El segundo hecho es a´un m´as incre´ıble, porque es exactamente opuesto al primero: los n´umeros pri- mos exhiben una regularidad impresionante as´ı que hay leyes que gobiernan su comportamiento, y que obedecen a estas leyes con precisi´on casi militar”.

—Don Zagier[Zagier75]

El matem´atico Alem´an G.F.B. Riemann (1826-1866) observ´o que la frecuencia de los n´umeros primos est´a ´ıntimamente relacionada con el comportamiento de la ahora llamada funci´on zeta. La conexi´on de la funci´on zeta de Riemann con los n´umeros primos queda de manifiesto en la Ecuaci´on 2.1 conocida como Producto de Euler. Aparte de los ceros triviales de la funci´on zeta en los enteros negativos pares, que pertenecen todos a la recta real, hay otros ceros, llamados ceros no triviales. Riemann formul´o la siguiente conjetura:

2 1 + , es decir, est´an sobre la recta

Hip´otesis de Riemann. Los ceros no triviales de ζ(s) son de la forma Re(s) = 1

2 .

La Hip´otesis de Riemann, que es el problema no resuelto m´as famoso en teor´ıa de n´umeros, da una respuesta muy precisa a la pregunta de c´omo est´an distribuidos los n´umeros primos.

Para los enteros pares positivos m se tiene el Teorema de Euler

ζ(m) = B m (2πi) m

2(m!)

.

Hasta la fecha no se conoce una f´ormula para ζ(2k + 1) an´aloga a la anterior. Gracias a R. Ap´ery [Ap´e79] 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 funci´on zeta de Riemann en los n´umeros impares [BR01]. En 2002, T. Rivoal prob´o 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 f´ormula expl´ıcita para ζ(3). Durante este proceso aparecieron las zetas dobles tambi´en llamadas ahora valores multizeta. Antes de definir las zetas dobles o m´as generalmente,

, f r funciones definidas en

las funciones multizeta, recordemos la notaci´on de sumas iteradas. Sean f 1 , n´umeros enteros. Entonces

N>n 1 >···>n r >0

f 1 (n 1 ) ··· f r (n r )

V´ıctor Bautista, Alejandro Lara

se define de manera iterativa como sigue:

N>n 1 >···>n r >0

f 1 (n 1 ) ··· f r (n r ) =

N>n 1 >0

f 1 (n 1 )

n 1 >n 2 >···>n r >0

f 2 (n 2 ) ··· f r (n r ).

79

Por ejemplo, si a, b Z + , y f 1 (n) = 1/n a y f 2 (n) = 1/n b , entonces

5>n 1 >n 2 >0

1

n a n

1

b

2

=

5>n 1 >n 2 >0

f 1 (n 1 )f 2 (n 2 ) =

4

n 1 =1

1

n

a

1

n 1 >n 2 >0

1

n

b

2

=

4

n 1 1

n 1 =1 n 2 =1

1

n a n

1

b

2

.

En 1775, aproximadamente 30 a˜nos despu´es de que introdujo los valores zeta, L. Euler [Eul75] introduce las zetas dobles

ζ(s 1 , s 2 ) =

n 1 >n 2 >0

1

n s 1 n

1

s

2

2

(s 1 , s 2 Z, s 1 > 1, s 2 > 0).

La condici´on s 1 > 1 es necesaria para la convergencia de la serie. Euler estudi´o 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 funci´on zeta en dos variables. Sean s 1 ,

, s r ) est´a dado por

, s r

, s r ) de peso s 1 + ··· + s r y

enteros positivos con s 1 > 1. El valor zeta m´ultiple o valor multizeta ζ(s 1 ,

longitud r asociado con la r-ada (s 1 ,

ζ(s 1 ,

,

s r ) =

n 1 >n 2 >···>n r >0

1

n s 1 n

1

s

2

2

··· n

s

r

r

.

Igual que antes, la condici´on s 1 > 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 generalizaci´on de los valores zeta.

En 1949, F. V. Atkinson [Atk49] prueba la continuaci´on anal´ıtica de la funci´on zeta en dos variables. En 2000, J. Zhao [Zha00] prueba que en la regi´on

{(s 1 ,

, s r ) | Re(s 1 ) > 1,

r

i=1

Re(s i ) > r}

la funci´on multizeta de longitud r es absolutamente convergente. En ese mismo art´ıculo J. Zhao prueba que esta funci´on se extiende por continuaci´on anal´ıtica a una funci´on meromorfa en todo C r , con posibles polos en s 1 = 1. En 2001, S. Akiyama y otros [AET01] presentan otra prueba de la continuaci´on anal´ıtica de la funci´on multizeta de longitud r.

, s r ). 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

Por valor multizeta ζ(s 1 ,

, s r ) nos referimos a la funci´on multizeta evaluada en (s 1 ,

ζ(a)ζ(b) =

n=1

1

n a +

n=1

1

n b

=

n=1

1

n a+b +

n 2 >n 1 >0

1

n a n

1

2 +

b

n 1 >n 2 >0

1

n a n

1

b

2

.

80

Sobre las funciones zeta y multizeta

Por lo tanto, se sigue que

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

De manera esquem´atica tenemos que el producto

da por resultado

ζ(a)ζ(b) =

1

1 a +

1

1

2 a + 3

a

+ ···

1

1 b +

1

1

2 b + 3

b

+ ···

1 1

1

1 1

 

1 a 1 b +

1 a 2 b +

1 a 3 b +

1 a 4 b +

1 a 5 b +

···

1

1

1

1

1

2 a 1 b +

2 a 2 b +

2 a 3 b +

2 a 4 b +

2 a 5 b +

···

1

1

1

1

1

3 a 1 b + 3 a 2 b + 3 a 3 b + 3 a 4 b +

1

1

1

1

4 a 1 b + 4 a 2 b + 4 a 3 b + 4 a 4 b +

 

1

1

1

1

5 a 1 b + .

.

.

5 a 2 b +

5 a 3 b +

5 a 4 b +

3 a 5 b +

···

1

4 a 5 b +

···

1

5 a 5 b + ···

(5.1)

n b 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

la forma

por debajo de la diagonal da ζ(a, b).

enteros tales que n 1 > n 2 . Dado otro entero n, se dan cinco posibilidades: n > n 1 > n 2 ,

n = n 1 > n 2 , n 1 > n > n 2 , n 1 > n = n 2 y n 1 > n 2 > n. Por lo tanto,

La suma de los elementos en la diagonal, es decir, los sumandos de la forma

1

n a

1

2 b con n 1 < n 2 , da por resultado ζ(b, a). Finalmente, la suma de todos los elementos que est´an

n a n

1

Sean n 1 , n 2

ζ(a)ζ(b, c) =

=

n=1

n

a

n 1 >n 2 >0

1

n a n b

1

1

n

b 1 n 2 c

2 +

n=n 1 >n 2 >0

1 n c

n>n 1 >n 2

1

n

a+b

1

n

2 +

c

n 1 >n>n 2 >0

+

n 1 >n=n 2 >0

1

n

1 b n a+c

2

+

n 1 >n 2 >n>0

1

n

b 1 n c

2 n a .

1

n

b

1 n a n c

2

De esta manera llegamos 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-combinaci´on 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 inter´es el problema de entender las relaciones algebraicas entre los valores multizeta. Adem´as, ´estos tienen ciertas conexiones con topolog´ıa [LM95] y f´ısica [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 sistem´atico de los valores multizeta est´a en sus etapas iniciales.

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

+ ζ(b, a, c)

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

Referencias

[AET01] Shigeki Akiyama, Shigeki Egami, and Yoshio Tanigawa. Analytic continuation of multiple zeta- functions and their values at non-positive integers. Acta Arith., 98(2):107–116, 2001.

V´ıctor Bautista, Alejandro Lara

81

[Ap´e79] Roger Ap´ery. Irrationalit´e de ζ(2) et ζ(3). Ast´erisque, 61:11–13, 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):1067–1086, 1974.

[BR01] Keith Ball and Tanguy Rivoal. Irrationalit´e d’une infinit´e de valeurs de la fonction zˆeta aux entiers impairs. Invent. Math., 146(1):193–207, 2001.

[BBBL98] Jonathan Michael Borwein, David M. Bradley, David J. Broadhurst, and Petr Lisonˇek. Combi-

natorial 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):403–412, 1997.

[Ed74] H.M. Edwards. Riemann’s Zeta Function. Academic Press, 1974.

[Eul75] Leonard Euler. Meditationes circa singvlare seriervm genus. Novi Commentarii academiae scien- tiarum Petropolitanae, 20:140–186, 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. Kontsevich’s integral for the Homfly polynomial and relations between values of multiple zeta functions. Topology Appl., 62(2):193–206, 1995.

[Riv02] Tanguy Rivoal. Irrationalit´e d’au moins un des neuf nombres ζ(5), ζ(7), 103(2):157–167, 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):162–170, 1993. Research into automorphic forms and L fun- ctions (Japanese) (Kyoto, 1992).

, ζ(21). Acta Arith.,

[Zag94] Don Zagier. Values of zeta functions and their applications. In First European Congress of Mathe- matics, Vol. II (Paris, 1992), volume 120 of Progr. Math., pages 497–512. Birkh¨auser, Basel, 1994.

Proc. Amer. Math. Soc.,

[Zha00] Jianqiang Zhao. 128(5):1275–1283, 2000.

Analytic continuation of multiple zeta functions.