LAS FUNCIONES GAMA Y BETA

Gladys Bobadilla A. Noviembre 2009

Las funciones gama y beta son dos funciones importantes en fsica, probabilidad y estadstica, entre
algunas de sus aplicaciones, que est an denidas mediante integrales impropias . En esta gua se
deducen algunas propiedades b asicas de tales funciones y, en particular, se deduce el valor de la
integral de Gauss:
_
+

e
x
2
dx =

La funcion Gama
Dado p > 0, no necesariamente un entero, denimos la funci on llamada Gama, mediante la
integral
(p) =
_
+
0
x
p1
e
x
dx.
Esta funci on cumple las siguientes propiedades:
1.
(p) est a bien denida para todo p > 0.(i.e.(p) R).
Demostracion:
Si p > 1, la integral
_
1
0
x
p1
e
x
dx es una integral de Riemann, por tanto , un n umero
real. Se debe analizar
_
+
1
x
p1
e
x
dx..
Usando criterio de comparaci on al lmite con g(x) =
1
x
2
, tenemos:
f(x)
g(x)
=
x
p1
e
x
x
2
= e
x
x
p+1
lm
x+
f(x)
g(x)
= lm
n+
e
x
x
p+1
= 0
Como la integral de g(x) converge, la integral de f(x) tambien converge.
Si 0 < p < 1, la integral es impropia en x = 0. Por tanto, se debe analizar la convergen-
cia de I
1
=
_
1
0
x
p1
e
x
dx.
x [0, 1] =0 < e
x
x
p1
<
1
x
1p
.
Por otra parte,
0 < p < 1 = 0 < 1 p < 1.
Por tanto,
_
1
0
1
x
1p
dx es convergente, lo que implica la convergencia de la integral I
1
.
2. (1) = 1 .
Demostracion:
(1) =
_
+
0
x
11
e
x
dx =
_
+
0
e
x
dx = 1.
3. Si p > 1, (p) = (p 1)(p 1).
1
Demostracion:
(p) =
_
+
0
x
p1
e
x
dx
Integrando por partes, tenemos
_
f(x) = e
x
=f

(x) = e
x
g

(x) = =g(x) = e
x
Por tanto,
I(p) = x
p1
e
x
+
_
(p 1)x
p2
e
x
dx
(p) = x
p1
e
x
|
+
0
. .
A
+
_
+
0
(p 1)x
p2
e
x
dx
La expresion A se anula. As, nos queda:
(p) = (p 1)(p 1).
4. Si p N, entonces
(p) = (p 1)!.
5. Si p = [p] + r con [p] es la parte entera de p y r (0, 1), entonces
(p) = (p 1)(p 2)...(p n)(r).
Esto nos dice que basta tabularla en (0, 1).
6. Mediante el cambio de variable x = y
2
se tiene
(p) = 2
_
+
0
y
2p1
e
y
2
dy.
A partir de lo cual podemos deducir que:

_
1
2
_
= 2
_
+
0
y
0
e
y
2
dy = 2
_
+
0
e
x
2
dx. (1)
1
2
(
n + 1
2
) =
_
+
0
x
n
e
x
2
dx.
7. Si n N, se tiene
(n/2) = 2
_
+
0
y
n1
e
y
2
dy.
8. Si n N, se tiene
(n/2) = (n 2)
_
+
0
y
n3
e
y
2
dy.
La funcion Beta
Dado p > 0 y q > 0 no necesariamente enteros, denimos la funci on llamada Beta, mediante la
integral
(p, q) =
_
1
0
x
p1
(1 x)
q1
dx.
La cual cumple las siguientes propiedades:
1. (p, q) est a bien denida para todo p > 0, q > (i.e. (p, q) R)
2
Demostracion: Si p > 1 y q > 1, la integral es un n umero real.
si 0 < p < 1 y 0 < q < 1 , entonces la integral es impropia es x = 0 y x = 1.
Convergencia de la integral (p, q) =
_

0
+
x
p1
(1 x)
q1
dx.
Si f(x) = x
p1
(1 x)
q1
comparamos con g(x) =
1
x
1p
cuya integral es convergente.
Convergencia de la integral (p, q) =
_
1

x
p1
(1 x)
q1
dx.
Si f(x) = x
p1
(1 x)
q1
comparamos con g(x) =
1
(1 x)
1q
cuya integral es conver-
gente.
2.
(p, 1) =
_
1
0
x
p1
(1 x)
11
dx =
_
1
0
x
p1
dx =
1
p
.
3.
(p, q) = (q, p) (2)
Demostracion: Usando el cambio de variable:
u = 1 x = du = dx (3)
Se tiene:
(q, p) =
_
0
1
(1 u)
p1
u
q1
(du) =
_
1
0
(1 u)
p1
u
q1
du = (q, p) (4)
4.
(p, q) =
q 1
p
(p + 1, q 1) (5)
Demostracion: Integrando por partes la expresion que dene (p, q),
_
_
_
du = x
p1
dx = u =
x
p
p
v = (1 x)
q1
= dv = (q 1)(1 x)
q2
entonces, considerando que q > 1, nos queda:
(p, q) =
x
p
(1 x)
q1
p
1
0
+
q 1
p
_
1
0
x
p
(1 x)
q2
dx = 0 +
q 1
p
(p + 1, q 1)
(6)
5.
(p, q) =
(q 1)!
p(p + 1)...(p + q 1)
q N. (7)
Usando la propiedad (5),
(p + 1, q 1) =
q 2
p + 1
(p + 2, q 2).
3
(p, q) =
q 1
p
q 2
p + 1
q 3
p + 2
(p + 3, q 3)
Como q N,
=
q 1
p
q 2
p + 1
q 3
p + 2
. . .
q (q 1)
p + q
(p + q + 1, 1) =
(q 1)!
(p + q)(p + q 1) . . . p

1
p + q + 1
=
(q 1)!
(p + q + 1)(p + q)(p + q 1) . . . p
Amplicando por (p 1)!, nos queda
=
(q 1)!(p,1)!
(p + q + 1)!
=
(q)(p)
(p + q)
(8)
6. Haciendo el cambio x = sen
2
(t), se tiene
(p, q) = 2
_
/2
0
sin
2p1
(t) cos
2q1
(t)dt.
7.
(1/2, 1/2) = .
8. Usando la ecuaci on (1) , tenemos:
_
+
0
e
x
2
dx =
1
2

_
1
2
_
(9)
Por otra parte, sabemos que
(1/2, 1/2) =
(1/2)(1/2)
(1)
=
Lo que implica,
(1/2) =

= 2
_
+
0
e
x
2
dx.
Algunos ejemplos simples:
1.
_
3
2
_
=
_
1 +
1
2
_
=
1
2

.
2.
_
5
2
_
=
3
2

_
3
2
_
=
3
2

1
2

.
3.
_
7
2
_
=
7
2

3
2

1
2

.
4. Que es
_
7
2
_
?

_
7
2
_
=
_
+
0
x
5/2
e
x
dx =
5 3
2
3

.
4