×

Über die Fourierschen Konstanten integrierbarer Funktionen. (German) JFM 34.0414.01

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 Fourierschen Konstanten der Funktion \(f(x)\) nennt. Der Zusammenhang zwischen \(f(x)\) und den zugehörigen Fourierschen 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 Fourierschen Reihen beschränkt, der Begriff der Fourierschen Konstanten aber für jede integrierbare Funktion anwendbar ist, macht Hurwitz den Vorschlag, an die Stelle der Theorie der Fourierschen Reihen die umfassendere Theorie der Fourierschen 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 Fourierschen 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 Fourierschen 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 Fouriersche Reihen schon von Parseval angegeben worden (Sav. étr. t. I. 1806); sie findet sich auch in Dirichlets 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 Fourierschen Reihen gilt, scheint zuerst Liapunoff (1896) bemerkt zu haben. Unabhängig von ihm hat dann 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 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 Fourierschen 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 Fouriersche 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 Fouriersche 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 Fourierschen 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 Hurwitz die Eigenschaften von Funktionen, bei denen nicht alle Fourierschen 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.

PDFBibTeX XMLCite
Full Text: DOI EuDML

References:

[1] Man vgl. etwa Dini, Grundlagen für eine Theorie der Funktionen einer veränderlichen reellen Grösse (Deutsch von Lüroth und Schepp. Leipzig 1892). Pasch, Ueber einige Punkte der Funktionentheorie, (diese Annalen Bd. 30, S. 132).
[2] Daß es sich dabei nur um Entwickelungen handelt, die ausschließlich Cosinusglieder enthalten, ist unwesentlich. Dem Berichte von H. Burkhardt über Reihenentwickelungen nach oscillierenden Funktionen (Leipzig 1903) entnehme ich das genauere Zitat: M. A. Parseval, sav. étr. t.1, 1806.
[3] Vgl. die Note: Sur les fonctions bornées et intégrables, Comptes Rendus, 10 décembre 1900. Eine ausführliche Darstellung seiner Untersuchungen hat Herr Fejér unter dem Titel ?Vizgalatok A Fourier-Fele Sorok Körébol? in ungarischer Sprache veröffentlicht. (Budapest 1902.)
[4] Vgl. Harnack, Über die trigonometrische Reihe und die Darstellung willkürlicher Funktionen. (Diese Annalen Bd.17, S. 125.)
[5] Siehe z. B. Borel, Leçons sur les séries divergentès, p. 93 (Paris, 1901).
[6] Vgl. C. Jordan, Cours d’Analyse, t. I, 68 und t. II, 211.
[7] Pasch, a. a. O. Ueber einige Punkte der Funktionentheorie, (diese Annalen Bd. 30, S. 151).
[8] Vgl. die obigen Zitate.
[9] Liouville’s Journal, Bd. I.
[10] Handbuch der Kugelfunktionen (Berlin 1878) Bd. I, Seite 89.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.