Departamento de Matemáticas

Facultad de Cs. Fı́sicas y Matemáticas

Universidad de Concepción Cálculo II

Función Gamma
11 de mayo de 2022

Autor: Alejandro Saavedra San Martı́n

Demostremos que la integral impropia

ˆ +∞
tx−1 e−t dt (1)
0

converge si y sólo si x > 0.

Primero, notemos que si x − 1 < 0 ⇔ x < 1, el integrando f (t) = tx−1 e−t no está acotado
cuando t → 0+ 1 . En efecto, para x < 1:

lı́m+ f (t) = lı́m+ [tx−1 e−t ] = lı́m+ e(x−1) ln(t) e−t = +∞,
 
t→0 t→0 t→0

pues

lı́m ln(t) = −∞ ⇒ lı́m+ (x − 1) ln(t) = +∞ ⇒ lı́m+ e(x−1) ln(t) = +∞

t→0+ t→0 t→0

y
lı́m e−t = 1.
t→0+

Entonces, la integral (1) corresponde a una integral de tercera especie para ciertos valores
de x, ası́ que (1) converge si y solamente si
ˆ 1 ˆ +∞
x−1 −t
t e dt y tx−1 e−t dt
0 1

convergen.
Estudiemos primero la convergencia de la primera integral. Sean f (t) = tx−1 e−t y g(t) =
1
t1−x
funciones continuas y no negativas en ]0, 1], tenemos que

f (t) tx−1 e−t

lı́m+ = lı́m+ 1 = lı́m+ [tx−1 t1−x e−t ] = lı́m+ e−t = 1 > 0.
t→0 g(t) t→0 t1−x
t→0 t→0

´1 ´1
Por lo tanto, la convergencia de 0
f (t) dt depende de la convergencia de 0
g(t) dt. Por
definición, ˆ 1 ˆ 1
1 1
dt = lı́m+ .
0 t1−x a→0 a t1−x
Si x = 0, entonces
ˆ 1 ˆ 1
1 1
dt = lı́m+ = lı́m+ [ln |t|]1a = lı́m+ [ln(1) − ln(a)] = +∞.
0 t a→0 a t a→0 a→0

1
Una visión gráfica se encuentra alojada en el siguiente archivo Geogebra.
1
 Si x ̸= 0, entonces
ˆ 1  x 1
1 ax 1 ex ln(a)
     1
1 t , x>0
dt = lı́m+ = lı́m+ − = lı́m+ − = x .
0 t
1−x a→0 x a a→0 x x a→0 x x −∞, x < 0
Ası́, por el criterio de comparación en el lı́mite,
ˆ 1 ˆ 1
1
1−x
dt converge ssi x > 0 ⇒ tx−1 e−t dt converge ssi x > 0.
0 t 0
´ +∞
Por último, estudiemos la convergencia de 1 f (t) dt para x > 0. No analicemos para
´1 ´ +∞
x ≤ 0, pues en esos casos 0 g(t) dt diverge y, en consecuencia, también 1 f (t) dt.
Sea h(t) = t12 una función continua y no negativa en [1, +∞[. Calculemos
f (t) tx−1 e−t x+1 −t tx+1
lı́m = lı́m 1 = lı́m t e = lı́m (2)
x→+∞ h(t) x→+∞ t→+∞ t→+∞ et
t2
e(x+1) ln(t)
= lı́m (3)
t→+∞ et
(x+1) ln(t)−t
= lı́m e , (4)
t→+∞
pero   
ln(t)
lı́m [(x + 1) ln(t) − t] = lı́m t (x + 1) −1 .
t→+∞ t→+∞ t
Entonces, dado que
  
ln(t)  ∞  L′ H ôpital 1 ln(t)
lı́m = lı́m = 0 ⇒ lı́m t (x + 1) −1 = −∞
t→+∞ t ∞ t→+∞ t t→+∞ t
⇒ lı́m e(x+1) ln(t)−t = 0.
t→+∞

Luego,
f (t) tx−1 e−t
lı́m = lı́m 1 = 0.
t→+∞ g(t) x→+∞
t2
Cuando este lı́mite es cero, se verifica lo siguiente: 2
ˆ +∞ ˆ +∞
g(t) dt converge ⇒ f (t) dt converge.
1 1

Entonces, como
ˆ +∞ ˆ +∞
1
dt converge ⇒ tx−1 e−t dt converge para x > 0.
1 t2 1

Por lo tanto, ˆ ˆ ˆ
+∞ 1 +∞
x−1 −t x−1 −t
t e dt = t e dt + tx−1 e−t dt
0 0 1
converge si y solamente si x > 0.

Lo anterior motiva la siguiente definición.

2
En general, sean f, g : [a, +∞[−→ R dos funciones continuas y no negativas tal que lı́m fg(x) (x)
= 0, si
t→+∞
´ +∞ ´ +∞
a
g(x) dx converge, entonces a f (x) dx también lo hace. El recı́proco no es válido en general.
2
Definición 1. La función Gamma se define por Γ : ]0, +∞[−→ R,
ˆ +∞
Γ(x) = tx−1 e−t dt
0

Ejemplo 1. Determine el valor de Γ(1) y Γ(2).

Solución: Por definición,

ˆ +∞ ˆ b
−t
e−t dt = lı́m −e−b + 1 = 1,
 
Γ(1) = e dt = lı́m
0 b→+∞ 0 b→+∞
ˆ +∞ ˆ b
te−t dt = lı́m te−t dt = lı́m 1 − (b + 1)e−b = 1,
 
Γ(2) =
0 b→+∞ 0 b→+∞

donde
b+1 L′ H ôpital 1
lı́m (b + 1)e−b = lı́m = lı́m = 0.
b→+∞ b→+∞ eb b→+∞ eb

Proposición 1. Para todo x > 0, se verifica que

1.
Γ(x + 1) = xΓ(x) (5)

2.
∀n ∈ N : Γ(n) = (n − 1)! (6)

Demostración.

1. Integrando por partes con

u = e−t ⇒ du = −e−t dt,

1
dv = tx−1 dt ⇒ v = tx ,
x

tenemos que ˆ ˆ
x−1 −t tx e−t 1
∀x ∈ ]0, +∞[: t e dt = + tx e−t dt.
x x
Ahora, de manera análoga al cálculo del lı́mite (2),

tx e−t tx L′ H ôpital xtx−1 tx−1

lı́m = lı́m = lı́m = lı́m = 0.
t→+∞ x t→+∞ xet t→+∞ xet t→+∞ et

Ası́,
ˆ +∞
+∞ ˆ ˆ
x−1 −t tx e−t  1 +∞ x −t 1 +∞ x −t
Γ(x) = t e dt = + t e dt = t e dt = xΓ(x + 1).
0 x 0 x 0 x 0

Por lo tanto,
Γ(x + 1) = xΓ(x).
3
 2. Procedemos por inducción.
Para n = 1, se verifica la igualdad:

Γ(1) = 1 = (1 − 1)! = 0!

Si suponemos que para n ∈ N, se cumple la relación (6), probemos que también se

cumple para n + 1 ∈ N, es decir,

Γ(n + 1) = (n + 1 − 1)! = n!

Usando la relación (5), tenemos que

Γ(n + 1) = nΓ(n) = n(n − 1)! = n!

Por lo tanto, hemos verificado que

∀n ∈ N : Γ(n) = (n − 1)!

Observación: Debido a que podemos obtener los factoriales de los números naturales a
partir de la función Gamma, ésta

se entiende como una generalización de dichos factoriales.
Por ejemplo, determinemos Γ 21 :
  ˆ +∞
1 1
Γ = t− 2 e−t dt.
2 0

Haciendo el cambio de variable

1 1 1 1
u = t 2 ⇒ du = t− 2 dt ⇒ dt = 2t 2 du = 2udu,
2
en la integral definida
ˆ b ˆ √
b ˆ √
b
− 12 −u2 2
t e−t dt = u−1 e (2udu) = 2 e−u du, b > 0.
0 0 0

Luego,
  ˆ +∞ ˆ b
1 − 12 −t 1
Γ = t e dt = lı́m t− 2 e−t dt
2 0 b→+∞ 0
ˆ √b
2
= lı́m 2 e−u du
b→+∞
ˆ +∞ 0
2
=2 e−u du.
0

Se puede demostrar que ˆ √

+∞
−u2 π
e du = .
0 2
4
 Por lo tanto,
√
 
1
Γ = π.
2
√
Luego, podemos decir que el factorial de 1/2 es π.

Por último, se representa en la figura 1 una gráfica de la función Gamma en todo el

eje real. Note que la definición planteada por medio de la integral, conocida también como
integral de Euler de segundo orden, solo considera los números reales positivo. Lo cierto es
que la definición se puede extender a los reales negativos, pero ésto está fuera del alcance de
un curso de Cálculo II. Como dato, para tener una comprensión absoluta de esta función es
necesario ciertos conocimientos del cálculo complejo, es decir, que la función Gamma no solo
se aplica a los números reales, sino que también a los complejos.

Figura 1: Gráfica de la función Gamma.