Theorems on Nörlund's method of summation. I, II.
\textbf{I.} Es sei \(p_0 \neq 0\), \(p_1,p_2,\ldots,p_n,\ldots \) eine gegebene Zahlenfolge und \[ P_n= p_0+p_1+\cdots +p_n. \] Strebt für eine Reihe \( \sum _{n=0}^\infty a_n\) mit den Teilsummen \(s_n\) die Folge \[ \sigma _n =\frac {p_ns_0+p_{n-1}s_1+\cdots +p_0s_n}{P_n}\to \sigma \;\;\;\text{für}\;\;\;n\to\infty, \] so heißt die Reihe \( \sum _{n=0}^\infty a_n\) bzgl. der Folge \((p_n)\) nach Nörlund summierbar, kurz \((N, p)\)-summierbar zum Wert \(\sigma \). 1) Verf. beweisen zunächst \textit{Vergleichssätze} für die \((N, p)\)-Verfahren. Das Hauptresultat lautet: Notwendig und hinreichend dafür, daß \((N, q)\subset (N, p)\) gilt (d. h. daß das \((N, p)\)-Verfahren das \((N, q)\)-Verfahren umfaßt), ist das Bestehen der Beziehungen \[ |D_{n-\nu }|= o\,(|P_n|)\,(\nu \;\text{fest) \;und}\;\;\sum _{\nu =0}^n |D_{n-\nu }|\,|Q_\nu | = O\,(|P_n|)\;\;\text{für}\;\;n\to\infty \] mit \[ D_{n-\nu } = \left|\,\begin{matrix}\l&\l&\l&\l\\ p_0&1&0&.\;.\;.\;0\\ p_1&q_1&1&.\;.\;.\;0\\ .\;.\;.\;.\;.\;.\;.\;.\;.&\;.\;.\;.\;.\;.\;.\;.\;.&\;.\;.\;.\;.\;.\;.\;.\;.&\;.\;.\;.\\ p_{n-\nu -1}&q_{n-\nu -1}&q_{n-\nu -2}&.\;.\;.\;1\\ p_{n-\nu }&q_{n-\nu }&q_{n-\nu -1}&.\;.\;.\;q_1\\ \end{matrix}\,\right|. \] Die übrigen Vergleichssätze geben unter zusätzlichen Voraussetzungen über die Folgen \((p_n)\) und \((q_n)\), nämlich \(P_n\), \(Q_n\) positiv, \(\{ \varDelta p_n\} \) und \(\{ \varDelta q_n\} \) positiv und monoton wachsend oder abnehmend, hinreichende Bedingungen für das Bestehen der Beziehung \((N, q)\subset (N, p)\). 2) Weiter werden \textit{notwendige Bedingungen} für die \((N, p)\)-\textit{Summierbarkeit} angegeben. Sind alle \(p_\nu > 0\), so gilt im Falle der \((N,p)\)-Summierbarkeit der Reihe \( \sum _{n=0}^\infty a_n\) z. B. \[ |s_n| \leqq c \sum _{\nu =0}^n P_\nu \;\;\text{oder}\;\;|s_n| \leqq c \sum _{\nu =0}^n P_\nu p_1\cdots p_{n-\nu }, \] je nachdem \(\{ p_n\} \) monoton abnimmt oder zunimmt; ferner \[ |s_n| \leqq c \sum _{\nu =0}^n P_\nu (n-\nu )^{m-1}, \] falls die Funktion \( \bigl(\sum _{n=0}^\infty p_n z^n\bigr)^{-1}\) in \(|z|<1\) regulär ist und auf \(|z|=1\) als einzige singuläre Stelle einen Pol \(m\)-ter Ordnung in \(z=1\) besitzt. \ (\(c\) bedeutet jeweils eine Konstante). 2) Schließlich werden \textit{Taubersche Sätze} für das \((N, p)\)-Verfahren bewiesen: Sind alle \(p_\nu > 0\), so folgt aus der \((N,p)\)-Summierbarkeit der Reihe \( \sum _{n=0}^\infty a_n\) ihre Konvergenz, falls für ein \(\varepsilon \geqq 0\) die Reihe \( \sum _{\nu =0}^\infty =\dfrac {p_\nu }{P_\nu ^{1+\varepsilon }}\) konvergiert und \(\dfrac {P_\nu ^{1+\varepsilon }a_\nu }{p_\nu }=o\,(1)\) gilt, oder falls \(\dfrac {p_\nu }{P_\nu }\to 0\) und \(na_n=o\,(1)\) gilt. \textbf{II.} 1) Zunächst wird der folgende \textit{Satz Mercerscher Art} bewiesen: Unter den Voraussetzungen \(p_k\geqq p_{k+1}\geqq 0\), \ \(q_k\geqq q_{k+1}\geqq 0\), \ \( \sum _{k=1}^\infty \dfrac {q_k}{P_k}<\infty \) oder den Voraussetzungen \(0<p_k\leqq p_{k+1}\), \(q_k\geqq 0\), \ \(\dfrac {q_k}{P_k}\leqq \dfrac {q_{k+1}}{P_{k+1}}\), \(\dfrac {p_kq_k}{P_k}\leqq \theta <1\) folgt aus der Konvergenz der Folge \((y_n)\) mit \[ y_n = x_n + \frac {q_n}{P_n}\,(p_nx_1+ p_{n-1}x_2+\cdots +p_1x_n) \] stets die der Folge \((x_n)\). 2) Weiter werden Bedingungen für die Äquivalenz des \((N, p)\)-Verfahrens mit dem entsprechenden \((R, p)\)-Verfahren angegeben. Eine Reihe \( \sum _{n=0}^\infty a_n\) heißt bzgl. der Folge \((p_n)\) nach Riesz summierbar, kurz \((R, p)\)-summierbar zum Werte \(\varrho \), wenn \[ \varrho _n = \frac {p_0s_0+p_1s_1+\cdots +p_ns_n}{P_n}\to \varrho \quad \text{für}\quad n\to\infty \] gilt. Das Hauptresultat der Verf. lautet: Das zur Folge \((p_n)\) gehörige \((N, p)\)-Verfahren ist dem zu dieser Folge gehörigen \((R, p)\)-Verfahren äquivalent, wenn \(p_n\geqq \varepsilon >0\), \(\dfrac {p_n}{p_{n-1}}\) beschränkt und monoton ist, und wenn ferner \[ \sum _{\nu =0}^n P_\nu \,\varDelta ^m\,p_\nu =O\,(P_n)\;\;\;\text{oder}\;\;\;\sum _{\nu =0}^n P_\nu \,\varDelta ^m\,p_\nu \varDelta ^m\,p_{n-\nu } \varDelta ^m\,p_{n-\nu -1} \cdots \varDelta ^m\,p_1 =O\,(P_n) \] gilt, je nachdem die Folge \(\{ \varDelta ^m\,p_n\} \) für ein festes \(m\) positiv und monoton abnehmend oder zunehmend ist.
This page was built for publication: Theorems on Nörlund's method of summation. I, II.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2586493)
