Aloha :)
Um das Cauchy-Produkt zu verstehen, schauen wir uns zuerst mal das Produkt von zwei endliche Summen an:(a1+a2+a3+a4+a5)⋅(b1+b2+b3+b4+b5)Zum Ausmultiplizieren haben wir gelernt, zuerst a1 mit allen bk multiplizieren, dann a2 mit allen bk usw. Die dabei entstehende Reihenfolge kann man sich bildlich so vorstellen:a1a2a3a4a5b116111621b227121722b338131823b449141924b5510152025
Bei unendlich langen Summen bekommt man damit aber Probleme, weil man ja a1 mit unendlich vielen Summanden bk multiplizieren muss. Man kommt so nie zum Anfang der a2-Reihe. Daher hatte Cauchy die Idee, die Multiplikationsreihenfolge zu ändern. Statt horizontal zu multiplizieren, hat Cauchy diagonal multipliziert. Bei unserem endlichen Beispiel von oben wäre dann die Reihenfolge beim Ausmultiplizieren so:a1a2a3a4a5b1124711b23581216b369131720b41014182123b51519222425
Die Multiplikation von zwei unendlichen langen Summen kann durch diese Methode auf eine unendlich lange Summe von Produkten zurückgeführt werden. Wenn du genau hinsiehst, erkennst du, dass auf einer Diagonale die Summe der Indizes konstant ist:Diagonale 1 = Index-Summe 2 : a1b1Diagonale 2 = Index-Summe 3 : a2b1+a1b2Diagonale 3 = Index-Summe 4 : a3b1+a2b2+a1b3Diagonale 4 = Index-Summe 5 : a4b1+a3b2+a2b3+a1b4
Diese Idee wenden wir nun auf das Produkt der gegebenen unendlichen Summen an. Die Index-Summe auf der jeweiligen Diagonale sei n. Sie fängt hier bei 0 an, weil beide Reihen mit Index 0 beginnen.=(k=0∑∞qk)⋅(k=0∑∞(−q)k)=n=0∑∞(i+j=n∑qi⋅(−q)j)=n=0∑∞(i=0∑nqi⋅(−q)n−i)=n=0∑∞i=0∑nqi⋅qn−i⋅(−1)n−i=n=0∑∞i=0∑nqn⋅(−1)n−i=n=0∑∞qni=0∑n(−1)n−i
Die innere Summe (über den Index i) ergibt 1, wenn n gerade ist und 0, wenn n ungerade ist. Wir können daher die äußere Summe über alle geraden n laufen lassen und die innere Summe weglassen. Wegen ∣q∣<1 ist auch q2<1 und wir können die Summenformel für die unendliche geometrische Reihe anwenden:=n=0∑∞q2n=n=0∑∞(q2)n=1−q21
Dasselbe Ergebnis hättest du auch direkt mit der geometrischen Reihe hinschreiben können, aber hier ging es ja darum, das Cauchy-Produkt zu verstehen. Der direkte Weg wäre gewesen:
(k=0∑∞qk)⋅(k=0∑∞(−q)k)=1−q1⋅1−(−q)1=1−q1⋅1+q1=1−q21Aber das ist zur Probe ganz gut ;)