Funciones Especiales

1. Algunas funciones Especiales

1.1. Funcion Gamma e Integrales de Probabilidad
Es la generalizacion del factorial n! el cual solo esta denido para enteros, mientras que (z)
esta denida para toda variable compleja z con parte real positiva.
(z) se dene indistintamente como:
(z) =
?

0
e
t
t
z1
dt (z 1)!
?
(z 1) Re z > 0
(z) = lm
n
1 2 3 n
z (z + 1) (z + 2) (z + n)
n
z
1
(z)
= ze
z

?
n=1
?
1 +
z
n
?
e

z
n
donde n es un entero positivo y
= 0,577215664901
se conoce como la constante de Euler-Mascheroni:
Tambien es frecuente encontrar (z) con algunas variantes cosmeticas:
(z) = 2
?

0
e
t
2
t
2z1
dt =
?
1
0
?
ln
?
1
t
??
z1
dt = k
z
?

0
e
kt
t
z1
dt
Para probar la equivalencia de las dos primeras deniciones inventamos las siguiente funcion de dos
variables
F(z, n) =
?
n
0
?
1
t
n
?
n
t
z1
dt Re z > 0
y como es conocido que
lm
n
?
1
t
n
?
n
e
t
Entonces
lm
n
F(z, n) = F(z, ) =
?

0
e
t
t
z1
dt (z)
Con lo cual queda demostrada la primera de propuestas de Euler.
Para construir la segunda partimos de la misma funcion F(z, n) y un cambio estrategico de
variable u =
t
n
.
F(z, n) = n
z
?
n
0
(1 u)
n
u
z1
du Re z > 0
Un par de integraciones por partes nos llevan a comprobar
F(z, n) = n
z
?
(1 u)
n
u
z
z
?
?
?
?
1
0
+
n
z
?
1
0
(1 u)
n1
u
z
du
?
= n
z
?
(1 u)
n2
u
z+1
n(n 1)
z(z + 1)
?
?
?
?
1
0
+
n(n 1)
z(z + 1)
?
1
0
(1 u)
n2
u
z+1
du
?
que el primer termino se anula siempre. Repitiendo el proceso n veces
F(z, n) = n
z
?
n(n 1)(n 2)(n 3) 3 2 1
z(z + 1)(z + 2)(z + 3) (z + n 1)
??
1
0
u
z+n1
du
= n
z
?
n(n 1)(n 2)(n 3) 3 2 1
z(z + 1)(z + 2)(z + 3) (z + n)
?
Una vez mas, haciendo
lm
n
F(z, n) = F(z, ) = lm
n
n
z
?
n(n 1)(n 2)(n 3) 3 2 1
z(z + 1)(z + 2)(z + 3) (z + n)
?
(z)
Se completa la equivalencia para la primera y segunda deniciones de Euler.
En particular, de la primera de las deniciones se tiene por integracion directa
(1) =
?

0
e
t
dt = 1

?
1
2
?
=
?

0
e
t
t
1/2
dt =
?

0
e
u
2
du =

mientras que de la segunda, si z = n = 1, 2, 3, , se obtiene

(n + 1) = n!

?
n +
1
2
?
=
1 3 5 (2n 1)
2
n

Finalmente la tercera de las deniciones de la funcion (z) viene expresada en termino de un

producto innito (Weierstrass). Este puede demostrarse partiendo de la segunda denicion de Euler
(z) = lm
n
1 2 3 n
z (z + 1) (z + 2) (z + n)
n
z
= lm
n
1
z
n
?
m=1
?
m
m + z
?
n
z
= lm
n
1
z
n
?
m=1
?
1 +
z
m
?
1
n
z
Por lo tanto
1
(z)
= z lm
n
n
?
m=1
?
1 +
z
m
?
e
z ln n
Ahora bien, multiplicando y dividiendo por
n
?
m=1
e
z/m
= e
z(
P
n
m=1
1
m
)
nos queda
1
(z)
= z
?
lm
n
e
z((
P
n
m=1
1
m
)ln n)
?
?
lm
n
n
?
m=1
?
1 +
z
m
?
e
z/m
?
Donde, la serie exponente del primero de los terminos converge a un valor constante y cual ha
quedado bautizado como la constante de Euler-Mascheroni
= lm
n
?
1 +
1
2
+
1
3
+
1
4
+
1
n
lnn
?
= lm
n
??
n
?
m=1
1
m
?
ln n
?
= 0,5772156649015328606065112
Con lo cual queda demostrada la tercera de las propuestas para expresar la Funcion Gamma
1
(z)
= ze
z

?
n=1
?
1 +
z
n
?
e

z
n
Es facil comprobar las siguientes propiedades
(z + 1) = z (z)
(z) (1 z) =
?

0
x
z1
dx
(1 + x)
=

sen z
2
2z1
(z)
?
z +
1
2
?
=

(2z)
La primera de ellas (la relacion de recurrencia) es trivial y se obtiene integrando por partes la
denicion integral de Euler.
(z + 1) =
?

0
e
t
t
z
dt = z e
t
t
z1
?
?

0
+ z
?

0
e
t
t
z1
dt = z(z)
El primer sumando de la integracion por partes se anula siempre. Esta propiedad es valida z con
z ?= 0, 1, 2, .
La segunda de las propiedades (formula de reexion) se comprueba tambien partiendo de de-
nicion integral de Euler con el siguiente cambio de variable t = u
2
.
(z) (1 z) = 2
?

0
e
u
2
u
2z1
du 2
?

0
e
v
2
v
12z
dv
= 4
??

0
e
(u
2
+v
2
)
?
u
v
?
2z1
dudv
si ahora hacemos u = cos y v = sen , la integral anterior queda como
(z) (1 z) = 4
?

0
e

2
d
?
/2
0
cot
2z1
d
= 4
1
2
?
/2
0
cot
2z1
d
Finalmente, si
= arccot

x; d =
dx
2

x(1 + x)
nos queda
(z) (1 z) =
?

0
x
z1
dx
(1 + x)
=

sen z
Es inmediato volver a comprobar

?
1
2
?
=

Del mismo modo, si utilizamos ademas la relacion de recurrencia encontramos

(z) (z) =

z sen z
La formula de duplicacion y puede comprobarse partiendo de la denicion del lmite de Euler,
as
2
2z1
(z)
?
z +
1
2
?
(2z)
=

Hay que hacer notar que en el numerador sustituimos directamente las expresiones para del lmite
de Euler y en la del denominador, adicionalmente sustituimos n por 2n
(2z) = lm
n
1 2 3 n
2z (2z + 1) (2z + n)
n
2z
= lm
n
1 2 3 2n
2z (2z + 1) (2z + 2n)
(2n)
2z
por lo cual se tiene la siguiente expresion dentro del argumento del lmite
2
2z1
?
1 2 3 n
z (z + 1) (z + 2) (z + n)
n
z
?
?
1 2 3 n
?
z +
1
2
? ?
z +
3
2
?

?
z +
1
2
+ n
?n
z+
1
2
?
?
1 2 3 2n
2z (2z + 1) (2z + 2) (2z + 2n)
(2n)
2z
?
la cual se reacomoda como
lm
n
2
2z1
(n!)
2
2z (2z + 1) (2z + 2) (2z + 2n)
(2n)! z
?
z +
1
2
?
(z + 1)
?
z +
3
2
?
(z + 2)
?
z +
1
2
+ n
?
(z + n)

n
2z+
1
2
(2n)
2z
y
lm
n
z
?
z +
1
2
?
(z + 1)
?
z +
3
2
?
(z + 2)
?
z +
n
2
? ?
2
n1
?
z
?
z +
1
2
?
(z + 1)
?
z +
3
2
?
(z + 2)
?
z +
1
2
+ n
?
(z + n)

2
2z1
(n!)
2
(2n)!

n
z+
1
2
2
2z
n
2z
Entonces
2
2z1
(z)
?
z +
1
2
?
(2z)
= lm
n
?
2
n2
?
(n!)
2

n
(2n)!
por lo cual se deduce que el valor de lado izquierdo de la ecuacion es independiente del valor de z
por lo tanto es el mismo valor para cualquier z y lo evaluamos para z =
1
2
2
2z1
(z)
?
z +
1
2
?
(2z)
=
?
1
2
?
=

con lo cual queda comprobada la formula de duplicacion.

Otras propiedades que van quedar como curiosidad y sin demostracion son:
(nz) = (2)
(1n)/2
n
nz
1
2
n1
?
k=0
?
z +
k
n
?
?
z
w
?
=
z!
w!(z w)!
=
(z + 1)
(w + 1) (z w + 1)
A partir de (z) se denen otras funciones especiales, las cuales se expresan conjuntamente con
sus propiedades como
1.2. La Funciones Digamma y Poligamma
,
Para evitar tratar con derivadas de los factoriales es costumbre trabajar con sus derivadas
logartmicas. A partir de la segunda denicion
(z + 1) = z! = lm
n
1 2 3 n
(z + 1) (z + 2) (z + n)
n
z
ln(z!) = ln
?
lm
n
1 2 3 n
(z + 1) (z + 2) (z + n)
n
z
?
= lm
n
(ln(n!) + z lnn ln(z + 1) ln(z + 2) ln(z + n))
ahora derivando,
d
dz
ln(z!) F(z) = lm
n
?
lnn
1
(z + 1)

1
(z + 2)

1
(z + n)
?
y nalmente acomodando, para llegar a la denicion mas conocida
F(z) =

?
n=1
?
1
(z + n)

1
n
?
Tambien se le conoce como funcion Psi
(z) =

?
(z)
(z)
=
d
dz
ln((z)) F(z 1) =
d
dz
ln((z 1)!)
con las siguientes propiedades
(z + 1) =
1
z
+ (z)
(z 1) (z) = cot z
(z) +
?
z +
1
2
?
+ 2 ln2 = 2(2z)
De donde se pueden deducir
(1) =
?
(1) =
La funcion (z) puede ser expresada en terminos de integrales denidas, para ello notamos que

?
(z) =
?

0
e
t
t
z1
lnt dt
y sustituyendo la identidad de Frullani
lnt =
?

0
e
x
e
xt
x
dx
tendremos

?
(z) =
?

0
e
t
t
z1
?

0
e
x
e
xt
x
dx dt
=
?

0
dx
x
?

0
?
e
x
e
xt
?
e
t
t
z1
dt
=
?

0
dx
x
e
x
?

0
e
t
t
z1
dt
?

0
dx
x
?

0
e
t(x+1)
t
z1
dt
= (z)
?

0
dx
x
?
e
x
(x + 1)
z
?
ya que (z) = k
z
?

0
e
kt
t
z1
dt y por lo tanto
(z) =
?

0
dx
x
?
e
x
(x + 1)
z
?
Tambien daremos (sin demostracion) otras expresiones
(z) =
?

0
?
e
t
t

e
tz
1 e
t
?
dt
(z) = +
?
1
0
1 x
z1
1 x
dx
La Funcion Poligamma se obtiene derivando en forma repetida la Funcion Digamma

(m)
(z + 1) = F
(m)
(z) =
d
m
dz
m
F(z) = (1)
m+1
m!

?
n=1
1
(z + n)
m+1
m = 1, 2, 3
y cuya serie puede ser expresada en terminos de la funcion Zeta de Riemman
(m)

?
n=1
1
n
m
como
F
(m)
(0) = 1)
m+1
m!(m + 1)
de esta forma es posible desarrollar en serie de Maclaurin
ln(n!) = +
z
2
2
(2)
z
3
3
(3) + + (1)
n
z
n
n
(n) +
1.3. La Aproximaci on de Stirling
El comportamiento asintotico de las funciones especiales sera tratado en una clase aparte. Pero
la importancia de la Aproximacion de Stirling obliga a que se trate en este punto. Supongamos que
consideramos el caso z x ?. Por lo cual estamos interesados en el caso x ?1. Partimos de
(x) =
1
x
(x + 1) =
1
x
?

0
e
t
t
x
dt =
1
x
?

0
e
t+xln t
dt
haciendo t = xu tenemos que
(x) = x
x
?

0
e
x(uln u)
du
Ahora bien, el integrando tendra su maximo en u = 1 donde la exponencial tiene su mnimo y es
entorno a ese punto que desarrollara en series de Taylor
u lnu = 1 +
1
2
(u 1)
2

1
3
(u 1)
3
+
1
4
(u 1)
4
+
por lo cual
(x) = x
x
?

0
e
x(uln u)
du x
x
?

0
du e
x(1+
1
2
(u1)
2

1
3
(u1)
3
+ )
du
Otro cambio de variable v =

x(u 1) nos lleva
(x)
x
x
e
x

x
?

x
dve

1
2
v
2
exp
?
1
3

x
v
3

1
4x
v
4
+
1
5x
3
2
v
5

?
Para valores x ?1 se expande, en series de Taylor los exponenciales que contengan terminos
1

x
(x)
x
x
e
x

x
?

dve

1
2
v
2
?
1 +
?
1
3

x
v
3

1
4x
v
4
+
1
5x
3
2
v
5

?
+
+
1
2!
?
1
3

x
v
3

1
4x
v
4
+
1
5x
3
2
v
5

?
2
+
+
1
3!
?
1
3

x
v
3

1
4x
v
4
+
1
5x
3
2
v
5

?
3
+
?
Finalmente, utilizando que
?

dve

1
2
v
2
v
n
=

2 1 3 5 (n 1)
0
n = 0
n = 2k
n = 2k 1
e integrando termino a termino, tendremos que
(x)
?
2
x
x
x
e
x
?
1 +
1
12x
+
1
288 x
2
+
?
1.4. La funcion Beta
B(x, y) =
?
1
0
t
x1
(1 t)
y1
dt Re x > 0 Re y > 0
B(x, y) =
(x) (y)
(x + y)
1.4.1. La Funcion Integral de Probabilidad
La funcion Integral de Probabilidad para una variable compleja arbitraria z como
(z) =
2

?
z
0
e
t
2
dt
Obviamente (0) = 0 y () = 1. A partir de esta funcion se dene la Funcion Error y su
complemento
erf(z) =
?
z
0
e
t
2
dt =

2
(z)
erf c(z) =
?
z
z
e
t
2
dt =

2
[1 (z)]
Funcion Gamma Incompleta (z, ) y
Funcion Gamma Complementaria (z, )
(z, ) =
?

0
e
t
t
z1
dt
(z, ) =
?

e
t
t
z1
dt
las cuales claramente cumplen con
(z, ) + (z, ) = (z)
y resumen
(z + 1, ) = z (z, )
z
e

(z + 1, ) = z(z, ) +
z
e