On the representation of a summable function by a series of finite polynomials. (Q1477063)

Es wird folgender Satz bewiesen: \(f(x)\) sei irgendeine in einem endlichen Intervall \(i\) summierbare Funktion, die nicht unterhalb einer endlichen Grenze zu bleiben braucht; dann kann \(f(x)\) in \(i\) als Grenzwert von Polynomen dargestellt werden: \(f(x)=\lim_{n=\infty}p_n(x)\), wobei höchstens eine \(x\)-Menge vom Maße Null auszunehmen ist. Auch kann erreicht werden, daß für alle nicht ausgenommenen \(x\)-Werte \(f(x)- p_n(x) > 0\) ausfällt für \(n > n'\). Endlich ist, wenn von einer \(x\)-Menge beliebig kleinen Maßes abgesehen wird, die Konvergenz eine gleichmäßige, sodaß die Gleichung gilt: \[ \int^{x''}_{x'}f(x)dx = \lim_{n=\infty} \int^{x''}_{x'}p_n(x)dx. \] Die Ergebnisse lassen sich auf Funktionen beliebig vieler Veränderlichen ausdehnen. Als Anwendung beweist der Verf. den Satz von \textit{Haar} und \textit{Mercer}, wonach die Konvergenzbedingungen für irgendeine \textit{Sturm-Liouville}sche Reihe die nämlichen sind wie die für die \textit{Fourier}-Reihe.