Direkt zum Inhalt

Lexikon der Mathematik: Multiplikation von Reihen

ist zunächst – über die Partialsummen – ein Spezialfall der Multiplikation von (konvergenten) Folgen:

Sind \(\displaystyle {\sum }_{v=0}^{\infty }{a}_{v}\) und \(\displaystyle {\sum }_{v=0}^{\infty }{b}_{v}\) konvergente Reihen reeller oder komplexer Zahlen mit Reihenwerten A bzw. B, so gilt mit den Partialsummen

\begin{eqnarray}\begin{array}{c}{A}_{n}:=\displaystyle \sum _{v=0}^{n}{a}_{v},\quad\quad {B}_{n}:=\displaystyle \sum _{v=0}^{n}{b}_{v}\quad\quad\quad (n\in {{\mathbb{N}}}_{0})\\ {A}_{n}{B}_{n}\to AB.\end{array}\end{eqnarray}

An BnAB.

Dabei ist \({A}_{n}{B}_{n}=\left(\displaystyle \sum _{v=0}^{n}{a}_{v}\right)\left(\displaystyle \sum _{v=0}^{n}{b}_{v}\right)=\displaystyle \sum _{v=0}^{n}{p}_{v}\) mit

\begin{eqnarray}{p}_{v}:=\displaystyle \sum _{\begin{array}{c}\lambda ,\kappa \in {{\mathbb{N}}}_{0}\\ \max (\lambda ,\kappa )\end{array}}{a}_{\lambda }{b}_{\kappa },\end{eqnarray}

also

\begin{eqnarray}AB=\displaystyle \sum _{v=0}^{\infty }{p}_{v}.\end{eqnarray}

Für viele Zwecke, insbesondere bei Potenzreihen, ist die Anordnung nach „Schrägzeilen“ (Cauchy- Produkt) besser geeignet:

\begin{eqnarray}\begin{array}{lll}{I}_{n} & := & \{(\lambda ,\kappa )\in {{\mathbb{N}}}_{0}\times {{\mathbb{N}}}_{0}:\lambda +\kappa =n\}\\ & = & \{(v,n-v):{{\mathbb{N}}}_{0}\ni v\le n\}\quad\quad\quad (n\in {{\mathbb{N}}}_{0}).\end{array}\end{eqnarray}

\begin{eqnarray}\text{Mit}\quad {c}_{n}:=\displaystyle \sum _{(\lambda ,\kappa )\in {I}_{n}}{a}_{\lambda }{b}_{\kappa }=\displaystyle \sum _{v=0}^{n}{a}_{v}\quad {b}_{n-v}\end{eqnarray}

besagt der Reihenproduktsatz von Cauchy (Cauchy, Reihenproduktsatz von):

Sind \(\displaystyle {\sum }_{v=0}^{\infty }{a}_{v}\)und \(\displaystyle {\sum }_{v=0}^{\infty }{b}_{v}\)absolut konvergent, dann ist die Cauchy-Produktreihe \(\displaystyle {\sum }_{n=0}^{\infty }{c}_{n}\)konvergent, und es gilt

\begin{eqnarray}\displaystyle \sum _{n=0}^{\infty }{c}_{n}=AB=\left(\displaystyle \sum _{v=0}^{\infty }{a}_{v}\right)\left(\displaystyle \sum _{v=0}^{\infty }{b}_{v}\right).\end{eqnarray}

Allgemeiner gilt: Sind die beiden Reihen \(\displaystyle {\sum }_{v=0}^{\infty }{a}_{v}\) und \(\displaystyle {\sum }_{v=0}^{\infty }{b}_{v}\) absolut konvergent, so konvergiert jede ihrer Produktreihen gegen \(\left(\displaystyle {\sum }_{v=0}^{\infty }{a}_{v}\right)\left(\displaystyle {\sum }_{v=0}^{\infty }{b}_{v}\right)\).

Der Satz gilt nicht, wenn die beiden Reihen \(\displaystyle {\sum }_{v=0}^{\infty }{a}_{v}\) und \(\displaystyle {\sum }_{v=0}^{\infty }{b}_{v}\) nur (bedingt) konvergieren. Ein Standard-Beispiel dazu ist gegeben durch:

\begin{eqnarray}{a}_{v}:={b}_{v}:=\frac{{(-1)}^{v}}{\sqrt{v+1}}.\end{eqnarray}

Die Konvergenz von \(\displaystyle {\sum }_{n=0}^{\infty }{c}_{n}\) mit

\begin{eqnarray}\displaystyle \sum _{n=0}^{\infty }{c}_{n}=AB\end{eqnarray}

ist schon gesichert, falls nur eine der Reihen absolut konvergent und die andere (nur) konvergent ist. Dies beinhaltet der Satz von Mertens (Mertens, Satz von, über das Cauchy-Produkt).

Als Anwendung des Abelschen Grenzwertsatzes erhält man: Ist neben \(\displaystyle {\sum }_{v=0}^{\infty }{a}_{v}\) und \(\displaystyle {\sum }_{v=0}^{\infty }{b}_{v}\) auch \(\displaystyle {\sum }_{n=0}^{\infty }{c}_{n}\) konvergent, so gilt

\begin{eqnarray}\displaystyle \sum _{n=0}^{\infty }{c}_{n}=AB=\left(\displaystyle \sum _{v=0}^{\infty }{a}_{v}\right)(\displaystyle \sum _{v=0}^{\infty }{b}_{v}).\end{eqnarray}

  • Die Autoren
- Prof. Dr. Guido Walz

Schreiben Sie uns!

Wenn Sie inhaltliche Anmerkungen zu diesem Artikel haben, können Sie die Redaktion per E-Mail informieren. Wir lesen Ihre Zuschrift, bitten jedoch um Verständnis, dass wir nicht jede beantworten können.

Partnerinhalte

Bitte erlauben Sie Javascript, um die volle Funktionalität von Spektrum.de zu erhalten.