Fungsi gamma

Di dalam matematika, **fungsi gamma** (disajikan oleh huruf kapital Yunani&nbsp;'''Γ''') merupakan ekstensi atau perluasan dari fungsi faktorial, dengan argumennya digeser turun oleh 1, ke bilangan real dan kompleks. Yaitu, jika *n* adalah bilangan bulat positif, maka:
:\Gamma(n) = (n-1)!\,

Fungsi gamma didefinisikan untuk semua bilangan kompleks, kecuali bilangan bulat negatif dan nol. Untuk bilangan kompleks yang bagian realnya positif, fungsi gamma terdefinisi melalui sebuah integral takwajar yang konvergen:
: \Gamma(z) = \int_0^\infty  t^{z-1} e^{-t}\,{\rm d}t.

Fungsi integral ini diperluas oleh kekontinuan analitik terhadap semua bilangan kompleks, kecuali bilangan bulat tak-positif (di mana fungsi ini memiliki kutub-kutub yang sederhana), menghasilkan fungsi meromorfik yang kita sebut fungsi gamma.

Fungsi gamma adalah sebuah komponen di dalam berbagai fungsi distribusi peluang, dan dengan demikian fungsi gamma dapat diterapkan pada cabang peluang dan statistika, serta kombinatorika.

## Motivasi

Fungsi gamma dapat dipandang sebagai solusi bagi persoalan interpolasi berikut ini:

: "Tentukanlah sebuah kurva mulus yang menghubungkan titik-titik&nbsp;(*x*,&nbsp;*y*) yang diberikan oleh&nbsp;*y*&nbsp;=&nbsp;(*x*&nbsp;−&nbsp;1) pada nilai-nilai bilangan bulat positif untuk&nbsp;*x*."

Plot beberapa faktorial pertama memperjelas bahwa kurva tersebut dapat dilukis, tetapi akan lebih baik jika diketahui sebuah rumus yang secara tepat menggambarkan kurva tersebut, di mana banyaknya operasi tidak bergantung kepada ukuran &nbsp;*x*. Rumus sederhana untuk faktorial,&nbsp;*n* = 1 × 2 × ... × *n*, tidak dapat digunakan secara langsung untuk nilai-nilai pecahan&nbsp;*x* karena ia hanya akan sahih ketika&nbsp;*x* merupakan bilangan asli (*yakni*, bilangan bulat positif). Tidak terdapat solusi sederhana untuk faktorial; sembarang paduan perjumlahan, perkalian, perpangkatan, fungsi eksponensial, atau logaritma dengan sebuah bilangan tetap dari suku-suku yang terlibat tidak akan cukup untuk menyatakan&nbsp;*x*. Hampiran Stirling secara asimtotik sama dengan fungsi faktorial untuk nilai x yang cukup besar. Adalah dimungkinkan untuk menentukan rumus umum faktorial dengan menggunakan alat seperti integral dan limit dari kalkulus. Solusi yang baik untuk masalah ini adalah fungsi gamma.

Terdapat tak-hingga banyaknya perluasan kontinu faktorial ke bilangan-bilangan takbulat: terdapat tak-hingga banyaknya kurva yang dapat dilukis melalui sembarang himpunan titik-titik yang terkucil. Fungsi gamma adalah solusi yang paling praktis, bersifat analitik (kecuali untuk bilangan bulat tak-positif), dan fungsi gamma dapat dikarakterisasi dalam beberapa cara. Meskipun demikian, fungsi gamma bukanlah satu-satunya fungsi analitik yang memperluas faktorial, karena jika dilakukan penambahan suatu fungsi analitik yakni nol pada bilangan bulat positif akan memberi fungsi lain dengan sifat itu.

:\begin{align}
f(1) & = 1\,\text{, dan} \\
f(x+1) &= x f(x)\,,
\end{align}

untuk *x* yang sama dengan bilangan real positif. Teorema Bohr–Mollerup membuktikan bahwa sifat-sifat ini, bersama-sama dengan asumsi bahwa *f* konveks logaritmik (alias: "superkonveks"), menentukan *f* secara unik untuk *input* bilangan real positif. Dari sana, fungsi gamma dapat diperluas ke nilai-nilai real dan kompleks (kecuali bilangan bulat negatif dan nol) dengan menggunakan kekontinuan analitik *f* yang unik.

## Definisi

### Definisi utama

Notasi Γ(*z*) digunakan atas jasa Legendre. Jika bagian real bilangan kompleks&nbsp;*z* adalah positif (Re(*z*)&nbsp;>&nbsp;0), maka integral

:\Gamma(z) = \int_0^\infty  t^{z-1} e^{-t}\,{\rm d}t

konvergen mutlak, dan dikenal sebagai **[[Integral Euler]] jenis kedua** (Integral Euler jenis pertama mendefinisikan fungsi Beta). Dengan menggunakan integrasi parsial, akan diketahui bahwa fungsi gamma memenuhi persamaan fungsional:

:\Gamma(z+1)=z \, \Gamma(z).

Pemaduan ini dengan Γ(1) = 1, menghasilkan:

:\Gamma(n) = 1 \cdot 2 \cdot 3 \dots (n-1) = (n-1)!\,

untuk setiap bilangan bulat positif&nbsp;*n*.

Identitas&nbsp;Γ(*z*)&nbsp;=&nbsp;Γ(*z*+1)&nbsp;/&nbsp;*z* dapat digunakan (atau kekontinuan analitik dapat digunakan, juga memberikan hasil yang sama) untuk memperluas perumusan integral bagi&nbsp;Γ(*z*) ke suatu fungsi meromorfik yang terdefinisi untuk setiap bilangan kompleks&nbsp;*z*, kecuali&nbsp;*z*&nbsp;=&nbsp;−*n* untuk bilangan bulat&nbsp;*n*&nbsp;≥&nbsp;0, di mana fungsi memiliki kutub-kutub sederhana dengan residu (−1)*n*/*n*.

Inilah versi yang diperluas yang biasa disebut sebagai fungsi gamma.

### Definisi alternatif
Definisi-definisi perkalian takhingga untuk fungsi gamma, masing-masing oleh Euler dan Weierstrass, adalah sahih untuk setiap bilangan kompleks&nbsp;*z*, kecuali bilangan bulat tak-positif:

:
\begin{align}
\Gamma(z) &= \lim_{n \to \infty} \frac{n! \; n^z}{z \; (z+1)\cdots(z+n)}
= \frac{1}{z} \prod_{n=1}^\infty \frac{\left(1+\frac{1}{n}\right)^z}{1+\frac{z}{n}}
\\
\Gamma(z) &= \frac{e^{-\gamma z}}{z} \prod_{n=1}^\infty \left(1 + \frac{z}{n}\right)^{-1} e^{z/n}
\end{align}

di mana \gamma \approx 0.577216  merupakan konstanta Euler–Mascheroni.
Adalah mudah untuk menunjukkan bahwa definisi Euler memenuhi persamaan fungsional (1) di atas.

Sebuah parametrisasi fungsi gamma diberikan dalam suku-suku polinom Laguerre yang diperumum,
:\Gamma(z)=t^z \sum_{n=0}^{\infty} \frac{L_n^{(z)}(t)}{z+n}\,, yang konvergen ke &nbsp;Re(*z*)&nbsp;
\begin{align}
\Gamma(z) = \int_0^\infty  e^{-t^{1/(z-1)}}\,dt \,,
\end{align}

dengan bagian real *z* lebih besar daripada 1.

## Fungsi log-gamma

## Perkiraan

## Aplikasi

## Sejarah

## Referensi

## Kepustakaan
* Milton Abramowitz dan Irene A. Stegun, eds. *Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables.* New York: Dover, 1972. *[http://www.math.sfu.ca/~cbm/aands/page_253.htm (Lihat Bab 6)] *
* G. E. Andrews, R. Askey, R. Roy, *Special Functions*, Cambridge University Press, 2001. ISBN 978-0-521-78988-2. Bab Satu, membahas fungsi beta dan gamma, cukup definitif dan ramah-pembaca.
* Emil Artin, "The Gamma Function", in Rosen, Michael (ed.) *Exposition by Emil Artin: a selection*; History of Mathematics 30. Providence, RI: American Mathematical Society (2006).
* 
* 
* P. E. Böhmer, ´´Differenzengleichungen und bestimmte Integrale´´, Köhler Verlag, Leipzig, 1939.
* James D. Bonnar, *The Gamma Function*. CreateSpace Publishing, Seattle, 2010. ISBN 978-1-4636-9429-6. Sebuah buku yang cermat dan sistematis yang sepenuhnya membahas fungsi gamma.
* Philip J. Davis, "Leonhard Euler's Integral: A Historical Profile of the Gamma Function," *[[American Mathematical Monthly]]* **66**, 849-869 (1959)
* 
* O. R. Rocktaeschel, ´´Methoden zur Berechnung der Gammafunktion für komplexes Argument``, University of Dresden, Dresden, 1922.
* Nico M. Temme, "Special Functions: An Introduction to the Classical Functions of Mathematical Physics", John Wiley & Sons, New York, ISBN 0-471-11313-1,1996.
* E. T. Whittaker dan G. N. Watson, *A Course of Modern Analysis*. Cambridge University Press (1927; cetak-ulang 1996) ISBN 978-0-521-58807-2

## Pranala luar

* Pascal Sebah dan Xavier Gourdon. *Introduction to the Gamma Function*. Di dalam format PostScript  dan HTML .
* Referensi C++ untuk <code>std::tgamma</code> 
* Contoh-contoh soal yang melibatkan fungsi gamma dapat ditemukan di Exampleproblems.com .
* Hazewinkel, Michiel, ed. (2001), "Gamma function", *[[Encyclopedia of Mathematics]]*, Springer, ISBN 978-1-55608-010-4
* Penilai fungsi gamma Wolfram (ketelitian sembarang) 
* Gamma  di Situs Fungsi Wolfram
* Volume of n-Spheres and the Gamma Function  di MathPages
* Weisstein, Eric W., "Gamma Function " dari MathWorld.
* "Elementary Proofs and Derivations" 
* "Selected Transformations, Identities, and Special Values for the Gamma Function" 
* Artikel ini memuat bahan-bahan dari artikel Citizendium yang berjudul "Gamma function", yang berlisensi di bawah *Creative Commons Attribution-ShareAlike 3.0 Unported License*, tetapi tidak di bawah GFDL.