FUNCIN GAMMA

La definicin de Euler de la funcin gamma, es

r(x) = jr tx-e- dt.

(1)

Para que la integral converja se requiere que x - 1 > -1, o x > 0. La relacion de recurrencia
T(x + 1) = XT(X),

(2)

(Sec. 6.4), se puede obtener de (1) con integracin por partes. Cuando x = 1, r( 1) = j: eTt dt =
1 y la ecuacin (2) da
r(2)= ir(i)= i
ry3)=2r(2)=2. i
r(4)=3r(3)=3 .2. i
etctera. As pues, cuando n es un entero positivo,
r(n + i)=d.
Por este motivo, la funcin gamma suele denominarse funcin factorial generalizada.
Aunque la forma integral (1) no converge cuando x < 0, es posible demostrar, con defmiciones alternativas, que la funcin gamma est definida para todos los nmeros reales y
complejos, excepto x = -n, n = 0, 1, 2, . . .; en consecuencia, la ecuacin (2) slo es vlida,
cuando x # -n. Al considerarla como funcin de una variable real, x, la grfica de I(x)
corresponde a la figura 1.1. Obsrvese que los enteros no positivos corresponden a asntotas
verticales de la grfica.
En los problemas 27 a 33 de los ejercicios 6.4 hemos aprovechado que I(i) = & Este
resultado se puede obtener partiendo de (1) e igualando x = t:
r 3 = jy flnewf dt.
0

Cuando s define t = u2, la ecuacin (3) se puede expresar en la forma I(i) = 2 ame-* du. Pero

ewu2 du = jm eFU dv,

0

AP-1

AP-2 APNDICE I FUNCl6N GAMMA

w
i

I
I

I
I

I
I
I
I
Ipy;.
l
I
I
I

I
I
I
I
I

I
I
I
I
I

I I
I l I I
I I I l I l
I-l/i
l
I l l
FIGURA

1.1

y entonces

Al cambiar a coordenadas polares, u = r cos 8, w = r sen 8 permiten evaluar la integral doble:

Por

consiguiente,

0 sea

(4)

Valor de r(- i)

Evale r(- i).

SOLUCIN

De acuerdo con las ecuaciones (2) y (4), para x = - i,

r(i)=-+(-i}
Por lo tanto

r(-+)=-x(f)=-2G.

ApMice

Las respuestas a los problemas

1.

I Funcin gamma AI-3

de nmero impar comienzan en la pgina R-24.

Evale
8) r(5)

b) r(7)

cl rc- ;>

4 r(- f>

2.

Aplique (1) y el hecho de que r(f) = 0.92 para evaluar j m x5 eeX dw.
0
[Sugerencia: sea t = x.]

3.

Aplique (1) y el hecho de que r(:) = 0.89 para evaluar j-x eeX u!x.

4.

Evale s, x3 ln i 3 dx. [Sugerencia: sea t = -In x.]

1
1

5.

Use el hecho de que T(x) > ji r e- dt para demostrar que T(x) no es acotada cuando x + O+.

6 . Aplique (1) para deducir (2) cuando x > 0.