1

INTEGRALES EULERIANAS



FUNCIONES GAMMA Y BETA


Introduccin

Presentamos un aporte ms del Clculo Integral, esta vez en el campo de la
Estadstica. Se trata de las funciones Gamma y Beta, de suma importancia en
el tema de las probabilidades: La Distribucin de Probabilidad Beta y La
Distribucin de Probabilidad Gamma.


Historia

Adrian Mara Legendre (1752-1833) propuso, en 1814, llamar Funcin Gamma
y representar con la letra correspondiente, G, a una funcin que haba sido
introducida por primera vez en una carta que escribi Leonard Euler (1707-
1783) a Christian Goldbach (1690-1764) en el ao 1729. De esta funcin,
aunque fue escrita inicialmente en forma infinitesimal, como el lmite de una
expresin discreta, ms tarde se obtuvieron expresiones integrales. La primera
de estas integrales fue ya deducida por el mismo Euler. (Tomado de
http://personales.ya.com/casanchi/mat/funciongamma01.htm)


Objetivo
Resolver integrales impropias a travs de las funciones Eulerianas Gamma,
Beta y de sus propiedades, lo cual permitir interpretar el resultado como la
probabilidad de eventos con variables aleatorias que tienen distribucin de
Probabilidad Gamma y Beta.

Sugerencia

Para el logro del objetivo es importante tener la habilidad en resolver integrales
impropias, as como tambin el clculo de lmites que requieren de la regla de
Lhopital.

Palabras claves: Integrales impropias, Lmites y Regla de Lhopital.


Definicin

La funcin Gamma, denotada por ( ) n se define como:

( )

+

=
0
1
dx e x n
x n

y converge para 0 > n
2

TEOREMA 1.
Frmula de recurrencia para Gamma o Ecuacin Funcional de Gamma.

0 Si > n , entonces ( ) ( ) n n n = + 1

Demostracin

( )
( ) dx e x n
dx e x n
x
b
n
b
x n

= +
= +
0
0
lim 1
manera igual de o 1 que tiene se gamma funcin de definicin Por

Sean
dx e dv e v
dx nx du x u
x x
n n

= =
= =

y
1

As
( ) dx e x n
x
b
n
b

= +
0
lim 1 =
)
`

+
(

+
b
x n
b
n
b
dx e x n
e
b
0
1
lim
Como cada uno de los lmites en cuestin existen entonces:

( ) dx e x n
x
b
n
b

= +
0
lim 1 =

+ +
+
(

b
x n
b
b
n
b
dx e x n
e
b
0
1
lim lim =

+
b
x n
b
dx e x n
0
1
lim
Por lo tanto
( )

+

= +
0
1
1 dx e x n n
x n
= ( ) n n

Si en la expresin anterior se sustituye a n por 1 n , se obtiene que:


( ) ( ) ( ) ( )( ) ( ) ( )( )( ) ( ) 3 3 2 1 2 2 1 1 1 = = = n n n n n n n n n n


Si la idea anterior se repite de manera sucesiva, se encuentra que

( ) n ( )( )( )( ) ( ) 1 .......... 4 3 2 1 = n n n n

De lo anterior se desprende que:
( ) ( )( )( ) ( ) 1 ...... 3 2 1 1 = + n n n n n

Si 1 = n se obtiene que ( ) 1 1 = , esto a partir de la definicin de ) (n

3
( )
( )
[ ] 1 1 lim
lim lim 1
0 con lim 1
0
b
0
b
0
0
0
0
= + =
(

= =
= =

b
b
b
x
b
x
b
x
b
x
e
e dx e
x dx e x dx e x

Por lo tanto
( ) 1 1 =
As
( ) ( )( )( ) 1 .... .......... 3 2 1 1 = + n n n n n


Definicin de Factorial

Sea N n . El Factorial de n , denotado por ! n se define como
( )( )( ) 1 .... .......... 3 2 1 ! = n n n n n

De la Definicin anterior se tiene que

( ) ! 1 n n = +

TEOREMA 2.

La funcin Gamma suele llamarse FUNCIN FACTORIAL puesto que, si
0 > n entonces ( ) ! 1 n n = + o se puede escribir tambin como:

! ) 1 (
0
n dx e x n
x n
= = +

A continuacin se muestran dos formas para lograr el siguiente resultado

( ) =
2
1


Primera forma

Usando la frmula de complementariedad para la funcin Gamma, la
cual est dada por

Basta hacer
2
1
= x

( ) ( ) ( ) [ ]

= = =
2
2
1
2
1
2
1
2
sen


4
Es decir:

( ) =
2
1



Segunda forma

De la definicin de la funcin Gamma se tiene que

+

= |

\
|

0
2 / 1
2
1
dx e x
x
.
Haciendo

2
u x = ,
se tiene
= = =
|

\
|

+

0 0
1
2 2
2 2
2
1
du e du u e u
u u


Lo anterior se debe a que

2
0
2

=

du e
u
(Ver ejercicio 7 parte a.)




EJERCICIOS

1. ! 6
0
6
=

dx e x
x



2.

0
2 3
dx e x
x


Solucin:
Supongamos que:
2
2 donde en 2
dy
dx dx dy x y = = =
Luego se cambian los lmites de la integral as:



y x
y x
, Si
0 , 0 Si
, y la integral queda de la forma:

+

= =
|

\
|
0
4
3
0
4
3
2
! 3
2
1
2
2
dy e y
dy
e
y y y


5
3.

0
3
dx e x
x


Solucin:
Supongamos que:
3
1
3
donde en y x x y = = y
6
1
2
1
y x = . Entonces
3
2
3y
dy
dx =
Teniendo en cuenta que




x cuando
x cuando
y
0 0 y


entonces

3 2
1
3
1
3
1
3
0
2
1
0
3
2
6
1

= |

\
|
= ==

+

dy e y
y
dy
e y
y y


4. 0 con
0
2
2
>

a dx e x
ax

5. 0 con
0
2
3
>

a dx e x
ax



6. dx
x

1
0
ln
1


Solucin:
Reescribiendo la ecuacin se tiene que:
( )

1
0
2 / 1
ln x
dx

Supongamos que: dx xdy dx
x
dy x y = = = luego;
1
ln
Luego se cambian los lmites de la integral as:

0 , 1 Si
, 0 Si

+
y x
y x


Recordar: w e w z
z
= = entonces ln
Entonces

+

+

= |

\
|
=
=
=
0
1
2
1
0
2 / 1
0
2 / 1
2
1
dy e y
dy e y dy
y
e
e x
y
y
y
y


7. Probar que:
6
a.
2
0
2
=

dx e
x

Sea
dx
y
dy
xdx dy x y x y = = = =
2 / 1
2 / 1 2
2
entonces 2 luego; entonces
Luego se cambian los lmites de la integral as:




y x
y x
, Si
0 , 0 Si


As
2
1
2
1
0
2 / 1
=

+

dy e y
y

Luego

2
0
2
=

dx e
x


b.
( )
0 con
0
1
>

+

a
a
x
dt e t
x
at x


Supongamos que: dt
a
dy
dt a dy
a
y
at y = = = = mejor o luego; t ,
Luego se cambian los lmites de la integral as:




y t
y t
, Si
0 , 0 Si


Ahora:

\
|
0
1
1
0
1
a
dy
e
a
y
a
dy
e
a
y
y
x
x
y
x


( )

+ +

= =
0 0
1
1
1
1
x
y x
x
y
x
x
a
x
dy e y
a a
dy
e
a
y



8.

0
4
2
3 dz
z


Como 0 ,
ln
> = a e a
a u u
, entonces


( )

+

=
0
3 ln 4
0
3 ln 4
2 2
dz e dz e
z z


Haciendo:
7
( )
2
3 ln 4 z y = , se tiene que
( )
2
3 ln 4
z
y
= y as
( ) 3 ln 4
y
z = .
Entonces
( )z
dy
dz
3 ln 8
=
Ahora:




y
y
, z Si
0 , 0 z Si


Luego la integral original se convierte en


( )

+ +

=
0 0
2 / 1
2 / 1
2 / 1
2 / 1
) 3 (ln 4
1
3 ln 2
3 ln 8
dy e y
y
dy
e
y y
( )
2
1
) 3 (ln 4
1
2 / 1
=
2 / 1
) 3 (ln 4

=


FUNCIN BETA

La llamada Funcin Beta de Euler, es una expresin integral de la forma

=
1
0
1 1
) 1 ( ) , ( dx x x n m
n m


y tiene, entre otras particularidades, la de estar relacionada con la funcin
gamma de una forma que resulta extremadamente til a la hora de demostrar
algunas de sus propiedades bsicas.

Veamos la demostracin de la relacin

) (
) ( ) (
) , (
n m
n m
n m
+

=
En efecto:


Haciendo los cambios t y x = + y s x = , se tiene:

Si hacemos el cambio
u t s = ,
entonces:
y s
s
t
s
u
+
= =
Si 0 , 0 = = u entonces s
8
Cuando 1 , u entonces s


As se tiene que:

=
1
0
1 1 1
0
) 1 ( ) ( ) ( ) ( dt du t u t tu e n m
n n m t

+

=
1
0
1 1 1
0
) 1 ( ) ( dt du u u t e
n m n m t


+

=
1
0
1 1 1
0
) 1 ( ) ( du u u dt t e
n m n m t
) , ( ) ( n m n m + =

y, en definitiva:
) (
) ( ) (
) , (
n m
n m
n m
+

=





EJERCICIOS

1. Probar que ) , ( ) , ( m n n m = .
Sugerencia: Haga x u =1 en la definicin de la funcin Beta

2. Probar que ( )


=
2
0
1 2 1 2
cos 2 ,

d sen n m
n m


Solucin:
Sabemos que ( ) ( )

=
1
0
1 1
1 , dx x x n m B
n m

Sea d sen dx sen x cos 2 entonces
2
= =
Si 0 ; 0 = = x y
2
; 1

= = x

( ) ( ) ( )

d sen sen sen n m B

n m
cos 2 1 ,
2
0
1
2
1
2

=
2
0
2 2 2 2
cos cos 2

d sen sen
n m


A partir de la expresin anterior, se puede decir finalmente que:

( )


=
2
0
1 2 1 2
cos 2 ,

d sen n m B
n m


( ) ( )
( ) n m
n m
d sen
n m
+

=

2
cos
2
0
1 2 1 2

9
3. Utilice la expresin del ejercicio anterior, para calcular:

( ) 6 2
2
7
2
5
cos cos
2
0
1
2
7
* 2 1
2
5
* 2
2
0
6 4

\
|
|

\
|

= =



d sen d sen .

Como


4
3
)
2
1
(
2
1
2
3
2
5
= = |

\
|


8
15
)
2
1
(
2
1
2
3
2
5
2
7
= = |

\
|

( ) 120 ! 5 6 = =

Entonces

) 240 )( 32 (
45
cos
2
0
6 4

d sen



Evaluar:

4.

2
0
4 5
cos

d sen
5.

2
0
7 5
cos

d sen
6.

2
0
5 4
cos

d sen
7.

2
0
2
2 x
dx x


Solucin de 7.

( )

\
|
=
2
0
2
1
2
2
0
2
1
2
2
1
2
2
2 dx
x
x dx x x

Si
2
x
y = entonces dy dx 2 =


Luego se cambian los lmites de la integral as:


1 , 2 Si
0 , 0 Si


y x
y x


Por lo tanto la integral queda
10

( ) ( ) ( )


=
2
0
1
0
2 / 1 2
2
1
2
2 1 2
2
2
2 dy y y dx x x ( )

=
1
0
2
1
2
1 2 4 dy y y
( )

=
1
0
1
2
1
1 3
1 2 4 dy y y ( )
( ) ( )
( )
2
7
2
1
3
2 4
2
1
, 3 2 4

= = B

15
2 64
8
15
! 2
2 4 = =

8.

2
0
3 3 2
8 dx x x

9. ( )

a
dy y a y
0
2 / 1
2 2 4


Solucin de 9.

( )

a
dy y a y
0
2 / 1
2 2 4

|
|

\
|
=
a
a
y
a y
0
2 / 1
2
2
2 4
1
|
|

\
|
=
a
dy
a
y
y a
0
2 / 1
2
2
4
1
Hagamos
2
2
a
y
x = . Entonces:

( )
dy y dx a
y x a y x a
2
luego
2
2 / 1
2 2 2
=
= =


1 , y Si
0 , 0 y Si


x a
x

Luego:
( ) ( ) dx
x
a
x x a a dy
a
y
y a
a
2 / 1
2 / 1
1
0
2
2
0
2 / 1
2
2
4
2
1 1 =
|
|

\
|

( ) ( ) dx x x
a
2 / 1
1
0
2 / 3
6
1
2
=

Como:
( ) ( ) ( ) ( ) dx x x
a
dx x x
a
1
2
3
1
0
1
2
5
6
2 / 1
1
0
2 / 3
6
1
2
1
2

=

.
Entonces:
( ) ( )
( ) 4
2
3
2
5
2 2
3
,
2
5
2
1
2
1
6 6
1
2
3
1
0
1
2
5
6
0
2 / 1
2
2
4

\
|
|

\
|

= |

\
|
= =
|
|

\
|

a
B
a
dx x x
a
dy
a
y
y a
a

11
10.

1
0
ln dx x

Probar que:

1.

> =
0
0
2
1
2
x
x
dt e
xt



2.

> =
0
0
2
1
2
x
x
dt te
xt


3.
( )
+
+

\
| +
=
0
/ 1
1 1
n
m
na
dx e x
n m
ax m
n


4.

= 2
2 /
2
dx e
x


5.

= = 1 ) 1 ( dx e
x
e x


6.
( )

=
|

\
|

1
0
1
1
ln n dt
t
n


7. Utilizando el ejercicio 2, de la pgina 8, calcular:

d sen
4
2 /
0
5
cos

2 /
0
7 4
cos

d sen

d sen
5
2 /
0
7
cos

d sen
6
2 /
0
8
cos

2 /
0
tan

|
|

\
|
+
2 /
0
cot
1
tan
1

d sen cos
2 /
0
3

d sen

2 /
0
8


8. 1 , ,
1
ln
1
0
> |

\
|

m p dx
x
x
p
m


9.

a
y a
dy
0 4 4


12
10. A partir de la expresin:
( ) ( )

=
1
0
1 1
1 , dx x x n m B
n m
,

con 0 n , 0 > > m , y haciendo:
y
y
x
+
=
1

probar que:
( )
( )
dy
y
y
n m B
n m
m

+
+

+
=
0
1
1
,


Miscelnea de ejercicios

Emplee la definicin y las propiedades de las Funciones Beta y Gamma (segn
el caso) para evaluar las siguientes integrales:


1.

0
4 4
dx e x
x


2.

0
3 5
dx e x
x


3.

0
2
2
dx e x
ax


4.

0
2 3
5
dy e y
y



5.

0
2
dx e
x


6.

0
3
dx e
x


7.

0
dx e
n
x


8.

1
0
4 2
) (ln dx x x


9.

\
|
1
0
1
ln dx
x


10.

+

0
dt
t
e
kt


11. dx x

1
0
4
ln
12. ( )

1
0
3 2
1 dx x x

13. ( )

4
0
2 / 5 2 / 3
4 du u u

14.

1
0
1
dx
x
x


15. ( )

2
0
2 / 3
2
4 dx x

16.

3
0 2
3 x x
dx






Bibliografa
13

http://personales.ya.com/casanchi/mat/funciongamma01.htm

http://personal.telefonica.terra.es/web/imm/Imagenes/2ADE/MatIII/ejercicios/int
_eulerianas.pdf

http://www.blojer.com/labiblio/archivo/ingenieria/telecomunicaciones/calculo/alg
unos%20apuntes%20del%20primer%20cuatrimestre/INTEGRALES_EULERIA
NAS.pdf

http://www.dma.fi.upm.es/docencia/cursosanteriores/05-
06/primerciclo/analisis/Problemas/1eulerianas.pdf

http://www.satd.uma.es/a_valverde/Calculo/apuntes/TemaC6.pdf