Función gamma
En matemáticas, la función gamma (denotada como , donde es la letra griega gamma en mayúscula), es una aplicación que extiende el concepto de factorial a los números reales y complejos. La notación fue propuesta por Adrien-Marie Legendre. Si la parte real del número complejo es positiva, entonces la integral
converge absolutamente; esta integral puede ser extendida a todo el plano complejo, excepto a los enteros negativos y al cero. Si entonces
lo que nos muestra la relación de esta función con el factorial. De hecho, la función gamma extiende el concepto de factorial a cualquier valor complejo de . La función gamma aparece en varias funciones de distribución de probabilidad, por lo que es bastante usada tanto en probabilidad y estadística como en combinatoria.
Definición clásica
Si la parte real del número complejo es positiva , entonces la integral
converge absolutamente. Usando integración por partes, se obtiene la siguiente propiedad:
Esta ecuación funcional generaliza la relación del factorial. Se puede evaluar analíticamente:
Combinando estos dos resultados se deduce que el factorial es un caso particular de la función gamma:
para los enteros no negativos .
La función Gamma es una función meromorfa de con polos simples en y residuos .[1] Estas propiedades pueden ser usadas para extender desde su definición inicial a todo el plano complejo (exceptuando los puntos en los cuales es singular) por continuación analítica.
Definiciones alternativas
Las siguientes definiciones de la función gamma mediante productos infinitos, debidas a Euler y Weierstrass respectivamente, son vigentes en todo el plano complejo , excepto para valores enteros negativos:
donde es la constante de Euler-Mascheroni.
Es sencillo comprobar que la definición de Euler satisface la ecuación funcional, dada arriba, como sigue. Sea
También puede obtenerse la siguiente representación integral:
Obtención de la ecuación funcional usando integración por partes
Encontrar es algo fácil:
Luego se obtiene una fórmula para como una función de :
Usamos integración por partes para resolver la integral:
En el límite inferior se obtiene directamente .
En el infinito, usando la regla de L'Hôpital veces:
.
Por lo que se anula el primer término, , lo que nos da el siguiente resultado:
La parte derecha de la ecuación es exactamente , con lo que hemos obtenido una relación de recurrencia:
- .
Apliquemos la fórmula a unos pocos valores:
Propiedades
De la representación integral se obtiene:
.
Otras ecuaciones funcionales importantes de la función Gamma son la fórmula de reflexión de Euler
y la fórmula de duplicación
La fórmula de duplicación es un caso especial del teorema de multiplicación
Una propiedad básica y muy útil de la función Gamma , que puede obtenerse a partir de la definición mediante productos infinitos de Euler es:
Varios límites útiles para aproximaciones asintóticas:
Quizá el valor más conocido de la función Gamma con argumento no entero es:
La cual puede obtenerse haciendo en la fórmula 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 con o haciendo la sustitución en la definición integral de la función Gamma, con lo que se obtiene una integral Gaussiana. En general, para valores impares de se tiene:
( impar)
donde !! denota al doble factorial. Las derivadas de la función Gamma vienen dadas por la función poligamma. Por ejemplo:
A partir de la representación integral de la función Gamma, se obtiene que su derivada -ésima es:
La función Gamma tiene un polo de orden 1 en para todo número entero no negativo . El residuo en cada polo es:
El teorema de Bohr-Mollerup dice que, entre todas las funciones que generalizan el factorial de los números naturales a los reales, sólo la función Gamma es logarítmicamente convexa, esto es, el logaritmo natural de la función Gamma es una función convexa.
El desarrollo en Serie de Laurent de para valores 0 < < 1 es:
Donde es la función zeta de Riemann.
Función Pi
Gauss introdujo una notación alternativa de la función Gamma denominada función Pi, que en términos de la función Gamma es:
Así, la relación de esta función Pi con el factorial es bastante más natural que en el caso de la función Gamma:
La fórmula de la reflexión toma la siguiente forma:
Donde sinc es la función sinc normalizada, el teorema de la multiplicación se escribe así:
A veces se encuentra la siguiente definición
donde es una función entera, definida para todo número complejo, pues no tiene polos. La razón de ello es que la función Gamma y, por tanto, la función Pi, no tienen ceros.
Relación con otras funciones
- En la representación integral de la función Gamma, tanto el límite superior como el inferior de la integración están fijados. La función gamma incompleta superior e inferior se obtienen modificando los límites de integración superior o inferior respectivamente.
- La función Gamma está relacionada con la función beta por la siguiente fórmula
- La derivada logarítmica de la función Gamma es la función digamma . Las derivadas de mayor orden son las funciones poligamma .
- El análogo de la función Gamma sobre un cuerpo finito o un anillo finito son las sumas gaussianas, un tipo de suma exponencial.
- La función gamma inversa es la inversa de la función gamma, que es una función entera.
- La función Gamma aparece en la definición integral de la función zeta de Riemann :
Fórmula válida sólo si . También aparece en la ecuación funcional de :
Valores de la función Gamma
Aproximaciones
La función Gamma se puede calcular numéricamente con precisión arbitraria usando la fórmula de Stirling, la aproximación de Lanczos o la aproximación de Spouge.
Para argumentos que sean múltiplos enteros de 1/24, la función Gamma puede ser evaluada rápidamente usando iteraciones de medias aritmético geométricas (véase Valores de la función Gamma).
Debido a que tanto la función Gamma como el factorial crecen muy rápidamente para argumentos moderadamente grandes, muchos programas de computación incluyen funciones que devuelven el logaritmo de la función Gamma. Este crece más lentamente, y en cálculos combinatorios es muy útil, pues se pasa de multiplicar y dividir grandes valores a sumar o restar sus logaritmos.
Aplicaciones de la función gamma
Cálculo fraccionario
La -ésima derivada de (donde n es un número natural) se puede ver de la siguiente manera:
como entonces
donde puede ser cualquier número donde gamma esté definido o se pueda definir mediante límites. De esta manera se puede calcular por ejemplo, la 1/2 derivada de , de e inclusive de una constante :
Véase también
- Función beta
- Teorema de Bohr-Mollerup
- Función digamma
- Función gamma elíptica
- Factorial
- Función gamma de Hadamard
- Distribución Gamma
- Constante de Gauss
- Función gamma incompleta
- Aproximación de Lanczos
- Función gamma multivariable
- Símbolo de Pochhammer
- k - símbolo de Pochhammer
- Función poligamma
- Función Gamma Recíproca
- Fórmula de Stirling
- Función Trigamma
Referencias
- ↑ George Allen, and Unwin, Ltd., The Universal Encyclopedia of Mathematics. United States of America, New American Library, Simon and Schuster, Inc., 1964. (Forward by James R. Newman)
Bibliografía utilizada
- Artin, Emil (2006). «Exposition by Emil Artin: a selection». En Rosen, Michael, ed. The Gamma function. History of Mathematics (Providence, RI: American Mathematical Society) (30).
- Davis, Philip J. (1959). «Leonhard Euler's Integral: A Historical Profile of the Gamma Function». Am. Math. Monthly (66): 849-869.
- Haible, Bruno; Papanikolaou, Thomas (1997). «Fast multiprecision evaluation of series of rational numbers». Technical Report (Darmstadt University of Technology) (TI-7/97). Archivado desde el original el 30 de junio de 2006. Consultado el 12 de agosto de 2008.
- Havil, Julian (2003). Gamma, Exploring Euler's Constant. ISBN 0-691-09983-9.
- Sebah, Pascal; Gourdon, Xavier. «Introduction to the Gamma Function».Formato HTML
Bibliografía adicional
- Abramowitz, Milton; Stegun, Irene A., eds. (1972). Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables. Nueva York: Dover.
- Arfken, G.; Weber, H. (2000). «Chapter 10». Mathematical Methods for Physicists. Harcourt/Academic Press.
- Hochstadt, Harry (1986). «Chapter 3». The Functions of Mathematical Physics. Nueva York: Dover.
- Press, W.H.; Flannery, B.P.; Teukolsky, S.A.; Vetterling, W.T. (1988). «Section 6.1». Numerical Recipes in C. Cambridge, UK: Cambridge University Press.
- Murray R. Spiegel: Transformadas de Laplace, ediciones Schaumm.
- Makárenko, Krasnov y Kiselev: Funciones de variable compleja, Cálculo operacional, Teoría de la estabilidad, editorial Mir.
Enlaces externos
- Wikimedia Commons alberga una categoría multimedia sobre Función gamma.
Sitios web
- Ejemplos de problemas que involucran a la Función Gamma en Exampleproblems.com (en inglés).
- Cephes - Librería de funciones especiales matemáticas de C y C++ (en inglés).
- Fast Factorial Functions - Varios algoritmos.
- Approximation Formulas - Aproximaciones.
- Evaluador de la función Gamma de Wolfram con precisión arbitraria.
- Volume of n-Spheres and the Gamma Function en MathPages (en inglés).
- Herramienta en línea para obtener gráficas de funciones que contiene a la función Gamma.
- Calculadora Función gamma