1.

Los polinomios de Bernoulli

Denicin 1.1 Los polinomios de Bernoulli Bk (x) se denen como los cozezx = ez 1

ecientesde la funcin generatriz

k=0

Bk (x) k z (|z| < 2) k!

Es una funcin entera (tiene una singularidad evitable en z = 0), por lo que esta serie de potencias converge en todo el plano complejo. Se llama nmeros de Bernoulli a los nmeros Bk = Bk (0).
El siguiente teorema prueba que las funciones

Bk (x)

son efectivamente poli-

ww

w.

Prueba: Tenemos que:

at

em

Bn (x) =

at ic a1
n k=0

Teorema 1.1 Se cumple que:

n Bk xnk k

.c om
n

nomios, y que estn determinados por los nmeros de Bernoulli:

z Bn (x) n z = z exz = n! e 1 n=0

Bn z n n! n=0

xn n z n! n=0

y efectuando el producto de Cauchy, encontramos que:

n

=
n=0 k=0

Bk xnk k! (n k)!

zn

Entonces, por la unicidad del desarrollo en serie de potencias, obtenemos que:

n

Bn (x) = n!
k=0

Bk xnk = k! (n k)!

k=0

n Bk xnk k

Una regla para recordar este teorema es:

Bn (x) = (B + 1)n Bk
que aparecen al desarrollar el binomio, deben entenderse

donde las potencias

como los nmeros de Bernoulli.

Teorema 1.2 Para todo n 1 se cumple que:

dBn+1 (x) = (n + 1)Bn (x) dx

Prueba: Por el teorema anterior,

n+1

Bn+1 (x) =
k=0

n+1 Bk xn+1k k

En consecuencia,

k=0 n

= (n + 1)
k=0

1. Bn (x + 1) Bn (x) = nxn1 . En particular, para n 2, tenemos que: Bn (0) = Bn (1). 2. Como consecuencia:
xn = Bn+1 (x + 1) Bn (x) = n+1
x+1

ww

w.

Teorema 1.3 Para todo n 0 se cumple:

at

em

n Bk xnk = (n + 1)Bn (x) k

at

ic

a1

dBn+1 (x) = dx

(n + 1)! Bk (n + 1 k)xnk k!(n + 1 k)!

.c

om

Bn (t)dt
x

3. Esto a su vez implica que:

m m+1

kn =
k=1 1

Bn (x) dx =

Bn+1 (m + 1) Bn+1 n+1

Prueba: Tenemos que:

z ez(x+1) ezx ezx ez exz ezx (ez 1) z z =z =z = zezx z 1 z 1 e e 1 e ez 1

Desarrollando ambos en serie la primera y la ltima de estas expresiones tenemos:

ezx ez(x+1) Bn (x + 1) Bn (x) n z z = z , z 1 e e 1 n=0 n!

zezx =

xn1 n z n 1! n=0

Utilizando la unicidad del desarrollo en serie de potencias se obtiene el resultado.

Teniendo en cuenta que

Bn = Bn (0) = Bn (1) el teorema 1.1 nos proporciona

la siguiente relacin recursiva que permite calcular los nmeros de Bernoulli:

Teorema 1.4 Para n 2, se cumple que:

n

Bn =
k=0

n Bk k Bn = (B + 1)n .

Podemos expresar esta frmula simblicamente como Los primeros nmeros de Bernoulli1 son

Los numeradores y denominadores de los nmeros de Bernoulli crecen muy rpidamente por ejemplo

Teorema 1.5 Si k es impar y k 3, entonces Bk = 0 Prueba: Consideramos

f (z) =
Notamos que

ww

w.

B30 =

8615841276005 , 14322

at

em at

B40 =

ic a

z z 1+ = ez 1 2

1.c

B0 = 1,

1 1 1 B1 = , B2 = , B3 = 0, B4 = 2 6 30 1 1 , B7 = 0, B8 = , B9 = 0, . . . B5 = 0, B6 = 42 30

261082718496449122051 13530

om

k=2

Bk k!

es par luego

f (z) f (z) =
Por lo tanto,

ez

z z z z 2 + ez + ez + z + =z 1+ 1 2 e 1 2 2 ez ez k 2.

=0

Bk = 0 para cualquier k impar con Los primeros polinomios de Bernoulli2 son: B0 (x) = 1

1 Calculados 2 Calculados

en SAGE con el comando en SAGE con el comando

bernoulli bernoulli_polynomial

B1 (x) = x

1 2 1 6

B2 (x) = x2 x + B3 (x) = x3

3x2 x + 2 2

1 30 5x4 5x3 x B5 (x) = x5 + 2 3 6 B4 (x) = x4 2x3 + x2

2.

Frmula de Euler-Maclaurin
Los polinomios de Bernoulli son tiles para deducir una forma mejorada de

la frmula de sumacin de Euler. Pongamos de Bernoulli.

B n (x) = Bn (x [x]).

Las funciones

Bn

se denominan funciones

f (n) =
a<nb a

f (x)dx +
r=0

at

donde
Rk =

Prueba: Como en el caso de la frmula de sumacin de Euler, la idea bsica es

integrar por partes. Para

ww

nZ
n+1

w.

(1)k (k + 1)!

em
b a

tenemos que:
n+1

f (t) dt =
n n

at ic a1
1 , 2

a, b Z. Entonces

(1)r+1 (r) (f (b) f (r) (a)Br+1 + Rk (r + 1)!

B k+1 (t)f (k+1) (t) dt

f (t)B 1 (t)dt
n

= f (n + 1)B 1 ((n + 1) ) f (n)B 1 (n+ )

n+1

.c om
b a

Teorema 2.1 (Frmula de Euler-Maclaurin) Supongamos que C k+1 [a, b] con

f (t)B1 (t)dt

donde notamos que, omo

B 1 (t)

es discontinua en los enteros, al integrar por

partes aparecen los lmites laterales:

B 1 ((n + 1) ) =
Sumando para

B1 (n ) =

1 2

n = a, a + 1, . . . , b 1
b b1

se tiene que:

f (t) dt =
a

f (n) + f (n + 1) 2 n=a

f (t)B 1 (t) dt

En consecuencia:
b b

f (n) =
a<nb a

f (t) dt +
a

f (t)B 1 (t)dt

f (b) f (a) 2

(1)

que es el caso Si

es de

1 k = 0 del teorema, ya que B1 = 2 . clase C 2 , como B 2 (t) = 2B 1 (t) en el intervalo (n, n + 1)

podemos

volver a integrar por partes:

n+1 n+1

f (t)B 1 (t) dt =
n n

1 1 f (t) B 2 (t) dt = f (n+1)f (n) 2 2

n+1

B 2 (t)f (t) dt
n

(Ahora no tenemos que preocuparnos por los lmites laterales pues como Bn (0)

Bn (1)

n 2, entonces B n (t) es continua para n 2). Dado que B2 (0) = B1 (0) = B2 , sumando para n = a, a + 1, . . . , b 1
si
b

obten-

emos que:

f (t)B 1 (t) dt = (f (b) f (a))B2

a

f (n) =
a<nb a

f (t) dt

at ic
1 2
a

{(f (b) f (a))B1 + (f (b) f (a))B2 }

Esta es la frmula del enunciado para

at

em

k = 2. = nBn1 (t)

cin en

k.

Ejemplo:

Mejoremos el resultado sobre las sumas parciales de la serie ar-

mnica. Tomando

ww

en el intervalo

(n, n + 1),

podemos probar la frmula del eneunciado por induc-

f (t) =

1 t,

w.

Integrando por partes sucesivas veces a partir de la relacin B n (t)

a = 1, b = x, k = 2 1 1 x + 1 12

a1
b nx

y reemplazando este resultado en (1), deducimos que:

f (t)B 2 (t) dt

tenemos que:
x 1

nx

1 1 = log x + n 2

1 1 x3

.c o
B 3 (t) dt t4

de modo que:

nx

1 1 1 = log x + n 2 12

x 1

B 3 (t) 1 1 dt + t4 2x 12x2 1 n

Como

= l log x m
x

1 2

f (t)B 2 (t) dt
a

haciendo que

x +,

tenemos que:

1 1 2 12

B 3 (t) dt t4
acotada, podemos compararla con

donde la integral converge pues al ser

1 1 t4

B 3 (t)

dt.

Por el mismo motivo:

x

B 3 (t) dt = O t4

1 x3

con lo que resulta que:

nx

1 1 1 = log x + + + +O n 2x 12x2

1 x3

Otro ejemplo: Si z C y |arg(z)| < donde > 0, se tiene que

log(z + j) =
j=0

at ic a1

z+n+

1 2

.c om

log(z + n) n z

1 2

log z +
0

B 1 (x) z+x

3.

Los valores de la funcin zeta en los enteros pares

Teorema 3.1
(k) =

1 Bk (1)(k/2)+1 (2)k 2 k!
2 6 , (4)
4

ww

w.

con los nmeros de Bernoulli.

El siguiente teorema relaciona los valores de la funcin zeta en los enteros

at

em
para k par, n 2
(2) = = , etc. 90 (n) > 0, esto dice
que los signos de los

Por ejemplo se alternan.

En particular, como

Bn

con

par

Daremos dos pruebas de este teorema: una utilizando anlisis complejo, y otra utilizando series de Fourier.
3.1. Prueba utilizando anlisis complejo

Consideramos la funcin

f (z) =

cot(z)

cos(z)
sen(z)

tiene polos simples en los enteros, con residuo Consideramos el contorno del cuadrado de vrtices tanto

1. CN en el plano complejo que consiste en el borde (N + 1/2)(1 i) (orientado positivamente). Por lo 1 f (z) zk

g(z) =
tiene polos simples en los enteros por el teorema de los residuos
N

z = n con n = 0, con residuo 1/nk

Entonces

2
CN

g(z) dz =
n=N,k=0

1 + Res(g(z), z = 0) nk
N

Dado que

es par,
N

n=N,n=0

1 1 =2 nk nk n=1 f (z)

Por otra parte, es fcil ver3 que la funcin sobre el contorno

es uniformemente acotada

|f (z)| A z CN

En consecuencia, utilizando la estimacin usual:

g(z) dz
CN

Nos queda pues, calcular este residuo: para ello observamos que utilizando las frmulas de Euler:

cot(z) =

Por otra parte, tenemos que: coth(z/2)

ez/2 + ez/2 ez/2 (ez + 1) 1 = z/2 z = z ez/2 ez/2 e (e 1) = 1 z

ww

1 1 = Res(g(z), z = 0) nk 2 n=1

w.

cuando

to + ,

y se obtiene que:

cos(z) eiz + eiz = i iz = i coth(iz) sen(z) e eiz

at

A A long(CN ) = 4(2N + 1) 0 (N + 1/2)k (N + 1/2)k

em

at ic

(con

independiente de

N ).

a1
ez zez z 1 ez 1

Bn (1) n Bn (0) n z + z n! n! n=0 n=0

3 ver

por ejemplo [Spiegel], captulo 7, problema 24

.c om

CN :

Pero como

Bn (1) = Bn (0) = Bn

salvo si

n = 1,

Bn = 0

si

n3

es impar,

deducimos que: choth(z/2)

=2

B2n 2n1 z (2n)! n=0

En consecuencia obtenemos el siguiente desarrollo de Laurent,

g(z) =

2i B2n cot(z) 22n (1)n 2n B2n 2nk1 = k (2iz)2n1 = z zk z n=0 (2n)! (2n)! n=0 2n = k : 2k (1)k/2 k Bk k!

y en particular mirando el trmino con Res(g, z

= 0) =

(k) = k
es par.

3.2.

Prueba mediante series de Fourier

ww

de Fourier. A partir del dearrollo de Fourier

B 1 (x) =

sen(2x)

w.

Como las funciones

B n (x) son perodicas de perodo 1 admiten un desarrollo

sen(4x) sen(6x)

at e
+

m
+ ... +

at

si

ic

1 1 Bk = (1)k/2+1 (2)k nk 2 k! n=1

a1

.c om

y por lo tanto

+ ...

se obtiene por integraciones sucesivas que:

B k (x) = (1)(k/2)+1

2(k!) (2)k

cos(2nx) nk n=1

para

par

B n (x) = (1)(k+1)/2

2(k!) (2)k

sen(2nx)

n=1

nk

parak impar

En particular evaluando el primero de estos desarollos en

x = 0,

obtenemos

la frmula del teorema .