Kihovis Manoly Tejeda Pujols

kihovis@hotmail.com
Funciones Eulerianas
Revisión marzo 2021

Funciones Gamma y Beta

La Función Gamma. Integral Euleriana de segunda especie.

La función Gamma fue definida por Euler (1707 – 1783), mediante el producto infinito:
z
 1
1 + 



( z) =
1  n
z  z
n =1 1 + 
 n
La función converge para cada z finito, excepto para z = 0, −1, −2, −3, −4,...

El producto anterior puede ser definido por

+

( z) =
 0
t z −1e − t dt

La cual existe cuando la parte real de Re ( z )  0 , por lo cual, en el contexto que nos
aborda escribiremos
+

( x) =
 0
t x −1e − t dt , x  0

z −1 −t
Se tiene que t e → 0 cuando x → + , de modo que no tenemos inconvenientes
en el límite superior.
Es fácil ver que:
+


+
 (1) = e − t dt = e − t  =1
0
0

1
Se estable una regla de recurrencia dada por
+

 ( x + 1) =
 0
t x e − t dt = x ( x )

x−1
Vemos que al considerar u = t , du = xt dt y con dv = et → v = −et
x

+ +

 ( x + 1) =

0
t x e −t dt = −t ex − t +
0
+x
 0
t x −1e −t dt = 0 + x ( x )

Por recurrencia es fácil ver que

 ( x + 1) = x ( x )
= x ( x − 1)  ( x − 1)
= x ( x − 1)( x − 2 )  ( x − 2 )
.
.
.
= x ( x − 1)( x − 2 )( x − 3) ...1. (1)

Lo cual nos lleva a

 ( x + 1) = x!

Algo que probamos de inmediato es que 0! =  (1) = 1.

Ahora abordemos
+ +

 
  
 (1 2 ) = t −1 2e − t dt = 2 e − u du = 2  = 
2

 2 
0 0

Donde hemos considerado u = t ,

2

+



e − u du =
2
Y se conoce como integral de Gauss.
2
0

Con el resultado anterior podemos extender el concepto de función factorial a los

números reales no naturales.
Dejaremos como sugerencia probar que la función Gamma no está definida para 0 y
los números enteros negativos.

2
Usando

 (1 2 ) = 

Y la ecuación  ( x + 1) = x ( x )

 1  1  1
 x +  =  x −  x − 
 2  2  2
 1  1  3  3
  x +  =  x −  x −    x − 
 2  2  2  2
...
 1   2 x − 1  2 x − 3  1  1 
 x +  =    ...   
 2   2  2  2  2 
Lo que nos lleva a:

1.3.5...( 2 x − 1)
 ( x + 1) = 
2x
Si x es un número par, podríamos probar que:

 1  2x − 3 2x − 5 3 1
 x −  = . ... . . 
 2 2 2 2 2

Usando el siguiente resultado conocido

+


v x −1 
dv =
1+ v sen x
0

Mostremos que


 ( x )  (1 − x ) = , 0  x 1
sen x
Vemos que:
+

( x) =
 0
t x −1e − t dt , x  0

+

 (1 − x = )
 0
s − x e − t ds, t = s

3
 + + + +

 ( x )  (1 − x ) =

0
t x −1e −t dt 
 0
s − x e − s ds =
 
0 0
t x −1s − xe − (t + s ) dtds

Considerando:

t uv u
u = t + s, v = →t = , s=
s 1+ v 1+ v

Tal que el Jacobiano de la transformación está dado por

t t
 ( t , s ) u v u
= =−
 ( u, v ) s s (1 + v )
2

u v
Lo que nos lleva a escribir la integral como:

+ +

 
 (t, s )
x −1 −x
 uv   u 
 ( x )  (1 − x ) = −u
e     dudv
1+ v  1+ v   ( u, v )
0 0

+ +

 
x −1 −x
 uv   u  u
 ( x )  (1 − x ) = −u
e     dudv
1+ v  1+ v  (1 + v )
2
0 0

Simplificando y usando propiedades de existencia de integrales infinitas, tenemos que

+ +

 
v x −1 
 ( x )  (1 − x ) = −u
e du  dv = 1 
1+ v sen  x
0 0

Puede dejarse como ejercicios probar que:

 (1 − x )
(−x) = , x  0,1,2,3,...
−x

4
Dado que:
+

( x) =
 0
t x −1e − t dt , x  0

Si consideramos
x −1
−t 1 1 1   1 
u = e → = et , ln   = t , −   du = dt → ln    = t x−1
u u u   u 
Cuando t → 0, u → 1, y si t → , u → 0

Lo que nos permite escribir

+ x −1 x −1

  
0 1
  1  1   1 
( x) = t x−1e−t dt = − ln  u   u  u du = ln  u   du, x  0
0 1
   0
  

Aunque hay más deducciones interesantes. Tenemos que:

 a +1
+  

 
a − bt c c 
t e dt =  a +1 
 
 c 
0 cb
Donde b y c constantes positivas y a es una constante tal que a > -1.
Para demostrarlo tomemos
1 a c −1 1
c c c c −1
x x x 1 bx
bt c = x → t = , ta = → t c−1 = c −1
→ =
1
c
a
c c
t c−1 1
c
b b b b

x
Dado que t = , y tomando dt/dx en ambos lados, obtenemos:
c

b
1

 1  dx x c −1
bct c −1dt = dx → dt =  c −1  . Así, dt = 1 dx
 t  bc
cb c

5
Lo que nos lleva a la trivialidad:

+ + a 1 +

  
c −x a +1
a − bt x e x c −1
1 c −x
1  a +1
dt = dx = e dx =  
c
t e a +1
x  a +1  
 c 
a 1
 
b c
cb c
cb c  c 
0 0 0 cb

Mucho más trivial es verificar que:

+ +

 
1  a +1
e− x dx = x 0e− x dx =  
2 2

 a +1  

 c 
  c 
0 0 cb
+

 t a e − bt dt
c
Para lo cual consideramos a = 0, b = 1, c = 2 en la integral
0

Lo que nos lleva a

1
+ +  

 

x 0e − x dx =   =
2
e− x dx =
2 2

2 2
0 0

+

 −( a +1)t ( x)
Muestre que t x −1e dt = , x  0, a  −1 .
( a + 1)
x
0

Si tomamos t = ( a + 1) y → dt = ( a + 1) dy
−1 −1

+ +

  ( )
x −1 1
−( a +1)t
( a + 1) y e − y ( a + 1) dy =  ( x)
−1 −1
t x −1e dt =
( a + 1)
x
0 0

6
Función Beta (Euleriana de primera especie)

Definimos la función Beta como


1

 ( m, n ) = t m−1 (1 − t ) dt , m  0, n  0
n −1

Algo inmediato que podemos deducir:

Con u = 1 – t → dt = − du lo que nos lleva a

 
0 1

 ( m, n ) = (1 − u ) (1 − u ) u n−1du =  ( n, m )
m −1 m −1
u n−1 (−du ) =
1 0

Otra relación útil que podemos deducir es

 ( m)  ( n)
 ( m, n ) =
 ( m + n)

Llamamos integral de Wallis a cualquiera de las siguientes expresiones:


2
1  1 n +1
I= sen n ( t ) dt =   , 
2 2 2 
0



2
1  1 n +1
I= cos n ( t ) dt =   , 
2 2 2 
0

Invitamos a probarlo. Además,

  n +1
   


2
cos n ( t ) dt =  2 
n
0 n   
2

7
Bibliografía
• Spiegel, Murray. (2011) Cálculo Superior. (13o ed.). McGraw Hill.
• Farrell, Orin J. (2013) Solved Problems in Analysis. As Applied to Gamma, Beta,
Legendre and Bessel Funtions. Dover Publications, Inc.
• Bartle, Robert. (1967) The Elements of Real Analysis (First correcte printing). John
Wiley & Son, Inc.

Kihovis M. Tejeda P.
kihovis@hotmail.com