Gamma-függvény (Γ): definíció és a faktoriális kiterjesztése
Gamma-függvény (Γ): a faktoriális analitikus kiterjesztése a komplex síkon — definíció, tulajdonságok, speciális értékek és alkalmazások áttekintése.
A matematikában a gamma-függvény (Γ(z)) a faktoriális függvény kiterjesztése a negatív egész számok kivételével minden komplex számra. Pozitív egész számok esetén a következőképpen definiálható: Γ ( n ) = ( n - 1 ) ! {\displaystyle \Gamma (n)=(n-1)! } 
A gamma függvény minden komplex számra definiált. De nem definiált a negatív egész számokra és a nullára. Egy olyan komplex számra, amelynek valós része nem negatív egész szám, a függvényt a következőképpen definiáljuk:
Definíció (improper integrál)
Ha Re(z) > 0, akkor
Γ(z) = ∫0∞ tz−1 e−t dt.
Ez az integrál abszolút konvergens Re(z) > 0 esetén, és ez adja a gamma-függvény alapvető definícióját, amelyről a további tulajdonságok következnek.
Rekurzió és analitikus kiterjesztés
- Rekurziós formula: Γ(z+1) = z · Γ(z). Ennek következtében, ha z = n ∈ Z+, akkor Γ(n+1) = n!, és így Γ(n) = (n−1)!.
- Analitikus kiterjesztés: A fenti rekurzió és a definíció lehetővé teszi a Γ(z) függvény analitikus kiterjesztését minden komplex z-re, kivéve a nem pozitív egész számokat, ahol egyszeres pólusok vannak (z = 0, −1, −2, ...).
- Pólusok és reziduumok: A Γ(z) egyszeres pólusokat tartalmaz z = −n (n ∈ Z≥0) helyeken, és a reziduumok Res(Γ, z = −n) = (−1)n / n!.
- Nincsenek zérushelyek: A gamma-függvény soha nem nulla a komplex síkon (azaz nincs gyöke), csak pólusai vannak a nem pozitív egész számoknál.
Fontos képletek és tulajdonságok
- Euler-féle tükrözési (reflection) formula: Γ(z) Γ(1 − z) = π / sin(π z). Ez különösen hasznos a fél-egész értékek vizsgálatánál és a pólusok/elhelyezkedések megértésénél.
- Weierstrass/Euler-féle szorzatformula: 1 / Γ(z) = z eγ z ∏n=1∞ (1 + z/n) e−z/n, ahol γ az Euler–Mascheroni állandó. Ez a formula analitikus kiterjesztést ad, és a gamma-függvény zérusainak hiányát is tükrözi.
- Legendre-duplikációs formula: Γ(z) Γ(z + 1/2) = 21−2z √π Γ(2z). Ez gyakran használatos félegész argumentumoknál.
- Beta-függvény kapcsolata: B(x,y) = ∫01 tx−1 (1−t)y−1 dt = Γ(x) Γ(y) / Γ(x + y), Re(x), Re(y) > 0.
- Log-konvexitás: A Γ(x) függvény logaritmusa konvex az x > 0 intervallumon (Bohr–Mollerup tétel), ami egyedi karakterizációt ad a gamma-függvényre a rekurzió és normálizáció mellett.
- Aszimptotika (Stirling-féle közelítés): nagy |z| esetén, Re(z) > 0, Γ(z + 1) ~ √(2π z) (z/e)z (1 + O(1/z)). Ez a közelítés gyakran alkalmazott numerikus becslés.
Példák és gyakori értékek
- Γ(1) = 1
- Γ(n) = (n − 1)! minden pozitív egész n-re
- Γ(1/2) = √π
- Általános fél-egész értékekre: Γ(n + 1/2) = ( (2n)! / (4n n!) ) √π, n ∈ Z≥0.
Alkalmazások
A gamma-függvényt széles körben használják a matematikában, a matematikai fizikában és a statisztikában: speciális függvények definíciója, integrálok számítása, valószínűség- és statisztikai eloszlások (például gamma-eloszlás, chi-négyzet, Student-féle t-eloszlás), valamint aszimptotikus analízis és kombinatorikai kiterjesztések.
Numerikus számítás
A Γ(z) numerikus kiértékeléséhez gyakran alkalmaznak speciális algoritmusokat (például Lanczos approximációt vagy módosított Stirling-közelítéseket), amelyek pontos és stabil értékeket adnak a komplex síkon, beleértve a fél-egész és nagy argumentumokat is.
Összefoglalva: a gamma-függvény a faktoriális természetes kiterjesztése komplex argumentumokhoz, gazdag algebrai és analitikus tulajdonságokkal, amelyek számos elméleti és gyakorlati területen nélkülözhetetlenek.
A gamma-függvény a valós tengely egy része mentén
Tulajdonságok
Különleges értékek
A gamma-függvény néhány különleges értéke:
Γ ( - 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 }}&\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.3293934038818\\\\\\\\\\Gamma (3)&=2!&=2\\\\\\\Gamma (7/2)&={\tfrac {15}{8}}{\sqrt {\pi }}&\approx 3.3233335097045\\\\\\\\Gamma (4)&=3!&=6\\\\\\\end{array}}}} 
Pi funkció
Gauss bevezette a Pi függvényt. Ez egy másik módja a gamma-függvény jelölésének. A gamma-függvényre vonatkoztatva a Pi függvény a következő
Π ( 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}{t},} 
hogy
Π ( n ) = n ! , {\displaystyle \Pi (n)=n!\,,} 
minden nemnegatív egész számra.
Alkalmazások
Analitikus számelmélet
A gamma-függvényt a Riemann-féle zéta-függvény tanulmányozására használják. A Riemann-zéta függvény egyik tulajdonsága a funkcionálegyenlete:
Γ ( 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}. } 
Bernhard Riemann kapcsolatot talált e két függvény között. Ez az 1859-es "Über die Anzahl der Primzahlen unter einer gegebenen Grösse" ("Egy adott mennyiségnél kisebb prímszámok számáról") című dolgozatában történt.
ζ ( 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}}}. } 
Kérdések és válaszok
K: Mi a gammafüggvény a matematikában?
V: A gamma-függvény a matematika speciális függvényeinek egyik kulcstémája.
K: Mi a faktoriális függvény kiterjesztése a negatív egész számok kivételével minden komplex számra?
V: A gammafüggvény a faktoriális függvény kiterjesztése a negatív egész számok kivételével minden komplex számra.
K: Hogyan definiálható a gammafüggvény pozitív egész számok esetén?
V: Pozitív egész számok esetén a gammafüggvényt a következőképpen definiáljuk: Γ(n) = (n-1)!.
K: A gammafüggvény minden komplex számra definiált?
V: Igen, a gammafüggvény minden komplex számra definiált.
K: A gammafüggvény definiált a negatív egész számokra és a nullára?
V: Nem, a gammafüggvény nem definiált a negatív egész számokra és a nullára.
K: Hogyan definiálható a gammafüggvény olyan komplex számra, amelynek valós része nem negatív egész szám?
V: A gamma-függvényt olyan komplex számra, amelynek valós része nem negatív egész szám, egy speciális, a szövegben nem megadott képlettel definiáljuk.
K: Miért fontos a gammafüggvény a matematikában?
V: A gamma-függvény azért fontos a matematikában, mert a speciális függvények területén kulcsfontosságú téma, és a faktoriális függvényt kiterjeszti a negatív egész számok kivételével minden komplex számra.
Keres