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 estan definidas mediante integrales impropias . En esta gua se
deducen algunas propiedades basicas de tales funciones y, en particular, se deduce el valor de la
integral de Gauss:
Z +
2
ex dx =

La funcion Gama
Dado p > 0, no necesariamente un entero, definimos la funcion llamada Gama, mediante la
integral Z +
(p) = xp1 ex dx.
0
Esta funcion cumple las siguientes propiedades:
1.
(p) esta bien definida para todo p > 0.(i.e.(p) R).

Demostracion:
R1
Si p > 1, la integral 0 xp1 ex dx es una integral de Riemann, por tanto , un numero
R +
real. Se debe analizar 1 xp1 ex dx..
1
Usando criterio de comparacion al lmite con g(x) = 2 , tenemos:
x
f (x) xp1 ex
= = ex xp+1
g(x) x2
f (x)
lm = lm ex xp+1 = 0
x+ g(x) n+

Como la integral de g(x) converge, la integral de f (x) tambien converge.

Si 0 < p < 1,R la integral es impropia en x = 0. Por tanto, se debe analizar la convergen-
1
cia de I1 = 0 xp1 ex dx.
1
x [0, 1] = 0 < ex xp1 < .
x1p

Por otra parte,

0 < p < 1 = 0 < 1 p < 1.

Por tanto,
Z 1
1
dx es convergente, lo que implica la convergencia de la integral I1 .
0 x1p
2. (1) = 1 .

Demostracion:
Z + Z +
(1) = x11 ex dx = ex dx = 1.
0 0

3. Si p > 1, (p) = (p 1)(p 1).

1
 Demostracion:
Z +
(p) = xp1 ex dx
0

Integrando por partes, tenemos

(
f (x) = ex = f (x) = ex
g (x) = = g(x) = ex

Por tanto,
Z
I(p) = xp1 ex + (p 1)xp2 ex dx
Z +
(p) = xp1 ex |+ + (p 1)xp2 ex dx
| {z 0 } 0
A

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
Z +
2
(p) = 2 y 2p1 ey dy.
0

A partir de lo cual podemos deducir que:

  Z + Z +
1 2 2
=2 y 0 ey dy = 2 ex dx. (1)
2 0 0
Z +
1 n+1 2
( )= xn ex dx.
2 2 0

7. Si n N, se tiene Z +
2
(n/2) = 2 y n1 ey dy.
0

8. Si n N, se tiene Z +
2
(n/2) = (n 2) y n3 ey dy.
0

La funcion Beta
Dado p > 0 y q > 0 no necesariamente enteros, definimos la funcion llamada Beta, mediante la
integral Z 1
(p, q) = xp1 (1 x)q1 dx.
0
La cual cumple las siguientes propiedades:
1. (p, q) esta bien definida para todo p > 0, q > (i.e. (p, q) R)

2
 Demostracion: Si p > 1 y q > 1, la integral es un numero real.
si 0 < p < 1 y 0 < q < 1 , entonces la integral es impropia es x = 0 y x = 1.
R
Convergencia de la integral (p, q) = 0+ xp1 (1 x)q1 dx.
1
Si f (x) = xp1 (1 x)q1 comparamos con g(x) = 1p cuya integral es convergente.
x
R 1
Convergencia de la integral (p, q) = xp1 (1 x)q1 dx.

1
Si f (x) = xp1 (1 x)q1 comparamos con g(x) = cuya integral es conver-
(1 x)1q
gente.
2. Z Z
1 1
p1 1
(p, 1) = x (1 x) 11
dx = xp1 dx = .
0 0 p
3.
(p, q) = (q, p) (2)

Demostracion: Usando el cambio de variable:

u = 1 x = du = dx (3)

Se tiene:
Z 0 Z 1
p1 q1
(q, p) = (1 u) u (du) = (1 u)p1 uq1 du = (q, p) (4)
1 0

4.
q1
(p, q) = (p + 1, q 1) (5)
p

Demostracion: Integrando por partes la expresion que define (p, q),

du = xp1 dx xp
= u =
p
v = (1 x)q1 = dv = (q 1)(1 x)q2

entonces, considerando que q > 1, nos queda:

1 Z 1
xp (1 x)q1 q1 q1
(p, q) = + xp (1 x)q2 dx = 0 + (p + 1, q 1) (6)
p 0 p 0 p

5.
(q 1)!
(p, q) = q N. (7)
p(p + 1)...(p + q 1)

Usando la propiedad (5),

q2
(p + 1, q 1) = (p + 2, q 2).
p+1

3
 q1q2q3
(p, q) = (p + 3, q 3)
p p+1p+2

Como q N,

q1q2q3 q (q 1) (q 1)! 1
= ... (p + q + 1, 1) =
p p+1p+2 p+q (p + q)(p + q 1) . . . p p + q + 1
(q 1)!
=
(p + q + 1)(p + q)(p + q 1) . . . p

Amplificando por (p 1)!, nos queda

(q 1)!(p,1)! (q)(p)
= =
(p + q + 1)! (p + q)
(8)

6. Haciendo el cambio x = sen2 (t), se tiene

Z /2
(p, q) = 2 sin2p1 (t) cos2q1 (t)dt.
0

7.
(1/2, 1/2) = .

8. Usando la ecuacion (1) , tenemos:

Z +  
x2 1 1
e dx = (9)
0 2 2
Por otra parte, sabemos que

(1/2)(1/2)
(1/2, 1/2) = =
(1)

Lo que implica, Z
+
2
(1/2) = = 2 ex dx.
0

Algunos ejemplos simples:

   
3 1 1
1. = 1+ = .
2 2 2
   
5 3 3 3 1
2. = = .
2 2 2 2 2
 
7 7 3 1
3. = .
2 2 2 2
 
7
4. Que es ?
2
  Z +
7 5 3
= x5/2 ex dx = 3 .
2 0 2