Eine neue Verallgemeinerung der Borelschen Summabilitätstheorie der divergenten Reihen. (Q1465467)

1. Das komplexe \(f (x)\) sei für \(x\geqq 0\) definiert und über jedes endliche Intervall im Riemannschen Sinn eigentlich integrabel. \(\mu^0(x)\) bedeute \(f (x);\) für \(k > 0\) wird gesetzt \[ \mu^{(k)}(0) = f(0),\;\mu^{(k)}(x) =kx^{-x}\int_0^x f (y) (x - y)^{k-1} dy \text{ für } x > 0. \] Hat dies ``Mittel \(k\)-ter Ordnung'' \((k\geqq 0)\) für \(x\to \infty\) einen Grenzwert \(l,\) so heiße \(f (x)\) mediabel \(k\)-ter Ordnung, \(l\) der Mittelwert \(k\)-ter Ordnung. Entsprechend wird Beschränktheit \(k\)-ter Ordnung definiert und bei reellem \(f\) einseitige Beschränktheit \(k\)-ter Ordnung. Verf. beweist zunächst den Konsistenzsatz (aus Mediabilität \(k\)-ter Ordnung folgt sie für jede Ordnung \(k' > k\) zum gleichen Mittelwert). \(a_0 + a_1 +\cdots \) heiße Borelsummabel \(k\)-ter Ordnung (dies ist der neue Doetschsche Begriff), kurz summabel \((B, k),\) wenn \(\sum_{\nu =0}^n a_\nu = s_n\) gesetzt, \(\sum_{n =0}^\infty s_n \frac {x^n}{n!}\) ganz ist und sein Produkt mit \(e^{-x}\) mediabel \(k\)-ter Ordnung zum Mittelwert \(s\) ist. Entsprechend Beschränktheit \((B, k).\) 2. Grundlegende Sätze: Ist die Reihe konvergent, so ist sie zur gleichen Summe summabel \((B, k)\) für jedes \(k.\) Ist sie summabel \((B, k)\) für ein \(k,\) so ist sie zur gleichen Summe summabel \((B, k')\) für jedes \(k' > k.\) Ist sie summabel \((B, k)\) zur Summe \(s,\) so ist \(a_0 + \cdots + a_\nu + c + a_{\nu +1}+\cdots\) summabel \((B, k)\) zur Summe \(s + c; a_0 + \cdots + a_{\nu-1} + a_{\nu +1} +\cdots\) summabel \((B, k + 1)\) zur Summe \(s - a_\nu.\) Ist außerdem \(b_0 +\cdots\) summabel \((B, k_1)\) zur Summe \(t,\) so ist die Produktreihe \(a_0b_0 (a_0b_1 + a_1 b_0) +\cdots\) summabel \((B, k + k_1 +1)\) zur Summe \(st\). 3. Weitere Sätze über den erweiterten Grenzbegriff und die \((B, k)\)-Summabilität. Von letzteren seien erwähnt: Ist eine Reihe einseitig beschränkt \((B, k)\) und summabel \((B, k + 2),\) so ist sie summabel \((B, k +1).\) Sind zwei Reihen summabel \((B, k +1)\) bzw. \((B, k_1 +1)\) und beschränkt \((B, k)\) bzw. \((B, k_1),\) so ist die Produktreihe summabel \((B, k +k_1 + 2).\) 4. Die Bedingung der Summabilität \((B, k)\) zur Summe s wird als identisch mit der folgenden erwiesen: Für \[ s_n^{(k)} =\sum_{\chi =0}^n \frac{\Gamma(n +k-\chi +1)}{\Gamma(k +1)\Gamma(n-\chi +1)}a_\chi\text{ ist }\sum_{n =0}^\infty \frac {x^n}{\Gamma(n +k +1)} \] ganz und das Produkt mit \(\Gamma(k +1) e^{-x}\) strebt gegen \(s.\) Ferner wird bewiesen: Ist eine Reihe Cesàrosummabel \(k\)-ter Ordnung, \(k\geqq 1,\) und überdies \[ \frac {\Gamma(k +1)\Gamma(n + 1)s_n^{(k)}}{\Gamma (n +k +1)} =s +o\left( \frac 1{\sqrt n}\right), \] so ist sie summabel \((B, k -1).\) Für \(k =1\) war dies durch Hardy (F. d. M. 34, 281 (JFM 34.0281.*), 1903), für ganzzahlige \(k > 1\) durch Hardy und Littlewood (F. d. M. 46, 486 (JFM 46.0486.*), 1916-18) bekannt. Ferner: Ist eine Reihe summabel \((B, k)\) und \(s_n^{k-1} =O(n^{k- \frac 12}),\) so ist sie Cesàrosummabel \(k\)-ter Ordnung. Für \(k = 0\) war dies durch Hardy und Littlewood (F. d. M. 46, 406 (JFM 46.0406.*), 1916-18) bekannt.