Función gamma

Gamma function factorial a cualquier valor complejo de z. La función gam-

ma aparece en varias funciones de distribución de proba-
4 bilidad, por lo que es bastante usada tanto en probabilidad
y estadística como en combinatoria.
2

1 Definición clásica
0

-4 -2 0 2 4

-2

-4

Función Gamma en el eje real.

La función gamma en el plano complejo.

Si la parte real del número complejo z es positiva (Re(z)

> 0), entonces la integral
Valor absoluto de la función gamma en el plano complejo.
∫ ∞
En matemáticas, la función gamma (denotada como Γ(z) Γ(z) = tz−1 e−t dt
, donde Γ es la escritura en mayúscula de la letra gamma 0

del alfabeto griego) es una aplicación que extiende el con- converge absolutamente. Usando la integración por par-
cepto de factorial a los números complejos. La notación tes, se obtiene la siguiente propiedad:
fue propuesta por Adrien-Marie Legendre. Si la parte real
del número complejo z es positiva, entonces la integral
∫∞ Γ(z + 1) = z Γ(z)
Γ(z) = 0 tz−1 e−t dt
Esta ecuación funcional generaliza la relación n! = n(n−
converge absolutamente; esta integral puede ser extendida 1)! del factorial. Se puede evaluar Γ(1) analíticamente:
a todo el plano complejo, excepto a los enteros negativos
y al cero. Si n es un entero positivo, entonces
∫ ∞
k
Γ(n) = (n − 1)! Γ(1) = e−t dt = lim −e−t 0 = −0 − (−1) = 1.
0 k→∞

lo que nos muestra la relación de esta función con el facto- Combinando estas dos resultados se deduce que el facto-
rial. De hecho, la función gamma extiende el concepto de rial es un caso particular de la función gamma:

1
2 4 PROPIEDADES

Luego se obtiene una fórmula para Γ(n + 1) como una

función de Γ(n) :
Γ(n + 1) = n Γ(n) = · · · = n! Γ(1) = n! ∫∞ ∫∞
Γ(n + 1) = 0 e−x xn+1−1 dx = 0 e−x xn dx
para los enteros no negativos n.
Usamos integración por partes para resolver la integral
La función Gamma es una función meromorfa de z ∈ C ∫ ∞ −x n [ n ]∞ ∫ ∞ −x n−1
e x dx = −x ex 0 + n 0 e x dx
con polos simples en z = −n (n = 0, 1, 2, 3, . . . ) y 0
n
−0n 0
residuos Res(Γ(z), −n) = (−1) n! .[1] Estas propiedades En el límite inferior se obtiene directamente e0 = 1 =
pueden ser usadas para extender Γ(z) desde su definición 0.
inicial a todo el plano complejo (exceptuando los puntos En el infinito, usando la regla de L'Hôpital:
en los cuales es singular) por continuación analítica. −xn −n!·1
limx→∞ ex = limx→∞ ex =0.
[ −xn ]∞
Por lo que se anula el primer término, ex 0
, lo que
2 Definiciones alternativas nos da el siguiente resultado:
∫∞
Γ(n + 1) = n 0 e−x xn−1 dx
Las siguientes definiciones de la función gamma median-
te productos infinitos, debidas a Euler y Weierstrass res- La parte derecha de la ecuación es exactamente nΓ(n) ,
pectivamente, son vigentes en todo el plano complejo z, con lo que hemos obtenido una relación de recurrencia:
excepto para valores enteros negativos:

Γ(n + 1) = nΓ(n)
∞ ( )z
n! n z
1 ∏ 1 + n1
Γ(z) = lim = Apliquemos la fórmula a unos pocos valores:
n→∞ z (z + 1) · · · (z + n) z n=1 1 + nz

e−γz ∏ ( z )−1 z/n

∞
Γ(z) = 1+ e Γ(2) = Γ(1 + 1) = 1Γ(1) = 1! = 1
z n=1 n
Γ(3) = Γ(2 + 1) = 2Γ(2) = 2 · 1! = 2! = 2
donde γ es la constante de Euler-Mascheroni.
Γ(4) = Γ(3 + 1) = 3Γ(3) = 3 · 2! = 3! = 6
Es sencillo comprobar que la definición de Euler satisface
la ecuación funcional, dada arriba, como sigue. Sea z ̸= Γ(n + 1) = nΓ(n) = n · (n − 1)! = n!
0, −1, −2, −3, . . .

4 Propiedades
n! nz+1
Γ(z + 1) = lim
n→∞ (z + 1) (z + 2) · · · (z + 1 + n)
( De la representación
) integral se obtiene:
n! nz n
= lim z
n→∞ z (z + 1) (z + 2) · · · (z + n) (z + 1 + n) lim Γ(z+1)
=∞.
z→0+ Γ(z) = limz→0+ z
n
= z Γ(z) lim
n→∞ (z + 1 + n)
Otras ecuaciones funcionales importantes de la función
= z Γ(z). Gamma son la fórmula de reflexión de Euler
También puede obtenerse la siguiente representación in-
tegral: Γ(1 − z) Γ(z) = π
sin (πz)

y la fórmula de duplicación
∫ ∞
e−t ( )
1/z
Γ(z + 1) = dt. √
0 Γ(z) Γ z + 12 = 21−2z π Γ(2z).

La fórmula de duplicación es un caso especial del teorema

3 Obtención de la ecuación funcio- de multiplicación
nal usando integración por par- ( ) ( ) ( )
Γ(z) Γ z + m1
Γ z+m 2
···Γ z + m−1
=
tes (2π)(m−1)/2 m1/2−mz Γ(mz).
m

Encontrar Γ(1) es algo fácil: Una propiedad básica y muy útil de la función Gamma
∫∞ ∫∞
Γ(1) = 0 e−x x1−1 dx = 0 e−x dx = −e−∞ − , que puede obtenerse a partir de la definición mediante
(−e0 ) = 0 − (−1) = 1 productos infinitos de Euler es:
 3

Γ(z) = Γ(z) 5 Función Pi

Varios límites útiles para aproximaciones asintóticas: Gauss introdujo una notación alternativa de la función
Gamma denominada función Pi, que en términos de la
limn→∞ Γ(n+α)
= función Gamma es:
Γ(n)nα
1, limn→∞ Γ(n−α)Γ(n+α)
Γ(n−β)Γ(n+β) =
1; α, β ∈ R Π(z) = Γ(z + 1) = z Γ(z),

Quizá el valor más conocido de la función Gamma con Así, la relación de esta función Pi con el factorial es bas-
argumento no entero es: tante más natural que en el caso de la función Gamma:

(1) √
Γ 2 = π,
Π(n) = n!.

La cual puede obtenerse haciendo z = 1/2 en la fórmu- La fórmula de la reflexión toma la siguiente forma:
la de reflexión o en la fórmula de duplicación, usando la
relación de la función Gamma con la función beta dada
más abajo πz 1
√ con x = y = 1/2 o haciendo la sustitución Π(z) Π(−z) = =
u = t en la definición integral de la función Gamma, sin(πz) sinc(z)
con lo que se obtiene una integral Gaussiana. En general,
Donde sinc es la función sinc normalizada, el teorema de
para valores impares de n se tiene:
la multiplicación se escribe así:
( ) √
Γ n2 + 1 = π 2(n+1)/2 n!!
(n impar)
( z ) (z − 1) (
z−m+1
) (
(2π)m
)1/2
Π Π ···Π = m−z Π(z).
donde n!! denota al doble factorial. Las derivadas de la m m m 2πm
función Gamma vienen dadas por la función poligamma.
Por ejemplo: A veces se encuentra la siguiente definición

Γ′ (z) = Γ(z)ψ0 (z). 1

π(z) = ,
Π(z)
A partir de la representación integral de la función Gam-
ma, se obtiene que su derivada n-ésima es: donde π(z) es una función entera, definida para todo nú-
mero complejo, pues no tiene polos. La razón de ello es
dn ∫ ∞ x−1 −t n que la función Gamma y, por tanto, la función Pi, no tie-
(dx)n Γ(x) = 0 t e ln t dt. nen ceros.

La función Gamma tiene un polo de orden 1 en z = −n

para todo número entero no negativo . El residuo en cada 6 Relación con otras funciones
polo es:
• En la representación integral de la función Gamma,
(−1)n
Res(Γ, −n) = n! .
tanto el límite superior como el inferior de la inte-
gración están fijados. La función gamma incompleta
El teorema de Bohr-Mollerup dice que, entre todas las superior γ(a, x) e inferior Γ(a, x) se obtienen mo-
funciones que generalizan el factorial de los números na- dificando los límites de integración superior o infe-
turales a los reales, sólo la función Gamma es logaritmo rior respectivamente.
convexa (o log-convexa), esto es, el logaritmo natural de ∫ ∞
la función Gamma es una función convexa. Γ(a, x) = ta−1 e−t dt.
x
El desarrollo en Serie de Laurent de Γ(z) para valores 0 ∫ x
< z < 1 es: γ(a, x) = ta−1 e−t dt.
0
[ ]
γ2 ζ(2)
Γ(z) ≈ 1
− γ + + z + • La función Gamma está relacionada con la función
[ z
] 2! 2
γ3
+ ζ(2) ζ(3)
z2 + . . . beta por la siguiente fórmula
3! 2 γ + 3

Γ(x) Γ(y)
Donde ζ(n) es la función zeta de Riemann. B(x, y) = .
Γ(x + y)
4 10 VÉASE TAMBIÉN

• La derivada logarítmica de la función Gamma es la Debido a que tanto la función Gamma como el facto-
función digamma ψ (0) (z) . Las derivadas de mayor rial crecen muy rápidamente para argumentos modera-
orden son las funciones poligamma ψ (n) (z) . damente grandes, muchos programas de computación in-
cluyen funciones que devuelven el logaritmo de la función
′ Gamma. Este crece más lentamente, y en cálculos combi-
Γ (x)
ψ(x) = ψ 0 (x) = natorios es muy útil, pues se pasa de multiplicar y dividir
Γ(x)
grandes valores a sumar o restar sus logaritmos.
( )n ( )n+1
d d
ψ (n) (x) = ψ(x) = log Γ(x)
dx dx
9 Aplicaciones de la función gam-
• El análogo de la función Gamma sobre un cuerpo
finito o un anillo finito son las sumas gaussianas, un ma
tipo de suma exponencial.
9.1 Cálculo fraccionario
• La función gamma inversa es la inversa de la función
gamma, que es una función entera. La n-ésima derivada de axb (donde n es un número na-
tural) se puede ver de la siguiente manera:
• La función Gamma aparece en la definición integral ( b)
dn
de la función zeta de Riemann ζ(z) : dxn ax = (b − n + 1) · · · (b − 2) (b − 1) baxb−n =
b! b−n
∫ ∞ z−1 (b−n)! ax
1 u dn
( b)
ζ(z) = du. como n! = Γ(n + 1) entonces dx ax =
Γ(z) 0 e − 1 u n
Γ(b+1) b−n
Γ(b−n+1) ax donde n puede ser cualquier número
Fórmula válida sólo si Re(z) > 1 . También aparece en donde gamma esté definido o se pueda definir median-
la ecuación funcional de ζ(z) : te límites.
De esta manera se puede calcular por ejemplo, la 1/2 de-
(z ) ( ) rivada de x , de x2 e inclusive de una constante c = cx0
1−z
π −z/2 Γ ζ(z) = π −
1−z
2 Γ ζ(1 − z). :
2 2 1 √
d2 2√ x
1 (x) = π
dx 2
( ) √
7 Valores de la función Gamma
1
d2 8 √x3
1 x2 = 3 π
dx 2
1
d2 √ c√
Artículo principal: Valores de la función Gamma 1 (c) = π x
dx 2

√
Γ(−3/2) = 4 3 π√ ≈ 2, 363 10 Véase también
Γ(−1/2) = −2
√ π ≈ −3, 545
Γ(1/2) = π ≈ 1, 772 • Función beta
Γ(1) = 0!
√
=1
Γ(3/2) = 2π ≈ 0, 886 • Teorema de Bohr-Mollerup
Γ(2) = 1!√ =1
• Función digamma
Γ(5/2) = 3 4π ≈ 1, 329
Γ(3) = 2! √ =2 • Función gamma elíptica
Γ(7/2) = 158 π ≈ 3, 323
Γ(4) = 3! =6 • Factorial

• Distribución Gamma

8 Aproximaciones • Constante de Gauss

• Función gamma incompleta

La función Gamma se puede calcular numéricamente
con precisión arbitraria usando la fórmula de Stirling, la • Aproximación de Lanczos
aproximación de Lanczos o la aproximación de Spouge.
• Función gamma multivariable
Para argumentos que sean múltiplos enteros de 1/24, la
función Gamma puede ser evaluada rápidamente usan- • Símbolo de Pochhammer
do iteraciones de medias aritmético geométricas (véase
Valores de la función Gamma). • k - símbolo de Pochhammer
 5

• Función poligamma 12 Enlaces externos

• Función Gamma Recíproca
• Wikimedia Commons alberga contenido multi-
• Fórmula de Stirling
media sobre Función gamma. Commons
• Función Trigamma

12.1 Sitios web

11 Referencias • Ejemplos de problemas que involucran a la Función
Gamma en Exampleproblems.com (en inglés).
[1] George Allen, and Unwin, Ltd., The Universal Encyclope-
dia of Mathematics. United States of America, New Ame- • Cephes - Librería de funciones especiales matemá-
rican Library, Simon and Schuster, Inc., 1964. (Forward ticas de C y C++ (en inglés).
by James R. Newman)
• Fast Factorial Functions - Varios algoritmos.

11.1 Bibliografía utilizada • Approximation Formulas - Aproximaciones.

• Artin, Emil (2006). «Exposition by Emil Artin: a se- • Evaluador de la función Gamma de Wolfram con
lection». En Rosen, Michael. The Gamma function. precisión arbitraria.
History of Mathematics (Providence, RI: American
• Volume of n-Spheres and the Gamma Function en
Mathematical Society) (30).
MathPages (en inglés).
• Davis, Philip J. (1959). «Leonhard Euler’s Integral:
• Herramienta online para obtener gráficas de funcio-
A Historical Profile of the Gamma Function». Am.
nes que contiene a la función Gamma.
Math. Monthly (66): 849–869.
• Haible, Bruno; Papanikolaou, Thomas (1997). «Fast • Calculadora Función gamma
multiprecision evaluation of series of rational num-
bers». Technical Report (Darmstadt University of
Technology) (TI-7/97).
• Havil, Julian (2003). Gamma, Exploring Euler’s
Constant. ISBN 0-691-09983-9.
• Sebah, Pascal; Gourdon, Xavier. «Introduction to
the Gamma Function».Formato HTML

11.2 Bibliografía adicional

• Abramowitz, Milton; Stegun, Irene A., eds. (1972).
Handbook of Mathematical Functions with Formu-
las, Graphs, and Mathematical Tables. Nueva York:
Dover.
• Arfken, G.; Weber, H. (2000). «Chapter 10».
Mathematical Methods for Physicists. Har-
court/Academic Press.
• Hochstadt, Harry (1986). «Chapter 3». The Fun-
ctions of Mathematical Physics. Nueva York: Dover.
• Press, W.H.; Flannery, B.P.; Teukolsky, S.A.; Vet-
terling, W.T. (1988). «Section 6.1». Numerical Re-
cipes in C. Cambridge, UK: Cambridge University
Press.
• Murray R. Spiegel: Transformadas de Laplace, edi-
ciones Schaumm.
• Makárenko, Krasnov y Kiselev: Funciones de varia-
ble compleja, Cálculo operacional, Teoría de la esta-
bilidad, editorial Mir.
6 13 ORIGEN DEL TEXTO Y LAS IMÁGENES, COLABORADORES Y LICENCIAS

13 Origen del texto y las imágenes, colaboradores y licencias

13.1 Texto
• Función gamma Fuente: https://es.wikipedia.org/wiki/Funci%C3%B3n_gamma?oldid=88736794 Colaboradores: Pino, Sabbut, Cdlfd,
Sms, Tano4595, Renabot, Rembiapo pohyiete (bot), Maltusnet, Further (bot), RobotQuistnix, Chobot, Yrbot, YurikBot, KnightRider, C-
3POrao, Kn, CEM-bot, Mister, Davius, Ingenioso Hidalgo, Thijs!bot, JAnDbot, TXiKiBoT, Ishu 2, Alefisico, Jtico, VolkovBot, Technopat,
BlackBeast, Muro Bot, Gerakibot, SieBot, Parodrilo, Pascow, PixelBot, Alexbot, Juan Mayordomo, Raulshc, Shalbat, LucienBOT, Masti-
Bot, Luckas-bot, Kurt86, Nallimbot, DSisyphBot, El que siembra, Xqbot, Jkbw, Rubinbot, FrescoBot, Raidezero, Foundling, GrouchoBot,
Invadibot, René Vápeník, Gdqhadqsn, Bibliofilotranstornado, Minsbot, Makecat-bot, Ralgisbot, Legobot, X2y3, NinoBot y Anónimos: 45

13.2 Imágenes
• Archivo:Commons-logo.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/4/4a/Commons-logo.svg Licencia: Public do-
main Colaboradores: This version created by Pumbaa, using a proper partial circle and SVG geometry features. (Former versions used
to be slightly warped.) Artista original: SVG version was created by User:Grunt and cleaned up by 3247, based on the earlier PNG version,
created by Reidab.
• Archivo:Complex_gamma.jpg Fuente: https://upload.wikimedia.org/wikipedia/commons/6/61/Complex_gamma.jpg Licencia: Public
domain Colaboradores: made with mathematica, own work Artista original: Jan Homann
• Archivo:Gamma_abs_3D.png Fuente: https://upload.wikimedia.org/wikipedia/commons/3/33/Gamma_abs_3D.png Licencia: CC BY-
SA 3.0 Colaboradores: Trabajo propio Artista original: Geek3
• Archivo:Gamma_plot.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/5/52/Gamma_plot.svg Licencia: CC-BY-SA-3.0
Colaboradores: This image was created with gnuplot. Artista original: Alessio Damato

13.3 Licencia del contenido

• Creative Commons Attribution-Share Alike 3.0