Miscel anea Matem atica 39 (2004) 6184 SMM

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 pre-
via elaborada para el III Coloquio del Departamento de Mate-
maticas 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 unicamente algunos temas.
Hace unos meses revisando mis archivos volv a tropezarme
con este material y me parecio que segua teniendo sentido ofre-
cerselo a los estudiantes y maestros de las licenciaturas en ma-
tematicas como complemento de un curso de variable comple-
ja. Me pregunte nuevamente lo mismo, si no sera mejor un
planteamiento mas amable, lo cual implicaba seleccionar el ma-
terial y eliminar una buena parte de este; o usar la presentacion,
denicion, teorema, corolario, denicion... tomando la misma
decision que hace veinte a nos.
Esta nueva version diere de la primera en que se ha mejora-
do la redaccion y se han incorporado algunas aplicaciones sen-
cillas mas. Como sucede con frecuencia uno esta tentado a ex-
poner aplicaciones mas delicadas y poderosas, que pongan de
maniesto la fuerza de la teora, pero ello hara que creciese des-
proporcionadamente el tama no del trabajo por lo que a pesar
del consejo de los revisores no lo hicimos y unicamente damos
algo de bibliografa al respecto.
Por ultimo, quiero darle las gracias por sus comentarios y
sugerencias a la Dra. Ana Meda de la Fac. de Ciencias de la
61
62 Juan Jos e Rivaud
UNAM, al Dr. Ra ul Rueda del Inst. de Investigaciones en Ma-
tematicas 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. Introduccion y motivacion
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), denida para x > 0 y denotada por L(f (x)). Esta deni-
da por
L[f (x)] (s) =
_

0
e
sx
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 intensa-
mente 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
x
n1
(la eleccion del coeciente n 1 es para simplicar la notacion),
L
_
x
n1

(s) =
_

0
e
sx
x
n1
dx (n > 0) ,
que introduciendo el cambio sx = t, nos da
L
_
x
n1

(s) =
1
s
n
_

0
e
t
t
n1
dt .
La expresion anterior nos dice que
L
_
x
n1

(s) =
k (n)
s
n
,
teniendo as determinada la transformada, modulo la constante k(n),
la cual solo depende de n y que esta dada por
k (n) =
_

0
e
t
t
n1
dt (n > 0) .
Esta misma integral aparece con frecuencia en la solucion de diver-
sos problemas, y en muchos casos nos interesa su valor para n no es
La Funci on Gama 63
un n umero natural (ejemplo de ello es precisamente el de la transfor-
mada de Laplace de x
n1
que acabamos de plantear, en donde n puede
ser cualquier real mayor que cero). Dicha integral es lo que llamamos
funcion Gama.
() =
_

0
e
t
t
1
dt ( > 0) .
Las siguientes paginas estan dedicadas a su estudio.
Al igual que con otras funciones, la denicion 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
denicion tiene sentido para cualquier complejo con parte real positiva
pues, tomando el valor principal de t
z1
, la integral
(z) =
_

0
e
t
t
z1
dt (1)
es convergente. Su derivada viene dada por

(z) =
_

0
e
t
t
z1

n
(t)dt . (2)
Integral que tambien converge para Re(z) > 0. Mas adelante vere-
mos que se puede continuar analticamente a todo el plano complejo,
excepto a los enteros negativos z = n donde tiene polos simples con
residuo
(1)
n
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 ultima relacion primero
observemos que
(1) = 1
_
(1) = lm
k
_
k
0
e
t
dt = lm
k
_
e
0
e
k

= 1
_
y note-
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!
64 Juan Jos e Rivaud
2. La Funcion como un producto innito
Son muy utiles las expresiones como productos innitos de la funcion
que a continuacion desarrollamos.
2.1. Formula de Euler y sus consecuencias.
Recordemos que
e
t
= lm
n
_
1
t
n
_
n
,
luego,
(z) = lm
n
_
n
0
_
1
t
n
_
n
t
z1
dt
= lm
n
n
z
_
1
0
(1 s)
n
s
z1
ds .
Integrando por partes n veces, tenemos que:
_
1
0
(1 s)
n
s
z1
ds =
_
1
z
s
z
(1 s)
n
_
1
0
+
n
z
_
1
0
(1 s)
n1
s
z
ds = . . . =
n(n 1) . . . 1
z (z + 1) . . . (z + n)
,
por lo que
(z) = lm
n
n!n
z
z (z + 1) . . . (z + n)
=
=
1
z
lm
n
_
1
z + 1
__
2
z + 2
_
. . .
_
n
z + n
_
2
z
1
z
3
z
2
z
. . .
(n 1)
z
(n 2)
z
n
z
(n 1)
z
,
o sea
(z) =
1
z

n=1
__
1 +
1
n
_
z _
1 +
z
n
_
1
_
. (4)
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 denicion de la funcion (z).
La Funci on Gama 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, ...
con residuo
(1)
n
n!
.
2. La funcion no toma el valor cero para ninguna z.
Tambien a partir de este producto innito podemos demostrar en
general la formula (3). Para ello consideremos
(z + 1)
(z)
=
1
z+1
_
1 +
1
n
_
z+1
_
1 +
z+1
n
_
1
1
z
_
1 +
1
n
_
z
_
1 +
z
n
_
1
=
z
z + 1
lm
N
N

n=1
_
_
1 +
1
n
_
(z + n)
z + n + 1
_
= z lm
N
N + 1
z + N + 1
= z
que implica el resultado.
Otra consecuencia directa de este producto y del hecho de que
sen(z)
z
=

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

__
1+
1
n
_
z _
1+
z
n
_
1
_
1
z

_
_
1+
1
n
_
z _
1
z
n
_
1
_
=
1
z
2
_
1
z
2
n
2
_ ,
y sustituyendo el producto innito por su valor, tenemos:
(z) (z) =

z sen(z)
(6)
de donde, usando que (z) =
(1z)
z
, sustituyendo y cancelando,
concluimos
(z) (1 z) =

sen(z)
. (7)
66 Juan Jos e Rivaud
Como caso particular de esta ultima relacion, tenemos

_
1
2
_
2
=
_
1
2
_

_
1
1
2
_
=

sen

2
= ,
luego

_
1
2
_
=

. (8)
(De la expresion como producto innito o de la denicion original
sabemos que
_
1
2
_
> 0).
Haciendo uso de la denicion original y aplicando este resultado,
como corolario, tenemos que

=
_

0
e
t
t

1
2
dt =
_

0
e
x
2
dx (9)
(para la ultima igualdad sustituya t = x
2
).
Esta ultima integral esta relacionada con Probabilidad, en particular
con la distribucion normal. Es de hacer notar que la integral
_
x
0
e
t
2
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
2
(2z) = 2
2z1
(z)
_
z +
1
2
_
. (10)
Para su deduccion consideremos
(z)
_
z +
1
2
_
= lm
n
(n!)
2
n
2z+
1
2
[z (z + 1) . . . (z + n)]
__
z +
1
2
_ _
z +
3
2
_
. . .
_
z +
2n+1
2
_
= lm
n
(n!)
2
n
2z+
1
2
2
2n+2
2z (2z + 1) . . . (2z + 2n + 1)
.
Asimismo,
(2z) = lm
n
(2n + 1)! (2n + 1)
2z
2z (2z + 1) . . . (2z + 2n + 1)
,
luego,
(z)
_
z +
1
2
_
(2z)
= lm
n
n
1
2
(n!)
2
2
2n+2
(2n + 1)!
_
n
2n + 1
_
2z
= lm
n
n
1
2
(n!)
2
2
2n+2
(2n + 1)
lm
n
_
n
2n + 1
_
2z
.
La Funci on Gama 67
Si cada lmite existe. Ahora bien, el segundo lmite es directo
lm
n
_
n
2n + 1
_
2z
= 2
2z
.
En la expresion del primer lmite no aparece z, luego podemos cal-
cularlo, por ejemplo, tomando z igual a
1
2
, es decir

= lm
n
n
1
2
(n!)
2
2
2n+2
(2n + 1)
2
1
,
de aqu se sigue directamente la formula de duplicacion. Esta formula
es debida a Legendre. Su generalizacion, que esta dada por
(z)
_
z +
1
2
_

_
z +
2
3
_
. . .
_
z +
n 1
n
_
= (2)
1
2
(n1)
n
1
2nz
(nz) .
(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 suge-
rimos que:
i) Usando las formulas desarrolladas, calcule

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

_
1
2
+ z
_

_
1
2
z
_
=

cos(z)
.
2.2. Forma canonica de Weierstrass.
Para denir 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:
1
(z)
= lm
n
_
z
_
1 +
z
1
__
1 +
z
2
_
+ . . . +
_
1 +
z
n
_
e
z
n
(n)
_
=
= lm
n
_
z
_
1 +
z
1
_
e
z
_
1 +
z
2
_
e

1
z
z
. . .
_
1 +
z
n
_
e

1
n
z
e
[(1+
1
2
+
1
3
+...+
1
n
)
n
(n)]z
_
68 Juan Jos e Rivaud
.
Este segundo paso tiene sentido porque, como veremos a continua-
cion,
__
1 +
1
2
+
1
3
+ . . . +
1
n
_

n
(n)
_
es convergente; al lmite se le
denota por y es llamado la constante de Euler-Mascheroni. Luego:
1
(z)
= ze
z

__
1 +
z
n
_
e

z
n
_
, (12)
expresion conocida como Formula canonica de Weierstrass.
Demostremos que lm
n
__
1 +
1
2
+
1
3
+ . . . +
1
n
_

n
(n)

existe; para
ello consideremos las siguientes igualdades:
1 +
1
2
+
1
3
+ . . . +
1
n
=
_

0
_
e
t
+ e
2t
+ . . . + e
nt
_
dt
=
_

0
_
e
t
+
_
e
t
_
2
+ . . . +
_
e
t
_
n
_
dt
=
_

0
e
t
e
(n+1)t
1 e
t
dt ,
y

n
(n) =
_
n
1
dx
_

0
e
xt
dt =
_

0
e
t
e
nt
t
dt .
Restando ambas expresiones, tenemos:
_
1 +
1
2
+
1
3
+ . . . +
1
n
_

n
(n) =
_

0
_
e
t
+ e
(n+1)t
1 e
t

e
t
e
nt
t
_
dt ,
cuyo lmite es la integral convergente
=
_

0
e
t
_
1
1 e
t

1
t
_
dt . (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 men-
cionadas en las paginas 7, 8 y 10 vease Las Tablas Integrales de M.
Abramowitz y I.A. Stegun, New York, Dover, 1965).
3. Representacion Integral de Hankel
La integral a traves de la cual denimos la funcion (z) para
Re (z) > 0 no puede extenderse a otros valores de z. Una representacion
La Funci on Gama 69
integral que es valida para todos los valores de z excepto 0, 1, 2, . . .
n, . . . es
(z) =
1
2i sen(z)
_
C
e
t
t
z1
dt , (14)
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 gura 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 denido 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 dene una
funcion holomorfa para las z en las que la integral existe. Para ver que
la igualdad es valida basta ver que
1
2i sen(z)
_
C
e
t
t
z1
dt =
_

0
e
t
t
z1
dt ,
para Re (z) > 0. Ello se puede hacer directamente evaluando el lado
derecho en la trayectoria siguiente (gura 2)
70 Juan Jos e Rivaud
Figura 2
y despues haciendo tender k a y a cero. Los detalles quedan
para al lector.
El lector interesado puede probar que:
1
(z)
=
i
2
_
C
t
z
e
t
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 funcion : La fun-
cion
El cociente

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

tiene una serie de propiedades intere-

santes, 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
(z) =
1
z
+

1
1
n(z + n)
, (16)
y
(z) = lm
n
_

n
(n)
1
z

1
z + 1
. . .
1
z + n
_
. (17)
Note que expresion la (17) es una generalizacion de la denicion de
. Para obtener la primera de ellas se toma el logaritmo de la forma
La Funci on Gama 71
canonica de Weierstrass (vease la expresion 12) y se deriva, o sea
(z) = (
n
(z))

=
_
_

n
_
ze
z

1
__
1 +
z
n
_
e

(
1
n
)
z
_
_
1
_
_

=
_

n
z z +

n=1
1
n

n
_
1 +
z
n
_
_

=
1
z
+

n=1
z
n(z + n)
,
de aqu, sustituyendo por su expresion como lmite, obtenemos la
segunda
(z) = lm
n
_

n
(n) 1
1
2

1
3
. . .
1
n
_

1
z
+

n=1
z
n(z + n)
= lm
n
_

n
(n)
1
z

1
z + 1
. . .
1
z + n
_
.
Tambien la funcion satisface una ecuacion en diferencias,
(z + 1) =
1
z
+ (z) (z = 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
(n + 1) =
_
1 +
1
2
+
1
3
+ . . . +
1
n
_
+ (1)
= 1 +
1
2
+
1
3
+ . . . +
1
n
,
luego lm
n
(n + 1)
n
(n) = 0, i.e., (n) se aproxima
n
(n) para n
sucientemente grande.
La funcion tambien tiene representaciones integrales interesantes,
una de ellas es la formula de Gauss:
(z) =
_

0
_
e
t
t

e
tz
1 e
t
_
dt , (19)
valida para Re(z) < 0.
72 Juan Jos e Rivaud
Para probarla, primero demostremos que
(z) = +
_
1
0
1 t
z1
1 t
dt . (20)
Para ello, como
1
1t
= 1 + t + t
2
+ . . . + t
n
+ . . . tenemos que
+
_
1
0
1 t
z1
1 t
dt = +
_
1
0
t
n
_
1 t
z1
_
dt
= +

n=0
_
1
0
t
n
_
1 t
z1
_
dt
= +

n=0
_
1
(n + 1)

1
(n + z)
_
=
1
z
+

1
z
n(z + n)
= (z) ,
quedando establecida la relacion (20).
Cambiando la variable t por e
s
tenemos
(z) = +
_

0
e
s
e
sz
1 e
s
ds ,
de nuevo valida para Re(z) > 0 y usando el hecho de que
=
_

0
e
t
_
1
1 e
t

1
t
_
dt
por sustitucion, obtenemos la formula de Gauss.
Algunas expresiones interesantes relacionadas con la funcion son:
(i)
1
(1+z)
2
+
1
(2+z)
2
+ . . . +
1
(n+z)
2
+ . . . =

(1 + z).
(ii)
1
1+z
+
1
2+z
+ . . . +
1
n+z
= (z + n + 1) (z + 1).
(iii)
_
1
2
+ z
_

_
1
2
z
_
= tan z.
(iv) (2z) =
n
2 +
1
2
(z) +
1
2

_
z +
1
2
_
.
(v) (z + 1) =
_

0
_
e
t
t

e
tz
e
t1
_
dt.
Invitamos al lector a dar su propia prueba de ellas.
La Funci on Gama 73
5. La funcion beta
Consideremos la funcion dada por la familia de integrales, en los
parametros p y q, siguiente:
(p, q) =
_
1
0
t
p1
(1 t)
q1
dt , (21)
donde Re(p) > 0 y Re(q) > 0 y los valores de t
p1
y (1 t)
q1
con-
siderados 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 sen
2
,
obtenemos que:
(p, q) = 2
_

0
sen
2p1
cos
2q1
d . (22)
En forma analoga reemplazando t por
s
1s
en (21) obtenemos:
(p, q) =
_

0
s
p1
(1 + s)
p+q
dt . (23)
La funcion Beta esta relacionada con la funcion de la siguiente
manera
(p, q) =
(p) (q)
(p + q)
, (24)
relacion que ademas nos sirve para extender la denicion de la funcion
a las otras mitades de los planos p y q.
Para vericar (24) tenemos que:
(p) (q) =
_

0
e
t
t
p1
dt
_

0
e
s
s
q1
ds
=
_

0
e
t
t
p1
_
t
q
_

0
e
tx
x
q1
dx
_
dt
=
_

0
x
q1
__

0
e
t(x+1)
t
p+q1
dt
_
dx
=
_

0
x
q1
(1 + x)
p+q
dx
_

0
e
s
s
p+q1
ds
= (q, p) (p + q) = (p, q) (p + q) .
74 Juan Jos e Rivaud
Como aplicacion de estas relaciones, el lector puede calcular las
integrales siguientes:
_
1
0
dt
_
t (1 t)
,
_
2
0
sen
8
cos
7
d,
_

0
(1 + s)
5

s
ds .
5.1. Una aplicacion a la mecanica.
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 sim-
ple, 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 2
a
Ley de Newton tenemos que:
m
d
2
x
dt
2
=
c
x
,
donde m es la masa de la partcula y c > 0 una constante, de propor-
cionalidad.
Si hacemos v
dx
dt
(la velocidad de nuestra partcula), entonces,
dv
dt
=
d
2
x
dt
2
=
dv
dx

dx
dt
= v
dv
dx
,
y la ecuacion original toma la forma
mv
dv
dx
=
c
x
que integrando nos da:
mv
2
2
= c
n
x + k .
La Funci on Gama 75
Como v = 0 en x = a, se tiene que k = c
n
a, o sea:
mv
2
2
= c
n
a
x
o v =
dx
dt
=
_
2c
m
_

n
a
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
T =
_
m
2c
_
a
0
dx
_

n
_
a
x
_
.
Haciendo ahora
n
_
a
x
_
= u (x = ae
u
),
T = a
_
m
2c
_

0
u

1
2
e
u
du = a
_
m
2c

_
1
2
_
= a
_
m
2c
,
terminando as con el calculo de T.
5.2. Calculo del volumen de la bola de radio r en
R
n
y la funcion .
En R
n
al conjunto de puntos x = (x
1
, x
2
, . . . , x
n
) tales que x =
(x
2
1
+ x
2
2
+ . . . + x
2
n
)
1
2
r le llamanos la bola de radio r y la denotamos
por b(n, r).
El volumen en R
n
de b(n, r), que denotaremos por (n, r), lo en-
contramos calculando la integral siguiente
a (n, r) =
_
x
2
1
+x
2
2
+...+x
2
n
r
2
dx
1
dx
2
. . . dx
n
. (*)
Es inmediato que (n, r) = r
n
(n, 1), por ello solo calcularemos
76 Juan Jos e Rivaud
(n, 1), con tal proposito,
a (n, 1) =
_
{x
2
1
+x
2
2
+...+x
2
n
1}
dx
1
dx
2
. . . dx
n
=
_
1
1
dx
1
_
{x
2
2
+...+x
2
n
1x
2
1
}
dx
2
. . . dx
n
=
_
1
1

_
n 1,
_
1 x
2
1
_1
2
_
dx
1
=
_
1
1
_
1 x
2
1
_n1
2
(n 1, 1) dx
1
= (n 1, 1)
_
1
1
_
1 x
2
1
_n1
2
dx
1
,
luego
(n, 1)
(n 1, 1)
= 2
_
2
0
_
1 x
2
_n1
2
dx ,
lo cual, haciendo x
2
= t toma la forma:
(n, 1)
(n 1, 1)
=
_
1
0
(1 t)
n1
2
t

1
2
dt =
_
1
2
,
n + 1
2
_
.
Para adquirir mas familiaridad con el tema, el lector puede de-
mostrar que
(n, 1) =
2
n
2
n
_
n
2
_ (n = 1, 2, . . .) .
As como tabular los valores de (n, 1) desde n = 1 hasta n = 10.
6. La funcion zeta de Riemann
Denimos la funcion zeta como
(z) =

n=1
1
n
z
(para Re (z) > 1) . (25)
Esta denicion tiene sentido, pues la serie converge uniformemente
en una vecindad de cada punto z de radio menor que Re(z) 1; Por lo
La Funci on Gama 77
tanto tenemos que ademas (z) es holomorfa para Re(z) 1. Esta fun-
cion 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 funci on .
La funcion zeta puede generalizarse de la siguiente manera:
(z, a) =

n=1
1
(n + a)
z
(26)
(Re (z) > 1 y a real = 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 in-
tegral indenida muy sencilla, mas precisamente:
(z, a) (z) =
_

0
t
z1
e
at
1 e
t
dt , (27)
para Re(z) > 1.
Para demostrarlo, notemos primero que:
(z)
(a + n)
z
=
_

0
t
z1
e
(n+a)t
dt
cuando arg(t) = 0 y Re(z) > 0.
Luego, cuando Re(z) > 1 +
(z) (z, a) = lm
N

n=0
_

0
t
z1
e
(n+a)t
dt =
= lm
N
__

0
t
z1
e
at
1 e
t
dt
_

0
t
z1
e
(N+1+at)
1 e
t
dt
_
=
_

0
t
z1
e
at
1 e
t
dt lm
N
_

0
t
z1
e
(N+1+at)
1 e
t
dt .
Ahora bien, la segunda integral la podemos acotar usando para
t > 0, e
t
1 + t. Es decir

_

0
t
z1
e
(N+1+at)
1 e
t
dt

_

0
t
Re(z)2
e
(N+a)t
dt
= (N + a)
1Re(z)
(Re (z) 1) ;
78 Juan Jos e Rivaud
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) (z) =
_

0
t
z1
e
t
1 e
t
dt . (28)
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:
(z, a)=
2(1 z)
2
1z
_
sen
_
1
2
z
_

n=1
cos(2an)
n
1z
+ cos
_
1
2
z
_

n=1
sen(2an)
n
1z
_
.
(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, a) =
(1 z)
2i
_
C
t
z1
e
at
1 e
t
dt (31)
donde C es el contorno de la gura 3.
Figura 3
Antes de seguir adelante, notemos que la integral dene 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
La Funci on Gama 79
puntos la representacion tiene sentido. Al mismo tiempo ya sabamos
que (z, a) no tiene singularidades para Re(z) > 1, luego la unica
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 coin-
cide con (27) para Re(z) > 1 y son calculos directos a partir de la
integral
_
C
t
z1
e
at
1e
t
dt.
La formula de Hurwitz para Re(z) > 0 se demuestra usando el
teorema del residuo aplicado a la funcion
t
z1
e
at
1e
t
, que es analtica excepto
en los polos simples 2ni (n = 1, 2, . . . ,), a lo largo de la trayectoria
A descrita en la gura 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 C
N
y a la horquilla por H
N
, luego
1
2i
_
A
t
z1
e
at
1 e
t
dt =
1
2i
_
H
N
t
z1
e
at
1 e
t
dt
1
2i
_
C
N
t
z1
e
at
1 e
t
dt =
N

n=1
(R
n+
R

n
) ,
donde R
n
son los residuos en los puntos 2ni y R

n
en los puntos 2ni,
con n N, es decir los polos dentro de A.
Calculando se obtiene que:
R
n+
R

n
= (2n)
z1
2 sen
_
1
2
z + 2an
_
,
80 Juan Jos e Rivaud
luego
1
2i
_
H
N
t
z1
e
at
1 e
t
dt =
=
1
2
1z
_
2 sen
_
1
2
z
_
N

n=1
cos(2an)
n
1z
+ 2 cos
_
1
2
z
_
N

n=1
sen(2an)
n
1z
_
+
+
1
2i
_
C
N
t
z1
e
at
1 e
t
dt .
Cuando N , tenemos que el miembro izquierdo tiende a
(z, a) /(1 z) y el derecho a
1
2
1z
_
2 sen
_
1
2
z
_

n=1
cos(2an)
n
1z
+ 2 cos
_
1
2
z
_

n=1
sen(2an)
n
1z
_
pues
1
2i
_
t
z1
e
at
1e
t
dt tiende a cero cuando N . Quedando probada
la formula.
La funcion esta relacionada de manera sorprendente con los n u-
meros primos como veremos a continuacion.
Por denicion (z) = 1 +
1
2
z
+
1
3
z
+ . . . +
1
n
z
+ . . ., de donde,
_
1
1
2
z
_
(z) = 1 +
1
3
z
+
1
5
z
+
1
7
z
+
1
9
z
+ . . . +
1
(2n + 1)
z
_
1
1
3
z
__
1
1
2
z
_
(z) = 1 +
1
5
z
+
1
7
z
+
1
11
z
+ . . . + . . .
_
1
1
5
z
__
1
1
3
z
__
1
1
2
z
_
(z) = 1 +
1
7
z
+
1
11
z
+ . . . .
Si continuamos hasta el lmite este proceso, tenemos

_
1
1
p
z
_
(z) = 1 , (32)
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)
1
2
.
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.
La Funci on Gama 81
7. Series asintoticas: Desarrollo de Stirling para
el logaritmo de la funcion 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
y

y =
1
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
1
x
, as pues obtenemos que:
y (x) =
1
x

1
x
2
+
2!
x
3
. . . + (1)
n1
(n 1)!
x
n
+ . . . .
Serie que diverge para cualquier valor de x. Sin embargo, no to-
do 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:
y (x) =
_

x
e
xt
t
dt .
(El lector puede vericar directamente que es solucion de nuestra
ecuacion y que ademas lm
x
y (x) = 0).
Despues de integrar por partes (n 1) veces tenemos que:
y (x) =
1
x

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

x
e
xt
t
n+1
dt ,
donde ademas tenemos que
n!
_

x
e
xt
t
n+1
dt <
n!
x
n+1
_

x
e
xt
dt =
n!
x
n+1
,
es decir la suma de los n primeros terminos de la series nos da una apro-
ximacion 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
82 Juan Jos e Rivaud
tomamos x sucientemente grande el error sera peque no; por ejemplo
tomando 4 sumandos y x > 20, el error es menor que 10
5
.
La denicion 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.
Denicion. Una serie divergente
A
0
+
A
1
z
+
A
2
z
2
+ . . . +
A
n
z
n
+ . . .
en donde la suma de los (n+1) primeros sumandos es s
n
(z), es llamada
una expansion asintotica de una funcion f(z) para un rango dado del
arg(z), si la expresion
R
n
(z) = z
n
{f (z) s
n
(z)}
satisface las siguientes condiciones
(i) Para n ja lm
z
R
n
(z) = 0
(ii) Para z ja lm
n
R
n
(z) = .
Notese que cuando se satisfacen estas condiciones, dada > 0, pode-
mos hacer que
|z
n
(f (z) s
n
(z))| <
para |z| sucientemente grande. Es decir
f (z) s
n
(z) = 0
_
z
n
_
.
Las series asintoticas tienen propiedades que nos permiten utilizar-
las. A continuacion enunciamos algunas de ellas quedando para el lector
sus demostraciones.
Propiedad 1.
Si A
n
z
n
es una serie asintotica para f(z) y B
n
z
n
lo es para
g(z) entonces el producto C
n
z
n
es una serie asintotica para
f (z) g (z) [C
n
= A
0
B
n
+ A
1
B
n1
+ . . . + A
n
B
0
] .
Propiedad 2.
Si

n=2
A
n
z
n
es una expansion asintotica de f(x), entonces

n=2
A
n
(n1)
x
n+1
es una expresion asintotica de
_
x
x
f (t) dt.
La Funci on Gama 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) + e
z
,
para
1
4
< arg (z) <
1
4
].
A continuacion damos la expansion asintotica del
n
(z), expresion
que se conoce usualmente como la serie de Stirling.

n
((z))
_
z
1
2
_

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

r=1
(1)
r1
Br
2r (2r 1) z
2r1
,
donde |arg (z)|
_
0 < <
1
4

_
y Br = 4r
_

0
t
2n1
dt
e
2t
1
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) = e
x
x
x
1
2
(2)
1
2
e

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

. (34)
En particular tenemos que:
n!

=
_
n
e
_
n
2n (formula de Stirling) . (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)=e
x
x
x
1
2
(2)
1
2
_
1+
1
12x

1
288x
2

134
51840x
3

571
2488320x
4
+0
_
1
x
5
__
.
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 Juan Jos e Rivaud
nuestro proposito. Por ello solo damos algunas referencias que pueden
orientar al lector que desee profundizar mas en el tema o en sus apli-
caciones.
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 3
a
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 intere-
sante es el texto de A.N. Shiryaev, Probability, New York, Springer,
2
nd
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. Abramo-
witz y I.A. Stegun, New York, Dover, 1965 son otros dos sitios donde
se pueden encontrar numerosas referencias de la funcion .