Funo Gama

Em matemtica, a funo gama (representado pelo capital grega carta ) uma extenso do fatorial funo , com seu argumento deslocado para baixo por 1, para reais e nmeros complexos . Ou seja, se n um inteiro positivo:

Embora a funo gama definida para todos os nmeros complexos, exceto os inteiros no-positivo, definido atravs de uma integral imprpria que converge apenas para nmeros complexos com parte real positivo:

Esta funo integral prorrogado por continuao analtica para todos os nmeros complexos, exceto os inteiros no-positivo (quando a funo tem plos simples), produzindo a funo meromorfa chamamos a funo gama. A funo gama um componente em vrios probabilidade de distribuio de funes, e, como tal, aplicvel nas reas deprobabilidade e estatstica , bem como anlise combinatria .

Definio A notao (z) devido a Legendre . Se a parte real do nmero complexo z positivo (Re (z)> 0), ento o integrante

converge absolutamente . Usando integrao por partes , vemos que a funo gama satisfaz a equao funcional : Combinando isso com (1) = 1, obtemos: para todos os n inteiros positivos. A identidade (z) = (z +1) / z podem ser usados (ou, produzindo o mesmo resultado, continuao analtica pode ser usado) para estender a formulao integral para (z) para uma funo meromorfa definidas para todos os complexos nmeros z, exceto z = n para inteiros n 0, onde a funo tem plos simples com resduo (-1) n / n!. esta verso estendida que comumente referido como a funo gama. A funo gama, denotada por = (z), denida por:

Se na integral acima tomarmos t = sv, poderemos escrever

Tomando em particular, z = n, observamos que esta ltima integral a transformada de Laplace de f(v) = vn1 e segue que

Acontece que para cada n natural, temos que

Logo

Assim, para todo n natural, podemos tomar a funo gama como (n) = (n 1)! A funo = (z) usada como extenso da funo fatorial vlida para todo nmero natural e tal extenso vale para todo nmero real onde esta integral converge. Uma situao muito difcil de ser demonstrada no mbito do Ensino Bsico que 0! = 1, mas pela identificao da funo com a funo fatorial, podemos mostrar que

Para a funo f(t) = tn1, a transformada de Laplace dada por

Logo

A propriedade L[tf (t)] = F(s) aplicada funo f(t) = tn1 fornece

assim, a funo = (n) pode ser definida recursivamente para cada n natural, pelas duas relaes (n + 1) = n x (n), (1) = 1 Na verdade, em estudos mais avanados, a funo = (x) pode ser definida para todo x existente nos Reais, exceto para os x que so nmeros inteiros no positivos, isto , x no existentes em {0,1,2,3, ...}. Propriedades Importantes equaes funcionais para a funo gama so: a frmula de Euler reflexo

E a frmula de duplicao

A frmula de duplicao um caso especial do teorema da multiplicao

Uma propriedade simples, mas til, que pode ser visto a partir da definio de limite, :

Talvez o valor mais conhecidos da funo gama de um argumento no-inteiros

que pode ser encontrado atravs da criao z = 1 / 2 na reflexo ou frmulas duplicao, usando a relao com a funo beta abaixo com x = y = 1 / 2, ou simplesmente fazendo a substituio u = t na integral definio da funo gama, resultando em um integrante de Gauss . Em geral, para no negativo valores inteiros de n, temos:

onde n! denota o factorial duplo e, quando n = 0, (-1)! = 1. Veja os valores particulares da funo gama para valores calculados. Pode ser tentador para generalizar o resultado que procurando uma frmula para outros valores individuais (r) onde r racional. No entanto, estes nmeros no so conhecidos por serem expressivos por si mesmos em termos de funes elementares. Ficou provado que (n + r) um nmero transcendental e algebricamente independentes de para qualquer n inteiro e cada uma das fraes r = 06/01, 04/01, 03/01, 03/02, 04/03 e 06/05. [2] Em geral, quando a computao valores da funo gama, devemos contentar com aproximaes numricas. Os derivados da funo gama so descritos em termos da funo polygamma . Por exemplo:

Para m inteiro positivo a derivada da funo gama pode ser calculado da seguinte forma (aqui a constante de Euler-Mascheroni ):

A derivada n-th da funo gama :

A funo gama tem simples plos em z = - n = 0, -1, -2, -3, ... . O resduo no h

Alm disso, a funo gama tem as seguintes expanso Laurent em 0

vlido para | z | <1. Em particular

O Bohr-Mollerup teorema afirma que entre todas as funes estender as funes factorial aos nmeros reais positivos, apenas a funo gama log-convexo , ou seja, seu logaritmo natural convexo . Valores Particulares Alguns valores especficos da funo gama so: