Some Tauberian theorems. (Q2622934)

Es handelt sich um Erweiterungen des ursprünglichen \textit{Littlewood}schen \(O\)-Satzes bzw. seiner Verallgemeinerung durch \textit{Anderson}: Ist die Reihe \(\sum a_n\) \(A\)-summierbar und \(C_{\alpha }\)-beschränkt für ein \(\alpha \geq -1\), so ist sie \(C_{\beta }\)-summierbar für jedes \(\beta >\alpha \). Diese Erweiterungen beziehen sich hauptsächlich auf schräge geradlinige Annäherung von \(z\) an \(+1\) und auf die Betrachtung von \(f_k(z)\) an Stelle von \[ f(z) = f_0(z) = \sum a_nz^n. \] Dabei bedeutet in \(|z|<1\) \[ f_k(z) = \frac 1{1-z}\int \limits _z^1 f_{k-1}(t)dt\quad (k=1,2,\dots ). \] Dann wird bewiesen: (I) Wenn (1) \(\sum a_n\) \(C_\alpha \)-beschränkt ist für ein \(\alpha \geq -1\), wenn (2) für ein ganzes \(k\geq 0\) \(f_k(z)\to A\) bei irgendeiner geradlinigen Annäherung von \(z\to +1\) mit \(|z|<1\), dann ist \(\sum a_n\) \(C_\beta \)-summierbar für jedes \(\beta >\alpha \). Das Beispiel der Funktion \(\exp \dfrac 1{(1-z)^\alpha }\), \(\alpha >1\), zeigt, daß hier die Beschränktheit nicht ohne weiteres durch einseitige Beschränktheit ersetzt werden kann. Nach Ausschluß solcher Funktionen läßt sich aber der folgende Satz beweisen: (II) Wenn (1) \(a_n\) reell und \[ f(x) = O\Bigl (\exp [1-|z|]^{\tfrac {\pi }{2\alpha }}\Bigr ),\tag{2} \] für ein \(\alpha \) in \(0<\alpha <\dfrac 12\pi \) und \(z\to 1\) beliebig in \(|z|<1\), und wenn (3) \(f(z)\to A\) strebt für \(z\to 1\) längs \(\arg (1-z)=\gamma \), \(0\leq \gamma <\alpha \), so strebt auch \(f(z)\to A\), wenn \(z\) im Winkelraum \(|\arg (1-z)|\leq \gamma \) gegen 1 strebt. Wenn überdies \(na_n>-K\), so ist \(\sum a_n\) konvergent. Für den Fall komplexer \(a_n\) läßt sich immerhin beweisen: (III) Wenn (1) \(a_n=O(1)\) und wenn (2) \(a_n=b_n+c_n\) gesetzt werden kann mit \(nb_n=O(1)\) und \(|\arg c_n|\leq \dfrac 12\pi - \delta \), wenn (3) \(s_n = \sum \limits _0^n a_\nu = s_n' + s_n''\) gesetzt werden kann mit \(s_n' = O(1)\) und \(-\pi +\delta \leq \arg s_n''\leq \pi -2\gamma -\delta \), \(\delta >0\), \(0\leq \gamma <\dfrac 12\pi \), und wenn (4) \(f(z)\to A\) für \(|z|\to 1\) längs \(\arg (1-z)=\gamma \), so ist \(\sum a_n\) konvergent.