On product integration. (Q2604784)

Verf. gibt zunächst einen kurzen Rückblick auf die \textit{Volterra-Schlesinger}sche Infinitesimalrechnung der (endlichen) Matrizen und ihren Zusammenhang mit der Theorie der linearen homogenen Differentialsysteme \(x' = xA(t)\;(x = (x_1, x_2, \ldots, x_n))\). \(A\) erscheint hier als ``infinitesimale Transformation'' zu der durch die Lösung in der Form \(x=x_0B(t)\) (\(B(0) =\) Einheitsmatrix \(E\)) gegebenen eingliedrigen kontinuierlichen Gruppe, und die Theorie der Produktintegrale liefert einen gerade durch diese Vorstellung nahegelegten Weg von \(A\) zu \(B\). Verf. stellt sich allgemein die Aufgabe, für beliebige (nicht notwendig lineare) Transformationen eine ähnliche Theorie zu entwickeln. Zugrundegelegt wird ein (abstrakter) Operatorenbereich, der (1) einen linearen Raum bildet, (2) eine assoziative Multiplikation mit Einselement besitzt (``Gruppoid''), (3) hinreichende topologische Eigenschaften aufweist. Im Sonderfall, daß es sich um Transformationen \(p \to pX\) eines linearen Raumes \(\mathfrak L = \{p\}\) handelt, ist (1) erfüllt, wenn Summe und Produkt mit einer Zahl durch Addition bzw. Multiplikation der Vektoren der \textit{relativen} Verschiebung gegenüber der Ausgangslage erklärt werden (das Einselement des ``Gruppoids'' ist daher in Hinsicht auf die Bedeutung für \(\mathfrak L\) mit ``0'' zu bezeichnen, obwohl die Gruppenoperation keineswegs die Addition ist, und es dürfen die Elemente von \(\mathfrak G\) im Falle linearer Transformation nicht mit den betreffenden Matrizen identifiziert werden!), ferner (2) mit Produkt \(=\) zusammengesetzte Abbildung. Die nötigen Forderungen (3) (unter anderen Vollständigkeit bezüglich eines in \(\mathfrak G\) erklärten Umgebungsbegriffs, ``lokale gleichmäßige Stetigkeit'' der Multiplikation) sind speziell erfüllt, wenn \(\mathfrak L\) ein \textit{Banach}scher Raum ist, und \(\mathfrak G\) eine geeignete Untergruppe seiner Abbildungen auf sich. -- Es existiert nun \[ {\int\limits^\frown\,}_a^b X(t)dt= \lim_{\operatorname{Max}|\varDelta t_k|\to 0}\prod _{k=1}^n X(t_k)\Delta t_k \] jedenfalls für alle \textit{stetigen} \(X(t)\) (bezüglich der Metrik \(|X| = \underset{{}_{p\in \mathfrak L}}{\overline{\operatorname{fin}}} \;|pX - p |)\) mit beschränktem \(\| X \| \;(= \underset{{}_{p\neq q}}{\overline{\operatorname{fin}}} \,|pX - qX-(p - q) |:| p - q| =\) ``Lipschitzbetrag''); hierin steckt zugleich ein Existenzsatz für (nicht notwendig lineare) Differentialsysteme. Es werden dann Rechenregeln und Abschätzungen für das Produktintegral bewiesen, schließlich auch der Begriff im Sinne der \textit{Lebesgue}schen Integraltheorie erweitert und wenigstens für eine (durch gewisse Zusatzungleichungen charakterisierte) Unterklasse der \(L\)-integrierbaren Matrizen gezeigt, daß die ``Ableitung'' fast überall gleich dem Integranden ausfällt. Es werden erörtert, zum Schluß mehr skizzenhaft: Invarianzeigenschaften gegenüber Gruppenisomorphismen, die Frage der Zurückdrängung der eingeführten metrischen Begriffe zugunsten rein topologischer, die Beziehungen zu verschiedenen allgemeinen Integraltheorien (\textit{Denjoy, Graves, Bochner}).