On the systems of normal orthogonal functions. (Q1835211)

Verf. knüpft an an Resultate von \textit{H. Rademacher} (1922; F. d. M. 48, 485-486), die übrigens, worauf Verf. in der Einleitung hinweist, in der Enzyklopädie der mathematischen Wissenschaften II, C, 11, S. 1240 nicht einwandfrei formuliert sind. Sind die \(\varphi_\nu(x)\) ein normiertes Orthogonalsystem für das Intervall \((0,1)\), \[ \varrho_n(x)=\int\limits_0^1\Bigl|\sum_{\nu=1}^n \varphi_\nu(x)\varphi_\nu(y) \Bigr|\,dy, \] so gilt nach \textit{Rademacher} fast überall im Intervall \((0,1)\) \[ \varrho_n(x)=O\left((\log n)^{\frac32+\varepsilon}\cdot n^{\frac12}\right) \tag{1} \] und, falls die \(\varrho_\nu\) von \(x\) unabhängig sind (wie z. B. für die trigonometrischen Funktionen) \[ \varrho_n=O\left(\sqrt n\right); \tag{2} \] die zweite Abschätzung läßt sich nicht verbessern. Dagegen läßt sich die erste Abschätzung zu \[ \varrho_n(x)=o\left((\log n)^{\frac12+\varepsilon}\cdot n^{\frac12}\right) \tag{3} \] fast überall im Intervall \((0,1)\) verschärfen. Der Beweis von (3) ergibt sich aus der \textit{Schwarz}schen Ungleichung und aus dem folgenden Lemma: Wenn \(\displaystyle\sum\limits_{\nu=1}^\infty c_\nu^2\) (\(c_\nu\) Konstante) konvergiert, so konvergiert \(\displaystyle\sum\limits_{\nu=1}^\infty c_\nu^2 \varphi_\nu^2(x)\) fast überall in \((0,1)\); ferner gilt fast überall in \((0,1)\) \[ \sum_{\nu=1}^n\varphi_\nu^2(x)=o\left((\log n)^{1+\varepsilon}\cdot n\right) \] und \[ c_n\cdot\varphi_n(x)=o(1). \] Als Folgerung ergibt sich für den Fall (2) die Ungleichung \[ | \varrho_n | \leqq \sqrt n. \tag{4} \] Im zweiten Teil der Arbeit gibt Verf. einen Beweis für die Gültigkeit der Abschätzung \[ \sum_{\nu=1}^n \varphi_\nu(x)\varphi_\nu (y) =o\left( (\log n)^{\frac32+\varepsilon} \cdot n^{\frac12}\right) \tag{5} \] fast überall in \(0 \leqq x \leqq1\), \(0\leqq y\leqq1\). Daran schließen sich im dritten Teil der Arbeit kritische Bemerkungen zu mit (5) zusammenhängenden Untersuchungen von \textit{Bossolasco} (1927; F. d. M. 53, 268) an, die sich teils gegen die Beweisführung, teils gegen die Ergebnisse der genannten Arbeit richten.