UNIVERSIDAD DE LAS FUERZAS ARMADAS ESPE

DEPARTAMENTO DE CIENCIAS EXACTAS

Consulta
Funcion Gamma
Aula: A309

Mara Bola
nos.
17 de febrero de 2015

1. Revisi
on Hist
orica de la Funci
on Gamma
La funci
on gamma fue introducida por primera vez por el matematico suizo Leonhard Euler (1707-1783),
con el objetivo de generalizar la funcion factorial a valores no enteros. Mas tarde, por su gran importancia, esta
fue estudiada por matem aticos eminentes tales como Adrien-Marie Legendre (1752-1833), Carl Friedrich Gauss
(1777-1855), Christoph Gudermann (1798-1852), Joseph Liouville (1809-1882), Karl Weierstrass (1815-1897),
Charles Hermite (1822-1901),. . . . al igual que muchos otros.

La funcion gamma pertenece a una categora de funciones transcendentes especiales, y esta funcion ocurre
en algunas constantes matem aticas especiales. Esta aparece en varias areas de estudio, como en las series
asint
oticas, integrales definidas, series hiper geometricas, la funcion Zeta de Riemann, teora de n
umeros, otras.

2. Definici
on
En matem aticas, la funci
on Gamma (denotada como ((z)) es una funcion que extiende el concepto de
factorial a los n
umeros complejos. La notacion fue ideada por Adrien-Marie Legendre. Si la parte real del
numero complejo z es positivo, entonces la integral

Z
(z) = tz1 et dt
0

converge absolutamente; esta integral puede ser extendida a todo el plano complejo excepto a los enteros nega-
tivos y al cero.

Si n es un entero positivo, entonces

(n) = (n 1)!

lo que nos muestra la relaci

on de esta funci
on con el factorial. De hecho, la funcion Gamma generaliza el factorial
para cualquier valor complejo de z.

1
La funci
on Gamma aparece en varias funciones de distribucion de probabilidad, por lo que es bastante usa-
da tanto en probabilidad y estadstica como en combinatoria.

3. Definici
on Tradicional
Si la parte real del n
umero complejo z es positiva (Re(z) 0), entonces la integral

Z
(z) = tz1 et dt
0

converge absolutamente. Usando la integraci

on por partes, se obtiene la siguiente propiedad:

(z + 1) = z (z)
Esta ecuaci
on funcional generaliza la relaci
on n! = n (n-1)! del factorial. Se puede evaluar (1) analticamente:
Z
k
(1) = et dt = lm et 0 = 0 (1) = 1.
0 k

Combinando estas dos relaciones se obtiene que el factorial es un caso especial de la funcion Gamma:

(n + 1) = n$
,
(n) = = n!
$,(1) = n!$

para los n
umeros naturales n.

La funci on Gamma es una funci on meromorfa de z C con polos simples en z = n (n = 0, 1, 2, 3, . . . )

n
y residuos Res((z), n) = (1)
n! ,1 Estas propiedades pueden ser usadas para extender (z) desde su definici on
inicial a todo el plano complejo (exceptuando los puntos en los cuales es singular) por continuacion analtica.