1

ETODOS MATEM

ATICOS
AVANZADOS PARA
CIENCIAS E INGENIER

IAS
Manuel Gadella
Luis Miguel Nieto
Departamento de Fsica Teorica
UNIVERSIDAD DE VALLADOLID
2
Captulo 1
LA FUNCI

ON GAMMA Y
OTRAS FUNCIONES
RELACIONADAS
1.1. Introduccion
Al haberse planteado la elaboracion de este libro como un manual de
Metodos Matematicos avanzados con aplicaciones en disciplinas cientcas
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 Taylor
1
. 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 innitos. 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), matematico ingles.
3
4 CAP

ITULO 1. LA FUNCI

ON 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 denir la funcion zeta de Riemann
2
, (z). En la
seccion sexta se denen las integrales elpticas que, aunque no guardan una
relacion directa con la funcion gamma, deberan resultar familiares para
todo cientco o ingeniero, ya que aparecen en la resolucion de destaca-
dos problemas tanto de matematica pura como aplicada. Para nalizar, se
efect ua 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 Stirling
3
(que
no es otra cosa que el desarrollo asintotico para la funcion gamma).
1.2. Productos innitos. Teorema de Weierstrass
De manera analoga a como se desarrolla la teora de series, se pue-
de construir una teora de productos innitos. Una primera aproximacion
intuitiva se obtiene al considerar un polinomio cualquiera de grado n:
p
n
(z) = a
n
z
n
+ +a
1
z +a
0
= a
n
_
z
n
+
a
n1
a
n
z
n1
+ +
a
1
a
n
z +
a
0
a
n
_
.
(1.2.1)
Suponemos que a
n
= 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 matematicos mas 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 permitio 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:
p
n
(z) = a
n
(z
1
)(z
2
) (z
n
) = a
n
n

k=1
(z
k
). (1.2.2)
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 nito de factores
tendremos un n umero innito de ellos. Hemos de precisar ahora las sencillas
ideas que acabamos de exponer. Para ello comencemos estableciendo una
denicion rigurosa de que es lo que se entiende por un producto innito.
Sea {a
1
, a
2
, a
3
, . . .} una sucesion de n umeros complejos, ninguno de los
cuales es igual a 1, es decir a
k
= 1, k N. Consideremos el producto
de n terminos de la forma
P
n
=
n

k=1
(1 +a
k
) = (1 +a
1
)(1 +a
2
) (1 +a
n
). (1.2.3)
Escribimos el termino general de este producto nito como (1+a
k
) porque,
como luego veremos, si el producto converge, el termino general debe tender
a 1.
Denicion 1: diremos que el producto P
n
anteriormente denido es con-
vergente cuando n si la sucesion P
n
posee un lmite nito distinto de
cero (este lmite no nulo sera precisamente el valor del producto innito).
Lo indicaremos as:
lm
n
P
n
= lm
n
n

k=1
(1 +a
k
)

k=1
(1 +a
k
). (1.2.4)
Cuando alguno de los a
k
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 a
k
= (k + 1)
2
fue investigada por Wallis
4
en 1655.
Consideremos a continuacion unos ejemplos de productos numericos
(mas adelante consideraremos tambien productos en los que intervienen
funciones).
4
John Wallis (16161703), matematico ingles.
6 CAP

ITULO 1. LA FUNCI

ON GAMMA
Ejemplo 1: analicemos la convergencia del producto innito
p =

k=2
_
1
1
k
_
=

k=2
_
k 1
k
_
=
1
2
2
3
3
4

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

k=2
_
k 1
k
_
= lm
n
1
2
2
3
3
4

n 2
n 1
n 1
n
= lm
n
1
n
= 0.
Hemos dicho que el producto es convergente si la sucesion del producto de
n terminos tiende a un lmite nito distinto de cero. Como aqu el lmite es
cero, entonces el producto analizado diverge a cero
5
.
Ejemplo 2: consideremos a continuacion otro caso que resolveremos de
manera completamente analoga al anterior:
p =

k=2
_
1
1
k
2
_
=

k=2
_
k
2
1
k
2
_
= lm
n
n

k=2
_
k 1
k
k + 1
k
_
= lm
n
_
1
2
3
2
__
2
3
4
3
__
3
4
5
4
_

_
n 2
n 1
n
n 1
__
n 1
n
n + 1
n
_
= lm
n
1
2
n + 1
n
=
1
2
.
Mediante unos sencillos calculos (tanto que no es necesario explicarlos en
detalle) hemos demostrado que este producto innito converge a 1/2.
Ejemplo 3: un ultimo ejemplo, que requiere un poco mas de cuidado al
simplicar antes de efectuar el paso al lmite, es el siguiente:
p =

k=2
_
1
2
k(k + 1)
_
=

k=2
k
2
+k 2
k(k + 1)
=

k=2
_
k 1
k
k + 2
k + 1
_
= lm
n
_
1
2
4
3
__
2
3
5
4
__
3
4
6
5
_

_
n 2
n 1
n + 1
n
__
n 1
n
n + 2
n + 1
_
= lm
n
1
3
n + 2
n
=
1
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 reexion le hara 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 innitos
6
.
Teorema 1: dado un producto innito en la forma anteriormente conside-
rada (1.2.4), se verica lo siguiente:
i) Si

k=1
(1 +a
k
) converge, entonces lm
k
a
k
= 0.
ii) Supongamos que |a
k
| < 1, k N, entonces el producto

k=1
(1 + a
k
)
converge si y solo si la serie

k=1
log(1 +a
k
) converge (se considera la
rama principal del logaritmo. Observese que |a
k
| < 1 garantiza que
log(1 +a
k
) esta bien denido).
iii) Diremos que el producto

k=1
(1+a
k
) converge absolutamente si el pro-
ducto

k=1
(1 + |a
k
|) converge. El producto convergera absolutamente
si y solo si la serie

k=1
a
k
tambien converge absolutamente, es decir,
si

k=1
|a
k
| converge.
iv) Si un producto innito 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:

k=1
e
(1)
k
/k
,

k=1
e
1/k
.
6
No vamos a probar aqu los teoremas 1, 2 y 3 que siguen, pues estas demostraciones
precisan de unos conocimientos de analisis complejo que no suponemos en el lector de este
libro. Ademas 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 nal de este captulo.
8 CAP

ITULO 1. LA FUNCI

ON 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 unicamente productos numericos. A
continuacion vamos a introducir los productos innitos de funciones.
Denicion 2: sean {f
k
(z)}
kN
funciones denidas en un conjunto B C,
donde C es el cuerpo complejo. Diremos que el producto innito

k=1
(1 +f
k
(z)) (1.2.5)
converge uniformemente en B si y solo si sucede lo siguiente:
i) existe un m N tal que f
k
(z) = 1, para k m y z B;
ii) la sucesion P
n
(z) =
n

k=m
(1 +f
k
(z)) converge uniformemente a la fun-
cion P(z) en B;
iii) P(z) = 0, z B.
Observese que el producto converge a
T(z) = P(z)
m1

k=1
(1 +f
k
(z)) .
Un resultado que puede ser de utilidad es el siguiente:
Teorema 2: si {f
k
(z)}
kN
son funciones analticas en un abierto A C
y la sucesion de funciones P
n
(z) =
n

k=1
(1 +f
k
(z)) converge uniformemente
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
Weierstrass
7
que es muy importante en las aplicaciones. Aunque pueden
7
Karl Theodor Wilhelm Weierstrass (181597), matematico aleman que construyo la
teora de los n umeros reales y trabajo en teora de funciones, inuyendo de forma desta-
cada en el uso de metodos rigurosos y no intuitivos en matematicas.
1.2. PRODUCTOS INFINITOS. TEOREMA DE WEIERSTRASS 9
encontarse diferentes versiones del teorema, daremos aqu una version sim-
plicada que es suciente para lo que mas tarde precisaremos: la denicion
de la funcion gamma.
Teorema 3 (de Weierstrass): sea {a
1
, a
2
, a
3
, . . .} una sucesion (puede
ser tambien un conjunto nito) de n umeros complejos distintos de cero y
tales que

k=1
1
|a
k
|
2
< .
Si g(z) es una funcion entera (es decir, analtica en todo el plano complejo)
y un n umero natural, la funcion f(z) denida como
f(z) = e
g(z)
z

k=1
_
1
z
a
k
_
e
z/a
k
(1.2.6)
es entera. El producto converge uniformemente en discos cerrados, tiene
ceros en a
1
, a
2
, a
3
, . . . 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 {a
k
} pueden aparecer repetidos un n umero nito 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 nalizar este apartado creemos conveniente indicar un resultado
importante, como es la expresion de la funcion seno como producto innito:
sen z = z

k=
k=0
_
1
z
k
_
e
z/k
. (1.2.7)
Para demostrar esta igualdad se utiliza el teorema de Weierstrass que acabamos de enun-
ciar. Como la funcion sen z es entera y tiene ceros simples en {n Z}, siendo cierto
adem as que

n=
n=0
1
n
2
< ,
el teorema nos asegura que existe una funcion entera g(z), que habra que determinar, tal
que
sen z = z e
g(z)

n=
n=0
(1 z/n) e
z/n
10 CAP

ITULO 1. LA FUNCI

ON GAMMA
= z e
g(z)
(1 z)e
z
(1 + z)e
z
(1 z/2)e
z/2
(1 + z/2)e
z/2

= z e
g(z)
(1 z
2
)(1 (z/2)
2
) = z e
g(z)

n=1
(1 (z/n)
2
).
Observese que hemos podido reordenar los productos por existir convergencia uniforme.
Consideremos ahora los productos parciales
P
N
(z) = z e
g(z)
N

n=1
(1 (z/n)
2
) sen z.
De aqu se sigue que
P

N
(z)
P
N
(z)
=
d
dz
log P
N
(z) =
d
dz

log z + g(z) +
N

n=1
log(1 (z/n)
2
)

=
1
z
+ g

(z) +
N

n=1
2z
z
2
n
2
.
Como hay convergencia uniforme, podemos derivar termino a termino y tendremos
P

N
(z) cos z,
P

N
(z)
P
N
(z)
cot z, z = n Z.
Tomando el lmite en la expresion anteriormente obtenida para la derivada logartmica de
P
N
(z) y usando el siguiente resultado que se demuestra en los cursos de variable compleja
cot z =
1
z
+

n=1
2z
z
2
(n)
2
, z = n,
tenemos:
cot z = lm
N
P

N
(z)
P
N
(z)
=
1
z
+ g

(z) +

n=1
2z
z
2
n
2
= g

(z) + cot z.
Por tanto g

(z) = 0, es decir g(z) = C. Para determinar el valor de esta constante

calculamos el lmite z 0 de
lm
z0
sen z
z
= lm
z0
e
C

n=1
(1 (z/n)
2
) = e
C
.
Pero es bien sabido que este lmite vale 1, de manera que nalmente obtenemos
sen z = z

n=1
(1 (z/n)
2
),
y por a nadidura tambien demostramos (1.2.7).
1.3. LA FUNCI

ON GAMMA (Z) 11
1.3. La funcion gamma (z)
Pasamos a estudiar ahora la funcion gamma. Historicamente la funcion
(z) fue denida 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 denir esta funcion en
terminos de un producto innito del tipo que ha aparecido en el teorema de
Weierstrass. Otras contribuciones importantes en este campo son debidas a
Gauss
8
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 coecientes racionales; la mayor
parte de las funciones especiales que van a aparecer en captulos posteriores
s verican esta propiedad.
1.3.1. Denicion
Para introducir la funcion gamma vamos a utilizar la funcion auxiliar
G(z), denida como sigue:
G(z) =

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

k=1
_
1
z
k
_
e
z/k
. (1.3.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:
z G(z) G(z) = z
_

k=1
_
1 +
z
k
_
e
z/k
__

k=1
_
1 +
z
k
_
e
z/k
_
(1.3.2)
= z

k=
k=0
_
1 +
z
k
_
e
z/k
= z

m=
m=0
_
1
z
m
_
e
z/m
=
senz

.
8
Johann Carl Friedrich Gauss (17771855), matematico y fsico aleman, llamado en
su tiempo el prncipe de las matematicas. Trabajo en gran variedad de temas, tanto
puramente matematicos como fsicos: fue uno de los creadores de la geometra no eu-
cldea, demostro el teorema fundamental del algebra, desarrollo la teora de supercies,
trabajo en astronoma, en optica y en magnetismo, y tambien perfecciono la telegrafa.
12 CAP

ITULO 1. LA FUNCI

ON GAMMA
Denamos 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) = e
g(z)
z

k=1
_
1 +
z
k
_
e
z/k
= e
g(z)
z G(z),
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
dene 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:
log H(z) = g(z) + log z +

k=1
_
log
_
1 +
z
k
_

z
k
_
, (1.3.3)
d log H(z)
dz
= g

(z) +
1
z
+

k=1
_
1
k +z

1
k
_
. (1.3.4)
Por otro lado, dado que H(z) = G(z 1), tenemos
d log H(z)
dz
=
d log G(z 1)
dz
=
d
dz

k=1
_
log
_
1 +
z 1
k
_

z 1
k
_
=

k=1
_
1
k +z 1

1
k
_
=
1
z
1 +

k=2
_
1
k +z 1

1
k
_
=
1
z
1 +

m=1
_
1
m+z

1
m+ 1
_
=
1
z
1 +

m=1
_
1
m+z

1
m
+
1
m

1
m+ 1
_
=
1
z
1 +

m=1
_
1
m+z

1
m
_
+

m=1
_
1
m

1
m+ 1
_
=
1
z
+

m=1
_
1
m+z

1
m
_
.
1.3. LA FUNCI

ON GAMMA (Z) 13
De la comparacion entre la ultima igualdad y la ecuacion (1.3.4) se tie-
ne g

(z) = 0, de modo que g(z) es una constante llamada la constante de

Euler
9
-Mascheroni
10
que denotaremos por . A continuacion 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 denicion de G(z)

en (1.3.1) se deduce que
G(0) = 1 y G(1) =

k=1
_
1 +
1
k
_
e
1/k
,
por tanto, como G(0) = e

G(1),
e

k=1
_
1 +
1
k
_
e
1/k
.
Consideremos el producto de n terminos
P
n
=
n

k=1
_
1 +
1
k
_
e
1/k
=
n

k=1
k + 1
k
e
1/k
=
2
1
3
2

n
n 1
n + 1
n
exp
_
1
1
2

1
3

1
n
_
= ne
(1+
1
2
++
1
n
)
+e
(1+
1
2
++
1
n
)
.
Por tanto, tomando el lmite tenemos
11
:
e

= lm
n
P
n
= lm
n
_
ne
(1+
1
2
++
1
n
)
_
+ lm
n
_
e
(1+
1
2
++
1
n
)
_
= lm
n
exp
_
ln n
_
1 +
1
2
+ +
1
n
__
= exp
_
lm
n
_
lnn
_
1 +
1
2
+ +
1
n
___
,
9
Leonhard Euler (170783), eminente matematico suizo que desarrollo gran parte de
su labor cientca en Berln y en San Petersburgo, en la corte de Catalina la Grande, y
que fue una gura clave de las matematicas y de la fsica teorica en el siglo XVIII, siendo
el autor mas prolco en matematicas de todos los tiempos.
10
Lorenzo Mascheroni (17501800), matematico italiano.
11
Para indicar el logaritmo natural usamos ln cuando el argumento es un n umero real
positivo y log en caso contrario
14 CAP

ITULO 1. LA FUNCI

ON GAMMA
ya que el ultimo lmite en la primera lnea es cero, pues la serie armonica

n=1
1
n
es divergente. As pues, la constante de Euler-Mascheroni es el valor
del lmite
= lm
n
_
1 +
1
2
+ +
1
n
lnn
_
= 0,5772 . . . (1.3.6)
Llegados a este punto estamos en condiciones de dar la denicion de
la funcion gamma, siguiendo a Weierstrass, como la inversa de la funcion
z e
z
G(z):
Denicion 3: se dene la funcion gamma como el producto innito
(z) =
_
z e
z

k=1
_
1 +
z
k
_
e
z/k
_
1
. (1.3.7)
1.3.2. Propiedades
De la denicion 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 gracas. 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 verica G(z 1) = z e

G(z) = H(z),
entonces
(z + 1) = [(z + 1) e
(z+1)
G(z + 1)]
1
= [e
z
(z + 1)e

G(z + 1)]
1
1.3. LA FUNCI

ON GAMMA (Z) 15
= [e
z
G(z)]
1
=
_
1
z
z e
z
G(z)
_
1
= z (z).
Es decir, tenemos la siguiente relacion fundamental:
(z + 1) = z (z), z = 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 verica
(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, denidos 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
(z)
1
(1 z)
.
Por lo tanto
(z) (1 z) =

senz
. (1.3.10)
De aqu se deduce que (z) = 0, z C.
6. De la denicion (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 nal
del captulo.
16 CAP

ITULO 1. LA FUNCI

ON GAMMA
1.3.3. Formulas de Euler
Para nalizar esta seccion dedicada a la funcion gamma, daremos dos
formulas debidas a Euler, que historicamente fueron anteriores a la expre-
sion como producto innito que nos ha servido para para denirla.
A. Formulas de Euler para la funcion gamma
Vamos a demostrar, en primer lugar, el siguiente par de igualdades:
(z) = lm
n
n! n
z
z(z + 1) (z +n)
=
1
z

n=1
__
1 +
1
n
_
z _
1 +
z
n
_
1
_
.
(1.3.12)
Partiendo de la denicion de la funcion gamma (1.3.7)
1
(z)
= z e
z
G(z) = z lm
n
e
(1+
1
2
++
1
n
ln n)z
lm
n
n

k=1
_
1 +
z
k
_
e
z/k
= z lm
n
_
e
(1+
1
2
++
1
n
ln n)z
n

k=1
_
1 +
z
k
_
e
z/k
_
= z lm
n
n
z
n

k=1
_
1 +
z
k
_
(1.3.13)
= z lm
n
_
2
1
3
2
4
3

n
n 1
_
z
n

k=1
_
1 +
z
k
_
= z lm
n
_
n1

k=1
_
k + 1
k
_
z n

k=1
_
1 +
z
k
_
_
= z lm
n
_
_
n + 1
n
_
z n

k=1
_
1 +
1
k
_
z_
1 +
z
k
_
_
= z

k=1
_
1 +
1
k
_
z _
1 +
z
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
1.3. LA FUNCI

ON GAMMA (Z) 17
queda probada la segunda igualdad de (1.3.12). Para demostrar la primera,
partimos de la ecuacion (1.3.13):
1
(z)
= z lm
n
n
z
n

k=1
_
1 +
z
k
_
= lm
n
z
n
z
n

k=1
_
k +z
k
_
(1.3.14)
= lm
n
z(z + 1)(z + 2) (z +n)
n! n
z
,
que es lo que pretendamos demostrar.
B. Representacion integral de la funcion gamma
Sea z C tal que su parte real es positiva, Re z > 0. Vamos a mostrar
la verosimilitudde la formula
(z) =
_

0
t
z1
e
t
dt, Re z > 0. (1.3.15)
En algunos libros se parte de esta formula integral para denir la funcion
gamma. Se trata, sin embargo, de una denicion incompleta, pues solo
es valida en el semiplano Re z > 0. Con la denicion de la funcion gamma
como producto innito, que nosotros hemos tomado como punto de partida,
(z) ya esta denida en C. El hecho de que una funcion admita diferentes
deniciones 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
F
n
(z) =
n! n
z
z(z + 1)(z + 2) (z +n)
, lm
n
F
n
(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 = s
z1
ds):
_
n
0
_
1
t
n
_
n
t
z1
dt = n
z
_
1
0
(1 s)
n
s
z1
ds
= n
z
_
(1 s)
n
s
z
z

1
0
+
n
z
_
1
0
(1 s)
n1
s
z
ds
_
18 CAP

ITULO 1. LA FUNCI

ON GAMMA
= n
z
n
z
_
1
0
(1 s)
n1
s
z
ds
= n
z
n
z
_
(1 s)
n1
s
z+1
z + 1

1
0
+
n 1
z + 1
_
1
0
(1 s)
n2
s
z+1
ds
_
=
= n
z
n
z
n 1
z + 1
n 2
z + 2

1
z +n 1
_
1
0
s
z+n1
ds
= n
z
n!
z(z + 1)(z + 2) (z +n)
= F
n
(z).
De esta manera, pasando al lmite, resulta que
(z) = lm
n
F
n
(z) = lm
n
_
n
0
_
1
t
n
_
n
t
z1
dt. (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) =
_

0
lm
n
__
1
t
n
_
n
t
z1
_
dt =
_

0
e
t
t
z1
dt. (1.3.17)
Aunque no es lcito proceder como hemos hecho en el ultimo paso, un
calculo riguroso permite llegar exactamente al mismo resultado, ya que es
posible justicar estos pasos. En efecto, consideremos, en primer lugar, la
siguiente funcion:

A
(x) =
_
1 si x A,
0 si x / A,
(1.3.18)
llamada la funcion caracterstica del conjunto A. Notemos que, por la de-
nicion de funcion caracterstica, esta es nula fuera del conjunto al que
representa. Por lo tanto
_
n
0
_
1
t
n
_
n
t
z1
dt =
_

0
_
1
t
n
_
n

[0,n]
(t) t
z1
dt. (1.3.19)
Consideremos ahora la integral en el termino a la derecha de (1.3.17):
_

0
e
t
t
z1
dt. (1.3.20)
1.3. LA FUNCI

ON GAMMA (Z) 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 denida. Para ver que es as, utilicemos el siguien-
te resultado que aparece al estudiar la integral de Riemann: si una funcion
continua esta acotada en modulo por una funcion integrable, entonces es
integrable
12
.
En nuestro caso, e
t
t
z1
es una funcion continua en t para cada valor
complejo de z. Su modulo es |e
t
t
z1
| = e
t
t
Re(z)1
. Esta ultima funcion
converge a cero cuando t mas rapidamente que t
1
, debido al termino
exponencial. Por lo tanto, la siguiente integral es convergente
_

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

1
0
. (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 Lebesgue
13
, que
de una manera adecuada al nivel de este libro, lo podramos enunciar as:
Teorema 4: sea {f
n
(t)} una sucesion de funciones continuas o continuas a
trozos e integrables en R, convergiendo puntualmente
14
hacia una funcion
continua o continua a trozos
15
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), denida en un cierto conjunto A R, esta acotada en modulo
por F(x) en A, si F(x) 0, x A, y ademas |f(x)| F(x), x A.
13
Henri Leon Lebesgue (18751941), matematico frances que en 1901 formul o la teora
de la medida deniendo despues la integral que lleva su nombre y que generaliza la nocion
de integral de Riemann.
14
Esto signica que para cada t R la sucesion de n umeros complejos {f
n
(t)} converge
a f(t) en el sentido de la convergencia de sucesiones en el plano complejo.
15
Vease la denicion precisa de este tipo de funciones en el Captulo 3.
20 CAP

ITULO 1. LA FUNCI

ON GAMMA
ii) F(t) es continua a trozos e integrable.
iii) Para cada t R y para cada n N, |f
n
(t)| F(t).
Entonces se verica lo siguiente:
1. La funcion lmite f(t) es integrable.
2. Podemos introducir el lmite dentro de la integral, es decir:
lm
n
_

f
n
(t) dt =
_

lm
n
f
n
(t) dt =
_

f(t) dt. (1.3.23)

Para aplicar este teorema en el caso que nos ocupa, escojamos:
f
n
(t) =
_
1
t
n
_
n

[0,n]
(t) t
z1
. (1.3.24)
Evidentemente, f
n
(t) e
t
t
z1

[0,)
(t), que es integrable (por que?).
Ademas, del curso elemental de analisis matematico o calculo, sabemos que
si t n,
0
_
1
t
n
_
n
e
t
. (1.3.25)
Por lo tanto
|f
n
(t)| e
t
t
Re(z)1

[0,)
(t). (1.3.26)
Luego, si escribimos
F(t) := e
t
t
Re(z)1

[0,)
(t), (1.3.27)
no es difcil ver que las condiciones del teorema de la convergencia mayorada
de Lebesgue se verican con estas f
n
(t), f(t) y F(t). Entonces
(z) = lm
n
_
n
0
_
1
t
n
_
n
t
z1
dt = lm
n
_

_
1
t
n
_
n

[0,n]
(t) t
z1
dt
=
_

e
t
t
z1

[0,)
(t) dt =
_

0
e
t
t
z1
dt. (1.3.28)
Esto es justamente lo que se pretenda demostrar.
1.4. OTRAS FUNCIONES ESPECIALES 21
1.4. Otras funciones especiales
1.4.1. La funcion beta
La funcion beta, tambien llamada integral de Euler de primera especie,
se dene habitualmente como la integral
B(z, w) =
_
1
0
t
z1
(1 t)
w1
dt; Re z, Re w > 0. (1.4.1)
Esta ntimamente relacionada con la funcion gamma por la formula
B(z, w) =
(z) (w)
(z +w)
= B(w, z), (1.4.2)
cuya demostracion se propone como ejercicio. Esta relacion permite exten-
der la denicion de la funcion beta a C
2
.
1.4.2. La funcion psi
La funcion psi, tambien llamada funcion digamma, se dene como la
derivada logartmica de la funcion gamma:
(z) =
d
dz
[log (z)] =

(z)
(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 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
dene como la integral
(a, x) =
_
x
0
t
a1
e
t
dt, Re a > 0. (1.4.4)
22 CAP

ITULO 1. LA FUNCI

ON GAMMA
Su complementaria es
(a, x) = (a) (a, x) =
_

x
t
a1
e
t
dt. (1.4.5)
A veces se usa tambien la funcion

(a, x) =
x
a
(a)
(a, x),
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) = x
n
, (1.4.6)

_
1/2, x
2
_
= 2
_
x
0
e
t
2
dt

erf (x), (1.4.7)

_
1/2, x
2
_
= 2
_

x
e
t
2
dt

erfc (x), (1.4.8)

donde erf (x) es la funcion error, denida 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
su funcion complementaria. Sus gracas, junto con la de la gaussiana e
x
2
,
pueden verse en la Figura 1.5.
La funcion beta incompleta guarda relacion con la distribucion estads-
tica de Student
16
:
I
x
(a, b) =
1
B(a, b)
_
x
0
t
a1
(1 t)
b1
dt, (0 x 1),
y verica I
x
(a, b) = 1 I
1x
(b, a).
1.4.4. Integrales exponenciales y otras
Habitualmente se dene la funcion integral exponencial como
E
1
(x) =
_

x
e
t
t
dt (0, x), x > 0. (1.4.9)
16
Este es el pseudonimo cientco del estadstico ingles William Sealy Gossett (1876
1937), que trabajo 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
peque nas muestras estadsticas en relacion con el control de calidad de la cerveza.
1.4. OTRAS FUNCIONES ESPECIALES 23
Una generalizacion es
E
n
(x) =
_

1
e
xt
t
n
dt, n = 0, 1, 2, . . . , x > 0. (1.4.10)
Veanse las gracas 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 verica la
distribucion de Maxwell
17
-Boltzmann
18
es
Ei (x) = V P
_

x
e
t
t
dt = V P
_
x

e
t
t
dt, x > 0, (1.4.11)
donde V P indica el valor principal de Cauchy
19
de la integral, es decir
V P
_
c
a
f(x) dx = lm
0
__
b
a
f(x) dx +
_
c
b+
f(x) dx
_
,
siendo b la unica singularidad de f(x) en el intervalo [a, c].
Observese que
E
n
(z) = z
n1
(1 n, z), E
1
(x) = Ei (x).
La funcion integral del logaritmo fue introducida por Euler y es una
funcion muy importante en la teora de n umeros:
li (x) =
_
x
0
dt
ln t
= Ei (lnx), x > 1. (1.4.12)
17
James Clerk Maxwell (183179), gran fsico y matematico escoces, considerado el
fundador del Electromagnetismo.
18
Ludwig Eduard Boltzmann (18441906), fsico austraco que aplico los metodos es-
tadsticos a la teora de los gases.
19
Augustin-Louis Cauchy (17891857), matematico frances que, como muchos de sus
contemporaneos, trabajo tambien en diversos problemas de fsica teorica.
24 CAP

ITULO 1. LA FUNCI

ON GAMMA
1.4.5. Integrales del seno y del coseno
Estas funciones se pueden denir de la siguiente manera:
Si (z) =
_
z
0
sen t
t
dt; si (z) = Si (z)

2
; |arg z| < ; (1.4.13)
Ci (z) =
_

z
cos t
t
dt ci (z), |arg z| < . (1.4.14)
Tambien se acostumbra a introducirlas mediante los correspondientes de-
sarrollos en serie que se deducen de las expresiones anteriores. Se muestra
una graca de las funciones y = Si (x) e y = Ci (x) en la Figura 1.7.
1.4.6. Integrales de Fresnel
Las integrales de Fresnel
20
aparecen al estudiar la teora de la difraccion
en optica
S (x) =
_
x
0
sen
_

2
t
2
_
dt, C(x) =
_
x
0
cos
_

2
t
2
_
dt. (1.4.15)
Al igual que sucede con las integrales del seno y del coseno, pueden hallarse
desarrollos en serie para estas integrales de Fresnel, cuyas gracas aparecen
representadas en la Figura 1.8.
Cuando se realiza una representacion graca 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 fenomenos
de interferencia y polarizacion de la luz.
21
Alfred Cornu (18411902), profesor de fsica experimental en la Escuela Politecnica
de Pars.
1.5. FUNCI

ON ZETA DE RIEMANN 25
luz (la llamada difraccion de Fresnel, que es mas realista que la de Fraun-
hofer
22
). Unas interesantes representaciones de estas espirales pueden verse
en las Figuras 1.9 a 1.11.
1.5. Funcion zeta de Riemann
La funcion (z) de Riemann se dene como la serie
(z) =

n=1
1
n
z
, Re z > 1, (1.5.1)
que es uniformemente convergente en todo el dominio en el que Re z > 1,
donde la funcion es analtica. Ademas esta denicion 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 anes. 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 ultimas 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
(z)
=

pprimos
_
1
1
p
z
_
. (1.5.2)
La funcion zeta se relaciona con la funcion gamma mediante las formulas
(z) =
2
z1

z
(z)
(1 z)
cos
z
2
= 2
z

z1
(1 z) (1 z) sen
z
2
. (1.5.3)
22
Joseph von Fraunhofer (17871826), fsico aleman que descubrio las lneas de absor-
ci on atomica en el espectro solar.
26 CAP

ITULO 1. LA FUNCI

ON GAMMA
Para nalizar esta seccion, queremos hacer unos comentarios adicionales
sobre esta curiosa funcion. La funcion (z) tiene ceros en z = 2, 4, 6, . . .
Riemann conjeturo 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 Hardy
23
demos-
tro que, en efecto, (z) tiene innitos ceros en esa lnea. Despues que el
famoso ultimo teorema de Fermat
24
fuera probado por Wiles
25
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 deni-
tiva tendra importantes consecuencias en la teora de los n umeros primos.
Algunos valores sorprendentes de la funcion zeta son:
(0) =
1
2
, (1) =
1
12
, (2n) = 0, n = 1, 2, . . .
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 Bernoulli
26
, Euler y otros, pero los trabajos decisivos se
deben a Legendre
27
. Trabajos posteriores de Abel
28
, Jacobi
29
y Weierstrass
23
Godfrey Harold Hardy (18771947) fue un destacado matematico ingles.
24
Pierre de Fermat (160165), matematico frances. El ultimo 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 matematico griego Diofanto
de Alejandra (approx. 200-284 A.D.). El teorema dice que la ecuacion x
n
+ y
n
= z
n
no
posee soluciones enteras en z, y, z cuando n N es mayor que 2.
25
Andrew John Wiles (1953), matematico ingles.
26
Nombre de una gran familia de matematicos (hay al menos ocho que realizaron con-
tribuciones a las matematicas) originaria de Amberes, que en el siglo XVII se traslado a
Suiza.
27
Adrien-Marie Legendre (17521833), matematico frances que realizo importantes
contribuciones a la teora de n umeros y a la teora de funciones elpticas.
28
Niels Henrik Abel (180229), brillante matematico noruego que asent o el analisis
matem atico sobre bases rmes, trabajando en teora de funciones elpticas y demostrando,
entre otos resultados, la imposibilidad de resolver la ecuacion general de quinto grado
mediante races.
29
Carl Gustav Jacob Jacobi (180451), matematico aleman de gran fama que desa-
rroll o la teora de funciones elpticas y que tambien trabajo en problemas de mecanica
1.6. INTEGRALES EL

IPTICAS 27
enriquecieron enormemente este campo de las matematicas, llevando a de-
nir las funciones elpticas de Jacobi y de Weierstrass y las funciones ,
ninguna de las cuales estudiaremos aqu
30
.
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:
T =
1
2
mv
2
=
m
2
(L

)
2
; (1.6.1)
V = mgh = mg(L Lcos ); (1.6.2)
E = T +V =
mL
2
2

2
mgLcos +mgL. (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 gura, 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 verica
E = mgLcos
m
+mgL,
por tanto, usando esta ecuacion y (1.6.3), se tiene
mL
2
2

2
mgLcos +mgL = mgLcos
m
+mgL,
es decir
L
2

2
= g(cos cos
m
),

=
_
2g
L
_
cos cos
m
. (1.6.4)
(ecuaci on de Hamilton-Jacobi). El determinante jacobianode una transformacion lleva
ese nombre en su honor.
30
Se remite al lector interesado al libro clasico de Whittaker y Watson que se indica
en la bibliografa.
28 CAP

ITULO 1. LA FUNCI

ON 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):
d
dt
=
_
2g
L
_
cos cos
m
.
Integrando en ese intervalo temporal, que obviamente es un cuarto del
perodo del movimiento , tendremos:
_
2g
L

4
=
_

m
0
d

cos cos
m
=
_

m
0
d
_
(1 cos
m
) (1 cos )
=
_

m
0
d
_
2 sen
2

m
2
2 sen
2

2
.
Haciendo el cambio de variable
sen

2
=
_
sen

m
2
_
senu,
d
2
cos

2
=
_
sen

m
2
_
cos u du,
llegamos a
= 4

L
2g
_
/2
0
2
_
sen

m
2
_
cos u du
_
_
2 sen
2

m
2
_
(1 sen
2
u)
1
_
1
_
sen
2

m
2
_
sen
2
u
= 4

L
g
_
/2
0
du
_
1
_
sen
2

m
2
_
sen
2
u
. (1.6.5)
Esta integral no se puede resolver en terminos de funciones elementales.
Por ello se introducen nuevas funciones: las integrales elpticas.
Denicion 4: se dene la integral elptica de primera especie como
F(\) =
_

0
d

1 sen
2
sen
2

, (1.6.6)
1.6. INTEGRALES EL

IPTICAS 29
donde es el angulo modular. O bien, haciendo el cambio t = sen y
m = sen
2
,
F(x|m) =
_
x
0
dt
_
(1 t
2
)(1 mt
2
)
, 0 m 1. (1.6.7)
La variable m se denomina el parametrode la integral elptica. Para =
/2 o x = 1 tenemos la integral elptica completa de primera especie:
K(m) =
_
/2
0
(1msen
2
)
1/2
d =
_
1
0
[(1t
2
)(1mt
2
)]
1/2
dt. (1.6.8)
Denicion 5: se dene la integral elptica de segunda especie como
E(\) =
_

0
_
1 sen
2
sen
2
d, (1.6.9)
o bien
E(x|m) =
_
x
0
_
1 mt
2
1 t
2
dt, 0 m 1. (1.6.10)
Para = /2 o x = 1 tenemos la integral elptica completa de segunda
especie:
E(m) =
_
/2
0
_
1 msen
2
d =
_
1
0
_
1 mt
2
1 t
2
dt. (1.6.11)
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
K(m) =
_
/2
0
d

1 msen
2

=
_
/2
0
d

n=0
(2n 1)!!
(2n)!!
m
n
sen
2n
.
Esta serie converge uniformemente y puede integrarse termino a termino:
K(m) =

2
_
1 +
_
1
2
_
2
m+
_
1 3
2 4
_
2
m
2
+
_
1 3 5
2 4 6
_
2
m
3
+
_
.
(1.6.12)
30 CAP

ITULO 1. LA FUNCI

ON GAMMA
Procediendo de modo analogo se obtiene
E(m) =

2
_
1
_
1
2
_
2
m
1

_
1 3
2 4
_
2
m
2
3

_
1 3 5
2 4 6
_
2
m
3
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 denicion de la integral elptica completa de
primera especie, vemos que el perodo del movimiento sera
= 4

L
g
K(sen
2

m
/2). (1.6.14)
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
= 2

L
g
, (1.6.15)
valido, no lo olvidemos, en la aproximacion de peque nas oscilaciones en
torno a la posicion de equilibrio.
Para nalizar, 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 formula 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 ASINT

OTICAS: LA F

ORMULA DE STIRLING 31
de residuos y otras diversos metodos desarrollados en el estudio de las series
asintoticas (metodos de la fase estacionaria, de Laplace
31
y del punto de
silla). Nos limitaremos aqu a dar el resultado sin demostrarlo, pero antes
vamos a denir que es lo que se entiende por serie asintotica (para mas
informacion sobre las series asintoticas, vease el libro de Erdelyi sobre este
tema citado en la bibliografa).
Denicion 6: sea f(z) una funcion de variable compleja. Consideremos la
serie
a
0
+
a
1
z
+
a
2
z
2
+
a
3
z
3
+ =

n=0
a
n
z
n
. (1.7.1)
Siguiendo la denicion de Poincare
32
, diremos que se trata de una serie
asintotica para f(z), y escribiremos
f(z)

n=0
a
n
z
n
, (1.7.2)
si existe un entero positivo M tal que
lm
|z|
z
M
_
f(z)
M

n=0
a
n
z
n
_
= 0, (1.7.3)
a un cuando pueda suceder que
lm
M
z
M
_
f(z)
M

n=0
a
n
z
n
_
= , para x jo. (1.7.4)
31
Pierre-Simon de Laplace (17491827), destacado matematico 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), matematico frances considerado por algunos como
la ultima persona que tuvo un conocimiento global de toda la matematica y de sus apli-
caciones. Catedratico de fsica matematica en la Sorbona, en el campo de la matematica
aplicada abordo problemas de optica, electricidad, telegrafa, capilaridad, elasticidad, ter-
modinamica, 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 mecanica celeste (estudiando
en profundidad el problema de los tres cuerpos). Pero tambien realizo desarrollos impor-
tantes en matematica pura, como por ejemplo sus trabajos sobre funciones automorfas y
sus ideas originales sobre lo que con posterioridad se denomino topologa. En sus traba-
jos 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).
32 CAP

ITULO 1. LA FUNCI

ON GAMMA
La teora de las series asintoticas esta bien establecida desde el punto de
vista matematico y resultan muy utiles para determinar el valor numerico
de funciones para grandes valores de la variable independiente.
En la practica, una serie asintotica 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
_

0
e
xt
cos t dt =
_

0
e
xt
_
1
t
2
2!
+
t
4
4!

t
6
6!
+
_
dt
=
1
x

1
x
3
+
1
x
5

1
x
7
+ =
x
x
2
+ 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
_

0
e
xt
1 +t
dt =
_

0
e
xt
(1 t +t
2
t
3
+ ) dt =
1
x

1!
x
2
+
2!
x
3

3!
x
4
+
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 asintotica.
El resultado que mas nos interesa es la formula asintotica de Stirling
para la funcion gamma, que ofrecemos a continuacion:
Proposicion: se puede probar que
(z + 1)

2 z z
z
e
z
_
1 +
1
12 z
+
1
288 z
2

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

139
51840 z
3
+
_
. (1.7.6)
1.8. BIBLIOGRAF

IA 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 asintotica.
Para nalizar, una observacion: a pesar de la semejanza existente entre
las series asintoticas y las series de Laurent
33
(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 Homann, 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 matematico frances.