Untersuchungen über Systeme integrierbarer Funktionen. (Q1486380)

Die vorliegende Arbeit befaßt sich mit der Theorie der linearen Gleichungen und linearen Transformationen in einem Funktionenraume und geht über die früheren Untersuchungen von \textit{Hilbert, E. Schmidt} u. a. vorzugsweise in dem Punkte hinaus, daß sie an Stelle der quadratisch integrierbaren Funktionen, bzw. der Wertsysteme abzählbar unendlichvieler Veränderlichen mit konvergenter \textit{Quadrat}summe die Klasse \([L^p] (p > 1)\) aller der Funktionen zugrunde legt, deren \(p\)-te Potenz in \textit{Lebesgue}schem Sinne integrabel ist. Nach einer Reihe von Hülfsbetrachtungen, die im wesentlichen die Übertragung der bekannten Begriffe und Sätze der Geometrie des Raumes der \([L^2]\) auf den der \([L^p]\) geben, wird ein System von abzählbar unendlichvielen Gleichungen \[ (1)\quad \int^b_a f_i(x)\xi (x)dx=c_i \quad (i=1,2,\dots ) \] für eine unbekannte Funktion \(\xi (x)\) aus \([L^p]\) untersucht, wobei die bekannten Funktionen \(f_i (x)\) der Klasse \([L^{\frac{p}{p-1}}]\) angehören (das garantiert hier die Existenz der Integrale) und die Konstanten \(c_i\) ohne Konvergenzeinschränkung gegeben sind. Notwendige und hinreichende Bedingung für die Lösbarkeit ist die Existenz einer Zahl \(M\), so daß für jedes System von \(n\) Zahlen \(\mu_1, \dots ,\mu_n\) die Ungleichung besteht: \[ (2)\quad| \sum^n_{i=1} \mu_ic_i|^{\frac{p}{p-1}} \leqq M^{\frac{p}{p-1}} \int^b_a| \sum^n_{i=1} \mu_if_i(x)|^{\frac{p}{p-1}}dx; \] diejenige Lösung der ersten \(n\) Gleichungen (1), für die \(\int^b_a| \xi (x)|^p dx\) möglichst klein ausfällt (und in der Grenze die entsprechende Lösung von (1)) drückt sich in einfachster Weise mit Hülfe der Werte \(\mu_i\) aus, für die die linke Seite von (2) bei konstanter rechter Seite ein Maximum wird. Dieses Theorem wird insbesondere auf lineare beschränkte Funktionaltransformationen in \([L^p]\) angewandt, die jeder Funktion \(f (x)\) eine andere \(T[f(x)]\) derselben Klasse gemäß \[ T[c_1f_1(x)+c_2f_2(x)] = c_1T[f_1(x)]+c_2T[f_2(x)], \int^b_a | T[f(x)]|^p dx \leqq M^p_T \int^b_a | f(x)|^p dx \] zuordnen (wo \(M_T\) eine nur von der Transformation abhängige Konstante ist); ist \(T [f (x)]\) für jedes \(f (x)\) eine Konstante, so ist es mit Hülfe einer Funktion \(a(x)\) aus \([ L^{\frac{p}{p-1}}]\) als \(\int^b_a f (x) a (x) d (x)\) darstellbar. Weiterhin werden für die Auflösbaskeit der Funktionalgleichung \[ T[\xi(x)]=f(x), \] wo \(f(x)\) eine bestimmte Funktion aus \([L^p]\) ist oder auch ganz \([L^p]\) durchlaufen kann (Existenz einer Umkehrtransformation zu \(T\)), Kriterien aufgestellt, die (2) ganz analog sind. Den Schluß bilden -- unter Beschränkung auf den Bereich \([L^2]\) -- Anwendungen zur Herleitung der bekannten Theoreme über Integralgleichungen zweiter Art, vor allem solche mit vollstetigem symmetrischen Kerne und vom \textit{Volterra}schen Typus.