Über die Entwicklung einer gegebenen Funktion nach den Eigenfunktionen eines positiv definiten Kerns. (Q1473357)

\(F(s,t)\) sei für jeden Wert von \(s\) als Funktion von \(t\) und für jeden Wert von \(t\) als Funktion von \(s\) im \textit{Riemann}schen Sinne integrierbar, \(a\leqq s\leqq b,\;a\leqq t\leqq b\). Die Integrale \(G(s,t)=\int_a^bF(s,u)F(t,u)du\) und \(\overline{G}(s,t)=\int_a^bF(u,s)F(u,t)du\) sind alsdann stetige Funktionen von \(s\) und \(t\), ebenso, wenn \(h(t)\) irgend eine für \(a\leqq t\leqq b\) integrierbare Funktion ist, die Funktionen \(g(s)=\int_a^bF(s,t)h(t)dt\) und \(\overline{g}(s,t)=\int_a^bF(t,s)h(t)dt\). \(G(s,t)\) und \(\overline{G}(s,t)\) sind positive Kerne. Unter diesen Vorbedingungen beweist \textit{E. Schmidt} in seiner Diss. (F. d. M. \textit{36}, 461 ff.): ist \(\varphi_1(s),\varphi_2(s),\dots\) eine volles System normierter Eigenfunktionen des Kernes \(G(s,t)\), so gilt mit absoluter und gleichmäßiger Konvergenz die Relation \(g(s)=\sum_{\nu=1}^{\infty}\varphi_\nu (s)\int_a^b g(t)\varphi_\nu (t)\). I. \textit{Schur} erweitert diesen Entwicklungssatz in nicht naheliegender Weise dahin, daß er unter \(H(s,t)\) irgend einen stetigen, positiven Kern versteht, daß er statt \(G(s,t)\) den Kern \(K(s,t)=G(s,t)+H(s,t)\) und \textit{dessen} Eigenfunktionen \(\varphi_1,\varphi_2,\dots\) betrachtet und alsdann die gleiche Relation beweist. Er verallgemeinert dieses Resultat noch weiter, gibt verschiedene Anwendungen davon, z. B. auf den Fall \(F(s,t)=f(s-t)\), wobei der \textit{Hurwitz}sche Satz über die \textit{Fourier}schen Konstanten integrierbarer Funktionen (Math. Ann. \textit{57}) herauskommt, und stellt endlich den \textit{Kneser}schen Beweis des Satzes von \textit{Mercer} (F. d. M. \textit{40}, 408), der mit diesem Gegenstande eng verbunden ist, mit einer vereinfachenden Modifikation dar.