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-ttx-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 tx-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

r(1/2) = fooo e-tr1/2dt = 2 foDO e-u2 du = 2 (~) =~

1
(Resultado conocido)

Una relacin bsica de la funcin Gamma es

I'(c + 1) = xr(x) (2)

la cual se deduce a partir de (1) e integrando por part.es, como sigue:

1
 r(x + 1) - 1 00

e-ttX-1dt

[-~: +x 100

e-ttX-1dt
O
= xr(x)

La frmula (2) juega un papel importante en el clculo de valores de la

funcin Gamma.
Si se toma x=n (n entero positivo) y se usa (2) repetidamente, se tiene
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)

esto es

r(n + 1) = nI (3)
Esta ltima expresin puede usarse para definir 01, si se aplica para n=O,
obtenindose

01 = I'(l ) = 1

Anlogamente, para n entero positivo, se observa que

2
 r(71,+ 1/2) - (71,- 1/2)r(71,- 1/2)
- (71,- 1/2)(71, - 3/2)r((71, - 3/2)

- (71,- 1/2)(71, - 3/2)(71, - 5/2) 1/2 r(I/2)

(271, ; 1) (271, ; 3) (271, ; 5) ~J1f

de donde

1 . 3 . 5 .... (271, - 1)
r(71,+ 1/2) = J1f (4)
2n
La funcin Gamma satisface
'Tr
r(x)r(1 - x) = ,O <x < 1 (5)
se71,'TrX
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-Xdtds

Haciendo
t uv u
u=t+s , v=- t--- s=--
s -1+v' 1+v

l
se tiene que el Jacobiano de la transformacin viene dado por

8(t,s)
8(u,v)
_ I !! I
8~ 8~
= I l~v (l';v)2
lv - (l';v)2
I
U

(1 + V)2

3
 Luego,

r(x)r(l - x)

1 (resultado conocido)
senst x
Haciendo pi = w, es fcil ver que

z>O
(6)
p>O
,
2 FUNCION BETA.
Se define la funcin Beta por

x>O
(7)
y>O
Haciendo el cambio t = sen2() 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 x>O

B(x, y) = 2 Jo sen () cos () d() (8)
y>O
Si en (7) se hace u= l~t' se tiene que

B(x,y) = looo ( u:l U:l)

X-l ( )y-l d
(u+u1)2

y al simplificar queda

4
 rOO ux-1 x>O
B(x, y) = Jo (u + l)x+y , (9)
y>O
Tomando p=l+u y z=x+s] en (6), queda

y al sustituir esta expresin en (9), se tiene que

B(x, y)

Si en la integral respecto a u se usa de nuevo (6), se tiene que

B(x, y)

de donde se obtiene la importante relacin

B( ) = f(x)f(y) x>O
(10)
x,y f(x+y) y>O
De (10) resulta evidente que

B(y, x) = B(x, y) (11)

3. FRMULA DE DUPLICACIN DE LA FUNCIN GAMMA.

De acuerdo con (7) y (10)

r(x)f(y) = (I tX-I(l _ t)y-Idt

f(x+y) Jo

Para x=y, queda

,
5
 r(x)r(x)
r(2x)

Haciendo el cambio t= I-/ en la integral, se tiene que

r(x)r(x)
r(2x)
2[ e -/u) 0-1 e +/j 0-1 ( -D U-I/2du

_ _1_ (I CI/2(1 _ t)X-Idt

22x-1 Jo
1
22x-1B(1/2, x)
1 r(1/2)r(x)
22x-1 r(1/2 + x)
de donde resulta la llamada frmula de duplicacin

22x-Ir(x)r(x + 1/2) = J7[r(2x) (12)

4. EXTENSIN DEL DOMINIO DE LA FUNCIN GAMMA.

En (1) se defini 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 ello la frmula (2) escrita en la forma

I'(e) = r(x + 1) (13)

x
De acuerdo con (13), I'(O) = r~l) es infinito. 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, se puede calcular r(x) usando (13)
cuantas veces sea necesario, hasta que I'(z + 1) tenga argumento positivo.
De esta manera, juntando (1) y (13), la funcin 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, la funcin Gamma est incluida en los programas de biblioteca
l
de calculadoras y computadoras de uso cientfico.

6
 r (L)

5
I I

'V'
4
I I
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

5. EJEMPLOS.
Ejemplo 1. Calcular I'(G).r(5/2) y r(-3/2).
Solucin.
Usando (3): I'(G]= r(5 + 1) = 5! = 120.

Usando (4): r(5/2} = [(2 + 1/2)= ~.;vii = ~J1f.

Ejemplo 2. Calcular
(:O 3
1= Jo JXe-x dx

Solucin.

7
(donde se ha usado la definicin (1))

!Ji
1 VXe-x
00 3
1= dx = _Y_ /1

o 3

Ejemplo 3. Calcular

Solucin.

r'
1= Jo a4t2Ja2 a
- a2t 2Cl/2dt
a
=2 Jo
6
r1 t3/2(1 - t)1/2dt a
6
= 2B(5/2, 3/2)

(donde se ha usado la definicin (7).

Ahora, segn (10), se tiene que

6
1 = a6 r(5/2)r(3/2) = a ~ft ~ft
2 r(4) 2 3!

Ejemplo 4. Calcular

dx
1-
-
10o00

1+ x4

Solucin.

l
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 4 se71,

roo dx 7r
1= Jo 1 + x4 = 2V2

6. OTRAS DEFINICIONES DE LA FUNCIN GAMMA.

Definicin de Gauss:

' 71,! 71,X

r ()x = l un. ---:----:----:----:----:------:- (14)
x->oo x(x + l)(x + 2) ... (x + 71,)

Definicin de Weierstrass:

1
--
r(x)
= xe!" rr e-
n=l
00 x/n (X)1+ -
. 71,
(15)

, es la constante de Euler, la cual est dada por

, = lm
n->oo
(Hn -In 71,) ~ 0.57721566

donde
111
H = 1+ -2 + -3 + .... +-n
n

7. FUNCIONES GAMMA INCOMPLETAS.

Se definen las funciones Gamma incompletas por

,(x, a) = loa e-ttX-1dt (16)

r(x, a) = Loo e-ttX-1dt (17)

Es evidente que

,(x, a) + I'{z , a) = I'(z)

9
8. EL SMBO;LO(A)k DE POCHHAMMER.

(A)O = 1

(Ah = A(A + l)(A + 2) ... '(A +k - 1) = r(~(:t) (18)

10
 EJERCICIOS

1. Demostrar:

2. Calcular:

11
3. Demostrar:

12
 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.

13