Sur la méthode de M. Kellogg et l'itération d'une opération fonctionnelle linéaire à noyau singulier. (Q1450751)

Verf. verallgemeinert die Untersuchungen von \textit{Kellogg} (1922; F. d. M. 48, 484) dahin, daß über den symmetrischen Kern \(N(x,y)\) vorausgesetzt wird: 1. Es existiert \[ \int\limits_a^b\int\limits_a^b N(x,y)^2\,dx\,dy. \] 2. Wenn \(\alpha(x)\) und \(\beta(x)\) quadratisch integrierbar sind, so kann in \[ \int\limits_a^b\int\limits_a^b\alpha(x)N(x,y)\beta(y)\,dx\,dy \] die Integrationsreihenfolge vertauscht werden. Diese Voraussetzungen sind geringer, als die bei \textit{Kellogg} gemachten, dafür tritt in den Resultaten an die Stelle der gleichmäßigen Konvergenz nur Mittelkonvergenz. Es werde \[ n_i^2=\int\limits_a^b f_i^2(x)\,dx,\;\varphi_i(x)=\frac{f_i(x)}{n_i},\;f_{i+1}(x)=\int\limits_a^b N(x,y)\varphi_i(y)\,dy \] gesetzt. Dann ergibt sich leicht, daß \(n_i\) eine monoton wachsende beschränkte Folge ist, also \(\lim n_i=n\) existiert. Weiter wird die Existenz von \[ \lim_{p\to\infty}\int\limits_a^b\varphi_{i+2p}\varphi_i\,dx=E_i\tag{1} \] bewiesen. Daraus folgert man weiter, wenn \[ \pi=\frac{n_1}n\frac{n_2}n\frac{n_3}n\cdots \] gesetzt ist, daß entweder \(\pi=0\) und \(E_1=E_2=E_3=\cdots=0\) ist, oder \(\pi\neq 0\) und \(0\leqq E_0\leqq E_1\ldots\to E=1\) gilt. Auf Grund von (1) ergibt sich hieraus \[ \lim_{i\to\infty}\lim_{p\to\infty}\int\limits_a^b[\varphi_{i+2p}-\varphi_i]^2\,dx= 2(1-E). \] Das besagt aber, daß im Fall \(\pi\neq 0\), d. h. \(E=1\), die Folgen \([\varphi_{2i}]\) und \([\varphi_{2i+1}]\) im \textit{Lebesgue}schen Sinn im Mittel konvergieren, während im Fall \(\pi=0\) keine Teilfolge von \([\varphi_i]\) im Mittel konvergieren kann. Es können also höchstens zwei Häufungsfunktionen für \([\varphi_i]\) existieren.