FUNCIONES GAMMA Y BETA

1. LA FUNCIN GAMMA. PROPIEDADES ELEMENTALES.

La funcin Gamma fue definida por Euler mediante
r(x) =fooo e-ttX-1dt , x O (1)
donde la condicin x>O es exigida para la convergencia de la integral.
En vez de una rigurosa demostracin de la convergencia, se justificar
sta mediante el siguiente razonamiento:
Se tiene que e-tt
x
-
1
~ O cuando x ~ 00, de manera que no se esperan
inconvenientes en el lmite superior de la integral. Cerca del lmite inferior
t=O, el integrando se aproxima a t
x
-
1
ya que e-
t
~1. De esta manera
y para que el primer trmino de la derecha permanezca finito, se debe tener
x>O.
De la definicin (1) es fcil ver que
I'(c +1) =xr(x)
la cual se deduce a partir de (1) e integrando por part.es, como sigue:
(2)
y
r(1/2) =fooo e-
t
r
1
/
2
dt =2f o D O e-
u2
du =2 (~) =~
1
(Resultado conocido)
Una relacin bsica de la funcin Gamma es
1
r(n +1) =nI (3)
t
r(x +1) - 1
00
e-ttX-1dt
[-~: +x 1
00
e-ttX-1dt
O
= xr(x)
La frmula (2) juega un papel import ant e en el clculo de valores de la
funcin Gamma.
Si se t oma x=n (n ent ero posit ivo) y se usa (2) repet idament e, se t iene
que
r(n +1) nr(n)
n(n - l)r(n- 1)
n(n - l)(n - 2)r(n - 2)
- n(n - l)(n - 2) ... 1. r(l)
est o es
Est a lt ima expresin puede usarse para definir 01, si se aplica para n=O ,
obt enindose
01=I'(l ) =1
Anlogament e, para n ent ero posit ivo, se observa que
2
r(71,+1/2) - ( 7 1 , - 1/2)r(71,- 1/2)
- ( 7 1 , - 1 / 2 ) ( 7 1 , - 3/2)r((71, - 3/2)
- ( 7 1 , - 1 / 2 ) ( 7 1 , - 3 / 2 ) ( 7 1 , - 5/2) 1/2 r(I/2)
( 2 7 1 , ; 1 ) ( 2 7 1 , ; 3) ( 2 7 1 , ; 5) ~J1f
de donde
1. 3. 5.... ( 2 7 1 , - 1)
r(71,+1/2) = J 1f
2
n
La funcin Gamma satisface
'Tr
r(x)r(1 - x) = ,O <x <1
s e 7 1 , ' T r X
En efecto:
Usando (1) se tiene que
r(x)r(1 - x) - fooo e - ttX - ldt fooo e - s s - xds
fooo fooo e - ( t+s ) tx- l s - X dtds
Haciendo
t
u=t+s , v=-
s
uv u
t- - - s =- -
- 1 +v' 1 +v
se tiene que el J acobiano de la transformacin viene dado por
8( t, s )
8( u, v)
_ I ! ! I =I l~v (l';v)2 I
8~8~ l v - (l';v)2
U
(1+V ) 2
3
(4)
(5)
l
Luego,
r(x)r(l - x)
1 (resultado conocido)
senst x
Haciendo pi =w, es fcil ver que
z>O
p>O
,
2 FUNCION BETA.
Se define la funcin Beta por
x>O
y>O
Haciendo el cambio t =sen
2
() en (7), se tiene que
-rr/2 2x-2 2y-2
B(x, y ) =Jo sen () cos () 2sen()cos()d()
de donde
-rr/2 2x-l 2y-l
B(x, y ) =2 Jo sen () cos () d()
Si en (7) sehace u=l~t' se tiene que
x>O
y>O
( )
X-l ( )y-l d
B(x,y) =looo u : l U : l (u+u
1
)2
y al simplificar queda
4
(6)
(7)
(8)
r O O u
x
-
1
B(x, y ) =Jo (u +l)x+y ,
Tomando p=l+u y z=x+s] en (6), queda
x>O
y>O
(9)
y al sustituir esta expr esin en (9), se tiene que
B(x, y )
Si en la integr al r especto a u se usa de nuevo (6), se tiene que
B(x, y )
de donde se obtiene la impor tante r elacin
B( ) =f(x)f(y)
x,y f(x+y)
De (10) r esulta evidente que
x>O
y>O
(10)
B(y, x) =B(x, y) (11)
3. FRMULA DE DUPLICACIN DE LA FUNCIN GAMMA.
De acuer do con (7) y (10)
r(x)f(y) =(ItX-I(l _ t) y -Idt
f(x+y) Jo
5
Par a x=y, queda
,
22x-Ir(x)r(x +1/2) =J7[r(2x) (12)
l
r(x)r(x)
r(2x)
Haciendo el cambio t= I - / enla integral, setiene que
r(x)r(x)
r(2x)
2[ e - / u ) 0-1e +/j 0-1( - D U-
I
/
2
du
_ _1_ (I CI/2(1 _ t)X-Idt
22x-1 J o
1
22x-1 B(1/2, x)
1 r(1/2)r(x)
22x-1 r(1/2 +x)
de donde resulta la llamada frmula deduplicacin
4. EXTENSIN DEL DOMINIO DE LA FUNCIN GAMMA.
En (1) sedefini la funcin Gamma para valores positivos de la variable
x. Es posible extender el dominio de definicin de r(x) para valores de x
negativas, usando para ellolafrmula (2) escrita en laforma
I'(e) =r(x +1) (13)
x
Deacuerdo con (13),I'(O) =r~l) esinfinito. Mediante aplicaciones repeti-
das de (13), es fcil ver que I'( -1), I'{-2), I'[ -3), .... tambin son infinitos.
Para cualquier otro valor negativo de x, sepuede calcular r(x) usando (13)
cuantas veces sea necesario, hasta que I'(z +1) tenga argumento positivo.
Deesta manera, juntando (1)y (13),lafuncin r(x) queda definida para
todos los valores de x, excepto x=O, -1, -2, -3,....
En la bibliografa especializada estn disponibles tablas de valores de
. I'{z}; adems, lafuncin Gamma est incluida enlosprogramas debiblioteca
de calculadoras y computadoras deuso cientfico.
6
' V '
5
I I
I I
4
I I
I I 3
I I
I
I
2
I I
I I
1
I I
1
-1
3 4
L
1
I
-1
I
I
- 2
I
I
I
-3
~
-4
- 5
r(L)
5. EJEMPLOS.
Ejemplo 1. CalcularI'(G).r(5/2) yr(-3/2).
Solucin.
Usando (3): I'(G]=r(5 +1)=5!=120.
Usando (4): r(5/2} =[(2 +1/2)= ~.;vii =~J 1f.
Ejemplo 2. Calcular
(:O 3
1= J o J Xe-
x
dx
Solucin.
7
(donde seha usado ladefinicin (1))
1
00 3 ! J i
1= V X
e
-
x
dx =_Y_/1
o 3
Ejemplo 3. Calcular
Solucin.
r ' a a
6
r
1
a
6
1= Jo a
4
t2Ja
2
- a
2
t 2Cl/2dt =2Jo t
3
/
2
(1 - t)1/2dt =2B(5/2, 3/2)
(donde seha usado ladefinicin (7).
Ahora, segn (10), setiene que
1=a
6
r(5/2)r(3/2) =a
6
~ft~ft
2 r(4) 2 3!
10
00 dx
1-
- o 1+x
4
l
Ejemplo 4. Calcular
Solucin.
8
(donde se ha usado '(9)).
Segn (10) y (5), se tiene que
I=! r(1/4)r(3/4) =!r(1/4)r(1 _ 1/4) =~_7r_
4 I'(l ) 4 4se71,
roo dx 7r
1=J o 1+x
4
=2V2
6. OTRAS DEFINICIONES DE LA FUNCIN GAMMA.
Definicin de Gauss:
() l
' 71,! 71,
X
rx =un. ---:----:----:----:----:------:-
x->oo x(x +l)(x +2) ... (x +71,)
Definicin de Weierstrass:
1 00 ( X )
-- =x e!" rre-
x
/
n
1+-
r(x) n=l . 71,
, es la constante de Euler, la cual est dada por
,=lm ( Hn -In71,) ~ 0.57721566
n->oo
donde
111
H =1+-+-+.... +-
n 2 3 n
7. FUNCIONES GAMMA INCOMPLETAS.
Se definen las funciones Gamma incompletas por
,( x , a) =l o a e-ttX -1dt
r(x, a) =Loo e-ttX -1dt
Es evidente que
,( x , a) +I'{z,a) =I'(z)
9
(14)
(15)
(16)
(17)
8. EL SMBO;LO(A)k DE POCHHAMMER.
( A ) O =1
( A h =A ( A +l) ( A +2) ... '( A +k - 1) =r ( ~( : t) (18)
10

EJERCICIOS




11
1. Demostrar:
2. Calcular:







12
3. Demostrar:





13
BIBLIOGRAFA
1. N.N. Lebedev: SPECIAL FUNCTIONS AND THEIR APPLICATIONS.
Dover Publications, Ine.
2. W.W. Bell: SPECIAL FUNCTIONS FOR SCIENTISTS AND ENGINEERS.
D. Van Nostrand Company, Ud.
3. E.D. Rainville: SPECIAL FUNCTIONS. Chelsea Publishing Company.
4.M. Spiegel: ANALISIS DE FOURIER (Serie de Compendios Shaum). Me
Graw-Hill.