Función gamma
En matemáticas, la función gamma (representada por Γ, la letra mayúscula gamma del alfabeto griego) es una extensión comúnmente utilizada del factorial Función a números complejos. La función gamma se define para todos los números complejos excepto los enteros no positivos. Para cada entero positivo n,
Derivada por Daniel Bernoulli, para números complejos con una parte real positiva, la función gamma se define a través de una integral impropia convergente:
La función gamma entonces se define como la continuación analítica de esta función integral a una función meromórfica que es holomorfa en todo el plano complejo excepto el cero y los enteros negativos, donde la función tiene polos simples.
La función gamma no tiene ceros, por lo que la función gamma recíproca 1 /Γ(z) es una función completa. De hecho, la función gamma corresponde a la transformada de Mellin de la función exponencial negativa:
Existen otras extensiones de la función factorial, pero la función gamma es la más popular y útil. Es un componente de varias funciones de distribución de probabilidad y, como tal, es aplicable en los campos de probabilidad y estadística, así como en combinatoria.
Motivación
La función gamma puede verse como una solución al siguiente problema de interpolación:
- "Encontrar una curva suave que conecta los puntos()x, Sí.) dado por Sí. =x - 1). en los valores enteros positivos parax."
Un gráfico de los primeros factoriales deja claro que se puede dibujar una curva de este tipo, pero sería preferible tener una fórmula que describa con precisión la curva, en la que el número de operaciones no dependa del tamaño de x. ¡La fórmula simple para el factorial, x! = 1 × 2 × ⋯ × x, no se puede usar directamente para valores no enteros de x ya que solo es válido cuando x es un número natural (o entero positivo). En términos relativos, no existen soluciones tan simples para los factoriales; ninguna combinación finita de sumas, productos, potencias, funciones exponenciales o logaritmos será suficiente para expresar x!; pero es posible encontrar una fórmula general para factoriales utilizando herramientas como integrales y límites del cálculo. Una buena solución a esto es la función gamma.
Hay infinitas extensiones continuas del factorial a números no enteros: se pueden dibujar infinitas curvas a través de cualquier conjunto de puntos aislados. La función gamma es la solución más útil en la práctica, siendo analítica (excepto en los números enteros no positivos), y se puede definir de varias formas equivalentes. Sin embargo, no es la única función analítica que extiende el factorial, ya que le agrega cualquier función analítica que sea cero en los enteros positivos, como k sin mπx para un entero m, dará otra función con esa propiedad. Tal función se conoce como función pseudogamma, siendo la más famosa la función de Hadamard.
Una propiedad más restrictiva que satisfacer la interpolación anterior es satisfacer la relación de recurrencia que define una versión traducida de la función factorial,
para cualquier número real positivo x. Pero esto permitiría la multiplicación por cualquier función g()x) satisfaciendo ambos g()x) g()x+1) para todos los números reales x y g(0) = 1, como la función g()x) e k pecado 2mπx. Una de varias maneras de resolver la ambigüedad viene del teorema Bohr-Mollerup. Dice que cuando la condición f ser logaritmically convex (o "super-convex", significa que es convex) se añade, determina únicamente f para entradas positivas y reales. Desde allí, la función gamma se puede extender a todos los valores reales y complejos (excepto los enteros negativos y cero) utilizando la continuación analítica única de f.
Definición
Definición principal
La notación es debido a Legendre. Si la parte real del número complejoz es estrictamente positivo (), entonces el integral
converge absolutamente, y se conoce como la integral de Euler de segunda especie. (La integral de Euler del primer tipo es la función beta). Usando la integración por partes, se ve que:
Reconociendo que como
Podemos calcular :
Dado que y
para todos los enteros positivos n. Esto puede verse como un ejemplo de demostración por inducción.
La identidad se puede utilizar (o, dando el mismo resultado, la continuación analítica se puede utilizar) para ampliar únicamente la formulación integral para a una función meromorfa definida para todos los números complejos z, excepto números inferiores o iguales a cero. Es esta versión extendida que se conoce comúnmente como la función gamma.
Definiciones alternativas
La definición de Euler como producto infinito
Cuando busca aproximarse para un número complejo , es eficaz para el primer cálculo para un entero grande . Use eso para aproximar un valor para , y luego utilizar la relación de recursión al revés tiempos, para desenrollarlo a una aproximación para . Además, esta aproximación es exacta en el límite como va al infinito.
Específicamente, para un entero fijo , es el caso de que
Si no es un entero entonces no es posible decir si esta ecuación es verdadera porque todavía no hemos definido (en esta sección) la función factorial para los no-integers. Sin embargo, tenemos una extensión única de la función factorial a los no-integers insistiendo en que esta ecuación continúe manteniendo cuando el entero arbitrario es reemplazado por un número complejo arbitrario .
Multiplicar ambos lados por da
Este producto infinito converge para todos los números complejos excepto los enteros negativos, que fallan porque intentan usar la relación de recursión a través del valor implica una división por cero.
Del mismo modo para la función gamma, la definición como un producto infinito debido a Euler es válida para todos los números complejos excepto los enteros no positivos:
Por esta construcción, la función gamma es la función única que se satisface simultáneamente , para todos los números complejos excepto los enteros no positivos, y para todos los números complejos .
Definición de Weierstrass
La definición de la función gamma debida a Weierstrass también es válida para todos los números complejos z excepto los números enteros no positivos:
Donde es la constante Euler-Mascheroni. Este es el producto de Hadamard en una forma reescrita. Ciertamente, desde está completo del género 1 con un simple cero , tenemos la representación del producto
donde el producto está sobre los ceros de . Desde tiene postes simples en los enteros no positivos, sigue tiene ceros simples en los enteros no positivos, y por lo tanto la ecuación anterior se convierte en fórmula de Weierstrass con en lugar de . La derivación de las constantes y es algo técnico, pero se puede lograr utilizando algunas identidades que implican la función Riemann zeta (véase esta identidad, por ejemplo). Vea también el teorema de factorización Weierstrass.
Propiedades
Generales
Otras ecuaciones funcionales importantes para la función gamma son la fórmula de reflexión de Euler
lo que implica
y la fórmula de duplicación de Legendre
Derivación de la fórmula de reflexión de Euler |
---|
Desde la función gamma se puede representar como Integración por partes rendimientos de tiempos que es igual a Esto puede ser reescrito como Podemos utilizar esto para evaluar el lado izquierdo de la fórmula de reflexión: Puede probarse que Entonces... La fórmula de reflexión de Euler sigue: |
Derivación de la fórmula de duplicación Legendre |
---|
La función beta puede ser representada como Ajuste rendimientos Después de la sustitución nosotros La función es incluso, por lo tanto Ahora asume Entonces... Esto implica Desde la fórmula de duplicación Legendre sigue: |
La fórmula de duplicación es un caso especial del teorema de la multiplicación (Ver, Ec. 5.5.6)
Una propiedad simple pero útil, que se puede ver en la definición de límite, es:
En particular, con z = a + bi, este producto es
Si la parte real es un número entero o un medio entero, esto se puede expresar finitamente en forma cerrada:
Prueba de fórmulas de valor absoluto para argumentos de parte real entero o medio entero |
---|
Primero, considere la fórmula de reflexión aplicada a . Aplicando la relación de recurrencia al segundo mandato, tenemos que con simple reorganización da Segundo, considere la fórmula de reflexión aplicada a . Formulas para otros valores para el cual la parte real es entero o medio entero rápidamente sigue por inducción utilizando la relación recurrencia en las direcciones positivas y negativas. |
Quizás el valor más conocido de la función gamma en un argumento no entero es
que se puede encontrar por en las fórmulas de reflexión o duplicación, utilizando la relación con la función beta que se da a continuación , o simplemente haciendo la sustitución en la definición integral de la función gamma, dando como resultado una integral gasiana. En general, para valores enteros no negativos tenemos:
donde el doble factorial . Ver Valores particulares de la función gamma para valores calculados.
Podría ser tentador generalizar el resultado de que buscando una fórmula para otros valores individuales Donde es racional, especialmente porque según el teorema digamma de Gauss, es posible hacerlo por la función digamma estrechamente relacionada a cada valor racional. Sin embargo, estos números no se sabe que son expresibles por sí mismos en términos de funciones elementales. Se ha demostrado que es un número trascendental y algebraicamente independiente de para cualquier entero y cada una de las fracciones . En general, al calcular los valores de la función gamma, debemos establecernos para aproximaciones numéricas.
Las derivadas de la función gamma se describen en términos de la función poligamma, ψ(0)(z):
Para un entero positivo m, la derivada de la función gamma se puede calcular de la siguiente manera:
donde H(m) es el m-ésimo número armónico y γ es la constante de Euler-Mascheroni.
Para el th derivative of the gamma function is:
(Esto puede derivarse diferenciando la forma integral de la función gamma con respecto a , y utilizando la técnica de diferenciación bajo el signo integral.)
Uso de la identidad
Donde es la función Riemann zeta, y es una partición de dado por
tenemos en particular la expansión en serie de Laurent de la función gamma
Desigualdades
Cuando se restringe a los números reales positivos, la función gamma es una función estrictamente logarítmicamente convexa. Esta propiedad puede expresarse de cualquiera de las siguientes tres formas equivalentes:
- Para cualquier dos números reales positivos y , y para cualquier ,
- Para cualquier dos números reales positivos y , y ■
- Para cualquier número real positivo ,
La última de estas declaraciones es, esencialmente por definición, la misma que la declaración de que , donde es la función poligamma del orden 1. Para probar la convexidad logarítmica de la función gamma, basta observar que tiene una representación de serie que, para positivo real x, consta de sólo términos positivos.
La convexidad logarítmica y la desigualdad de Jensen juntos implican, para cualquier número real positivo y ,
También hay límites en las proporciones de las funciones gamma. La más conocida es la desigualdad de Gautschi, que dice que para cualquier número real positivo x y cualquier s ∈ (0, 1),
Fórmula de Stirling
El comportamiento de para una variable real positiva creciente es dada por la fórmula de Stirling
donde el símbolo significa convergencia asintotica; la proporción de los dos lados converge a 1 en el límite . Este crecimiento es más rápido que exponencial, , por cualquier valor fijo .
Otro límite útil para aproximaciones asintoticas es:
Residuos
El comportamiento para no positivo es más intrincado. La integral de Euler no converge para , pero la función que define en el complejo positivo medio plano tiene una continuación analítica única al medio plano negativo. Una manera de encontrar que la continuación analítica es utilizar la integral de Euler para argumentos positivos y extender el dominio a números negativos mediante la aplicación repetida de la fórmula de recurrencia,
elegir tales que es positivo. El producto en el denominador es cero cuando equivale a cualquiera de los enteros . Así, la función gamma debe ser indefinida en esos puntos para evitar la división por cero; es una función meromorfa con postes simples en los enteros no positivos.
Para una función de una variable compleja , en un poste simple , el residuo de es dado por:
Para el poste simple reescribimos la fórmula de recurrencia como:
El numerador a es
y el denominador
Entonces, los residuos de la función gamma en esos puntos son:
La función gamma no es cero en todas partes a lo largo de la línea real, aunque viene arbitrariamente cerca de cero como z →. De hecho, no hay número complejo para la cual , y por lo tanto la función gamma recíproca es una función completa, con ceros a .
Mínimas y máximas
(feminine)En la línea real, la función gamma tiene un mínimo local en zmin ≈ +1.46163214496836234126 donde alcanza el valor Γ(zmin) ≈ +0.885603194410888 70027. La función gamma se eleva a ambos lados de este mínimo. La solución a Γ(z − 0.5) = Γ(z + 0.5) es z = +1.5 y el valor común es Γ(1) = Γ(2) = +1. La solución positiva de Γ(z − 1) = Γ(z + 1) es z = φ ≈ +1,618, la proporción áurea y el valor común es Γ(φ − 1) = Γ(φ + 1) = φ! ≈ +1.44922960226989660037.
La función gamma debe alternar el signo entre sus polos en los enteros no positivos porque el producto en la recurrencia delantera contiene un número impar de factores negativos si el número de polos entre y es extraño, y un número incluso si el número de polos es incluso. Los valores extremos de la función Gamma entre los enteros no positivos son .-0.50408300826454938526...) -3.54464361115500508912..., .-1.57349847316239045877...) 2.30240725833968013582..., .-2.61072086844414465000...) -0.88813635840124192009..., .-3.63529336643690109783...) 0.24512753983436625043..., .-4.65323776174314244171...) -0.05277963958731940076..., etc.
Representaciones integrales
Hay muchas fórmulas, además de la integral de Euler de segundo tipo, que expresan la función gamma como una integral. Por ejemplo, cuando la parte real de z es positiva,
y
Donde denota el logaritmo complejo.
La primera fórmula integral de Binet para la función gamma establece que, cuando la parte real de z es positiva, después:
La integral del lado derecho puede interpretarse como una transformada de Laplace. Es decir,
La segunda fórmula integral de Binet establece que, de nuevo, cuando la parte real de z es positiva, entonces:
Vamos C ser un contorno de Hankel, que significa un camino que comienza y termina en el punto JUEGO en la esfera Riemann, cuyo vector tangente unidad converge a −1 al inicio del camino y a 1 al final, que tiene viento número 1 alrededor 0, y que no cruza [0, ∞]. Arreglar una rama de tomando una rama cortada [0, ∞] y tomando ser real cuando t está en el eje real negativo. Assume z no es un entero. Entonces la fórmula de Hankel para la función gamma es:
Donde se interpreta como . La fórmula de reflexión conduce a la expresión estrechamente relacionada
de nuevo válido siempre que z no sea un número entero.
Representación de fracciones continuas
La función gamma también se puede representar mediante la suma de dos fracciones continuas:
Donde .
Expansión de la serie Fourier
El logaritmo de la función gamma tiene la siguiente expansión de serie Fourier para
que durante mucho tiempo se atribuyó a Ernst Kummer, quien la derivó en 1847. Sin embargo, Iaroslav Blagouchine descubrió que Carl Johan Malmsten derivó esta serie por primera vez en 1842.
Fórmula de Raabe
En 1840, Joseph Ludwig Raabe demostró que
En particular, si entonces
Este último se puede derivar tomando el logaritmo en la fórmula de multiplicación anterior, que da una expresión para la suma Riemann del integrado. Tomando el límite da la fórmula.
Función Pi
Una notación alternativa que fue introducida originalmente por Gauss es la - Función, que, en términos de la función gamma, es
así para cada entero no negativo .
Usando la función pi, la fórmula de reflexión toma la forma
donde sinc es la función sinc normalizada, mientras que el teorema de la multiplicación adopta la forma
A veces también encontramos
que es una función completa, definida para cada número complejo, al igual que la función gamma recíproca. Que es entera implica que no tiene polos, así que , como No tiene ceros.
El volumen de un n-elipsoide con radios r1, …, r n se puede expresar como
Relación con otras funciones
- En la primera parte superior, que define la función gamma, se fijan los límites de la integración. Las funciones de gamma incompleta superior e inferior son las funciones obtenidas permitiendo que el límite inferior o superior (respectivamente) de la integración varíe.
- La función gamma está relacionada con la función beta por la fórmula
- El derivado logarítmico de la función gamma se llama función digamma; los derivados superiores son las funciones de poligamma.
- El análogo de la función gamma sobre un campo finito o un anillo finito son las sumas gaisianas, un tipo de suma exponencial.
- La función gamma recíproca es toda una función y se ha estudiado como un tema específico.
- La función gamma también aparece en una relación importante con la función Riemann zeta, . También aparece en la siguiente fórmula:que es válido sólo para . El logaritmo de la función gamma satisface la siguiente fórmula debido a Lerch:Donde es la función Hurwitz zeta, es la función Riemann zeta y la primera (.) denota diferenciación en la primera variable.
- La función gamma está relacionada con la función exponencial estirada. Por ejemplo, los momentos de esa función son
Valores particulares
Incluyendo hasta los primeros 20 dígitos después del punto decimal, algunos valores particulares de la función gamma son:
(Consulte las secuencias A245886, A019707, A002161, A019704, A245884 y A245885 en el OEIS). La función gamma de valor complejo no está definida para enteros no positivos, pero en estos casos el valor se puede definir en la esfera de Riemann como ∞. La función gamma recíproca está bien definida y es analítica en estos valores (y en todo el plano complejo):
La función log-gamma
Debido a que las funciones gamma y factorial crecen tan rápidamente para argumentos moderadamente grandes, muchos entornos informáticos incluyen una función que devuelve el logaritmo natural de la función gamma (a menudo denominada lgamma
o lngamma
en entornos de programación o gammaln
en hojas de cálculo); esto crece mucho más lentamente, y para cálculos combinatorios permite sumar y restar logaritmos en lugar de multiplicar y dividir valores muy grandes. A menudo se define como
La función digamma, que es la derivada de esta función, también se ve comúnmente. En el contexto de aplicaciones técnicas y físicas, p. con la propagación de la onda, la ecuación funcional
se utiliza a menudo ya que permite determinar los valores de función en una tira de ancho 1 en z de la franja vecina. En particular, comenzando con una buena aproximación para unz con gran parte real uno puede ir paso a paso hacia abajo al deseadoz. Siguiendo una indicación de Carl Friedrich Gauss, Rocktaeschel (1922) propuesto para una aproximación para grande Re(z):
Esto se puede usar para aproximar con precisión ln(Γ(z)) para z con una Re(z) vía más pequeña (P.E.Böhmer, 1939)
Se puede obtener una aproximación más precisa utilizando más términos de las expansiones asintóticas de ln(Γ(z)) y Γ(z), que se basan en la aproximación de Stirling.
- como SilenciozSilencio → constante Silencioarg(z)TENIDO ANTERIOR. (Ver secuencias A001163 y A001164 en el OEIS.)
De una forma más "natural" presentación:
- como SilenciozSilencio → constante Silencioarg(z)TENIDO ANTERIOR. (Ver secuencias A046968 y A046969 en el OEIS.)
Los coeficientes de los términos con k > 1 de z1−k en la última expansión son simplemente
donde Bk son los números de Bernoulli.
La función Gamma también tiene la Serie de Stirling (derivada por Charles Hermite en 1900) igual a
Propiedades
El teorema de Bohr-Mollerup establece que entre todas las funciones que extienden las funciones factoriales a los números reales positivos, solo la función gamma es log-convexa, es decir, su logaritmo natural es convexo en el eje real positivo. Otra caracterización viene dada por el teorema de Wielandt.
En cierto sentido, la función ln(Γ) es la forma más natural; hace que algunos atributos intrínsecos de la función sean más claros. Un ejemplo llamativo es la serie de Taylor de ln(Γ) alrededor de 1:
con ζ(k) que denota la función zeta de Riemann en k.
Entonces, usando la siguiente propiedad:
podemos encontrar una representación integral para la función ln(Γ):
o, estableciendo z = 1 para obtener una integral para γ< /span>, podemos reemplazar el término γ con su integral e incorporarlo en la fórmula anterior, para obtener:
También existen fórmulas especiales para el logaritmo de la función gamma para racionalizar z. Por ejemplo, si y son enteros con y entonces
ver. Esta fórmula a veces se usa para cálculos numéricos, ya que el integrando disminuye muy rápidamente.
Integración sobre log-gamma
La integral
se puede expresar en términos de la función G de Barnes (consulte la función G de Barnes para ver una prueba):
donde Re(z) > −1.
También se puede escribir en términos de la función zeta de Hurwitz:
Cuando sigue que
y esto es una consecuencia de la fórmula de Raabe también. O. Espinosa y V. Moll deriva una fórmula similar para la parte integral del cuadrado :
Donde es .
D. H. Bailey y sus coautores dieron una evaluación para
cuando en términos de la función Tornheim-Witten zeta y sus derivados.
Además, también se sabe que
Aproximaciones
Los valores complejos de la función gamma se pueden aproximar usando la aproximación de Stirling o la aproximación de Lanczos,
Esto es preciso en el sentido de que la proporción de la aproximación al valor real se aproxima a 1 en el límite como |z| va hasta el infinito.
La función gamma se puede calcular a precisión fija para aplicando la integración por partes a la integral de Euler. Para cualquier número positivox la función gamma se puede escribir
Cuando Re(z). y , el valor absoluto de la última integral es menor que . Eligiendo un lo suficientemente grande , esta última expresión se puede hacer más pequeña que para cualquier valor deseado. Así, la función gamma se puede evaluar para bits de precisión con la serie anterior.
E.A. construyó un algoritmo rápido para el cálculo de la función gamma de Euler para cualquier argumento algebraico (incluido el racional). Karatsuba.
Para argumentos que son múltiplos enteros de 1/24, la función gamma también se puede evaluar rápidamente usando iteraciones de media aritmética-geométrica (ver valores particulares de la función gamma).
Aplicaciones
Un autor describe la función gamma como "Posiblemente, la función especial más común, o la menos 'especial' de ellos. Las otras funciones trascendentales […] se denominan 'especiales' porque posiblemente podría evitar algunos de ellos al mantenerse alejado de muchos temas matemáticos especializados. Por otro lado, la función gamma Γ(z) es la más difícil de evitar."
Problemas de integración
La función gamma encuentra aplicación en áreas tan diversas como la física cuántica, la astrofísica y la dinámica de fluidos. La distribución gamma, que se formula en términos de la función gamma, se utiliza en estadística para modelar una amplia gama de procesos; por ejemplo, el tiempo entre ocurrencias de terremotos.
La razón principal de la utilidad de la función gamma en tales contextos es la prevalencia de expresiones del tipo que describen procesos que se descomponen exponencialmente en tiempo o espacio. Los integrales de tales expresiones pueden resolverse ocasionalmente en términos de la función gamma cuando no existe una solución elemental. Por ejemplo, si f es una función de potencia y g es una función lineal, un simple cambio de variables da la evaluación
El hecho de que la integración se realice a lo largo de toda la línea real positiva podría significar que la función gamma describe la acumulación de un proceso dependiente del tiempo que continúa indefinidamente, o el valor podría ser el total de una distribución en un espacio infinito.
Por supuesto, con frecuencia es útil tomar límites de integración distintos de 0 y ∞ para describir la acumulación de un proceso finito, en cuyo caso la función gamma ordinaria ya no es una solución; la solución se llama entonces función gamma incompleta. (La función gamma ordinaria, obtenida mediante la integración a lo largo de toda la línea real positiva, a veces se denomina función gamma completa por contraste).
Una categoría importante de funciones que decaen exponencialmente es la de las funciones gaussianas
e integrales, como la función de error. Hay muchas interrelaciones entre estas funciones y la función gamma; en particular, el factor obtenido mediante evaluación es el "iguo" que se encuentra en el factor normalizador de la función de error y la distribución normal.
Las integrales que hemos discutido hasta ahora involucran funciones trascendentales, pero la función gamma también surge de integrales de funciones puramente algebraicas. En particular, las longitudes de arco de las elipses y de la lemniscata, que son curvas definidas por ecuaciones algebraicas, vienen dadas por integrales elípticas que en casos especiales pueden evaluarse en términos de la función gamma. La función gamma también se puede utilizar para calcular el "volumen" y "área" de hiperesferas n-dimensionales.
Cálculo de productos
La capacidad de la función gamma para generalizar productos factoriales lleva inmediatamente a aplicaciones en muchas áreas de las matemáticas; en combinatoria, y por extensión en áreas como la teoría de probabilidades y el cálculo de series de potencias. Muchas expresiones que involucran productos de enteros sucesivos se pueden escribir como una combinación de factoriales, siendo quizás el ejemplo más importante el del coeficiente binomial
El ejemplo de los coeficientes binomiales explica por qué las propiedades de la función gamma cuando se extienden a números negativos son naturales. Un coeficiente binomial proporciona el número de formas de elegir k elementos de un conjunto de n elementos; si k > n, por supuesto que no hay manera. Si k > n, (n − k)! es el factorial de un entero negativo y, por lo tanto, infinito si usamos la definición de función gamma de factoriales: dividir por infinito da el valor esperado de 0.
Podemos reemplazar el factorial por una función gamma para extender cualquier fórmula de este tipo a los números complejos. En general, esto funciona para cualquier producto en el que cada factor sea una función racional de la variable índice, al factorizar la función racional en expresiones lineales. Si P y Q son polinomios mónicos de grado m y n con raíces respectivas < abarcan clase="texhtml">p1, …, pm y q1, …, qn, tenemos
Si tenemos una forma de calcular numéricamente la función gamma, es muy fácil calcular los valores numéricos de dichos productos. El número de funciones gamma en el lado derecho depende únicamente del grado de los polinomios, por lo que no importa si b − a es igual a 5 o 105. Al tomar los límites apropiados, también se puede hacer que la ecuación se mantenga incluso cuando el producto de la izquierda contiene ceros o polos.
Al tomar límites, ciertos productos racionales con infinitos factores también pueden evaluarse en términos de la función gamma. Debido al teorema de factorización de Weierstrass, las funciones analíticas se pueden escribir como productos infinitos y, a veces, se pueden representar como productos finitos o cocientes de la función gamma. Ya hemos visto un ejemplo sorprendente: la fórmula de reflexión representa esencialmente la función seno como el producto de dos funciones gamma. Partiendo de esta fórmula, tanto la función exponencial como todas las funciones trigonométricas e hiperbólicas se pueden expresar en términos de la función gamma.
Aún se pueden representar más funciones, incluida la función hipergeométrica y sus casos especiales, mediante integrales de contorno complejas de productos y cocientes de la función gamma, denominadas integrales de Mellin-Barnes.
Teoría analítica de números
Una aplicación de la función gamma es el estudio de la función zeta de Riemann. Una propiedad fundamental de la función zeta de Riemann es su ecuación funcional:
Entre otras cosas, esto proporciona una forma explícita para la continuación analítica de la función zeta a una función meromórfica en el plano complejo y conduce a una prueba inmediata de que la función zeta tiene infinitas funciones llamadas "triviales. 34; ceros en la recta real. Borwein et al. llaman a esta fórmula "uno de los descubrimientos más bellos de las matemáticas". Otro contendiente por ese título podría ser
Ambas fórmulas fueron derivadas por Bernhard Riemann en su artículo seminal de 1859 "Ueber die Anzahl der Primzahlen unter einer gegebenen Größe" ("Sobre el número de primos menores que una magnitud dada"), uno de los hitos en el desarrollo de la teoría analítica de números, la rama de las matemáticas que estudia los números primos utilizando las herramientas del análisis matemático. Los números factoriales, considerados como objetos discretos, son un concepto importante en la teoría clásica de números porque contienen muchos factores primos, pero Riemann encontró un uso para su extensión continua que podría decirse que resultó ser aún más importante.
Historia
La función gamma ha captado el interés de algunos de los matemáticos más destacados de todos los tiempos. Su historia, especialmente documentada por Philip J. Davis en un artículo que le valió el premio Chauvenet en 1963, refleja muchos de los principales avances en las matemáticas desde el siglo XVIII. En palabras de Davis, "cada generación ha encontrado algo interesante que decir sobre la función gamma. Quizás la próxima generación también lo haga."
Siglo XVIII: Euler y Stirling
El problema de extender el factorial a argumentos no enteros aparentemente fue considerado por primera vez por Daniel Bernoulli y Christian Goldbach en la década de 1720. En particular, en una carta de Bernoulli a Goldbach del 6 de octubre de 1729, Bernoulli introdujo la representación del producto
Leonard Euler luego dio dos definiciones diferentes: la primera no era su integral sino un producto infinito que está bien definido para todos los números complejos n otra que los enteros negativos,
De lo cual informó a Goldbach en una carta fechada el 13 de octubre de 1729. Volvió a escribir a Goldbach el 8 de enero de 1730 para anunciarle su descubrimiento de la representación integral.
que es válido cuando la parte real del número complejo n es estrictamente mayor que −1 (es decir, ). Por el cambio de variables t = s, esto se convierte en la familiar integral Euler. Euler publicó sus resultados en el documento "De progressionibus transcendentibus seu quarum termini general algebraice dari nequeunt" ("Sobre progresiones trascendentales, es decir, aquellos cuyos términos generales no se pueden dar algebraicamente"), presentado a la Academia de San Petersburgo el 28 de noviembre de 1729. Euler descubrió algunas de las propiedades funcionales importantes de la función gamma, incluyendo la fórmula de reflexión.
James Stirling, un contemporáneo de Euler, también intentó encontrar una expresión continua para el factorial e ideó lo que ahora se conoce como la fórmula de Stirling. Aunque la fórmula de Stirling da una buena estimación de n!, también para números no enteros, no proporciona el valor exacto. Las extensiones de su fórmula que corrigen el error fueron dadas por el propio Stirling y por Jacques Philippe Marie Binet.
Siglo XIX: Gauss, Weierstrass y Legendre
Carl Friedrich Gauss reescribió el producto de Euler como
y usé esta fórmula para descubrir nuevas propiedades de la función gamma. Aunque Euler fue un pionero en la teoría de variables complejas, no parece haber considerado el factorial de un número complejo, como lo hizo Gauss por primera vez. Gauss también demostró el teorema de la multiplicación de la función gamma e investigó la conexión entre la función gamma y las integrales elípticas.
Karl Weierstrass estableció aún más el papel de la función gamma en el análisis complejo, a partir de otra representación del producto,
donde γ es la constante de Euler-Mascheroni. Weierstrass originalmente escribió su producto como uno para 1/Γ, en cuyo caso se toma los ceros de la función en lugar de sus polos. Inspirado por este resultado, demostró lo que se conoce como el teorema de factorización de Weierstrass: que cualquier función completa puede escribirse como un producto sobre sus ceros en el plano complejo; una generalización del teorema fundamental del álgebra.
El nombre función gamma y el símbolo Γ fueron introducidos por Adrien-Marie Legendre alrededor de 1811; Legendre también reescribió la definición integral de Euler en su forma moderna. Aunque el símbolo es una gamma griega mayúscula, no existe un estándar aceptado sobre si el nombre de la función debe escribirse "función gamma" o "Función gamma" (Algunos autores simplemente escriben "Γ-función"). La "función pi" alternativa notación Π(z) = z! debida a Gauss a veces se encuentra en la literatura más antigua, pero Legendre's la notación es dominante en las obras modernas.
Se justifica preguntar por qué distinguemos entre el "factorial ordinario" y la función gamma utilizando símbolos distintos, y en particular por qué la función gamma debe ser normalizada para .n + 1) n! en lugar de simplemente usar ".n) n!". Considere que la notación para los exponentes, xn, se ha generalizado de números enteros a números complejos xz sin ningún cambio. La motivación de Legendre para la normalización no parece ser conocida, y ha sido criticada como engorrosa por algunos (el matemático del siglo XX Cornelius Lanczos, por ejemplo, lo llamó "voide de cualquier racionalidad" y en cambio usaría z!). La normalización de Legendre simplifica algunas fórmulas, pero complica a otros. Desde un punto de vista moderno, la normalización Legendre de la función Gamma es la parte integral del carácter aditivo e−x contra el carácter multiplicativo xz con respecto a la medida de Haar en el grupo Lie R+. Así, esta normalización hace más claro que la función gamma es un análogo continuo de una suma Gauss.
Siglos XIX y XX: caracterización de la función gamma
Es algo problemático que se haya dado una gran cantidad de definiciones para la función gamma. Aunque describen la misma función, no es del todo sencillo probar la equivalencia. Stirling nunca probó que su fórmula extendida corresponda exactamente a la función gamma de Euler; Charles Hermite dio por primera vez una prueba en 1900. En lugar de encontrar una prueba especializada para cada fórmula, sería deseable tener un método general para identificar la función gamma.
Una forma de demostrarlo sería encontrar una ecuación diferencial que caracterice la función gamma. La mayoría de las funciones especiales en matemáticas aplicadas surgen como soluciones a ecuaciones diferenciales, cuyas soluciones son únicas. Sin embargo, la función gamma no parece satisfacer ninguna ecuación diferencial simple. Otto Hölder demostró en 1887 que la función gamma al menos no satisface ninguna ecuación diferencial algebraica al mostrar que una solución a tal ecuación no podría satisfacer la fórmula de recurrencia de la función gamma, convirtiéndola en una función trascendentalmente trascendental. Este resultado se conoce como teorema de Hölder.
No se proporcionó una caracterización definitiva y de aplicación general de la función gamma hasta 1922. Harald Bohr y Johannes Mollerup demostraron entonces lo que se conoce como el teorema de Bohr-Mollerup: que la función gamma es la única solución a la relación de recurrencia factorial que es positiva y logarítmicamente convexa para z positivo y cuyo valor es 1 es 1 (una función es logarítmicamente convexa si su logaritmo es convexo). Otra caracterización viene dada por el teorema de Wielandt.
El teorema de Bohr-Mollerup es útil porque es relativamente fácil probar la convexidad logarítmica para cualquiera de las diferentes fórmulas utilizadas para definir la función gamma. Yendo más allá, en lugar de definir la función gamma mediante una fórmula en particular, podemos elegir las condiciones del teorema de Bohr-Mollerup como definición y luego elegir cualquier fórmula que nos guste que satisfaga las condiciones como punto de partida para estudiar la función gamma.. Este enfoque fue utilizado por el grupo Bourbaki.
Borwein & Corless revisa tres siglos de trabajo sobre la función gamma.
Tablas de referencia y software
Aunque la función gamma se puede calcular prácticamente con la misma facilidad que cualquier función matemáticamente más simple con una computadora moderna, incluso con una calculadora de bolsillo programable, por supuesto, no siempre fue así. Hasta mediados del siglo XX, los matemáticos se basaban en tablas hechas a mano; en el caso de la función gamma, en particular una tabla calculada por Gauss en 1813 y otra calculada por Legendre en 1825.
Tablas de valores complejos de la función gamma, así como gráficos dibujados a mano, se proporcionaron en Tablas de funciones con fórmulas y curvas de Jahnke y Emde
, publicado por primera vez en Alemania en 1909. Según Michael Berry, "la publicación en J&E de un El gráfico dimensional que muestra los polos de la función gamma en el plano complejo adquirió un estatus casi icónico."De hecho, había poca necesidad práctica de algo más que valores reales de la función gamma hasta la década de 1930, cuando se descubrieron aplicaciones para la función gamma compleja en la física teórica. A medida que las computadoras electrónicas estuvieron disponibles para la producción de tablas en la década de 1950, se publicaron varias tablas extensas para la función gamma compleja para satisfacer la demanda, incluida una tabla con una precisión de 12 decimales de la Oficina Nacional de Normas de EE. UU.
Las implementaciones de punto flotante de precisión doble de la función gamma y su logaritmo ahora están disponibles en la mayoría de los programas informáticos científicos y las bibliotecas de funciones especiales, por ejemplo, TK Solver, Matlab, GNU Octave y GNU Scientific Library. La función gamma también se agregó a la biblioteca estándar de C (math.h). Las implementaciones de precisión arbitraria están disponibles en la mayoría de los sistemas de álgebra computacional, como Mathematica y Maple. PARI/GP, MPFR y MPFUN contienen implementaciones gratuitas de precisión arbitraria. La función factorial de la Calculadora de Windows devuelve Γ(x+1) cuando la entrada x no es un valor entero.