Über die \(C\)-Summierbarkeit der derivierten Reihen der Fourierschen Reihen. (Q2580664): Difference between revisions

Nach \textit{Hardy-Littlewood} (Math. Z. 19 (1924), 67-96; F. d. M. 49, 232 (JFM 49.0232.*)) besteht die notwendige und hinreichende Bedingung dafür, daß die Fourierreihe einer mit \(2\pi\) periodischen und über \((0,2\pi)\) \(L\)-integrierbaren Funktion \(f (x)\) an der Stelle \(x\) zum Werte \(s\) von einer gewissen Ordnung \(C\)-summierbar sei, darin, daß für genügend große \(\alpha\) bei \(t\to 0\) gelte: \[ t^{-\alpha} \int\limits_0^t (t-u)^{\alpha - 1}\{f(x+u) + f(x-u)\}\, du = \frac 2\alpha s + o(1). \tag{1} \] Für die \(p\)-mal derivierte Fourierreihe, also für die Reihe \[ \sum_{n=1}^\infty n^p \left\{ a_n \cos \left( nx + p\frac \pi{2}\right) + b_n \sin \left( nx + p\frac \pi{2}\right) \right\} \tag{2} \] haben \textit{T. Takahashi} und \textit{F. T. Wang} (Tôhoku math. J. 38 (1933), 256-278 bzw. 39 (1934), 399-405; F. d. M. \(59_{\text{I}}\), 297 bzw. \(60_{\text{I}}\), 235) unter ergänzenden Bedingungen für \(f (x)\) ähnliche Sätze aufgestellt. In der vorliegenden Arbeit wird ohne solche weiteren Forderungen für \(f(x)\) der folgende Satz bewiesen: Dafür, daß die Reihe (2) zum Werte \(s\) \(C\)-summierbar sei, ist notwendig und hinreichend, daß ein Polynom \(Q (t)\) des Grades \(p\) existiere (mit \(Q^{(p)}(t) = s\)), so daß für genügend große \(\alpha\) bei \(t\to 0\) gelte \[ t^{-\alpha - p} \int\limits_0^t (t-u)^{\alpha - 1}\{ f(x+u) - Q(u) + (-1)^p [ f(x-u) - Q(-u)]\}\,du= o(t). \tag{3} \] Weiter ist es für die absolute \(C\)-Summierbarkeit von (2) notwendig und hinreichend, daß die in (3) linksstehende Funktion in \((0, 2\pi)\) von beschränkter Schwankung sei. Diese Sätze ergeben sich aus einer Anzahl genauerer teils notwendiger teils hinreichender Bedingungen, die zugleich eine Angabe über die Ordnung der \(C\)-Summierbarkeit liefern. Der erste von ihnen lautet: Das Polynom \(P (t)\) des Grades \(p\) sei gerade oder ungerade, je nachdem \(p\) es ist. Für gerade \(p\) bedeute \(\varphi (t)\) die Funktion \(\frac 12 \{f(x + t) + f(x-t)\}-P(t)\), für ungerade \(p\) die Funktion \(\frac 12 \{f(x - t) - f (x + t)\} + P(t)\). Ferner sei für \(\alpha > 0\) \[ \mu_\alpha (t) = \alpha t^{-\alpha} \int\limits_0^t (t-u)^{\alpha -1} \varphi (u) \, du \quad\text{ und }\quad \mu_0(t) = \varphi (t). \] Ist dann für ein \(\alpha \geqq 0\) bei \(t \to 0\) \[ \int\limits_0^t |\mu_\alpha (\tau)|\, d\tau = o(t^{p+1}), \] so ist die Reihe (2) \(C_k\)-summierbar zur Summe \(s = P^{(p)}(t)\), sobald \(k > p + \alpha\) ist.