En matemáticas, la función gamma (Γ(z)) es una extensión de la función factorial a todos los números complejos excepto los enteros negativos. ¡Para los números enteros positivos, se define como Γ ( n ) = ( n - 1 ) ! ¡{\displaystyle \Gamma (n)=(n-1)! }
La función gamma está definida para todos los números complejos. Pero no está definida para los enteros negativos y el cero. Para un número complejo cuya parte real no es un entero negativo, la función está definida por:
Definición integral y continuidad analítica
Representación integral (para Re(z) > 0):
Γ(z) = ∫0∞ tz−1 e−t dt, válida cuando la parte real de z es positiva. Esta integral da la definición clásica y es la base para la extensión de Γ por continuidad analítica al plano complejo salvo en los enteros no positivos.
Propiedades básicas
- Relación de recurrencia: Γ(z+1) = z Γ(z). Esta identidad es la que garantiza que Γ(n) = (n−1)! para enteros positivos n.
- Continuación analítica: La integral anterior define Γ en Re(z) > 0; la relación de recurrencia permite extenderla meromorficamente al resto del plano complejo, apareciendo poles simples en z = 0, −1, −2, …
- Polos y residuos: Γ tiene polos simples en los enteros no positivos. El residuo en z = −n (n = 0, 1, 2, …) es Res(Γ, z = −n) = (−1)n/n!.
- No tiene ceros: Γ(z) es una función meromorfa sin ceros en todo el plano complejo.
Fórmulas fundamentales
- Fórmula de reflexión (Euler):
Γ(z) Γ(1−z) = π / sin(π z). Esta identidad relaciona los valores de Γ en puntos simétricos respecto a 1/2 y es útil para evaluar valores en la mitad negativa del plano. - Producto de Weierstrass / Fórmula de Euler:
1/Γ(z) = z eγ z ∏n=1∞ (1 + z/n) e−z/n, donde γ es la constante de Euler–Mascheroni. Esta expresión muestra la naturaleza entera de 1/Γ y es útil en análisis complejo. - Relación con la función beta:
B(x,y) = ∫01 tx−1 (1−t)y−1 dt = Γ(x) Γ(y) / Γ(x+y), para Re(x), Re(y) > 0. Esto vincula integrales de tipo Beta con la Gamma y aparece frecuentemente en estadística y teoría de probabilidades.
Valores especiales y aproximaciones
- Medias enteras y semienteras: Γ(1/2) = √π; para enteros no negativos n, Γ(n + 1/2) = ( (2n)! / (4n n!) ) √π, y en particular Γ(3/2) = (1/2) √π.
- Fórmula asintótica de Stirling:
Para |z| → ∞ en sectores que evitan el eje negativo, Γ(z) ~ √(2π) zz−1/2 e−z (1 + O(1/z)). Esta aproximación es fundamental para estimar factoriales grandes y aparece en combinatoria y física estadística. - Función digamma y poligamma:
La derivada logarítmica de Γ define la función digamma ψ(z) = Γ′(z)/Γ(z), y las derivadas superiores son las funciones poligamma. Son útiles para series, suma de potencias y en teoría de la información.
Aspecto complejo y aplicaciones
La función gamma es meromorfa en el plano complejo, con polos simples en 0, −1, −2, … y sin ceros. Gracias a su relación con la función beta y a su continuidad analítica, aparece en numerosas áreas:
- Teoría de la probabilidad: definiciones y propiedades de la distribución gamma, la beta y otras distribuciones continuas.
- Combinatoria y análisis asintótico: extensión del factorial a no enteros y estimaciones con la fórmula de Stirling.
- Física matemática y teoría cuántica de campos: regularizaciones y constantes que involucran integrales gamma.
- Análisis complejo: construcción de funciones especiales mediante productos y fórmulas funcionales.
Ejemplos rápidos
- Γ(1) = 0! = 1.
- Γ(4) = 3! = 6.
- Γ(1/2) = √π ≈ 1.77245…
- Γ(3/2) = (1/2) √π ≈ 0.88623….
En resumen, la función gamma es una extensión natural y profundamente útil del factorial al plano complejo, con ricas propiedades analíticas (recurrencia, reflexión, producto infinito, polos simples) y numerosas aplicaciones en matemáticas, estadísticas y física.

