Sur quelques questions de la sommation des séries. (Q2580103): Difference between revisions

In Erweiterung des, \textit{Borel}schen Summierungsverfahrens heiße die Reihe (1) \(\sum\limits_{n=0}^\infty a_n\) mit den Teilsummen \(s_n = a_0 +\cdots + a_n\) \(C_\alpha B_k\)-summierbar zur Summe s für positives \(\alpha\) und reelles \(k\), wenn die Funktion \[ x^{-k}f_k(x) = e^{-x}\sum\limits_{n=0}^\infty\dfrac{s_nx^n}{\varGamma (n+k+1)} \] ganz ist und \[ \varphi_\alpha (x) = \alpha x^{-\alpha}\int\limits_0^x (x-t)^{\alpha -1}f_k(t)\, dt\to s \] strebt für \(x\to\infty\). Diesem vom Verf. schon früher (Rend. Circ. mat. Palermo 56 (1932), 449-471; JFM 58.0222.*) untersuchten Verfahren wird jetzt ein entsprechendes Verfahren der absoluten Summieruhg ((1) heißt \(|C_\alpha B_k|\)-summieierbar, wenn \(\int\limits_a^\infty |\varphi'_\alpha (x)|\, dx\) konvergiert bezüglich der oberen Grenze) zur Seite gestellt und hinsichtlich Permanenz, Indexverschiebung und Reihenmultiplikation untersucht Insbesondere wird jedoch die \((B, \alpha)\)-Summierbarkeit einer Potenzreihe (2) \(\sum\limits_{n=0}^\infty a_nz^n\) in einem Randpunkt \(z_0\) des Borelschen Summabilitätspolygons, das mit dem Gebiet der \(C_\alpha B_k\)-Suramierbarkeit übereinstimmt, behandelt (\((B, \alpha) = C_\alpha B_0\)). Liegen auf dem Kreis \(\mathfrak{K}(z_0)\) über der Strecke \(Oz_0\) als Durchmesser nur endlich viele Singularitäten von \(f(z)\), die außerdem einer gewissen Bedingung genügen, so ist die Dreiecks-stetigkeit von \(f(z)\) bei Annäherung an \(z_0\) aus dem Innern von \(\mathfrak{K}(z_0)\) und die Konvergenz für ein positives \(\alpha\), von \(\alpha (z_0z)^{-\alpha}\int\limits_z^{z_0} (t- z)^{\alpha -1}f(t) dt\) bei \(z\to z_0\) aus dem Innern von \(\mathfrak{K}(z_0)\) notwendig und hinreichend dafür, daß (2) für ein genügend großes \(\beta\) bei \(z = z_0 (B, \beta)\)-summierbar ist. Weiter beschäftigt sich Verf. mit der \textit{Cesàro}schen Summierbarkeit der abgeleiteten Reihe der Ordnung \(p\) \((= 1, 2,\ldots)\) \[ \sum\limits_{n=1}^\infty n^p\left[a_n\,\cos\,\left(nx + p\dfrac{\pi}{2}\right) + b_n\,\sin\left(nx + p\dfrac{\pi}{2}\right)\right] \tag{3} \] der einer mit \(2\pi\) periodischen, integrierbaren Funktion \(f(x)\) zugeordneten Fourierreihe \(\dfrac{a_0}{2} + \sum\limits_{n=1}^\infty (a_n\, \cos\, nx + b_n\, \sin\, nx)\). Das wichtigste Ergebnis ist die Aufstellung einer notwendigen und hinreichenden Bedingung dafür, daß (3) \(C\)-summierbar (überhaupt, nicht von einer vorgegebenen Ordnung) ist an der Stelle \(x\). Diese Bedingung lautet: Es gibt zu \(x\) eine Zahl \(\alpha > 0\) und ein Polynom \(P(t)\) mit einem Grad \(\leqq p\) der mit \(p\) gerade oder ungerade ist, so daß \[ \int\limits_0^t\left[\dfrac{f(x+\tau)\pm f(x-\tau)}{2} P(\tau)\right] (t-\tau)^{\alpha -1} d\tau = o(t^{\alpha +p}) \;\text{ für } \;t\to 0 \] ist (\(+\) für \(p\) gerade, \(-\) für \(p\) ungerade). Vgl. dazu ältere Ergebnisse von \textit{S. Izumi}, \textit{F. T. Wang}, \textit{T. Takahashi} (JFM 55.0160.*; 59\(_{\text{I}}\), 296-297; 60\(_{\text{I}}\), 234-235). Weitere Sätze über das infinitäre Verhalten von \(s_n^k(x) - A_p\), wobei die \(s_n^k(x)\) die \(C_k\)-Mittel der zu (3) gehörenden Teilsummen sind und \(A_p\) die Konstante \(\dfrac{d^pP}{dt^p}\) bedeutet Auch die \(C\)-Mittel der konjugierten Reihe zu (3) werden untersucht. Ferner wird eine Fragestellung von \textit{W. Rogosinski} (Math. Ann., Berlin, 95 (1926), 110-134, F. d. M. 51, 221 (JFM 51.0221.*)) auf die abgeleiteten Reihen einer beliebigen trigonometrischen Reihe übertragen. Die reichhaltige Arbeit behandelt noch ein \((A, k)\)-Verfahren, das durch Kombination des \textit{Abel}schen mit dem \textit{Cesàro}schen Verfahren entsteht. (1) heißt \((A, k)\) summierbar zum Wert \(s\), wenn \[ f_k(x) = k(1-x)^{-k}\int\limits_x^1 (t-x)^{k-1}f(t)\, dt \;\text{ mit } \;f(x) = \sum\limits_{n=0}^\infty a_nx^n \] existiert für \(0 < x < 1\) und gegen s strebt für \(x\to 1 - 0\). Aus der \(A\)-Summierbarkeit folgt die \((A, k)\)-Summierbarkeit für \(k > 0\), aus der \((A, k)\)-Summierbarkeit die \((A, k_1)\)-Summierbarkeit für \(k_1>k\). Konvergiert \(\int\limits_0^1|f_k'(x)|\, dx\), so heißt (1) \(|A, k|\)-summierbar. \(|A, k|\)-Summierbarkeit zieht \(|A, k_1|\)-Summierbarkeit nach sich für \(k_1 > k\).