FUNCIONES

GAMMA Y BETA

1. LA FUNCIN GAMMA. PROPIEDADES

ELEMENTALES.

La funcin Gamma fue definida por Euler mediante

r(x) = fooo e-ttX-1dt

(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)

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

(2)

r(x

+ 1)

00

e-ttX-1dt

[-~:

+x

00

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

t
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)

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

(271, ;

~J1f

de donde

r(71,+ 1/2) =

1 . 3 . 5 .... (271, - 1)

2n

J1f

(4)

La funcin Gamma satisface

r(x)r(1 - x) =

'Tr

<x < 1

,O

se71,'TrX

(5)

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

u=t+s

, v=-

uv
t---1+v'

t
s

se tiene que el Jacobiano de la transformacin

8(t,s)
8(u,v)

_ I

!! I

8~ 8~

(1 + V)2
3

u
s=-1+v

viene dado por

l~v (l';v)2
lv - (l';v)2

Luego,

r(x)r(l - x)

(resultado conocido)

senst x

Haciendo pi = w, es fcil ver que

z>O
p>O

(6)

2 FUNCION BETA.
Se define la funcin Beta por

x>O
y>O

(7)

Haciendo el cambio t = sen2() en (7), se tiene que

B(x, y)

-rr/2

Jo

2x-2

sen

()

2y-2

cos

()

2sen()cos()d()

de donde
-rr/2

B(x, y) = 2 Jo

2x-l

sen

()

2y-l

cos

()

d()

x>O
y>O

Si en (7) se hace u= l~t' se tiene que

B(x,y) = looo

u:l U:l
X-l

y al simplificar queda
4

)y-l

(u+u1)2

(8)

rOO

(u + l)x+y

B(x, y) = Jo
Tomando p=l+u

y al sustituir

ux-1

x>O
y>O

(9)

y z=x+s] en (6), queda

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

B(

x,y

relacin

x>O
y>O

f(x)f(y)
f(x+y)

(10)

De (10) resulta evidente que

B(y, x)

B(x, y)

3. FRMULA DE DUPLICACIN

DE LA FUNCIN GAMMA.

De acuerdo con (7) y (10)

r(x)f(y)
f(x+y)

= (I tX-I(l

Jo

Para x=y, queda

,
5

(11)

_ t)y-Idt

r(x)r(x)
r(2x)

Haciendo el cambio t=

I-/ en la integral,

2[ e -/u)

r(x)r(x)
r(2x)
_

0-1

se tiene que

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)

De acuerdo con (13), I'(O) = r~l) es infinito. Mediante aplicaciones repetidas 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
de calculadoras y computadoras de uso cientfico.
6

r (L)

I
I

I
I
I
I
I
I

I
I
I
I
I
I

'V'

2
1
1

-1

-1

I
I
I
I

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

(:O

Ejemplo 2. Calcular
1= Jo

JXe-x

Solucin.

dx

(donde se ha usado la definicin (1))

1=

VXe-x

00

Ejemplo

!Ji
dx = _Y_
/1

3. Calcular

Solucin.

r'

1= Jo a4t2Ja2

r1 t3/2(1 - t)1/2dt

a
- a2t 2Cl/2dt

a
=2
Jo

a
= 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)
2
r(4)

Ejemplo

= a

~ft ~ft
3!

4. Calcular

1-

10o

dx

00

1+ x4

Solucin.

l
8

(donde se ha usado '(9)).

Segn (10) y (5), se tiene que

I=! r(1/4)r(3/4)
4
I'(l )

= !r(1/4)r(1
4

roo

_ 1/4) =

~_7r_

4 se71,

dx

7r

1 + x4 = 2V2

1= Jo

6. OTRAS DEFINICIONES DE LA FUNCIN GAMMA.

Definicin de Gauss:

r ()x

'

= l un.
x->oo

71,! 71,X

---:----:----:----:----:------:x(x + l)(x + 2) ... (x + 71,)

(14)

Definicin de Weierstrass:
1

--

r(x)

, es la constante

xe!"

rr e00

x/n

n=l

(X)1+ .

(15)

71,

de Euler, la cual est dada por

, = lm

n->oo

(Hn -In 71,)

0.57721566

donde
H = 1+
n

111

-2 + -3 + .... +-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)
9

I'(z)

8. EL SMBO;LO(A)k DE POCHHAMMER.
(A)O = 1

(Ah = A(A

+ l)(A + 2) ...

'(A

10

+k

- 1) =

r(~(:t)

(18)

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