Un teorema generale sull' esistenza di elementi uniti in una trasformazione funzionale. (Q1830879)

Im Raum \(\Sigma\) der im Intervall \((a, b)\) stetigen Funktionen sei eine Funktionaltransformation \[ \varphi (x) = S[f(x)] \] definiert. \(S\) sei stetig, und die Gesamtheit der \(\varphi\) mache einen kompakten Teil \(\Sigma^\prime\) von \(\Sigma\) aus. Dann hat \(S\) wenigstens ein Einheitselement (Fixpunkt) derart, daß \[ f(x) = S[f(x)] \] ist. Aus diesem Satz und Verallgemeinerungen fließen sehr einfach allgemeine Existenztheoreme für Integralgleichungen und gewöhnliche und partielle Differentialgleichungen vom Typus des \textit{Peano}schen Satzes. Anmerkung des Ref.: Der Satz und die Anwendungen kommen schon vor bei \textit{Birkhoff} and \textit{Kellogg} (1922; F. d. M. 48, 472 (JFM 48.0472.*)-473) und \textit{Schauder} (1927; F. d. M. 53, 374 (JFM 53.0374.*)-375). Den Existenz- und Eindeutigkeitssätzen, die auf dem (\textit{Picard}schen) Approximations- und Iterationsverfahren beruhen, wird dor allgemeine Satz übergeordnet: Wenn in einem vollständigen metrischen Raum von Funktionen eine Transformation \(S\) zwei Elemente mit dem Abstand \(d\) immer in zwei andere mit dem Abstand \(d^\prime\) überführt derart, daß \(\dfrac {d^\prime}d < \alpha < 1\) (\(\alpha\) fest) ist, so hat \(S\) einen und nur einen Fixpunkt E. Ist \(E^\prime\) irgendein anderes Element, so gilt: \[ E = \lim_{n \to \infty} S^n [E^\prime]. \]