Académique Documents
Professionnel Documents
Culture Documents
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:
Tomando em particular, z = n, observamos que esta ltima integral a transformada de Laplace de f(v) = vn1 e segue 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
Logo
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
Uma propriedade simples, mas til, que pode ser visto a partir da definio de limite, :
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 funo gama tem simples plos em z = - n = 0, -1, -2, -3, ... . O resduo no h
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: