FUNCIONES

GAMMA Y BETA

1. LA FUNCIN GAMMA. PROPIEDADES

La funcin Gamma fue definida por Euler mediante

ELEMENTALES.

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)

(2)

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

r(x

+ 1)

00

e-ttX-1dt

[-~:
O
=

+x

00

e-ttX-1dt

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)

esto es

n(n - l)(n - 2) ... 1 . r(l)

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) (271, ;

1/2 r(I/2)

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

~J1f

de donde

r(71,+ 1/2) =
La funcin Gamma satisface

2n
'Tr

J1f

(4)

r(x)r(1 - x) =
En efecto: Usando (1) se tiene que

se71,'TrX

,O

<x < 1

(5)

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=-

t
s

uv t---1+v'

u s=-1+v

se tiene que el Jacobiano de la transformacin

viene dado por

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

_ I

8~ 8~

!! I
U

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

(1 + V)2 3

Luego,

r(x)r(l - x)

senst x

(resultado conocido)

Haciendo pi = w, es fcil ver que

,
2 FUNCION BETA.
Se define la funcin Beta por

z>O p>O

(6)

x>O y>O
Haciendo el cambio t = sen2() en (7), se tiene que -rr/2
sen

(7)

B(x, y)
de donde

Jo

2x-2

2y-2

()

cos

()

2sen()cos()d()

B(x, y) = 2 Jo

-rr/2
sen

2x-l

2y-l

()

cos

()

d()

x>O y>O

(8)

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

B(x,y) = looo
y al simplificar queda

u:l U:l
X-l ( )

)y-l

(u+u1)2

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

ux-1

(u + l)x+y

x>O y>O

(9)

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( x,y

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

x>O y>O

(10)

De (10) resulta evidente que

B(y, x)

B(x, y)

(11)

3. FRMULA DE DUPLICACIN
De acuerdo con (7) y (10)

DE LA FUNCIN GAMMA.

r(x)f(y) f(x+y)
Para x=y, queda

= (I tX-I(l

_ t)y-Idt

Jo

,
5

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

Haciendo el cambio t=

I-/ en la integral,
0-1

se tiene que

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

2[ e -/u)
22x-1 Jo
1

e +/j

0-1 (

-D

U-I/2du

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

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)

5
I

I I I I I I
I

'V'
I
-1

I I

I I I I I I
I

2
1
1

3 -1

I
I

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): Usando (4):

I'(G]= r(5 + 1) = 5! = 120. r(5/2} = [(2

+ 1/2)=

~.;vii = ~J1f.

Ejemplo 2. Calcular
1= Jo Solucin.
(:O

JXe-x

dx

(donde se ha usado la definicin (1))

1=

1
o

00

VXe-x

!Ji dx = _Y_
/1

Ejemplo

3. Calcular

Solucin.

1= Jo a4t2Ja2

r'

a - a2t 2Cl/2dt

a =2 Jo

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

a = 2B(5/2,

3/2)

(donde se ha usado la definicin (7). Ahora, segn (10), se tiene que

1 = a6 r(5/2)r(3/2) 2 r(4)

= a

~ft ~ft 3!

Ejemplo

4. Calcular

1-

10 o

00

dx
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

_ 1/4) =

~_7r_

4 se71,
7r

roo
1= Jo

dx

1 + x4 = 2V2

6. OTRAS DEFINICIONES DE LA FUNCIN GAMMA.

Definicin de Gauss: '
71,! 71,X

r ()x

= l un.
x->oo

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

(14)

Definicin de Weierstrass:
--

r(x)

xe!"

n=l

rr e00

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 H = 1+
n

++ .... +2 3 n

111

7. FUNCIONES GAMMA INCOMPLETAS.

Se definen las funciones Gamma incompletas por

,(x, a) = r(x, a)
Es evidente que
=

loa e-ttX-1dt
Loo e-ttX-1dt
=

(16) (17)

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

+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