Saltar para o conteúdo

Função gama

Origem: Wikipédia, a enciclopédia livre.
A função gama[1] nos números reais.

Em matemática, a função gama (representada pela letra maiúscula grega ) é uma extensão da função factorial para o conjunto dos números reais e complexos, com o argumento subtraído em 1. Se n é um inteiro positivo define-se da seguinte forma:

ou

Esta função é estendida por uma continuação analítica (ou extensão analítica) para todos números complexos com, não estando definida apenas nos inteiros não-positivos (em que a função tem polos simples). Portanto, para números complexos com a parte real positiva a definição segue por uma integral imprópria convergente:

Podemos encontrar a demonstração da convergência desta integral no artigo de Emil Artin, The Gamma Function.

A função gama é debutante em diversas funções de distribuição probabilísticas, sendo assim encontra aplicações nos campos da probabilidade, estatística e combinatória.

A função gama pode ser vista como solução do seguinte problema de interpolação:

"Encontrar uma curva suave que conecta os pontos (x , y) dados por y = (x − 1)! em que x é um inteiro positivo."

Esboçando em um gráfico os primeiros números fatoriais fica claro que a curva pode ser desenhada, mas seria preferível ter um expressão analítica que descreve precisamente a curva, na qual o número de operações não dependa do tamanho  de x. A simples fórmula recursiva para o fatorial x! = x × ... × 2 × 1,  não pode ser usada para obter valores fracionários, pois é válida apenas quando x é um número natural. No entanto, foi demonstrado por Euler que não há uma expressão analítica convencional para fatorial, no sentido que não pode ser a combinação finita (com um número finito de termos) de somas, potências, produtos, funções exponenciais e logaritmos, demonstrado em seu artigo intitulado "Sobre progressões transcendentais, nas quais o termo geral não pode ser expresso algebricamente", ("De progressionibus transcendentibus seu quarum termini generales algebraice dari nequeunt"). A função gama é uma solução que não só resolve este problema, mas também possuí distinguíveis propriedades entre as candidatas, como é mostrado no Teorema de Bohr-Mollerup.

É fácil perceber, através da regra da cadeia e de recursos da integração imprópria, que

Usando o método da substituição, de modo que , (t>0 e fixo), obtém-se:

Derivando-se em relação a e aplicando a fórmula de Leibniz:

Utilizando o mesmo processo novamente:

Derivando sucessivas vezes em relação a :

Para

Dessa forma, tem-se uma função fatorial definida para quaisquer valores reais positivos , de modo que:

Contudo, consagrou-se o uso de uma definição levemente destoante, a Função Gama de Euler, tal que

Assim,

E, analogamente, para números inteiros,

Com isso, acabamos de provar que a função gama funciona como uma representação do Fatorial, quando é aplicada em números inteiros, isso permite a idealização de afirmarmos que quando calculamos a função gama para outros números em seu domínio (Números fracionários ou irracionais) estamos obtendo o "fatorial" desses números. Um exemplo disso, é a seguinte relação, da qual omitiremos a demonstração:

A função gama incompleta é obtida pela mesma integral que a função gama, porém com uma integral indefinida no lugar da integral definida:

A função digama é a derivada do logaritmo da função gama:

A função beta, também chamada de Integral de Euler de primeiro tipo, pode ser definida por uma razão de funções gama:

Propriedade Fundamental

[editar | editar código-fonte]

A propriedade mais importante da função gama é dada por

Que pode ser obtida pela integração por partes da definição da função gama

O lado esquerdo do resultado é igual a zero. A integral do lado direito do resultado é a própria definição da função gama.

Segue desta propriedade que

E também

Para números inteiros, a recursividade da propriedade cai na definição do fatorial. Esta propriedade é válida também para números no domínio dos complexos.

Além delas, existe a importante propriedade abaixo encontrada por Hamilton Brito de forma independente, com e sendo e :

Representação em produto

[editar | editar código-fonte]

A função gama pode ser escrita por um produto de Hadamard:

Domínio da função gama

[editar | editar código-fonte]

A integral que define a função gama converge para todo

Assim um intervalo de definição da função é:

Prova

Escrevendo A função como:

A segunda integral converge muito rápido pelo fator que tende a zero quando tende a infinito, neutralizando qualquer crescimento que o termo apresente.

Na primeira integral para a função fica controlada. Logo a convergência dessa integral vai depender apenas do termo .

Para

Para

Para temos que , então:


Pela propriedade fundamental, pode-se estender o domínio da função gama em intervalos que contém números negativos. Define-se então que

Para números no intervalo z ∈ (-1, 0), como z < 0, vê-se que

E também que

Continuando com o mesmo processo, o domínio da função gama passa a ser

- {0, -1, -2, -3, ...}

Um resultado de interesse em algumas aplicações calculado pela Função é

Demonstração

Fazendo , obtemos logo:

Utilizando a técnica de Liouville:

A última integral é uma integral dupla facilmente calculada em coordenadas polares:

Utilizando uma troca de variáveis é fácil chegar ao resultado.

Sendo assim:

Referências

  1. «Confira este exemplo e faça outros com O Monitor». omonitor.io. Consultado em 19 de março de 2016 
  • Boyce e DiPrima. Equações Diferenciais Elementares e Problemas de Valores de Contorno, editora LTC, 9ª edição, 2010.
  • Dennis G. Zill, Michael R. Cullen; Equações Diferenciais, vol 1; Editora Makron Books do Brasil
  • Davis, Philip J.; Abramowitz, Milton; Stegun, Irene. Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables. 1972.

Ligações externas

[editar | editar código-fonte]