Über einige Orthogonalreihen. (Q2586557)

In einem endlichen Intervall \(I\) der \(x\)-Achse liege ein vollständiges normiertes Orthogonalsystem \(\{f_n(x)\}\) (\(n = 1,\, 2,\, 3,\, \ldots\)) vor. Nach dem Rademacher-Menchoffschen Satze (\textit{H. Rademacher}, Math. Ann., Leipzig, 87 (1922), 112-138; F. d. M. 48, 485 (JFM 48.0485.*) und \textit{D. Menchoff}, Fundam. Math., Warszawa, 4 (1923), 82-105; F. d. M. 49, 293) ist die Reihe \[ \sum_{n=1}^\infty c_nf_n(x) \] fast überall in \(I\) konvergent, wenn (\(c_n\)) eine reelle Zahlenfolge bedeutet, für die \[ \sum_{n=2}^\infty c_n^2(\log n)^2\;\;\text{konvergiert}. \] Unter Befolgung der Menchoffschen Methode beweist Verf. in der vorliegenden Note allgemeiner: Es seien (\(a_n\)), (\(c_n\)) zwei reelle Zahlenfolgen, und es werde \[ A_n=\sum_{hk=n} c_ha_k\quad \text{sowie}\quad F_h(x) =\sum_{k=1}^\infty a_kf_{h.k}(x) \] gesetzt, so daß rein formal die Identität \[ \sum_{h=1}^\infty c_hF_h(x) = \sum_{n=1}^\infty A_nf_n(x) \tag{1} \] besteht. Die beiden Seiten von (1) sind fast überall in \(I\) konvergent und einander gleich, sobald die Folge (\(c_n\)) nicht identisch verschwindet und \[ \sum_{n=2}^\infty K_n^2(\log n)^2\quad \text{mit}\quad K_n=\sum_{hk=n} |c_ha_k|\quad \text{konvergiert}. \tag{2} \] Wie anschließend gezeigt wird, läßt sich die Bedingung (2) durch die etwas weniger scharfe, jedoch handlichere Forderung ersetzen, es soll für ein \(\alpha>\frac32\) \[ a_n = O\{n^{-{\frac12}}(\log n)^{-\alpha}\},\quad c_n = O\{n^{-\frac12}(\log n)^{-\alpha}\} \] gelten. Die Anwendung auf trigonometrische Reihen führt zu einem Resultat, das verschiedene bekannte Sätze als Spezialfälle enthält; vgl. insbesondere \textit{F. Jerosch} und \textit{H. Weyl}, Math. Ann., Leipzig, 66 (1908), 67-80 (F. d. M. 39, 320 (JFM 39.0320.*)) und \textit{S. Chowla}, Proc. Indian Acad. Sci. A 5 (1937), 511-516 (F. d. M. \(63_{\text{I}}\), 135).