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)! } {\displaystyle \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γ zn=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ą.