On measure of discontinuity and approximative representation of a function. (Q1465614)

Fejér hat (F. d. M. 44, 483 (JFM 44.0483.*), 1913) gezeigt, wie man aus der Fourierreihe \(\sum(a_n \cos nx + b_n \sin nx)\) einer in \(0, \dots, 2\pi\) den Dirichletschen Bedingungen genügenden Funktion die Größe des Sprunges \(f (x_0 + 0) - f (x_0 - 0)\) an einer Sprungstelle \(x_0\) bestimmen kann: Für \(n\to + \infty\) strebt \[ \frac {\pi}{n} \sum_{\nu =1}^n \nu (b_\nu \cos \nu x_0 -a_\nu \sin \nu x_0) \] gegen den gesuchten Wert. -- Verf. verallgemeinert diese Beziehung und findet: Es ist auch -- und zwar gleichmäßig in \(a_1 \leqq x \leqq b_1\) -- \[ \lim_{n\to +\infty} \frac 1\varkappa \int_a^b f(t) \frac {\partial}{\partial t}F(n,t-x)dt =f(x +0) -f(x-0), \] falls \(f (x)\) in \(a, b\) nur endlich viele Unstetigkeitspunkte \(x_1\) hat \((a < a_1 \leqq x_1 \leqq b_1 < b, i =1, 2, \dots, p),\) falls \(f'(x),\) außer in diesen, existiert und stetig ist und falls überdies \(f'(x_i - 0)\) und \(f'(x_i + 0)\) existieren. Dabei soll \(F(n, x)\) insbesondere die drei Bedingungen erfüllen: \[ \begin{aligned} \text{a})\quad &\lim_n F(n, x) =0\;\text{gleichmäßig in } a-b_1\leqq x\leqq a-a_1\;\text{und}\;b-b_1\leqq x\leqq b-a_1,\\ \text{b})\quad &\lim_n \int_{a-a_1}^{b-b_1} | F(n, x)| dx =0,\\ \text{c})\quad &\lim_n F(n, 0) =-\varkappa \neq 0,\end{aligned} \] und eine stetige Ableitung nach \(x\) besitzen. (IV 3 D.)