On a linear transformation of infinite sequences. (Q2616974)

Verf. beweist folgenden Satz: \(\left (a_n^{(m)}\right )\) sei eine Doppelfolge derart, daß \(1)\) \(a_n^{(0)}=a_n^{(1)}+k_n\) mit \(k_na_n^{(1)}>0\) und \(|k_n|>k>0,\) \(2)\) \(\sum _{n=1}^\infty \frac {k_n}{a_n^{(1)}}\) divergiert, und \(3)\) \(\sum _{r=2}^\infty \sum _{n=3}^\infty \left |\frac {a_n^{(r)}}{a_n^{(1)}}\prod _{s=1}^{r-1}\left (1+\frac {k_n}{a_{n-s}^{(1)}}\right )\right |\) konvergiert. Wenn dann \[ y_n=a_n^{(0)}x_n- a_n^{(1)}x_{n-1}- a_n^{(2)}x_{n-2}- \cdots -a_n^{(n-1)}x_1= O(1) \] ist, gilt auch \[ x_n=O(1). \] Wenn statt der \(O\)- die \(o\)-Zeichen gesetzt werden, ist der Satz ebenfalls richtig; der Beweis läßt in beiden Fällen eine straffere Formulierung zu.