1

METODOS
MATEMATICOS
AVANZADOS PARA
CIENCIAS E INGENIERIAS

Manuel Gadella
Luis Miguel Nieto
Departamento de Fsica Te
orica
UNIVERSIDAD DE VALLADOLID

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 productos 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.

 GAMMA
CAPITULO 1. LA FUNCION

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 valores no naturales. Sus interesantes propiedades le hacen ser la herramienta
adecuada para describir muchas de las funciones especiales que iran apareciendo a lo largo del temario que vamos a desarrollar. Otras funciones
relacionadas con la funcion gamma se introducen en la seccion cuarta. Dedicamos 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 destacados problemas tanto de matematica pura como aplicada. Para finalizar, se
efect
ua una breve introduccion a la teora de las series asint
oticas; sin entrar 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 puede 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 brillantes 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 matem
atico necesario para formular la teora de la
relatividad general).
3
James Stirling (16921770), matem
atico escoces.

1.2. PRODUCTOS INFINITOS. TEOREMA DE WEIERSTRASS

siguiente:
pn (z) = an (z 1 )(z 2 ) (z n ) = an

n
Y

(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
Pn =

n
Y

(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.
Definici
on 1: diremos que el producto Pn anteriormente definido es convergente 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:
lm Pn = lm

n
Y

(1 + ak )

k=1

(1 + ak ).

(1.2.4)

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.

 GAMMA
CAPITULO 1. LA FUNCION

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:

n
Y
k1
123
n2 n1
1
= lm

= lm
= 0.
p = lm
n
n 2 3 4
n n
k
n1 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

n

2
Y
Y
k1 k+1
1
k 1
p =
=
l
m
1 2 =
n
k
k2
k
k
k=2
k=2
k=2

24
35
n2 n
n1 n+1
13

= lm
n 2 2
33
44
n1 n1
n
n
= lm

1 n+1
1
= .
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
1
=
=
p =
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
= .
n 3
n
3

= lm
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

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 considerada (1.2.4), se verifica lo siguiente:
i) Si

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

k=1

ii) Supongamos que |ak | < 1, k N, entonces el producto

converge si y solo si la serie

(1 + ak )

k=1

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).
iii) Diremos que el producto
ducto

(1 + |ak |) converge. El producto converger

a absolutamente

si y solo si la serie
si

(1 + ak ) converge absolutamente si el pro-

k=1

k=1

ak tambien converge absolutamente, es decir,

k=1

|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 estudiarse la convergencia de los dos productos siguientes:

Y
Y
k
e1/k .
e(1) /k ,
k=1
6

k=1

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 presentaci
on 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.

 GAMMA
CAPITULO 1. LA FUNCION

Al igual que sucede con las series absolutamente convergentes, hay ciertas 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

(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;
ii) la sucesion Pn (z) =

n
Y

(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

T (z) = P (z)

m1
Y

(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
(1 + fk (z)) converge uniformemente
y la sucesion de funciones Pn (z) =
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 destacada en el uso de metodos rigurosos y no intuitivos en matem
aticas.

1.2. PRODUCTOS INFINITOS. TEOREMA DE WEIERSTRASS

encontarse diferentes versiones del teorema, daremos aqu una versi

on simplificada 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 n
umero natural, la funcion f (z) definida como

Y
z
ez/ak
(1.2.6)
f (z) = eg(z) z `
1
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 m
ultiples. Que sucede si f (z) es
entera y no tiene ning
un 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 enunciar. 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
sen z = z eg(z)

Y
n=
n6=0

(1 z/n) ez/n

 GAMMA
CAPITULO 1. LA FUNCION

10

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

= 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

0
PN
(z)
d
d
=
log PN (z) =
PN (z)
dz
dz

(
log z + g(z) +

N
X

)
2

log(1 (z/n) )

n=1

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

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

0
PN
(z)
cot z,
PN (z)

0
PN
(z) cos z,

z 6= n 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

cot z =

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

z 6= n,

tenemos:
cot z = lm

0
X
PN
(z)
1
2z
= + g 0 (z) +
= g 0 (z) + cot z.
2 n2
PN (z)
z
z
n=1

Por tanto g 0 (z) = 0, es decir g(z) = C. Para determinar el valor de esta constante
calculamos el lmite z 0 de
lm

z0

Y
sen z
= lm eC
(1 (z/n)2 ) = eC .
z0
z
n=1

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

(1 (z/n)2 ),

n=1

y por a
nadidura tambien demostramos (1.2.7).

 GAMMA (Z)
1.3. LA FUNCION

1.3.

11

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 desarrollar 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:
G(z) =

Y
Y
z z/k
z z/k
1+
e
=
1
e .
k
k

k=1

(1.3.1)

k=1

Por el teorema de Weierstrass, esta funcion es entera y presenta ceros simples en los n
umeros enteros negativos.
Consideremos el producto z G(z) G(z), utilizando el resultado (1.2.7)
tenemos lo siguiente:
"
# "
#
Y
Y
z z/k
z z/k
z G(z) G(z) = z
1+
e
1+
e
(1.3.2)
k
k
k=1

k=1

z z/k
= z
1+
e
=z
k
k=

k6=0

Y
z z/m sen z
1
e
=
.
m

m=
m6=0

8
Johann Carl Friedrich Gauss (17771855), matem
atico y fsico alem
an, llamado en
su tiempo el prncipe de las matem
aticas. Trabaj
o en gran variedad de temas, tanto
puramente matem
aticos como fsicos: fue uno de los creadores de la geometra no eucldea, 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.

 GAMMA
CAPITULO 1. LA FUNCION

12

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

0, 1, 2, . . . En virtud del teorema de Weierstrass podemos escribir
H(z) = eg(z) z

Y
z z/k
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 +
k
k

(1.3.3)

k=1

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

dz
z
k+z k

(1.3.4)

k=1

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

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

dz
dz
dz
k
k
k=1

X
k=1

X
1
1
1
1
1

= 1+

k+z1 k
z
k+z1 k
k=2

1
1+
z

X
m=1

1
1

m+z m+1

X
1
1
1
1
1
= 1+

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

X
1
1
1
1
1

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

1 X
1
1
+

.
z
m+z m
m=1

m=1

 GAMMA (Z)
1.3. LA FUNCION

13

De la comparacion entre la u
ltima igualdad y la ecuacion (1.3.4) se tie0
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 encontrar 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) =
e1/k ,
1+
k
k=1

por tanto, como G(0) =

G(1),

Y
1
=
e1/k .
1+
k
k=1

Consideremos el producto de n terminos

n
n
Y
Y
1
k + 1 1/k
Pn =
e1/k =
e
1+
k
k
k=1
k=1

n n+1
1 1
1
23

exp 1
=
12
n1 n
2 3
n
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

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 matem
aticas 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

 GAMMA
CAPITULO 1. LA FUNCION

14

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
"

Y
z z/k
z
e
.
(1.3.7)
(z) = z e
1+
k
k=1

1.3.2.

Propiedades

De la definicion que acabamos de ofrecer se siguen una serie de propiedades 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 comporta 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 u
til 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
1 z
=
z e G(z)
= z (z).
z

= [e

G(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 semifactoriales, 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)
= [z e z G(z)][(1 z) e(1z) G(1 z)] =

1
1
.
(z) (1 z)

Por lo tanto

.
sen z
De aqu se deduce que (z) 6= 0, z C.
(z) (1 z) =

(1.3.10)

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.

 GAMMA
CAPITULO 1. LA FUNCION

16

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 expresion 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:

1 z
n! nz
1Y
z 1
1+
.
(z) = lm
=
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
Y
1
1
z z/k
ln n)z
z
(1+ 12 ++ n
lm
= z e G(z) = z lm e
1+
e
n
n
(z)
k
k=1
"
#
n
Y
1
z z/k
ln n)z
(1+ 12 ++ n
1+
= z lm e
e
n
k
k=1

= z lm nz
n

k=1

= z lm

n
Y

z
1+
k

n
234

123
n1

(1.3.13)
z Y
n
k=1

1+

z
k

"n1
#
n
Y k + 1 z Y
z
1+
= z lm
n
k
k
k=1
k=1
#
"
n

1 z
n+1 z Y
z
1+
= z lm
1+
n
n
k
k
k=1

= z

Y
k=1

1 z
z
1+
1+
.
k
k

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
Y
1
z Y k+z
z
z
= z lm n
1+
= lm z
(1.3.14)
n
n n
(z)
k
k
k=1

k=1

z(z + 1)(z + 2) (z + n)
,
n
n! nz

= lm

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 com
un 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
Fn (z) =

n! nz
,
z(z + 1)(z + 2) (z + n)

lm Fn (z) = (z).

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
n
0
0
(
)

Z
z 1
n 1
z
n s
n1 z
+
= n
(1 s)
(1 s)
s ds
z 0 z 0

 GAMMA
CAPITULO 1. LA FUNCION

18
n
= n
z

n
= nz
z

(1 s)n1 sz ds

(1 s)n1

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

n n1 n2
1
= n

z z+1 z+2
z+n1

= nz

sz+n1 ds

n!
= 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.
n
n 0
n

(1.3.16)

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)
n
n
0
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 definicion 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)
n
n
0
0
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, debemos 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 siguiente resultado que aparece al estudiar la integral de Riemann: si una funci
on
continua est
a acotada en m
odulo por una funci
on 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

t Re(z)1

dt

t
0

Re(z)1

dt =
0

1 p+1 1
t dt =
t .
p+1
0
p

(1.3.22)

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 formul
o 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.

 GAMMA
CAPITULO 1. LA FUNCION

20

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

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)

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

(1.3.27)

Luego, si escribimos

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
[0,n] (t) tz1 dt
1
n 0
n
n
n
Z

t z1

[0,) (t) dt =

et tz1 dt.

Esto es justamente lo que se pretenda demostrar.

(1.3.28)

1.4. OTRAS FUNCIONES ESPECIALES

1.4.
1.4.1.

21

Otras funciones especiales

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

B(z, w) =

(z) (w)
= B(w, z),
(z + w)

(1.4.2)

cuya demostracion se propone como ejercicio. Esta relacion permite extender 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:
(z) =

0 (z)
d
[log (z)] =
.
dz
(z)

(1.4.3)

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 proponen 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

 GAMMA
CAPITULO 1. LA FUNCION

22
Su complementaria es

(a, x) = (a) (a, x) =

ta1 et dt.

(1.4.5)

A veces se usa tambien la funcion

(a, x) =

xa
(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 ,
Z x

2
1/2, x2 = 2
et dt erf (x),

(1.4.6)
(1.4.7)

1/2, x2 = 2

et dt

erfc (x),

(1.4.8)

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 observacion 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 estadstica 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.
t
x
16

(1.4.9)

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 estudi
o las propiedades del test t para manejar
peque
nas muestras estadsticas en relaci
on con el control de calidad de la cerveza.

1.4. OTRAS FUNCIONES ESPECIALES

23

Una generalizacion es
Z
En (x) =

ex t
dt,
tn

n = 0, 1, 2, . . . ,

x > 0.

(1.4.10)

Veanse las graficas de algunas de estas funciones en la Figura 1.6. La restriccion 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

Ei (x) = V P
x

et
dt = V P
t

et
dt,
t

x > 0,

(1.4.11)

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

Z

VP

f (x) dx = lm

f (x) dx +
a

f (x) dx ,

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
li (x) =
0
17

dt
= Ei (ln x),
ln t

x > 1.

(1.4.12)

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 estadsticos 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.

 GAMMA
CAPITULO 1. LA FUNCION

24

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)
t
2
0
Z
cos t
Ci (z) =
dt ci (z), |arg z| < .
(1.4.14)
t
z
Tambien se acostumbra a introducirlas mediante los correspondientes desarrollos 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
t
dt,
C (x) =
cos
t2 dt.
(1.4.15)
S (x) =
sen
2
2
0
0
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 para 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 Fraunhofer22 ). 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

(z) =

X
1
,
nz

Re z > 1,

(1.5.1)

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 n
umeros primos. Es una funcion de gran
importancia en la teora de los n
umeros 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

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

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

(z) =

2z1 z (1 z)
z
= 2z z1 (1 z) (1 z) sen
.
(z) cos 2z
2

(1.5.3)

22
Joseph von Fraunhofer (17871826), fsico alem
an que descubri
o las lneas de absorci
on at
omica en el espectro solar.

 GAMMA
CAPITULO 1. LA FUNCION

26

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 demostro 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 usando 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 definitiva tendra importantes consecuencias en la teora de los n
umeros primos.
Algunos valores sorprendentes de la funcion zeta son:
1
(0) = ,
2

1.6.

(1) =

1
,
12

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

Integrales elpticas

Las integrales elpticas aparecen en la resolucion de multitud de problemas 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.
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 contribuciones 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 alem
an de gran fama que desarroll
o la teora de funciones elpticas y que tambien trabaj
o en problemas de mec
anica
24

1.6. INTEGRALES ELIPTICAS

27

enriquecieron enormemente este campo de las matematicas, llevando a definir 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 ; elegimos como referencia de potencial, V = 0, la posicion mas baja que puede
ocupar el pendulo, correspondiente a = 0:
1
m
2;
m v2 =
(L)
2
2

(1.6.1)

V = mgh = mg(L L cos );

(1.6.2)

T =

E =T +V =

mL2 2
mgL cos + mgL.
2

(1.6.3)

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
L 2
= g(cos cos m ),
2

r
=

2g p
cos cos m .
L

(1.6.4)

(ecuaci
on 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.

 GAMMA
CAPITULO 1. LA FUNCION

28

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
cos cos m
(1 cos m ) (1 cos )
0
0
Z m
d
q
=
.
0
2 sen2 2m 2 sen2 2
Haciendo el cambio de variable

sen u,
sen = sen
2
2
llegamos a
s
L
2g

= 4
s
= 4

L
g

/2

Z
0

/2

cos =
2
2

m
sen
cos u du,
2

2 sen 2m cos u du
1
q
q

2 sen2 2m (1 sen2 u)
1 sen2 2m sen2 u

du
q
.

m
2
2
1 sen 2 sen u

(1.6.5)

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)
1 sen2 sen2
0

1.6. INTEGRALES ELIPTICAS

29

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

m = sen2 ,
Z x
dt
p
F (x|m) =
, 0 m 1.
(1.6.7)
(1 t2 )(1 m t2 )
0
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

K(m) =

1/2

(1m sen )

d =

[(1t2 )(1m t2 )]1/2 dt. (1.6.8)

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
E(x|m) =
0

1 m t2
dt,
1 t2

0 m 1.

(1.6.10)

Para = /2 o x = 1 tenemos la integral elptica completa de segunda

especie:
Z 1r
Z /2 p
1 m t2
2
1 m sen d =
dt.
(1.6.11)
E(m) =
1 t2
0
0
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
K(m) =
0

/2

=
1 m sen2

/2

d
0

X
(2n 1)!!
n=0

(2n)!!

mn sen2n .

Esta serie converge uniformemente y puede integrarse termino a termino:

(
)
2

1
13 2 2
135 2 3

1+
m+
m +
m + .
K(m) =
2
2
24
246
(1.6.12)

30

GAMMA
CAPITULO 1. LA FUNCION

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 comportamiento 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

asint
oticas (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
an
a1 a2 a3
a0 +
.
(1.7.1)
+ 2 + 3 + =
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
f (z)

X
an
n=0

si existe un entero positivo M tal que

lm z M

|z|

a
un cuando pueda suceder que

lm z

M
31

f (z)

f (z)

zn

M
X
an
n=0

M
X
an
n=0

zn

(1.7.2)

zn

= 0,

(1.7.3)

para x fijo.

(1.7.4)

!
= ,

Pierre-Simon de Laplace (17491827), destacado matem

atico frances que trabaj
o 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 aplicaciones. 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, termodin
amica, teora del potencial, teora cu
antica, 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 importantes 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 trabajos sobre
orbitas planetarias, Poincare fue el primero en considerar la posibilidad de la
aparici
on del caos en sistemas deterministas (un campo que se ha desarrollado con gran
fuerza desde 1963).

 GAMMA
CAPITULO 1. LA FUNCION

32

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 obtienen buenas aproximaciones tomando la suma de los terminos justo hasta
que estos empiezan a crecer.
Ejemplo 4: consideremos la siguiente integral

Z
Z
t2 t4 t6
x t
x t
e
cos t dt =
e
1 + + dt
2! 4! 6!
0
0
=

1
1
1
x
1
+

+ = 2

.
x x3 x5 x7
x +1

Este desarrollo es valido para x > 0 (de hecho, como se ver

a 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 serie 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 +
1+t
x x
x
x
0
0
La diferencia respecto del caso anterior estriba en que la serie que acabamos
de obtener diverge x R, pero a
un 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 continuaci
on:
Proposici
on: se puede probar que

1
1
139
z z
(z + 1) 2 z z e
1+
+

+ , (1.7.5)
12 z 288 z 2 51840 z 3
o bien
r
(z)

2 z z
1
1
139
z e
1+
+

+ .
z
12 z 288 z 2 51840 z 3

(1.7.6)

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 confundirse, 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 physique, 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.

33

Whittaker, E.T. and Watson, G.N., A Course of Modern Analysis, Cambridge Univ. Press, 1988.

Pierre-Alphonse Laurent (181354), ingeniero y matem

atico frances.