Гама-функција

У математици, гама функција (означена са Шаблон:Math, велико слово грчког слова гама) је најчешће проширење функције факторијела на комплексне бројеве. Извео ју је Данијел Бернули, гама функција $\mathrm{\Gamma }(z)$ дефинисана је за све комплексне бројеве $z$ осим ненегативних целих бројева, а $\mathrm{\Gamma }(n)=(n-1)!$ за сваки позитиван цео број Шаблон:Tmath. Гама функција се може дефинисати помоћу конвергентног неправог интеграла за комплексне бројеве са позитивним реалним делом:

$$\mathrm{\Gamma }(z)={\int }_0^{\mathrm{\infty }}{t}^{z-1}{e}^{-t}\text{ d}t,\mathrm{\Re }(z)>0.$$Затим је гама функција дефинисана у комплексној равни као аналитичко настављање ове интегралне функције: то је мероморфна функција која је хоморфна свуда осим у нули и негативним целим бројевима, где има просте полове.

Гама функција нема нуле, па је реципрочна гама функција Шаблон:Math цела функција. Заправо, гама функција одговара Мелиновој трансформацији негативне експоненцијалне функције:

$$\mathrm{\Gamma }(z)=ℳ\{e^{-x}\}(z).$$

Постоје друга проширења функције факторијела, али је гама функција најпопуларнија и најупечатљивија. Појављује се као фактор у различитим функцијама расподеле вероватноће и другим формулама у областима вероватноће, статистике, аналитичке теорије бројева и комбинаторике.

Мотивација

$\mathrm{\Gamma }(x+1)$ интерполира функцију факторијела на нецеле вредности.

Гама функција се може посматрати као решење интерполационог проблема проналажења глатке криве $y=f(x)$ која повезује тачке низа факторијела: $(x,y)=(n,n!)$ за све позитивне целе вредности Шаблон:Tmath. Једноставна формула за факторијел, Шаблон:Math важи само када је Шаблон:Mvar позитиван цео број, и ниједна елементарна функција нема ово својство, али је добро решење гама функција Шаблон:Tmath.

Гама функција није само глатка већ и аналитичка (осим у ненегативним целим бројевима), и може се дефинисати на више експлицитних начина. Међутим, није једина аналитичка функција која проширује факторијел, јер се може додати било која аналитичка функција која је нула на позитивним целим бројевима, као што је $k\sin (m\pi x)$ за цео број Шаблон:Tmath. Таква функција је позната као псеудогама функција, а најпознатија је Хадамардова функција.

Гама функција, Шаблон:Math плава, приказана заједно са Шаблон:Math зелена. Обратите пажњу на пресек на позитивним целим бројевима. Обе су валидна проширења факторијела на мероморфну функцију у комплексној равни.

Рестриктивнији услов је функционална једначина која интерполира померити факторијел $f(n)=(n-1)!$ : $$f(x+1)=xf(x)\text{ за све }x>0,f(1)=1.$$

Али ово још увек не даје јединствено решење, јер дозвољава множење са било којом периодичном функцијом $g(x)$ са $g(x)=g(x+1)$ и Шаблон:Tmath, као што је Шаблон:Tmath.

Један начин да се реши двосмисленост је Бор-Молирупова теорема, која показује да је $f(x)=\mathrm{\Gamma }(x)$ јединствена интерполирајућа функција за факторијел, дефинисана преко позитивних реалних бројева, која је логаритамски конвексна, што значи да је $y=\log f(x)$ конвексна.

Дефиниција

Главна дефиниција

Запис $\mathrm{\Gamma }(z)$ потиче од Лежандра. Ако је реални део комплексног броја Шаблон:Mvar строго позитиван ($\mathrm{\Re }(z)>0$), тада интеграл $$\mathrm{\Gamma }(z)={\int }_0^{\mathrm{\infty }}{t}^{z-1}{e}^{-t}dt$$ апсолутно конвергира, и познат је као Ојлеров интеграл друге врсте. (Ојлеров интеграл прве врсте је бета функција.) Користећи интеграцију по деловима, видимо да:

Апсолутна вредност (вертикална) и аргумент (боја) гама функције у комплексној равни

$$\begin{array}{cc}\mathrm{\Gamma }(z+1)& ={\int }_0^{\mathrm{\infty }}{t}^z{e}^{-t}dt\\ & =[-t^z{e}^{-t}{]}_0^{\mathrm{\infty }}+{\int }_0^{\mathrm{\infty }}z{t}^{z-1}{e}^{-t}dt\\ & =\underset{t\to \mathrm{\infty }}{lim}(-t^z{e}^{-t})-(-0^z{e}^{-0})+z{\int }_0^{\mathrm{\infty }}{t}^{z-1}{e}^{-t}dt.\end{array}$$

Препознајући да $-t^z{e}^{-t}\to 0$ ка Шаблон:Tmath, $$\begin{array}{cc}\mathrm{\Gamma }(z+1)& =z{\int }_0^{\mathrm{\infty }}{t}^{z-1}{e}^{-t}dt\\ & =z\mathrm{\Gamma }(z).\end{array}$$

Тада Шаблон:Nowrap може да се израчуна као: $$\begin{array}{cc}\mathrm{\Gamma }(1)& ={\int }_0^{\mathrm{\infty }}{t}^{1-1}{e}^{-t}dt\\ & ={\int }_0^{\mathrm{\infty }}{e}^{-t}dt\\ & =1.\end{array}$$

Тако можемо показати да $\mathrm{\Gamma }(n)=(n-1)!$ за сваки позитиван цео број Шаблон:Mvar помоћу индукције. Конкретно, основни случај је Шаблон:Tmath, а индукциони корак је Шаблон:Tmath.

Идентитет $\mathrm{\Gamma }(z)=\frac{\mathrm{\Gamma }(z+1)}{z}$ се може користити (или, дајући исти резултат, аналитичко настављање се може користити) да се јединствено прошири интегрална формулација за $\mathrm{\Gamma }(z)$ на мероморфну функцију дефинисану за све комплексне бројеве Шаблон:Mvar, осим целих бројева мањих или једнаких нули. Управо ова проширена верзија је она на коју се обично односи гама функција.

Алтернативне дефиниције

Постоји много еквивалентних дефиниција.

Ојлерова дефиниција као бесконачни производ

За фиксирани цео број Шаблон:Tmath, како цео број $n$ расте, имамо да $$\underset{n\to \mathrm{\infty }}{lim}\frac{n!{(n+1)}^m}{(n+m)!}=1.$$

Ако $m$ није цео број онда је ова једначина бесмислена пошто, у овом одељку, факторијел нецелог броја није још дефинисан. Међутим, претпоставимо да ова једначина наставља да важи када се $m$ замени произвољним комплексним бројем Шаблон:Tmath, да би се дефинисала Гама функција за нецеле бројеве:

$$\underset{n\to \mathrm{\infty }}{lim}\frac{n!{(n+1)}^z}{(n+z)!}=1.$$ Множећи обе стране са $(z-1)!$ даје $$\begin{array}{cc}(z-1)!& =\frac{1}{z}\underset{n\to \mathrm{\infty }}{lim}n!\frac{z!}{(n+z)!}(n+1{)}^z\\ & =\frac{1}{z}\underset{n\to \mathrm{\infty }}{lim}(1\cdot 2\cdots n)\frac{1}{(1+z)\cdots (n+z)}{(\frac{2}{1}\cdot \frac{3}{2}\cdots \frac{n+1}{n})}^z\\ & =\frac{1}{z}\prod _{n=1}^{\mathrm{\infty }}\left[\frac{1}{1+\frac{z}{n}}{(1+\frac{1}{n})}^z\right].\end{array}$$Овај бесконачни производ, који припада Ојлеру, конвергира за све комплексне бројеве $z$ осим ненегативних целих бројева, који не успевају због дељења са нулом. Заправо, горе наведена претпоставка производи јединствену дефиницију $\mathrm{\Gamma }(z)$ као Шаблон:Tmath.

Интуитивно, ова формула показује да је $\mathrm{\Gamma }(z)$ приближно резултат израчунавања $\mathrm{\Gamma }(n+1)=n!$ за неки велики цео број Шаблон:Tmath, множења са $(n+1{)}^z$ да би се приближила Шаблон:Tmath, и затим коришћења везе $\mathrm{\Gamma }(x+1)=x\mathrm{\Gamma }(x)$ уназад $n+1$ пута да би се добила апроксимација за $\mathrm{\Gamma }(z)$; и даље, да та апроксимација постаје тачна када $n$ расте до бесконачности.

Бесконачни производ за реципрочну вредност $$\frac{1}{\mathrm{\Gamma }(z)}=z\prod _{n=1}^{\mathrm{\infty }}[(1+\frac{z}{n})/{(1+\frac{1}{n})}^z]$$ је цела функција, која конвергира за сваки комплексан број Шаблон:Mvar.

Вајерштрасова дефиниција

Дефиниција за гама функцију коју је дао Вајерштрас је такође важећа за све комплексне бројеве $z$ осим ненегативних целих бројева: $$\mathrm{\Gamma }(z)=\frac{e^{-\gamma z}}{z}\prod _{n=1}^{\mathrm{\infty }}{(1+\frac{z}{n})}^{-1}{e}^{z/n},$$ где је $\gamma \approx 0,577216$ Ојлер-Маскерониева константа. Ово је Хадамардов производ од $\frac{1}{\mathrm{\Gamma }(z)}$ у преписаној форми.

Шаблон:Collapse top Еквивалентност интегралне дефиниције и Вајерштрасове дефиниције

Из интегралне дефиниције, релације $\mathrm{\Gamma }(z+1)=z\mathrm{\Gamma }(z)$ и Хадамардове теореме о факторизацији, $$\frac{1}{\mathrm{\Gamma }(z)}=z{e}^{c_{1}z+c_2}\prod _{n=1}^{\mathrm{\infty }}{e}^{-\frac{z}{n}}(1+\frac{z}{n})$$ за неке константе $c_1,c_2$ пошто је $1/\mathrm{\Gamma }$ цела функција реда Шаблон:Tmath. Пошто $z\mathrm{\Gamma }(z)\to 1$ ка Шаблон:Tmath, $c_2=0$ (или цео број умножен са $2\pi i$) и пошто Шаблон:Tmath, $$\begin{array}{cc}{e}^{-c_1}& =\prod _{n=1}^{\mathrm{\infty }}{e}^{-\frac{1}{n}}(1+\frac{1}{n})\\ & =\exp \left(\underset{N\to \mathrm{\infty }}{lim}\sum _{n=1}^N(\log (1+\frac{1}{n})-\frac{1}{n})\right)\\ & =\exp \left(\underset{N\to \mathrm{\infty }}{lim}(\log (N+1)-\sum _{n=1}^N\frac{1}{n})\right).\end{array}$$

где је $c_1=\gamma +2\pi ik$ за неки цео број Шаблон:Tmath. Пошто $\mathrm{\Gamma }(z)\in ℝ$ за Шаблон:Tmath, имамо $k=0$ и $$\frac{1}{\mathrm{\Gamma }(z)}=z{e}^{\gamma z}\prod _{n=1}^{\mathrm{\infty }}{e}^{-\frac{z}{n}}(1+\frac{z}{n})$$

Еквивалентност Вајерштрасове дефиниције и Ојлерове дефиниције

$$\begin{array}{cc}\mathrm{\Gamma }(z)& =\frac{e^{-\gamma z}}{z}\prod _{n=1}^{\mathrm{\infty }}{(1+\frac{z}{n})}^{-1}{e}^{z/n}\\ & =\frac{1}{z}\underset{n\to \mathrm{\infty }}{lim}{e}^{z(\log (n+1)-1-\frac{1}{2}-\frac{1}{3}-\cdots -\frac{1}{n})}\frac{e^{z(1+\frac{1}{2}+\frac{1}{3}+\cdots +\frac{1}{n})}}{(1+z)(1+\frac{z}{2})\cdots (1+\frac{z}{n})}\\ & =\frac{1}{z}\underset{n\to \mathrm{\infty }}{lim}\frac{1}{(1+z)(1+\frac{z}{2})\cdots (1+\frac{z}{n})}{e}^{z\log (n+1)}\\ & =\underset{n\to \mathrm{\infty }}{lim}\frac{n!(n+1{)}^z}{z(z+1)\cdots (z+n)},z\in ℂ\setminus {\mathbb{Z}}_0^{-}\end{array}$$ Шаблон:Collapse bottom

Својства

Општа својства

Поред основног својства о коме се расправљало изнад: $$\mathrm{\Gamma }(z+1)=z\mathrm{\Gamma }(z)$$ друге важне функционалне једначине за гама функцију су Ојлерова рефлексиона формула $$\mathrm{\Gamma }(1-z)\mathrm{\Gamma }(z)=\frac{\pi }{\sin \pi z},z\in ̸\mathbb{Z}$$ што имплицира $$\mathrm{\Gamma }(z-n)=(-1{)}^{n-1}\frac{\mathrm{\Gamma }(-z)\mathrm{\Gamma }(1+z)}{\mathrm{\Gamma }(n+1-z)},n\in \mathbb{Z}$$ и Лежандрова формула дуплирања $$\mathrm{\Gamma }(z)\mathrm{\Gamma }(z+\frac{1}{2})=2^{1-2z}\sqrt{\pi }\mathrm{\Gamma }(2z).$$

Шаблон:Collapse top Доказ 1

Са Ојлеровим бесконачним производом $$\mathrm{\Gamma }(z)=\frac{1}{z}\prod _{n=1}^{\mathrm{\infty }}\frac{(1+1/n{)}^z}{1+z/n}$$ израчунајмо $$\frac{1}{\mathrm{\Gamma }(1-z)\mathrm{\Gamma }(z)}=\frac{1}{(-z)\mathrm{\Gamma }(-z)\mathrm{\Gamma }(z)}=z\prod _{n=1}^{\mathrm{\infty }}\frac{(1-z/n)(1+z/n)}{(1+1/n{)}^{-z}(1+1/n{)}^z}=z\prod _{n=1}^{\mathrm{\infty }}(1-\frac{z^2}{n^2})=\frac{\sin \pi z}{\pi },$$ где је последња једнакост познат резултат. Сличан извод почиње са Вајерштрасовом дефиницијом.

Доказ 2

Прво доказати да $$I={\int }_{-\mathrm{\infty }}^{\mathrm{\infty }}\frac{e^{ax}}{1+e^x}dx={\int }_0^{\mathrm{\infty }}\frac{v^{a-1}}{1+v}dv=\frac{\pi }{\sin \pi a},a\in (0,1).$$ Размотримо позитивно оријентисану правоугаону контуру $C_R$ са теменима на Шаблон:Tmath, Шаблон:Tmath, $R+2\pi i$ и $-R+2\pi i$ где Шаблон:Tmath. Тада према теореми о остацима, $${\int }_{C_R}\frac{e^{az}}{1+e^z}dz=-2\pi i{e}^{a\pi i}.$$ Нека $$I_R={\int }_{-R}^R\frac{e^{ax}}{1+e^x}dx$$ и нека ${I_R}^{\prime }$ буде аналогни интеграл преко горње стране правоугаоника. Тада $I_R\to I$ ка $R\to \mathrm{\infty }$ и Шаблон:Tmath. Ако $A_R$ означава десну вертикалну страну правоугаоника, онда $$\left|{\int }_{A_R}\frac{e^{az}}{1+e^z}dz\right|\le {\int }_0^{2\pi }\left|\frac{e^{a(R+it)}}{1+e^{R+it}}\right|dt\le C{e}^{(a-1)R}$$ за неку константу $C$ и пошто је Шаблон:Tmath, интеграл тежи ка $0$ ка Шаблон:Tmath. Аналогно, интеграл преко леве вертикалне стране правоугаоника тежи ка $0$ ка Шаблон:Tmath. Према томе $$I-e^{2\pi ia}I=-2\pi i{e}^{a\pi i},$$ одакле $$I=\frac{\pi }{\sin \pi a},a\in (0,1).$$ Затим $$\mathrm{\Gamma }(1-z)={\int }_0^{\mathrm{\infty }}{e}^{-u}{u}^{-z}du=t{\int }_0^{\mathrm{\infty }}{e}^{-vt}(vt{)}^{-z}dv,t>0$$ и $$\begin{array}{cc}\mathrm{\Gamma }(z)\mathrm{\Gamma }(1-z)& ={\int }_0^{\mathrm{\infty }}{\int }_0^{\mathrm{\infty }}{e}^{-t(1+v)}{v}^{-z}dvdt\\ & ={\int }_0^{\mathrm{\infty }}\frac{v^{-z}}{1+v}dv\\ & =\frac{\pi }{\sin \pi (1-z)}\\ & =\frac{\pi }{\sin \pi z},z\in (0,1).\end{array}$$ Доказивање рефлексионе формуле за све $z\in (0,1)$ доказује је за све $z\in ℂ\setminus \mathbb{Z}$ помоћу аналитичког наставка. Шаблон:Collapse bottom

Бета функција се може представити као $$\mathrm{B}(z_1,z_2)=\frac{\mathrm{\Gamma }(z_1)\mathrm{\Gamma }(z_2)}{\mathrm{\Gamma }(z_1+z_2)}={\int }_0^1{t}^{z_1-1}(1-t{)}^{z_2-1}dt.$$

Постављањем $z_1=z_2=z$ добијамо $$\frac{{\mathrm{\Gamma }}^2(z)}{\mathrm{\Gamma }(2z)}={\int }_0^1{t}^{z-1}(1-t{)}^{z-1}dt.$$

После смене $t=\frac{1+u}{2}$: $$\frac{{\mathrm{\Gamma }}^2(z)}{\mathrm{\Gamma }(2z)}=\frac{1}{2^{2z-1}}{\int }_{-1}^1{(1-u^2)}^{z-1}du.$$

Функција $(1-u^2{)}^{z-1}$ је парна, према томе $$2^{2z-1}{\mathrm{\Gamma }}^2(z)=2\mathrm{\Gamma }(2z){\int }_0^1(1-u^2{)}^{z-1}du.$$

Сада $$\mathrm{B}(\frac{1}{2},z)={\int }_0^1{t}^{\frac{1}{2}-1}(1-t{)}^{z-1}dt,t=s^2.$$

Затим $$\mathrm{B}(\frac{1}{2},z)=2{\int }_0^1(1-s^2{)}^{z-1}ds=2{\int }_0^1(1-u^2{)}^{z-1}du.$$

Ово имплицира $$2^{2z-1}{\mathrm{\Gamma }}^2(z)=\mathrm{\Gamma }(2z)\mathrm{B}(\frac{1}{2},z).$$

Пошто $$\mathrm{B}(\frac{1}{2},z)=\frac{\mathrm{\Gamma }\left(\frac{1}{2}\right)\mathrm{\Gamma }(z)}{\mathrm{\Gamma }(z+\frac{1}{2})},\mathrm{\Gamma }\left(\frac{1}{2}\right)=\sqrt{\pi },$$ Лежандрова формула дуплирања следи: $$\mathrm{\Gamma }(z)\mathrm{\Gamma }(z+\frac{1}{2})=2^{1-2z}\sqrt{\pi }\mathrm{\Gamma }(2z).$$

Формула дуплирања је специјални случај теореме о множењу (видети  Једн. 5.5.6): $$\prod _{k=0}^{m-1}\mathrm{\Gamma }(z+\frac{k}{m})=(2\pi {)}^{\frac{m-1}{2}}{m}^{\frac{1}{2}-mz}\mathrm{\Gamma }(mz).$$

Једноставно али корисна особина, која се може видети из граничне дефиниције, је: $$\overline{\mathrm{\Gamma }(z)}=\mathrm{\Gamma }(\bar{z})\Rightarrow \mathrm{\Gamma }(z)\mathrm{\Gamma }(\bar{z})\in ℝ.$$

Посебно, са Шаблон:Math, овај производ је $$|\mathrm{\Gamma }(a+bi){|}^2=|\mathrm{\Gamma }(a){|}^2\prod _{k=0}^{\mathrm{\infty }}\frac{1}{1+\frac{b^2}{(a+k{)}^2}}$$

Ако је реални део цео број или полуцео, ово може бити коначно изражено у затвореној форми: $$\begin{array}{cc}|\mathrm{\Gamma }(bi){|}^2& =\frac{\pi }{b\sinh \pi b}\\ {\left|\mathrm{\Gamma }(\frac{1}{2}+bi)\right|}^2& =\frac{\pi }{\cosh \pi b}\\ {\left|\mathrm{\Gamma }(1+bi)\right|}^2& =\frac{\pi b}{\sinh \pi b}\\ {\left|\mathrm{\Gamma }(1+n+bi)\right|}^2& =\frac{\pi b}{\sinh \pi b}\prod _{k=1}^n(k^2+b^2),n\in \mathbb{N}\\ {\left|\mathrm{\Gamma }(-n+bi)\right|}^2& =\frac{\pi }{b\sinh \pi b}\prod _{k=1}^n{(k^2+b^2)}^{-1},n\in \mathbb{N}\\ {\left|\mathrm{\Gamma }(\frac{1}{2}\pm n+bi)\right|}^2& =\frac{\pi }{\cosh \pi b}\prod _{k=1}^n{({(k-\frac{1}{2})}^2+b^2)}^{\pm 1},n\in \mathbb{N}\\ & \end{array}$$

Прво, размотримо рефлексиону формулу примењену на Шаблон:Tmath. $$\mathrm{\Gamma }(bi)\mathrm{\Gamma }(1-bi)=\frac{\pi }{\sin \pi bi}$$ Примењујући рекурентну релацију на други члан: $$-bi\cdot \mathrm{\Gamma }(bi)\mathrm{\Gamma }(-bi)=\frac{\pi }{\sin \pi bi}$$ што са једноставним преуређивањем даје $$\mathrm{\Gamma }(bi)\mathrm{\Gamma }(-bi)=\frac{\pi }{-bi\sin \pi bi}=\frac{\pi }{b\sinh \pi b}$$

Друго, размотримо рефлексиону формулу примену на Шаблон:Tmath. $$\mathrm{\Gamma }(\frac{1}{2}+bi)\mathrm{\Gamma }(1-(\frac{1}{2}+bi))=\mathrm{\Gamma }(\frac{1}{2}+bi)\mathrm{\Gamma }(\frac{1}{2}-bi)=\frac{\pi }{\sin \pi (\frac{1}{2}+bi)}=\frac{\pi }{\cos \pi bi}=\frac{\pi }{\cosh \pi b}$$

Формуле за друге вредности $z$ за које је реални део цео или полуцео брзо следе индукцијом користећи рекурентну релацију у позитивним и негативним смеровима.

Можда најпознатија вредност гама функције на нецелобројном аргументу је $$\mathrm{\Gamma }\left(\frac{1}{2}\right)=\sqrt{\pi },$$ коју се може наћи постављањем $z=\frac{1}{2}$ у рефлексионој формули, коришћењем везе са бета функцијом датом испод са Шаблон:Tmath, или једноставно заменом $t=u^2$ у интегралној дефиницији гама функције, што резултира Гаусовим интегралом. Генерално, за ненегативне целе вредности $n$ имамо: $$\begin{array}{cc}\mathrm{\Gamma }(\frac{1}{2}+n)& =\frac{(2n)!}{4^{n}n!}\sqrt{\pi }=\frac{(2n-1)!!}{2^n}\sqrt{\pi }=(\genfrac{}{}{0ex}{}{n-\frac{1}{2}}{n})n!\sqrt{\pi }\\ \mathrm{\Gamma }(\frac{1}{2}-n)& =\frac{(-4{)}^{n}n!}{(2n)!}\sqrt{\pi }=\frac{(-2{)}^n}{(2n-1)!!}\sqrt{\pi }=\frac{\sqrt{\pi }}{(\genfrac{}{}{0ex}{}{-1/2}{n})n!}\end{array}$$ где је дупли факторијел Шаблон:Tmath. Види Посебне вредности гама функције за израчунате вредности.

Може бити примамљиво уопштити резултат да $\mathrm{\Gamma }\left(\frac{1}{2}\right)=\sqrt{\pi }$ тражећи формулу за друге појединачне вредности $\mathrm{\Gamma }(r)$ где је $r$ рационалан, посебно зато што је према Гаусовој теореми дигама функције могуће то учинити за блиску везану дигама функцију на свакој рационалној вредности. Међутим, ови бројеви $\mathrm{\Gamma }(r)$ нису познати да су изразиви сами по себи помоћу елементарних функција. Доказано је да је $\mathrm{\Gamma }(n+r)$ трансцендентан број и алгебарски независан од $\pi$ за сваки цео број $n$ и сваки од разломака $r=\frac{1}{6},\frac{1}{4},\frac{1}{3},\frac{2}{3},\frac{3}{4},\frac{5}{6}$. Уопштено, када израчунавамо вредности гама функције, морамо се задовољити нумеричким апроксимацијама.

Изводи гама функције описани су помоћу полигама функције, Шаблон:Math: $${\mathrm{\Gamma }}^{\prime }(z)=\mathrm{\Gamma }(z){\psi }^{(0)}(z).$$ За позитиван цео број Шаблон:Mvar извод гама функције може се израчунати на следећи начин:

Боје показују аргумент гама функције у комплексној равни од Шаблон:Math до Шаблон:Math

$${\mathrm{\Gamma }}^{\prime }(m+1)=m!(-\gamma +\sum _{k=1}^m\frac{1}{k})=m!(-\gamma +H(m)),$$ где H(m) је m-ти хармонијски број и Шаблон:Mvar је Ојлер–Маскерониева константа.

За $\mathrm{\Re }(z)>0$ $n$-ти извод гама функције је: $$\frac{d^n}{d{z}^n}\mathrm{\Gamma }(z)={\int }_0^{\mathrm{\infty }}{t}^{z-1}{e}^{-t}(\log t{)}^{n}dt.$$ (Ово се може извести диференцирањем интегралне форме гама функције у односу на Шаблон:Tmath, и коришћењем технике диференцирања под интегралним знаком.)

Користећи идентитет $${\mathrm{\Gamma }}^{(n)}(1)=(-1{)}^n{B}_n(\gamma ,1!\zeta (2),\dots ,(n-1)!\zeta (n))$$ где $\zeta (z)$ је Риманова зета функција, и $B_n$ је $n$-ти Бел полином, имамо посебно Лоранов развој гама функције $$\mathrm{\Gamma }(z)=\frac{1}{z}-\gamma +\frac{1}{2}({\gamma }^2+\frac{{\pi }^2}{6})z-\frac{1}{6}({\gamma }^3+\frac{\gamma {\pi }^2}{2}+2\zeta (3))z^2+O(z^3).$$

Неједнакости

Када је ограничена на позитивне реалне бројеве, гама функција је строго логаритамски конвексна функција. Ово својство може се изразити у било ком од следећа три еквивалентна начина:

• За било која два позитивна реална броја $x_1$ и $x_2$, и за било који $t\in [0,1]$, $$\mathrm{\Gamma }(t{x}_1+(1-t)x_2)\le \mathrm{\Gamma }(x_1{)}^t\mathrm{\Gamma }(x_2{)}^{1-t}.$$
• За било која два позитивна реална броја $x_1$ и $x_2$, и $x_2$ > $x_1$$${\left(\frac{\mathrm{\Gamma }(x_2)}{\mathrm{\Gamma }(x_1)}\right)}^{\frac{1}{x_2-x_1}}>\exp \left(\frac{{\mathrm{\Gamma }}^{\prime }(x_1)}{\mathrm{\Gamma }(x_1)}\right).$$
• За сваки позитиван реални број Шаблон:Tmath, $${\mathrm{\Gamma }}^{″}(x)\mathrm{\Gamma }(x)>{\mathrm{\Gamma }}^{\prime }(x{)}^2.$$

Последња од ових тврдњи је, у суштини по дефиницији, иста као и тврдња да ${\psi }^{(1)}(x)>0$, где је ${\psi }^{(1)}$ полигама функција реда 1. Да би се доказала логаритамска конвексност гама функције, довољно је посматрати да ${\psi }^{(1)}$ има репрезентацију серија која се, за позитивне реалне Шаблон:Mvar, састоји само од позитивних чланова.

Логаритамска конвексност и Јенсенова неједнакост заједно имплицирају, за било којих позитивних реалних бројева $x_1,\dots ,x_n$ и $a_1,\dots ,a_n$, $$\mathrm{\Gamma }\left(\frac{a_1{x}_1+\cdots +a_n{x}_n}{a_1+\cdots +a_n}\right)\le (\mathrm{\Gamma }(x_1{)}^{a_1}\cdots \mathrm{\Gamma }(x_n{)}^{a_n}{)}^{\frac{1}{a_1+\cdots +a_n}}.$$

Постоје такође границе за односе гама функција. Најпознатија је Гаучијева неједнакост, која каже да за било који позитиван реални број Шаблон:Mvar и било који Шаблон:Math, $$x^{1-s}<\frac{\mathrm{\Gamma }(x+1)}{\mathrm{\Gamma }(x+s)}<{(x+1)}^{1-s}.$$

Стирлингова формула

Приказ гама функције у комплексној равни. Свака тачка $z$ је обојена према аргументу Шаблон:Nowrap Контурни приказ модула $|\mathrm{\Gamma }(z)|$ је такође приказан.

Тродимензионални приказ апсолутне вредности комплексне гама функције

Понашање $\mathrm{\Gamma }(x)$ за растућу позитивну реалну променљиву дато је Стирлинговом формулом $$\mathrm{\Gamma }(x+1)\sim \sqrt{2\pi x}{\left(\frac{x}{e}\right)}^x,$$ где симбол $\sim$ означава асимптотску конвергенцију: однос две стране конвергира ка 1 у граници Шаблон:Nowrap Овај раст је бржи од експоненцијалног, $\exp (\beta x)$, за било коју фиксну вредност $\beta$.

Још једна корисна граница за асимптотске апроксимације за $x\to +\mathrm{\infty }$ је: $$\mathrm{\Gamma }(x+\alpha )\sim \mathrm{\Gamma }(x)x^{\alpha },\alpha \in ℂ.$$

Када се грешка напише као бесконачни производ, Стирлингова формула може да се користи да дефинише гама функцију: $$\mathrm{\Gamma }(x)=\sqrt{\frac{2\pi }{x}}{\left(\frac{x}{e}\right)}^x\prod _{n=0}^{\mathrm{\infty }}\left[\frac{1}{e}{(1+\frac{1}{x+n})}^{x+n+\frac{1}{2}}\right]$$

Проширење на негативне, нецелобројне вредности

Иако главна дефиниција гама функције—Ојлеров интеграл друге врсте—важи (на реалној оси) само за позитивне аргументе, њен домен може се проширити аналитичким наставком на негативне аргументе пребацујући негативан аргумент на позитивне вредности користећи Ојлерову рефлексиону формулу, $$\mathrm{\Gamma }(-x)=\frac{1}{\mathrm{\Gamma }(x+1)}\frac{\pi }{\sin (\pi (x+1))},$$ или основно својство, $$\mathrm{\Gamma }(-x):=\frac{1}{-x}\mathrm{\Gamma }(-x+1),$$ када $x\in ̸\mathbb{Z}$. На пример, $$\mathrm{\Gamma }(-\frac{1}{2})=-2\mathrm{\Gamma }\left(\frac{1}{2}\right).$$

Резидуи

Понашање за не-позитивно $z$ је сложеније. Ојлеров интеграл не конвергира за Шаблон:Nowrap али функција коју дефинише у позитивној комплексној полуравни има јединствено аналитичко настављање на негативну полураван. Један начин да се нађе то аналитичко настављање је да се користи Ојлеров интеграл за позитивне аргументе и да се домен прошири на негативне бројеве поновним применом рекурентне формуле, $$\mathrm{\Gamma }(z)=\frac{\mathrm{\Gamma }(z+n+1)}{z(z+1)\cdots (z+n)},$$ бирајући $n$ тако да је $z+n$ позитиван. Производ у имениоцу је нула када је $z$ једнак било ком од бројева $0,-1,-2,\dots$. Дакле, гама функција мора бити недефинисана у тим тачкама да би се избегло дељење нулом; то је мероморфна функција са простим половима у ненегативним целим бројевима.

За функцију $f$ комплексне променљиве Шаблон:Tmath, у једноставном полу Шаблон:Tmath, резидуум од $f$ је дат са: $$\mathrm{Res}(f,c)=\underset{z\to c}{lim}(z-c)f(z).$$

За једноставан пол $z=-n$, рекурентна формула се може преписати као: $$(z+n)\mathrm{\Gamma }(z)=\frac{\mathrm{\Gamma }(z+n+1)}{z(z+1)\cdots (z+n-1)}.$$ Бројилац у Шаблон:Tmath, је $$\mathrm{\Gamma }(z+n+1)=\mathrm{\Gamma }(1)=1$$ а именилац $$z(z+1)\cdots (z+n-1)=-n(1-n)\cdots (n-1-n)=(-1{)}^{n}n!.$$ Дакле, резидуи гама функције у тим тачкама су: $$\mathrm{Res}(\mathrm{\Gamma },-n)=\frac{(-1{)}^n}{n!}.$$Гама функција је различита од нуле свуда дуж реалне осе, иако се произвољно ближи нули како Шаблон:Math. Заправо, не постоји комплексан број $z$ за који $\mathrm{\Gamma }(z)=0$, и отуда реципрочна гама функција $\frac{1}{\mathrm{\Gamma }(z)}$ је цела функција, са нулама у $z=0,-1,-2,\dots$.

1. 1. 1. Минимуми и максимуми

На реалној оси, гама функција има локални минимум у Шаблон:Math где достиже вредност Шаблон:Math. Гама функција расте са обе стране овог минимума. Решење за Шаблон:Math је Шаблон:Math и заједничка вредност је Шаблон:Math. Позитивно решење за Шаблон:Math је Шаблон:Math, златни пресек, а заједничка вредност је Шаблон:Math.

Гама функција мора да мења знак између својих полова у ненегативним целим бројевима јер производ у напредној рекурентној релацији садржи непаран број негативних фактора ако је број полови између $z$ и $z+n$ непаран, а паран број ако је број полови паран. Вредности у локалним екстремима гама функције дуж реалне осе између ненегативних целих бројева су:

Шаблон:Math,

Шаблон:Math,

Шаблон:Math,

Шаблон:Math,

Шаблон:Math, итд.

1. 1. 1. Интегрални представници

Постоје многе формуле, осим Ојлеровог интеграла друге врсте, које изражавају гама функцију као интеграл. На пример, када је реални део Шаблон:Mvar позитиван, $$\mathrm{\Gamma }(z)={\int }_{-\mathrm{\infty }}^{\mathrm{\infty }}{e}^{zt-e^t}dt$$ и $$\mathrm{\Gamma }(z)={\int }_0^1{(\log \frac{1}{t})}^{z-1}dt,$$ $$\mathrm{\Gamma }(z)=2c^z{\int }_0^{\mathrm{\infty }}{t}^{2z-1}{e}^{-c{t}^2}dt,c>0$$ где три интеграла следе из замена $t=e^{-x}$, $t=-\log x$ и $t=c{x}^2$ у Ојлеровом интегралу друге врсте. Посебно, последњи интеграл јасно показује везу између гама функције на полуцелим аргументима и Гаусовог интеграла: ако $z=1/2,c=1$ добијамо $$\mathrm{\Gamma }(1/2)=2{\int }_0^{\mathrm{\infty }}{e}^{-t^2}dt=\sqrt{\pi }.$$

Бинеова прва интегрална формула за гама функцију каже да, када је реални део Шаблон:Mvar позитиван, онда: $$\mathrm{l}\mathrm{o}\mathrm{g}\mathrm{\Gamma }(z)=(z-\frac{1}{2})\log z-z+\frac{1}{2}\log (2\pi )+{\int }_0^{\mathrm{\infty }}(\frac{1}{2}-\frac{1}{t}+\frac{1}{e^t-1})\frac{e^{-tz}}{t}dt.$$ Интеграл на десној страни може се тумачити као Лапласова трансформација. То јест, $$\log (\mathrm{\Gamma }(z){\left(\frac{e}{z}\right)}^z\sqrt{\frac{z}{2\pi }})=ℒ(\frac{1}{2t}-\frac{1}{t^2}+\frac{1}{t(e^t-1)})(z).$$

Бинеова друга интегрална формула каже да, опет када је реални део Шаблон:Mvar позитиван, онда: $$\mathrm{l}\mathrm{o}\mathrm{g}\mathrm{\Gamma }(z)=(z-\frac{1}{2})\log z-z+\frac{1}{2}\log (2\pi )+2{\int }_0^{\mathrm{\infty }}\frac{\arctan (t/z)}{e^{2\pi t}-1}dt.$$

Нека Шаблон:Mvar буде Ханкелова контура, што значи пут који почиње и завршава се у тачки Шаблон:Math на Римановој сфери, чији јединични тангентни вектор конвергира ка Шаблон:Math на почетку пута и ка Шаблон:Math на крају, који има индекс 1 око Шаблон:Math, и који не прелази Шаблон:Closed-open. Фиксирајте грану $\log (-t)$ тако што ћеш узети гранични пресек дуж Шаблон:Closed-open и узети $\log (-t)$ реалним када је Шаблон:Math на негативној реалној оси. Претпоставимо да Шаблон:Mvar није цео број. Тада Ханкелова формула за гама функцију је: $$\mathrm{\Gamma }(z)=-\frac{1}{2i\sin \pi z}{\int }_C(-t{)}^{z-1}{e}^{-t}dt,$$ где $(-t{)}^{z-1}$ се интерпретира као $\exp ((z-1)\log (-t))$. Рефлексиона формула води до блиско повезаног израза $$\frac{1}{\mathrm{\Gamma }(z)}=\frac{i}{2\pi }{\int }_C(-t{)}^{-z}{e}^{-t}dt,$$ опет важећи кад год Шаблон:Mvar није цео број.

1. 1. 1. Представљање у облику континуираних разломака

Гама функција се такође може представити као збир два континуирана разломка: $$\begin{array}{cc}\mathrm{\Gamma }(z)& =\frac{e^{-1}}{2+0-z+1\frac{z-1}{2+2-z+2\frac{z-2}{2+4-z+3\frac{z-3}{2+6-z+4\frac{z-4}{2+8-z+5\frac{z-5}{2+10-z+\ddots }}}}}}\\ & +\frac{e^{-1}}{z+0-\frac{z+0}{z+1+\frac{1}{z+2-\frac{z+1}{z+3+\frac{2}{z+4-\frac{z+2}{z+5+\frac{3}{z+6-\ddots }}}}}}}\end{array}$$ где $z\in ℂ$.

1. 1. 1. Фуријеров развој

Логаритам гама функције има следећи Фуријеров развој за $0<z<1:$ $$\mathrm{l}\mathrm{o}\mathrm{g}\mathrm{\Gamma }(z)=(\frac{1}{2}-z)(\gamma +\log 2)+(1-z)\log \pi -\frac{1}{2}\log \sin (\pi z)+\frac{1}{\pi }\sum _{n=1}^{\mathrm{\infty }}\frac{\log n}{n}\sin (2\pi nz),$$ који је дуго приписиван Ернсту Кумеру, који га је извео 1847. Међутим, Јарослав Благушин је открио да га је први извео Карл Јохан Малмстен 1842.

Рабеова формула

1840. године Јозеф Лудвиг Рабе је доказао да $${\int }_a^{a+1}\log \mathrm{\Gamma }(z)dz=\frac{1}{2}\log (2\pi )+a\log a-a,a>0.$$ Посебно, ако $a=0$ онда $${\int }_0^1\log \mathrm{\Gamma }(z)dz=\frac{1}{2}\log (2\pi ).$$

Ово последње се може извести узимајући логаритам у горњој формули множења, која даје израз за Риманову суму интегранда. Узимајући границу за $a\to \mathrm{\infty }$ даје формулу.

1. 1. 1. Пи функција

Алтернативна нотација коју је увео Гаус је $\mathrm{\Pi }$-функција, померана верзија гама функције: $$\mathrm{\Pi }(z)=\mathrm{\Gamma }(z+1)=z\mathrm{\Gamma }(z)={\int }_0^{\mathrm{\infty }}{e}^{-t}{t}^{z}dt,$$ тако да $\mathrm{\Pi }(n)=n!$ за сваки ненегативан цео број Шаблон:Tmath.

Користећи пи функцију, рефлексиона формула је: $$\mathrm{\Pi }(z)\mathrm{\Pi }(-z)=\frac{\pi z}{\sin (\pi z)}=\frac{1}{\mathrm{sinc}(z)}$$ користећи нормализовану sinc функцију; док формула множења постаје: $$\mathrm{\Pi }\left(\frac{z}{m}\right)\mathrm{\Pi }\left(\frac{z-1}{m}\right)\cdots \mathrm{\Pi }\left(\frac{z-m+1}{m}\right)=(2\pi {)}^{\frac{m-1}{2}}{m}^{-z-\frac{1}{2}}\mathrm{\Pi }(z).$$

Померана реципрочна гама функција се понекад означава са Шаблон:Tmath, што је цела функција.

Запремина Шаблон:Mvar-елипсоида са полупречницима Шаблон:Math може се изразити као $$V_n(r_1,\dots ,r_n)=\frac{{\pi }^{\frac{n}{2}}}{\mathrm{\Pi }\left(\frac{n}{2}\right)}\prod _{k=1}^n{r}_k.$$

1. 1. 1. Веза са другим функцијама

• У првој интегралној дефиницији гама функције, границе интеграције су фиксне. Горња непотпуна гама функција је добијена дозвољавању варијабилности доње границе интеграције:$$\mathrm{\Gamma }(z,x)={\int }_x^{\mathrm{\infty }}{t}^{z-1}{e}^{-t}dt.$$Постоји слична доња непотпуна гама функција.
• Гама функција је везана са Ојлеровом бета функцијом формулом $$\mathrm{B}(z_1,z_2)={\int }_0^1{t}^{z_1-1}(1-t{)}^{z_2-1}dt=\frac{\mathrm{\Gamma }(z_1)\mathrm{\Gamma }(z_2)}{\mathrm{\Gamma }(z_1+z_2)}.$$
• Логаритамски извод гама функције назива се дигама функција; виши изводи су полигама функција.
• Аналог гама функције преко коначног поља или коначног прстена су Гаусове суме, тип експоненцијалне суме.
• Реципрочна гама функција је цела функција и проучавана је као посебна тема.
• Гама функција се такође појављује у важној вези са Римановом зета функцијом, $\zeta (z)$. $${\pi }^{-\frac{z}{2}}\mathrm{\Gamma }\left(\frac{z}{2}\right)\zeta (z)={\pi }^{-\frac{1-z}{2}}\mathrm{\Gamma }\left(\frac{1-z}{2}\right)\zeta (1-z).$$ Такође се појављује у следећој формули: $$\zeta (z)\mathrm{\Gamma }(z)={\int }_0^{\mathrm{\infty }}\frac{u^z}{e^u-1}\frac{du}{u},$$ која важи само за $\mathrm{\Re }(z)>1$.Шаблон:Pb Логаритам гама функције задовољава следећу формулу због Лерча: $$\mathrm{l}\mathrm{o}\mathrm{g}\mathrm{\Gamma }(z)={{\zeta }_H}^{\prime }(0,z)-{\zeta }^{\prime }(0),$$ где је ${\zeta }_H$ Хурвицова зета функција, а $\zeta$ Риманова зета функција и прим (Шаблон:Math) означава диференцијацију у првој варијабли.
• Гама функција је везана за испружена експоненцијална функција. На пример, моменти те функције су $$⟨{\tau }^n⟩\equiv {\int }_0^{\mathrm{\infty }}{t}^{n-1}{e}^{-{\left(\frac{t}{\tau }\right)}^{\beta }}\mathrm{d}t=\frac{{\tau }^n}{\beta }\mathrm{\Gamma }\left(\frac{n}{\beta }\right).$$

1. 1. 1. Посебне вредности

Шаблон:Main Укључујући до првих 20 децимала, неке посебне вредности гама функције су: $$\begin{array}{ccccc}\mathrm{\Gamma }(-\frac{3}{2})& =& \frac{4\sqrt{\pi }}{3}& \approx & +2,36327180120735470306\\ \mathrm{\Gamma }(-\frac{1}{2})& =& -2\sqrt{\pi }& \approx & -3,54490770181103205459\\ \mathrm{\Gamma }\left(\frac{1}{2}\right)& =& \sqrt{\pi }& \approx & +1,77245385090551602729\\ \mathrm{\Gamma }(1)& =& 0!& =& +1\\ \mathrm{\Gamma }\left(\frac{3}{2}\right)& =& \frac{\sqrt{\pi }}{2}& \approx & +0,88622692545275801364\\ \mathrm{\Gamma }(2)& =& 1!& =& +1\\ \mathrm{\Gamma }\left(\frac{5}{2}\right)& =& \frac{3\sqrt{\pi }}{4}& \approx & +1,32934038817913702047\\ \mathrm{\Gamma }(3)& =& 2!& =& +2\\ \mathrm{\Gamma }\left(\frac{7}{2}\right)& =& \frac{15\sqrt{\pi }}{8}& \approx & +3,32335097044784255118\\ \mathrm{\Gamma }(4)& =& 3!& =& +6\end{array}$$ (Ови бројеви могу се наћи у OEIS-у. Овде приказане вредности су скраћене, а не заокружене.) Комплексно вреднована гама функција је недефинисана за ненегативне целе бројеве, али у овим случајевима вредност може се дефинисати у Римановој сфери као Шаблон:Math. Реципрочна гама функција је добро дефинисана и аналитичка у овим вредностима (и у целој комплексној равни): $$\frac{1}{\mathrm{\Gamma }(-3)}=\frac{1}{\mathrm{\Gamma }(-2)}=\frac{1}{\mathrm{\Gamma }(-1)}=\frac{1}{\mathrm{\Gamma }(0)}=0.$$

Логаритам гама функције

Аналитичка функција Шаблон:Math

Због тога што гама функција и функција факторијела брзо расту за умерено велике аргументе, многе рачунарске средине укључују функцију која враћа природни логаритам гама функције, често именовану lgamma или lngamma у програмским срединама или gammaln у табелама. Ова функција расте много спорије, и за комбинаторна израчунавања дозвољава сабирање и одузимање логаритамских вредности уместо множења и дељења веома великих вредности. Дефинише се као $$\mathrm{l}\mathrm{o}\mathrm{g}\mathrm{\Gamma }(z)=-\gamma z-\log z+\sum _{k=1}^{\mathrm{\infty }}[\frac{z}{k}-\log (1+\frac{z}{k})].$$

Логаритамска гама функција у комплексној равни
од Шаблон:Math до Шаблон:Math са бојама

Функционална једначина $$\mathrm{l}\mathrm{o}\mathrm{g}\mathrm{\Gamma }(z)=\mathrm{l}\mathrm{o}\mathrm{g}\mathrm{\Gamma }(z+1)-\log z$$ Телекомуникација се често користи у техничким и физичким апликацијама, нпр. код таласног ширења. Према наговештају Гауса, Роктешел (1922) је предложио за Шаблон:Math апроксимацију за велике Шаблон:Math: $$\mathrm{l}\mathrm{o}\mathrm{g}\mathrm{\Gamma }(z)\approx (z-\frac{1}{2})\log z-z+\frac{1}{2}\log (2\pi ).$$

Ова апроксимација може да се користи да се прецизно апроксимира Шаблон:Math за Шаблон:Mvar са мањим Шаблон:Math преко (П.Е.Бемер, 1939) $$\mathrm{l}\mathrm{o}\mathrm{g}\mathrm{\Gamma }(z-m)=\mathrm{l}\mathrm{o}\mathrm{g}\mathrm{\Gamma }(z)-\sum _{k=1}^m\log (z-k).$$

Тачнија апроксимација може се добити коришћењем више чланова из асимптотских развоја Шаблон:Math и Шаблон:Math, који су засновани на Стирлинговој апроксимацији. $$\mathrm{\Gamma }(z)\sim z^{z-\frac{1}{2}}{e}^{-z}\sqrt{2\pi }(1+\frac{1}{12z}+\frac{1}{288z^2}-\frac{139}{51840z^3}-\frac{571}{2488320z^4})$$

како Шаблон:Math са константном Шаблон:Math. (Види секвенце Шаблон:OEIS link и Шаблон:OEIS link у OEIS-у.)

У „природнијем“ представљању: $$\mathrm{l}\mathrm{o}\mathrm{g}\mathrm{\Gamma }(z)=z\log z-z-\frac{1}{2}\log z+\frac{1}{2}\log 2\pi +\frac{1}{12z}-\frac{1}{360z^3}+\frac{1}{1260z^5}+o\left(\frac{1}{z^5}\right)$$

како Шаблон:Math са константном Шаблон:Math. (Види секвенце Шаблон:OEIS link и Шаблон:OEIS link у OEIS-у.)

Коефицијенти чланова са Шаблон:Math од Шаблон:Math у последњем развоју су једноставно $$\frac{B_k}{k(k-1)}$$ где су Шаблон:Math Бернулијеви бројеви.

Стирлингова серија, изведена од Шарла Ермита 1900, дата је $$\mathrm{l}\mathrm{o}\mathrm{g}\mathrm{\Gamma }(1+x)=\frac{x(x-1)}{2!}\log (2)+\frac{x(x-1)(x-2)}{3!}(\log (3)-2\log (2))+\cdots ,\mathrm{\Re }(x)>0.$$

Својства

Бор—Молерупова теорема наводи да је међу свим функцијама које проширују факторијелске функције на позитивне реалне бројеве, само гама-функција лог-конвексна, то јест, њен природни логаритам је конвексан на позитивној реалној оси. Друга карактеризација је дата Вилантовом теоремом.

Гама-функција је јединствена функција која истовремено задовољава следеће услове:

1. $\mathrm{\Gamma }(1)=1$,
2. $\mathrm{\Gamma }(z+1)=z\mathrm{\Gamma }(z)$ за све комплексне бројеве $z$ осим за непозитивне целе бројеве, и
3. за цео број Шаблон:Mvar, $\underset{n\to \mathrm{\infty }}{lim}\frac{\mathrm{\Gamma }(n+z)}{\mathrm{\Gamma }(n)n^z}=1$ за све комплексне бројеве Шаблон:Tmath.

У извесном смислу, логаритамска гама-функција је природнији облик; она чини неке суштинске атрибуте функције јаснијим. Упечатљив пример је Тејлоров ред функције Шаблон:Math око 1: $$\mathrm{l}\mathrm{o}\mathrm{g}\mathrm{\Gamma }(z+1)=-\gamma z+\sum _{k=2}^{\mathrm{\infty }}\frac{\zeta (k)}{k}(-z{)}^k\mathrm{\forall }|z|<1$$ где Шаблон:Math означава Риманову зета-функцију у тачки Шаблон:Mvar.

Дакле, користећи следеће својство: $$\zeta (s)\mathrm{\Gamma }(s)={\int }_0^{\mathrm{\infty }}\frac{t^s}{e^t-1}\frac{dt}{t}$$ интегрална репрезентација логаритамске гама-функције је: $$\mathrm{l}\mathrm{o}\mathrm{g}\mathrm{\Gamma }(z+1)=-\gamma z+{\int }_0^{\mathrm{\infty }}\frac{e^{-zt}-1+zt}{t(e^t-1)}dt$$ или, ако поставимо Шаблон:Math да бисмо добили интеграл за Шаблон:Mvar, можемо заменити члан Шаблон:Mvar његовим интегралом и уградити га у горњу формулу, да бисмо добили: $$\mathrm{l}\mathrm{o}\mathrm{g}\mathrm{\Gamma }(z+1)={\int }_0^{\mathrm{\infty }}\frac{e^{-zt}-z{e}^{-t}-1+z}{t(e^t-1)}dt.$$

Такође постоје и посебне формуле за логаритам гама-функције за рационално Шаблон:Mvar. На пример, ако су $k$ и $n$ цели бројеви са $k<n$ и Шаблон:Tmath, онда $$\begin{array}{cc}\mathrm{l}\mathrm{o}\mathrm{g}\mathrm{\Gamma }\left(\frac{k}{n}\right)=& \frac{(n-2k)\log 2\pi }{2n}+\frac{1}{2}\{\log \pi -\log \sin \frac{\pi k}{n}\}+\frac{1}{\pi }\sum _{r=1}^{n-1}\frac{\gamma +\log r}{r}\cdot \sin \frac{2\pi rk}{n}\\ & -\frac{1}{2\pi }\sin \frac{2\pi k}{n}\cdot {\int }_0^{\mathrm{\infty }}\frac{e^{-nx}\cdot \log x}{\cosh x-\cos (2\pi k/n)}\mathrm{d}x.\end{array}$$Ова формула се понекад користи за нумеричко израчунавање, пошто се интегранд веома брзо смањује.

Интеграција преко логаритамске гама-функције

Интеграл $${\int }_0^z\mathrm{l}\mathrm{o}\mathrm{g}\mathrm{\Gamma }(x)dx$$ може се изразити у терминима [[Барнсова G-функција|Барнсове Шаблон:Mvar-функције]] (погледати [[Барнсова G-функција|Барнсова Шаблон:Mvar-функција]] за доказ): $${\int }_0^z\mathrm{l}\mathrm{o}\mathrm{g}\mathrm{\Gamma }(x)dx=\frac{z}{2}\log (2\pi )+\frac{z(1-z)}{2}+z\mathrm{l}\mathrm{o}\mathrm{g}\mathrm{\Gamma }(z)-\log G(z+1)$$ где је Шаблон:Math.

Такође се може записати у терминима Хурвицове зета-функције: $${\int }_0^z\mathrm{l}\mathrm{o}\mathrm{g}\mathrm{\Gamma }(x)dx=\frac{z}{2}\log (2\pi )+\frac{z(1-z)}{2}-{\zeta }^{\prime }(-1)+{\zeta }^{\prime }(-1,z).$$

Када је $z=1$, следи да је $${\int }_0^1\mathrm{l}\mathrm{o}\mathrm{g}\mathrm{\Gamma }(x)dx=\frac{1}{2}\log (2\pi ),$$ a ово је такође последица Рабеове формуле. О. Еспиноса и В. Мол извели су сличну формулу за интеграл квадрата $\mathrm{l}\mathrm{o}\mathrm{g}\mathrm{\Gamma }$: $${\int }_0^1{\log }^2\mathrm{\Gamma }(x)dx=\frac{{\gamma }^2}{12}+\frac{{\pi }^2}{48}+\frac{1}{3}\gamma L_1+\frac{4}{3}{L}_1^2-(\gamma +2L_1)\frac{{\zeta }^{\prime }(2)}{{\pi }^2}+\frac{{\zeta }^{″}(2)}{2{\pi }^2},$$ где је $L_1$ једнако $\frac{1}{2}\log (2\pi )$.

Д. Х. Бејли и његови коаутори дали су процену за $$L_n:={\int }_0^1{\log }^n\mathrm{\Gamma }(x)dx$$ када је $n=1,2$ у терминима Торнхајм—Витенове зета-функције и њених извода.

Поред тога, познато је и да $$\underset{n\to \mathrm{\infty }}{lim}\frac{L_n}{n!}=1.$$

Апроксимације

Поређење гама-функције (плава линија) са факторијелом (плаве тачке) и Стерлинговом апроксимацијом (црвена линија)

Комплексне вредности гама-функције могу се апроксимирати помоћу Стерлингове апроксимације или Ланцошеве апроксимације, $$\mathrm{\Gamma }(z)\sim \sqrt{2\pi }{z}^{z-1/2}{e}^{-z}\text{када }z\to \mathrm{\infty }\text{ у }|\arg (z)|<\pi .$$ Ово је прецизно у смислу да се однос апроксимације и стварне вредности приближава 1 у лимесу када Шаблон:Math тежи бесконачности.

Гама-функција се може израчунати до фиксне прецизности за $\mathrm{Re}(z)\in [1,2]$ применом парцијалне интеграције на Ојлеров интеграл. За било који позитиван број Шаблон:Mvar, гама-функција се може написати као $$\begin{array}{cc}\mathrm{\Gamma }(z)& ={\int }_0^x{e}^{-t}{t}^z\frac{dt}{t}+{\int }_x^{\mathrm{\infty }}{e}^{-t}{t}^z\frac{dt}{t}\\ & =x^z{e}^{-x}\sum _{n=0}^{\mathrm{\infty }}\frac{x^n}{z(z+1)\cdots (z+n)}+{\int }_x^{\mathrm{\infty }}{e}^{-t}{t}^z\frac{dt}{t}.\end{array}$$

Када је Шаблон:Math и $x\ge 1$, апсолутна вредност последњег интеграла је мања од $(x+1)e^{-x}$. Избором довољно великог Шаблон:Tmath, овај последњи израз може се учинити мањим од $2^{-N}$ за било коју жељену вредност Шаблон:Tmath. Дакле, гама-функција се може проценити на $N$ битова прецизности помоћу горњег реда.

Брзи алгоритам за израчунавање Ојлерове гама-функције за било који алгебарски аргумент (укључујући и рационалне) конструисао је Е. А. Карацуба.

За аргументе који су цели бројеви помножени са Шаблон:Math, гама-функција се такође може брзо проценити коришћењем итерација аритметичко-геометријске средине (погледајте посебне вредности гама-функције).

Практичне имплементације

За разлику од многих других функција, као што је нормална расподела, није лако пронаћи очигледно брзу и тачну имплементацију која је једноставна за имплементацију за гама-функцију $\mathrm{\Gamma }(z)$. Стога је вредно истражити потенцијална решења. У случају да је брзина важнија од тачности, објављене табеле за $\mathrm{\Gamma }(z)$ лако се могу наћи претрагом на интернету, као што је „Online Wiley Library”. Такве табеле се могу користити са линеарном интерполацијом. Већа тачност се може постићи употребом кубне интерполације по цену већих рачунарских захтева. Пошто се табеле за $\mathrm{\Gamma }(z)$ обично објављују за вредности аргумената између 1 и 2, својство $\mathrm{\Gamma }(z+1)=z\mathrm{\Gamma }(z)$ може се користити за брзо и лако превођење свих реалних вредности $z<1$ и $z>2$ у опсег $1\le z\le 2$, тако да је потребно користити само табеларне вредности за $z$ између 1 и 2.

Ако табеле за интерполацију нису пожељне, онда Ланцошева апроксимација поменута горе добро функционише за тачност од 1 до 2 цифре за мале, често коришћене вредности z. Ако Ланцошева апроксимација није довољно тачна, може се користити Стерлингова формула за гама-функцију.

Примене

Један аутор описује гама-функцију као „вероватно најчешћу специјалну функцију, или најмање 'специјалну' од свих. Друге трансценденталне функције [...] називају се 'специјалним' јер бисте их могли избећи држећи се подаље од многих специјализованих математичких тема. С друге стране, гама-функцију Шаблон:Math је најтеже избећи.”

Проблеми интеграције

Гама-функција налази примену у различитим областима као што су квантна физика, астрофизика и механика флуида. Гама-расподела, која је формулисана у терминима гама-функције, користи се у статистици за моделирање широког спектра процеса; на пример, времена између појава земљотреса.

Примарни разлог корисности гама-функције у таквим контекстима је преваленција израза типа $f(t)e^{-g(t)}$ који описују процесе који експоненцијално опадају у времену или простору. Интеграли таквих израза се понекад могу решити у терминима гама-функције када не постоји елементарно решење. На пример, ако је Шаблон:Mvar степена функција, а Шаблон:Mvar линеарна функција, једноставна смена променљивих $u:=a\cdot t$ даје процену

$${\int }_0^{\mathrm{\infty }}{t}^b{e}^{-at}dt=\frac{1}{a^b}{\int }_0^{\mathrm{\infty }}{u}^b{e}^{-u}d\left(\frac{u}{a}\right)=\frac{\mathrm{\Gamma }(b+1)}{a^{b+1}}.$$

Чињеница да се интеграција врши дуж целе позитивне реалне осе може значити да гама-функција описује акумулацију временски зависног процеса који се наставља неодређено, или вредност може бити укупна вредност расподеле у бесконачном простору.

Наравно, често је корисно узети границе интеграције различите од 0 и Шаблон:Math да би се описала акумулација коначног процеса, у ком случају обична гама-функција више није решење; решење се тада назива непотпуна гама-функција. (Обична гама-функција, добијена интеграцијом преко целе позитивне реалне осе, понекад се назива потпуна гама-функција ради контраста.)

Важна категорија експоненцијално опадајућих функција су Гаусове функције $$a{e}^{-\frac{(x-b{)}^2}{c^2}}$$ и њихови интеграли, као што је функција грешке. Постоји много међусобних веза између ових функција и гама-функције; посебно, фактор $\sqrt{\pi }$ добијен проценом $\mathrm{\Gamma }\left(\frac{1}{2}\right)$ је „исти” као онај који се налази у фактору нормализације функције грешке и нормалне расподеле.

Досадашњи интеграли укључују трансценденталне функције, али гама-функција такође произилази из интеграла чисто алгебарских функција. Конкретно, дужине лука елипсе и лемнискате, које су криве дефинисане алгебарским једначинама, дате су елиптичким интегралима који се у посебним случајевима могу проценити у терминима гама-функције. Гама-функција се такође може користити за израчунавање „запремине” и „површине” Шаблон:Mvar-димензионалних хиперсфера.

Израчунавање производа

Способност гама-функције да генерализује факторијалне производе одмах доводи до примена у многим областима математике; у комбинаторици, и самим тим у областима као што су теорија вероватноће и израчунавање степених редова. Многи изрази који укључују производе узастопних целих бројева могу се написати као комбинација факторијала, а најважнији пример је вероватно биномни коефицијент. На пример, за било које комплексне бројеве Шаблон:Mvar и Шаблон:Mvar, са Шаблон:Math, можемо написати $$(1+z{)}^n=\sum _{k=0}^{\mathrm{\infty }}\frac{\mathrm{\Gamma }(n+1)}{k!\mathrm{\Gamma }(n-k+1)}{z}^k,$$ што веома подсећа на биномни коефицијент када је Шаблон:Mvar ненегативан цео број, $$(1+z{)}^n=\sum _{k=0}^n\frac{n!}{k!(n-k)!}{z}^k=\sum _{k=0}^n(\genfrac{}{}{0ex}{}{n}{k})z^k.$$

Пример биномних коефицијената мотивише зашто су својства гама-функције када се прошире на негативне бројеве природна. Биномни коефицијент даје број начина да се изабере Шаблон:Mvar елемената из скупа од Шаблон:Mvar елемената; ако је Шаблон:Math, наравно, нема начина. Ако је Шаблон:Math, Шаблон:Math је факторијал негативног целог броја и стога је бесконачан ако користимо дефиницију факторијала преко гама-функције — дељење са бесконачношћу даје очекивану вредност 0.

Можемо заменити факторијал гама-функцијом да бисмо проширили било коју такву формулу на комплексне бројеве. Генерално, ово функционише за било који производ у којем је сваки фактор рационална функција променљиве индекса, факторизацијом рационалне функције у линеарне изразе. Ако су Шаблон:Mvar и Шаблон:Mvar монични полиноми степена Шаблон:Mvar и Шаблон:Mvar са коренима Шаблон:Math и Шаблон:Math, имамо $$\prod _{i=a}^b\frac{P(i)}{Q(i)}=\left(\prod _{j=1}^m\frac{\mathrm{\Gamma }(b-p_j+1)}{\mathrm{\Gamma }(a-p_j)}\right)\left(\prod _{k=1}^n\frac{\mathrm{\Gamma }(a-q_k)}{\mathrm{\Gamma }(b-q_k+1)}\right).$$

Ако имамо начин да нумерички израчунамо гама-функцију, врло је једноставно израчунати нумеричке вредности таквих производа. Број гама-функција на десној страни зависи само од степена полинома, тако да није битно да ли је Шаблон:Math једнако 5 или 10⁵. Узимањем одговарајућих лимеса, једначина се може учинити важећом чак и када леви производ садржи нуле или полове.

Узимањем лимеса, одређени рационални производи са бесконачно много фактора такође се могу проценити у терминима гама-функције. Захваљујући Вајерштрасовој теореми о факторизацији, аналитичке функције се могу написати као бесконачни производи, а ови се понекад могу представити као коначни производи или количници гама-функције. Већ смо видели један упечатљив пример: формула рефлексије у суштини представља синусну функцију као производ две гама-функције. Полазећи од ове формуле, експоненцијална функција као и све тригонометријске и хиперболичке функције могу се изразити у терминима гама-функције.

Још више функција, укључујући хипергеометријску функцију и њене посебне случајеве, могу се представити помоћу комплексних контурних интеграла производа и количника гама-функције, названих Мелин—Барнсови интеграли.

Аналитичка теорија бројева

Примена гама-функције је проучавање Риманове зета-функције. Основно својство Риманове зета-функције је њена функционална једначина: $$\mathrm{\Gamma }\left(\frac{s}{2}\right)\zeta (s){\pi }^{-\frac{s}{2}}=\mathrm{\Gamma }\left(\frac{1-s}{2}\right)\zeta (1-s){\pi }^{-\frac{1-s}{2}}.$$

Између осталог, ово пружа експлицитан облик за аналитички наставак зета-функције на мероморфну функцију у комплексној равни и води до непосредног доказа да зета-функција има бесконачно много такозваних „тривијалних” нула на реалној оси. Борвајн et al. ову формулу називају „једним од најлепших открића у математици”. Други кандидат за ту титулу би могао бити $$\zeta (s)\mathrm{\Gamma }(s)={\int }_0^{\mathrm{\infty }}\frac{t^s}{e^t-1}\frac{dt}{t}.$$

Обе формуле је извео Бернхард Риман у свом семиналном раду из 1859. године „Ueber die Anzahl der Primzahlen unter einer gegebenen Größe” („О броју простих бројева мањих од дате величине”), што је један од камена темељаца у развоју аналитичке теорије бројева — гране математике која проучава просте бројеве користећи алате математичке анализе.

Историја

Гама-функција је привукла пажњу неких од најистакнутијих математичара свих времена. Њена историја, коју је посебно документовао Филип Џ. Дејвис у чланку који му је донео Шовенеову награду 1963. године, одражава многе од главних развоја у математици од 18. века. По Дејвисовим речима, „свака генерација је пронашла нешто занимљиво да каже о гама-функцији. Можда ће и следећа генерација то учинити.”

18. век: Ојлер и Стерлинг

Писмо Данијела Бернулија Кристијану Голдбаху (6. октобар 1729)

Проблем проширења факторијела на не-целобројне аргументе очигледно су први разматрали Данијел Бернули и Кристијан Голдбах 1720-их. Конкретно, у писму Бернулија Голдбаху од 6. октобра 1729. године, Бернули је увео производну репрезентацију $$x!=\underset{n\to \mathrm{\infty }}{lim}{(n+1+\frac{x}{2})}^{x-1}\prod _{k=1}^n\frac{k+1}{k+x}$$ која је добро дефинисана за реалне вредности Шаблон:Mvar осим за негативне целе бројеве.

Леонард Ојлер је касније дао две различите дефиниције: прва није била његов интеграл већ бесконачни производ који је добро дефинисан за све комплексне бројеве Шаблон:Mvar осим за негативне целе бројеве, $$n!=\prod _{k=1}^{\mathrm{\infty }}\frac{{(1+\frac{1}{k})}^n}{1+\frac{n}{k}},$$ о чему је обавестио Голдбаха у писму од 13. октобра 1729. године. Поново је писао Голдбаху 8. јануара 1730. године, да би објавио своје откриће интегралне репрезентације $$n!={\int }_0^1(-\log s{)}^{n}ds,$$ која важи када је реални део комплексног броја Шаблон:Mvar стриктно већи од Шаблон:Math (тј. $\mathrm{\Re }(n)>-1$). Сменом променљивих Шаблон:Math, ово постаје познати Ојлеров интеграл. Ојлер је објавио своје резултате у раду „De progressionibus transcendentibus seu quarum termini generales algebraice dari nequeunt” („О трансценденталним прогресијама, то јест, онима чији се општи чланови не могу дати алгебарски”), поднетом Академији у Санкт Петербургу 28. новембра 1729. године. Ојлер је даље открио нека од важних функционалних својстава гама-функције, укључујући формулу рефлексије.

Џејмс Стерлинг, Ојлеров савременик, такође је покушао да пронађе континуирани израз за факторијел и дошао до онога што је данас познато као Стерлингова формула. Иако Стерлингова формула даје добру процену Шаблон:Math, такође и за не-целе бројеве, она не даје тачну вредност. Проширења његове формуле која исправљају грешку дали су сам Стерлинг и Жак Филип Мари Бине.

19. век: Гаус, Вајерштрас и Лежандр

Прва страница Ојлеровог рада

Карл Фридрих Гаус је преписао Ојлеров производ као $$\mathrm{\Gamma }(z)=\underset{m\to \mathrm{\infty }}{lim}\frac{m^{z}m!}{z(z+1)(z+2)\cdots (z+m)}$$ и користио ову формулу да открије нова својства гама-функције. Иако је Ојлер био пионир у теорији комплексних променљивих, чини се да није разматрао факторијел комплексног броја, што је први урадио Гаус. Гаус је такође доказао теорему о множењу гама-функције и истраживао везу између гама-функције и елиптичких интеграла.

Карл Вајерштрас је даље учврстио улогу гама-функције у комплексној анализи, полазећи од још једне производне репрезентације, $$\mathrm{\Gamma }(z)=\frac{e^{-\gamma z}}{z}\prod _{k=1}^{\mathrm{\infty }}{(1+\frac{z}{k})}^{-1}{e}^{\frac{z}{k}},$$ где је Шаблон:Mvar Ојлер—Маскеронијева константа. Вајерштрас је првобитно написао свој производ као производ за Шаблон:Math, у ком случају се узима преко нула функције, а не њених полова. Инспирисан овим резултатом, доказао је оно што је познато као Вајерштрасова теорема о факторизацији — да се свака цела функција може написати као производ преко својих нула у комплексној равни; генерализација основне теореме алгебре.

Назив гама-функција и симбол Шаблон:Math увео је Адријен-Мари Лежандр око 1811. године; Лежандр је такође преписао Ојлерову интегралну дефиницију у њен модеран облик. Иако је симбол велико грчко слово гама, не постоји прихваћен стандард да ли назив функције треба писати „гама-функција” или „Гама-функција” (неки аутори једноставно пишу „Шаблон:Math-функција”). Алтернативна нотација „пи-функција” Шаблон:Math коју је увео Гаус понекад се среће у старијој литератури, али Лежандрова нотација је доминантна у модерним радовима.

Оправдано је питати се зашто разликујемо „обичан факторијел” и гама-функцију коришћењем различитих симбола, и посебно зашто би гама-функција требало да буде нормализована на Шаблон:Math уместо једноставног коришћења „Шаблон:Math”. Узмимо у обзир да је нотација за експоненте, Шаблон:Math, генерализована од целих бројева до комплексних бројева Шаблон:Math без икакве промене. Лежандрова мотивација за нормализацију није позната, и неки су је критиковали као гломазну (математичар 20. века Корнелијус Ланцош, на пример, назвао ју је „лишеном сваке рационалности” и радије би користио Шаблон:Math). Лежандрова нормализација поједностављује неке формуле, али компликује друге. Са модерне тачке гледишта, Лежандрова нормализација гама-функције је интеграл адитивног карактера Шаблон:Math у односу на мултипликативни карактер Шаблон:Math у односу на Харову меру $\frac{dx}{x}$ на Лијевој групи Шаблон:Math. Тако ова нормализација јасније показује да је гама-функција континуирани аналог Гаусовог збира.

19—20. век: карактеризација гама-функције

Помало је проблематично што је дат велики број дефиниција за гама-функцију. Иако описују исту функцију, није потпуно једноставно доказати њихову еквивалентност. Стерлинг никада није доказао да његова проширена формула тачно одговара Ојлеровој гама-функцији; доказ је први дао Шарл Ермит 1900. године. Уместо проналажења специјализованог доказа за сваку формулу, било би пожељно имати општи метод за идентификацију гама-функције.

Један начин да се докаже еквивалентност био би проналажење диференцијалне једначине која карактерише гама-функцију. Већина специјалних функција у примењеној математици настаје као решења диференцијалних једначина, чија су решења јединствена. Међутим, чини се да гама-функција не задовољава ниједну једноставну диференцијалну једначину. Ото Хелдер је 1887. године доказао да гама-функција барем не задовољава ниједну алгебарску диференцијалну једначину показујући да решење такве једначине не може задовољити рекурентну формулу гама-функције, чиме је она трансцендентално трансцендентална функција. Овај резултат је познат као Хелдерова теорема.

Коначна и опште применљива карактеризација гама-функције није дата све до 1922. године. Харалд Бор и Јоханес Молеруп су тада доказали оно што је познато као Бор—Молерупова теорема: да је гама-функција јединствено решење факторијалне рекурентне релације које је позитивно и логаритамски конвексно за позитивно Шаблон:Mvar и чија је вредност у тачки 1 једнака 1 (функција је логаритамски конвексна ако је њен логаритам конвексан). Друга карактеризација је дата Вилантовом теоремом.

Бор—Молерупова теорема је корисна јер је релативно лако доказати логаритамску конвексност за било коју од различитих формула које се користе за дефинисање гама-функције. Идући даље, уместо дефинисања гама-функције било којом посебном формулом, можемо изабрати услове Бор—Молерупове теореме као дефиницију, а затим одабрати било коју формулу која нам се свиђа и која задовољава услове као почетну тачку за проучавање гама-функције. Овај приступ је користила група Бурбаки.

Џонатан Борвајн и Корлес су прегледали три века рада на гама-функцији.

Референтне табеле и софтвер

Апсолутна вредност комплексне гама функције, нацртана ручно, из Табела више функција од Јанке и Шаблон:Ill

Иако се гама функција може израчунати практично лако као и било која математички једноставнија функција са модерним рачунаром—чак и са програмивим џепним калкулатором—то наравно није увек био случај. Све до средине 20. века, математичари су се ослањали на ручно прављене табеле; у случају гама функције, посебно табелу коју је израчунао Гаус 1813. и ону коју је израчунао Лежандр 1825.

Табеле комплексних вредности гама функције, као и ручно цртани графици, дате су у Табелама функција са формулама и кривим од Јанке и Шаблон:Ill, први пут објављене у Немачкој 1909. Према Михајлу Берију, „публиковање у Ј&Е тродимензионалног графона који показује полуове гама функције у комплексној равни достигла је скоро иконски статус.“

У ствари, постојала је мала практична потреба за било чим другим осим реалних вредности гама функције све до 1930-их, када су откривене примене за комплексну гама функцију у теоретској физици. Како су електронски рачунари постали доступни за производњу табела 1950-их, објављене су неколико опсежних табела за комплексну гама функцију да би задовољили потражњу, укључујући табелу тачну на 12 децималних места са америчког Националног завода за стандарде.

Репродукција чувеног комплексног графона Јанхке и Емдеа (Табеле функција са формулама и кривим, 4. изд., Доувер, 1945) гама функције од −4,5 − 2,5i до 4,5 + 2,5i

Имплементације гама функције са двоструком прецизношћу плутајуће зарепреке и њених логаритама сада су доступне у већини софтвера за научно израчунавање и библиотека специјалних функција, на пример TK Solver, Matlab, GNU Octave, и GNU Scientific Library. Гама функција је такође додата стандардној библиотеци C (math.h). Имплементације произвољне прецизности доступне су у већини рачунарских система за алгебру, као што су Mathematica и Maple. PARI/GP, MPFR и MPFUN садрже бесплатне имплементације произвољне прецизности. У неким софтверским калкулаторима, нпр. Виндоусовом калкулатору и ГНОМ калкулатору, функција факторијела враћа Шаблон:Math када је улаз Шаблон:Mvar нецелобројна вредност.

Види још

• Растући факторијел
• Цахен-Мелин интеграл
• Елиптичка гама функција
• Лемнискатна константа
• Псеудогама функција
• Хадамардова гама функција
• Инверзна гама функција
• Ланцошова апроксимација
• Вишеструка гама функција
• Мултиваријабилна гама функција
• [[p-adic gamma function|Шаблон:Mvar-адична гама функција]]
• [[Поххамеров k-симбол|Поххамеров Шаблон:Mvar-симбол]]
• Полигама функција
• [[q-gamma function|Шаблон:Mvar-гама функција]]
• Рамануџанова главна теорема
• Спаужова апроксимација
• Стирлингова апроксимација
• Баргава факторијел

Литература

• Шаблон:Cite book
• Шаблон:Cite book
• Шаблон:Cite book
• Шаблон:Cite book
• Шаблон:Cite book
• Шаблон:Dlmf
• Шаблон:Cite journal
• Шаблон:Cite book
• Шаблон:Cite journal
• Шаблон:Cite journal
• Шаблон:Cite book
• Шаблон:Cite book
• Шаблон:Cite book
• Шаблон:Cite book
• Шаблон:Cite journal

Спољашње везе

• NIST Digital Library of Mathematical Functions:Gamma function (Енглески)
• Паскал Себах и Ксавијер Гурдон. Увод у гама функцију. У PostScript и HTML форматима.
• C++ референца за std::tgamma (Енглески)
• gamma() и lgamma() изложене из C99 у Постгресовој верзији 18 (Енглески)
• Примери проблема који укључују гама функцију могу се наћи на Exampleproblems.com. (Енглески)
• Шаблон:Springer (Енглески)
• Волфрам гама функцијски евалуатор (произвољна прецизност) Шаблон:Webarchive (Енглески)
• Шаблон:WolframFunctionsSite (Енглески)
• Запремина n-сфера и гама функција на MathPages (Енглески)