AlegsaOnline.com

Gama funkcia (Γ): definícia a rozšírenie faktoriálu pre komplexné čísla

Gama funkcia (Γ): prehľad definície, vlastností a rozšírenia faktoriálu na komplexné čísla — kde je definovaná, singularity a príklady použitia.

Autor: Leandro Alegsa

22-02-2026

V matematike je funkcia gama (Γ(z)) rozšírením funkcie faktoriálu na všetky komplexné čísla okrem záporných celých čísel. Pre kladné celé čísla je definovaná ako Γ ( n ) = ( n - 1 ) ! {\displaystyle \Gamma (n)=(n-1)! } $\Gamma (n)=(n-1)!$

Funkcia gama je definovaná pre všetky komplexné čísla. Nie je však definovaná pre záporné celé čísla a nulu. Pre komplexné číslo, ktorého reálna časť je väčšia ako 0, je funkcia definovaná integrálnym výrazom:

Γ(z) = ∫₀^∞ t^z−1 e^−t dt, pre Re(z) > 0.

Definícia a základné vlastnosti

Faktoriál pre celé kladné n: Γ(n) = (n−1)! pre n ∈ {1,2,3,…}.
Funkčná rovnica (rekurenčná): Γ(z+1) = z · Γ(z). Táto rovnosť umožňuje predĺženie definície mimo oblasti Re(z)>0.
Bez nulových bodov: Γ(z) nemá žiadne nulové body v komplexnej rovine.
Analytická vlastnosť: Γ(z) je holomorfná (analytická) všade okrem bodov z = 0, −1, −2, …, kde má jednoduché póly.

Analytické predĺženie a póly

Integrálná definícia platí iba pre Re(z) > 0, ale pomocou funkčnej rovnice a analytickej kontinuácie možno Γ(z) predĺžiť na celú komplexnú rovinu s výnimkou záporných celých čísel a nuly. V bodoch z = −n (n ∈ {0,1,2,…}) má Γ jednoduchý pól s reziduom

Res(Γ, z = −n) = (−1)ⁿ / n!.

Významné vzťahy a špeciálne hodnoty

Reflexná (Eulerova) rovnica: Γ(z) · Γ(1−z) = π / sin(π z). Táto rovnica je užitočná pri štúdiu symetrií a hodnôt funkcie gama mimo prvej polovice rovine.
Beta funkcia: B(x,y) = ∫₀¹ t^x−1(1−t)^y−1 dt = Γ(x)Γ(y)/Γ(x+y), pre Re(x), Re(y) > 0.
Gaussova duplikačná formula: Γ(z) Γ(z+1/2) = 2^1−2z √π · Γ(2z).
Eulerov limit a nekonečný súčin: 1/Γ(z) = z e^{γ z} ∏_n=1^∞ (1 + z/n) e^−z/n, kde γ je Eulerova–Mascheroniho konštanta.
Špeciálne hodnoty: Γ(1) = 1, Γ(1/2) = √π, ďalšie polovičné hodnoty možno vyjadriť pomocou faktoriálov: napr. Γ(n + 1/2) = ((2n)! / (4ⁿ n!)) √π.

Asymptotika a aproximácie

Pre veľké |z| platí Stirlingova formula (asymptotická aproximácia):

Γ(z) ≈ √(2π) z^z−1/2 e^−z (1 + O(1/z)).

Táto aproximácia a jej rozšírenia sa často používajú pri numerických výpočtoch a pri štúdiu správania funkcie pre veľké parametre.

Diferenciálne a špeciálne funkcie

Digama funkcia: ψ(z) = Γ'(z)/Γ(z) (logaritmický derivát funkcie gama). Pomáha pri výpočte derivácií a pri vyjadrovaní rôznych súčtov a integrálov.
Polygama funkcie: vyššie derivácie ψ⁽ⁿ⁾(z) sú známe ako polygama funkcie a nachádzajú uplatnenie v teórii štatistiky a asymptotických rozboroch.

Aplikácie

Rozšírenie faktoriálu mimo celých čísel — užitočné v kombinatorike a teórii zvláštnych funkcií.
Statistika a pravdepodobnosť (napr. pri rozdeleniach Gamma, Beta, t‑rozdeľovaní).
Teoretická fyzika — integrály a normovacie konštanty v kvantovej mechanike a štatistickej mechanike.
Komplexná analýza a asymptotická analýza — štúdium pólov, reziduí a asymptotického správania.

Praktické poznámky

V numerických knižniciach (napr. v jazykoch Python, C/C++ alebo v matematickom softvéri) sú implementované stabilné algoritmy pre výpočet Γ(z) a ψ(z), vrátane špeciálnych ošetrení pre póly a odchýlky pri veľkých hodnotách. Pri výpočtoch s komplexnými argumentmi treba dbať na vetvenie fáz a správne použitie analytickej predĺženia.

Funkcia gama je teda základnou a všestrannou funkciou, ktorá spája jednoduché algebraické vlastnosti faktoriálu s hlbokými analytickými a asymptotickými vzťahmi v komplexnej analýze a aplikovanej matematike.

Vlastnosti

Konkrétne hodnoty

Niektoré konkrétne hodnoty funkcie gama sú:

Γ ( - 3 / 2 ) = 4 3 π ≈ 2,363271801207 Γ ( - 1 / 2 ) = - 2 π ≈ - 3,544907701811 Γ ( 1 / 2 ) = π ≈ 1,772453850905 Γ ( 1 ) = 0 ! = 1 Γ ( 3 / 2 ) = 1 2 π ≈ 0,88622692545 Γ ( 2 ) = 1 ! = 1 Γ ( 5 / 2 ) = 3 4 π ≈ 1,32934038818 Γ ( 3 ) = 2 ! = 2 Γ ( 7 / 2 ) = 15 8 π ≈ 3,32335097045 Γ ( 4 ) = 3 ! = 6 {\displaystyle {\begin{array}{lll}\Gamma (-3/2)&={\tfrac {4}{3}}{\sqrt {\pi }}&\aprox 2.363271801207\\\Gamma (-1/2)&=-2{\sqrt {\pi }}&\aprox -3,544907701811\\\Gamma (1/2)&={\sqrt {\pi }}&\aprox 1.772453850905\\\Gamma (1)&=0!&=1\\Gamma (3/2)&={\tfrac {1}{2}}{\sqrt {\pi }}&\aprox 0.88622692545\\Gamma (2)&=1!&=1\\Gamma (5/2)&={\tfrac {3}{4}}{\sqrt {\pi }}&\aprox 1,32934038818\\\Gamma (3)&=2!&=2\\\Gamma (7/2)&={\tfrac {15}{8}}{\sqrt {\pi }}&\aprox 3,32335097045\\\Gamma (4)&=3!&=6\\{array}}} ${\begin{array}{lll}\Gamma (-3/2)&={\tfrac {4}{3}}{\sqrt {\pi }}&\approx 2.363271801207\\\Gamma (-1/2)&=-2{\sqrt {\pi }}&\approx -3.544907701811\\\Gamma (1/2)&={\sqrt {\pi }}&\approx 1.772453850905\\\Gamma (1)&=0!&=1\\\Gamma (3/2)&={\tfrac {1}{2}}{\sqrt {\pi }}&\approx 0.88622692545\\\Gamma (2)&=1!&=1\\\Gamma (5/2)&={\tfrac {3}{4}}{\sqrt {\pi }}&\approx 1.32934038818\\\Gamma (3)&=2!&=2\\\Gamma (7/2)&={\tfrac {15}{8}}{\sqrt {\pi }}&\approx 3.32335097045\\\Gamma (4)&=3!&=6\\\end{array}}$

Funkcia pí

Gauss zaviedol funkciu pí. Je to iný spôsob označenia funkcie gama. V zmysle funkcie gama je funkcia pí

Π ( z ) = Γ ( z + 1 ) = z Γ ( z ) = ∫ 0 ∞ e - t t z + 1 d t t , {\displaystyle \Pi (z)=\Gamma (z+1)=z\;\Gamma (z)=\int _{0}^{\infty }e^{-t}t^{z+1}\,{\frac {{\rm {d}}t}{t}},} $\Pi (z)=\Gamma (z+1)=z\;\Gamma (z)=\int _{0}^{\infty }e^{-t}t^{z+1}\,{\frac {{\rm {d}}t}{t}},$

aby

Π ( n ) = n ! , {\displaystyle \Pi (n)=n!\,,} $\Pi (n)=n!\,,$

pre každé nezáporné celé číslo n.

Aplikácie

Analytická teória čísel

Funkcia gama sa používa na štúdium Riemannovej zeta funkcie. Vlastnosťou Riemannovej zeta funkcie je jej funkčná rovnica:

Γ ( s 2 ) ζ ( s ) π - s / 2 = Γ ( 1 - s 2 ) ζ ( 1 - s ) π - ( 1 - s ) / 2 . {\displaystyle \Gamma \left({\frac {s}{2}}\right)\zeta (s)\pi ^{-s/2}=\Gamma \left({\frac {1-s}{2}}\right)\zeta (1-s)\pi ^{-(1-s)/2}. } $\Gamma \left({\frac {s}{2}}\right)\zeta (s)\pi ^{-s/2}=\Gamma \left({\frac {1-s}{2}}\right)\zeta (1-s)\pi ^{-(1-s)/2}.$

Bernhard Riemann našiel vzťah medzi týmito dvoma funkciami. Bolo to v práci "Über die Anzahl der Primzahlen unter einer gegebenen Grösse" ("O počte prvočísel menších ako dané množstvo") z roku 1859.

ζ ( z ) Γ ( z ) = ∫ 0 ∞ t z e t - 1 d t t . {\displaystyle \zeta (z)\;\Gamma (z)=\int _{0}^{\infty }{\frac {t^{z}}{e^{t}-1}}\;{\frac {dt}{t}}. } $\zeta (z)\;\Gamma (z)=\int _{0}^{\infty }{\frac {t^{z}}{e^{t}-1}}\;{\frac {dt}{t}}.$

Otázky a odpovede

Otázka: Čo je to funkcia gama v matematike?

Odpoveď: Funkcia gama je kľúčovou témou v oblasti špeciálnych funkcií v matematike.

Otázka: Aké je rozšírenie funkcie faktoriálu na všetky komplexné čísla okrem záporných celých čísel?

Odpoveď: Funkcia gama je rozšírením funkcie faktoriálu na všetky komplexné čísla okrem záporných celých čísel.

Otázka: Ako je definovaná funkcia gama pre kladné celé čísla?

Odpoveď: Pre kladné celé čísla je funkcia gama definovaná ako Γ(n) = (n-1)!

Otázka: Je funkcia gama definovaná pre všetky komplexné čísla?

Odpoveď: Áno, funkcia gama je definovaná pre všetky komplexné čísla.

Otázka: Je funkcia gama definovaná pre záporné celé čísla a nulu?

Odpoveď: Nie, funkcia gama nie je definovaná pre záporné celé čísla a nulu.

Otázka: Ako je definovaná funkcia gama pre komplexné číslo, ktorého reálna časť nie je záporné celé číslo?

Odpoveď: Funkcia gama je definovaná pre komplexné číslo, ktorého reálna časť nie je záporné celé číslo, špecifickým vzorcom, ktorý nie je uvedený v texte.

Otázka: Prečo je funkcia gama dôležitá v matematike?

Odpoveď: Funkcia gama je v matematike dôležitá, pretože je kľúčovou témou v oblasti špeciálnych funkcií a rozširuje faktoriálovú funkciu na všetky komplexné čísla okrem záporných celých čísel.