Sopra i polinomi trigonometrici di Fejér. (Q2624612)

Verf. beweist folgenden Satz: Für \(0 \leqq x \leqq 2 \pi \) sei \(f(x)\) nach \textit{Lebesgue} integrierbar. In den üblichen Bezeichnungen \[ f(x) \sim \frac 12 a_0 + \sum _{n=1}^\infty (a_n \cos nx + b_n \sin nx), \] \[ s_\mu (x) = \frac 12 a_0 + \sum _{n=1}^\mu (a_n \cos nx + b_n \sin nx), \] \[ \sigma _\mu (x) = \frac 1{\mu } \sum _{n=0}^{\mu -1} s_n (x) \] gilt für jede in \(<0, 2\pi >\) meßbare Punktmenge \(E\) \[ \lim _{\mu \to \infty } \int _E \sigma _\mu (x) dx = \int _E f(x) dx \] und \[ \lim _{\mu \to \infty } \int _E |\sigma _\mu (x)| dx = \int _E |f(x)| dx. \] Der Beweis stützt sich auf die Formel \[ \sigma _\mu (x) = \frac 1{\pi \mu } \int _0^{\frac {\pi }2} \left ( \frac {\sin \mu u}{\sin u} \right )^2 (f(x+2 u)+f(x-2u)) du, \] Integrationsvertauschung und Sonderbehandlung der Stelle \(u=0\) mit Abschätzungen auf Grund eines Satzes von \textit{Tonelli} (1916: F. d. M. 46, 420 (JFM 46.0420.*)). Die Resultate lassen sich auf Funktionen von zwei Vareablen übertragen, wobei natürlich mit den \textit{Fourier}schen Doppelreihen anzusetzen ist.