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 defmi-
ciones 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,

I 0 0
AP-1
AP-2 APNDICE I FUNCl6N GAMMA

w
t
i l
I I I
I I I I
I I I I
I I I I
Ipy;.
l I I
X
I I I I
I I I I
I I I l -
I I I I
I I 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. n

 ApMice I Funcin gamma AI-3

Las respuestas a los problemas de nmero impar comienzan en la pgina R-24.

1. 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.
0

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.