Översikt
Gammafunktionen är en central specialfunktion i matematiken. Den generaliserar faktorfunktionen n! till icke‑heltal och komplext värde samt används ofta i analys, kombinatorik och sannolikhetsteori. I stället för att endast definieras för heltal ger gammafunktionen ett sätt att tilldela ett meningsfullt värde åt uttryck som "(n-1)!" när n inte nödvändigtvis är ett heltal.
Definition och grundegenskaper
För komplexa tal z med reell del större än noll ges gammafunktionen av Eulers integral:
Γ(z) = ∫_0^∞ t^{z-1} e^{-t} dt, vilken ger en analytisk funktion i detta område. Den uppfyller den viktiga rekursiva identiteten Γ(z+1)=z·Γ(z), vilket visar att för positiva heltal n gäller Γ(n)=(n-1)!.
Analytisk fortsatt och singulariteter
Gammafunktionen kan fortsättas analytiskt till hela det komplexa talplanet utom vid icke‑positiva heltal, där den har enkelpoler. Den är därför definierad för de flesta komplexa argument förutom z=0,-1,-2,... . En välkänd särskild värde är Γ(1/2)=√π.
Viktiga formler och approximationer
- Reflektionsformeln: för z som inte är ett heltal finns en relation mellan Γ(z) och Γ(1−z) som kopplar ihop värden i olika delar av det komplexa planet.
- Stirlings formel ger en asymptotisk approximation av Γ(z) för stora |z| och är användbar för beräkningar och analys.
Tillämpningar och exempel
Gammafunktionen förekommer i beräkningar av integraler, i definitioner av betafunktionen och i uttryck för kontinuerliga sannolikhetsfördelningar (till exempel gamma‑ och t‑fördelningarna). Den används också för att förenkla uttryck i teorier om specialfunktioner och inom komplicerade summor och produkter.
Noterbara särskiljande fakta
Gammafunktionen skiljer sig från enkla generaliseringar genom sin analytiska struktur: den är unik upp till multiplikativa faktorer som följer av funktionens rekursion och analytiska egenskaper. Dess förmåga att koppla diskreta och kontinuerliga fenomen gör den särskilt användbar inom både ren och tillämpad matematik. För diskussioner om definitioner i hela det komplexa planet och detaljer kring polstruktur hänvisas till källor om komplexa tal och analytisk funktionsteori.

