Fungsi pembangkit

Dalam matematika, fungsi pembangkit adalah sebuah cara menyatakan suku-suku dari barisan takhingga 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 permasalahan 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, namun 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, 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 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.