Die Fouriersche Reihe und die angenäherte Darstellung periodischer Funktionen durch endliche trigonometrische Reihen. (Q1502702)

1. Ist \(f(x)\) eine bei jedem reellen Werte von \(x\) stetige Funktion mit der Periode \(2\pi\), so stellt die endliche trigonometrische Reihe \[ \psi(x) = A_0 + \sum_\nu^{1,n}(A_\nu\cos\nu x + B_\nu\sin\nu x) \] bei beliebigen Werten von \(x\) die Funktion \(f(x)\) mit vorgeschriebener Genauigkeit dar. Wenn \(\int\limits_\xi^\eta f(x)\cos\nu xdx = 0\) und \(\int\limits_\xi^\eta f(x)\sin\nu xdx = 0\) ist, worin \(\nu\) eine beliebige positive ganze Zahl oder Null bedeutet, so verschwindet das Integral \(\int\limits_\xi^\eta (f(x))^2dx\). 2. Wenn \(f(x)\) außerdem noch eine integrierbare erste Ableitung besitzt, und wenn das Intervall von \(-\pi\) bis \(+\pi\) in eine endliche Anzahl von Strecken zerfällt, in denen \(f'(x)\) und \(f''(x)\) endlich und stetig sind, so ist die Reihe \[ \varphi(x) = \frac12a_0 + \sum_\nu^{1,\infty} (a_\nu\cos\nu x + b_\nu\sin\nu x) \] in jeder endlichen Strecke gleichmäßig konvergent und stellt eine stetige Funktion von \(x\) mit der Periode \(2\pi\) dar (ebenso \(\varphi(x) - f(x)\)). Die Reihen \(\varphi(x)\sin nx\) und \(\varphi(x)\cos nx\) können daher gliedweise integriert werden, und es ergibt sich \(\varphi(x) = f(x)\), d. h. die Darstellung von \(f(x)\) durch die Fouriersche Reihe. 3. Setzt man, wenn \(\xi\) einen Wert zwischen \(-\pi\) und \(+\pi\) bedeutet, \[ \begin{alignedat}{2} a_\nu' &= \int_{-\pi}^\xi f(\alpha)\cos\nu\alpha d\alpha,&\quad a_\nu'' &= \int_\xi^{+\pi} f(\alpha)\cos\nu\alpha d\alpha,\\ b_\nu' &= \int_{-\pi}^\xi f(\alpha)\sin\nu\alpha d\alpha,&\quad b_\nu'' &= \int_\xi^{+\pi} f(\alpha)\sin\nu\alpha d\alpha,\end{alignedat} \] so daß \(a_\nu = a_\nu' + a_\nu''\), \(b_\nu = b_\nu' + b_\nu''\) ist, und summiert die Reihe \[ R'(x) = \frac12a_0' + \sum_\nu^{1,\infty} (a_\nu'\cos\nu x + b_\nu'\sin\nu x), \] was leicht gelingt, wenn für \(f(x)\) die Konstante \(C\) genommen wird, auf Grund der Formeln \[ \frac{\pi-x}2 = \sum_\nu^{1,\infty} \frac{\sin\nu x}{\nu},\quad \frac x2 = \sum_\nu^{1,\infty} \frac{(-1)^{\nu-1}\sin\nu x}{\nu}, \] \[ \frac{\pi x}2 - \frac{x^2}4 = \sum_\nu^{1,\infty} \int_0^x \frac{\sin\nu \alpha}{\nu}d\alpha, \] von denen die erste bei positiven, \(2\pi\) nicht erreichenden Werten von \(x\) richtig ist, die dritte in derselben Strecke mit Einschluß der Grenzen, die zweite, wenn \(x\) zwischen \(-\pi\) und \(+\pi\) liegt. Dann ergibt sich \(R'(\xi) = \frac12C\) und für \(\pi\geq x > \xi\) ferner \(R'(x)=0\). 4. Es sei jetzt \(f(x)\) eine beliebige Funktion von den in Nr. 2 vorausgesetzten Eigenschaften, für welche die Gleichung \(f(-\pi) = 0\) besteht. Mit ihr stimme \(f_0(x)\) in der Strecke von \(\xi\) bis \(+\pi\) überein, während sie von \(x=-\pi\) bis \(x=\xi\) durch die Gleichung \[ f_0(x) = \frac{x+\pi}{\xi+\pi} f(\xi) \] definiert sei; dann kann sie in die konvergente Fouriersche Reihe \(R'(x)\) entwickelt werden. Für \(x = \xi\) ist \(\pi R'(\xi) = \frac{\pi}2 f(\xi)\), für \(\pi\geq x>\xi\) ist \(\pi R'(x) = 0\). Hieraus und aus Nr. 3 folgt, daß die mit der Funktion \[ F(x) = f(x) + C \] gebildete Reihe \(R'(x)\) den Wert Null oder \(\frac12 F(\xi)\) hat, je nachdem \(\pi>x>\xi\) oder \(x = \xi\) angenommen wird. Weiter folgt, daß, wenn die Funktion \(f(x)\) an einer endlichen Anzahl von Stellen der Strecke von \(-\pi\) bis \(+\pi\) unstetig ist, zwischen zweien von diesen aber stetige Ableitungen erster und zweiter Ordnung besitzt, die Fouriersche Reihe überall die Größe \[ \frac12[f(x+0) + f(x-0)] \] darstellt.