Mathematik: Diskrete Strukturen
Mathematik: Diskrete Strukturen
Mathematik: Diskrete Strukturen
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
2.3. Erzeugende Funktionen 27<br />
• Indexverschiebung aufwärts: Für die Potenzreihe zu der Folge, die aus der Transformation<br />
a 0 , a 1 , a 2 , . . . ↦→ 0, 0, . . . , 0, a<br />
} {{ } 0 , a 1 , a 2 , . . . resultiert, gilt<br />
m<br />
∞∑<br />
∞∑<br />
a k · x m+k = x m · a k · x k<br />
k=0<br />
• Indexverschiebung abwärts: Für die Potenzreihe zu der Folge, die aus der Transformation<br />
a 0 , a 1 , a 2 . . . ↦→ a m , a m+1 , a m+2 , . . . resultiert, gilt<br />
(<br />
∞∑<br />
∞∑<br />
∞<br />
)<br />
∑<br />
m−1<br />
∑<br />
a k+m · x k = x −m · a k+m · x k+m = x −m · a k · x k − a k · x k<br />
k=0<br />
k=0<br />
• Differenzieren: Für die erste Ableitung der Potenzreihe zu a 0 , a 1 , . . . gilt<br />
(<br />
∑ ∞<br />
) ′ ∞∑<br />
∞∑<br />
∞∑<br />
x k = (a k · x k ) ′ = k · a k · x k−1 = (k + 1)a k+1 · x k<br />
k=0<br />
k=0<br />
k=0<br />
Die Ableitung einer Potenzreihe entspricht somit der Transformation auf Folgen:<br />
a 0 , a 1 , a 2 , . . . , a k , . . . ↦→ a 1 , 2a 2 , . . . , ka k , . . .<br />
Die im Zusammenhang mit linearen Rekursionsgleichungen fundamentale Potenzreihe ist<br />
die geometrische Reihe<br />
A(x) = def<br />
d.h. die formale Potenzreihe von 1, 1, 1, . . . Die erzeugende Funktion A(x) können wir wie<br />
folgt explizit bestimmen:<br />
∞∑<br />
∞∑<br />
∞∑<br />
∞∑<br />
A(x) = x k = 1 + x k = 1 + x · x k−1 = 1 + x · x k = 1 + x · A(x)<br />
k=0<br />
k=1<br />
k=1<br />
∞ ∑<br />
k=0<br />
x k ,<br />
Die erzeugende Funktion der Folge 1, 1, 1, . . . ist somit:<br />
A(x) = 1<br />
1 − x<br />
k=0<br />
k=0<br />
k=0<br />
k=0<br />
k=0<br />
Beispiele: Wir wollen die erzeugende Funktion A(x) = (1−x) −1 von 1, 1, 1, . . .<br />
benutzen, um beispielhaft weitere Potenzreihen und erzeugende Funktionen zu<br />
bestimmen.<br />
1. Die erzeugende Funktion B(x) von 1, 2, 3, 4, . . . ist die erste Ableitung von<br />
A(x):<br />
( ) 1 ′<br />
B(x) = A ′ 1<br />
(x) = =<br />
1 − x (1 − x) 2<br />
Version v2.24 Fassung vom 19. Juli 2013