Sur les séries de \textit{Fourier}. (Q1509506)

Es seien \(f(x)\) und \(\varphi(x)\) zwei Funktionen, welche nur den Bedingungen unterworfen werden, auf das Intervall \(0\leqq x\leqq 2\pi\) beschränkt und integrierbar zu sein. Sind dann \[ \tfrac 12\, a_0 + \sum (a_n \cos nx + a_n' \sin nx), \quad \tfrac 12 b_0 + \sum(b_0 \cos nx + b_n' \sin nx) \] die zu den Funktionen \(f(x)\) und \(\varphi(x)\) gehörenden \textit{Fourier}schen Reihen, deren Konvergenz oder Divergenz nicht untersucht wird, so ist die Reihe \(S= \frac 12 a_0 b_0 + \sum(a_n b_n + a_n' b_n')\) konvergent und \[ S=\tfrac{1}{\pi} \int_0^{2\pi} f(x) \varphi dx. \] Im besonderen gilt: Wenn die Funktion \(f(x)\) auf das Intervall \(0\leqq x \leqq 2\pi\) beschränkt und integrierbar ist, und wenn \(a_n, a_n\) die Koeffizienten der zu \(f(x)\) gehörigen \textit{Fourier}schen Reihe bedeuten, so ist \[ \int_0^{x_1} f(x)dx = \tfrac 12\, a_0 (x_1 - x_0) + \sum \left( a_n\;\frac{\sin nx_1 - \sin nx_0}{n} -a_n' \frac{\cos nx_1 -\cos nx_0}{n} \right), \] oder: Wenn man die zu \(f(x)\) gehörende \textit{Fourier}sche Reihe gliedweise integriert, erhält man immer eine konvergente Reihe, welche das Integral von \(f(x)\) darstellt.