Über die Konvergenz von Funktionenfolgen. (Q1460829)

Es sei \(0<\lambda_n<\lambda_{n-1}\) und \(f_n(x)\geqq 0\) eine für \(0\leqq x \leqq 1\) erklärte Funktion derart, daß ihre \(\lambda_n\)-te Potenz summabel ist. Setzt man \[ \mu_n=\left(\int_0^1[f_n(x)]^{\lambda_n}\,dx\right)^{\frac1{\lambda_n}}, \tag{\(^*\)} \] so folgt aus \(\mu_n\to 0\) im Falle \(\lambda_n=n\), wie man sich leicht überzeugt, daß \(f_n\to 0\) fast überall auf \([0,1]\). Der Verf. zeigt, daß hierbei die Annahme \(\lambda_n=n\) unter Aufrechterhaltung des Beweises zu \(\log n=O(\lambda_n)\) verschärft werden kann und daß letztere Größenordnung genau ist, wenn man die Richtigkeit des Satzes für alle \(\{f_n\}\) fordert. Der Ref. bemerkt, daß wenn in das Integral (\(^*\)) nach Lebesgue \(f_n\) als ``unabhängige Veränderliche'' eingeführt wird [indem man die Maßfunktion \(\sigma_n(\xi)\) von \(f_n\) betrachtet], (\(^*\)) in \[ (\mu_n)^{\lambda_n}=\int_0^{+\infty}\xi^{\lambda_n}\,d\sigma_n(\xi)\qquad (d\sigma_n\geqq 0) \] übergeht, so daß der Satz einen Ansatz für ein gewisses Analogon zu den bekannten Untersuchungen von Borel, Pólya, Hamburger u. a. über die Bestimmtheits- bzw. Stetigkeitsfrage des Stieltjesschen Momentenproblems enthält. Vgl. auch F. Riesz. C. R. 150, 1910; F. d. M. 41, 459 (JFM 41.0459.*); Ch. H. Müntz, Schwarz-Festschrift, S. 303-312; F. d. M. 45, 633 (JFM 45.0633.*) (1914). Indem \(f_n\) mit dem Betrage des Restes in einer fast überall konvergenten Funktionenfolge identifiziert wird, gibt der Verf. im Anschluß an das Lebesgue-Haarsche Prinzip linearer Funktionaltransformationsfolgen eine Einkleidung an und stellt Anwendungen auf Orthogonalentwicklungen in Aussicht. -- Es sei wiederholt betont, daß bei einem passenden System von Folgen \(\{f_n\}\) eine in bezug auf dieses System feste Folge \(\{\lambda_n\}\) auch dann zulässig sein kann, wenn sie weniger stark als \(\{\log n\}\) anwächst.