1

METODOS
MATEMATICOS

AVANZADOS PARA

CIENCIAS E INGENIERIAS

Manuel Gadella
Luis Miguel Nieto

Departamento de Fsica Te
orica

UNIVERSIDAD DE VALLADOLID
2
Captulo 1

GAMMA Y
LA FUNCION
OTRAS FUNCIONES
RELACIONADAS

1.1. Introducci
on

Al haberse planteado la elaboracion de este libro como un manual de

Metodos Matematicos avanzados con aplicaciones en disciplinas cientficas
y tecnicas, suponemos que el lector posee ya unos solidos conocimientos
de algebra y calculo en una y varias variables, y en particular, que ya
ha tenido ocasion de estudiar tanto las series numericas como las series de
potencias, y en concreto los desarrollos en serie de Taylor1 . Es probable que
tambien se haya familiarizado con las funciones de una variable compleja,
en particular con las funciones analticas (es decir desarrollables en serie de
Taylor) y con las funciones enteras (aquellas que son analticas en todo el
plano complejo).
En este primer tema vamos a proseguir de manera natural estas lneas
de trabajo abordando en primer lugar el analisis de la teora de los produc-
tos infinitos. Este estudio nos servira de punto de partida para introducir en
la seccion tercera una de las funciones especiales mas utilizadas, la funcion
gamma (z), cuyas propiedades fundamentales consideraremos en detalle
(la funcion gamma puede introducirse de varias maneras; nosotros optamos
1
Brook Taylor (16851731), matem
atico ingles.

3
4 CAPITULO 1. LA FUNCION
GAMMA

por la aqu indicada por ser la mas completa). La funcion gamma surge de
manera natural al intentar extender las propiedades de los factoriales a va-
lores no naturales. Sus interesantes propiedades le hacen ser la herramienta
adecuada para describir muchas de las funciones especiales que iran apa-
reciendo a lo largo del temario que vamos a desarrollar. Otras funciones
relacionadas con la funcion gamma se introducen en la seccion cuarta. De-
dicamos la seccion quinta a definir la funcion zeta de Riemann2 , (z). En la
seccion sexta se definen las integrales elpticas que, aunque no guardan una
relacion directa con la funcion gamma, deberan resultar familiares para
todo cientfico o ingeniero, ya que aparecen en la resolucion de destaca-
dos problemas tanto de matematica pura como aplicada. Para finalizar, se
efectua una breve introduccion a la teora de las series asintoticas; sin en-
trar en los detalles matematicos delicados de la teora, se pretende al menos
motivar un resultado de tanta utilidad como es la formula de Stirling3 (que
no es otra cosa que el desarrollo asint otico para la funcion gamma).

1.2. Productos infinitos. Teorema de Weierstrass

De manera analoga a como se desarrolla la teora de series, se pue-

de construir una teora de productos infinitos. Una primera aproximaci
on
intuitiva se obtiene al considerar un polinomio cualquiera de grado n:

an1 n1 a1 a0
pn (z) = an z n + + a1 z + a0 = an z n + z + + z + .
an an an
(1.2.1)
Suponemos que an 6= 0 y, para mayor generalidad, la variable z se toma
compleja. Si denominamos 1 , 2 , . . . , n a las races de este polinomio
(puede haber alguna repetida; se denomina multiplicidad de una raz al
n
umero de veces que aparece repetida), podremos factorizarle en la forma

2
Georg Friedrich Bernhard Riemann (182666), fue uno de los matem aticos m as bri-
llantes del siglo XIX, realizando importantsimas contribuciones en campos como teora
de n umeros, funciones de variable compleja, series de Fourier o geometra (de hecho
sus innovadoras ideas sobre los fundamentos de la geometra fueron el punto de partida
que permiti o desarrollar el aparato matematico necesario para formular la teora de la
relatividad general).
3
James Stirling (16921770), matematico escoces.
1.2. PRODUCTOS INFINITOS. TEOREMA DE WEIERSTRASS 5

siguiente:
n
Y
pn (z) = an (z 1 )(z 2 ) (z n ) = an (z k ). (1.2.2)
k=1

Parece natural intentar generalizar la expresion precedente cuando en lugar

de un polinomio tenemos una serie de potencias (es decir, cuando pasamos
al lmite n ). En este caso, en lugar de un n umero finito de factores
tendremos un n umero infinito de ellos. Hemos de precisar ahora las sencillas
ideas que acabamos de exponer. Para ello comencemos estableciendo una
definicion rigurosa de que es lo que se entiende por un producto infinito.
Sea {a1 , a2 , a3 , . . .} una sucesion de n
umeros complejos, ninguno de los
cuales es igual a 1, es decir ak 6= 1, k N. Consideremos el producto
de n terminos de la forma
n
Y
Pn = (1 + ak ) = (1 + a1 )(1 + a2 ) (1 + an ). (1.2.3)
k=1

Escribimos el termino general de este producto finito como (1 + ak ) porque,

como luego veremos, si el producto converge, el termino general debe tender
a 1.

Definicion 1: diremos que el producto Pn anteriormente definido es con-

vergente cuando n si la sucesion Pn posee un lmite finito distinto de
cero (este lmite no nulo sera precisamente el valor del producto infinito).
Lo indicaremos as:
n
Y
Y
lm Pn = lm (1 + ak ) (1 + ak ). (1.2.4)
n n
k=1 k=1

Cuando alguno de los ak sea igual a 1, el producto vale 0. Si sucede esto, o

si el lmite (1.2.4) vale cero, diremos que el producto diverge a cero. Como
dato anecdotico, la convergencia del producto en el que ak = (k + 1)2
fue investigada por Wallis4 en 1655.
Consideremos a continuacion unos ejemplos de productos numericos
(mas adelante consideraremos tambien productos en los que intervienen
funciones).
4
John Wallis (16161703), matem
atico ingles.
6 CAPITULO 1. LA FUNCION
GAMMA

Ejemplo 1: analicemos la convergencia del producto infinito

Y Y
1 k1 123
p= 1 = =
k k 234
k=2 k=2

Consideremos el producto hasta k = n y pasemos luego al lmite:

Yn
k1 123 n2 n1 1
p = lm = lm = lm = 0.
n k n 2 3 4 n1 n n n
k=2

Hemos dicho que el producto es convergente si la sucesion del producto de

n terminos tiende a un lmite finito distinto de cero. Como aqu el lmite es
cero, entonces el producto analizado diverge a cero5 .

Ejemplo 2: consideremos a continuaci on otro caso que resolveremos de

manera completamente analoga al anterior:

Y Y 2 Yn
1 k 1 k1 k+1
p = 1 2 = = lm
k k2 n k k
k=2 k=2 k=2

13 24 35 n2 n n1 n+1
= lm
n 2 2 33 44 n1 n1 n n
1 n+1 1
= lm = .
n 2 n 2
Mediante unos sencillos calculos (tanto que no es necesario explicarlos en
detalle) hemos demostrado que este producto infinito converge a 1/2.

Ejemplo 3: un u ltimo ejemplo, que requiere un poco mas de cuidado al

simplificar antes de efectuar el paso al lmite, es el siguiente:
Y Y Y
2 k2 + k 2 k1 k+2
p = 1 = =
k(k + 1) k(k + 1) k k+1
k=2 k=2 k=2

14 25 36 n2 n+1 n1 n+2
= lm
n 2 3 34 45 n1 n n n+1
1 n+2 1
= lm = .
n 3 n 3
5
El lector puede haber observado que en este ejemplo el ndice k del producto comienza
en 2 y no en 1. Un momento de reflexi
on le har
a darse cuenta de que este hecho no presenta
ninguna relevancia, ya que con un sencillo cambio de ndices podra llevarse a la forma
est
andar (1.2.4).
1.2. PRODUCTOS INFINITOS. TEOREMA DE WEIERSTRASS 7

Enunciamos ahora un resultado en el que, a la vez que se introducen algunos

conceptos nuevos, se resumen las principales propiedades de convergencia
de los productos infinitos6 .

Teorema 1: dado un producto infinito en la forma anteriormente conside-

rada (1.2.4), se verifica lo siguiente:

Y
i) Si (1 + ak ) converge, entonces lm ak = 0.
k
k=1

Y
ii) Supongamos que |ak | < 1, k N, entonces el producto (1 + ak )
k=1

X
converge si y solo si la serie log(1 + ak ) converge (se considera la
k=1
rama principal del logaritmo. Observese que |ak | < 1 garantiza que
log(1 + ak ) esta bien definido).

Y
iii) Diremos que el producto (1 + ak ) converge absolutamente si el pro-
k=1

Y
ducto (1 + |ak |) converge. El producto converger
a absolutamente
k=1

X
si y solo si la serie ak tambien converge absolutamente, es decir,
k=1

X
si |ak | converge.
k=1

iv) Si un producto infinito converge absolutamente, entonces tambien

converge en el sentido ordinario.

Ejercicio: como aplicacion de lo que acabamos de comentar, puede estu-

diarse la convergencia de los dos productos siguientes:

Y Y
k
e(1) /k , e1/k .
k=1 k=1
6
No vamos a probar aqu los teoremas 1, 2 y 3 que siguen, pues estas demostraciones
precisan de unos conocimientos de an alisis complejo que no suponemos en el lector de este
libro. Adem as su presentacion no aporta nada esencial. Remitimos al lector interesado
al tema septimo del libro de Marsden mencionado en la bibliografa recomendada, que
aparece al final de este captulo.
8 CAPITULO 1. LA FUNCION
GAMMA

Al igual que sucede con las series absolutamente convergentes, hay cier-
tas operaciones que es lcito efectuar para los productos absolutamente
convergentes, pero no para aquellos que no lo son. En particular, para los
primeros se puede cambiar el orden de los factores, ya que el resultado no se
altera (esto no es cierto para los que no son absolutamente convergentes).
Hasta ahora hemos considerado u nicamente productos numericos. A
continuacion vamos a introducir los productos infinitos de funciones.

Definici
on 2: sean {fk (z)}kN funciones definidas en un conjunto B C,
donde C es el cuerpo complejo. Diremos que el producto infinito

Y
(1 + fk (z)) (1.2.5)
k=1
converge uniformemente en B si y solo si sucede lo siguiente:

i) existe un m N tal que fk (z) 6= 1, para k m y z B;

n
Y
ii) la sucesion Pn (z) = (1 + fk (z)) converge uniformemente a la fun-
k=m
cion P (z) en B;
iii) P (z) 6= 0, z B.

Observese que el producto converge a

m1
Y
T (z) = P (z) (1 + fk (z)) .
k=1
Un resultado que puede ser de utilidad es el siguiente:

Teorema 2: si {fk (z)}kN son funciones analticas en un abierto A C

n
Y
y la sucesion de funciones Pn (z) = (1 + fk (z)) converge uniformemente
k=1
a P (z) en todo disco cerrado contenido en A, entonces la funcion P (z) es
analtica en A.

Para terminar esta seccion, vamos a enunciar un teorema debido a

Weierstrass7 que es muy importante en las aplicaciones. Aunque pueden
7
Karl Theodor Wilhelm Weierstrass (181597), matem atico alem an que construy
o la
teora de los n
umeros reales y trabaj
o en teora de funciones, influyendo de forma desta-
cada en el uso de metodos rigurosos y no intuitivos en matem aticas.
1.2. PRODUCTOS INFINITOS. TEOREMA DE WEIERSTRASS 9

encontarse diferentes versiones del teorema, daremos aqu una versi on sim-
plificada que es suficiente para lo que mas tarde precisaremos: la definicion
de la funcion gamma.

Teorema 3 (de Weierstrass): sea {a1 , a2 , a3 , . . .} una sucesion (puede

ser tambien un conjunto finito) de n umeros complejos distintos de cero y
tales que
X
1
< .
|ak |2
k=1
Si g(z) es una funcion entera (es decir, analtica en todo el plano complejo)
y ` un numero natural, la funcion f (z) definida como

Y
z
f (z) = eg(z) z ` 1 ez/ak (1.2.6)
ak
k=1

es entera. El producto converge uniformemente en discos cerrados, tiene

ceros en a1 , a2 , a3 , . . . y tiene un cero de orden ` en z = 0, pero no posee
ning
un otro cero. Recprocamente, cualquier funcion entera f (z) con las
propiedades citadas puede ser escrita en la forma (1.2.6).
Los n
umeros {ak } pueden aparecer repetidos un n umero finito de veces
para dar cuenta de la existencia de ceros multiples. Que sucede si f (z) es
entera y no tiene ningun cero? El teorema de Weierstrass nos dice que en
este caso f (z) = exp(g(z)), siendo g(z) una funcion entera.
Para finalizar este apartado creemos conveniente indicar un resultado
importante, como es la expresion de la funcion seno como producto infinito:

Y z z/k
sen z = z 1 e . (1.2.7)
k=
k
k6=0

Para demostrar esta igualdad se utiliza el teorema de Weierstrass que acabamos de enun-
ciar. Como la funci
on sen z es entera y tiene ceros simples en {n Z}, siendo cierto
adem as que
X
1
2
< ,
n=
n
n6=0

el teorema nos asegura que existe una funci

on entera g(z), que habr
a que determinar, tal
que

Y
sen z = z eg(z) (1 z/n) ez/n
n=
n6=0
10 CAPITULO 1. LA FUNCION
GAMMA

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

Y
= z eg(z) (1 z 2 )(1 (z/2)2 ) = z eg(z) (1 (z/n)2 ).
n=1

Observese que hemos podido reordenar los productos por existir convergencia uniforme.
Consideremos ahora los productos parciales

N
Y
PN (z) = z eg(z) (1 (z/n)2 ) sen z.
n=1

De aqu se sigue que

( N
)
0
PN (z) d d X 2
= log PN (z) = log z + g(z) + log(1 (z/n) )
PN (z) dz dz n=1

XN
1 2z
= + g 0 (z) + 2 n2
.
z n=1
z

Como hay convergencia uniforme, podemos derivar termino a termino y tendremos

0
0 PN (z)
PN (z) cos z, cot z, z 6= n Z.
PN (z)

Tomando el lmite en la expresi

on anteriormente obtenida para la derivada logartmica de
PN (z) y usando el siguiente resultado que se demuestra en los cursos de variable compleja

1 X 2z
cot z = + , z 6= n,
z n=1 z 2 (n)2

tenemos:
0 X
PN (z) 1 2z
cot z = lm = + g 0 (z) + 2 n2
= g 0 (z) + cot z.
N PN (z) z n=1
z

Por tanto g 0 (z) = 0, es decir g(z) = C. Para determinar el valor de esta constante
calculamos el lmite z 0 de
Y
sen z
lm = lm eC (1 (z/n)2 ) = eC .
z0 z z0
n=1

Pero es bien sabido que este lmite vale 1, de manera que finalmente obtenemos

Y
sen z = z (1 (z/n)2 ),
n=1

y por a
nadidura tambien demostramos (1.2.7).
 GAMMA (Z)
1.3. LA FUNCION 11

1.3. La funci
on gamma (z)

Pasamos a estudiar ahora la funcion gamma. Historicamente la funcion

(z) fue definida en primer lugar por Euler como el lmite de un cierto
producto, del cual derivo una expresion integral. Pero para poder desa-
rrollar adecuadamente la teora, es mas adecuado definir esta funcion en
terminos de un producto infinito del tipo que ha aparecido en el teorema de
Weierstrass. Otras contribuciones importantes en este campo son debidas a
Gauss8 y a Legendre (quien introdujo la notacion actual, (z), en 1814). Es
interesante destacar el hecho de que ha sido demostrado que esta funcion no
satisface ninguna ecuacion diferencial con coeficientes racionales; la mayor
parte de las funciones especiales que van a aparecer en captulos posteriores
s verifican esta propiedad.

1.3.1. Definici
on

Para introducir la funcion gamma vamos a utilizar la funcion auxiliar

G(z), definida como sigue:

z z/k Y z z/k
Y
G(z) = 1+ e = 1 e . (1.3.1)
k k
k=1 k=1

Por el teorema de Weierstrass, esta funcion es entera y presenta ceros sim-

ples en los n
umeros enteros negativos.
Consideremos el producto z G(z) G(z), utilizando el resultado (1.2.7)
tenemos lo siguiente:
" # " #
Y z z/k Y z z/k
z G(z) G(z) = z 1+ e 1+ e (1.3.2)
k k
k=1 k=1

Y z z/k

Y z z/m sen z
= z 1+ e =z 1 e = .
k=
k m=
m
k6=0 m6=0

8
Johann Carl Friedrich Gauss (17771855), matem atico y fsico aleman, llamado en
su tiempo el prncipe de las matem aticas. Trabajo en gran variedad de temas, tanto
puramente matem aticos como fsicos: fue uno de los creadores de la geometra no eu-
cldea, demostr o el teorema fundamental del algebra, desarroll
o la teora de superficies,
trabaj o en astronoma, en
optica y en magnetismo, y tambien perfeccion o la telegrafa.
12 CAPITULO 1. LA FUNCION
GAMMA

Definamos ahora la funcion H(z) = G(z 1); tendra ceros simples en

0, 1, 2, . . . En virtud del teorema de Weierstrass podemos escribir

Y z z/k
H(z) = eg(z) z 1+ e = eg(z) z G(z),
k
k=1

donde g(z) es una funcion entera sin determinar por el momento. Vamos a
ver que se trata de una constante. En efecto, sabemos que el producto que
define H(z) converge uniformemente en discos cerrados, por tanto, seg un
el teorema 1, podemos tomar logaritmos en esa expresion, conservando
la convergencia uniforme, lo cual nos permite a su vez derivar termino a
termino la expresion resultante:
h
X z zi
log H(z) = g(z) + log z + log 1 + , (1.3.3)
k k
k=1

d log H(z) 0 1 X 1 1
= g (z) + + . (1.3.4)
dz z k+z k
k=1

Por otro lado, dado que H(z) = G(z 1), tenemos

d log H(z) d log G(z 1) d X z1 z1
= = log 1 +
dz dz dz k k
k=1

X
X
1 1 1 1 1
= = 1+
k+z1 k z k+z1 k
k=1 k=2

X
1 1 1
= 1+
z m+z m+1
m=1

X
1 1 1 1 1
= 1+ +
z m+z m m m+1
m=1

X X
1 1 1 1 1
= 1+ +
z m+z m m m+1
m=1 m=1

1 X 1 1
= + .
z m+z m
m=1
 GAMMA (Z)
1.3. LA FUNCION 13

De la comparacion entre la u ltima igualdad y la ecuacion (1.3.4) se tie-

0
ne g (z) = 0, de modo que g(z) es una constante llamada la constante de
Euler9 -Mascheroni10 que denotaremos por . A continuaci on vamos a en-
contrar su expresion explcita y su valor numerico. De lo que acabamos de
evaluar se sigue que
G(z 1) = H(z) = z e G(z). (1.3.5)
Tomando z = 1, se tiene que G(0) = e G(1). Pero de la definicion de G(z)
en (1.3.1) se deduce que
Y
1
G(0) = 1 y G(1) = 1+ e1/k ,
k
k=1
por tanto, como G(0) = e G(1),

Y
1
e = 1+ e1/k .
k
k=1
Consideremos el producto de n terminos
Yn Yn
1 k + 1 1/k
Pn = 1+ e1/k = e
k k
k=1 k=1

23 n n+1 1 1 1
= exp 1
12 n1 n 2 3 n
1 1 1 1
= n e(1+ 2 ++ n ) + e(1+ 2 ++ n ) .
Por tanto, tomando el lmite tenemos11 :
1 1
1 1

e = lm Pn = lm n e(1+ 2 ++ n ) + lm e(1+ 2 ++ n )
n n n

1 1
= lm exp ln n 1 + + +
n 2 n

1 1
= exp lm ln n 1 + + + ,
n 2 n
9
Leonhard Euler (170783), eminente matem atico suizo que desarrollo gran parte de
su labor cientfica en Berln y en San Petersburgo, en la corte de Catalina la Grande, y
que fue una figura clave de las matem aticas y de la fsica te
orica en el siglo XVIII, siendo
el autor m as prolfico en matematicas de todos los tiempos.
10
Lorenzo Mascheroni (17501800), matem atico italiano.
11
Para indicar el logaritmo natural usamos ln cuando el argumento es un n umero real
positivo y log en caso contrario
14 CAPITULO 1. LA FUNCION
GAMMA

ya que el u ltimo lmite en la primera lnea es cero, pues la serie armonica

X
1
es divergente. As pues, la constante de Euler-Mascheroni es el valor
n
n=1
del lmite

1 1
= lm 1 + + + ln n = 0,5772 . . . (1.3.6)
n 2 n

Llegados a este punto estamos en condiciones de dar la definicion de

la funcion gamma, siguiendo a Weierstrass, como la inversa de la funcion
z e z G(z):

Definici
on 3: se define la funcion gamma como el producto infinito
"
#1
z
Y z z/k
(z) = z e 1+ e . (1.3.7)
k
k=1

1.3.2. Propiedades

De la definicion que acabamos de ofrecer se siguen una serie de propie-

dades que pasamos a analizar:

1. Propiedades de analiticidad de la funcion gamma. De (1.3.7) se deduce

que se trata de una funcion analtica en todo el plano complejo salvo
en z {0, 1, 2, . . .}, puntos en los que presenta polos simples: es
por tanto una funcion meromorfa (analtica salvo en algunos puntos
en los que posee polos).

2. Resulta sumamente ilustrativo tener una imagen de como se com-

porta la funcion gamma. Ofrecemos dos graficas. En la Figura 1.1 se
representa el valor absoluto de la funcion gamma, |(z)|, cuando z
toma valores en una region del plano complejo. La Figura 1.2 nos da
una informacion cualitativa muy util respecto del comportamiento de
la funcion gamma; en ella se representan las funciones (x), en trazo
contnuo, y 1/(x), en trazo discontnuo, para x R.

3. La ecuacion funcional. Como se verifica G(z 1) = z e G(z) = H(z),

entonces

(z + 1) = [(z + 1) e(z+1) G(z + 1)]1 = [ez (z + 1)e G(z + 1)]1

 GAMMA (Z)
1.3. LA FUNCION 15

1
z 1 1 z
= [e G(z)] = z e G(z) = z (z).
z
Es decir, tenemos la siguiente relacion fundamental:
(z + 1) = z (z), z 6= 0, 1, 2, . . . (1.3.8)

4. Relacion de la funcion (z) con los factoriales. Observemos que [(1)]1 =

e G(1) = G(0) = 1. Procediendo ahora por induccion, a partir de
(1.3.8), dado n N se verifica
(n + 1) = n (n) = n (n 1 + 1) = n(n 1) (n 1) =
= n(n 1) 1 (1) = n!,
es decir
(n + 1) = n!, n {0, 1, 2, 3 . . .}. (1.3.9)
Nota. A veces es conveniente utilizar la notacion de los semifactoria-
les, definidos de la siguiente manera:
(2n)!! := 2n(2n 2)(2n 4)(2n 6) 4 2;
(2n + 1)!! := (2n + 1)(2n 1)(2n 3) 3 1.
Con esto (2n)! = (2n)!! (2n 1)!! y (2n + 1)! = (2n + 1)!! (2n)!!.
5. Para obtener otra importante propiedad, recordemos los resultados
obtenidos en (1.3.2) y (1.3.5). Operando se llega a
sen z
= z G(z) e z e z G(1 z 1)

= z G(z) e z e z (1 z) e G(1 z)
1 1
= [z e z G(z)][(1 z) e(1z) G(1 z)] = .
(z) (1 z)
Por lo tanto

(z) (1 z) =. (1.3.10)
sen z
De aqu se deduce que (z) 6= 0, z C.
6. De la definicion (1.3.7), y tomando complejos conjugados, es trivial
la siguiente igualdad
(z) = (z). (1.3.11)

Otras propiedades de la funcion gamma se proponen como ejercicios al final

del captulo.
16 CAPITULO 1. LA FUNCION
GAMMA

1.3.3. F
ormulas de Euler

Para finalizar esta seccion dedicada a la funcion gamma, daremos dos

formulas debidas a Euler, que historicamente fueron anteriores a la expre-
sion como producto infinito que nos ha servido para para definirla.

A. F
ormulas de Euler para la funci
on gamma

Vamos a demostrar, en primer lugar, el siguiente par de igualdades:

n! nz 1Y 1 z z 1
(z) = lm = 1+ 1+ .
n z(z + 1) (z + n) z n n
n=1
(1.3.12)
Partiendo de la definicion de la funcion gamma (1.3.7)
n
1 z (1+ 12 ++ n
1
ln n)z
Y z z/k
= z e G(z) = z lm e lm 1+ e
(z) n n k
k=1
" n
#
1
(1+ 12 ++ n ln n)z
Y z z/k
= z lm e 1+ e
n k
k=1
n
Y z
= z lm nz 1+ (1.3.13)
n k
k=1
z Y
n
234 n z
= z lm 1+
n 123 n1 k
k=1
"n1 #
Y k + 1 z Yn
z
= z lm 1+
n k k
k=1 k=1
" n #
n+1 z Y 1 z z
= z lm 1+ 1+
n n k k
k=1

1 z z

Y
= z 1+ 1+ .
k k
k=1

El paso de la primera a la segunda lnea es obvio, pues todos los lmites

existen y el producto de los lmites es el lmite del producto. Con esto
 GAMMA (Z)
1.3. LA FUNCION 17

queda probada la segunda igualdad de (1.3.12). Para demostrar la primera,

partimos de la ecuacion (1.3.13):
n n
1 z
Y z z Y k+z
= z lm n 1+ = lm z (1.3.14)
(z) n k n n k
k=1 k=1

z(z + 1)(z + 2) (z + n)
= lm ,
n n! nz
que es lo que pretendamos demostrar.

B. Representaci
on integral de la funci
on gamma

Sea z C tal que su parte real es positiva, Re z > 0. Vamos a mostrar

la verosimilitudde la formula
Z
(z) = tz1 et dt, Re z > 0. (1.3.15)
0

En algunos libros se parte de esta formula integral para definir la funcion

gamma. Se trata, sin embargo, de una definicion incompleta, pues solo
es valida en el semiplano Re z > 0. Con la definicion de la funcion gamma
como producto infinito, que nosotros hemos tomado como punto de partida,
(z) ya esta definida en C. El hecho de que una funcion admita diferentes
definiciones es comun a la mayora de las funciones especiales que van a ir
apareciendo en captulos posteriores.
Para probar (1.3.15) partimos de la formula de Euler que acabamos de
demostrar. Sea
n! nz
Fn (z) = , lm Fn (z) = (z).
z(z + 1)(z + 2) (z + n) n

Consideremos la siguiente integral, en la que hacemos primero el cambio

de variable t = ns y luego integramos reiteradamente por partes (tomando
u = (1 s)n y dv = sz1 ds):
Z n Z 1
t n z1 z
1 t dt = n (1 s)n sz1 ds
0 n 0
( Z )
z 1 n 1
z n s n1 z
= n (1 s) + (1 s) s ds
z 0 z 0
18 CAPITULO 1. LA FUNCION
GAMMA

Z 1
n
z
= n (1 s)n1 sz ds
z 0
( 1 Z )
n sz+1 n1 1
= nz (1 s)n1 + (1 s)n2 sz+1 ds =
z z + 1 0 z + 1 0
Z 1
n n1 n2
z 1
= n sz+n1 ds
z z+1 z+2 z+n1 0

n!
= nz = Fn (z).
z(z + 1)(z + 2) (z + n)

De esta manera, pasando al lmite, resulta que

Z n
t n z1
(z) = lm Fn (z) = lm 1 t dt. (1.3.16)
n n 0 n

Supongamos que pudieramos introducir el lmite dentro de la integral, es

decir que pudieramos operar de manera formal, como se hace a menudo.
Entonces tendramos que:
Z Z
t n z1
(z) = lm 1 t dt = et tz1 dt. (1.3.17)
0 n n 0

Aunque no es lcito proceder como hemos hecho en el u ltimo paso, un

calculo riguroso permite llegar exactamente al mismo resultado, ya que es
posible justificar estos pasos. En efecto, consideremos, en primer lugar, la
siguiente funcion: (
1 si x A,
A (x) = (1.3.18)
0 si x / A,
llamada la funcion caracterstica del conjunto A. Notemos que, por la de-
finicion de funcion caracterstica, esta es nula fuera del conjunto al que
representa. Por lo tanto
Z n Z
t n z1 t n
1 t dt = 1 [0,n] (t) tz1 dt. (1.3.19)
0 n 0 n

Consideremos ahora la integral en el termino a la derecha de (1.3.17):

Z
et tz1 dt. (1.3.20)
0
 GAMMA (Z)
1.3. LA FUNCION 19

Si pretendemos demostrar que la funcion (z) es igual a esta integral, debe-

mos de demostrar que converge, al menos en aquellos puntos en los que la
funcion gamma esta bien definida. Para ver que es as, utilicemos el siguien-
te resultado que aparece al estudiar la integral de Riemann: si una funci on
continua est a acotada en m
odulo por una funcion integrable, entonces es
integrable 12 .
En nuestro caso, et tz1 es una funcion continua en t para cada valor
complejo de z. Su modulo es |et tz1 | = et tRe(z)1 . Esta u
ltima funcion
converge a cero cuando t mas rapidamente que t1 , debido al termino
exponencial. Por lo tanto, la siguiente integral es convergente
Z
et tRe(z)1 dt. (1.3.21)
1

Por otro lado, sea p = Re(z)1. Si p > 1 (o lo que es lo mismo, Re z > 0),
la siguiente integral converge
Z Z Z
1
t Re(z)1
1
Re(z)1
1
p 1 p+1 1
e t dt t dt = t dt = t . (1.3.22)
0 0 0 p+1 0

Por tanto deducimos que la integral en (1.3.20) converge cuando Re z > 0.

Una vez que hemos encontrado cuando la integral es convergente, hemos
de probar que en este caso coincide con (z). Para ello, vamos a usar el
llamado teorema de la convergencia mayorada de Lebesgue13 , que
de una manera adecuada al nivel de este libro, lo podramos enunciar as:

Teorema 4: sea {fn (t)} una sucesion de funciones continuas o continuas a

trozos e integrables en R, convergiendo puntualmente14 hacia una funcion
continua o continua a trozos15 f (t). Supongamos ademas que existe una
funcion, F (t), de R a C, tal que:

i) F (t) 0, t R.
12
Diremos que f (x), definida en un cierto conjunto A R, est a acotada en m odulo
por F (x) en A, si F (x) 0, x A, y adem as |f (x)| F (x), x A.
13
Henri Leon Lebesgue (18751941), matem atico frances que en 1901 formulo la teora
de la medida definiendo despues la integral que lleva su nombre y que generaliza la noci on
de integral de Riemann.
14
Esto significa que para cada t R la sucesi
on de n umeros complejos {fn (t)} converge
a f (t) en el sentido de la convergencia de sucesiones en el plano complejo.
15
Vease la definici
on precisa de este tipo de funciones en el Captulo 3.
20 CAPITULO 1. LA FUNCION
GAMMA

ii) F (t) es continua a trozos e integrable.

iii) Para cada t R y para cada n N, |fn (t)| F (t).

Entonces se verifica lo siguiente:

1. La funcion lmite f (t) es integrable.

2. Podemos introducir el lmite dentro de la integral, es decir:

Z Z Z
lm fn (t) dt = lm fn (t) dt = f (t) dt. (1.3.23)
n n

Para aplicar este teorema en el caso que nos ocupa, escojamos:

t n
fn (t) = 1 [0,n] (t) tz1 . (1.3.24)
n

Evidentemente, fn (t) et tz1 [0,) (t), que es integrable (por que?).

Ademas, del curso elemental de analisis matematico o calculo, sabemos que
si t n,
t n
0 1 et . (1.3.25)
n
Por lo tanto
|fn (t)| et tRe(z)1 [0,) (t). (1.3.26)
Luego, si escribimos

F (t) := et tRe(z)1 [0,) (t), (1.3.27)

no es difcil ver que las condiciones del teorema de la convergencia mayorada

de Lebesgue se verifican con estas fn (t), f (t) y F (t). Entonces
Z n Z
t n z1 t n
(z) = lm 1 t dt = lm 1 [0,n] (t) tz1 dt
n 0 n n n
Z Z
t z1
= e t [0,) (t) dt = et tz1 dt. (1.3.28)
0

Esto es justamente lo que se pretenda demostrar.

1.4. OTRAS FUNCIONES ESPECIALES 21

1.4. Otras funciones especiales

1.4.1. La funci
on beta

La funcion beta, tambien llamada integral de Euler de primera especie,

se define habitualmente como la integral
Z 1
B(z, w) = tz1 (1 t)w1 dt; Re z, Re w > 0. (1.4.1)
0

Esta ntimamente relacionada con la funcion gamma por la formula

(z) (w)
B(z, w) = = B(w, z), (1.4.2)
(z + w)
cuya demostracion se propone como ejercicio. Esta relacion permite exten-
der la definicion de la funcion beta a C2 .

1.4.2. La funci
on psi

La funcion psi, tambien llamada funci

on digamma, se define como la
derivada logartmica de la funcion gamma:
d 0 (z)
(z) = [log (z)] = . (1.4.3)
dz (z)
Su comportamiento cualitativo para valores reales de z se muestra en la
Figura 1.3, y en la Figura 1.4 se representan los valores de su modulo.
Algunas expresiones interesantes que involucran esta funcion se propo-
nen como problemas. Observese que al tomar complejos conjugados

(z) = (z).

1.4.3. Funciones incompletas

Las funciones beta y gamma incompletas presentan aplicaciones en

teora de probabilidades y estadstica. La funcion gamma incompleta se
define como la integral
Z x
(a, x) = ta1 et dt, Re a > 0. (1.4.4)
0
22 CAPITULO 1. LA FUNCION
GAMMA

Su complementaria es
Z
(a, x) = (a) (a, x) = ta1 et dt. (1.4.5)
x
A veces se usa tambien la funcion
xa
(a, x) = (a, x),
(a)
que presenta la ventaja de ser una funcion analtica univaluada tanto en a
como en x.
Algunas de las propiedades de estas funciones son las siguientes:
(n, x) = xn , (1.4.6)
Z x
2
1/2, x2 = 2 et dt erf (x), (1.4.7)
0
Z
2
1/2, x2 = 2 et dt erfc (x), (1.4.8)
x
donde erf (x) es la funci
on error, definida justamente en (1.4.7), y usada en
el estudio de la probabilidad gaussiana, en la teora de errores de observa-
cion y en los estudios sobre la conduccion del calor, entre otros; erfc (x) es
2
su funcion complementaria. Sus graficas, junto con la de la gaussiana ex ,
pueden verse en la Figura 1.5.
La funcion beta incompleta guarda relacion con la distribucion estads-
tica de Student16 :
Z x
1
Ix (a, b) = ta1 (1 t)b1 dt, (0 x 1),
B(a, b) 0
y verifica Ix (a, b) = 1 I1x (b, a).

1.4.4. Integrales exponenciales y otras

Habitualmente se define la funcion integral exponencial como

Z t
e
E1 (x) = dt (0, x), x > 0. (1.4.9)
x t
16
Este es el pseud
onimo cientfico del estadstico ingles William Sealy Gossett (1876
1937), que trabaj
o como qumico para la compa na cervecera Guinness en Dubln durante
la mayor parte de su vida. Invent o y estudio las propiedades del test t para manejar
pequenas muestras estadsticas en relaci
on con el control de calidad de la cerveza.
1.4. OTRAS FUNCIONES ESPECIALES 23

Una generalizacion es
Z
ex t
En (x) = dt, n = 0, 1, 2, . . . , x > 0. (1.4.10)
1 tn

Veanse las graficas de algunas de estas funciones en la Figura 1.6. La restric-

cion a valores de x > 0 puede evitarse cuando se consideran las expresiones
de estas funciones como desarrollos en serie (algo similar a lo que ocurre
con la funcion gamma, como ya vimos).
Una funcion relacionada con las anteriores y que aparece con frecuencia
en problemas de astrofsica cuando se trabaja con un gas que verifica la
distribucion de Maxwell17 -Boltzmann18 es
Z Z x
et et
Ei (x) = V P dt = V P dt, x > 0, (1.4.11)
x t t

donde V P indica el valor principal de Cauchy19 de la integral, es decir

Z c Z b Z c
VP f (x) dx = lm f (x) dx + f (x) dx ,
a 0 a b+

siendo b la u
nica singularidad de f (x) en el intervalo [a, c].
Observese que

En (z) = z n1 (1 n, z), E1 (x) = Ei (x).

La funcion integral del logaritmo fue introducida por Euler y es una

funcion muy importante en la teora de n
umeros:
Z x
dt
li (x) = = Ei (ln x), x > 1. (1.4.12)
0 ln t

17
James Clerk Maxwell (183179), gran fsico y matem atico escoces, considerado el
fundador del Electromagnetismo.
18
Ludwig Eduard Boltzmann (18441906), fsico austraco que aplic o los metodos es-
tadsticos a la teora de los gases.
19
Augustin-Louis Cauchy (17891857), matem atico frances que, como muchos de sus
contempor aneos, trabaj o tambien en diversos problemas de fsica te
orica.
24 CAPITULO 1. LA FUNCION
GAMMA

1.4.5. Integrales del seno y del coseno

Estas funciones se pueden definir de la siguiente manera:

Z z
sen t
Si (z) = dt; si (z) = Si (z) ; |arg z| < ; (1.4.13)
0 t 2
Z
cos t
Ci (z) = dt ci (z), |arg z| < . (1.4.14)
z t

Tambien se acostumbra a introducirlas mediante los correspondientes de-

sarrollos en serie que se deducen de las expresiones anteriores. Se muestra
una grafica de las funciones y = Si (x) e y = Ci (x) en la Figura 1.7.

1.4.6. Integrales de Fresnel

Las integrales de Fresnel20 aparecen al estudiar la teora de la difraccion

en optica
Z x Z x
2
S (x) = sen t dt, C (x) = cos t2 dt. (1.4.15)
0 2 0 2

Al igual que sucede con las integrales del seno y del coseno, pueden hallarse
desarrollos en serie para estas integrales de Fresnel, cuyas graficas aparecen
representadas en la Figura 1.8.
Cuando se realiza una representaci on grafica en la que se toma como
variable en el eje de ordenadas la funcion S (x) y como variable en el eje de
abscisas la funcion C (x), siendo por tanto x el parametro que servira pa-
ra describir el objeto resultante, se obtiene una interesante curva llamada
espiral de Cornu 21 o clotoide. La espiral de Cornu posee una interesante
propiedad geometrica: su curvatura es proporcional a la longitud de arco
medida desde el origen de coordenadas. Aunque en realidad fue Euler el
primero en mencionar la existencia de la clotoide en uno de sus trabajos
(1744), sin embargo fue a partir de los estudios de A. Cornu (1879) cuando
se empezo a usar ampliamente en calculos relacionados con difraccion de la
20
Augustin-Jean Fresnel (17881827), fsico e ingeniero frances, que fue uno de los
creadores de la teora ondulatoria de la luz y uno de los redescubridores de los fen
omenos
de interferencia y polarizaci
on de la luz.
21
Alfred Cornu (18411902), profesor de fsica experimental en la Escuela Politecnica
de Pars.
 ZETA DE RIEMANN
1.5. FUNCION 25

luz (la llamada difraccion de Fresnel, que es mas realista que la de Fraun-
hofer22 ). Unas interesantes representaciones de estas espirales pueden verse
en las Figuras 1.9 a 1.11.

1.5. Funci
on zeta de Riemann

La funcion (z) de Riemann se define como la serie

X 1
(z) = , Re z > 1, (1.5.1)
nz
n=1

que es uniformemente convergente en todo el dominio en el que Re z > 1,

donde la funcion es analtica. Ademas esta definicion puede extenderse al
plano complejo por prolongacion analtica, siendo regular para todo valor
de z, excepto en z = 1, donde presenta un polo simple cuyo residuo es
Res {(z), z = 1} = 1.
Esta funcion era conocida ya por Euler (1737), pero sus propiedades mas
interesantes fueron demostradas por Riemann (1859), quien la estudio en
profundidad en su trabajo sobre los numeros primos. Es una funcion de gran
importancia en la teora de los numeros primos, as como en la teora de
la funcion gamma y de otras funciones afines. Aparece ademas al resolver
ciertas integrales relevantes en problemas de Fsica, as como al estudiar
algunos problemas de teora cuantica de campos (en concreto de la llamada
teora de cuerdas, que tan popular ha sido en las u
ltimas decadas del pasado
siglo XX).
Una formula muy interesante, que establece la conexion de esta funcion
con los n
umeros primos, es la siguiente

1 Y 1

= 1 z . (1.5.2)
(z) p
p primos

La funcion zeta se relaciona con la funcion gamma mediante las formulas

2z1 z (1 z) z
(z) = = 2z z1 (1 z) (1 z) sen . (1.5.3)
(z) cos 2z 2
22
Joseph von Fraunhofer (17871826), fsico alem
an que descubri
o las lneas de absor-
ci
on at
omica en el espectro solar.
26 CAPITULO 1. LA FUNCION
GAMMA

Para finalizar esta seccion, queremos hacer unos comentarios adicionales

sobre esta curiosa funcion. La funcion (z) tiene ceros en z = 2, 4, 6, . . .
Riemann conjetur o que todos los demas ceros de (z) estan en la recta
Re z = 1/2. Esta hipotesis a un no ha sido probada, si bien Hardy23 demos-
tro que, en efecto, (z) tiene infinitos ceros en esa lnea. Despues que el
famoso u ltimo teorema de Fermat24 fuera probado por Wiles25 en 1994 u-
sando potentsimas herramientas matematicas recientemente desarrolladas,
la demostracion de la hipotesis de Riemann es uno de los pocos problemas
clasicos de las matematicas que a un siguen abiertos, y cuya prueba defini-
tiva tendra importantes consecuencias en la teora de los n umeros primos.
Algunos valores sorprendentes de la funcion zeta son:

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

1.6. Integrales elpticas

Las integrales elpticas aparecen en la resolucion de multitud de pro-

blemas fsicos, de astronoma y de matematicas (en concreto al intentar
calcular la longitud de una elipse, de ah su nombre). Aparecieron ya en
trabajos de los Bernoulli26 , Euler y otros, pero los trabajos decisivos se
deben a Legendre27 . Trabajos posteriores de Abel28 , Jacobi29 y Weierstrass
23
Godfrey Harold Hardy (18771947) fue un destacado matem atico ingles.
24
Pierre de Fermat (160165), matem atico frances. El u
ltimo teorema de Fermat tiene
una curiosa historia que puede leerse detalladamente en el libro de Singh mencionado
en la bibliografa. Fermat lo enunci o, sin demostrarlo, escribiendolo como un comentario
en el margen de uno de sus libros, la famosa Aritmetica del matem atico griego Diofanto
de Alejandra (approx. 200-284 A.D.). El teorema dice que la ecuaci on xn + y n = z n no
posee soluciones enteras en z, y, z cuando n N es mayor que 2.
25
Andrew John Wiles (1953), matem atico ingles.
26
Nombre de una gran familia de matem aticos (hay al menos ocho que realizaron con-
tribuciones a las matem aticas) originaria de Amberes, que en el siglo XVII se traslad oa
Suiza.
27
Adrien-Marie Legendre (17521833), matem atico frances que realiz
o importantes
contribuciones a la teora de n umeros y a la teora de funciones elpticas.
28
Niels Henrik Abel (180229), brillante matem atico noruego que asent o el an
alisis
matem atico sobre bases firmes, trabajando en teora de funciones elpticas y demostrando,
entre otos resultados, la imposibilidad de resolver la ecuaci on general de quinto grado
mediante races.
29
Carl Gustav Jacob Jacobi (180451), matem atico aleman de gran fama que desa-
rrollo la teora de funciones elpticas y que tambien trabaj o en problemas de mec anica
1.6. INTEGRALES ELIPTICAS 27

enriquecieron enormemente este campo de las matematicas, llevando a de-

finir las funciones elpticas de Jacobi y de Weierstrass y las funciones ,
ninguna de las cuales estudiaremos aqu30 .
Vamos a considerar un sencillo ejemplo en el que aparecen las integrales
elpticas: el pendulo simple representado en la Figura 1.12 (idealizado con
la suposicion de que no hay rozamiento).
Es bien sabido que se trata de un sistema conservativo, de manera
que la energa E es una constante del movimiento. Podemos evaluar esta
magnitud, calculando primero las energas cinetica T y potencial V ; elegi-
mos como referencia de potencial, V = 0, la posicion mas baja que puede
ocupar el pendulo, correspondiente a = 0:

1 m 2;
T = m v2 = (L) (1.6.1)
2 2
V = mgh = mg(L L cos ); (1.6.2)
mL2 2
E =T +V = mgL cos + mgL. (1.6.3)
2
Habra un valor maximo de , llamemosle m , que es el que corresponde
a la altura maxima alcanzada (estrictamente hablando diremos que es la
altura maxima a la derecha de la figura, pues existe una posicion simetrica
de igual altura pero valor m ). Cuando se alcanza esa posicion se tiene
m = 0. Como la energa se conserva, en ese punto se verifica

E = mgL cos m + mgL,

por tanto, usando esta ecuacion y (1.6.3), se tiene

mL2 2
mgL cos + mgL = mgL cos m + mgL,
2
es decir
r
L 2 2g p
= g(cos cos m ), = cos cos m . (1.6.4)
2 L
(ecuacion de Hamilton-Jacobi). El determinante jacobianode una transformaci on lleva
ese nombre en su honor.
30
Se remite al lector interesado al libro cl
asico de Whittaker y Watson que se indica
en la bibliografa.
28 CAPITULO 1. LA FUNCION
GAMMA

Al extraer la raz hemos de tener en cuenta los dos signos; el signo (+) vale
cuando en la Figura 1.12 el movimiento es de izquierda a derecha y el signo
() cuando el movimiento es de derecha a izquierda.
Consideremos el intervalo de tiempo que transcurre para pasar de la
posicion de V = 0 a la posicion mas elevada (en la parte derecha del
dibujo); en ese intervalo la velocidad angular es positiva: = d
dt > 0 , por
lo cual tomamos el signo (+) en (1.6.4):
r
d 2g p
= cos cos m .
dt L
Integrando en ese intervalo temporal, que obviamente es un cuarto del
perodo del movimiento , tendremos:
r Z m Z m
2g d d
= = p
L 4 0 cos cos m 0 (1 cos m ) (1 cos )
Z m
d
= q .
0 2 sen2 2m 2 sen2 2

Haciendo el cambio de variable

m d m
sen = sen sen u, cos = sen cos u du,
2 2 2 2 2
llegamos a
s Z
L /2 2 sen 2m cos u du 1
= 4 q q
2g 0
2 sen2 2m (1 sen2 u) 1 sen2 2m sen2 u
s Z /2
L du
= 4 q . (1.6.5)
g 0 2 m 2
1 sen 2 sen u

Esta integral no se puede resolver en terminos de funciones elementales.

Por ello se introducen nuevas funciones: las integrales elpticas.

Definici
on 4: se define la integral elptica de primera especie como
Z
d
F (\) = , (1.6.6)
0 1 sen2 sen2
1.6. INTEGRALES ELIPTICAS 29

donde es el angulo modular. O bien, haciendo el cambio t = sen y

m = sen2 ,
Z x
dt
F (x|m) = p , 0 m 1. (1.6.7)
0 (1 t2 )(1 m t2 )

La variable m se denomina el parametrode la integral elptica. Para =

/2 o x = 1 tenemos la integral elptica completa de primera especie:
Z /2 Z 1
2 1/2
K(m) = (1m sen ) d = [(1t2 )(1m t2 )]1/2 dt. (1.6.8)
0 0

Definici
on 5: se define la integral elptica de segunda especie como
Z p
E(\) = 1 sen2 sen2 d, (1.6.9)
0

o bien Z r
x
1 m t2
E(x|m) = dt, 0 m 1. (1.6.10)
0 1 t2
Para = /2 o x = 1 tenemos la integral elptica completa de segunda
especie:
Z /2 p Z 1r
2
1 m t2
E(m) = 1 m sen d = dt. (1.6.11)
0 0 1 t2

Pasemos a analizar con mas detalle las integrales completas. En el rango

0 m < 1 pueden evaluarse estas integrales y se tiene para la de primera
especie
Z /2 Z /2
X
d (2n 1)!!
K(m) = = d mn sen2n .
0 1 m sen2 0 (2n)!!
n=0

Esta serie converge uniformemente y puede integrarse termino a termino:

( 2 )
1 13 2 2 135 2 3
K(m) = 1+ m+ m + m + .
2 2 24 246
(1.6.12)
30 CAPITULO 1. LA FUNCION
GAMMA

Procediendo de modo analogo se obtiene

( 2 )
1 m 1 3 2 m2 1 3 5 2 m3
E(m) = 1 .
2 2 1 24 3 246 5
(1.6.13)
La demostracion de estos dos resultados se propone como problema. En
la Figura 1.13 se puede ver el comportamiento de las integrales elpticas
completas K(m) y E(m).
Volviendo a la ecuacion que nos daba el perodo del pendulo simple
(1.6.5) y comparando con la definicion de la integral elptica completa de
primera especie, vemos que el perodo del movimiento sera
s
L
=4 K(sen2 m /2). (1.6.14)
g

Si la amplitud de la oscilacion es peque

na, es decir si m 0, entonces en
el desarrollo en serie (1.6.12) podemos tomar solo el primer termino ya que
los otros son despreciables, y se obtiene el resultado bien conocido
s
L
= 2 , (1.6.15)
g

valido, no lo olvidemos, en la aproximaci

on de peque
nas oscilaciones en
torno a la posicion de equilibrio.
Para finalizar, conviene indicar que existe una tercera integral elptica
de tercera especie, cuya forma es mas complicada que las que acabamos de
ver, y que no consideraremos aqu.

1.7. Series asint

oticas: la f
ormula de Stirling

Regresando de nuevo al estudio de la funcion que ha sido el centro de

este captulo, conviene saber que en determinadas circunstancias de interes
resulta muy importante tener alg un tipo de informacion sobre el compor-
tamiento de la funcion (z) para valores muy grandes de z. Por suerte, es
posible aproximar el valor de (z) en estos casos con gran precision y con
muy poco esfuerzo, usando una formula clasica debida a Stirling (1730).
Existen diversas demostraciones de este resultado: unas utilizan el calculo

1.7. SERIES ASINTOTICAS:
LA FORMULA DE STIRLING 31

de residuos y otras diversos metodos desarrollados en el estudio de las series

asintoticas (metodos de la fase estacionaria, de Laplace31 y del punto de
silla). Nos limitaremos aqu a dar el resultado sin demostrarlo, pero antes
vamos a definir que es lo que se entiende por serie asint otica (para mas
informacion sobre las series asintoticas, vease el libro de Erdelyi sobre este
tema citado en la bibliografa).

Definici
on 6: sea f (z) una funcion de variable compleja. Consideremos la
serie
X
a1 a2 a3 an
a0 + + 2 + 3 + = . (1.7.1)
z z z zn
n=0

Siguiendo la definicion de Poincare32 , diremos que se trata de una serie

asint
otica para f (z), y escribiremos

X an
f (z) , (1.7.2)
zn
n=0

si existe un entero positivo M tal que

M
!
X an
lm z M f (z) = 0, (1.7.3)
|z| zn
n=0

a
un cuando pueda suceder que
M
!
X an
M
lm z f (z) = , para x fijo. (1.7.4)
M zn
n=0
31
Pierre-Simon de Laplace (17491827), destacado matem atico frances que trabajo en
mec anica celeste, en teora de probabilidades y aplicaciones de las ecuaciones diferenciales
a diversos campos de las ciencias fsicas.
32
Jules Henri Poincare (18531912), matem atico frances considerado por algunos como
la u
ltima persona que tuvo un conocimiento global de toda la matem atica y de sus apli-
caciones. Catedr atico de fsica matem atica en la Sorbona, en el campo de la matem atica
aplicada abord o problemas de optica, electricidad, telegrafa, capilaridad, elasticidad, ter-
modin amica, teora del potencial, teora cuantica, relatividad especial (es uno de los que
formul o esta teora, junto con A. Einstein y H.A. Lorentz) y mec anica celeste (estudiando
en profundidad el problema de los tres cuerpos). Pero tambien realiz o desarrollos impor-
tantes en matem atica pura, como por ejemplo sus trabajos sobre funciones automorfas y
sus ideas originales sobre lo que con posterioridad se denomin o topologa. En sus traba-
jos sobre orbitas planetarias, Poincare fue el primero en considerar la posibilidad de la
aparicion del caos en sistemas deterministas (un campo que se ha desarrollado con gran
fuerza desde 1963).
32 CAPITULO 1. LA FUNCION
GAMMA

La teora de las series asintoticas esta bien establecida desde el punto de

vista matematico y resultan muy u tiles para determinar el valor numerico
de funciones para grandes valores de la variable independiente.
En la practica, una serie asint
otica puede diverger; sin embargo se ob-
tienen buenas aproximaciones tomando la suma de los terminos justo hasta
que estos empiezan a crecer.

Ejemplo 4: consideremos la siguiente integral

Z Z
x t x t t2 t4 t6
e cos t dt = e 1 + + dt
0 0 2! 4! 6!
1 1 1 1 x
= + + = 2 .
x x3 x5 x7 x +1
Este desarrollo es valido para x > 0 (de hecho, como se vera en un captulo
posterior, la integral que hemos hecho no es mas que una transformada
de Laplace). Observemos que al hacer la integral hemos obtenido una se-
rie asintotica (serie de potencias negativas de x) que, en este caso, hemos
podido sumar.

Ejemplo 5: usando la misma idea, evaluemos la siguiente integral

Z x t Z
e 1 1! 2! 3!
dt = ex t (1 t + t2 t3 + ) dt = 2 + 3 4 +
0 1+t 0 x x x x

La diferencia respecto del caso anterior estriba en que la serie que acabamos
de obtener diverge x R, pero aun as, tiene sentido como serie asint
otica.

El resultado que mas nos interesa es la formula asint

otica de Stirling
para la funcion gamma, que ofrecemos a continuacion:

Proposicion: se puede probar que

z z 1 1 139
(z + 1) 2 z z e 1+ + + , (1.7.5)
12 z 288 z 2 51840 z 3

o bien
r
2 z z 1 1 139
(z) z e 1+ + + . (1.7.6)
z 12 z 288 z 2 51840 z 3
1.8. BIBLIOGRAFIA 33

Estas expresiones son validas para valores grandes de |z| cuyo argumento
se encuentre en el intervalo < arg z < . En muchas ocasiones basta
tomar el primer termino de la serie asint
otica.
Para finalizar, una observacion: a pesar de la semejanza existente entre
las series asintoticas y las series de Laurent33 (que el lector puede conocer de
sus estudios de teora de funciones de variable compleja), no deben confun-
dirse, pues son objetos matematicos completamente diferentes (recuerdese
que la serie asintotica puede ser incluso divergente).

1.8. Bibliografa
1. Abramowitz, M., and Stegun, I.A., Handbook of Mathematical functions,
Dover, 1972.
2. Arfken, G., Mathematical Methods for Physicists, Academic Press, 1985.
3. Ayant, Y. et Borg, M., Fonctions Speciales `
a lusage des etudiants en phy-
sique, Dunod, 1971.
4. Erdelyi, A., Magnus, W., Oberhettinger, F., and Tricomi, F.G., Higher
Transcendental Functions, Vols. I-III, MacGraw-Hill, 1953.
5. Erdelyi, A., Asymptotic expansions, Dover, 1956.
6. Kline, M., Mathematical Thought from Ancient to Modern Times, Oxford
Univ. Press, 1972.
7. Markushevich, A.I., Theory of Functions of a Complex Variable, Chelsea,
1977.
8. Marsden, J.E. and Hoffmann, M.J., Basic Complex Analysis, Freeman, 1987.
9. Singh, S., El enigma de Fermat, Planeta, 1998.
10. Whittaker, E.T. and Watson, G.N., A Course of Modern Analysis, Cam-
bridge Univ. Press, 1988.

33
Pierre-Alphonse Laurent (181354), ingeniero y matem
atico frances.