Über die \textit{Fourier}schen Konstanten integrierbarer Funktionen. (Q1505551)

Es bezeichne \(f(x)\) eine in dem Intervall \(0 \leqq x \leqq 2\pi\) integrierbare Funktion, d. h. eine Funktion, bei der die obere und die untere Grenze der Funktionswerte endlich sind und, wenn \(\sigma\) und \(\varepsilon\) zwei gegebene, beliebig kleine positive Größen bedeuten, sich eine Teilung des Intervalls in \(n\) Stücke \(\delta_1,\delta_2,\delta_3,\dots,\delta_n\) \((\delta_1+\delta_2+\delta_3+ \cdots +\delta_n=2\pi)\) angeben läßt, so daß die Summe derjenigen Stücke, in denen die Schwankung von \(f(x)\) größer als \(\sigma\) ist, kleiner als \(\varepsilon\) ausfällt. Durchläuft dann \(k\) alle ganzen Zahlen, so definieren die Gleichungen \[ \alpha_k=\frac 1\pi \int_0^{2\pi} f(x) \cos kxdx,\quad a_k'=\frac 1\pi \int_0^{2\pi} f(x) \sin kxdx \] ein System von unendlich vielen Konstanten \(a_k,a_k'\), die durch die Funktion \(f(x)\) eindeutig bestimmt sind, und die Hurwitz die \textit{Fourier}schen Konstanten der Funktion \(f(x)\) nennt. Der Zusammenhang zwischen \(f(x)\) und den zugehörigen \textit{Fourier}schen Konstanten läßt sich auch durch die Äquivalenz: \[ (\text{F})\quad f(x) \sim \tfrac 12 \,a_0+a_1 \cos x+a_1' \sin x + a_2 \cos 2x + a_2' \sin 2x + \cdots \] ausdrücken, die für diejenigen Werte von \(x\), für die die Reihe rechts konvergiert und \(f(x)\) darstellt, in eine Gleichung übergeht. Da die Gültigkeit der \textit{Fourier}schen Reihen beschränkt, der Begriff der \textit{Fourier}schen Konstanten aber für jede integrierbare Funktion anwendbar ist, macht \textit{Hurwitz} den Vorschlag, an die Stelle der Theorie der \textit{Fourier}schen Reihen die umfassendere Theorie der \textit{Fourier}schen Konstanten zu setzen. Für das Rechnen mit Äquivalenzen gelten folgende Sätze. Man darf zwei Äquivalenzen addieren und subtrahieren, d. h. aus \[ \begin{aligned} & (\text{F})\qquad f(x) \sim \tfrac 12\, a_0+a_1 \cos x+a_1' \sin x + a_2 \cos 2x + a_2' \sin 2x + \cdots,\\ & (\text{G})\qquad g(x) \sim \tfrac 12\, b_0+b_1 \cos x+b_1' \sin x + b_2 \cos 2x + b_2' \sin 2x + \cdots \end{aligned} \] folgt \[ \begin{aligned} f(x) \pm g(x) & \sim \tfrac 12(a_0 \pm b_0)+(a_1\pm b_1) \cos x +(a_1' \pm b_1')\sin x \\ & + (a_2 \pm b_2) \cos 2x + (a_2' \pm b_2') \sin 2x + \cdots \end{aligned} \] Die Frage nach den \textit{Fourier}schen Konstanten für \(f(x) \cdot g(x)\) läßt sich leicht erledigen, sobald der Wert von \[ \tfrac 1\pi \int_0^{2\pi} f(x)g(x)dx \] durch die \textit{Fourier}schen Konstanten für \(f(x)\) und \(g(x)\) ausgedrückt ist. Dies geschieht durch den ``Fundamentalsatz'': Aus den Äquivalenzen (F) und (G) folgt die Gleichung \[ (\text{P}) \qquad \left\{\begin{aligned} \tfrac 1\pi \int_0^{2\pi} f(x)g(x)dx=\tfrac 12 a_0b_0 & +(a_1b_1+a_1'b_1')+\cdots \\ & +(a_kb_k+a_k'b_k')+\cdots \end{aligned}\right. \] Die Formel (P) ist für \textit{Fourier}sche Reihen schon von \textit{Parseval} angegeben worden (Sav. étr. t. I. 1806); sie findet sich auch in \textit{Dirichlet}s Vorlesungen über bestimmte Integrale. Daß sie unter alleiniger Voraussetzung der Integrierbarkeit von \(f(x)\) und \(g(x)\), also ganz unabhängig von dem Verhalten der diesen Funktionen entsprechenden \textit{Fourier}schen Reihen gilt, scheint zuerst \textit{Liapunoff} (1896) bemerkt zu haben. Unabhängig von ihm hat dann \textit{Hurwitz} 1901 den Fundamentalsatz ausgesprochen (F. d. M. \(32\), 270, 1901, JFM 32.0270.01) und 1902 (F. d. M. \(33\), 599 bis 602, 1902, JFM 33.0599.02) den ersten Beweis dafür gegeben. Dieser war jedoch recht verwickelt. In der vorliegenden Abhandlung findet man einen neuen, einfacheren Beweis, der sich auf eine Idee von \textit{Fejér} stützt (F. d. M. \(31\), 400, 1900, JFM 31.0400.01\(^\ast\)) [\(^*)\) Der Verf. wird dort irrtümlich Tejer genannt.]), die darin besteht, die sukzessiven arithmetischen Mittel der Summenglieder einer \textit{Fourier}schen Reihe in Betracht zu ziehen. Aus dem Fundamentalsatze ergibt sich für die bestimmte Integration der Äquivalenzen das Theorem: Sind \(x_0\) und \(x_1\) zwei Werte von \(x\) im Intervall \(0\dots 2\pi\), so folgt aus der Äquivalenz (F) die Gleichung: \[ (\text{J}) \qquad \left\{ \int_{x_0}^{x_1} f(x) dx \right. \] \[ (\text{J}) \qquad \begin{cases} =\frac 12 a_0(x_1-x_0) \\ +\sum_{k=1}^\infty \left[ \frac{a_k}{k}(\sin kx_1-\sin kx_0)- \frac{a_k'}{k}(\cos kx_1-\cos kx_0) \right], \end{cases} \] d. h. man darf eine Äquivalenz gliedweise integrieren. Die Gleichung (J) läßt sofort erkennen, daß das Integral einer integrierbaren Funktion immer in eine \textit{Fourier}sche Reihe entwickelbar ist. Etwas anders verhält es sich mit der unbestimmten Integration von Äquivalenzen. Ist \(\varphi(x)\) das unbestimmte Integral der integrierbaren Funktion \(f(x)\) und \[ \varphi(x)=\tfrac 12\, A_0+A_1 \cos x+A_1' \sin x+A_2 \cos 2x + A_2' \sin 2x + \cdots \] ihre \textit{Fourier}sche Entwicklung, so ist \[ f(x) \sim \tfrac 12\, a_0 + \sum_{k=1}^\infty \left[ (kA_k'+a_0) \cos kx - kA_k \sin kx \right], \] unter \(a_0\) die Konstante \[ a_0=\tfrac 1\pi \left( \varphi(2\pi)-\varphi(0) \right) \] verstanden. Durch gliedweise Integration erhält man daher nur dann das richtige Ergebnis, wenn \(\varphi(2\pi)=\varphi(0)\) ist. Von großem Interesse ist die Frage, in wie weit umgekehrt eine im Intervall \(0\dots 2\pi\) integrierbare Funktion durch die Werte ihrer \textit{Fourier}schen Konstanten bestimmt ist. Es zeigt sich, daß die Funktion im Intervalle \(0\dots 2\pi\) nur bis auf eine additive ``Funktion vom Integrale Null'' bestimmt ist, d. h. bis auf eine Funktion \(f(x)\), für die jedes Integral \[ \int_{x_0}^{x_1} f(x)dx \quad (0 \leqq x_0 < x_1 \leqq 2\pi) \] verschwindet. Eine in dem Intervall \(0\dots 2\pi\) integrierbare Funktion ist aber eine ``Funktion vom Integrale Null'' im Intervalle \(0\dots 2\pi\) dann und nur dann, wenn ihre Nullstellen in ihm überall dicht liegen. Zum Schluß untersucht \textit{Hurwitz} die Eigenschaften von Funktionen, bei denen nicht alle \textit{Fourier}schen Konstanten verschwinden, wie bei den Funktionen vom Integrale Null, sondern nur einige. Bezeichnet \(k\) den ersten Index, für welchen \(a_k\) und \(a_k'\) nicht beide Null sind, so zeigt sich, daß die Anzahl der Strecken konstanten Vorzeichens der Funktion \(f(x)\) im Intervall \(0\dots 2\pi\) mindestens \(2k\) ist. Die Zahl \(2k\) ist dabei die genaue untere Grenze, d. h. es gibt unter den Funktionen, die den angegebenen Bedingungen genügen, stets solche, bei denen die Anzahl der Strecken konstanten Zeichens gleich \(2k\) ist; man erhält sie aus Theorie der Kugelfunktionen. Dem Referenten würde es aussichtsvoll erscheinen, wenn man versuchen wollte, auch für Entwickelungen nach anderen oszillierenden Funktionen eine Theorie der zugehörigen Konstanten aufzubauen.