Ciencia e Ingeniera Neogranadina, Vol. 18-1, pp. 107-116. Bogot, Junio de 2008.

ISSN
0124-8170
UNIVERSIDAD
MILITAR NUEVA GRANADA

CLCULO DE SERIES ARMNICAS DE RIEMANN CON EXPONENTE PAR

CALCULATE OF HARMONIC SERIES RIEMANN WITH EVEN EXPONENT

Jorge, Morales Paredes
Matemtico, Profesor ctedra, Departamento de matemticas, Universidad Militar Nueva Granada,
Bogota, Colombia.

Weimar, Muoz Villate

Matemtico, Profesor ctedra, Departamento de matemticas, Universidad Militar Nueva Granada,
Bogota, Colombia.

Soln E., Losada Herrera

M.Sc., Profesor tiempo completo, Departamento de matemticas, Universidad Militar Nueva Granada,
Bogot, Colombia.

Fecha de recepcin: 8 agosto de 2007

Fecha de aprobacin: 16 de junio de 2008

RESUMEN
La llamada funcin Zeta de Riemann fue introducida por Euler mediante la definicin

1
x ( z ) = 2 , que se trata de una serie convergente en la que z es un nmero complejo
n =1 n
con parte real mayor que uno. El presente trabajo va encaminado a presentar una frmula

1
recurrente para el clculo de series 2 k , para k Z +. Es conocido que Euler desarroll
n =1 n
este mismo caso particular, trabajando con los ceros de la funcin zeta [3], nosotros
realizamos dicho clculo utilizando la funcin cot z e induccin matemtica. Para la
comprensin de este escrito, es necesario que el lector tenga algunas nociones de variable
compleja, como son: funcin analtica, expansin en serie de Taylor, series de Laurent,
entre otros [1], [2].
Palabras claves: Serie de Laurent, divisin larga, nmeros de Bernoulli e induccin
matemtica.
Ciencia e Ingeniera Neogranadina, Vol. 18-1, 2008

107

CLCULO DE SERIES ARMNICAS DE RIEMANN CON EXPONENTE PAR

ABSTRACT

1
2 ,
n =1 n
that is a convergent series where z is a complex number with positive real part. The

The called Riemann Zeta function was presented by Euler like the function x ( z ) =

calculation of series in the manner

n
n =1

2k

is not found in general way in books or other

investigation materials. Usually, you can find particular cases, i.e., basic examples. The present
work goes guided in order to present a recurrent formula for the calculation of these series.
For the understanding of this writing, the reader should have some notions, as they are it:
function analytic, sequential expansion of Taylor, series of Laurent, among others.
Key words: Laurents Serie, Bernoullis numbers and mathematical induction.
INTRODUCCIN
La serie armnica generalizada, o serie p, es alguna de las series

n
n =1

, donde p R +.

La serie converge si p > 1 y diverge en otro caso. En particular, si p = 1, la serie es

armnica. Si p > 1, entonces la suma de la serie es (p), es decir, la funcin zeta de
Riemann evaluada en p, [3], [5].
1. MARCO TERICO

B
1 1
(-1) k -1 k z 2 k -1
La expansin de Laurent [1], de (e -1) en el origen tiene la forma z - 2 +
(2k )!
k =1
z

-1

donde Bk son los nmeros de Bernoulli. Usaremos este hecho para sacar una frmula de
recurrencia a fin de encontrar algortmicamente los nmeros de Bernoulli.
Desde ahora, utilizaremos la divisin larga cada vez que sea necesario, i.e. si

z k -1
b - a
a+b a
k = 2 k! . Luego:
= +
z
z

e -1 z
e -1
-z
z k -1
z k -1
z

(e - 1)

108

1
z

1
z

1
z

-1

1
= z
=
e -1

1
1
= +
k

z
z

!
k
k =2

-
1
2
k!
k = 3 k!
= +
z
e -1
z
e -1
k =2
z

1
1

1
1
1
1

- z k
- + z k
z2
2k! ( k + 1)! 1 1
1
2.2! 3! k =3 2k! ( k + 1)!
k =2

- +
= - +
2
ez -1
z 2
ez -1

1
z k +1 B1
1
-
z k

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

- +
+
= 1z
donde
z
2 12
e -1
12
2

B
B
1
1
1
2

+
z k

3
2k! ( k + 1)! 2( k - 1)! 4!( k - 3)!
z
z
1
k =5

- +
+
(1)
ez -1
2 12 30.4!

Morales Paredes - Muoz Villate - Losada Herrera

UNIVERSIDAD MILITAR NUEVA GRANADA

[Ntese que para k=5 el valor es cero]

Con una simple inspeccin de la ecuacin (1) obtenemos que

1
1
1
B1 = , B2 =
y B3 =
6
30
42
Observando detenidamente (1), podemos intuir la siguiente relacin de recurrencia para
calcular un nmero de Bernoulli a partir de los nmeros de Bernoulli anteriores. Esta relacin
es:

(-1)

k +1

k -1
(-1) j B j
Bk
1
1
=
+
(2k )! 2.(2k )! (2k - 1)! j =1 (2 j )!(2k - 2 j + 1)!

(2)

A continuacin, probaremos esta igualdad usando induccin sobre k. Por hiptesis de

induccin, se supone que:
k
m
1
(-1) j B j
1
+
z

m
m
j
m
j
2
!
(
1
)!
(
2
)!
(
2
1
)!
+
+
1
m = 2 k +1
=
j

+
z
e -1

(e z - 1) -1 =

=
Ya que

1 1 k (-1) l -1) Bl z 2l -1
- +
z 2 l =1
(2l )!

1 1 k (-1) l -1 Bl z 2l -1
- +
z 2 l =1
(2l )!

2k +2
(-1) j B j
1
1
+

z
2(2k + 2)! (2k + 3)! j =1 (2 j )!(2k - 2 j + 3)!
+
ez -1

k
1
m
(-1) j B j
1
+

m =2 k +3
2m! (m + 1)! j =1 (2 j )!(2k - 2 j + 1)!
+
ez -1

Ahora, haciendo divisin larga se obtiene:

1 1 k (-1) l -1) Bl z 2l -1
(e - 1) = - +
z 2 l =1
(2l )!
-1

k
m
1
(-1) j B j
(-1) k Bk +1
1
+
+
z

2m! (m + 1)!
(2k + 2)!(m = 2k - 1)!
m = 2 k +1
j =1 ( 2 j )!( m - 2 j + 1)!
+
ez -1

Ciencia e Ingeniera Neogranadina, Vol. 18-1, 2008

109

CLCULO DE SERIES ARMNICAS DE RIEMANN CON EXPONENTE PAR

k +1
m
1
(-1) j B j
1
+
z

m = 2 k +1
2m! (m + 1)! j =1 (2 j )!(m - 2 j + 1)!
+
ez -1

1 1 k +1 (-1) l -1) Bl z 2l -1
- +
z 2 l =1
(2l )!

As, hemos obtenido la relacin de recurrencia para los nmeros de Bernoulli:

k -1
1

2k
Bl
1
Bk = (-1) k -1 + (-1) l

2 j 2k - 2 j + 1
2 2k + 1 l =1

(3)

Ahora, expresaremos el desarrollo de Laurent de cot z en trminos de los nmeros de

Bernoulli (para comparar estos coeficientes con los obtenidos en la expresin por sumas
parciales).
Recordemos que:

e z = cos z + isenz ,
e -iz = cos z - isenz ,
eiz + e -iz
eiz - e -iz
= senz; de esta forma,
= cos z y
2
2i
eiz + e -iz
eiz + e -iz e 2iz + 1
cos z
2
= 1 + 2iz
cot z =
= iz 2 -iz = i iz -iz = i 2iz
= i 1 + 2(e iz - 1) -1
senz e - e
e -1
e - e e -1
2i

Pero como se puede expresar:

(e iz - 1) -1 =
cot z =

1 1 (-1) k -1 Bk 2 k -1
- +
z
z 2 k =1 (2k )!

1 4 k Bk z 2 k -1
-
z k =1 (2k )!

(4)

1
1
1
Se verifica que p cot(p .z ) = z + z - n + n [1]. Estos resultados se utilizarn para

n0
comparar los coeficientes en el desarrollo de Laurent de cot(.z) y de su expresin por

1
sumas parciales y encontraremos, la expresin de 2 k
n =1 n
110

Morales Paredes - Muoz Villate - Losada Herrera

UNIVERSIDAD MILITAR NUEVA GRANADA

Se comienza trabajando sobre la ecuacin (4). Haciendo un pequeo cambio se observa que:

4 k Bk (p .z ) 2 k -1
1
cot(p .z ) =
-
(5)
p .z k =1
(2k )!

Igualando estas dos ltimas ecuaciones obtenemos:

4 k Bk
1
1
+
=
p
(p .z ) 2 k -1

n
n0 z - n
k =1 ( 2k )!

(6)

Ya que la convergencia de stas dos series es uniforme [2] (por comparacin con
1
n 2 , se deriva trmino a trmino para obtener:
4 B1p 4 k Bk

-1
(2k - 1)p (p .z ) 2 k -2 (7)
=
+
p

2
n 0 ( z - n)
k = 2 ( 2k )!

2!
Derivando trmino a trmino (Teorema de Weierstrass, ver Ahlfors [1]), dos veces ms, se
obtiene:
3

4 k Bk
5!
6 4 B3
p
5
!
(2k - 1)(2k - 2)(2k - 3)(2k - 4)(2k - 5)(p .z ) 2 k -6 (8)
=
+

6
n 0 ( z - n)
k = 4 ( 2k )!

6!

Ahora en la ecuacin (6) la evaluamos en z=0, y as:

-1

1
4B
= -p 1 , donde B1 =
6
2!
n0
-1
1
= -p 2 2 , luego

2
6
n0 n

(0 - n )

1 2p 2
=
, es decir,
2
6
n0 n

1 p 2
=

2
n0 n
6

Haciendo lo mismo en la ecuacin (7) y (8), es decir, evaluar estas en z=0, se obtiene:
1 p4
=
, y

4
90
n =1 n

p6
1
=

6
945
n =1 n

Ciencia e Ingeniera Neogranadina, Vol. 18-1, 2008

111

CLCULO DE SERIES ARMNICAS DE RIEMANN CON EXPONENTE PAR

Desde la ecuacin (8) se espera cumplir la siguiente igualdad:

4 j B (2 j - 1)...(2 j - (2 k - 1))
k

- (2k - 1)!
j
2 k 4 B k ( 2k - 1)!
(p . z) 2 j -2 k (9)
( z - n) 2k = -p (2k )! +
( 2 j )!
n 0
k =2

En efecto, derivando dos veces se tiene:

4 k +1 Bk +1 (2k - 1)!

( 2(k + 1))! (2 k + 1)(2k )(2k - 1)...(3)(2)(p z) +

- (2k )!
2 k +1
y
= -p

2 k +1
j

4
B
(
2
j
1
)...(
2
j
(
2
k
1
)(
2
j
2
k
))
(
z
n
)
n 0
j
( p .z ) 2 j - 2 k - 1 p

(2 j)!

j =k + 2

4 k +1 Bk +1 ( 2k - 1)!

(2( k + 1))! (2k + 1)(2k )(2k - 1)...(3)(2)(pz) +

- (2k ) !
2 k +1

= -p

2 k +1
4 j B ( 2 j - 1)...(2 j - (2 k - 1)(2 j - 2k ))

(
z
n
)
n 0
j
2 j -2 k -1

(p .z )
p
( 2 j )!
j= k +2

Cuyo resultado es el mismo de la ecuacin (9) cambiando k por k + 1. Si z = 0 en la

ecuacin (9) se muestra que:

p 2 k 4 k Bk
1
(10)
=

2k
2(2k )!
n =1 n

Donde Bk son los nmeros de Bernoulli.

VERIFICACIN EN MAPLE
Lo primero que se har, ser hallar los primeros 10 nmeros de Bernoulli; utilizando el
programa Maple11.01:
> seq(abs(bernoulli(2 *n)),n= 1..10);

112

Morales Paredes - Muoz Villate - Losada Herrera

UNIVERSIDAD MILITAR NUEVA GRANADA

Se define la funcin B(j), de la siguiente manera,

> B:=j->abs(bernoulli(2*j));
B:=j t abs|bernoulli(2j)|
Esta frmula, permite obtener los nmeros de Bernoulli mostrados anteriormente, utilizando
una funcin incorporada ya en el software Maple11.01. A continuacin, se muestra que se

1
logran idnticos resultados, a travs de la forma general para el clculo de 2 k as:
n =1 n
k -1
1

2k
Bl
1
Bk = (-1) k -1 + (-1) l
(11)
2
j
+
2
2
k
1
2
k
2
j
1
+
l =1

k -1
1

2k
Bl
1
Bk := k - > (-1) k -1 + (-1) l
(12)
2 j 2k - 2 j + 1
2 2k + 1 l =1

B:=j t abs|bernoulli(2j)|

> B(1);
1
6
> B(2);
1
30
> B(10);
174611
330
Si observamos que los nmeros arrojados por la funcin B(k), son los mismos que los
nmeros de Bernoulli. Con el resultado obtenido B(k); se genera el resultado S(k) el cual

1
dar el clculo de una serie de la forma 2 k
n =1 n
174611
330
> S:=j->((pi)^(2*j)*(4)^(j)*B(j))/(2*(2*j)!);

(13)

Ciencia e Ingeniera Neogranadina, Vol. 18-1, 2008

113

CLCULO DE SERIES ARMNICAS DE RIEMANN CON EXPONENTE PAR

Para comparar es necesario obtener algunos resultados:

> S(1);
> S(2);
> S(3);

(14)
(15)

(16)

> S(10);

(17)

Se define la serie s(k) y se obtienen algunos resultados:

> s:=k->sum(1/(n)^(2*k),n=1..infinity);

> s(1);
> s(2);
> s(3);
> s(10);

Como se observa las dos funciones S(k) y s(k) generan los mismos resultados para los
valores asignados a k; Con lo cual queda comprobado computacionalmente los resultados
obtenidos en el artculo.

3. CONCLUSIN

Se encontr una forma general para el clculo de las series de la forma

n
n =1

2k

a travs de

los nmeros de Bernoulli. Estos a su vez, fueron obtenidos de una forma recurrente.
Ambos resultados se escribieron despus de ser demostrados por induccin
114

Morales Paredes - Muoz Villate - Losada Herrera

UNIVERSIDAD MILITAR NUEVA GRANADA

matemtica. La ecuacin (10) se obtuvo matemticamente, mientras que la ecuacin

(13) es obtenida por un medio computacional, verificando que los resultados son
verdaderos.

AGRADECIMIENTOS
Agradecemos de una forma muy sincera, a la profesora Sandra Bello de la Universidad
Militar Nueva Granada, por sus comentarios hechos a este escrito.

REFERENCIAS
[1]

AHLFORS L. V. Complex Analysis. McGraw-Hill. New York 1966.

[2]

APOSTOL TOM M. Anlisis Matemtico. Ed. Revert S.A. Barcelona 2001.

[3]

CHINEA Carlos. Divulgacin de la matemtica en la red. http://personales.ya.com/

casanchi/mat/zeta01.pdf.

[4]

EDWARDS H M. Riemanns Zeta Function. Academic Press, 1974. New York.

[5]

GOURDON X, SEBAH P. http://numbers.computation.free.fr/Constants/Miscellaneous/

zeta.html.

[6]

SNCHEZ H. J. DARIO www.branchingnature.org/Variable Compleja Snchez H.pdf.

ltima actualizacin: abril 2005.

[7]

USER MANUAL. Maple 11. Maplesoft 2007. Canada.

Ciencia e Ingeniera Neogranadina, Vol. 18-1, 2008

115

CLCULO DE SERIES ARMNICAS DE RIEMANN CON EXPONENTE PAR

116

Morales Paredes - Muoz Villate - Losada Herrera