Zur Theorie der divergenten eihen. (Q563827)

Die Reihe \(\sum \limits _{0}^{\infty }u_n\) mit den Teilsummen \(s_n\) heißt nach dem \textit{Borel}schen Exponentialverfahren zum Werte \(s\) summierbar, wenn für \(s(t)=\sum \limits _{0}^{\infty } \dfrac {s_n}{n!} t^n\) \[ \lim _{t\to \infty }e^{-t} s(t) = s \tag{1} \] ist; sie heißt nach dem \textit{borels}chen Integralverfahren zum Werte \(\sigma \) summierbar,wenn für \(u(t)=\sum \limits _{0}^{\infty }\dfrac {u_n}{n!} t^n\) \[ \int \limits _{0}^{\infty }e^{-t}u(t)dt = \sigma \tag{2} \] ist. Durch Anwendung der \textit{de l'H\hataccent opital}schen Regel zeigt Verf. in überraschend einfachen Weise: Aus (1) folgt (2) mit \(s=\sigma \); aus (2) folgt für \(\sigma (t)=\sum \limits _{0}^{\infty }\dfrac {s_n}{(n+1)!}t^{n+1}\) \[ \lim _{t \to \infty }e^{-t}\sigma (t) = \sigma ; \tag{3} \] d. h. (3) stellt ein dem Verfahren (2) äquivalentes Verfahren dar. Ebenso einfach beweist Verf. den Hilfssatz, den \textit{Hardy} und \textit{Perron} (M. Z. 6 (1920), 158-160; F. d. M. 47, 197 (JFM 47.0197.*)) beim Beweise der erstgenannten Tatsache verwendet heben: Es ist stets \[ \lim _{t \to \infty }\omega (t) = \lim _{t \to \infty }[\omega (t0 + \omega '(t)], \] sofern der rechts stehende Grenzwert existiert. Nach der \textit{de l'H\hataccent opitalschen} Regel ist nämlich \[ \lim _{t \to \infty } \frac {e^t(\omega (t) + \omega '(t))}{e^t} = \lim _{t \to \infty } \frac {e^t\omega (t)}{e^t}. \] Zum Schlußwerden einige Umformungen des \textit{Borel}schen Exponentialverfahrens und des \textit{Euler-Knopp}schen Verfahrens gegeben.