Sur la convergence et la sommabilité des développements orthogonaux. (Q1835209)

In dem ersten Teil der Arbeit werden die wichtigsten und weitestgehenden Ergebnisse über die Konvergenz von Orthogonalreihen \(\sum a_n\,\varphi_n(x)\), bei denen \(\sum a_n^2\) konvergiert, zusammengestellt und einheitlich bewiesen. Man vergleiche hierzu die Referate über die Arbeiten von \textit{Kaczmarz}, \textit{Menchoff}, \textit{Kolmogoroff}, \textit{Orlicz} und \textit{Zygmund} in F. d. M. 53, 265 (JFM 53.0265.*)-268 und über die ältere Arbeit von \textit{Rademacher} in F. d. M. 48, 485 (JFM 48.0485.*). Während die meisten dieser Arbeiten aus Bedingungen, die lediglich die \(a_n\) betreffen, Schlüsse auf die Konvergenz von \(\sum a_n\,\varphi_n(x)\) ziehen (die also für beliebige Orthogonalsysteme gültig sind), werfen \textit{Rademacher} und im Anschluß an ihn \textit{Menchoff} und \textit{Kolmogoroff} die Frage auf, ob auch aus geeigneten Bedingungen über die \(\varphi_n(x)\) entsprechende Schlüsse gezogen werden können. \textit{Rademacher} hat zu diesem Zweck die ``\textit{Lebesgue}schen Funktionen'' \[ \varrho_n(x)=\textstyle \int\limits_{a}^{b} \displaystyle |\,\textstyle \sum\limits_{\nu=1}^{n} \displaystyle \,\varphi_n(x)\,\varphi_\nu(t)\,|\,dt \] eingeführt und zunächst gezeigt, daß für jedes \(\varepsilon>0\) fast überall \[ \varrho_n(x)=O\,\bigl(\sqrt{n\,(\log\,n)^{3+\varepsilon}}\bigr) \] und sogar \(=O\bigl(\sqrt{n}\bigr)\) ist, falls die \(\varrho_n(x)\), wie z. B. bei den \textit{Fourier}reihen, von \(x\) unabhängig sind. Hier wird nun bewiesen, daß sogar fast überall \[ \varrho_n(x)=O\,\bigl(\sqrt{n(\log\,n)^{1+\varepsilon}}\bigr) \] ist; und weiter, daß, wenn \(\varrho_n(x)=O\,(1)\) ist, die Reihe \(\sum a_n\,\varphi_n(x)\) fast überall konvergiert und dies auch der Fall ist, wenn -- unter \((f_n)\) eine monoton wachsende Zahlenfolge verstanden -- \(\sum a_n^2 f_n<\infty \) und \(\varrho_n=O\,(f_n)\) ist. Im zweiten Teil der Arbeit werden entsprechende Sätze über die \(C\)-Summierbarkeit bewiesen.