Sur les séries trigonométriques. (Q5911554)

Der Verf. wendet seine Definition des Integrals auf die trigonometrische Entwicklung der im \textit{Riemann}schen Sinne nicht integrierbaren Funktionen an, gelangt durch eine Modifikation der früheren, von \textit{Dirichlet}, \textit{Jordan, Lipschitz} und \textit{Dini} angewandten Methoden zu ziemlich weit ausgedehnten Konvergenzbetrachtungen und gibt zum Schluß ein Beispiel einer Funktion, die im \textit{Riemann}schen Sinne nicht integrierbar, aber durch eine trigonometrische, immer konvergente Reihe darstellbar ist. In der Entwicklung von \(f(\varphi)=a_0+\varSigma(a_n \cos n \varphi+b_n \sin n \varphi)\) konvergieren \(a_n\) und \(b_n\) mit \(1:n\) gegen Null; durch \[ F(\varphi)=\frac{a_0}{2} \varphi^2-\varSigma \frac{1}{n^2} (a_n \cos n \varphi + b_n \sin n \varphi) \] kann eine stetige Funktion definiert werden; die Größe \[ [F(\varphi_0+\alpha_0)+ F(\varphi_0-\alpha_0) -2F(\varphi_0)]: \alpha_0^2=\triangle^2 F(\varphi_0):\alpha_0^2 \] ist enthalten zwischen der unteren und oberen Grenze in und \(M\) von \(f(\varphi\)) im Intervall \((\varphi_0-\alpha_0,\varphi_0+\alpha_0)\); \(m\) und \(M\) sind auch für \(r \leqq 1\) die untere und obere Grenze der Funktion \[ f(\varphi,r)=a_0+\varSigma r^n(a_n \cos n \varphi + b_n \sin n \varphi). \] Wenn eine endliche Funktion eine für alle Werte der Veränderlichen gültige trigonometrische Entwicklung zuläßt, so ist es diejenige, deren Koeffizienten durch die \textit{Euler}schen und \textit{Fourier}schen Formeln erhalten werden. Wenn eine endliche Funktion in eine trigonometrische Reihe entwickelbar ist, die für alle Werte der Veränderlichen, ausgenommen vielleicht gewisse Werte, die eine reduzible Menge bilden, konvergiert, so ist es die \textit{Fourier}sche Reihe. Wenn eine Funktion \(f(\varphi)\) ein Integral hat in dem vom Verf. verallgemeinerten Sinne und nur in der Umgebung der Punkte einer reduziblen Menge \(E\) unendlich wird, und wenn eine trigonometrische Entwicklung existiert, die \(f(\varphi)\) darstellt mit Ausnahme der Worte von die einer reduziblen Menge \(E_1\) angehören, so ist es die \textit{Fourier}sche Reihe. Unter der Voraussetzung, daß die Funktion \(f(\varphi)\) nur in der Umgebung der Punkte einer reduziblen Menge \(E\) unendlich wird und ein unbestimmtes Integral hat, gibt es für sie nur die eine trigonometrische Entwicklung mit den \textit{Euler}schen und \textit{Fourier}schen Koeffizienten, wobei die Integrale mittels der unbestimmten Integrale (nach der Definition des Verf.) zu berechnen sind. Die trigonometrischen Entwicklungen werden als \textit{Fourier}sche Reihen oder als verallgemeinerte \textit{Fourier}sche Reihen bezeichnet, je nachdem in ihnen die bei der Berechnung der Koeffizienten auftretenden Integrale in dem verallgemeinerten Sinne verstanden werden oder mittels unbestimmter Integrale zu berechnen sind. Die Koeffizienten einer \textit{Fourier}schen Reihe konvergieren immer gegen Null. Die zu einer summierbaren endlichen Funktion gehörenden Integrale, ferner die \textit{Fourier}schen Integrale, die zu einer ein Integral im verallgemeinerten Sinne besitzenden Funktion gehören, konvergieren gegen Null, wenn ihr Zeiger unendlich groß wird. Die zur Funktion \(f(\varphi)\) gehörende \textit{Fourier}sche Reihe konvergiert gegen \(f(\varphi)\), wenn die Funktion \(h(t)=[f(\varphi+t)-f(\varphi)]:t\) ein Integral zuläßt. Die zu \(f(\varphi)\) gehörende \textit{Fourier}sche Reihe ist konvergent für alle Werte von \(\varphi\), für welche \(h(t)\) bei hinreichend kleinem \(t\) endlich ist. Für die Konvergenz der \textit{Fourier}schen Reihe ist hinreichend, daß \(h_1(t)=[f(\varphi+t)+f(\varphi-t)-2f(\varphi)]:t\) ein Integral hat. Die \textit{Fourier}schen Reihen sind in jedem Intervall gliedweise integrierbar.