Función Gamma na exa real.

Módulu de la función gamma nel planu complexu.

En matemátiques, la función gamma (denotada como ${\displaystyle \scriptstyle \Gamma (z)\,\!}$, onde ${\displaystyle \scriptstyle \Gamma }$ ye la escritura en mayúscula de la lletra gamma del alfabetu griegu) ye una aplicación qu'estiende'l conceutu de factorial a los númberos complexos. La notación foi propuesta por Adrien-Marie Legendre. Si la parte real del númberu complexu ${\displaystyle z}$ ye positiva, entós la integral

${\displaystyle \Gamma (z)=\int _{0}^{\infty }t^{z-1}y^{-t}\,dt}$

converxe absolutamente; esta integral puede ser estendida a tol planu complexu, sacante a los enteros negativos y al cero. Si ${\displaystyle n}$ ye un enteru positivu, entós

${\displaystyle \Gamma (n)=(n-1)!\,}$

lo que nos amuesa la rellación d'esta función col factorial. Ello ye que la función gamma estiende'l conceutu de factorial a cualquier valor complexu de ${\displaystyle z}$. La función gamma apaez en delles funciones de distribución de probabilidá, polo que ye bastante usada tantu en probabilidá y estadística como en combinatoria.

Definición clásica

La función gamma nel planu complexu.

Si la parte real del númberu complexu ${\displaystyle z}$ ye positiva (Re(${\displaystyle z}$) > 0), entós la integral

${\displaystyle \Gamma (z)=\int _{0}^{\infty }t^{z-1}y^{-t}\,dt\,\!}$

converxe absolutamente. Usando la integración por partes, llógrase la siguiente propiedá:

${\displaystyle \Gamma (z+1)=z\,\Gamma (z)}$

Esta ecuación funcional xeneraliza la rellación ${\displaystyle n!=n(n-1)!}$ del factorial. Puede evaluase ${\displaystyle \Gamma (1)}$ analíticamente:

${\displaystyle \Gamma (1)=\int _{0}^{\infty }y^{-t}dt=\lim _{k\rightarrow \infty }\left.-y^{-t}\right|_{0}^{k}=-0-(-1)=1.}$

Combinando estos dos resultaos deduzse que'l factorial ye un casu particular de la función gamma:

${\displaystyle \Gamma (n+1)=n\,\Gamma (n)=\cdots =n!\,\Gamma (1)=n!\,}$

pa los enteros non negativos ${\displaystyle n}$.

La función Gamma ye una función meromorfa de ${\displaystyle z\in \mathbb {C} }$ con polos simples en ${\displaystyle z=-n\,\,(n=0,\,1,\,2,\,3,\,\dots )}$ y residuos ${\displaystyle \operatorname {Res} (\Gamma (z),-n)={\frac {(-1)^{n}}{n!}}}$.^[1] Estes propiedaes pueden ser usaes pa estender ${\displaystyle \Gamma (z)}$ dende la so definición inicial a tol planu complexu (quitando los puntos nos cualos ye singular) por continuación analítica.

Definiciones alternatives

Les siguientes definiciones de la función gamma por aciu productos infinitos, debíes a Euler y Weierstrass respeutivamente, son vixentes en tol planu complexu ${\displaystyle z}$, sacante para valores enteros negativos:

${\displaystyle \Gamma (z)=\lim _{n\to \infty }{\frac {n!\;n^{z}}{z\,(z+1)\cdots (z+n)}}={\frac {1}{z}}\prod _{n=1}^{\infty }{\frac {\left(1+{\frac {1}{n}}\right)^{z}}{1+{\frac {z}{n}}}}}$

${\displaystyle \Gamma (z)={\frac {y^{-\gamma z}}{z}}\prod _{n=1}^{\infty }\left(1+{\frac {z}{n}}\right)^{-1}y^{z/n}}$

onde ${\displaystyle \gamma }$ ye la constante de Euler-Mascheroni.

Ye senciellu comprobar que la definición de Euler satisfai la ecuación funcional, dada enriba, como sigue. Sía ${\displaystyle z\neq 0,\,-1,\,-2,\,-3,\,\dots }$

${\displaystyle {\begin{aligned}\Gamma (z+1)&=\lim _{n\to \infty }{\frac {n!\;n^{z+1}}{(z+1)\;(z+2)\cdots (z+1+n)}}\\&=\lim _{n\to \infty }\left(z\;{\frac {n!\;n^{z}}{z\;(z+1)\;(z+2)\cdots (z+n)}}\;{\frac {n}{(z+1+n)}}\right)\\&=z\;\Gamma (z)\;\lim _{n\to \infty }{\frac {n}{(z+1+n)}}\\&=z\;\Gamma (z).\\\end{aligned}}}$

Tamién puede llograse la siguiente representación integral:

${\displaystyle \Gamma (z+1)=\int _{0}^{\infty }y^{-t^{1/z}}\,dt.\,\!}$

Llogru de la ecuación funcional usando integración por partes

Atopar ${\displaystyle \Gamma (1)}$ ye daqué fácil:

${\displaystyle \Gamma (1)=\int _{0}^{\infty }y^{-x}x^{1-1}dx=\int _{0}^{\infty }y^{-x}dx=-y^{-\infty }-(-y^{0})=0-(-1)=1}$

Depués llógrase una fórmula pa ${\displaystyle \Gamma (n+1)}$ como una función de ${\displaystyle \Gamma (n)}$:

${\displaystyle \Gamma (n+1)=\int _{0}^{\infty }y^{-x}x^{n+1-1}dx=\int _{0}^{\infty }y^{-x}x^{n}dx}$

Usamos integración por partes pa resolver la integral:

${\displaystyle \int _{0}^{\infty }y^{-x}x^{n}dx=\left[{\frac {-x^{n}}{y^{x}}}\right]_{0}^{\infty }+n\int _{0}^{\infty }y^{-x}x^{n-1}dx}$

Na llende inferior llógrase direutamente ${\displaystyle {\frac {-0^{n}}{y^{0}}}={\frac {0}{1}}=0}$.

Nel infinitu, usando la regla de L'Hôpital ${\displaystyle n}$ vegaes:

${\displaystyle \lim _{x\rightarrow \infty }{\frac {-x^{n}}{y^{x}}}=\lim _{x\rightarrow \infty }{\frac {-n!}{y^{x}}}=0}$.

Polo que s'anula'l primer términu, ${\displaystyle \left[{\frac {-x^{n}}{y^{x}}}\right]_{0}^{\infty }}$, lo que nos da la siguiente resultancia:

${\displaystyle \Gamma (n+1)=n\int _{0}^{\infty }y^{-x}x^{n-1}dx}$

La parte derecha de la ecuación ye esautamente ${\displaystyle n\Gamma (n)}$, colo que llogremos una rellación de recurrencia:

${\displaystyle \Gamma (n+1)=n\Gamma (n)}$.

Apliquemos la fórmula a unos pocos valores:

${\displaystyle \Gamma (2)=\Gamma (1+1)=1\Gamma (1)=1!=1\,}$

${\displaystyle \Gamma (3)=\Gamma (2+1)=2\Gamma (2)=2\cdot 1!=2!=2\,}$

${\displaystyle \Gamma (4)=\Gamma (3+1)=3\Gamma (3)=3\cdot 2!=3!=6\,}$

${\displaystyle \Gamma (n+1)=n\Gamma (n)=n\cdot (n-1)!=n!}$

Propiedaes

De la representación integral llógrase:

${\displaystyle \lim _{z\to 0^{+}}\Gamma (z)=\lim _{z\to 0^{+}}{\frac {\Gamma (z+1)}{z}}=\infty }$.

Otres ecuaciones funcionales importantes de la función Gamma son la fórmula de reflexón de Euler

${\displaystyle \Gamma (1-z)\;\Gamma (z)={\pi \over \sin {(\pi z)}}\,\!}$

y la fórmula de duplicación

${\displaystyle \Gamma (z)\;\Gamma \left(z+{\frac {1}{2}}\right)=2^{1-2z}\;{\sqrt {\pi }}\;\Gamma (2z).\,\!}$

La fórmula de duplicación ye un casu especial del teorema de multiplicación

${\displaystyle \Gamma (z)\;\Gamma \left(z+{\frac {1}{m}}\right)\;\Gamma \left(z+{\frac {2}{m}}\right)\cdots \Gamma \left(z+{\frac {m-1}{m}}\right)=(2\pi )^{(m-1)/2}\;m^{1/2-mz}\;\Gamma (mz).\,\!}$

Una propiedá básica y bien útil de la función Gamma , que puede llograse a partir de la definición por aciu productos infinitos de Euler ye:

${\displaystyle {\overline {\Gamma (z)}}=\Gamma ({\overline {z}})\,\!}$

Delles llendes útiles p'aproximamientos asintóticas:

${\displaystyle \lim _{n\to \infty }{\frac {\Gamma (n+\alpha )}{\Gamma (n)n^{\alpha }}}=1,\quad \lim _{n\to \infty }{\frac {\Gamma (n-\alpha )\Gamma (n+\alpha )}{\Gamma (n-\beta )\Gamma (n+\beta )}}=1;\qquad \alpha ,\beta \in \mathbb {R} }$

Quiciabes el valor más conocíu de la función Gamma con argumentu non enteru ye:

${\displaystyle \Gamma \left({\frac {1}{2}}\right)={\sqrt {\pi }},\,\!}$

La cual puede llograse faciendo ${\displaystyle z=1/2}$ na fórmula de reflexón o na fórmula de duplicación, usando la rellación de la función Gamma cola función beta dada más embaxo con ${\displaystyle x=y=1/2}$ o faciendo la sustitución ${\displaystyle o={\sqrt {t}}}$ na definición integral de la función Gamma, colo que se llogra una integral Gaussiana. Polo xeneral, pa valores impares de ${\displaystyle n}$ tiense:

${\displaystyle \Gamma \left({\frac {n}{2}}+1\right)={\sqrt {\pi }}\,{\frac {n!!}{2^{(n+1)/2}}}}$    (${\displaystyle n}$ impar)

onde ${\displaystyle n}$!! denota al doble factorial. Les derivaes de la función Gamma vienen daes pola función poligamma. Por casu:

${\displaystyle \Gamma '(z)=\Gamma (z)\psi _{0}(z).\,\!}$

A partir de la representación integral de la función Gamma, llógrase que la so derivada ${\displaystyle n}$-ésima ye:

${\displaystyle {d^{n} \over (dx)^{n}}\,\Gamma (x)=\int _{0}^{\infty }t^{x-1}y^{-t}\ln ^{n}t\,dt.}$

La función Gamma tien un polu d'orde 1 en ${\displaystyle z=-n}$ pa tou númberu enteru non negativu . El residuu en cada polu ye:

${\displaystyle \operatorname {Res} (\Gamma ,-n)={\frac {(-1)^{n}}{n!}}.\,\!}$

El teorema de Bohr-Mollerup diz que, ente toles funciones que xeneralicen el factorial de los númberos naturales a los reales, namái la función Gamma ye logarítmicamente convexa, esto ye, el llogaritmu natural de la función Gamma ye una función convexa.

El desenvolvimientu en Serie de Laurent de ${\displaystyle \Gamma (z)}$ pa valores 0 < ${\displaystyle z}$ < 1 ye:

${\displaystyle \Gamma (z)\approx {\frac {1}{z}}-\gamma +\left[{\frac {\gamma ^{2}}{2!}}+{\frac {\zeta (2)}{2}}\right]z+\left[{\frac {\gamma ^{3}}{3!}}+{\frac {\zeta (2)}{2}}\gamma +{\frac {\zeta (3)}{3}}\right]z^{2}+\dots }$

Onde ${\displaystyle \zeta (n)}$ ye la función zeta de Riemann.

Función Pi

Gauss introdució una notación alternativa de la función Gamma denominada función Pi, qu'en términos de la función Gamma ye:

${\displaystyle \Pi (z)=\Gamma (z+1)=z\;\Gamma (z),\,\!}$

Asina, la rellación d'esta función Pi col factorial ye abondo más natural que nel casu de la función Gamma:

${\displaystyle \Pi (n)=n!.\!}$

La fórmula de la reflexón toma la siguiente forma:

${\displaystyle \Pi (z)\;\Pi (-z)={\frac {\pi z}{\sin(\pi z)}}={\frac {1}{\operatorname {sinc} (z)}}\,\!}$

Onde sinc ye la función sinc normalizada, el teorema de la multiplicación escríbese asina:

${\displaystyle \Pi \left({\frac {z}{m}}\right)\,\Pi \left({\frac {z-1}{m}}\right)\cdots \Pi \left({\frac {z-m+1}{m}}\right)=\left({\frac {(2\pi )^{m}}{2\pi m}}\right)^{1/2}\,m^{-z}\,\Pi (z).\,\!}$

Dacuando atópase la siguiente definición

${\displaystyle \pi (z)={\frac {1}{\Pi (z)}},\,\!}$

onde ${\displaystyle \pi (z)}$ ye una función entera, definida pa tou númberu complexu, pos nun tien polos. La razón d'ello ye que la función Gamma y, poro, la función Pi, nun tienen ceros.

Rellación con otres funciones

• Na representación integral de la función Gamma, tantu la llende cimera como l'inferior de la integración tán fitos. La función gamma incompleta cimera ${\displaystyle \gamma (a,x)}$ ya inferior ${\displaystyle \Gamma (a,x)}$ llógrense modificando les llendes d'integración cimera o inferior respeutivamente.

${\displaystyle \Gamma (a,x)=\int _{x}^{\infty }t^{a-1}\,y^{-t}\,dt.\,\!}$

${\displaystyle \gamma (a,x)=\int _{0}^{x}t^{a-1}\,y^{-t}\,dt.\,\!}$

• La función Gamma ta rellacionada cola función beta pola siguiente fórmula

${\displaystyle \mathrm {B} (x,y)={\frac {\Gamma (x)\;\Gamma (y)}{\Gamma (x+y)}}.\,\!}$

• La derivada logarítmica de la función Gamma ye la función digamma ${\displaystyle \psi ^{(0)}(z)}$. Les derivaes de mayor orde son les funciones poligamma ${\displaystyle \psi ^{(n)}(z)}$.

${\displaystyle \psi (x)=\psi ^{0}(x)={\frac {\Gamma '(x)}{\Gamma (x)}}}$

${\displaystyle \psi ^{(n)}(x)=\left({\frac {d}{dx}}\right)^{n}\psi (x)=\left({\frac {d}{dx}}\right)^{n+1}\log \Gamma (x)}$

• L'análogu de la función Gamma sobre un cuerpu finito o un aniellu finito son les sumas gaussianas, un tipu de suma esponencial.
• La función gamma inversa ye la inversa de la función gamma, que ye una función entera.
• La función Gamma apaez na definición integral de la función zeta de Riemann ${\displaystyle \zeta (z)}$:

${\displaystyle \zeta (z)={\frac {1}{\Gamma (z)}}\int _{0}^{\infty }{\frac {o^{z-1}}{y^{o}-1}}\;\mathrm {d} o\,\!.}$

Fórmula válida namái si ${\displaystyle \operatorname {Re} (z)>1}$. Tamién apaez na ecuación funcional de ${\displaystyle \zeta (z)}$:

${\displaystyle \pi ^{-z/2}\;\Gamma \left({\frac {z}{2}}\right)\zeta (z)=\pi ^{-{\frac {1-z}{2}}}\;\Gamma \left({\frac {1-z}{2}}\right)\;\zeta (1-z).}$

Valores de la función Gamma

${\displaystyle {\begin{array}{lll}\Gamma (-3/2)&={\frac {4{\sqrt {\pi }}}{3}}&\approx 2,363\\\Gamma (-1/2)&=-2{\sqrt {\pi }}&\approx -3,545\\\Gamma (1/2)&={\sqrt {\pi }}&\approx 1,772\\\Gamma (1)&=0!&=1\\\Gamma (3/2)&={\frac {\sqrt {\pi }}{2}}&\approx 0,886\\\Gamma (2)&=1!&=1\\\Gamma (5/2)&={\frac {3{\sqrt {\pi }}}{4}}&\approx 1,329\\\Gamma (3)&=2!&=2\\\Gamma (7/2)&={\frac {15{\sqrt {\pi }}}{8}}&\approx 3,323\\\Gamma (4)&=3!&=6\\\end{array}}}$

Aproximamientos

La función Gamma puede calculase numbéricamente con precisión arbitraria usando la fórmula de Stirling, l'aproximamientu de Lanczos o l'aproximamientu de Spouge.

P'argumentos que sían múltiplos enteros de 1/24, la función Gamma puede ser evaluada rápido usando iteraciones de medies aritméticu xeométriques (vease Valores de la función Gamma).

Por cuenta de que tantu la función Gamma como'l factorial crecen bien rápido p'argumentos moderadamente grandes, munchos programes de computación inclúin funciones que devuelven el llogaritmu de la función Gamma. Este crez más amodo, y en cálculos combinatorios ye bien útil, pos se pasa de multiplicar y estremar grandes valores a sumar o restar los sos llogaritmos.

Aplicaciones de la función gamma

Ver tamién

Referencies

Enllaces esternos

• Wikimedia Commons acueye conteníu multimedia sobre Función gamma.

Sitio web

• Exemplos de problemes qu'arreyen a la Función Gamma en Exampleproblems.com (n'inglés).
• Cephes - Llibrería de funciones especiales matemátiques de C y C++ (n'inglés).
• Fast Factorial Functions - Dellos algoritmos.
• Approximation Formules - Aproximamientos.
• Evaluador de la función Gamma de Wolfram con precisión arbitraria.
• Volume of n-Spheres and the Gamma Function en MathPages (n'inglés).
• Ferramienta online pa llograr gráfiques de funciones que contién a la función Gamma.
• Calculadora Función gamma

• Datos: Q190573
• Multimedia: Gamma and related functions