Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Funcion Gamma PDF
Funcion Gamma PDF
La Función Gamma
Variable Compleja
Matricula: 09-6110
1/25/2011
Trabajo Final
2|Pagina
La Función Gamma
La función gamma fue introducida por primera vez por el matemático suizo Leonhard
Euler (1707-1783), con el objetivo de generalizar la función factorial a valores no enteros.
Más tarde, por su gran importancia, esta fue estudiada por matemáticos eminentes tales
como Adrien-Marie Legendre (1752-1833), Carl Friedrich Gauss (1777-1855), Christoph
Gudermann (1798-1852), Joseph Liouville (1809-1882), Karl Weierstrass (1815-1897),
Charles Hermite (1822-1901),…. al igual que muchos otros.
Definición de Gamma
La función gamma completa, Γ(n), es definida como una extensión de la función factorial
de argumentos de números complejos y reales. Esta está relacionada por
Esta es analítica en todas partes excepto en z = 0, -1, -2, ….y el residuo en z = -k, es
3|Pagina
Gamma como Integral Definida
Durante los años 1729 y 1730, Euler introdujo una función analítica la cual tiene la
propiedad de interpolar el factorial cada vez que el argumento de la función sea un
entero. En 1730, Euler propuso en una carta a Christian Goldbach, la siguiente definición:
(2)
Por cambios de variables elementales, esta definición toma formas más usuales:
, (3)
o algunas veces,
(4)
o también,
(5)
De aquí vemos que la función gamma es analítica y está bien definida para z > 0 ( y mas
generalmente para números complejos z con la parte real positiva).
Las derivadas pueden ser deducidas diferenciando debajo del signo de la integral de (3):
(6)
4|Pagina
Una ilustración presentada en el sitio de Wolfram, es el ploteo de la parte real e
imaginaria en el plano complejo, de Γ(z).
Ecuación Funcional
(7)
Para valores enteros, la ecuación funcional se vuelve, Γ(n+1) = n! y es por esto mismo, que
la función Gamma puede ser vista como una extensión de la función factorial de números
reales positivos no nulos.
5|Pagina
Como este trabajo de investigación, ha sido desarrollado bajo un margen de tiempo
escaso, solo podemos referir al lector, para que revise los teoremas y pruebas en las
referencias [1][2].
Y por ejemplo, Γ(-1/2) = -2 Γ(1/2). Esta identidad, nos permite definir la función gamma en
todo el eje real x, excepto sobre los valores negativos (0, -1, -2,….). Para cualquier entero n
no nulo, tenemos que
(8)
Asi que Γ(x) posee polos simples en enteros negativos –n con residuo (-1)^n/n! (vea ploteo
a continuación). De hecho, por la relación de (8), la función gamma puede ser definida en
todo el plano complejo.
Para conocer otras definiciones equivalentes dadas por Euler en 1729, vea referencia [1] y
[3].
6|Pagina
Formula Gamma de Weiers
Weierstrass
La relación
(9)
7|Pagina
Luego sigue la forma de Weierstrass, de la función Gamma:
Teorema (Weierstrass):
Para cualquier número real x, excepto sobre los enteros negativos (0, -1, -2,…), tenemos el
siguiente producto infinito
(9)
En este producto, podemos ver que la constante de Euler está profundamente relacionada
con la función gamma, y los polos son claramente los enteros negativos o el cero. De
acuerdo con Godefroy [4], la constante de Euler, en la teoría de la función gamma, juega
un rol similar como π en la teoría de funciones circulares y trigonométricas.
Excepto para los valores enteros de x=n, para el cual Γ(n) = Γ(n-1)!, algunos valores no
enteros tienen forma cerrada.
La ecuación funcional (7), se establece para valores enteros positivos n; podemos ver
algunos valores especiales para estos valores n:
(10)
8|Pagina
Y para valores negativos
Ninguna expresión básica es conocida para Γ(1/3) y Γ(1/4), pero fue probado que aquellos
números son transcendentales (respectivamente por Le Lionnais en 1983 y
Chudnovsky en 1984).
Γ( 1/2) = 1.77245385090551602729816748334114518279754945612238...
Γ ( 1/3) = 2.67893853470774763365569294097467764412868937795730...
Γ ( 1/4) = 3.62560990822190831193068515586767200299516768288006...
Γ ( 1/5) = 4.59084371199880305320475827592915200343410999829340...
Para más detalles, de otras computaciones a millones de dígitos, ver referencia [6].
La formula complemento
Existe una importante identidad, que conecta la función gamma con los valores
complementarios x y 1-x. Una forma de obtener este resultado, es a partir de la formula
de Weierstrass (9), la cual resulta en
9|Pagina
Y usando un producto infinito bien conocido:
Finalmente,
(11)
La relación (11), es la formula del complemento o reflexión, y es válida cuando x y 1-x son
no negativos o nulos; esta fue descubierta por Euler.
Si aplicamos esta fórmula para los valores x=1/2, x=1/3, x=1/4, encontramos que
La formula de multiplicación
Esta fórmula es debido a Gauss; esta se basa en un teorema para el caso especial con n=2
del resultado más general:
Otros temas relacionados, como la formula de duplicación de Legendre, ver [1] y [3].
10 | P a g i n a
Es de interés, estudiar como la función gamma se ha de comportar, cuando el argumento
x se hace muy grande. Si restringimos el argumento x a valores enteros n, el siguiente
resultado de gran importancia, es debido a James Stirling y Abraham de Moivre [1]:
Para ver las pruebas de esta fórmula de Stirling, vea [1] y [3].
Para estimar la función gamma cerca de un punto, es posible usar algunas expansiones en
series en este punto. Antes de hacerlo, necesitamos introducir una nueva función, la cual
está relacionada con la derivada de la función gamma.
Muchas de las series que envuelven la función gamma y sus derivadas, pueden ser
obtenidas a partir de la formula de Weierstrass. Tomando el logaritmo en ambos lados de
la formula de Weierstrass (9), encontramos la relación básica siguiente
(12)
Digamma
Definición: La psi, o función digamma, denotada por ψ(x), está definida para cualquier
valor no nulo o entero negativo, por la derivada logarítmica de Γ(x); esto es:
11 | P a g i n a
(13)
Poligamma
(14)
(n),
Y ψn = ψ son las funciones polygamma:
ψ0(x) = ψ(x)
Observando que para (14), con x>0, ψ’(x) > 0, por lo tanto, esta es una función
monótona sobre el eje positivo; por lo que la función log(Γ(x)) es convexa en x>0.
Ψ(1) = −γ,
Ψ1(1) = ζ(2)=π2/6,
12 | P a g i n a
Ψ2(1) = −2ζ(3),
Ψn(1) = (−1)n+1n!ζ(n+1),
Γ′(n) 1
Ψ(n) =
Γ(n)
= −γ+ ∑ n−1
p
(15)
p=1
= −γ+Hn−1.
El valor ψ(1/2) puede ser computado directamente, usando (13) o desde la formula de
duplicación (no tratada aquí; ver [1]) con x=1/2;
13 | P a g i n a
Así que la constante de Euler, es el valor opuesto a la derivada de la función gamma en
x=1.
Integrales de Euler-Mascheroni
Y de la (14), obtenemos
Ψ′(1)Γ2(1)+Γ′2(1) = Γ(1)Γ′′(1)
Por tanto,
Continuando de esta forma, con las demás derivadas, obtenemos las integrales de Euler-
Mascheroni:
1 2
Γ(3)(1) = −γ3− π γ−2ζ(3),
2
3 4
Γ(4)(1) = γ4+π2γ2+8ζ(3)γ+ π,
20
5 2 3 3 10
Γ(5)(1) = −γ5− π γ −20ζ(3)γ2− π4γ−24ζ(5)− ζ(3)π2,
3 4 3
Otras identidades e integrales obtenidas a partir de gamma y sus derivadas, pueden ser
consultadas en [1], [2], y [3].
14 | P a g i n a
Aporte Investigativo sobre la función Gamma
La teoría de funciones gamma, despierta una nueva rama matemática, similar al cálculo;
esto implica que esta teoría es un cálculo moderno, y a través de la misma, se pueden
construir muchas nuevas teorías de funciones las cuales se pueden medir con un nuevo
enfoque.
Para realizar un aporte significativo, necesitaría por obligación, suficiente tiempo para
poder jugar con todas estas identidades y valores especiales de gamma, para luego llegar
a conclusiones que realmente puedan aportar algo significativo, al desarrollo de la teoría
de funciones gamma.
Otro posible aporte, seria en el campo de Matemática Experimiental; la idea sería buscar
convergencia de funciones existentes, mediante la combinación de las identidades de
digammas y poligammas, estas junto a la función zeta de Riemman. Los resultados pueden
ser obtenidos en un tiempo prudente, con ayuda de software de análisis numérico y
simbólico, usando computadoras.
Por el momento, solo me resta decir, que esta teoría es muy interesante, y es un campo
de investigación muy motivador, para futuro (como en el caso de preparar una tesis).
15 | P a g i n a
Conclusión
La función gamma, y la constante gamma, son los pilares del nuevo cálculo, el cual ha de
desarrollarse con unos sólidos fundamentos. Vimos que existen valores gamma que han
sido probados a ser transcendentales, y vimos la relación de la constante gamma con la
función gamma, en su forma de producto infinito.
Este es un tema que merece un estudio profundo y serio, para poder obtener resultados y
aplicaciones a otras áreas.
16 | P a g i n a
Bibliografía
2. La Función Gamma
http://mathworld.wolfram.com/GammaFunction.html
6. X. Gourdon and P. Sebah, Numbers, Constants and Computation, el sitio web esta en este
link: http://numbers.computation.free.fr/Constants/constants.html, (1999)
17 | P a g i n a