Some theorems on the multiplication of series which are infinite in both directions. (Q1476554)

Entsprechend der \textit{Cauchy}schen Multiplikation zweier gewöhnlichen unendlichen Reihen, d. h. der Bildung von \[ \sum^\infty_0 c_n\text{ mit }c_n =a_0b_n+a_1b_{n-1}+\cdots+a_nb_0 \] aus \(\sum^\infty_0 a_n\) und \(\sum^\infty_0 b_n\) wird hier entsprechend die Multiplikation von Reihen untersucht, die nach beiden Seiten unendlich sind. Setzt man \[ A(x) = \sum^{+\infty}_{n=-\infty} a_n x^n,\quad B(x)= \sum^{+\infty}_{n=-\infty} b_nx^n \] und schreibt das formal gebildete Produkt wieder als \textit{Laurent}sche Reihe \[ C(X)= \sum^{+\infty}_{n=-\infty} c_n x^n, \text{ so ist } c_n = \sum^{+\infty}_{m=-\infty} a_m b_{n-m}. \] Und die Fragestellung lautet: Wenn \(A(1)\) und \(B(1)\) konvergieren, ist dann auch \(C(1)\) konvergent und \(= A(1). B(1)\)? In dieser Richtung wird gezeigt (analog den Sätzen von \textit{Cauchy, Mertens, Pringsheim, Cesàro} bei gewöhnlichen Reihen): 1. Falls \(A\) und \(B\) absolut konvergieren, so tut es auch jedes \(c_n\) sowie \(C\), und es ist \(C = AB\). 2. Falls wenigstens eine der Reihen \(A\) oder \(B\) absolut konvergiert, konvergieren alle \(c_n\) und \(C\), und es ist \(C = AB\). 3. Nehmen \(u_n\) und \(v_n\) für \(n\to \pm\infty\) monoton gegen 0 ab, so nehmen auch die Größen \(w_n =\sum^{+\infty}_{m=-\infty}u_mv_{n-m}\) monoton gegen 0 ab, und es ist \(\sum^{+\infty}_{-\infty}(-1)^nw_n =\sum^{+\infty}_{-\infty}(-1)^n u_n\cdot\sum^{+\infty}_{-\infty}(-1)^n v_n\), falls \(\sum^\infty_{1}(u_n+u_{-n})(v_n+v_{-n})\) konvergiert. 4. Ein wenig einfach zu formulierender Satz über Summierbarkeit erster Ordnung von \(\sum(-1)^u w_n\) in 3) ohne Voraussetzung über \(\sum(u_n + u_{-n})(v_n+v_{-n})\).