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)! } {\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γ zn=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.