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)$ adalah$$G(a_n;x)=a_0+a_{1}x+a_2{x}^2+\mathrm{...}+a_k{x}^k+\mathrm{...}=\sum _{n=0}^{\mathrm{\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, adalah$$G(a_{m,n};x,y)=\sum _{m,n=0}^{\mathrm{\infty }}{a}_{m,n}{x}^m{y}^n.$$

Fungsi pembangkit eksponensial

Fungsi pembangkit eksponensial dari sebuah barisan $(a_n)$ adalah$$\mathrm{EG}(a_n;x)=\sum _{n=0}^{\mathrm{\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$$\mathrm{EF}(x)=\sum _{n=0}^{\mathrm{\infty }}\frac{f_n}{n!}{x}^n$$dan turunan-turunan dari fungsi tersebut memenuhi persamaan diferensial ${\mathrm{EF}}^{″}(x)={\mathrm{EF}}^{\prime }(x)+\mathrm{EF}(x)$ yang analog dengan relasi pengulangan di atas. Pada fungsi pembangkit tipe ini, suku faktorial $n!$ digunakan semata-mata untuk menormalisasi efek melakukan turunan pada $x^n$.

Fungsi pembangkit Poisson

Fungsi pembangkit Poisson dari sebuah barisan $(a_n)$ adalah$$\mathrm{PG}(a_n;x)=\sum _{n=0}^{\mathrm{\infty }}{a}_n{e}^{-x}\frac{x^n}{n!}=e^{-x}\mathrm{EG}(a_n;x).$$

Contoh

Contoh sederhananya, fungsi pembangkit untuk barisan $1,1,1,\dots$ adalah

$\sum _{n=0}^{\mathrm{\infty }}{x}^n=\frac{1}{1-x}$ ,

untuk $|x|\le 1$ .

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.

Sumber dan atribusi

Konten artikel ini diadaptasi dari Wikipedia bahasa Indonesia, revisi 29300917 (2026-06-01T03:27:42Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.