Funkcja Gamma (Γ(z)) — definicja, własności i zastosowania

Definicja i analityczne przedłużenie

Podstawowa definicja (jako całka Eulera) brzmi:

Γ(z) = ∫₀^∞ t^z-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! , 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) = lim_n→∞ n! n^z−1 / [z (z+1) ... (z+n)].
• Funkcja beta: B(x,y) = ∫₀¹ t^x−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) = 2^1−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 m^{1/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π) z^z−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ą.