Limitierungsumkehrsätze mit Lückenbedingungen. I, II. (Q2590886)

In vielen Umkehrsätzen für Limitierungsverfahren spielt der von \textit{Karamata} eingeführte Begriff des Konvergenzintervalls eine wichtige Rolle. Für die Cesàroschen Verfahren (wegen des Äquivalenzsatzes entsprechend für die Hölderschen Verfahren) gilt z. B.: Aus der \(C_k\)-Limitierbarkeit von \((s_n)\) zum Werte \(s\) und \[ \limsup_{\;\;n\to\infty }\underset{n\leqq n'\leqq (1+\vartheta )n}{\text{Max}}\kern-6pt |\,s_{n'}-s_n\,|=w(\vartheta {)}0\;\;\text{für}\;\;\vartheta 0 \] folgt die Konvergenz von \((s_n)\) gegen \(s\). Hierin wird \((n, n + \vartheta n)\) als Konvergenzintervall des \(C_k\)-Verfahrens bezeichnet. In Umkehrsätzen mit andersartigen Konvergenzbedingungen, nämlich mit Lückenbedingungen, tritt der Begriff des Konvergenzintervalls gleichfalls organisch auf. So zeigt Verf. in der ersten der obgenannten Arbeiten für die Hölderschen Mittel positiv ganzzahliger Ordnung (und damit entsprechendes wegen des Äquivalenzsatzes für die Cesàroschen Mittel) als Satz 2: Für die Indexfolgen \(n_{\nu }\) und \(n_\nu '\) (\(\nu =0\), 1,\dots ) und festes \(\vartheta > 0\) sei \[ n_\nu <n_\nu '<n_{\nu +1}\;\;\text{sowie}\;\;n_\nu '-n_\nu >\vartheta n_\nu ; \] für die Folge \((s_n)\) mit \(a_n=s_n-s_{n-1}\) sei mit einem festen \(M > 0\) \[ n\,|\,a_n\,|<M\;\;\text{für}\;\;n_\nu +1\leqq n\leqq n_\nu '. \] Aus \(h_{m_\nu }^{(k)}\to s\) bei positiv-ganzzahligem \(k\) folgt dann \(s_{m_\nu }\to s\). Hierbei ist \(h_n^{(k)}\) die Folge der Hölderschen Mittel \(k\)-ter Ordnung von \((s_n)\), und \(m_\nu =m_\nu (n_\nu,n_\nu ')\) die mit \[ n_0,n_0+1,\dots n_0',n_1',\dots \] beginnende Indexfolge, deren Glieder die Intervalle \((n_0, n_0')\), \((n_1, n_1')\),\dots in der natürlichen Ordnung durchlaufen. Ein ähnlicher Satz gilt für reelle Folgen \((s_n)\) mit der einseitigen Bedingung \[ na_n<M\;\;\text{bzw.}\;\;na_n>-M\;\;\text{für}\;\;n_\nu +1\leqq n\leqq n_\nu ', \] und durch Vereinigung der bisherigen Resultate folgt unmittelbar als Konvergenzsatz für die \(H\)-Verfahren (Satz 4 des Verf.): Unter der Voraussetzung des Satzes 2 gelte für die reelle Folge \((s_n)\) bei jedem \(\nu \), für das \(n_\nu '<n_{\nu +1}-1\) ist \[ \text{entweder}\;na_n<M\;\;\text{oder}\;\;na_n>-M\;\;\text{für}\;\;n_\nu '+1\leqq n\leqq n_{\nu +1}. \] Aus \(H_k\)-\(\lim\,s_n=s\) mit positiv-ganzzahligem \(k\) folgt dann \(s_n\to s\). Weiter wird gefragt nach Umkehrsätzen mit Lückenbedingungen für das kürzlich von \textit{Garten} und \textit{Knopp} ausführlich betrachtete \(H_{\infty }\)-Verfahren (Math. Z. 42 (1937), 365-388; JFM 63.0168.*); als neue überraschende Tatsache bei diesem Verfahren wird festgestellt, daß nach einem von \textit{Karamata} gegebenen Beispiel der erwartete \(O\)-Satz nicht gilt, daß also aus \(H_{\infty }\)-\(\lim\,s_n=s\) und \(a_n=O\,\biggl(\dfrac{1}{n}\biggr)\) nicht die Konvergenz von \((s_n)\) folgt. Dagegen hat Verf. einen entsprechenden \(O\)-Satz als Satz 6 beweisen können, nämlich: \(n_\nu \) sei eine monoton gegen \(\infty \) strebende Indexfolge, \(\varphi (\nu )>1\) eine für \(\nu =0\), 1,\dots definierte und gegen \(\infty \) strebende Funktion, und es sei \([n_\nu \varphi (\nu )]<n_{\nu +1}\); ferner sei, wenn \(m_\nu =m_\nu \,\bigl(n_\nu, [n_\nu \varphi (\nu )]\bigr)\) gesetzt wird, \[ m_\nu a_{m_\nu }=o(1). \] Aus \(H_\infty \)-\(\lim\,s_n=s\) folgt dann \(\displaystyle \lim_{\nu \to\infty }s_{m_\nu }=s\). In der zweiten Arbeit unter dem obigen Titel werden Lückensätze für das \(E\)-Verfahren bewiesen, wobei unter dem \(E\)-Verfahren das durch \[ E\text{-}\kern-1pt\lim_{n\to\infty }\kern-1pt s_n=\kern-2pt \lim_{n\to\infty }\kern-1pt E_n=\kern-2pt\lim_{n\to\infty }\frac{1}{2^n}\textstyle \sum\limits_{0}^{n}\displaystyle {n\choose \nu }\,s_\nu \] festgelegte Limitierungsverfahren von Euler-Knopp der Ordnung 1 verstanden wird (vgl. hierzu \textit{K. Knopp}, Math. Z. 15 (1922), 226-253; 18 (1923), 125-156; F. d. M. 48, 232 (JFM 48.0232.*); 49, 234). Nach dem von Knopp stammenden \(O\)-Umkehrsatz für dieses Verfahren hat das zugehörige Konvergenzintervall eine Länge der Größenordnung \(\vartheta \sqrt{n}\). Ob ein Umkehrsatz mit der entsprechenden Lückenbeziehung ohne Zusatzvoraussetzung richtig ist, hat sich aber bisher nicht feststellen lassen, und damit ist die Frage nach Umkehrsätzen aufgeworfen, in denen Lückenbedingungen einer anderen Größenordnung auftreten. Solche Umkehrsätze finden sich bei \textit{Okada} (Bull. Amer. math. Soc. 43 (1937), 536-540; JFM 63.0174.*) für Lücken der Größenordnung \(\vartheta n\) und für Lücken der Größenordnung \(\vartheta \sqrt{n\,\log\,n}\), der letzte allerdings unter der Zusatzvoraussetzung \(s_n=O(n^k)\). Entsprechend beweist Verf. für Lückenintervalle \(\vartheta n\): Die Voraussetzungen des obgenannten Satzes 2 seien erfüllt, und es gelte \[ s_n=O\bigl((1+\varepsilon )^n\bigr)\text{für}\;\text{jedes}\;\varepsilon >0. \] Aus \(E_{2m_\nu }\to s\) folgt \(s_{m_\nu }\to s\). Parallel zum obgenannten Satz 4 und unter denselben Voraussetzungen wie in Satz 4 folgt aus der \(E\)-Limitierbarkeit von \((s_n)\) zum Werte \(s\) die Konvergenz von \((s_n)\) zum selben Werte. Diese Ergebnisse werden auf funktionentheoretische Probleme angewendet, dabei wird u. a. eine spezielle Form des Ostrowskischen Überkonvergenzsatzes hergeleitet. Für Lücken der Größenordnung \(\vartheta \sqrt{n}\) aber wird bei beschränktem \((s_n)\) gezeigt (Satz 8 des Verf.): Für die Indexfolgen \(n_\nu \) und \(n'_\nu \) (\(\nu =0\), 1,\dots ) und festes \(\vartheta > 0\) sei \[ n_\nu <n_\nu '<n_{\nu +1}\;\;\text{sowie}\;\;n_\nu '-n_\nu >\vartheta \sqrt{n_\nu }; \] für die Folge \(s_{n}\) mit \(a_n=s_n-s_{n-1}\) sei mit einem festen \(M > 0\) \[ \sqrt{n}|\,a_n\,|<M\;\;\text{für}\;\;n_\nu +1\leqq n\leqq n_\nu ' \] sowie \[ s_n=O(1). \] Aus \(E_{2m_\nu }\to s\) folgt \(s_{m_\nu }\to s\), wobei \(m_{\nu }\) dieselbe Bedeutung wie im obigen Satz 2 hat. Und hieraus wird gefolgert: Für die Indexfolge \(n_{\nu }\) sei mit einem \(\vartheta > 0\) \[ n_{\nu +1}-n_\nu >\vartheta \sqrt{n_\nu }; \] für die Glieder \(a_n=s_n-s_{n-1}\) sei mit einem reellen \(\alpha \) \[ a_n=O\Bigl(\frac{1}{\sqrt{n}}\Bigr)\;\;\text{für}\;\;n\neq n_\nu \;\;\text{und}\;\;a_n=O(n^\alpha )\;\;\text{für}\;\;n=n_\nu . \] Ans der \(E\)-Limitierbarkeit von \((s_n)\) zum Werte \(s\) Folgt dann die Konvergenz von \((s_n)\) zum Werte \(s\).