Fungsi pembangkit

Dalam matematika, **fungsi pembangkit** adalah sebuah cara menyatakan suku-suku dari barisan takhingga (a_n) sebagai koefisien-koefisien suatu deret pangkat formal. Deret yang dihasilkan proses ini disebut dengan fungsi pembangkit dari barisan tersebut. Berbeda dengan deret pada umumnya, deret pangkat *formal* tidak perlu konvergen: malahan, fungsi pembangkit sebenarnya tidak dianggap sebagai sebuah fungsi, dan "variabel" pada fungsi adalah besaran yang tidak terdefinisi. Fungsi pembangkit pertama kali diperkenalkan oleh  Abraham de Moivre di tahun 1730, dalam upaya menyelesaikan masalah rekursi perulangan linear secara umum. Deret pangkat formal dapat diperumum ke bentuk multi-"variabel", untuk mencatat informasi multidimensi dari barisan bilangan.

Terdapat berbagai tipe fungsi pembangkit, beberapa diantaranya *fungsi pembangkit biasa*, *fungsi pembangkit eksponensial*, *deret Lambert*, *deret Bell*, dan *deret Dirichlet*; definisi dan contoh mengenai tipe-tipe fungsi tersebut akan dijelaskan dibawah. Setiap barisan pada prinsipnya memiliki sebuah fungsi pembangkit untuk setiap tipe fungsi pembangkit (kecuali deret Lambert dan Dirichlet, yang memerlukan indeks barisan dimulai dari 1 ketimbang 0), tetapi tingkat kesulitan untuk menggunakan setiap tipe dapat berbeda secara signifikan. Tipe fungsi pembangkit yang paling sesuai untuk suatu konteks, jika ada, akan bergantung pada sifat dari barisan dan detail dari masalah yang dikerjakan.

Fungsi pembangkit umumnya dinyatakan dalam bentuk tertutup (ketimbang sebagai sebuah deret), lewat beberapa ekspresi yang terdefinisi bagi deret formal. Ekspresi-ekspresi ini diterapkan pada variabel—yang tak terdefinisi -- x, dan dapat melibatkan operasi aritmetika, diferensiasi, komposisi fungsi dengan fungsi-fungsi pembangkit lainnya. Karena operasi-operasi ini juga terdefinisi pada fungsi, hasil yang didapatkan terlihat sebagai fungsi terhadap x. Lagipula, ekspresi bentuk tertutup dapat diinterpretasi sebagai sebuah fungsi yang dapat dievaluasi pada suatu nilai , sehingga pengembangan deret fungsi tersebut menghasilkan deret formal; hal ini menjelaskan asal-usul "fungsi pembangkit". Tapi interpretasi itu tidak diharuskan perlu dilakukan, karena deret formal tidak harus menghasilkan deret konvergen ketika nilai taknol disubtitusi ke x. Selain itu, tidak semua ekspresi yang berlaku pada fungsi terhadap x dapat digunakan (secara berarti) untuk deret formal; sebagai contoh, pangkat negatif dan pecahan dari x pada fungsi tidak memiliki padanan deret formal.

Fungsi pembangkit bukan merupakan fungsi dalam artian formal, yakni sebagai sebuah pemetaan dari sebuah domain ke suatu kodomain. Fungsi pembangkit terkadang disebut sebagai **deret pembangkit**. Fungsi pembangkit berguna untuk membantu menyelesaikan berbagai masalah pencacahan, rekursi, dan relasi pengulangan.

## Definisi
Beberapa penulis memberikan definisi informal dari fungsi pembangkit:

### Fungsi pembangkit biasa
*Fungsi pembangkit biasa* dari sebuah barisan (a_n) adalahG(a_n;x)=a_0+a_1x+a_2x^2+...+a_kx^k+...=\sum_{n=0}^\infty a_n x^n.Ketika istilah *fungsi pembangkit* digunakan tanpa keterangan, umumnya hal itu merujuk pada sebuah fungsi pembangkit biasa. Jika (a_n) menyatakan fungsi massa peluang dari sebuah variabel acak diskret, maka fungsi pembangkit biasa yang dihasilkan disebut dengan fungsi pembangkit peluang.

Fungsi pembangkit biasa dapat diperumum untuk barisan dengan banyak indeks. Sebagai contoh, fungsi pembangkit biasa dari barisan dua dimensi (a_{m,n}), dengan m dan n berupa bilangan asli, adalahG(a_{m,n};x,y)=\sum_{m,n=0}^\infty a_{m,n} x^m y^n.
### Fungsi pembangkit eksponensial
*Fungsi pembangkit eksponensial* dari sebuah barisan (a_n) adalah\operatorname{EG}(a_n;x)=\sum _{n=0}^\infty a_n \frac{x^n}{n!}.Fungsi pembangkit eksponensial umumnya lebih mudah digunakan ketimbang fungsi pembangkit biasa untuk masalah pencacahan kombinatorial yang melibatkan objek berlabel. Keuntungan lain dari fungsi pembangkit eksponensial adalah kemudahannya membawa relasi pengulangan ke ranah persamaan diferensial. Sebagai contoh, barisan Fibonacci \{f_n\} yang memenuhi relasi pengulangan f_{n+2} = f_{n+1} + f_{n} memiliki fungsi pembangkit eksponensial dengan bentuk\operatorname{EF}(x) = \sum_{n=0}^\infty \frac{f_n}{n!} x^ndan turunan-turunan dari fungsi tersebut memenuhi persamaan diferensial \operatorname{EF}*(x) = \operatorname{EF}'(x) + \operatorname{EF}(x)</math> yang analog dengan relasi pengulangan di atas. Pada fungsi pembangkit tipe ini, suku faktorial <math>n!</math> digunakan semata-mata untuk menormalisasi efek melakukan turunan pada <math>x^n</math>.
=== Fungsi pembangkit Poisson ===
*Fungsi pembangkit Poisson'' dari sebuah barisan (a_n) adalah\operatorname{PG}(a_n;x)=\sum _{n=0}^\infty a_n e^{-x} \frac{x^n}{n!} = e^{-x}\, \operatorname{EG}(a_n;x).

## Contoh
Contoh sederhananya, fungsi pembangkit untuk barisan 1,1,1,\ldots adalah

:  \sum_{n=0}^\infty x^n = \frac{1}{1-x} ,

untuk |x|\le 1 .

## Catatan kaki

## Referensi

* 
*  Reprinted in 
* 
* 
* 
* 
* 

## Pranala luar

* "Introduction To Ordinary Generating Functions"  by Mike Zabrocki, York University, Mathematics and Statistics
* 
* Generating Functions, Power Indices and Coin Change  at cut-the-knot
* "Generating Functions"  by Ed Pegg Jr., Wolfram Demonstrations Project, 2007.