Semana 9 - Clase 27 08/06/10 Tema 4: Sistemas y Series

Funciones Especiales

Función Gamma e Integrales de Probabilidad

Es la generalización del factorial n! el cual sólo está definido para enteros, mientras que Γ (z)
está definida para toda variable compleja z con parte real positiva.
Γ (z) se define indistintamente como:
Z ∞ Y
Γ (z) = e−t tz−1 dt ≡ (z − 1)! ≡ (z − 1) Re z > 0
0
1 · 2 · 3 · ··· · n
Γ (z) = lı́m nz
n→∞ z (z + 1) (z + 2) · · · (z + n)
∞ 
1 Y z  −z
= zeγz 1+ e n
Γ (z) n
n=1

donde n es un entero positivo y

γ = 0,577215664901 · · ·
se conoce como la constante de Euler-Mascheroni:
También es frecuente encontrar Γ (z) con algunas variantes cosméticas:
Z ∞ Z 1  z−1 Z ∞
−t2 2z−1 1
Γ (z) = 2 e t dt = ln dt = k z
e−kt tz−1 dt
0 0 t 0

Para probar la equivalencia de las dos primeras definiciones inventamos las siguiente función de dos
variables
t n z−1
Z n 
F (z, n) = 1− t dt Re z > 0
0 n
y como es conocido que
t n
 
lı́m 1 − ≡ e−t
n→∞ n
Entonces Z ∞
lı́m F (z, n) = F (z, ∞) = e−t tz−1 dt ≡ Γ (z)
n→∞ 0
Con lo cual queda demostrada la primera de propuestas de Euler.
Para construir la segunda partimos de la misma función F (z, n) y un cambio estratégico de
variable u = nt . Z n
F (z, n) = nz (1 − u)n uz−1 du Re z > 0
0

Héctor Hernández / Luis Núñez 1 Universidad de Los Andes, Mérida

Semana 9 - Clase 27 08/06/10 Tema 4: Sistemas y Series

Un par de integraciones por partes nos llevan a comprobar

( )
z 1 Z 1

n u n n−1
F (z, n) = nz (1 − u)  + (1 − u) uz du
z 0 z 0
( 1 Z 1 )
n(n − 1) n(n − 1)
= nz (1 − u)n−2 uz+1 (1 − u)n−2 uz+1 du

 +
z(z + 1) 0 z(z + 1) 0

que el primer término se anula siempre. Repitiendo el proceso n veces

 Z 1
z n(n − 1)(n − 2)(n − 3) · · · 3 · 2 · 1
F (z, n) = n uz+n−1 du
z(z + 1)(z + 2)(z + 3) · · · (z + n − 1) 0
 
n(n − 1)(n − 2)(n − 3) · · · 3 · 2 · 1
= nz
z(z + 1)(z + 2)(z + 3) · · · (z + n)

Una vez más, haciendo

 
z n(n − 1)(n − 2)(n − 3) · · · 3 · 2 · 1
lı́m F (z, n) = F (z, ∞) = lı́m n ≡ Γ (z)
n→∞ n→∞ z(z + 1)(z + 2)(z + 3) · · · (z + n)

Se completa la equivalencia para la primera y segunda definiciones de Euler.

En particular, de la primera de las definiciones se tiene por integración directa
Z ∞
Γ (1) = e−t dt = 1
0
  Z ∞ Z ∞
1 −t −1/2 2 √
Γ = e t dt = e−u du = π
2 0 0

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

Γ (n + 1) = n!
1 · 3 · 5 · · · · (2n − 1) √
 
1
Γ n+ = π
2 2n

Finalmente la tercera de las definiciones de la función Γ (z) viene expresada en término de un

producto infinito (Weierstrass). Este puede demostrarse partiendo de la segunda definición de Euler
1 · 2 · 3 · ··· · n
Γ (z) = lı́m nz
n→∞ z (z + 1) (z + 2) · · · (z + n)
n   n
1 Y m z 1 Y z −1 z
= lı́m n = lı́m 1+ n
n→∞ z m+z n→∞ z m
m=1 m=1

Por lo tanto
n 
1 Y z  −z ln n
= z lı́m 1+ e
Γ (z) n→∞ m
m=1

Héctor Hernández / Luis Núñez 2 Universidad de Los Andes, Mérida

Semana 9 - Clase 27 08/06/10 Tema 4: Sistemas y Series

Ahora bien, multiplicando y dividiendo por

n Pn 1
ez/m = ez ( )
Y
m=1 m

m=1

nos queda
n 
( )
1 n Pn 1
o z  −z/m
= z lı́m ez (( m=1 m )−ln n)
Y
lı́m 1+ e
Γ (z) n→∞ n→∞ m
m=1
Donde, la serie exponente del primero de los términos converge a un valor constante y cual ha
quedado bautizado como la constante de Euler-Mascheroni
  ( n ! )
1 1 1 1 X 1
γ = lı́m 1 + + + + · · · − ln n = lı́m − ln n
n→∞ 2 3 4 n n→∞ m
m=1
γ = 0,5772156649015328606065112 · · ·

Con lo cual queda demostrada la tercera de las propuestas para expresar la Función Gamma
∞  z
1 γz
Y z −
= ze 1+ e n
Γ (z) n
n=1

Es fácil comprobar las siguientes propiedades

Γ (z + 1) = z Γ (z)
Z ∞ z−1
x dx π
Γ (z) Γ (1 − z) = =
0 (1 + x) sen(πz)
√
 
1
22z−1 Γ (z) Γ z + = π Γ (2z)
2

La primera de ellas (la relación de recurrencia) es trivial y se obtiene integrando por partes la
definición integral de Euler.
Z ∞ Z ∞
−t z −t z−1 ∞
e−t tz−1 dt = zΓ (z)

Γ (z + 1) = e t dt = ze t 0
+z
0 0

El primer sumando de la integración por partes se anula siempre. Esta propiedad es válida ∀z con
z 6= 0, −1, −2, · · · .
La segunda de las propiedades (fórmula de reflexión) se comprueba también partiendo de defi-
nición integral de Euler con el siguiente cambio de variable t = u2 .
Z ∞ Z ∞
−u2 2z−1 2
Γ (z) Γ (1 − z) = 2 e u du 2 e−v v 1−2z dv
Z0Z ∞ 0
−(u2 +v 2 ) u
 2z−1
=4 e dudv
0 v

Héctor Hernández / Luis Núñez 3 Universidad de Los Andes, Mérida

Semana 9 - Clase 27 08/06/10 Tema 4: Sistemas y Series

si ahora hacemos u = ρ cos ϕ y v = ρ senϕ, la integral anterior queda como

Z ∞ Z π/2 Z π/2
2 1
Γ (z) Γ (1 − z) = 4 ρe−ρ dρ cot2z−1 (ϕ)dϕ = 4 · cot2z−1 (ϕ)dϕ
0 0 2 0

Finalmente, si
√ −dx
ϕ = arccot( x); dϕ = √
2 x (1 + x)
nos queda
∞
xz−1 dx
Z
π
Γ (z) Γ (1 − z) = =
0 (1 + x) sen(πz)
Es inmediato volver a comprobar
√
 
1
Γ = π
2
Del mismo modo, si utilizamos además la relación de recurrencia encontramos
π
Γ (z) Γ (−z) =
−zsen(πz)

La fórmula de duplicación, y puede comprobarse partiendo de la definición del lı́mite de Euler,

ası́
22z−1 Γ (z) Γ z + 21


√
= π
Γ (2z)
Hay que hacer notar que en el numerador sustituimos directamente las expresiones para del lı́mite
de Euler y en la del denominador, adicionalmente sustituimos n por 2n
1 · 2 · 3 · ··· · n 1 · 2 · 3 · · · · · 2n
Γ (2z) = lı́m n2z = lı́m (2n)2z
n→∞ 2z (2z + 1) · · · (2z + n) n→∞ 2z (2z + 1) · · · (2z + 2n)

por lo cual se tiene la siguiente expresión dentro del argumento del lı́mite
  !
1 · 2 · 3 · ··· · n 1 · 2 · 3 · ··· · n z+ 12
22z−1 nz
n
z + 2 z + 32 · · · z +
1 1



z (z + 1) (z + 2) · · · (z + n) 2 +n
 
1 · 2 · 3 · · · · · 2n 2z
(2n)
2z (2z + 1) (2z + 2) · · · (2z + 2n)

la cual se reacomoda como

1
22z−1 (n!)2 2z (2z + 1) (2z + 2) · · · (2z + 2n) n2z+ 2
lı́m ·
n→∞ (2n)! z z + 1 (z + 1) z + 3 (z + 2) · · · z + 1 + n (z + n) (2n)2z




2 2 2

y
1
z z + 12 (z + 1) z + 23 (z + 2) · · · z + n2 2n−1 22z−1 (n!)2 nz+ 2





lı́m · ·
n→∞ z z + 1 (z + 1) z + 3 (z + 2) · · · z + 1 + n (z + n) 22z n2z




2 2 2
(2n)!

Héctor Hernández / Luis Núñez 4 Universidad de Los Andes, Mérida

Semana 9 - Clase 27 08/06/10 Tema 4: Sistemas y Series

Entonces √
22z−1 Γ (z) Γ z + 1
2n−2 (n!)2 n



2
= lı́m
Γ (2z) n→∞ (2n)!
por lo cual se deduce que el valor de lado izquierdo de la ecuación es independiente del valor de z
por lo tanto es el mismo valor para cualquier z y lo evaluamos para z = 12

22z−1 Γ (z) Γ z + 12


√
 
1
=Γ = π
Γ (2z) 2
con lo cual queda comprobada la fórmula de duplicación.
Otras propiedades que van quedar como curiosidad y sin demostración son:
n−1
Y 
(1−n)/2 nz− 12 k
Γ (nz) = (2π) n z+
n
k=0
 
z z! Γ (z + 1)
= =
w w!(z − w)! Γ (w + 1) Γ (z − w + 1)

A partir de Γ (z) se definen otras funciones especiales.

La Funciones Digamma y Poligamma

Para evitar tratar con derivadas de los factoriales es costumbre trabajar con sus derivadas
logarı́tmicas. A partir de la segunda definición
1 · 2 · 3 · ··· · n
Γ (z + 1) = z! = lı́m nz
n→∞ (z + 1) (z + 2) · · · (z + n)
 
1 · 2 · 3 · ··· · n z
ln (z!) = ln lı́m n
n→∞ (z + 1) (z + 2) · · · (z + n)

= lı́m [ln (n!) + z ln(n) − ln (z + 1) − ln (z + 2) − · · · − ln (z + n)]

n→∞

ahora derivando,
 
d 1 1 1
ln (z!) ≡ F(z) = lı́m ln(n) − − − ··· −
dz n→∞ (z + 1) (z + 2) (z + n)
y finalmente acomodando, para llegar a la definición más conocida
∞  
X 1 1
F(z) = −γ − −
(z + n) n
n=1

También se le conoce como función ψ (Psi)

Γ0 (z) d d
ψ(z) = = ln (Γ (z)) ≡ F(z − 1) = ln ((z − 1)!)
Γ (z) dz dz

Héctor Hernández / Luis Núñez 5 Universidad de Los Andes, Mérida

Semana 9 - Clase 27 08/06/10 Tema 4: Sistemas y Series

con las siguientes propiedades

1
ψ(z + 1) =
+ ψ(z)
z
ψ(z − 1) − ψ(z) = π cot(πz)
 
1
ψ(z) + ψ z + + 2 ln(2) = 2ψ(2z)
2
De donde se pueden deducir
ψ(1) = Γ0 (1) = γ
La función ψ(z) puede ser expresada en términos de integrales definidas, para ello notamos que
Z ∞
0
Γ (z) = e−t tz−1 ln(t) dt
0

y sustituyendo la identidad de Frullani

∞
e−x − e−xt
Z
ln(t) = dx
0 x
tendremos
Z ∞ Z ∞ −x Z ∞
e − e−xt dx ∞ −x
Z
0 −t z−1
e − e−xt e−t tz−1 dt


Γ (z) = e t dx dt =
x x 0
Z0 ∞ Z0 Z0
dx −x ∞ −t z−1
Z ∞
dx ∞ −t(x+1) z−1
Z ∞
dx  −x
e − (x + 1)−z

= e e t dt − e t dt = Γ (z)
0 x 0 0 x 0 0 x
∞
ya que Γ (z) = k z 0 e−kt tz−1 dt y por lo tanto
R

Z ∞
dx  −x
e − (x + 1)−z

ψ(z) =
0 x
También daremos (sin demostración) otras expresiones
Z ∞  −t
e−tz

e
ψ(z) = − dt
0 t 1 − e−t
Z 1
1 − xz−1
ψ(z) = −γ + dx
0 1−x
La Función Poligamma se obtiene derivando en forma repetida la Función Digamma
∞
dm X 1
ψ (m) (z + 1) = F(m) (z) = F(z) = (−1)m+1 m! m = 1, 2, 3 · · ·
dz m
(z + n)m+1
n=1

y cuya serie puede ser expresada en términos de la función Zeta de Riemman

∞
X 1
ζ(m) ≡
nm
n=1

Héctor Hernández / Luis Núñez 6 Universidad de Los Andes, Mérida

Semana 9 - Clase 27 08/06/10 Tema 4: Sistemas y Series

como
F(m) (0) = (−1)m+1 m!ζ(m + 1)
de esta forma es posible desarrollar en serie de Maclaurin

z2 z3 zn
ln(n!) = −γ + ζ(2) − ζ(3) + · · · + (−1)n ζ(n) + · · ·
2 3 n

La Aproximación de Stirling
El comportamiento asintótico de las funciones especiales será tratado en una clase aparte. Pero
la importancia de la Aproximación 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
1 ∞ −t x 1 ∞ −t+x ln t
Z Z
1
Γ (x) = Γ (x + 1) = e t dt = e dt
x x 0 x 0

haciendo t = xu tenemos que Z ∞

Γ (x) = x x
e−x(u−ln(u)) du
0
Ahora bien, el integrando tendrá su máximo en u = 1 donde la exponencial tiene su mı́nimo y es
entorno a ese punto que desarrollará en series de Taylor
1 1 1
u − ln(u) = 1 + (u − 1)2 − (u − 1)3 + (u − 1)4 + · · ·
2 3 4
por lo cual
Z ∞ Z ∞ 2
1
− 13 (u−1)3 +··· )
Γ (x) = x x
e −x(u−ln(u))
du ≈ x x
du e−x(1+ 2 (u−1) du
0 0
√
Otro cambio de variable v = x (u − 1) nos lleva

xx e−x ∞
Z  
− 12 v 2 1 3 1 4 1 5
Γ (x) ≈ √ dve exp √ v − v + 3 v − ···
x −√x 3 x 4x 5x 2

Para valores x  1 se expande, en series de Taylor los exponenciales que contengan términos √1
x

xx e−x ∞
Z   
− 12 v 2 1 3 1 4 1 5
Γ (x) ≈ √ dve 1+ √ v − v + 3 v − ··· +
x −∞ 3 x 4x 5x 2
 2
1 1 3 1 4 1 5
+ √ v − v + 3 v − ··· +
2! 3 x 4x 5x 2
 3 )
1 1 3 1 4 1 5
+ √ v − v + 3 v − ··· + ···
3! 3 x 4x 5x 2

Héctor Hernández / Luis Núñez 7 Universidad de Los Andes, Mérida

Semana 9 - Clase 27 08/06/10 Tema 4: Sistemas y Series

Finalmente, utilizando que

 √
Z ∞ 1 2
 √2π n=0
dve− 2 v v n = 2π · 1 · 3 · 5 · · · · (n − 1) n = 2k
−∞ n = 2k − 1
0


e integrando término a término, tendremos que

r  
2π x −x 1 1
Γ (x) ≈ x e 1+ + + ···
x 12x 288 x2

La función Beta

Z 1
B(x, y) = tx−1 (1 − t)y−1 dt Re x > 0 ∧ Re y > 0
0
Γ (x) Γ (y)
B(x, y) =
Γ (x + y)

La Función Integral de Probabilidad

La función Integral de Probabilidad para una variable compleja arbitraria z como
Z z
2 2
Φ(z) = √ e−t dt
π 0
Obviamente Φ(0) = 0 y Φ(∞) = 1.
A partir de esta función se define la Función Error y su complemento
Z z √
2 π
erf(z) = e−t dt = Φ(z)
0 2
Z z √
−t2 π
erfc(z) = e dt = [1 − Φ(z)]
z 2
La Función Gamma Incompleta γ (z, α) y la Función Gamma Complementaria Γ (z, α)
Z α
γ (z, α) = e−t tz−1 dt
0
Z ∞
Γ (z, α) = e−t tz−1 dt
α
las cuales claramente cumplen con
γ (z, α) + Γ (z, α) = Γ (z)
y resumen
γ (z + 1, α) = zγ (z, α) − αz e−α
Γ (z + 1, α) = zΓ (z, α) + αz e−α .

Héctor Hernández / Luis Núñez 8 Universidad de Los Andes, Mérida