Anda di halaman 1dari 13

Dalam matematika , suatu fungsi pembangkit adalah seri kekuasaan formal dalam satu tak tentu,

yang koefisien mengkodekan informasi tentang urutan angka n yang diindeks oleh alam nomor .Menghasilkan
fungsi pertama kali diperkenalkan oleh Abraham de Moivre tahun 1730, dalam rangka memecahkan masalah
pengulangan linear umum. [1] Satu dapat generalisasi untuk seri kekuasaan formal di lebih dari satu tak tentu,
untuk mengkodekan informasi tentang array nomor diindeks oleh beberapa alam nomor .
Ada berbagai jenis fungsi pembangkit, termasuk fungsi menghasilkan biasa, fungsi eksponensial
menghasilkan, seri Lambert, seri Bell, dan seri Dirichlet; definisi dan contoh diberikan di bawah ini. Setiap
urutan pada prinsipnya memiliki fungsi pembangkit dari setiap jenis (kecuali yang Lambert dan seri Dirichlet
memerlukan indeks mulai pada 1 bukan 0), tetapi kemudahan yang mereka dapat ditangani mungkin berbeda
jauh. Fungsi pembangkit tertentu, jika ada, yang paling berguna dalam konteks tertentu akan tergantung pada
sifat urutan dan rincian masalah yang ditangani.
Menghasilkan fungsi seringkali dinyatakan dalam bentuk tertutup (bukan sebagai seri a), oleh beberapa ekspresi
melibatkan operasi yang ditetapkan untuk seri kekuasaan formal. Ini ekspresi dalam hal tak tentu x mungkin
melibatkan operasi aritmatika, diferensiasi terhadap x dan komposisi dengan (yaitu, substitusi ke) fungsi
pembangkit lainnya; karena operasi ini juga ditetapkan untuk fungsi, hasilnya terlihat seperti fungsi
dari x. Memang, ekspresi bentuk tertutup seringkali dapat diartikan sebagai sebuah fungsi yang dapat dievaluasi
di (cukup kecil) beton nilai dari x, dan yang memiliki seri kekuasaan formal sebagai perusahaan deret Taylor , ini
menjelaskan "penunjukan menghasilkan" fungsi. Namun penafsiran tersebut tidak perlu mungkin, karena deret
pangkat formal tidak diperlukan untuk memberikan rangkaian konvergen ketika sebuah nilai numerik nol
digantikan untuk x. Juga, tidak semua ungkapan yang bermakna sebagai fungsi dari x yang bermakna sebagai
ekspresi menunjuk deret pangkat formal, dan pecahan kekuatan negatif dari x adalah contoh ini.
Menghasilkan fungsi-fungsi yang ada tidak berfungsi dalam arti formal dari pemetaan dari domain ke codomain ;
adalah nama hanya tradisional, dan mereka kadang-kadang lebih tepat disebutmenghasilkan seri. yang [2]
Fungsi Pembangkit

Fungsi pembangkit adalah seri kekuasaan formal

(1

yang koefisien memberikan urutan .

The Mathematica Perintah GeneratingFunction [expr, n, x] memberikan fungsi pembangkit di variabel untuk urutan yang jangka th expr.Mengingat

urutan istilah, FindGeneratingFunction [ 1, 2, ... , X] upaya untuk menemukan fungsi pembangkit sederhana yang th koefisien .

Mengingat fungsi pembangkit, ekspresi analitik untuk istilah ke dalam seri yang sesuai dapat komputasi menggunakan SeriesCoefficientexpr [, x, x0,

n ]. Fungsi pembangkit kadang dikatakan untuk " menghitung " (1999 Hardy, hal 85).

fungsi Membangkitkan memberikan beberapa kekuatan pertama dari bilangan bulat nonnegatif diberikan dalam tabel berikut.

seri

1
Ada fungsi menghasilkan banyak yang indah untuk fungsi-fungsi khusus dalam teori bilangan. Sebuah contoh yang bagus khususnya sedikit

(2

(3

(4

untuk fungsi partisi P , dimana adalah simbol-Pochhammer q , dan

(5

(6

(7

)
untuk angka Fibonacci .

Menghasilkan fungsi sangat berguna dalam masalah pencacahan kombinatorial. Sebagai contoh, jumlah subset masalah , yang meminta sejumlah cara untuk

memilih keluar dari diberikan bilangan bulat sehingga jumlah mereka sama , Bisa diselesaikan dengan menggunakan fungsi pembangkit.

Fungsi pembangkit dari urutan angka diberikan oleh Z-transformasi dari dalam variabel (Germundsson 2000).

LIHAT JUGA: Cumulant-Membangkitkan Fungsi , Menyebutkan , Membangkitkan Fungsi eksponensial , Seri Power formal , Moment-Membangkitkan

Fungsi , Hubungan Kekambuhan , Soal Subset Sum , Z-Transform

Fungsi pembangkit adalah jemuran yang kita


menggantung sebuah urutan angka untuk
ditampilkan.

Generatingfunctionology,
HS Wilf
Academic Press, 1994, p. 1
Dalam teori probabilitas, statistik dan teori rantai Markov, yang jemuran di tangan adalah tenunan dari
benang analitik, dengan seri Maclauren strain. Sudah hampir nyata dan dapat diperiksa poin demi poin
manapun seri menyatu. Dalam kombinatorik, benang-benang halus agak datang dari berbagai abstrak seri
formal.

Menurut definisi, (biasa) fungsi pembangkit dari urutan {n sebuah}, di mana, dengan konvensi, berkisar n
indeks dari 0 sampai , Adalah serangkaian formal

(*) f (x) = a 0 + a 1 x + a 2 x 2 + a 3 x 3 + ...

n]
Dua seri tersebut iff sama mereka memiliki urutan yang sama persis koefisien. [X f (x) adalah notasi
n] n]
biasa untuk n koefisien di f. Jadi, dua seri f dan g adalah iff sama [x f = [x g, untuk semua n = 0, 1,
2,, ...

Serial ini formal dalam hal itu didefinisikan sebagai aljabar, bukan konsep analitik. Secara formal, kami
tambahkan ke set nomor (kebanyakan bilangan real pada halaman ini) istilah baru x, yang bersifat sangat
tidak relevan untuk konstruksi. Istilah baru dan nomor dapat ditambahkan dan dikalikan, dan kedua
operasi mendalilkan menjadi komutatif: a + x = x + a kapak, = xa, untuk semua bilangan a. Selain itu juga
perlu distributif terhadap perkalian. Jadi diperluas set bilangan real menjadi cincin , sebuah matematika
membangun dengan dua operasi komutatif - penjumlahan dan perkalian, di mana objek tidak selalu
memiliki invers perkalian. Mereka iff yang 0 bukan 0. Misalnya,
(1 - x) (1 + x + 2 x + x 3 + ...) = 1,

sehingga kita dapat menyatakan bahwa

(1) 1 / (1 - x) = 1 + x + 2 x + x 3 + ...

Invers Mulitplicative Properti

Seri (*) memiliki invers perkalian iff 0 0.

Bukti

Mari kita hanya menunjukkan bagaimana konstruktif menemukan invers f -1 dalam bentuk

f -1 = b 0 + b 1 x + b 2 x 2 + b 3 x 3 + ...

Seperti invers harus memenuhi f ° F -1 = 1 + 0x + 0x 2 + .... Jangka dengan istilah ini memberikan

b 00 = 1
b 01 + b 10 = 0
b 02 + b 11 + b 20 = 0
...
Dari persamaan pertama, b 0 = 1 / a 0. Dari persamaan kedua, b 1 =-a / b 10 / a 0 -. Dari kedua
persamaan, b 2 = (a, b 11 +b 2 0) /a 0, dan sebagainya. Dalam cara ini memang, sejak 0 0, semua
koefisien b dapat ditemukan berturut-turut.

Secara analitik, x adalah variabel dengan rentang selama angka, nyata atau kompleks, dan identitas
memegang setiap kali seri di sebelah kanan adalah konvergen , yaitu, setiap kali | x | 1. <Namun,dalam
teori formal kita tidak terkait dengan pertanyaan tentang konvergensi. Dalam pengertian ini,
istilah fungsi pembangkit tidak cukup konsisten dalam bahwa operasi dari mengganti nomor untuk x dalam
rangka menetapkan nilai seri pada saat itu, adalah tidak sah.

Sebagai contoh lain, teorema binomial

(1 + x) n = 1 + C (n, 1) x + C (n, 2) x 2 + C (n, 3) x 3 + ... + C (n, n-1) n x-1 + x n

mengatakan bahwa ekspresi (1 + x) n adalah fungsi pembangkit dari urutan dari koefisien binomialC (n, 0),
C (n, 1), ..., C (n, n). Hanya dari ekspresi ini kita dapat memperoleh sebuah properti terkenal dari
koefisien binomial:

(2) C (n, k) = C (n-1, k) + C (n-1, k-1).


k]
Apa yang diperlukan adalah untuk menyamakan [x (1 + x) n dengan [k x] (1 + x) n-1 · (1 + x), atau lebih
eksplisit, koefisien dari x k pada kedua sisi identitas

(2 ') (1 + x) n = (1 + C (n-1, 1) x + C (n-1, 2) x 2 + C (n, 3) x 3 + ... + C (n-1, n-1)) · (1 + x).

Representasi fungsi (1 + x) n sebagai produk monomials (1 + x)

(1 + x) n = (1 + x) · (1 + x) · ... ° (1 + x),

dengan faktor-faktor n, memberikan interpretasi langsung dari koefisien C (n, k) dalam teorema
binomial . Produk yang di sebelah kanan memerlukan untuk memilih 1 atau x dari masing-masing faktor
n (1 + x).. Jadi C (n, k) adalah jumlah cara untuk memilih k x

Teorema binomial sering membuat penampilan tidak hanya di kombinatorik tetapi juga di cabang lain dari
matematika, lihat, misalnya, bukti Lucas 'Teorema .

Apa fungsi pembangkit dari, seri 1, -1, 1 -1, ... ? Jelas, itu

1 / (1 + x) = 1 - x + 2 x - x 3 + ...

Kemudian
1 / (1 - x) + 1 / (1 + x) = 2 · (1 + 2 x + x 4 + ...)

sedemikian rupa sehingga fungsi pembangkit dari, seri 1, 0, 1 0, ... diberikan oleh

(3) 1 / (1 - x 2) = 1 + 2 x + x 4 + ...

Perhatikan bahwa (3) mungkin telah diperoleh dari (1) dengan substitusi x 2 untuk x. Anehnya, dapat
ditunjukkan bahwa substitusi, meskipun dianggap ilegal di awal, mengarah untuk memperbaiki identitas
selama hasilnya baik termasuk jumlah terbatas atau formal. Dengan substitusi, kita misalnya
mendapatkan tanpa basa-basi banyak

(4) 1 / (1 - cx) = 1 + cx + c 2 x 2 + c 3 x 3 + ...,

2,
sehingga 1 / (1 - cx) adalah fungsi pembangkit dari 1, seri c, c c 3 ...

Ini mungkin untuk melangkah lebih jauh dan bertanya, Apa fungsi pembangkit dari urutan 1,(1 + x), (1 +
x) 2, (1 + x) 3,
... ? Jawabannya harus dengan kebutuhan mengandung objek tambahan, selain x, y
mengatakan, yang membawa kita pada fungsi menghasilkan lebih dari satu argumen.Sebagai contoh, dari
(4) kita peroleh dengan substitusi
(5) 1 + (1 + x) y + (1 + x) 2 y 2 + (1 + x) 3 y 3 + (1 + x) 4 y 4 ... = 1 / (1 - (1 + x) y).

Dan lebih lanjut,

[X k] 1 / (1 - (1 + x) y) = 1 / (1 - y) · [x k] 1 / (1 - x · y / (1-y))
= 1 / (1 - y) · (y / (1-y)) k
Y = k / (1-y) k +1.

Di sisi lain, dalam (5), kita dapat memperluas istilah (1 + x) i menurut teorema binomial

1 / (1 - (1 + x) y) = Σ n Σ k C (n, k) x k n y,

dari mana [x k] 1 / (1 - (1 + x) y) juga dapat ditemukan

[X k] 1 / (1 - (1 + X) y) = C n Σ (n, k) n y

Dengan demikian kita memperoleh rumus lain yang berguna:

Σ n C (n, k) n y y = k / (1-y) k +1.

yang tentu saja bisa ditulis ulang dalam hal x:

(6) Σ n C (n, k) n x = x k / (1-x) k +1.


Pertimbangkan sekarang hubungan rekurensi:

(7) s n s n-1 + n =, s 0 = 0.

Jelas bahwa n s adalah jumlah dari alam n angka pertama:

s n = 1 + 2 + 3 + ... + N.

Seperti diketahui , jumlah adalah angka segitiga, s n = n (n + 1) / 2. Ada yang sangat sederhana buktiyang
ditemukan oleh Gauss muda ke heran dari gurunya. Saat ini, aku akan membangun rumus dengan bantuan
menghasilkan fungsi.

Pertama-tama mari kita cari fungsi pembangkit {n s},

f (x) = s 0 + s 1 x + s 2 x 2 + s 3 x 3 + ...

x-n 1
Multiply (7) oleh dan jumlah:

n Σ s n x n-1 = n Σ s n-1 x + Σ nx n n n-1-1,

atau
(8) f (x) / x = f (x) + Σ n nx n-1.

Jika kita memperkenalkan g (x) = n Σ nx n-1 dan menganggap bahwa mengambil derivatif adalah operasi
yang sah (yang itu) di ring seri formal, kita bisa lakukan sebagai berikut

g (x) = Σ n nx n-1 = (n Σ x n) '= [1 / (1 - x)]' = 1 / (1 - x) 2.

2,
Dalam kombinasi dengan (8), ini memberikan f (x) · (1 - x) / x = 1 / (1 - x) dari mana

(9) f (x) = x / (1 - x) 3.

Sekarang, membiarkan k = 2 in (6)

x / (1-x) 3 = Σ C n (n, 2) x n-1,

n]
yang pada bagian berarti bahwa [x x / (1-x) 3 = C (n +1,2) = (n +1) n / 2 di atas. Tepat sama hasil
sebagai.