Funzione Gamma

In matematica, la funzione Gamma, nota anche come funzione gamma di Eulero è una funzione meromorfa, continua sui numeri reali positivi, che estende il concetto di fattoriale ai numeri complessi, nel senso che per ogni numero intero non negativo $n$ si ha:

Γ (n + 1) = n!

,

dove $n!$ denota il fattoriale di $n,$ cioè il prodotto dei numeri interi da $1$ a $n$ : $n! = 1 \cdot 2 \cdot 3 \dots n$ .

Definizione

La notazione $Γ (z)$ è dovuta a Legendre. Se la parte reale del numero complesso $z$ è positiva, allora l'integrale

Γ (z) = \int_{0}^{+ \infty} t^{z - 1} e^{- t} d t

converge assolutamente. Comunque, usando la continuazione analitica, si può estendere la definizione della $Γ$ a tutti i numeri complessi $z$ , anche con parte reale non positiva, ad eccezione degli interi minori o uguali a zero. Usando l'integrazione per parti, in effetti, si può dimostrare che:

Γ (z + 1) = z Γ (z),

per cui si ha:

Γ (z) = \frac{Γ (z + 1)}{z} .

In questo modo, la definizione della $Γ$ può essere estesa dal semipiano $R e (z) > 0$ a quello $R e (z) > - 1$ (ad eccezione del polo in $z = 0$ ), e successivamente a tutto il piano complesso (con poli in $z = 0, - 1, - 2, \dots$ ).

Siccome $Γ (1) = 1$ , la relazione riportata sopra implica, per tutti i numeri naturali $n$ , che:

Γ (n + 1) = n! .

In statistica si incontra di frequente (per esempio nella variabile casuale normale) l'integrale:

\int_{- \infty}^{+ \infty} e^{- \frac{x^{2}}{2}} d x = \sqrt{2 π}

che si ottiene ponendo $\frac{x^{2}}{2} = t$ , e quindi $x = \sqrt{2 t}$ , ottenendo quindi $d x = \frac{\sqrt{2}}{2 \sqrt{t}} d t$

\begin{matrix} \int_{- \infty}^{+ \infty} e^{- \frac{x^{2}}{2}} d x & = 2 \int_{0}^{+ \infty} e^{- \frac{x^{2}}{2}} d x \\ = 2 \int_{0}^{+ \infty} \frac{\sqrt{2}}{2} t^{- \frac{1}{2}} e^{- t} d t \\ = \sqrt{2} Γ (\frac{1}{2}) \\ = \sqrt{2 π} \end{matrix}

Espressioni alternative

Le seguenti espressioni alternative per la funzione Gamma, sono valide su tutto il piano complesso (ad eccezione dei poli):

Γ (z) = lim_{n \to \infty} \frac{n! n^{z}}{z (z + 1) \dots (z + n)}

dovuta a Gauss,

Γ (z) = \frac{e^{- γ z}}{z} \prod_{n = 1}^{\infty} {(1 + \frac{z}{n})}^{- 1} e^{z / n},

dove $γ$ è la costante di Eulero-Mascheroni, dovuta a Schlömilch e ottenibile applicando il teorema di fattorizzazione di Weierstrass alla funzione $\frac{1}{Γ (z)}$

\frac{1}{Γ (z)} = z e^{γ z} \prod_{n = 1}^{\infty} (1 + \frac{z}{n}) e^{- \frac{z}{n}} .

Un'ulteriore espressione alternativa è la seguente:

Γ (z) = \sum_{n = 0}^{+ \infty} \frac{(- 1)^{n}}{n!} \frac{1}{z + n} + \int_{1}^{+ \infty} t^{z - 1} e^{- t} d t .

In questa formula sono espliciti i poli di ordine $1$ e residuo $\frac{(- 1)^{n}}{n!}$ che la funzione Gamma ha in $z = - n$ , per ogni $n$ intero non negativo.

La singolarità nell'origine può essere anche dedotta dalla relazione di ricorrenza. Infatti

lim_{z \to 0} Γ (z) = lim_{z \to 0} \frac{Γ (z + 1)}{z} = lim_{z \to 0} \frac{1}{z},

dove è stato fatto uso della relazione $Γ (1) = 1$ .

Proprietà

Altre importanti proprietà della funzione Gamma sono la formula di riflessione di Eulero:

Γ (1 - z) Γ (z) = \frac{π}{\sin (π z)}, z \in̸ ℤ,

e quella di duplicazione:

Γ (z) Γ (z + \frac{1}{2}) = 2^{1 - 2 z} \sqrt{π} Γ (2 z)

che a sua volta è un caso particolare della formula di moltiplicazione:

Γ (z) Γ (z + \frac{1}{m}) Γ (z + \frac{2}{m}) \dots Γ (z + \frac{m - 1}{m}) = (2 π)^{(m - 1) / 2} m^{1 / 2 - m z} Γ (m z)

la quale per $z = 0$ diventa:

Γ (\frac{1}{m}) Γ (\frac{2}{m}) \dots Γ (\frac{m - 1}{m}) = \frac{(2 π)^{(m - 1) / 2}}{\sqrt{m}} .

Quest'ultima identità è ottenibile anche dalla formula di riflessione e dall'identità trigonometrica $\prod_{k = 1}^{m - 1} \sin \frac{k π}{m} = \frac{m}{2^{m - 1}}$ .

Le derivate della funzione Gamma:

Γ^{(n)} (z) = \int_{0}^{+ \infty} [\ln (t)]^{n} t^{z - 1} e^{- t} d t

possono essere espresse in funzione della stessa funzione Gamma e di altre funzioni, per esempio:

Γ^{'} (z) = Γ (z) ψ_{0} (z),

dove $ψ_{0}$ è la funzione poligamma di ordine zero. In particolare,

Γ^{'} (1) = - γ,

dove $γ$ è la costante di Eulero-Mascheroni.

Si ha, inoltre:

\frac{d}{d z} \ln Γ (z) = \frac{Γ^{'} (z)}{Γ (z)} = ψ_{0} (z) = - γ - \frac{1}{z} - \sum_{n = 1}^{\infty} (\frac{1}{n + z} - \frac{1}{n})

che per $z = m$ intero positivo si riduce ad una somma finita

ψ_{0} (m) = \frac{Γ^{'} (m)}{Γ (m)} = - γ + 1 + \frac{1}{2} + \dots + \frac{1}{m - 1} = - γ + H_{m - 1},

dove $H_{m - 1}$ è l'(m-1)-esimo numero armonico.

Derivando membro a membro rispetto a $z$ si ha, ancora,

\frac{d}{d z} \frac{Γ^{'} (z)}{Γ (z)} = ψ_{1} (z) = \sum_{n = 0}^{\infty} \frac{1}{(n + z)^{2}}

che per $z = 0$ diverge, mentre per $z = 1$ diviene la serie armonica generalizzata di ordine 2

{[\frac{d}{d z} \frac{Γ^{'} (z)}{Γ (z)}]}_{z = 1} = ψ_{1} (1) = \sum_{n = 0}^{\infty} \frac{1}{(n + 1)^{2}} = \sum_{n = 1}^{\infty} \frac{1}{n^{2}} = ζ (2) = \frac{π^{2}}{6} .

Lukacs studiò altre proprietà nell'opera A Characterization of the Gamma Distribution negli Annals of Mathematical Statistics del 1955.

Ricordiamo anche che, a partire dalla funzione Gamma, la funzione poligamma di ordine $m$ è definita nel modo seguente:

ψ_{m} (z) := {(\frac{d}{d z})}^{m + 1} \ln Γ (z) = {(\frac{d}{d z})}^{m} \frac{Γ^{'} (z)}{Γ (z)} = {(\frac{d}{d z})}^{m} ψ_{0} (z) .

Valori notevoli

Probabilmente, il più noto valore che la funzione Gamma assume su numeri non interi è:

Γ (\frac{1}{2}) = \sqrt{π},

che si può trovare ponendo $z = \frac{1}{2}$ nella formula di riflessione.

Oltre a questo e al già citato valore assunto sui numeri naturali, sono interessanti anche le seguenti proprietà, che interessano i multipli dispari di $\frac{1}{2}$

Γ (\frac{n}{2}) = \frac{(n - 2)!!}{2^{(n - 1) / 2}} \sqrt{π} = (\binom{\frac{n}{2} - 1}{\frac{n - 1}{2}}) (\frac{n - 1}{2})! \sqrt{π},

Γ (- \frac{n}{2}) = \frac{\sqrt{π}}{(\begin{matrix} - 1 / 2 \\ \frac{n + 1}{2} \end{matrix}) (\frac{n + 1}{2})!},

dove $n!!$ denota il semifattoriale e la parentesi tonda a due livelli il coefficiente binomiale.

Teorema di unicità

Il teorema di Bohr-Mollerup afferma che, tra tutte le funzioni che estendono la funzione fattoriale, solo la funzione Gamma è tale che il suo logaritmo è una funzione convessa.

Bibliografia

Donato Greco, Complementi di Analisi, capitolo 12, Napoli, Liguori Editore, 1978, pp. 227-248, ISBN 88-207-0325-4.
Nicola Fusco, Paolo Marcellini, Carlo Sbordone, Analisi Matematica Due, capitolo 8, Napoli, Liguori Editore, 1996, ISBN 978-88-207-2675-1.
(EN) Milton Abramowitz e Irene Stegun, Handbook of Mathematical Functions, capitolo 6, New York, 1964.
(DE) Niels Nielsen, Handbuch der theorie der gammafunktion, Lipsia, 1906.

Voci correlate

Altri progetti

Wikimedia Commons contiene immagini o altri file sulla funzione Gamma

Collegamenti esterni

Eulero, funzione gamma di, in Enciclopedia della Matematica, Istituto dell'Enciclopedia Italiana, 2013.

Funzione gamma, in Enciclopedia della Matematica, Istituto dell'Enciclopedia Italiana, 2013.

(EN) gamma function, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.

(EN) Opere riguardanti Gamma functions, su Open Library, Internet Archive.

(EN) Eric W. Weisstein, Gamma Function, su MathWorld, Wolfram Research.

(EN) Gamma-function, su Encyclopaedia of Mathematics, Springer e European Mathematical Society.
Capitolo dedicato alla Gamma Function nella Digital Library of Mathematical Functions

Controllo di autorità	GND (DE) 4289118-8 · NDL (EN, JA) 00562231

Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica