Sei sulla pagina 1di 24

SMM

nea Matema
tica 39 (2004) 6184
Miscela

La Funcion Gama
Juan Jose Rivaud
Seccion de Metodologa y
Teora de la Ciencia
CINVESTAV
jrivaud@mail.cinvestav.mx

Presentaci
on
El presente trabajo tiene como antecedente una version previa elaborada para el III Coloquio del Departamento de Matematicas del CINVESTAV. Los organizadores de la reunion me
pidieron que como complemento a un curso de variable compleja
ofrecido dentro del programa, en poco mas de dos horas, hiciese
un resumen de la funcion . Recuerdo que en esa ocasion no
me decida por exponer de manera tradicional y pretender dar
un panorama elemental de la funcion , o hacerlo en forma mas
amable cubriendo u
nicamente algunos temas.
Hace unos meses revisando mis archivos volv a tropezarme
con este material y me parecio que segua teniendo sentido ofrecerselo a los estudiantes y maestros de las licenciaturas en matematicas como complemento de un curso de variable compleja. Me pregunte nuevamente lo mismo, si no sera mejor un
planteamiento mas amable, lo cual implicaba seleccionar el material y eliminar una buena parte de este; o usar la presentacion,
definicion, teorema, corolario, definicion... tomando la misma
decision que hace veinte a
nos.
Esta nueva version difiere de la primera en que se ha mejorado la redaccion y se han incorporado algunas aplicaciones sencillas mas. Como sucede con frecuencia uno esta tentado a exponer aplicaciones mas delicadas y poderosas, que pongan de
manifiesto la fuerza de la teora, pero ello hara que creciese desproporcionadamente el tama
no del trabajo por lo que a pesar
del consejo de los revisores no lo hicimos y u
nicamente damos
algo de bibliografa al respecto.
Por u
ltimo, quiero darle las gracias por sus comentarios y
sugerencias a la Dra. Ana Meda de la Fac. de Ciencias de la

61

62

Rivaud
Juan Jose

UNAM, al Dr. Ra
ul Rueda del Inst. de Investigaciones en Matematicas Aplicadas y Sistemas de la UNAM, y al Dr. Carlos
Ibarra del Departamento de Matematicas de la UAM-I.
Ojala y estas notas les sean de utilidad a algunos de los
lectores.

1.

Introducci
on y motivaci
on

Una de las herramientas de gran uso en la solucion de ecuaciones


diferenciales ordinarias y parciales es la transformada de Laplace de una
funcion f (x), definida para x > 0 y denotada por L (f (x)). Esta definida por
Z

L [f (x)] (s) =

esx f (x)dx ,

y tiene sentido para toda s en la que la integral existe.


En el estudio de este objeto matematico se ha trabajado intensamente y son innumerables los libros y monografas que le dedican uno
o varios captulos.
Como es natural uno de los primeros problemas que se consideran
es el calculo de transformadas de funciones sencillas, como por ejemplo
xn1 (la eleccion del coeficiente n 1 es para simplificar la notacion),
Z
n1
esx xn1 dx
(n > 0) ,
(s) =
L x
0

que introduciendo el cambio sx = t, nos da


Z
n1
1 t n1
L x
(s) = n
e t dt .
s 0
La expresion anterior nos dice que

k (n)
L xn1 (s) = n ,
s

teniendo as determinada la transformada, modulo la constante k(n),


la cual solo depende de n y que esta dada por
Z
et tn1 dt
(n > 0) .
k (n) =
0

Esta misma integral aparece con frecuencia en la solucion de diversos problemas, y en muchos casos nos interesa su valor para n no es

n Gama
La Funcio

63

un n
umero natural (ejemplo de ello es precisamente el de la transformada de Laplace de xn1 que acabamos de plantear, en donde n puede
ser cualquier real mayor que cero). Dicha integral es lo que llamamos
funcion Gama.
Z
() =
et t1 dt
( > 0) .
0

Las siguientes paginas estan dedicadas a su estudio.


Al igual que con otras funciones, la definicion no solo tiene sentido
para real mayor que cero, sino tambien para n
umeros complejos, y es
dentro de este marco que su estudio se vuelve mas claro. En este caso la
definicion tiene sentido para cualquier complejo con parte real positiva
pues, tomando el valor principal de tz1 , la integral
Z
et tz1 dt
(1)
(z) =
0

es convergente. Su derivada viene dada por


Z

et tz1 n (t)dt .
(z) =

(2)

Integral que tambien converge para Re(z) > 0. Mas adelante veremos que se puede continuar analticamente a todo el plano complejo,
excepto a los
enteros negativos z = n donde tiene polos simples con
n
residuo (1)
.
n!
La funcion es considerada la generalizacion a los complejos de la
funcion factorial, pues
(n + 1) = n! .
Para darnos cuenta de la validez de esta u
ltima relacion primero
observemos que

R k t
k
= 1 y note (1) = 1
(1) = lm 0 e dt = lm e e
k
k
mos que
(z + 1) = z (z)

(por ahora para Re(z) > 0) .

(3)

Para ello basta integrar por partes. Luego


(n + 1) = n (n) = n (n 1) (n 1) = . . . = n (n 1) 2 (1) = n!

Rivaud
Juan Jose

64

2.

La Funci
on como un producto infinito

Son muy u
tiles las expresiones como productos infinitos de la funcion
que a continuacion desarrollamos.

2.1.

F
ormula de Euler y sus consecuencias.

Recordemos que
t

= lm

(z) =

t
1
n

luego,

lm

lm n

t
1
n

tz1 dt

(1 s)n sz1 ds .

Integrando por partes n veces, tenemos que:


Z 1
(1 s)n sz1 ds =
0

1 z
s (1 s)n
z

por lo que

n
+
z
0

(1 s)n1 sz ds = . . . =

n (n 1) . . . 1
,
z (z + 1) . . . (z + n)

n!nz
=
(z) = lm
n z (z + 1) . . . (z + n)


z z
nz
1
1
(n 1)z
2
n
2 3
= lm
.
.
.
,
...
z n z + 1
z+2
z + n 1z 2z
(n 2)z (n 1)z
o sea

z

1Y
z 1
1
(z) =
.
(4)
1+
1+
z n=1
n
n
Este producto es convergente para toda z distinta de 0, 1, 2,
..., n, ... Por lo tanto ya tenemos una expresion que nos sirve
para expresar sin la restriccion que tenamos originalmente de que
Re(z) > 0.
La relacion anterior es conocida como Formula de Euler, pues es el
quien la establece por primera vez en 1729 en una carta a Goldbach.
Posteriormente es usada por Gauss como definicion de la funcion (z).

n Gama
La Funcio

65

Como corolarios inmediatos de esta formula (basta analizar cada


uno de los factores) tenemos que:
1. La funcion tiene
polos simples en los puntos 0, 1, 2, ..., n, ...
n
con residuo (1)
.
n!
2. La funcion no toma el valor cero para ninguna z.
Tambien a partir de este producto infinito podemos demostrar en
general la formula (3). Para ello consideremos
z+1
1
Q
1
1 + z+1
1 + n1
(z + 1)
z+1
n
=
z
1
Q
1
(z)
1 + nz
1 + n1
z
)
(

N
Y
1 + n1 (z + n)
z
=
lm
z + 1 N n=1
z+n+1
N +1
= z lm
N z + N + 1
= z

que implica el resultado.


Otra consecuencia directa de este producto y del hecho de que


sen(z) Y
z2
(5)
=
1 2 ,
z
n
n=1
es la relacion que existe entre las funciones trigonometricas y la funcion
, la cual se obtiene considerando la siguiente expresion
1Y
(z) (z) =
z

z 2

1
1+
n

1
Q
1

z
z2
n2

#
"

z 1 1 Y
z 1
1 z
1+
1
1+
n
z
n
n

y sustituyendo el producto infinito por su valor, tenemos:


(z) (z) =

z sen(z)

(6)

de donde, usando que (z) = (1z)


, sustituyendo y cancelando,
z
concluimos

.
(7)
(z) (1 z) =
sen(z)

Rivaud
Juan Jose

66

Como caso particular de esta u


ltima relacion, tenemos
2

1
1

1
=
=
= ,
2
2
2
sen 2
luego

1
= .

(8)

(De la expresi
1 on como producto infinito o de la definicion original
sabemos que 2 > 0).
Haciendo uso de la definicion original y aplicando este resultado,
como corolario, tenemos que
Z
Z

2
t 21
ex dx
(9)
=
e t dt =
0

(para la u
ltima igualdad sustituya t = x ).
Esta u
ltima integral esta relacionada con Probabilidad, en
R xparticular
2
con la distribucion normal. Es de hacer notar que la integral 0 et dt no
puede expresarse por alguna funcion elemental, lo que no es inmediato
de probar.
Otra consecuencia de la formula de Euler es la que se conoce como
la Formula de la Duplicacion:

1
1
2z1
2
.
(10)
(2z) = 2
(z) z +
2
Para su deduccion consideremos

1
(n!)2 n2z+ 2
1

(z) z +
= lm
n [z (z + 1) . . . (z + n)] z + 1
2
z + 23 . . . z +
2
1

(n!)2 n2z+ 2 22n+2


= lm
.
n 2z (2z + 1) . . . (2z + 2n + 1)

Asimismo,
(2n + 1)! (2n + 1)2z
,
n 2z (2z + 1) . . . (2z + 2n + 1)

(2z) = lm
luego,

2z
1
n
n 2 (n!)2 22n+2
lm
n
(2n + 1)!
2n + 1
2z

1
2 2n+2
n 2 (n!) 2
n
= lm
.
lm
n
(2n + 1) n 2n + 1

(z) z + 12
=
(2z)

2n+1
2

n Gama
La Funcio

67

Si cada lmite existe. Ahora bien, el segundo lmite es directo

2z
n
lm
= 22z .
n 2n + 1
En la expresion del primer lmite no aparece z, luego podemos calcularlo, por ejemplo, tomando z igual a 12 , es decir

n 2 (n!)2 22n+2 1
= lm
2 ,
n
(2n + 1)

de aqu se sigue directamente la formula de duplicacion. Esta formula


es debida a Legendre. Su generalizacion, que esta dada por

1
1
2
n1
1
z+
... z +
= (2) 2 (n1) n 2nz (nz) .
(z) z +
2
3
n
(11)

conocida como el teorema de multiplicacion de Gauss, se demuestra


esencialmente de la misma manera. Se invita al lector a hacerlo.
Al lector interesado en familiarizarse mas con la funcion , le sugerimos que:
i) Usando las formulas desarrolladas, calcule

1
1
1

, n +
, n +
.
2
2
2
ii) Demuestre que

2.2.

1
1
+z
z =
.
2
2
cos(z)

Forma can
onica de Weierstrass.

Para definir la funcion gama, Weierstrass usa la expresion como


producto, que a continuacion desarrollamos. Dicha relacion haba ya
sido publicada por F.W. Newman en 1848.
De la formula previa a la de Euler, tenemos directamente que:

h
1
z
z zn (n) i
z
= lm z 1 +
1+
+ ... + 1 +
e
=
(z) n
1
2
n

h
z 1z
z 1 z [(1+ 1 + 1 +...+ 1 )n (n)]z i
z z
2
3
n
e
e z ... 1 +
e n e
1+
= lm z 1 +
n
1
2
n

68

Rivaud
Juan Jose

Este
paso tienesentido porque,
como veremos a continua
segundo
1
1
1
cion,
1 + 2 + 3 + . . . + n n (n) es convergente; al lmite se le
denota por y es llamado la constante de Euler-Mascheroni. Luego:
Y h
z z i
1
1+
= zez
e n ,
(12)
(z)
n

expresion conocida como Formula canonica de Weierstrass.

Demostremos que lm 1 + 21 + 31 + . . . + n1 n (n) existe; para


n
ello consideremos las siguientes igualdades:
Z

t
1
1 1
e + e2t + . . . + ent dt
=
1 + + + ... +
2 3
n
Z0
2
n
=
et + et + . . . + et
dt
0
Z t
e e(n+1)t
=
dt ,
1 et
0
y
Z t
Z n Z
e ent
xt
dt .
e dt =
dx
n (n) =
t
0
0
1
Restando ambas expresiones, tenemos:

Z t
e + e(n+1)t et ent
1
1 1
n (n) =
dt ,

1 + + + ... +
2 3
n
1 et
t
0
cuyo lmite es la integral convergente

Z
1
1
t
e
=

dt .
1 et
t
0

(13)

El valor de esta constante fue calculada por J.C. Adams hasta 260
decimales, los primeros son: 0.577215. Le pedimos al lector que pruebe
que = (1), lo cual nos da una interpretacion de .
(Algunos autores le dan otro nombre a varias de las formulas mencionadas en las paginas 7, 8 y 10 vease Las Tablas Integrales de M.
Abramowitz y I.A. Stegun, New York, Dover, 1965).

3.

Representaci
on Integral de Hankel

La integral a traves de la cual definimos la funcion (z) para


Re (z) > 0 no puede extenderse a otros valores de z. Una representacion

n Gama
La Funcio

69

integral que es valida para todos los valores de z excepto 0, 1, 2, . . .


n, . . . es
Z
1
et tz1 dt ,
(14)
(z) =
2i sen(z)
C

donde C es el contorno de integracion que empieza en , sigue el


semi-eje real negativo hasta un punto con |z| > > 0 circula el
origen en el sentido contrario a las mancillas del reloj y regresa a
a lo largo del semi-eje real negativo (vease la figura 1).

Figura 1
A la expresion (14) es lo que llamamos Representacion Integral de
Hankel.
Es conveniente aclarar que el integrando en general es una funcion
multivaluada que tiene su valor principal definido en el complemento
del semi-eje real negativo. El argumento de t, a traves de C, vara desde
a . Claramente el lado derecho de la expresion anterior define una
funcion holomorfa para las z en las que la integral existe. Para ver que
la igualdad es valida basta ver que
Z
Z
1
t z1
et tz1 dt ,
e t dt =
2i sen(z)
0
C

para Re (z) > 0. Ello se puede hacer directamente evaluando el lado


derecho en la trayectoria siguiente (figura 2)

Rivaud
Juan Jose

70

Figura 2

y despues haciendo tender k a y a cero. Los detalles quedan


para al lector.
El lector interesado puede probar que:
i
1
=
(z)
2

tz et dt ,

(15)

donde < arg (z) y C es el contorno de la integral de Hankel.


Para ello use que (z + 1) = z (z) y sustituya 1 z por z.

4.

La derivada logartmica de la funci


on : La funci
on

(z)
El cociente (z)
= (n (z)) tiene una serie de propiedades interesantes, algunas de las cuales veremos a continuacion. Al mismo tiempo
la frecuencia con la que aparece ha hecho que se de un nombre especial,
el de funcion (funcion psi).
La funcion tiene las siguientes expresiones

1
1 X
,
(z) = +
z
n
(z
+
n)
1

(16)

y
(z) = lm

1
1
1
n (n)
...
z z+1
z+n

(17)

Note que expresion la (17) es una generalizacion de la definicion de


. Para obtener la primera de ellas se toma el logaritmo de la forma

n Gama
La Funcio

71

canonica de Weierstrass (vease la expresion 12) y se deriva, o sea

(z) = (n (z)) = n zez


=

n z z +

h
Y
1

1+

n
!
z

e( n )z
1

!1

X
1
n 1 +
n
n
n=1

1 X
z
= +
,
z n=1 n (z + n)

de aqu, sustituyendo por su expresion como lmite, obtenemos la


segunda

1 1
1
1 X
z
(z) = lm n (n) 1 . . .
+
n
2 3
n
z
n (z + n)

n=1
1
1
1
= lm n (n)
...
.
n
z z+1
z+n
Tambien la funcion satisface una ecuacion en diferencias,
(z + 1) =

1
+ (z)
z

(z 6= 0, 1, 2, . . .) ,

(18)

que se obtiene de la relacion (z + 1) = z (z) por diferenciacion y


aplicacion de esta misma formula.
La relacion anterior aplicada sucesivamente nos da

1
1 1
+ (1)
(n + 1) =
1 + + + ... +
2 3
n
1 1
1
= 1 + + + ... + ,
2 3
n
luego lm (n + 1) n (n) = 0, i.e., (n) se aproxima n (n) para n
n
suficientemente grande.
La funcion tambien tiene representaciones integrales interesantes,
una de ellas es la formula de Gauss:

Z t
etz
e
(z) =
dt ,
(19)

t
1 et
0
valida para Re(z) < 0.

Rivaud
Juan Jose

72

Para probarla, primero demostremos que


Z 1
1 tz1
dt .
(z) = +
1t
0
Para ello, como
+

1
1t

(20)

= 1 + t + t2 + . . . + tn + . . . tenemos que

1 tz1
dt = +
1t
= +
= +

tn 1 tz1 dt

Z
X

n=0 0

X
n=0

tn 1 tz1 dt

1
1

(n + 1) (n + z)

1 X
z
= +
z
n (z + n)
1

= (z) ,

quedando establecida la relacion (20).


Cambiando la variable t por es tenemos
Z s
e esz
ds ,
(z) = +
1 es
0
de nuevo valida para Re(z) > 0 y usando el hecho de que

Z
1
1
t
e
=

dt
1 et
t
0
por sustitucion, obtenemos la formula de Gauss.
Algunas expresiones interesantes relacionadas con la funcion son:
(i)

1
(1+z)2

1
1+z

1
2+z

1
(2+z)2

+ ... +

1
(n+z)2

+ . . . = (1 + z).

1
+ . . . + n+z
= (z + n + 1) (z + 1).

(iii) 21 + z 12 z = tan z.

(iv) (2z) = n 2 + 21 (z) + 12 z + 21 .


R et etz
et1 dt.
(v) (z + 1) = 0
t

(ii)

Invitamos al lector a dar su propia prueba de ellas.

n Gama
La Funcio

5.

73

La funci
on beta

Consideremos la funcion dada por la familia de integrales, en los


parametros p y q, siguiente:
Z 1
tp1 (1 t)q1 dt ,
(21)
(p, q) =
0

donde Re(p) > 0 y Re(q) > 0 y los valores de tp1 y (1 t)q1 considerados son los principales. La funcion es llamada Funcion Beta.
Reemplazado t por 1 s vemos que:
(p, q) = (q, p) .
Varios cambios de variable dan lugar a distintas representaciones
integrales de Beta, por ejemplo, si en (21) reemplazamos t por sen2 ,
obtenemos que:
Z
sen2p1 cos2q1 d .
(22)
(p, q) = 2
0

s
en (21) obtenemos:
En forma analoga reemplazando t por 1s
Z
sp1
(p, q) =
dt .
(23)
(1 + s)p+q
0

La funcion Beta esta relacionada con la funcion de la siguiente


manera
(p) (q)
(p, q) =
,
(24)
(p + q)
relacion que ademas nos sirve para extender la definicion de la funcion
a las otras mitades de los planos p y q.
Para verificar (24) tenemos que:
Z
Z
t p1
(p) (q) =
e t dt
es sq1 ds
0Z

Z0
q
t p1
tx q1
t
e t
=
e x dx dt
0
0
Z

Z
q1
t(x+1) p+q1
=
x
e
t
dt dx
0
0
Z
Z
xq1
es sp+q1 ds
=
p+q dx
(1 + x)
0
0
= (q, p) (p + q) = (p, q) (p + q) .

Rivaud
Juan Jose

74

Como aplicacion de estas relaciones, el lector puede calcular las


integrales siguientes:
Z

5.1.

dt

p
,
t (1 t)

sen cos d,

(1 + s)5

ds .
s

Una aplicaci
on a la mec
anica.

Es interesante que Niels Henrik Abel usase la funcion para el


desarrollo y solucion de un problema mecanico. Este trabajo es pionero
en la Teora de las Ecuaciones Integrales, cuyo tratamiento sistematico
lo hicieran Volterra, Fredholmy Hilbert, mas de medio siglo despues.
Este problema es discutido ampliamente en otro n
umero de Miscelanea
Matematica; mas precisamente en el n
umero 36, en el artculo Vida y
Obra de Niels Henrik Abel (pags. 1 a 27) de Shirley Bromberg y Juan
Jose Rivaud, por ello no lo tratamos aqu.
A continuacion presentamos un problema mecanico mucho mas simple, pero que para su solucion se requiere calcular la integral de una
funcion de las del tipo que estan relacionadas con la funcion .
El problema es:
En cada instante, una partcula es atrada hacia el origen con una
fuerza inversamente proporcional a su distancia al origen. Si la partcula
parte del reposo, calcular el tiempo en que llega al origen.
A continuacion damos la solucion:
Sin perdida de generalidad, supongamos que en t = 0 la partcula
se encuentra sobre el eje x a una distancia a > 0 y sea 0 el origen. Por
la 2a Ley de Newton tenemos que:
m

d2 x
c
= ,
2
dt
x

donde m es la masa de la partcula y c > 0 una constante, de proporcionalidad.


(la velocidad de nuestra partcula), entonces,
Si hacemos v dx
dt
dv
d2 x
dv dx
dv
= 2 =

=v ,
dt
dt
dx dt
dx
y la ecuacion original toma la forma
mv

dv
c
mv 2
= que integrando nos da:
= cn x + k .
dx
x
2

n Gama
La Funcio

75

Como v = 0 en x = a, se tiene que k = c n a, o sea:


mv 2
a
= c n
2
x

r r
a
2c
dx
n ,
v=
=
dt
m
x

(el signo negativo en la raz cuadrada es consecuencia de que x decrece


al aumentar t).
De aqu, el tiempo T que la partcula toma para ir de x = a a x = 0
viene dado por
r Z a
dx
m
q .
T =
2c 0
n xa
a

Haciendo ahora n

T =a

m
2c

= u (x = aeu ),

21 u

e du = a

2c

r

1
m
,
=a
2
2c

terminando as con el calculo de T .

5.2.

C
alculo del volumen de la bola de radio r en
n
R y la funci
on .

En Rn al conjunto de puntos x = (x1 , x2 , . . . , xn ) tales que kxk =


1
(x21 + x22 + . . . + x2n ) 2 r le llamanos la bola de radio r y la denotamos
por b(n, r).
El volumen en Rn de b(n, r), que denotaremos por (n, r), lo encontramos calculando la integral siguiente

a (n, r) =

dx1 dx2 . . . dxn .

(*)

x21 +x22 +...+x2n r 2

Es inmediato que (n, r) = rn (n, 1), por ello solo calcularemos

Rivaud
Juan Jose

76

(n, 1), con tal proposito,


Z

a (n, 1) =

dx1 dx2 . . . dxn

{x21 +x22 +...+x2n 1}

dx1

1
1

dx2 . . . dxn

{x22 +...+x2n 1x21 }

1
n 1, 1 x21 2 dx1

1 x21

= (n 1, 1)

n1
2
Z

luego
(n, 1)
=2
(n 1, 1)

(n 1, 1) dx1

n1
1 x21 2 dx1 ,

1 x2

n1
2

dx ,

lo cual, haciendo x2 = t toma la forma:

Z 1
n1
(n, 1)
1 n+1
21
2
t dt =
.
(1 t)
=
,
(n 1, 1)
2
2
0
Para adquirir mas familiaridad con el tema, el lector puede demostrar que
n

2 2

(n, 1) =
n n2

(n = 1, 2, . . .) .

As como tabular los valores de (n, 1) desde n = 1 hasta n = 10.

6.

La funci
on zeta de Riemann
Definimos la funcion zeta como
(z) =

X
1
nz
n=1

(para

Re (z) > 1) .

(25)

Esta definicion tiene sentido, pues la serie converge uniformemente


en una vecindad de cada punto z de radio menor que Re(z) 1; Por lo

n Gama
La Funcio

77

tanto tenemos que ademas (z) es holomorfa para Re(z) 1. Esta funcion era ya conocida por Euler, pero es Riemann en su memoria sobre
los n
umeros primos quien descubre sus propiedades mas sobresalientes
tanto en relacion con los n
umeros primos como con la funcion .
La funcion zeta puede generalizarse de la siguiente manera:
(z, a) =

X
n=1

1
(n + a)z

(26)

(Re (z) > 1 y a real 6= 0, 1, 2, . . . , n, . . .).


La serie que converge uniformemente en cualquier region con
Re (z) > 1 + ( > 0), luego (z, a) es holomorfa en Re(z) > 1.
Como mencionamos arriba, la funcion guarda varias relaciones
con la funcion ; a continuacion enunciamos y demostramos algunas de
ellas.
El producto de las funciones y puede expresarse como una integral indefinida muy sencilla, mas precisamente:
Z z1 at
t e
(z, a) (z) =
dt ,
(27)
1 et
0
para Re(z) > 1.
Para demostrarlo, notemos primero que:
Z
(z)
tz1 e(n+a)t dt
z =
(a + n)
0
cuando arg(t) = 0 y Re(z) > 0.
Luego, cuando Re(z) > 1 +
XZ
(z) (z, a) = lm
tz1 e(n+a)t dt =
N

n=0

Z z1 (N +1+at)
t e
t e
dt
dt
= lm
t
N
1e
1 et
0
0
Z z1 (N +1+at)
Z z1 at
t e
t e
=
dt lm
dt .
t
N 0
1e
1 et
0
Z

z1 at

Ahora bien, la segunda integral la podemos acotar usando para


t > 0, et 1 + t. Es decir
Z z1 (N +1+at)
Z

t e

tRe(z)2e (N +a)t dt
dt

t
1

e
0
0
= (N + a)1Re(z) (Re (z) 1) ;

78

Rivaud
Juan Jose

que para Re(z) 1 + , tiende a cero, cuando N , terminando


as la demostracion.
Para el caso a = 0, la relacion (27) toma la forma
Z z1 t
t e
dt .
(28)
(z) (z) =
1 et
0
Una relacion realmente bella entre (z) y (1 z) es la establecida
por Riemann, que a continuacion enunciamos:
(2)z1 (1 z) = (z) (z) cos

z
,
2

(29)

que es valida para toda z, excepto las singularidades de las funciones


que la forman.
Esta formula tiene una generalizacion para (z, a) dada por Hurwitz
y valida para Re(z) < 0:
"
#
X

2 (1 z)
cos(2an)
sen(2an)
1
1
(z, a)=
z
+ cos
z
sen
.
2 1z
2
n1z
2
n1z
n=1
n=1
(30)

se puede demostrar (30) partiendo de la siguiente expresion de (z, a)


como integral de contorno, dada originalmente para a = 0 por Riemann.
Z z1 at
(1 z)
t e
(z, a) =
dt
(31)
2i
1 et
C

donde C es el contorno de la figura 3.

Figura 3

Antes de seguir adelante, notemos que la integral define una funcion


entera, luego las posibles singularidades de (s, a) coinciden con las de
(1 s) o sea los puntos 1, 2, 3, ... y que con la excepcion de estos

n Gama
La Funcio

79

puntos la representacion tiene sentido. Al mismo tiempo ya sabamos


que (z, a) no tiene singularidades para Re(z) > 1, luego la u
nica
singularidad posible es z = 1, donde efectivamente (z, a) tiene un
polo simple con residuo 1.
Para demostrar la validez de la formula (31) basta probar que coincide conR(27) para Re(z) > 1 y son calculos directos a partir de la
z1 at
integral t 1eet dt.
C

La formula de Hurwitz para Re(z) > 0 se demuestra usando el


z1 at
teorema del residuo aplicado a la funcion t 1eet , que es analtica excepto
en los polos simples 2ni (n = 1, 2, . . . ,), a lo largo de la trayectoria
A descrita en la figura 4.

Figura 4
Esta trayectoria esta formada por un crculo de radio (2N + 1)
recorrido en el sentido negativo (i.e. el contrario a las manecillas del
reloj) y la horquilla cuyo lmite es el contorno de integracion en la
formula (31); al crculo de radio (2N + 1) en el sentido positivo lo
denotaremos por CN y a la horquilla por HN , luego
1
2i

Z
A

tz1 eat
1
dt =
t
1e
2i

HN

tz1 eat
1
dt
t
1e
2i

CN

X
tz1 eat
dt
=
(Rn+ Rn ) ,
1 et
n=1

donde Rn son los residuos en los puntos 2ni y Rn en los puntos 2ni,
con n N , es decir los polos dentro de A.
Calculando se obtiene que:

1
z1

z + 2an ,
Rn+ Rn = (2n) 2 sen
2

Rivaud
Juan Jose

80
luego

1
2i

HN

"

1
= 1z 2 sen
2

1
z
2

tz1 eat
dt =
1 et

X
N

X
N
1
cos(2an)
sen(2an)
+ 2 cos
z
+
n1z
2
n1z
n=1
n=1
Z z1 at
t e
1
+
dt .
2i
1 et
CN

Cuando N , tenemos que el miembro izquierdo tiende a


(z, a) / (1 z) y el derecho a
"
#

1
1
1
cos(2an)
sen(2an)
2 sen
z
+ 2 cos
z
2 1z
2
n1z
2
n1z
n=1
n=1
R tz1 eat
1
pues 2i
dt tiende a cero cuando N . Quedando probada
1et
la formula.
La funcion esta relacionada de manera sorprendente con los n
umeros primos como veremos a continuacion.
Por definicion (z) = 1 + 21z + 31z + . . . + n1z + . . ., de donde,

1
1
1
1
1
1
1 z (z) = 1 + z + z + z + z + . . . +
2
3
5
7
9
(2n + 1)z

1
1
1
1
1
1 z
1 z (z) = 1 + z + z + z + . . . + . . .
3
2
5
7
11

1
1
1
1
1
1 z
1 z (z) = 1 + z + z + . . . .
1 z
5
3
2
7
11
Si continuamos hasta el lmite este proceso, tenemos

Y
1
(32)
1 z (z) = 1 ,
p

donde el producto es tomado sobre todos los n


umeros primos. (Para que
el producto sea convergente basta con que Re(z) > 1). Esta formula es
debida a Euler.
Como el lector puede ver facilmente, la formula (29) implica que (z)
es cero en z = 2, 4, 6, . . . Riemann conjeturo que todos los otros
ceros de la funcion (z) deben de encontrarse sobre la recta Re (z) 12 .
Es posible ver de la misma formula (29), que fuera de la franja
0 Re (z) 1 no hay ceros, pero sin embargo lo que sucede sobre el
eje Re(z) = 0 sigue siendo un misterio la hipotesis de Riemann sigue
sin demostrarse.

n Gama
La Funcio

7.

81

Series asint
oticas: Desarrollo de Stirling para
el logaritmo de la funci
on gama

Una serie asintotica asociada a una funcionf (x), es una serie de


funciones que, aunque divergente, es tal que la suma de un n
umero
adecuado de terminos nos da una buena aproximacion de la funcion f .
El ejemplo siguiente nos aclara la situacion.
Consideremos la ecuacion diferencial
1
y y = ,
x
queremos encontrar una aproximacion para valores grandes de x de la
solucion que tiende a cero cuando x .
El problema lo podemos intentar resolver buscando una serie de
potencias de x1 , as pues obtenemos que:
y (x) =

1
1
2!
(n 1)!
2 + 3 . . . + (1)n1
+ ... .
x x
x
xn

Serie que diverge para cualquier valor de x. Sin embargo, no todo esta perdido, esta serie tiene su utilidad, pero procedamos de otra
manera para darnos cuenta de ello. A traves de los metodos usuales de
integracion, tenemos que la solucion que buscamos viene dada por:
Z xt
e
y (x) =
dt .
t
x
(El lector puede verificar directamente que es solucion de nuestra
ecuacion y que ademas lm y (x) = 0).
x

Despues de integrar por partes (n 1) veces tenemos que:


Z xt
1
2!
e
1
n1
n!
dt ,
y (x) = 2 + 3 . . . + (1)
x x
x
tn+1
x
donde ademas tenemos que
Z
Z xt
n!
n!
e
dt < n+1
ext dt = n+1 ,
n!
n+1
t
x
x
x
x
es decir la suma de los n primeros terminos de la series nos da una aproximacion a y(x) con un error menor que el valor absoluto de enesimo
termino que en nuestro caso tiende a cero cuando x , luego si

Rivaud
Juan Jose

82

tomamos x suficientemente grande el error sera peque


no; por ejemplo
tomando 4 sumandos y x > 20, el error es menor que 105 .
La definicion formal de estas series fue dada por Poincare en 1886,
pero ya en el siglo XVIII haban sido usadas por distintos autores,
Euler, Maclaurin y Stirling.
Definicion. Una serie divergente
A0 +

A1 A2
An
+ 2 + ... + n + ...
z
z
z

en donde la suma de los (n+1) primeros sumandos es sn (z), es llamada


una expansion asintotica de una funcion f (z) para un rango dado del
arg(z), si la expresion
Rn (z) = z n {f (z) sn (z)}
satisface las siguientes condiciones
(i) Para n fija lm Rn (z) = 0
z

(ii) Para z fija lm Rn (z) = .


n

Notese que cuando se satisfacen estas condiciones, dada > 0, podemos hacer que
|z n (f (z) sn (z))| <
para |z| suficientemente grande. Es decir

f (z) sn (z) = 0 z n .

Las series asintoticas tienen propiedades que nos permiten utilizarlas. A continuacion enunciamos algunas de ellas quedando para el lector
sus demostraciones.
Propiedad 1.
Si An z n es una serie asintotica para f (z) y Bn z n lo es para
g(z) entonces el producto Cn z n es una serie asintotica para
f (z) g (z) [Cn = A0 Bn + A1 Bn1 + . . . + An B0 ] .
Propiedad 2.
Si

An z n es una expansi
on asintotica de f (x), entonces

n=2

An
n+1
(n1) x
n=2

es una expresion asintotica de

Rx
x

f (t) dt.

n Gama
La Funcio

83

Propiedad 3.
Una funcion f (z), en un rango de arg(z) dado, no puede tener mas
de una serie asintotica. Sin embargo una serie si puede ser el desarrollo
asintotico de dos funciones [por ejemplo de f (z) y g (z) = f (z) + ez ,
para 41 < arg (z) < 41 ].
A continuacion damos la expansion asintotica del n (z), expresion
que se conoce usualmente como la serie de Stirling.

1
n (z) + z + n (2)
(33)
n ( (z)) z
2

(1)r1 Br
,
2r (2r 1) z 2r1
r=1

R 2n1
donde |arg (z)|
0 < < 41 y Br = 4r 0 t e2t 1dt son los
n
umeros de Bernoulli.
Tomando la exponencial de la serie de Stirling para z = x real
positivo tenemos una formula asintotica para Gama.

(x) = ex x

x 21

En particular tenemos que:


n n
n!
2n
=
e

1
2

(2) e

x=1

(1)r1 Br 12r
x
zr(2r1)

(formula de Stirling) .

(34)

(35)

En la expresion (34) estamos abusando de la notacion, lo correcto


es una expresion para cada r, de la del estilo del siguiente ejemplo.
x x 21

(x) = e


1
1
1
134
571
1
(2)
1+
.

+0
2
12x 288x2 51840x3 2488320x4
x5

Para calcular las tablas de funcion Gama, estas aproximaciones son


las usadas junto con la relacion:
(x + 1) = x (x) .

Bibliografa
La bibliografa sobre la funcion , sin duda, ocupa muchas mas
paginas que el presente trabajo, por lo que el intentarlo nos desva de

84

Rivaud
Juan Jose

nuestro proposito. Por ello solo damos algunas referencias que pueden
orientar al lector que desee profundizar mas en el tema o en sus aplicaciones.
Un texto muy claro y conciso es A Course of Modern Analysis,
E. T. Whittaker y G.N. Watson, Cambridge, University Press, 1980.
De el tomamos algunas de las demostraciones.
Otro texto en el que uno puede familizarizarse con el tema es el libro
de Calculo Superior, Murray R. Spiegel, Mexico, McGraw Hill, 1969
de la serie Schaums. A pesar del poco aprecio que nuestra comunidad
tiene por esta serie, el texto es claro y sugerente.
Otro texto con un captulo dedicado a la funcion es la 3a edicion
de Principles of mathematical analysis de Walter Rudin, New York,
McGraw-Hill, 1976.
Una excelente monografa sobre la funcion es la escrita en aleman
por Emil Artin (Einf
unrungin die Theorie del Gamma funktion, 35
pags.) y traducida al ingles por Michael Butler, bajo el ttulo del The
gamma function, New York, Holt, Rinehart and Winston, 1964, 39
pags. (Holt, Rinehart and Winston), 1964, 39 pags.
Para aplicaciones de la funcion a Probabilidad, un lugar interesante es el texto de A.N. Shiryaev, Probability, New York, Springer,
2nd Ed. (1996).
Las tablas de Integrales, series, etc. de I.S. Gradshteyn y I.M. Ryzhik,
Berlin, Deutscher Verlag der Wissenschaften, 1957 o las de M. Abramowitz y I.A. Stegun, New York, Dover, 1965 son otros dos sitios donde
se pueden encontrar numerosas referencias de la funcion .