W matematyce funkcja gamma (Γ(z)) jest rozszerzeniem funkcji czynnikowej na wszystkie liczby złożone z wyjątkiem liczb całkowitych ujemnych. Dla liczb całkowitych dodatnich jest ona definiowana jako Γ ( n ) = ( n - 1 ) ! {\i1}Style Gamma (n)=(n-1)! }
Funkcja gamma jest zdefiniowana dla wszystkich numerów złożonych. Ale nie jest ona zdefiniowana dla liczb całkowitych ujemnych i zera. Dla liczby złożonej, której część rzeczywista nie jest liczbą całkowitą ujemną, funkcja jest zdefiniowana przez:
Definicja i analityczne przedłużenie
Podstawowa definicja (jako całka Eulera) brzmi:
Γ(z) = ∫0∞ tz-1 e-t dt, dla Re(z) > 0.
Ta całka jest zbieżna dla Re(z) > 0 i definiuje funkcję holomorficzną w tym obszarze. Dzięki rekurencyjnej tożsamości (patrz niżej) oraz metodom analitycznego przedłużenia Γ(z) można rozszerzyć na całe płaszczyzny zespolonej z wyjątkiem punktów z z = 0, -1, -2, ... gdzie funkcja ma proste bieguny.
Własności podstawowe
- Równość rekurencyjna: Γ(z + 1) = z Γ(z). Dzięki temu dla n ∈ N mamy Γ(n + 1) = n!, czyli Γ(n) = (n − 1)!.
- Wartości specjalne: Γ(1) = 1, Γ(1/2) = √π, stąd Γ(3/2) = 1/2 √π, Γ(5/2) = 3/4 √π itd.
- Bieguny i residua: Γ ma proste bieguny w z = 0, −1, −2, ... z residuami Res(Γ, −n) = (−1)n / n! , dla n = 0,1,2,...
- Formuła odbicia (Eulera): Γ(z) Γ(1 − z) = π / sin(π z). Tożsamość łączy wartości funkcji w punktach z i 1−z i bywa wykorzystywana przy przedłużeniu analitycznym oraz w dowodach tożsamości trygonometrycznych.
Wzory i reprezentacje
- Produkt Weierstrassa: 1 / Γ(z) = z eγ z ∏n=1∞ (1 + z/n) e−z/n, gdzie γ to stała Eulera–Mascheroniego. Ten wzór jest użyteczny przy analizie zera i biegunów oraz przy obliczaniu wartości specjalnych.
- Granica Eulera (wzór graniczny): Γ(z) = limn→∞ n! nz−1 / [z (z+1) ... (z+n)].
- Funkcja beta: B(x,y) = ∫01 tx−1 (1−t)y−1 dt = Γ(x) Γ(y) / Γ(x+y). Związek ten jest często używany w analizie całkowej i probabilistyce.
- Formuła duplikacyjna (Legendre): Γ(z) Γ(z + 1/2) = 21−2z √π Γ(2z).
- Wzór mnożeniowy Gaussa (ogólna forma): dla całkowitego m ≥ 1, Γ(z) Γ(z + 1/m) Γ(z + 2/m) ... Γ(z + (m−1)/m) = (2π)(m−1)/2 m1/2−m z Γ(m z).
Asymptotyka i przybliżenia
Najczęściej używane przybliżenie dla dużych wartości argumentu to reguła Stirlinga:
Γ(z) ≍ √(2π) zz−1/2 e−z (1 + O(1/z)),
gdzie symbol ≍ oznacza przybliżenie w odpowiednim sensie (dla |arg z| < π). Dokładniejsze rozwinięcie asymptotyczne (seria Stirlinga) daje poprawki w potęgach 1/z.
Funkcje pokrewne
- Funkcja digamma (ψ): ψ(z) = Γ'(z)/Γ(z) — pochodna logarytmu funkcji gamma; jej pochodne wyższych rzędów to funkcje poligamma.
- Powiązania z funkcją ζ (Riemanna): w równaniu funkcyjnym funkcji ζ pojawia się Γ(s/2), co pokazuje znaczenie Γ w teorii liczb i analizie zespolonej.
Zastosowania
- Teoria prawdopodobieństwa i statystyka: rozkład gamma, rozkład chi-kwadrat, rozkład t-Studenta i inne używają funkcji gamma w gęstościach i normalizacjach.
- Analiza matematyczna i teoria funkcji specjalnych: pojawia się w obliczeniach całkowych, przy przekształceniach całkowych oraz w rozwiązywaniu równań różniczkowych.
- Fizyka i inżynieria: w obliczeniach związanych z całkami wielowymiarowymi, mechaniką statystyczną, teorii pola, teorią dyspersji itp.
- Teoria liczb i kombinatoryka: przez powiązania z funkcją zeta i ciągami specjalnymi, a także jako uogólnienie silni w analizie asymptotycznej kombinatorycznych wyrażeń.
Przykłady obliczeń
- Γ(1) = 1
- Γ(2) = 1! = 1
- Γ(3) = 2! = 2
- Γ(1/2) = √π ≈ 1.77245
- Γ(5/2) = 3/4 √π ≈ 1.32934
Uwagi praktyczne
W praktycznych obliczeniach numerycznych często korzysta się z logarytmu funkcji gamma (log‑gamma) i z funkcji digamma ze względu na stabilność obliczeń. Biblioteki numeryczne i systemy komputerowe udostępniają algorytmy efektywnego i dokładnego obliczania Γ(z) dla argumentów rzeczywistych i zespolonych.
Funkcja gamma jest fundamentem teorii funkcji specjalnych i pojawia się w wielu dziedzinach matematyki oraz nauk stosowanych. Dzięki bogactwu własności algebraicznych i analitycznych stanowi narzędzie łączące analizę zespoloną, teorię prawdopodobieństwa, teorię liczb i fizykę matematyczną.

