La funció gamma és una funció especial important en matemàtiques. Els seus valors particulars poden expressar-se en forma tancada per a arguments enters i mig enters, però no es coneixen expressions simples per als valors en punts racionals en general. Altres arguments fraccionaris es poden aproximar a través de productes infinits eficients, sèries infinites i relacions de recurrència.
Enters i mitjos enters
Per a arguments enters positius, la funció gamma coincideix amb el factorial. Això és,
![{\displaystyle \Gamma (n)=(n-1)!,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0b2151987dd2b33625f73cfdf5515d1c58b6a090)
i per tant
![{\displaystyle {\begin{aligned}\Gamma (1)&=1,\\\Gamma (2)&=1,\\\Gamma (3)&=2,\\\Gamma (4)&=6,\\\Gamma (5)&=24,\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/35e3d96a82e6f0af5db3b59ea384fae38712e883)
etcètera.
Per a nombres enters no positius, la funció gamma no està definida.
Per als mig enters positius, els valors de la funció es donen exactament per
![{\displaystyle \Gamma \left({\tfrac {n}{2}}\right)={\sqrt {\pi }}{\frac {(n-2)!!}{2^{\frac {n-1}{2}}}}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ad6c1793112db6433705069cc7c1375dba4d4d9d)
o equivalent, per a valors enters no negatius de n:
![{\displaystyle {\begin{aligned}\Gamma \left({\tfrac {1}{2}}+n\right)&={\frac {(2n-1)!!}{2^{n}}}\,{\sqrt {\pi }}={\frac {(2n)!}{4^{n}n!}}{\sqrt {\pi }}\\\Gamma \left({\tfrac {1}{2}}-n\right)&={\frac {(-2)^{n}}{(2n-1)!!}}\,{\sqrt {\pi }}={\frac {(-4)^{n}n!}{(2n)!}}{\sqrt {\pi }}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ea99218c0f7647b303c2cefe004358990c7b0a7e)
on n!! denota el doble factorial. En particular,
| | | (successió A002161 a l'OEIS) |
| | | (successió A019704 a l'OEIS) |
| | | (successió A245884 a l'OEIS) |
| | | (successió A245885 a l'OEIS) |
i mitjançant la fórmula de reflexió,
| | | (successió A019707 a l'OEIS) |
| | | (successió A245886 a l'OEIS) |
| | | (successió A245887 a l'OEIS) |
Argument racional general
En analogia amb la fórmula de mig enter,
![{\displaystyle {\begin{aligned}\Gamma \left(n+{\tfrac {1}{3}}\right)&=\Gamma \left({\tfrac {1}{3}}\right){\frac {(3n-2)!!!}{3^{n}}}\\\Gamma \left(n+{\tfrac {1}{4}}\right)&=\Gamma \left({\tfrac {1}{4}}\right){\frac {(4n-3)!!!!}{4^{n}}}\\\Gamma \left(n+{\tfrac {1}{p}}\right)&=\Gamma \left({\tfrac {1}{p}}\right){\frac {{\big (}pn-(p-1){\big )}!^{(p)}}{p^{n}}}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/855d6111e40a1a38dc4fe77fd6fe55f0929bc89c)
on n!(p) denota el p-èsim multifactorial de n. Numèricament,
(successió A073005 a l'OEIS)
(successió A068466 a l'OEIS)
(successió A175380 a l'OEIS)
(successió A175379 a l'OEIS)
(successió A220086 a l'OEIS)
(successió A203142 a l'OEIS).
Es desconeix si aquestes constants són transcendents en general, però Γ(1/3) i Γ(1/4) van ser transcendents per G. V. Chudnovsky.Des de fa temps, se sap que Γ(1/4) / 4√π és transcendent, i Yuri Nesterenko va demostrar el 1996 que Γ(1/4), π, i eπ són algebraicament independents.
El nombre Γ(1/4) està relacionat amb la constant de la lemniscata S per
![{\displaystyle \Gamma \left({\tfrac {1}{4}}\right)={\sqrt {{\sqrt {2\pi }}S}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/41310487263a030dc576977b8c4920388a7aed62)
i ha estat conjecturada per Gramain com
![{\displaystyle \Gamma \left({\tfrac {1}{4}}\right)={\sqrt[{4}]{4\pi ^{3}e^{2\gamma -\mathrm {\delta } +1}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ef102369b292beda82513a94c04e130e7dc232d3)
on δ és la constant de Masser-Gramain (successió A086058 a l'OEIS), encara que el treball numèric de Melquiond et al. indica que aquesta conjectura és falsa.[1]
Borwein i Zucker van descobrir que Γ(n/24) es pot expressar algebraicament en termes de π, K(k(1)), K(k(2)), K(k(3)), i K(k(6)) on K(k(N)) és una integral integral el·líptica de primera espècie. Això permet aproximar de forma eficient la funció gamma d'arguments racionals amb una alta precisió utilitzant iteracions de convergència quadràtica de la mitjana aritmètico-geomètrica. No es coneixen cap relació similar en Γ(1/5) o en altres denominadors.
En particular, on AGM() és la mitjana aritmètica-geomètrica, tenim[2]
![{\displaystyle \Gamma \left({\tfrac {1}{3}}\right)={\frac {2^{\frac {7}{9}}\cdot \pi ^{\frac {2}{3}}}{3^{\frac {1}{12}}\cdot AGM\left(2,{\sqrt {2+{\sqrt {3}}}}\right)^{\frac {1}{3}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b084a73aff641a83e4412913fbb37bbac30f8a04)
![{\displaystyle \Gamma \left({\tfrac {1}{4}}\right)={\sqrt {\frac {(2\pi )^{\frac {3}{2}}}{AGM\left({\sqrt {2}},1\right)}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b9a029500ea8e2f7e33bf55eda8263565a8a50f3)
![{\displaystyle \Gamma \left({\tfrac {1}{6}}\right)={\frac {2^{\frac {14}{9}}\cdot 3^{\frac {1}{3}}\cdot \pi ^{\frac {5}{6}}}{AGM\left(1+{\sqrt {3}},{\sqrt {8}}\right)^{\frac {2}{3}}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3976ef4454c67646f810835bd401763c788ac485)
Altres fórmules inclouen els productes infinits
![{\displaystyle \Gamma \left({\tfrac {1}{4}}\right)=(2\pi )^{\frac {3}{4}}\prod _{k=1}^{\infty }\tanh \left({\frac {\pi k}{2}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/460068a6debe8dc881a619f47c13d996e975ebc6)
i
![{\displaystyle \Gamma \left({\tfrac {1}{4}}\right)=A^{3}e^{-{\frac {G}{\pi }}}{\sqrt {\pi }}2^{\frac {1}{6}}\prod _{k=1}^{\infty }\left(1-{\frac {1}{2k}}\right)^{k(-1)^{k}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ad888019540724fadfea52bde125249d1c3f7da8)
on A és la constant de Glaisher-Kinkelin i G és la constant del Catalan.
C. H. Brown va derivar ràpidament convergent la sèrie infinita convergent per a valors particulars de la funció gamma:[3]
![{\displaystyle {\begin{aligned}{\frac {\left(\Gamma \left({\tfrac {1}{3}}\right)\right)^{6}}{12\pi ^{4}}}&={\frac {1}{\sqrt {10}}}\sum _{k=0}^{\infty }{\frac {(6k)!(-1)^{k}}{(k!)^{3}(3k)!3^{k}160^{3k}}}\\{\frac {\left(\Gamma \left({\tfrac {1}{4}}\right)\right)^{4}}{128\pi ^{3}}}&={\frac {1}{\sqrt {u}}}\sum _{k=0}^{\infty }{\frac {(6k)!(2w)^{k}}{(k!)^{3}(3k)!6486^{3k}}}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/27b593662f2b3bb9b5eba5026dc5b6eeaba74acd)
on,
![{\displaystyle {\begin{aligned}u&=273+180{\sqrt {2}}\\v&=1+{\sqrt {2}}\\w&=-761\,354\,780+538\,359\,129{\sqrt {2}}={\frac {6486^{3}}{2\left(uv^{2}{\sqrt {2}}\right)^{3}}}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fd08b6ed9b7333d87e47542a0a3fe62fae7128cd)
de manera equivalent,
![{\displaystyle {\frac {\left(\Gamma \left({\tfrac {1}{4}}\right)\right)^{4}}{128\pi ^{3}}}={\frac {1}{\sqrt {u}}}\sum _{k=0}^{\infty }{\frac {(6k)!}{(k!)^{3}(3k)!}}{\frac {1}{(uv^{2}{\sqrt {2}})^{3k}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3488b15dae572588be3bc941dfb850f1f9cd49f6)
Les següents dues representacions per a Γ(3/4) van ser lliurades per I. Mező[4]
![{\displaystyle {\sqrt {\frac {\pi {\sqrt {e^{\pi }}}}{2}}}{\frac {1}{\Gamma ^{2}\left({\frac {3}{4}}\right)}}=i\sum _{k=-\infty }^{\infty }e^{\pi (k-2k^{2})}\vartheta _{1}\left({\frac {i\pi }{2}}(2k-1),e^{-\pi }\right),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/df34bb17eafa4889f8e7b122668544efd3f67404)
i
![{\displaystyle {\sqrt {\frac {\pi }{2}}}{\frac {1}{\Gamma ^{2}\left({\frac {3}{4}}\right)}}=\sum _{k=-\infty }^{\infty }{\frac {\vartheta _{4}(ik\pi ,e^{-\pi })}{e^{2\pi k^{2}}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a72af446e298a442106377ca694b782e8222e4b2)
on ϑ1 i ϑ₄ són dues de les funcions theta de Jacobi.
Productes
Algunes identitats de productes inclouen:
(successió A186706 a l'OEIS)
(successió A220610 a l'OEIS) ![{\displaystyle \prod _{r=1}^{4}\Gamma \left({\tfrac {r}{5}}\right)={\frac {4\pi ^{2}}{\sqrt {5}}}\approx 17.655\,285\,081\,493\,524\,2483}](https://wikimedia.org/api/rest_v1/media/math/render/svg/42d5bdeeba716a248a7ecc78c75430ef46175061)
![{\displaystyle \prod _{r=1}^{5}\Gamma \left({\tfrac {r}{6}}\right)=4{\sqrt {\frac {\pi ^{5}}{3}}}\approx 40.399\,319\,122\,003\,790\,0785}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2a45c62e92dc16dee4e4870375e0ec6c571c1d4a)
![{\displaystyle \prod _{r=1}^{6}\Gamma \left({\tfrac {r}{7}}\right)={\frac {8\pi ^{3}}{\sqrt {7}}}\approx 93.754\,168\,203\,582\,503\,7970}](https://wikimedia.org/api/rest_v1/media/math/render/svg/be7b26c5aa121dee316344a3a86312514b2ab142)
![{\displaystyle \prod _{r=1}^{7}\Gamma \left({\tfrac {r}{8}}\right)=4{\sqrt {\pi ^{7}}}\approx 219.828\,778\,016\,957\,263\,6207}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ba6447a1778da1beae8635e6a9409296bfc05062)
En general:
![{\displaystyle \prod _{r=1}^{n}\Gamma \left({\tfrac {r}{n+1}}\right)={\sqrt {\frac {(2\pi )^{n}}{n+1}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/157f70bfa4e4746324e5d0f764312f4fcb69ea16)
A partir d'aquests productes es poden deduir altres valors, per exemple, de les equacions anteriors per a
,
i
, es pot deduir:
Altres relacions racionals inclouen
![{\displaystyle {\frac {\Gamma \left({\tfrac {1}{5}}\right)\Gamma \left({\tfrac {4}{15}}\right)}{\Gamma \left({\tfrac {1}{3}}\right)\Gamma \left({\tfrac {2}{15}}\right)}}={\frac {{\sqrt {2}}\,{\sqrt[{20}]{3}}}{{\sqrt[{6}]{5}}\,{\sqrt[{4}]{5-{\frac {7}{\sqrt {5}}}+{\sqrt {6-{\frac {6}{\sqrt {5}}}}}}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/52126d10bd265fbb9ae02f4e9cffc76aa64e1b1f)
[5]
![{\displaystyle {\frac {\Gamma \left({\frac {1}{5}}\right)^{2}}{\Gamma \left({\frac {1}{10}}\right)\Gamma \left({\frac {3}{10}}\right)}}={\frac {\sqrt {1+{\sqrt {5}}}}{2^{\tfrac {7}{10}}{\sqrt[{4}]{5}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/13c849db6b4d10213e21b6f070927b56d2e7148e)
i moltes més relacions per a Γ(n/d) on el denominador d divideix 24 o 60.[6]
Arguments imaginaris i complexos
La funció gamma a la unitat imaginària
dona (successió A212877 a l'OEIS), (successió A212878 a l'OEIS):
![{\displaystyle \Gamma (i)=(-1+i)!\approx -0.1549-0.4980i.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d9fc5c81082b3b4659eba8d12cc46b218e289a4a)
També es pot donar en funció de la funció G de Barnes:
![{\displaystyle \Gamma (i)={\frac {G(1+i)}{G(i)}}=e^{-\log G(i)+\log G(1+i)}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a66cae2efca06203982581fa98f155b67ac16968)
Curiosament,
apareix a l'avaluació integral següent:[7]
![{\displaystyle \int _{0}^{\pi /2}\{\cot(x)\}dx=1-{\frac {\pi }{2}}+{\frac {i}{2}}\log \left({\frac {\pi }{\sinh(\pi )\Gamma (i)^{2}}}\right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6bb017604e34f171ce05291c458aa054874b304c)
on
denota la part fraccionària.
La funció gamma amb altres arguments complexos dona:
![{\displaystyle \Gamma (1+i)=i\Gamma (i)\approx 0.498-0.155i}](https://wikimedia.org/api/rest_v1/media/math/render/svg/735d0ce2c04f8dcb841558bbbe0f64f0f5bc2989)
![{\displaystyle \Gamma (1-i)=-i\Gamma (-i)\approx 0.498+0.155i}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b467ab9e01dd88695286d6f27e7f1d693e5b5452)
![{\displaystyle \Gamma ({\tfrac {1}{2}}+{\tfrac {1}{2}}i)\approx 0.818\,163\,9995-0.763\,313\,8287\,i}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f73bbc13e2f592b29de060e10516a8eca1df8724)
![{\displaystyle \Gamma ({\tfrac {1}{2}}-{\tfrac {1}{2}}i)\approx 0.818\,163\,9995+0.763\,313\,8287\,i}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1bdc0bf78b3dd4561ab1a52556d142097d182447)
![{\displaystyle \Gamma (5+3i)\approx 0.016\,041\,8827-9.433\,293\,2898\,i}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b2015dbbf8bcaf0727a45ce2ee5013b98de728f3)
![{\displaystyle \Gamma (5-3i)\approx 0.016\,041\,8827+9.433\,293\,2897\,i.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ee7edf004efe77c96d8ca47d2f08ab2e0eab9393)
Altres constants
La funció gamma té un mínim local en l'eix real positiu
(successió A030169 a l'OEIS)
amb el valor
(successió A030171 a l'OEIS).
La integració de la funció gamma inversa al llarg de l'eix real positiu també proporciona la constant de Fransén-Robinson.
En l'eix real negatiu, els primers màxims i mínims locals (zeros de la funció digamma) són:
Extrem local aproximat de Γ(x) x | Γ(x) | OEIS |
−0, 504 083 008 264 455 409 258 269 304 | −3, 544 643 611 155 005 089 121 963 993 | (successió A175472 a l'OEIS) |
−1, 573 498 473 162 390 458 778 286 043 | 2, 302 407 258 339 680 135 823 582 039 | (successió A175473 a l'OEIS) |
−2, 610 720 868 444 144 650 001 537 715 | −0, 888 136 358 401 241 920 095 528 029 | (successió A175474 a l'OEIS) |
−3, 635 293 366 436 901 097 839 181 566 | 0, 245 127 539 834 366 250 438 230 088 | (successió A256681 a l'OEIS) |
−4, 653 237 761 743 142 441 714 598 151 | −0, 052 779 639 587 319 400 760 483 570 | (successió A256682 a l'OEIS) |
−5, 667 162 441 556 885 535 849 474 174 | 0, 009 324 594 482 614 850 521 711 923 | (successió A256683 a l'OEIS) |
−6, 678 418 213 073 426 742 829 855 888 | −0, 001 397 396 608 949 767 301 307 488 | (successió A256684 a l'OEIS) |
−7, 687 788 325 031 626 037 440 098 891 | 0, 000 181 878 444 909 404 188 101 417 | (successió A256685 a l'OEIS) |
−8, 695 764 163 816 401 266 488 776 160 | −0, 000 020 925 290 446 526 668 753 697 | (successió A256686 a l'OEIS) |
−9, 702 672 540 001 863 736 084 426 764 | 0, 000 002 157 416 104 522 850 540 503 | (successió A256687 a l'OEIS) |
Referències
- ↑ Melquiond, Guillaume; Nowak, W. Georg; Zimmermann, Paul «Numerical approximation of the Masser–Gramain constant to four decimal places». Math. Comp., 82, 2013, pàg. 1235–1246. DOI: 10.1090/S0025-5718-2012-02635-4.
- ↑ «Archived copy». Arxivat de l'original el 2016-02-14. [Consulta: 9 març 2015].
- ↑ Cetin Hakimgolu-Brown : iamned.com math page
- ↑ Mező, István «Duplication formulae involving Jacobi theta functions and Gosper's q-trigonometric functions». Proceedings of the American Mathematical Society, 141, 7, 2013, p. 2401–2410. DOI: 10.1090/s0002-9939-2013-11576-5.
- ↑ Weisstein, Eric W., «Gamma Function» a MathWorld (en anglès).
- ↑ Raimundas Vidūnas, Expressions for Values of the Gamma Function
- ↑ The webpage of István Mező[Enllaç no actiu]
Bibliografia
- Gramain, F. «Sur le théorème de Fukagawa-Gel'fond». Invent. Math., 63, 1981, pàg. 495–506. Bibcode: 1981InMat..63..495G. DOI: 10.1007/BF01389066.
- Borwein, J. M.; Zucker, I. J. «Fast Evaluation of the Gamma Function for Small Rational Fractions Using Complete Elliptic Integrals of the First Kind». IMA J. Numerical Analysis, 12, 4, 1992, pàg. 519–526. DOI: 10.1093/imanum/12.4.519.
- X. Gourdon & P. Sebah. Introduction to the Gamma Function
- S. Finch. Euler Gamma Function Constants[Enllaç no actiu]
- Weisstein, Eric W., «Gamma Function» a MathWorld (en anglès).
- Vidunas, Raimundas «Expressions for values of the gamma function». Kyushu Journal of Mathematics, 59, pàg. 267–283. arXiv: math.CA/0403510. DOI: 10.2206/kyushujm.59.267.
- Vidunas, Raimundas «Expressions for values of the gamma function». Kyushu J. Math., 59, 2005, pàg. 267–283. arXiv: math/0403510. DOI: 10.2206/kyushujm.59.267.
- Adamchik, V. S. «Multiple Gamma Function and Its Application to Computation of Series». The Ramanujan Journal, 9, 2005, pàg. 271–288. arXiv: math/0308074. DOI: 10.1007/s11139-005-1868-3.
- Duke, W.; Imamoglu, Ö. «Special values of multiple gamma functions». J. Theor. Nombres Bordeaux, 18, 1, 2006, pàg. 113–123. DOI: 10.5802/jtnb.536.
Vegeu també